- ベストアンサー
NuSMVでのモデルチェック
- NuSMVを活用したモデルチェックの課題について解説します。
- A君とB君が階段で遊ぶシナリオに対して、NuSMVを用いて検証する方法を解説します。
- 具体的な検証項目として、ゴールへの到達や段差の制約、同時到達の可能性、勝敗のチャンスなどを考慮します。
- lisalisa_nyo
- お礼率0% (0/19)
- その他（プログラミング・開発）
- 回答数1
- ありがとう数1
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
- ベストアンサー
関連するQ&A
- 連立方程式の応用
わからない問題が二つあります。 濃度の異なる食塩水A,Bがある。AとBを重さの比を2：3として混ぜて6％の食塩水を作る予定だったがAとBの重さの比を 間違えて3:2で混ぜてしまったため5％の食塩水が600gできた。食塩水A,Bの濃度はそれぞれ何パーセントか？ 100段ある階段でA,Bの二人がゲームをし一回勝つごとに2段上がり、負けると一段下がり引き分けのときは動かない。 ゲームを開始するときは50段目にいた。20回ゲームをして AがX回勝ち、BがY回勝ち引き分けが8回あったときAはBより 6段上にいたXとYを求めよ ヒントでもいいので教えてくれないでしょうか
- ベストアンサー
- 数学・算数
- 数Ａ確率です
問題は、「Ａ、Ｂ二人がじゃんけんをしながら、次の約束で階段をのぼる。1回のじゃんけんの結果、勝った人は二段登り、負けた人はそのまま位置にとどまる。また引き分けなら、二人とも一段ずつ登る。6回のじゃんけんを終えた時点で、Ａが最初の位置からちょうど8段登った位置にいる確率を求めよ。」です。(1)Ａ勝ち2、引き分け4(2)Ａ勝ち3、引き分け2、負け1、(3)Ａ勝ち4、引き分け0、負け2 の三通りの場合が考えられるのがわかったのですが、 解答式をみると、(2)の式が、6C3・3C2・（1／3）3乗（1／3）2乗（1／3） となっていたのですが、式の途中の3C2・（1／3）3乗（1／3）2乗（1／3）がわかりません。どなかたわかりやすく解説お願いします
- ベストアンサー
- 数学・算数
- 往復の問題
A～Eの5チームが往復の駅伝競歩を行った。往路の順位は、A、B、C、D、Eの順であり、前の順位との時間差は順不同で２分、３分、４分、5分であった。復路は往路の順位と時間差に従ってスタートするが、トップと10分以上の差があるチームは、繰り上げスタートとしてトップから10分経過した時点でスタートとなる。復路について、以下のことがわかっている。 ア Aは1チームに抜かれ、どのチームも追い越さなかった。 イ Bは2チームに抜かれ、どのチームも追い越さなかった。ただし、抜かれたチームにDは含まれない。 ウ BとDは同時にゴールインした。 エ 復路はEが最初にゴールインした。 以下のことから、正しく言えるのは次のうちどれか。なお、同時にゴールインしたのはBとDだけで、他の3チームは他のチームと1分以上の差がついた。また、条件ア、イの「抜かれ」「追い越され」は、復路全体のゴール順についてのもので、往復の合計タイムについてのものではない。 1.BとDの往復の合計タイムは同じである。 2.往復の合計タイムでEが最も速くなるためには、EはAより10分以上早くゴールする必要がある。 3.復路で繰り上げスタートとなるチームは必ず1チームである。 4.Eが往復の合計タイムで最下位になることがある。 5.BとDの合計タイムが同じならば、DとEの合計タイムも同じである。 復路が、E A C B＝Dはわかるのですが その後がどう考えたらいいのかわかりません。 わかりやすく誰か教えてください！
- ベストアンサー
- その他（受験・進学）
- ルーフバルコニーの段差は？
先日、某モデルルームでルーフバルコニー付きマンションの説明を受けました。 そこはベランダから続く、隣の棟の屋根がバルコニーになっているのですが、そこへ辿り着くまで階段が多い。 ます、隣の棟との段差のため、二段登る。防水加工の囲いの前後に段があるため、二段登って、二段降りる。 このような形態のルーフバルコニーって、よくあるのですか？ 部屋続きの場合でも、ルーフバルコニーは、屋根の付いた普通のバルコニーと比べると、段差が生じるものだと聞きました。 どれくらいの段差なのですか？ 知人にルーフバルコニー付きマンションに住んでいる人がおらず、見物すらしたことがありません。 どうか教えてください。
- ベストアンサー
- その他(住まい)
- 文章から連立方程式をつくり求めよ。
４５６段の階段があります。 途中まで上がってから、AくんとBくんはじゃんけんゲームを始めました。 ＜ルール＞ ・勝つと２段上がり、負けると１段下がる。 ・あいこは、２人とも動けないが、じゃんけんの回数には入れる。 ３００回じゃんけんしたとき、Aくんはもとの位置より３６段上に、Bくんはもとの位置より６段下にいました。 連立方程式をつくり、AくんとBくんが勝った回数とあいこの回数を求めよ。 全然、分かりません。教えてくださいませ。
- ベストアンサー
- 数学・算数
- 注文住宅の階段をどうしようか悩んでいます。
高齢の親が住む住宅を建設予定です。 階段の角度等で悩んでいるのですが、アドバイスをお願いします。 (1) コの字階段（折り返し階段）で中間に段差の無い踊り場あり。 (2) 踊り場より下の階段部分と、踊り場より上の階段部分ともに、 長さ＝１８２ｃｍ（１軒）です。 (3) 有効幅は広めに９０ｃｍ程度の予定 で、段数と角度なのですが、 Ａ案 １５段、蹴上げ18.25ｃｍ、踏み面26.00ｃｍ、 Ｂ案 １７段、蹴上げ16.11ｃｍ、踏み面22.75ｃｍ（段鼻3.0ｃｍ付） 以上のＡ案とＢ案では、高齢者にとってどちらが上り易いでしょうか？ Ａ案でも蹴上げは、一般住宅としては低い方だと思います。 Ｂ案は、更に低くて楽に昇れそうですが、踏み面が小さいために、 段鼻を少し設けないと足が全部乗りません。 段鼻は躓き易そうなので無い方が良いのでしょうか？ それとも段鼻はあっても16.11ｃｍと低い方が昇り易いでしょうか？
- 締切済み
- 新築一戸建て
- ベビーカー購入について
３か月、体重は多分６キロくらいの赤ちゃんがいます。 最近は抱っこで買い物するのも辛くなってきました。 いずれベビーカーを購入しようと思っていましたが そろそろＡ、Ｂ、ＡＢ兼用のどれかにしようか悩んでいます。 ＡＢ兼用の重量５．５ｋｇのものを見つけたのですが これって重いのでしょうか？ 私の環境 ・普段は車か徒歩で買い物。 ・電車・バスは全くといっていいほど利用しない ・玄関まで段差（階段で８段くらい）がある この場合どれがふさわしいですか。 １．ＡからＢに切り替える ２．７か月まで時期を待ってＢを買う ３．今すぐにＡＢ兼用を買う 参考にしたいので皆さんの状況、アドバイスを お聞かせください
- ベストアンサー
- 妊娠
- ＰＫ覚悟の反則
例えば、Ａチーム対Ｂチームの試合です。それはリーグ戦の最終戦で、Ａは負ければ優勝できませんが、引き分け以上なら優勝、対するＢは勝った場合のみ優勝という状況です。Ａ対Ｂの試合は後半ロスタイムに入り０対０でＡの優勝は間違いないとみんなが思い始めました。そのとき、ＢチームのＦＷがあざやかなドリブルで抜け出してＧＫをかわして、ゴールに流し込むようなシュート。劇的な幕切れと思われたときＡのＤＦがボールに飛びつきゴールラインを割る寸前で手でボールをとめてしまいました。もし、このあと、ＰＫ となってＰＫ失敗でＡの優勝ということになると非常に後味の悪いことになります。試合終了直前ですから ＡのＤＦが退場になっても何の影響もありませんし。 このような場合、サッカーではＰＫをやらずにゴールを認定するということはないのでしょうか。
- ベストアンサー
- サッカー・フットサル
- 算数：A君とB君の速さの比率を求める問題
ある小学生の算数レベルの問題で困っています。 ■問題 A君とB君が別々の場所から同じ区間を同時に走り出した。（二人の速さはそれぞれ一定でA君はB君より早く走れる) A君が18分後にゴール、B君が22.5分後にゴールした場合の速さの比は？ 問題から、単純に(A)18：22.5(B）となると思うのですが、解答では「18：22.5=4：5になる」となっています。 ■質問 上記の解答の「18：22.5=4：5」になるのかわからなく困っています。どなたか計算方法をわかりやすく教えていただけますか?
- ベストアンサー
- 数学・算数
