1. 竹筒 (S_B) Active
Abstract
竹筒そのもの。


Attribute
Type Description
* position
integer
竹筒がどこにあるかをあらわす属性。竹筒が複数あった場合でも、この属性で特定することができる。

pondage_timeout
UL
水が貯まりだしてから離床するまでの最大時間。この時間を超えると異常と判断する。単位:μsec

discharge_timeout
UL
水がなくなってから着床するまでの最大時間。この時間を超えると異常と判断する。単位:μsec

timer_id
inst_ref
タイマーをスタートさせたときのハンドル

pomp_no R3 (Referential Attribute) (Same as ポンプ.pomp_no)



Relationship

R1 : 
竹筒 ( 1 : 1 ) 叩き石
1つの竹筒は1つの叩き石に設置されているという関係を表す。 
R2 : 
竹筒 ( 1c : 1c ) 叩き石
竹筒のつかが叩き石に接触しているか、離れているかを表す関係。 
R3 : 
ポンプ ( 1 : 1 ) 竹筒
1つのポンプが1つの竹筒に給水するという関係を表す。 


State Transition Table

S_B1 S_B2 S_B3 S_B4 S_B5
1. 2 IG IG IG IG
2.貯水中 IG 3 IG IG 5
3.離床中 IG IG 4 IG IG
4.放水中 IG IG IG 1 5
5.異常 2 3 IG 1 IG

S_B1: 水が流れ始めた
S_B2: 離床した
S_B3: 傾いた
S_B4: 放水する水がなくなった
S_B5: 異常発生



Action

1. 空



2. 貯水中



3. 離床中



4. 放水中



5. 異常