メモ¢( ・_・) ■全二重、半二重、単方向通信 単方向(simplex) 一方向にのみデータが伝わる 例 テレビ 校内放送 船のレバーとエンジン部で石炭をくべる人の関係。レバーを動かすと遠く離れたエンジン部にサインが出るようになっている。 半二重(half-duplex) …

Green HouseのGH-TIG243SH http://kakaku.com/item/00850712524/ っていうディスプレーで osd locked と表示されてキーが効かなくなってしまう。ネットには同メーカー多製品の解除方法について「左右矢印+メニュー長押し」、「電源ボタン+メニュー長押し」と…

SPINとPromelaのメモmtype は、メッセージタイプの略らしい。 mtype = { ... } という形で宣言される列挙型。定数を宣言。 mtype = { ack, nak, err, next, accept } と書いたものは #define ack 5 #define nak 4 #define err 3 #define next 2 #define acce…

★モナMONAのこと MONA （http://www.brics.dk/mona/） は式を有限オートマトンに変換するツール。検索パターンや時相論理の属性値を持つようなリアクティブシステム（こっちからなんかすると反応が返ってくるようなシステムのこと）やパーズ木（ 解析木-構文…

クリプキ構造とは ブール値でラベル付けされた遷移状態中の式で評価される非決定性有限オートマトン。公平性制約 (訳者註：あるイベントが必ず起きてくれることを保証するようなこと）で拡張することが出来る（Webster's Online Dictionary）。。。なんのこ…

メモ SPINのこと モデル検査器 SPINのGUI版をXspinのセットアップするその前にTCLをインストール GUIバージョンのために必要。 http://www.activestate.com/Products/ActiveTcl/GccがほしいのでCYGWINもインストール http://www.cygwin.com/ develに入ってい…