No abstract

No abstract

2 学生会員 神戸大学大学院 工学研究科市民工学専攻(〒657-8501 神戸市灘区六甲台町1-1) 3 正会員 京都大学准教授 防災研究所(〒649-2201 和歌山県西牟婁郡白浜町堅田2500-106) 4 正会員 京都大学助教 防災研究所(〒649-2201 和歌山県西牟婁郡白浜町堅田2500-106) 5 正会員 京都大学 防災研究所 白浜海象観測所(〒649-2201 和歌山県西牟婁郡白浜町堅田2500-106) 6 正会員 京都大学准教授 防災研究所(〒611-0011 京都府宇治市五ケ庄) 7 正会員 北海道大学助教 大学院工学研究院(〒060-8628 札幌市北区北13条西8丁目) 8 正会員 (国研)土木研究所 寒地土木研究所(〒062-8602 札幌市豊平区平岸1条3-1-34) 9 正会員 金沢大学助教 理工研究域 環境デザイン学系(〒920-1192 金沢市角間町) 10 正会員 北海道大学准教授 大学院工学研究院(〒060-8628 札幌市北区北13条西8丁目) 半閉鎖性内湾である和歌山県田辺湾湾口部において，ADCP，塩分水温計などを用いた長期連続観測を 行い，主に流動構造と海水交換特性に関する解析を行った．クロススペクトル解析結果から，流速鉛直構 造と外力との対応については，表層付近の日周期変動には海上風が，成層期の混合層下部の半日周期変動 には内部潮汐が，成層崩壊期の混合層全層では半日周期潮汐がそれぞれ寄与していることが分かった．一 方，海水交換に対しては半日周期潮汐変動が最も寄与しているのに対し，それと同程度に周期約3日にピ ークを有するサブタイダル長周期成分の影響が大きかった．この長周期変動は紀伊水道スケールで生じる 地形性のメソスケール渦の消長と密接に関係しており，モデルによる先行研究と整合的であった．

In this paper, we propose a method to generate conformance test sequences for communication protocols modeled as FSM with timers. The test sequences generated by the proposed method can detect any single fault of timer commands or destination states in the transitions on protocol machines. For each single timer command fault, we give sufficient conditions that a given IUT is (or is not) equivalent to its specification. Based on these sufficient conditions, we give a method for generating test sequences. For each destination state fault, we give a test sequence generation method based on Wp-method. To show the usefulness of this method, we have developed a system for generating test sequences, and applied it to DHCP (Dynamic Host Configuration Protocol). As a result, we have generated the test sequences efficiently.

No abstract