· 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7...

26

Upload: others

Post on 27-May-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

��������� ��� ���� �� ����� ������������ ���������������! � "������� ��� �#���$ ��%�&���

�(')����� �+* �,����- �

.0/213547698;:<3>=?8A@CB;D /FE :<3

G$H2IJHLKNM$OQPRPSP

Page 2:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

��T5�����������U���# � "���;��� ��� �!�;�V ��W����� �(')������X* �Y����- �

Page 3:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~

����������p���J�������^�����������������7� ��¡£¢ Ms¤�¥p¥Q¦0§^¨ª©�«Q¬2M ¡g­¯®Q°X±[¡³² M�´µ¥S¶ ®Q·¹¸º�»¼º^½¿¾AÀ�Á?ÂÄÃ�ÅÇÆÇÈ�Á?ÉÊÃËÀ�ÁËÃ!ÌÍÉÊÎ�È�Â�Ï^ÁÄÏ�Ð,Ñ�Ï^ÀËÁ�Ò7Ó�γÁÄÏ�ÔÕÎ

ÖØ×iÙ³ÚRÛCÜ�Ý�Ü�ÞYß�Ü;à7Ýá�â?Ù£Ý�ÜRãäÙå æ çÇè �êé�ë�éF����é�� è é����L�êì å �����Ä�

Systems & Control

DES

OperationsResearch

ComputerScience

í ���9�S�î(ï ´rK ²C­{¡ M ¡ð± M�«;M ¡ð± ¬^« ²C¡òñ¼ó ¥RIJ´ ² « ó §pKNô2õ�¤�¥ ó ´ ²�ö « ­ ´÷«;¤ óµ¡ Kaøî(ù öJ¡ ¶�MAúüû ­ ´ öS¡ ¶ ï ô9¶�«Rõ�´ ² K

í �0ìý�î ��¡�² ©L¶L¥ ó ¥RIS´ ² « ó?± ô9KAM ¡ õ�Kg§�¨ª¥Sõþ¬�H9M ¡g­ ¨ª¥R¶�M ­ ¥ ó

ÿ�� � « ­ I ¡ §^¨ª¥Sõþ¬ ó ¡C¢(± ô2KNM ¡ õ�K ° Ms© ¡ ô(¶ ¡g¡ û M�¥Í¤ ¡ 8;:08������ê3 «R¶Lû�� B;: / D B�� � 3í �������^�î�� ¶L© ¡g­{¡ ¶JM ó ô ï ´µK ²g­{¡ M ¡ð± ô9KNM ¡ õ�K °² ¥Rõþ¬�H9M ¡³­ KNô2KNM ¡ õþK³§ ² ¥Sõ�õÍHL¶L´ ² «;Ms´µ¥S¶�¶ ¡ M�� ¥ ­ ¦9Kg§2«RH9Ms¥Sõ�«;M ¡ ûõ«Q¶pH��¼« ² MsH ­ ´µ¶2IKNô2KNM ¡ õþK ñ¼²g¡³óró «R¶Lû��Ê« ² Ms¥ ­ ô ó ¡göJ¡³ó K�ø ·

î ± ô2KNM ¡ õ�K���´ M�©&¨ª¥S¶JM�´µ¶pHL¥RHLKY«R¶Lû ï ´rK ²C­ ¡ M ¡�� « ­ ´r«Q¤ óµ¡ K ñ ©Jô9¤ ­ ´rû KNô2KNM ¡ õ�K�ø£§õ�¥[û ¡�ó ¡ û(«RK ï>ù ± «�M�« ²C¡³­ M�«R´µ¶ ó ¡göJ¡³ó ¥��}«Q¤�KNM ­ « ² M�´µ¥S¶Ä§ ¡R· I · §���¥ ­ Ms© ¡ ©L´µIJ© ¡g­óµ¡CöJ¡³ó?² ¥S¶JM ­ ¥ ó0ó ¥RIS´ ²Q°¬ ­ ¥ ²C¡ K{K ² ¥S¶JM ­ ¥ ó §2«RH9Ms¥Sõ«�M ¡ ûõ«R¶[H��¼« ² M�H ­ ´µ¶2I�KNô2KNM ¡ õþK ñ õ« ² ©L´µ¶ ¡ «R¶Lû ²g¡³óróóµ¡CöJ¡³ó K�ø ·� ² ¥Sõþ¬ ó ¡ M ¡ ¥Q¬ ¡g­ «�M�´µ¥S¶�« ó0² ô ²³ó ¡�� ¥R¬ ¡³­ «;Ms´µ¥S¶�« ­ ¥RHL¶Lû�KNM ¡ «Rû9ô�úüKNM�«;M ¡��

]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& $

Page 4:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~(&�*)��î,+ «�M�© ¡ õ«;Ms´ ² « ó + ¥[û ¡³óró ´µ¶2I�§2G$¶�« ó ô9K ´µKg§ ��¡g­ ´.- ² «�M�´µ¥S¶Ä§L¨ª¥R¶�M ­ ¥ óró ¡³­ ï ¡ K{´µIJ¶Ä§

/ ¬2M�´µõ�´10�«;Ms´r¥R¶Ä§ ± ´µõØH ó «;Ms´r¥S¶

]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& 2

Page 5:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~

�ð�����J�[��� ç � è �ð�7�0����� è43 ì?�g���65 å ���Q�Çé÷���[�R� ç ���^�

COORDINATION

REAL-TIME

CONTROLDIAGNOSTICS

FAILURERECOVERY

SUPERVISORY CONTROLLER

INTERFACE

EQUIPMENT

CONTROLLERSCONTROLLER

SYSTEM

Commands Observable events

]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& 7

Page 6:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~

á98�ã Ü&Þ;:=<9ã?>A@FÜ;Ù

B ���C(&�[�9�êé��ED 3 ì?�g���65 �^���?(&���9�êé¼�EDGFIH¿�[����é è �9�êéF���JF ����ë å éF��� �7��ë�é÷��éF���Çé��EDK (,H å �MLON��Çé÷�P)þéi�ê�#�ð��������� è�è ���

FAN HTG. COIL

PUMP

BOILERCONTROLLER

VALVE

î � © ¡ ¥R¬ ¡g­ «;Msr¥S¶ò¥���Ms© ¡ HL¶L M,rK,õ�¥S¶L Ms¥ ­{¡ û�¤�ô�«ØK ¡ M�¥���K ¡ ¶LK{¥ ­ K ·î � © ¡ rK{K{H ¡ ¥Q�Çr¶JM ¡³­{¡ KAM °SR 8UTV� E D 3XW�Tx8ZY;:0BU[\T [ ·î ± ¬ ¡³² .- ² « óró ô ° ûLr«QIJ¶L¥SK ¡ ¥ ²g² H ­{­{¡ ¶ ²C¡ ¥���]{K{©�« ­ ¬_ �¼«R ó H ­{¡ KªûLH ­ µ¶2IØMs© ¡ ¥S¶pú ó r¶ ¡¥R¬ ¡g­ «;Msr¥S¶ ¥��ËMs© ¡bac� GV�HL¶L M ·

î(ù ¢ «Qõþ¬ óµ¡ Kª¥Q�d�Ê«Q ó H ­{¡ K ° KNMsH ² ¦e�¼«R ó H ­ ¡ K ¥Q� ö « ó öS¡ Kg§L¥S¶púü¥Qfg�¼«R ó H ­{¡ Kª¥��Ǭ�HLõþ¬�K ·² ¥R¶�M ­ ¥ óró ¡³­ Kg§pK ¡ ¶LK{¥ ­ K³§ ¡ M ²Q·

î�� õ ¬ óµ¡ õ ¡ ¶JM�«;Msr¥S¶ ° ûL÷«QIJ¶L¥RKAMs ² Kªõ�¥pûLH ó ¡ r¶òMs© ¡ ² ¥S¶JM ­ ¥ ó0ó ¥RIS ²Q·

]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& h

Page 7:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~

+ ¥pû ¡³ó K,¥Q�ËMs© ¡ ¨ª¥Rõþ¬0¥S¶ ¡ ¶JM�K ¥��ËMs© ¡bac� GV¨ ± ô9KAM ¡ õ °

L1

BOFF

B2

BON

FON S P I OV PON BON

BOFF POFF

S P D

CV

S P IS P D

FOFF

C1 C2 C3 C4 C5 C6

C7C8C9C10

CONTROLLER

FOFF

F1 F2

FON

PON

POFF SO1

CV, OV

OV

SC1 SC2

SO2

CV

L2

S P I

PUMP VALVE

FAN BOILER

LOAD

P1 P2POFF PONV3

V1 V2

V4

CV, OV

CV OVL0

FOFF FON

B1

BOFF BON

S P I

FOFF FOFF

S P D

S P D

C21

CFOFF

FONSPD

FOFF

FOFF

SPISPI SPDC22

C23

C24

SPIOV PON BON

OV PON BONSPD

SPISPD

CFON

C16

FONC13

C12C11

C20 C19 C17

C15

C18

C14

]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& _

Page 8:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~

i « ­ M,¥���M�© ¡bjlk mon*prq�sutv ��¥ ­ Ms© ¡ba�¡ «;Ms´r¶2I ± ô9KNM ¡ õ ñVac� GV¨xwV¶L´ M£ø�zy ®Q°+± /|{ y O °X± ¨ { y ¸2° ¨;} /�~�{ yl� ° ¨;} / }=} ��°

7 N 8 F1 9 F237 F3 38 F1 F3 39 F2 F3

85 F4 86 F1 F4 87 F2 F4

10 N 11 F1 12 F2 40 F3 41 F1 F3 42 F2 F3

13 N 14 F1 43 F3 44 F1 F3

16 N 17 F1 46 F3 47 F1 F3

19 N 20 F1 58 F3 59 F1 F3

22 N

25 N 27 F2

28 N 29 F1 30 F2

1 N 2 F1 3 F2 7 N 8 F1 9 F2

10 N 11 F1 12 F2

13 N 14 F1

16 N 17 F1

19 N 20 F1

55 F3 56 F1 F3

67 F3 68 F1 F3

70 F3 71 F1 F3

73 F3 74 F1 F3

76 F3 77 F1 F3

46 F3 47 F1 F3

64 F3 65 F1 F3

61 F3 62 F1 F3

58 F3 59 F1 F3

4 N 5 F1 6 F234 F3 35 F1 F3 36 F2 F3

82 F4 83 F1 F4 84 F2 F4

28 N 29 F1 30 F249 F3 50 F1 F3 51 F2 F3

88 F4 89 F1 F4 90 F2 F4

52 F3 53 F1 F3 54 F2 F3

1 N

1 N 2 F1 3 F2

79 F4 80 F1 F4 81 F2 F4

57 F2 F3

< FON, NF >

< SPI, NF >

< SPD, NF >< OV, NF >

< PON, F >

< BON, F >

< POFF, NF >

< CV, N F >

< SPD, F >

< BOFF, NF >

< FOFF, NF >< SPI, NF >

< OV, NF >

< PON, F >

< BON, F >

< SPD, F >

< CV, N F >

< OV, NF >

< PON, F >

< BON, F >

< PON, F >

< BON, F >

< SPD, F >

< OV, F >

< PON, F >

< BON, F >

< BON, NF >

< SPI, NF >

< OV, NF >

< PON, NF >

< BON, NF >

< SPD, NF >

< OV, NF >

< PON, NF >

< BON, NF >

< FON, NF >

< FOFF, NF >

< FON, NF >

< SPI, F >

< OV, F >

< PON, NF >

69 F2 F3

72 F2 F3

48 F2 F3

75 F2 F3

78 F2 F3

66 F2 F3

63 F2 F3

60 F2 F3

A

B

C

D

E

]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& �

Page 9:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~

å ��3 5 � è�è�� B � è �[�Ç������� 3 ì?�g���*5

1 2

0

1 2

0

î � © ¡ ¶ ¡ M��Y¥ ­ ¦þ©�«RK,K ²g­{¡g¡ ¶L´µ¶2I�§���¥ ­ �,« ­ ûL´µ¶2I�§9«R¶Lû�õØH ó Ms´ ú��Y«�ô ² « óµó ´r¶2I² «;¬^«Q¤�´ ó ´ Ms´ ¡ K ·î � © ¡ ´rK{K{H ¡ ¥Q�Ç´r¶JM ¡³­{¡ KAM °SR 3 8 /�E D 3X�{: / 3£D 8 � / TkB;:_[ ·î ± ¬ ¡³² ´.- ² « óró ô ° û ¡ M ¡�² Ms´r¥S¶(«R¶Lû ­{¡ K{¥ ó H9Ms´r¥R¶ ¥Q� ó ¥RIJ´ ² « ó0² ¥R¶��^´ ² M�K ñ ´µ¶�M ¡g­ « ² Ms´µ¥S¶LK�ø¤ ¡ M�� ¡³¡ ¶�¥Q¬2M�´µ¥S¶LK ñ � ¡ «�M�H ­{¡ K�ø ·î�� õ ¬ óµ¡ õ ¡ ¶JM�«;Ms´r¥S¶ °�² ¥ ­{­{¡³² MYû ¡ K{´µIS¶�¥��ËMs© ¡ñ õ�¥pûLH ó « ­ ø K ¥Q�FM��,« ­ ¡ ¬ ­ ¥RI ­ «Rõ�K�Ms©�«;M­ HL¶&«;MYMs© ¡ K ��´ M ² © ¡ K ·

]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& �

Page 10:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~

+ ¥pû ¡³ó ¥��=wVK ¡g­ P ´µ¶�« ��¡�ó ¡ ¬�©L¥S¶ ¡ð± ô9KNM ¡ õ °

req01

offh0onh0

fh0

req02

nocon02con02

nocon01con01

req00

nocon00

fwd012

req01req00 req02

fwd010

fwd001

REQ_0 REQ_1 REQ_2

FWD_TO_2FWD_TO_1FWD_TO_0

CON

INIT

fwd002 fwd020 fwd021

dfh0

nocon0

nocon0 nocon0

+ ¥pû ¡³ó ¥��=wVK ¡g­¯® «�M ± ��´ M ² ©(P ´µ¶ ��¡�ó ¡ ¬�©L¥R¶ ¡ð± ô2KNM ¡ õ °

INIT

NOT_REQ

REQ

fh1

req10

con10

nocon10

fwd101

fwd102

onh1 offh1

dfh1

]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& �

Page 11:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~

G ¨ª¥S¶JM ­ ¥ ó G ­ ² ©L´ M ¡³² MsH ­{¡ ��¥ ­ GV¬L¬ ­ ¥J« ² ©L´µ¶2I Ms©L´rK i ­ ¥R¤ ó ¡ õ °

G0C 0

���

TCSS

OCSS

SPOTS-4

������

���

G

]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& `�&

Page 12:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~

/ Ms© ¡³­ ¡C¢ «Rõþ¬ ó ¡ K °���é è ) �Jì!� �7�Ç�����R��éF�����þ����ë B é�5"� B �_� è ���U�

î � © ¡ ¶ ¡ M��Y¥ ­ ¦þ¥�� ­ «R´ ó �,«�ô ² ¥S¶L¶ ¡³² M�´µ¥S¶LKY´µK ²³ó ¥SK ¡ û�«R¶Lû ¡ « ² © ó ´r¶ ¡ ©�«RKY«�- ¢9¡ û¶pHLõ�¤ ¡³­ ¥��ËM ­ «R´r¶LK ·ý� © ¡ ´µ¶�M ¡g­ ú�KAM�«;Ms´µ¥S¶þM ­ « öJ¡³ó Ms´rõ ¡ Kª« ­{¡ ¦p¶L¥Z��¶�«Q¶Lûû ¡ M ¡g­ õ�´r¶L´µKAMs´ ²R·

î � © ¡ ¥R¤�� ¡³² Ms´ öJ¡ ´µK M�¥Øû ¡ K ´ IJ¶�]AKs«�M�´µK'�Ê« ² Ms¥ ­ ô�^¯Ms´rõ ¡ M�«Q¤ ó ¡ K��¼¥ ­ Ms© ¡ M ­ «R´µ¶LK ·î ± ¬ ¡³² ´.- ² «�M�´µ¥S¶LK ´µ¶ ²³ó HLû ¡S°ý²g¡g­ Ma«Q´r¶M ­ «R´µ¶LKY©�« öJ¡ Ms¥��Y«R´ M���¥ ­ ¥R¶ ¡ «Q¶L¥QMs© ¡³­ M�¥« óró ¥Z� ² ©�«Q¶2I ¡ ¥ öJ¡³­ K ·

î ¨ª¥S¶LKNM ­ «Q´r¶JM�K ° �Y«R¶�M KNô2KNM ¡ õ Ms¥Í¥R¬ ¡³­ «;M ¡ �¼«RKNM�§9¤�H9M�« ó K{¥O�,«R¶JMY¬ ¡³­ MsH ­ ¤^«;Ms´r¥S¶LK�Ms¥² ¥Rõþ¬ óµ¡ M ¡�ó ôûL´rK «Q¬L¬ ¡ « ­ ´r¶�-^¶L´ M ¡ Ms´rõ ¡R·

î�� K{K{H ¡ K�¥Q�Ç´r¶JM ¡³­{¡ KAM ° ©L¥���ûL¥Ø¬ ¡³­ MsH ­ ¤^«;Ms´r¥S¶LKXMs¥ÍMs© ¡ Ms´rõ ¡ Ma«;¤ óµ¡ ¬ ­ ¥R¬^«QI�«�M ¡ §��©�«;M ó ´rõ�´ M�K+Ms© ¡ õ�´r¶L´µõÍHLõ ¥R¬ ¡³­ «;Ms´r¥R¶Ms´µõ ¡ §���© ¡³­{¡ �Y¥RH ó û ´ M,¤ ¡ © ¡³ó ¬���H ó Ms¥«RûLû(M ­ «R´r¶LKg§ ¡ M ²R·

î GV¬L¬ ­ ¥J« ² © ° � ­ ´ M ¡>¡�� H�«�M�´µ¥S¶LK���¥ ­ M�© ¡ û ¡ ¬^« ­ MsH ­ ¡ M�´µõ ¡ K ¥��ËMs© ¡ M ­ «R´r¶LKg§2HLK{´r¶2I]{õ« ¢ ´rõÍHLõP^¯«R¶Lû�] «RûLûL´ Ms´µ¥S¶ · ^�I� 8U�$4�� 3Z� M�� ¥ÍKAM�«;Ms´µ¥S¶LK ·r·r·

�.���� �¡�¢�£¥¤"¦�§�¤�¨.©_ª6«�¬�«®­�£¥¯.¦°¤²±]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& `A`

Page 13:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~

³�é������9�ê�;�Çé��ED%�ð��������� è é¼�����µ´ è �"¶L�9���^� 3 ì?�C�ê�*5¸·

î(ù öJ¡ ¶�MsK °I¹ºm¼»1» ½�m¼»²»�¾�½�m�v ½�m¼»²»�¾¿½�m�v m�v®vÀkÂÁUt\s m*à Ä�q*qZv kž�¡ M ²Q·î ± M�«;M ¡ K ° ¬�¥SK{´ Ms´r¥S¶ ¥�� ² « ­lÆ §�¶[HLõͤ ¡³­ ¥��Ǭ^«RK{K ¡ ¶2I ¡³­ K��Y«R´ M�´µ¶2IØ«;M��^¥[¥ ­�Ç § ¡ M ²Q·ñFöJ¡³­ ô ó « ­ I ¡ KNM�«;M ¡ K{¬^« ²g¡�È ø

î ¨ª¥S¶JM ­ ¥ ó ¬ ­ ¥R¤ óµ¡ õ °JÉ 6"T � 6 � 8;D / BÊ[g3£:r É 623aDs3X[CB8U[ / B�8 � 6"T�3uËR3ÍÌ�[C8 / T [�@C8 � / B;Du�rÎ4�3£D¼@CB;Du��8;: � 3�Ï

î i�¡g­ ��¥ ­ õ«R¶ ²C¡ õ ¡ «RK{H ­{¡ K ° 8UËR3£D 8ZYJ3 �Y«R´ Ms´µ¶2I M�´µõ ¡ ñ HL¶JMs´ ó<² « ­,² ¥Sõ ¡ Kaøa§ 8UËR3aD 8ZY�3K ¡³­Aö ´ ²C¡ M�´µõ ¡þñ HL¶JM�´ ó<² « ­ û ¡�ó ´ öJ¡g­ K Ms¥Øû ¡ K{´ ­{¡ û��^¥[¥ ­ ø£§�� ­ « ² Ms´r¥S¶ò¥���¬^«QK K ¡ ¶2I ¡g­ K�,«Q´ Ms´r¶2IÍõ�¥ ­ ¡ ñ ¥R¶�« öJ¡g­ «;I ¡ øýMs©�«R¶�¥R¶ ¡ õþ´r¶[H9M ¡ § ¡ M ²R·

î i ­ ¥R¤^«Q¤�´ ó ´rKNMs´ ² ��¥ ­ õØH ó «;Ms´r¥S¶ ° ¬^«QK K ¡ ¶2I ¡g­ « ­{­ ´ ö « ó�­ «;M ¡ K,«;M��^¥[¥ ­ Kg§2¬ ­ ¥Q¤^«Q¤�´ ó ´ M ôûL´rKNM ­ ´µ¤�H9Ms´r¥S¶Ð��¥ ­ û ¡ KNMs´r¶�«;Ms´r¥R¶Ð�^¥[¥ ­ Kg§ ó ¥J«RûòMs´rõ ¡ K «Q¶Lû(M ­ « öJ¡³ó Ms´rõ ¡ Kg§ ¡ M ²Q·

î ¨ª¥Sõ�õ�¥R¶K ¥ ó H9Ms´r¥S¶ ° Ms© ­{¡ K{©L¥ ó ûpú�¤^«RK ¡ û ² ¥R¶�M ­ ¥ ó §p´ · ¡R· §2©L¥ ó û�« ² « ­ HL¶JM�´ ó «/ 6JDs3u[�69B��. ´µK ­{¡ « ² © ¡ û ·� � © ¡ ´rK{K{H ¡ ´rK Ms© ¡ ¶(Ms¥ û ¡ M ¡³­ õ�´µ¶ ¡ Ms©L´rKªMs© ­{¡ K ©L¥ ó û�«Q¶Lû�] «RH9Ms¥Sõ�«;Ms´ ² « óró ô�^«RûU�NHLKNM ´ M ´µ¶ ­{¡ « ó úkMs´rõ ¡ §�¤^«RK ¡ û(¥S¶�¥R¤�K ¡g­{öS¡ û ¬^«RK{K ¡ ¶2I ¡g­ « ­{­ ´ ö « ó7­ «�M ¡ K ·

Ѳ���� �¡�¢�£¥¤"¦�§�¤�¨.©_ÒQ«'ÒZ Å¯Ó¯. ÅÔ�¦°±Õ �¯]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& `Ö$

Page 14:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~

]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& `Ö2

Page 15:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~

]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& `Â7

Page 16:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~

×`Ø�Ü�×�ØËÛCÜRÜCÙ+Ü�ß�ÜU@iÙ�8�Ú;ÛPÜËÙ£Ý�Ûo<2Ú�Ý³× 8�à%×ià�ÝÞ8�ß�ÜQ@i×iàAà�ÖòÞ>á

3 �_5U� è �âá$�9�ê�����7�c³�é��³�J���J���g´ã¶7�p��� 3 ì��C�ê�*5 �

x(t)

t

e

t t t t t t t

e e e e e e e

x

x

x

x

x

x

7654321

7654321

1

2

3

4

5

6

ï ¡ K ²g­ ´ ¤ ¡ Ms©L´rKYK «Rõþ¬ ó ¡ ¬^«;Ms©(¤�ôòMs© ¡ / T �ò3ÀM[³3ä E 3£: � 3¯BA@ 3åËR3a: / [ Ms©�«;MY´ M ² ¥S¶JM�«R´r¶LK °æ�çèêé ñVë �ì®íÀ� ø ñVë · ì'í · ø ñVë�î ì'í î ø ñVë�ï ì®í ï ø ñÂë�ð ì®í ð ø ñVë�ñ ì'í ñ ø ñVëZò ì'í ò ø

]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& `Öh

Page 17:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~

� © ¡ ¤ ¡ ©�« ö ´µ¥ ­ ¥Q��«ÍIS´ öJ¡ ¶ ï>ù ± ´rK,û ¡ K ²C­ ´µ¤ ¡ û&«QK;��¥ óró ¥���K °î B é�5"��ëxóX���ED ç ��D^�^� K ¡ M�¥��Ç« óró Ms´rõ ¡ û K ¡�� H ¡ ¶ ²C¡ K,¥Q� ¡göS¡ ¶JMsKªMs©�«;MYMs© ¡ ï>ù ±² «Q¶�I ¡ ¶ ¡³­ «;M ¡�ô�¡C¢9¡³² H9M ¡î 3 �ê�Ä�;���L�g�êéF� B éÅ5 ��ëxó ���ED ç ��D^�7� « Ms´rõ ¡ û ó «R¶2IJH�«;I ¡ ��´ Ms©(«Ø¬ ­ ¥R¤^«Q¤�´ ó ´ M ôûL´rKNM ­ ´µ¤�H9Ms´r¥S¶Ð��HL¶ ² M�´µ¥S¶�û ¡ -^¶ ¡ û�¥ öJ¡³­ ´ M

î óX���ED ç ��D^�^� «ÍMs´rõ ¡ û ó «R¶2IJH�«;I ¡ ��© ¡g­{¡ Ms© ¡ Ms´rõþ´r¶2IÍ´r¶���¥ ­ õ«�M�´µ¥S¶�©�«RKY¤ ¡³¡ ¶û ¡�ó ¡ M ¡ ûħL´ · ¡R· §2´ M ´rK «ÍK ¡ M�¥Q�ÇK ¡o� H ¡ ¶ ²C¡ K³§�¥ ­ / D 8 � 3u[ §L¥�� ¡CöJ¡ ¶JMsK ·

æ è é ë � ë · ë�îë�ï\ëoðÀë�ñëZò

� ©L´µK óµ¡ «RûLKªMs¥ØMs© ¡ Ms© ­{¡³¡Õ² ¥Sõþ¬ ó ¡ õ ¡ M�« ­ ô óµ¡CöJ¡³ó KY¥��Ç«Q¤�KNM ­ « ² Ms´r¥S¶ «;M;��©L´ ² © ï>ù ±« ­{¡ KNMsHLûL´ ¡ û ·î óX�õD7é��J� èªè �"¶7� è � Ms© ¡ � 8;:�Y E 8ZY�3 õ�¥[û ¡�ó ´µK,HLK ¡ û(Ms¥ØKNM�HLû9ô ¬ ­ ¥R¬ ¡³­ Ms´ ¡ K Ms©�«;M² ¥R¶ ²g¡g­ ¶ ¡CöJ¡ ¶�MY¥ ­ û ¡³­ ´r¶2I ¥S¶ ó ô �9¡S· I · § ² ¥S¶LK{´µû ¡³­ Ms© ¡ / 3�� 354769B;:<3�[�Q[ / 3å� ¡C¢ «Rõþ¬ ó ¡ §«RK;� ¡�óµó «RK Ms© ¡Oaö� GV¨ HL¶L´ M ¡£¢ «Rõ ¬ óµ¡þñ ûL´÷«;IJ¶L¥SKNMs´ ² Kaø ·÷AøÂùûú�øÂùýü\ùÿþ�� ����� ü ��� "þ� �� � �åùûú�� ��� þ ��� ÿú���� � �ù���þ� ú�� � � ú���� � ø�ø þ ����þ ú � � ��ú����®þUø�� � ��ÿþþ���þ��oü�� � þåü���

î B �*5"� �7��� è è ��¶7� è � Ms© ¡ / T �3Ð� 8;:�Y E 8ZY�3 õ�¥[û ¡³ó ´rK,HLK ¡ û M�¥ØKNMsHLû9ô(¬ ­ ¥R¬ ¡³­ Ms´ ¡ KMs©�«;M ² ¥S¶ ²g¡g­ ¶ Ms© ¡ Ms´rõ�´µ¶2I�¥���Ms© ¡ ¡göS¡ ¶JMsK �2¡R· I · § ² ¥R¶LK ´µû ¡³­ M�© ¡ D{8UTV� É 8U�þ:<3 / É B;D�!¡C¢ «Rõþ¬ ó ¡S·" þ ��� zù#��þ�� � ��$�� ÿþlüù � þ�� � þ&%�þ���ü;ú��('QþQø²ü � ø)� � ü\ùÿú���� � þ�ü��*

î 3 �ê�Ä�;���L�g�êéF� è �"¶�� è � M�© ¡ [ / B � 698U[ / T � / T �3Ð� 8;:�Y E 8ZYJ3 õ�¥[û ¡³ó ´rK,HLK ¡ û(Ms¥þKNMsHLû9ô¬ ­ ¥R¬ ¡g­ M�´ ¡ KXMs©�«;M ² ¥S¶ ²g¡g­ ¶ Ms© ¡Õ¡C¢ ¬ ¡³² M ¡ û�¤ ¡ ©�« ö ´r¥ ­ ¥��ËMs© ¡ KNô2KNM ¡ õ HL¶Lû ¡g­ Ms© ¡IJ´ öS¡ ¶(KAM�«;Ms´µKAMs´ ² « ó ´r¶���¥ ­ õ«;Ms´µ¥S¶ ��¡R· I · § ² ¥S¶LK{´rû ¡g­ Ms© ¡ 3�� 3åËQ8 / B;D ¡C¢ «Rõþ¬ ó ¡S·+,��þQø ��- þ � þ � $ � ü�."ø ú ��- .�' � ü �/� � � úQü0.�þQøIø þ� þ�� � �oü1'�þUø��Åú�ø �2� ����þ � þ � � � ø þ��3

4658795¼� WlT�[ � Ds3 / 3 � ËR3£: / . T � E � 8 / TxB;: HLK{H�« óµó ô ­{¡ � ¡g­ KªMs¥ÍMs© ¡ KNMs¥ ² ©�«QKAMs´ ²>óµ¡CöJ¡³óx·:þç ���g�êé��7�+�öa ¥Z�#M�¥ Ds3ü47Ds3å[g3£: / � ñ KNMs¥ ² ©�«RKNMs´ ² ø Ms´rõ ¡ û �Äó «R¶2IJH�«QI ¡ K0;

]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& `�_

Page 18:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~

³�éF���J���S��� ´4¶��[��� æ �?ëÇ� è é¼�ED=<��^�¼5"� è éF�Z5 �î }L¥ ­ õ« ó0²gó «RK{K ¡ K,¥��Çõ�¥[û ¡�ó KªMs©�«;M ­{¡ ¬ ­{¡ K ¡ ¶�M � ñ KAMs¥ ² ©�«RKNMs´ ² ø}M�´µõ ¡ û �?ó «R¶2IJH�«;I ¡ Kî ] ± M�«;M ¡ úk¤^«RK ¡ û�^`��¥ ­ õ« ó ´rK{õ�K ° û ¡ -^¶ ¡ «ØKNMa«�M ¡ KA¬^« ²C¡ «R¶Lû�KA¬ ¡�² ´1�iôòMs© ¡ KAM�«;M ¡M ­ «Q¶LK ´ Ms´r¥S¶òKNM ­ H ² MsH ­{¡�ñ ´ · ¡R· §?> qA@6à s�Ã�m*Ã�to¾rtZÁUt\pºÃ ¾%k²p s�Ã�m*Ã�tCB M ­ ´µ¬ ó ¡ K�ø M�©�«�M­{¡ ¬ ­{¡ K ¡ ¶JM�K M�© ¡¿ó «R¶2IJH�«QI ¡R·D E�/ BU�8 / 8 ñ ¥ ­ .�/ 8 / 3FE�8 � 6"TF:Ä3u[ ø «Q¶LûHG 3 / D\TJI¿3 / [ « ­{¡ ��´rû ¡³ó ô HLK ¡ û ·

î ] ��­ « ²C¡ ú�¤^«QK ¡ û�^`��¥ ­ õ« ó ´µK{õ�K ° HLK ¡ ñ�­{¡�² H ­ K{´ öJ¡ øX« ó I ¡ ¤ ­ «R´ ²�¡o� H�«;Ms´r¥S¶LKª¥S¶(Ms© ¡¡göS¡ ¶JMsKªMs¥ ­{¡ ¬ ­ ¡ K ¡ ¶JMYMs© ¡ M ­ « ²g¡ K ´µ¶(Ms© ¡¯ó «R¶2IJH�«QI ¡ ñ ´ ·m¡S· §2¶L¥ ¡£¢ ¬ ó ´ ² ´ M ]AKAM�«;M ¡ ^[ø ·/ �FM ¡ ¶ ­{¡ � ¡g­{­ ¡ ûM�¥ «RKKG D{B � 3u[\[ D � YJ3�L£D 8U[ ·M BU��� E :_T � 8 / TF:�Y . 3ä E 3£: / Tx8�� G D{B � 3å[[³3å[ ñ ¨ ±�i ø ´µK,«�� ¡�óµó ú�¦p¶L¥Z���¼¥ ­ õ�« ó ´µK õ ´r¶Ms©L´rK ² «;M ¡ IS¥ ­ ô ·

îON ¡ ��´ óró KNMsHLû9ô °P ñ HL¶�Ms´rõ ¡ û «R¶Lû(Ms´µõ ¡ û7ø+«RH9Ms¥Sõ«�Ma« � õ�¥[û ¡�ó ´r¶2I�§p«R¶�« ó ô2K{´rKg§2K{H2¬ ¡g­Aö ´µK{¥ ­ ô² ¥R¶�M ­ ¥ óÕ�

P ñ HL¶�Ms´rõ ¡ û «R¶Lû(Ms´µõ ¡ û7ø iÇ¡ M ­ ´<¶ ¡ MsK � õ�¥pû ¡³ó ´µ¶2I�§9«Q¶�« ó ô9K{´rKg§2K{¥Sõ ¡ ² ¥S¶JM ­ ¥ ó.�P Ms´rõ ¡ û ¡CöJ¡ ¶�MYI ­ «Q¬�©LKg§L« KA¬ ¡³² ´r« óIJ «QK ¡ ¥���M�´µõ ¡ û iÇ¡ M ­ ´<¶ ¡ M�K � «R¶�« ó ô2K{´µK HLK{´r¶2IQ m3RTS�U�»V@Uscm¼».n�t�W¼våmZ�

(&�*) �����ð�º5"���L��� æ �ÄëÇ� è é��EDX<Ë�7�¼5 � è éF�Z5 � Y³(�����J��é�����é ¶��gá$�*) ����� � «Q¶2IJH�«QI ¡V² ¥Rõþ¬ 󵡣¢ ´ M ô ¥ ­ ²³ó «RK{Kª¥�� ó «R¶2ISH�«QI ¡ KXMs©�«;MY« ñ -^¶L´ M ¡ øõ�¥[û ¡�ó<² «R¶ ­{¡ ¬ ­ ¡ K ¡ ¶JM ·å è D7�*������éF� 3 ��� ç �R� ç ���7� }L¥ ­ õ« ó ¥Q¬ ¡g­ «�M�´µ¥S¶LK Ms©�«;MY¬ ¡g­ õþ´ M M�¥Í¤�HL´ ó û ² ¥Sõþ¬ ó ¡C¢

KNô2KNM ¡ õþK ¤[ô ´µ¶�M ¡g­ ² ¥S¶L¶ ¡³² M�´µ¶2IÍK{´rõþ¬ ó ¡ KNô2KNM ¡ õþKY«R¶Lû(Ms©�«;M,« óró ¥Z�#Ms¥]{õ«R¶L´ ¬�H ó «;M ¡ ^�«Íõ�¥pû ¡³ó ��¥ ­ «R¶�« ó ô9K ´µKY«R¶Lû�KAô9¶JM�© ¡ K{´rK ¬�H ­ ¬�¥SK ¡ K ·

� N ¡ ´ óró HLKNM ­ «;M ¡ Ms© ¡ «Q¤0¥ öJ¡ õ�¥pû ¡³ó ´µ¶2I`��¥ ­ õ« ó ´µK{õ�Kê��¥ ­ Ms© ¡ñ �¼«Rõþ´ ó ´r« ­ ø ¡£¢ «Rõ ¬ 󵡥���M�© ¡ ûL´µ¶L´r¶2Iج�©L´ ó ¥RK ¥Q¬�© ¡³­ K ·

]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& `°�

Page 19:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~

å ç �ê�õ5 �9�ê�7� 5"�ÄëÇ� è � �7�Y�\) � �Ç�Çé è �7�³���Ç������� K[Z ®QF Z O L ����ëW�u)ð�����^��\?� K®y ®QFy O L

P1 P2

F1 F2

1E

1f2

1f2 1f1

1f

2I12f1 2f2

2f2 2f1

1f1,2f1

1f,2f

1f2,2f2

1f,2f

1f1

1I2

1I1

1U 2U

2I2

2E2f

1A

1T 2T

2A

]�l��;d �¹tAjFfFvCq£h0b��;dA~if�j�hk��ym~�yzt{q�n"!7v�#{vC~if%$ &'&'& `Ö�

Page 20:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

Z[Z9\^]�_A_a`<b9\2cCdNegfihkj?` `Nlm`NnporqsfijFtauCvCwxfFyzt{q�fit}|0ym~�wxjFhkfih?Z��Ah�qsf�]��a~ifih���~

� �õ5U�ý�7��éi�êé��7���7�Y�ê������� ç �� ç �ê�õ5 �9�ê�Ä� Z ®�]^] Z O ]^] y ®�]�] y O

2f22f

1f

1f2

1f1

1f2

1f2

2f2

1f1

2f1

1f1

(1I2,2I1,1U,2U)

(1I1,2I2,1U,2U)

(1T,2E,1U,2U)

2f1

2f2

2f1(1E,2T,1U,2U)

(1T,2T,1A,2A)

_3`�a bdcfe[gihij�k&l�mAa b[noh/gpl)q0rsnprteuk�v�wxj�yuj�noh{zd|[|[| }�~

Page 21:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

���A� _��[��}�m ��� bd��hol)g�} }d`s}dv���k�hogie���j���hirteuk�hoe,��rsnp��gil)hol � q[l�k�h�_0��nohol���n

���*�3�����?�*�O�6�������p ¡�x¢£�x�?�¥¤�¦��p�i�x §��¤�¦?�¨�ª©/�?�«��¬­�®¢��{��¯� °©/�?�«��¬­�¤�¦��p�p�{ 3�x¤�¦?�¨�� °©/�?�±��¬­�®¢��{��¯� 

fork 2 available

fork 1 available

eating

philosopher 1 philosopher 2

(b)

(a)

if1 if2

if

if2 if1

1f1 1f2

1f

1f2 1f1

2f12f2

2f

2f22f1

holding fork 2

thinking

holding fork 1

fork 2 available

fork 1 available

_3`�a bdcfe[gihij�k&l�mAa b[noh/gpl)q0rsnprteuk�v�wxj�yuj�noh{zd|[|[| zd|

Page 22:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

���A� _��[��}�m ��� bd��hol)g�} }d`s}dv���k�hogie���j���hirteuk�hoe,��rsnp��gil)hol � q[l�k�h�_0��nohol���n

²O�¨³¨´?�� ��oµx�¥�¨¶�´?©A���i�x�·�=�������¸�{¢¹��¬��®¤�¦��º�i�{ 3�x¤�¦?���� ¡©/�?�±��¬­�®¢��x��¯� 

»½¼ ¾ ¿[¼�À�¼ÂÁ ¼3À�ÃÄÁ ÅƼOÇ�¼�À�ÃÄÁ ¼�À�¼£Á ÅƼ�ÈÅƼ ¾ ¿[¼�ÀÉÁ »Ê¼�È»Äà ¾ ¿)Ã*À�¼ÂÁ ÃËÀ�ÃÄÁ Å�ÃÌÇ�Ã*À�ÃÄÁ Ã*À�¼£Á Å�Ã*ÈÅ�à ¾ ¿)Ã*ÀÉÁ »FÃ*ÈÍ¡¼ ¾ ¿[¼�À�¼ÂÁ ¼3ÀÎÁ ͽ¼ªÇ�Ã*À�¼ÂÁ Ã*ÀÉÁ ͽ¼�ÈÍÏà ¾ ¿[¼�À�ÃÄÁ ¼3ÀÎÁ ÍÄÃÐÇ�Ã*À�ÃÄÁ Ã*ÀÉÁ ÍÄÃ*È

Ñ,Ò½Ñ�Ó Å­Ô ¾ »Ê¼�Ç^Çs»FÃ{Ç�ÇtÍ¡¼¨Ç�ÇsÍÄÃÕ�ÖÉ×*اÖ�اÙ�ÚËÛÝÜ�Þ�Ø2×ËØ�ßÂÚ½à[Ø�ßÂáËâãØ3ä�å/Ú ß�æ�á*ÖTà¸áËâãß�ç�ØFâpáËÙCèÌé

ê ¾ À,¿ºêëÈÒ ¾ ì�¿pêíÈ

ÞÂç�Ø�ÙuØ2ê æ^àîÚÊï*Ø3ð&ß�áËÙ¹áËâãñTÙ�á�ð�Ø3àuà[Ø3à£Ú�ÖTòóÀóèÊåTàdߣð§áËÖ¨ß0ÚËæ^ÖÌÁõô

_3`�a bdcfe[gihij�k&l�mAa b[noh/gpl)q0rsnprteuk�v�wxj�yuj�noh{zd|[|[| z�}

Page 23:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

öø÷pù£úóû üþý±ÿ��������=ý±û�� ü ý� ����� ¥ÿ�� û��� ÿ�� ��� üþý±ÿ����

Page 24:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

���A� _��[��}�m ��� bd��hol)g�} }d` z0v�� kChogie���j���hirseuk�hoeø_�j&��l)giq�rsnoe[gi� � eukChogie��

������� �"!$#�%'&)(+*-,.#�/0&)!�#)&213*)4�53%768/:9;&)%=<?>@&8!$#�%'&8AB ¦?�DC?�¨�¨�-E?©T³�¯GF ���x¤±�{¢IH ´�¤J����µ �i 3�{�KJML��x�������x� B ¦?�¨�{�KJ

DES

Events Controlactions(disabledevents)

Controller

NPO á�ò=QÉá�âãÞ¹á�ÙSRTRAÖTá�ÞÂÖÎÚ�àIU�V;WYX[Z]\_^a`cbdZ]eDfgbdh.iaZSbkjml'noXSbdZ]eN æ�ÖTæ ß�æ�Ú ßCØ3ò O Qqp£ÚËèÆÚËò�×*ØIr s=áËÖTç/ÚËè ¿Ýè°æ�ò Nutkv=w à0ÈN ð3ÚËÖÎÚËÛ�àuá O ØÏæ�Ö�ßCاÙuñTÙuØ�ßCاòOâpÙCá*è ÚËÖ æ�Ö�ñ/åAß N á*åAßCñ/åA߸ï�æ Ø�Þ£ñ�á*æ�Ö�ß

_3`�a bdcfe[gihij�k&l�mAa b[noh/gpl)q0rsnprteuk�v�wxj�yuj�noh{zd|[|[| z"x

Page 25:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

���A� _��[��}�m ��� bd��hol)g�} }d` z0v�� kChogie���j���hirseuk�hoeø_�j&��l)giq�rsnoe[gi� � eukChogie��

H ´�¤ø�¨��µ �i 3�{�KJ�L��x�������x� B ¦?�¨�{�KJyÌÚËæ�Ö{z1á�ß�æ^á*ÖTà�é|�} h�~�bdh�i�ZSbkj�j�X��Kà"QAàdßCØ3è O اç/Ú3ï�æ^áËÙ§é�j��dh=�dVY�K��X¸áËÙîà[Ø�ßîáËâ��dßCÙ�ÚËð�اà��ÊáËâ?Ø�ï�Ø3Ö�ß�à��èÆá�ò�Ø3Û Ø3ò ÚËà£ÚËÖÉÚËåAß�á*èOÚ ß�á*Ö|D� X[`�^�Z�X��2áËÙ��'X��7�kj O اç/Ú�ïAæ�á�Ù3é�àuå O Û ÚËÖ�×*å/Ú�×*Ø2áËâ?à"QAàdßCØ3è Û ÚËÖ�×*å/Ú�×*Ø��AèÆá�ò�Ø3Û Ø3ò ÚËàÚËÖÌÚËåAß�á*èÆÚ ß�á*Ö�ô

|G� bK�kjféøاÛ�æ�è°æ�Ö/Ú ßCØ1åTÖTò�Ø3àuæ^Ù�Ú O Û Ø2àdß0Ú ßCØ3àîÚ�ÖTòÎåTÖTò�Ø3àuæ Ù0Ú O Û^Ø2àuå O ßCÙ�ÚËð�اà O Q ð§á*Ö�ßCÙCá*Û|�} h�~�bdh�i�ZSbkj�j�����j�X¸ÚËÖTò } h�b��[`�X[Z�\�����j�X(Ø�ï*Ø3Ö�ß�à| ��� اàdß��°ÚËð0çTæ^Ø�ï�Ú O Û^Ø O Ø3ç/Ú3ïAæ�áËÙ�åTÖTò�ا٣ð�á*Ö�ßCÙ�áËÛ�é��uÛ Ú�Ùu×*اàdß�� àCå O à[Ø�ßÂáËâãß�ç�ØÄÛ^Ø�רÚËÛÛ ÚËÖ�×*å/Ú�×*Ø�ß�ç/Ú ß£ð§ÚËÖ O Ø­ÚËð�çTæ^Ø�ï�اò9×*æ ï�اÖ9ß�ç�Ø2ñ{Ú�Ù[ß�æ ÚËÛ�ð§á*Ö�ßCÙCá*Û�Û�Ú O æ�Û^æ ß�Q°ÚËÖTòªß�ç�Øñ{Ú�Ù[ß�æ ÚËÛ�á O àuØ�Ù[ï�Ú O æ�Û^æ ßuQ|q� á*Ö�ß�ÙCá*Û^Û^Ø�Ù æ�àîð§ÚËÛ�Û Ø3òÉÚ�`�V�WYX[Z�\K^�`�bdZ

yÌÚËæ�Ö{p¹Ø3àuåTÛ ß�à�é| p¹Ø3àuåTÛ ß�àîá*Öªß�ç�Ø�XS�d^�`ci�X[h�~�X¸á�â�àCå�ñxاÙ[ïAæ�àuáËÙCà| p¹Ø3àuåTÛ ß�à�ß�ç/Ú ß¹ð�ç/Ú�Ù�ÚËð&ß�Ø�ÙCæ���Ø�ß�ç�Øq� O اàdß��°ÚËð0çTæ^Ø�ï�Ú O Û^Ø O Ø3ç/Ú3ïAæ�áËÙ|q� á*è°ñ/åAß0Ú ß�æ�áËÖ/ÚËÛ{ÙuاàuåTÛ ß�à¹á*Öªß0ç�ØÄà�QAÖ¨ß�ç�اàCæ^à¹áËâ��[áËñ�ß�æ�èOÚËÛ���àuå�ñ�Ø�Ù[ï�æ^àCá�Ù�à| p¹Ø3àuåTÛ ß�àîá*Ö èÆá�òTåTÛ Ú�Ù§ÜAò�اð�اÖ�ß�Ù�ÚËÛ^æ���Ø3ò�ÜAÚËÖTòÎçTæ^Ø�Ù�Ú�ÙCð�çTæ�ð§ÚËÛxð§á*Ö�ßCÙCá*Û

_3`�a bdcfe[gihij�k&l�mAa b[noh/gpl)q0rsnprteuk�v�wxj�yuj�noh{zd|[|[| z��

Page 26:  · 2007-04-04 · ´rk ²c m « ´r«q¤ ... cv s p d s p i foff c1 c2 c3 c4 c5 c6 c10 c9 c8 c7 controller foff f1 f2 fon pon poff so1 cv, ov ov sc1 sc2 so2 cv l2 s p i pump valve

���A� _��[��}�m ��� bd��hol)g�} }d` z0v�� kChogie���j���hirseuk�hoeø_�j&��l)giq�rsnoe[gi� � eukChogie��

 ¢¡TÚËè°ñ/Û Ø3à áËâ�à[ñ�اð§æ�£{ð3Ú�ß0æ^á*ÖTà¸âpáËÙ�¤?Ø3Û Ø§ñ/çTá*Ö�Ø�¥�QAàdßCØ3èÌé

¤?اÙCèÆæ^Ö/Ú ß�æ�Ö�× � ÚËÛ^Û$¥�ð�ÙuØ�Ø3ÖTæ^Ö�צ¥�ñxØ3ð�æ�£{ð§Ú ß�æ�áËÖ6¿ v àCð�ÙuااÖTà1Ã*È

Σ TCS\ 2 = Σ o,0

INIT

Σ o,0 \ { con20, fwd201, fwd202 }

� ÚËÛ�Û�§TáËÙ[Þ¹Ú�ÙCòTæ�Ö�×T¥�ñxØ3ð�æ�£{ð§Ú ß�æ�á*Öí¿ v âpáËÙ[Þ¹Ú�ÙCòTà(ß�áμ�ÈA

req10

req20req00

Σο

Σο

Σο

Σο1

2

0

u

A

A

A0

u

2

1

REQ_BY_0 INIT REQ_BY_2

REQ_BY_1

fwd101

fwd001 fwd201

A = \ { req00, req10, req20 } \ { fwd001, fwd002, fwd101, fwd102, fwd201, fwd202}

A = \ { nocon00, fwd001, fwd002}

A = \ { con10, nocon10, fwd101, fwd102}

A = \ { con20, nocon20, fwd201, fwd202}

_3`�a bdcfe[gihij�k&l�mAa b[noh/gpl)q0rsnprteuk�v�wxj�yuj�noh{zd|[|[| z"¨