横チェーンの見直し(2)

研究 主テーマ

24日の打合せで9月卒業が無くなったので、ぼーっとしていましたが
気を取り直して、Ｄ論整備。

横チェーンでcntがマイナスになると23日の日記では騒いでいましたが、そんなことは忘れて
今日再発見。

上書き型の連係プロトコル挿入の結果のFSMの構造がやっと正しそうなものになった。

手作業でできたFSMをツール(TAC)でも確認、つらつらながめると、どうも変！

  • もともとは上書き(OW)型のプロトコル挿入は横チェーンの性質\psi_{yoko}を充足しない
  • でも眺めるとexocr(a)が-1〜1に推移して危険領域(2とか-2とか）には入ってません
  • つまり横チェーン的には上書き(OW)型のプロトコル挿入結果でもＯＫな感じです。
  • ということは横チェーンの性質\psi_{yoko}が間違っていた！！！

ということで再考しました

  • a_{n+1}はc_nを越えない
  • c_{n+1}はa_nを越えない

という性質の組合せ（どういう組合せかは不明）を考えると
-1 \le exocr(a) \le 1なら良いことが判明

もともとは0 \le exocr(a) \le 1 \wedge 0 \le exocr(c) \le 1という風情でしたから随分違います。

連係プロトコル挿入の結果のFSMが新制横チェーン制約を充足することもツール(TAC)にて確認！