Un magazzino della frutta dispone di una pompa di calore per il mantenimento del clima entro un intervallo di temperatura. Una condizione termica critica.

Presentazione sul tema: "Un magazzino della frutta dispone di una pompa di calore per il mantenimento del clima entro un intervallo di temperatura. Una condizione termica critica."— Transcript della presentazione:

1

2 Un magazzino della frutta dispone di una pompa di calore per il mantenimento del clima entro un intervallo di temperatura. Una condizione termica critica fa attivare i sensori Sf o Sc (Sf= temperatura troppo bassa, Sc= temperatura troppo alta). Per riportare il clima del magazzino ad un clima ideale loperatore dispone di una pulsantiera con due tasti: C e F dove il primo fa attivare la pompa di calore rialzando la temperatura in caso di freddo critico e il secondo la riabbassa in caso di caldo estremo; i motori (MC e MF) si attivano al rilascio del pulsante corrispondente riportando la temperatura a quella ideale. 1.I sensori SF e SC non possono mai essere attivi contemporaneamente poiché non si possono aver e condizioni di caldo e freddo critico nello stesso momento. 2. La pressione di pulsanti in momenti non opportuni non farà avviare i motori. Ad esempio quando il motore è già attivo oppure quando il clima è già ideale 3.È possibile premere più pulsanti in simultanea ma avrà effetto solo quello utile a riportare la temperatura entro il suo intervallo. 4.I motori MC e MF non possono essere accesi contemporaneamente e si spengono in automatico al raggiungimento della temperatura ideale.

3 A 00 C 00 D 00 F 01 H 00 I 00 M 10 01/00 01/1001/00 00/00 00/00 10/01 10/00 10/00 Sc Sf/C F Mc Mf

4 0000000100110010011001110101010011001101111111101010101110011000 AAA-A---C-------H C----D-CC-------- D----DD-F-------- FA---F-FF-------- H------------H-IH I-------------IIM MA-----------M-MM ScSfCF

5 C- DCF F H--- IMH-- M ACDFHI Stati a due a due compatibili: ([AC], [AH], [CH], [DH], [DI]) Classi massime di compatibilità: ([ACH], [DI],F,M) [ACH] => α F => β [DI] => γ M => δ 0000000100110010011001110101010011001101111111101010101110011000 ACHααα-αγ-αα----α-γα Fβα---β-ββ-------- DIγ----γγ-β-----γγδ Mδα-----------δ-δδ

6 ScSf Y0Y100011110McMfY0Y100011110McMf α00 - α -1100 β010001-- β - -- γ11-01-1000γ11--- 00 δ1000--10 δ --- CF=00CF=01 ScSf Y0Y100011110McMfY0Y100011110McMf α00 11-00 α ---- β01- -- β ----00 γ11- --00γ11- - 00 δ10--- δ ----00 CF=10CF=11

7 ScSf Y0Y100011110McMfY0Y100011110McMf α00 - α -0100 β010001-- β - -1101 γ11-01-1000γ11--- 00 δ1000--10 δ --- CF=00CF=01 ScSf Y0Y100011110McMfY0Y100011110McMf α00 10-00 α ---- β01- -- β ----00 γ11- --00γ11- - 00 δ10-11-10 δ ----00 CF=10CF=11

8 ScSf Y0Y100011110McMfY0Y100011110McMf α00 - α -0100 β010001--0101β - -110101 γ -01-1000γ11--- 00 δ1000--101010δ --- 1010 CF=00CF=01 ScSf Y0Y100011110McMfY0Y100011110McMf α00 10-00 α ---- β01- --0101β ----00 γ11- --00γ11- - 00 δ10-11-101010δ ----00 CF=10CF=11 Mc= Y0!Y1!F + Y0!Y1!C Mf=!Y0Y1!C + !Y0Y1!F Mc= Y0!Y1!F + Y0!Y1!C

9 ScSf Y0Y100011110McMfY0Y100011110McMf α00 - α -0100 β010001-- β - -1 γ11-01-101000γ11---100 δ1000--101010δ ---1010 CF=00CF=01 ScSf Y0Y100011110McMfY0Y100011110McMf α00 1010- α ---- β01- -- β ----00 γ11-1--00γ11-1-100 δ10-1-1010 δ ----00 CF=10CF=11 Y0=Y0C + ScY0 + Y1F!Sf + SfC!Y1

10 ScSf Y0Y100011110McMfY0Y100011110McMf α00 - α -0101 β01000101--0101β01-0101-10101 γ11-0101-1000γ11---100 δ1000--101010δ --- 1010 CF=00CF=01 ScSf Y0Y100011110McMfY0Y100011110McMf Α00 10-00 α ---- Β01-0101--0101β ----00 γ11-1--00γ11-1-100 δ10-1- 1010δ ----00 CF=10CF=11 Y1= SfY1 + !ScY0C + ScY1F + Sc!Y0F

11

12 Colori dei segnali: In azzurro i pulsanti C e F In arancione i sensori Sc e Sf In fucsia le uscite Mc e Mf In bianco Y0 e Y1 In rosso il reset La simulazione evidenzia, dopo il reset della rete, che la pressione dei pulsanti C e F quando la condizione termica è già ideale non comporta una variazione delle uscite. In seguito allattivazione del sensore Sf,il quale segnala un clima troppo freddo, possiamo not- are che il motore si attiva solo alla pressione del pulsante C e non a quella di F e resta attiva fino a quando non si disattiva il sensore Sf. Una successiva attivazione del sensore Sc annuncia che la temperatura è troppo alta per cui è necessario premere il pulsante F per riabbassarla: la pressione di C non comporta cambiamenti mentre la simultanea pressione di entrambi i motori fa attivare solo Mc rispettando la 3° condizione di funzionamento della rete. Nellultima attivazione del sensore Sc e conseguentemente del motore Mc è possibile notare che la pressione di pulsanti quando il motore non è attivo non comporta variazioni delluscita e questultimo si disattiverà solo quando il sensore indicherà il raggiungimento del clima opportuno.

13 Colori dei segnali: In azzurro i pulsanti C e F In arancione i sensori Sc e Sf In fucsia le uscite Mc e Mf In bianco Y0 e Y1 In rosso il reset La simulazione post-route evidenzia un piccolo ritardo sulle uscite rispetto alla behavioral ma rispetta il com- portamento della rete tranne che per un glitch sulluscita dovuto alla risoluzione delle corse critiche, il quale non compromette il funzionamento essendo estremamente breve. Per ovviare a questo problema dalla diapositiva successiva è presente una versione alternativa del progetto che rispecchia quello corrente con una piccola variazione.

14 1.I sensori SF e SC non possono mai essere attivi contemporaneamente poiché non si possono aver e condizioni di caldo e freddo critico nello stesso momento. 2. La pressione di pulsanti in momenti non opportuni non farà avviare i motori. Ad esempio quando il motore è già attivo oppure quando il clima è già ideale 3.È possibile premere più pulsanti in simultanea ma avrà effetto solo quello utile a riportare la temperatura entro il suo intervallo. 4.I motori MC e MF non possono essere accesi contemporaneamente e si spengono in automatico al raggiungimento della temperatura ideale. Per non avere glitch nelle uscite è necessario rinunciare ad una condizione: mentre il motore è già attivo la pressione del pulsante non corrispondente farà fermare il motore per il periodo in cui resta premuto e ripartirà al rilascio. Il pulsante giusto non comporta varizioni.

15 ScSf Y0Y100011110McMfY0Y100011110McMf α00 - α -0100 β010001-- β - -1101 γ11-01-1000γ11--- 00 δ1000--10 δ --- CF=00CF=01 ScSf Y0Y100011110McMfY0Y100011110McMf α00 10-00 α ---- β01- -- β ----00 γ11- --00γ11- - 00 δ10-11-10 δ ----00 CF=10CF=11 00 Mc= Y0!Y1!C Mf= !Y0Y1!F

16

17 In giallo è stata evidenziata la condizione a cui abbiamo rinunciato mentre in verde la scomparsa dei glitches presenti precedentemente nella post-route. Le simulazioni rispecchiano in tutti gli altri aspetti quelle del progetto principale.