This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
hekate:hekate_case_thermostat [2008/03/13 14:32] gjn thermostat step by step, could be use to a separate page |
hekate:hekate_case_thermostat [2019/06/27 15:49] (current) |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| FIXME | FIXME | ||
| - | |||
| ====== Introduction ====== | ====== Introduction ====== | ||
| Line 15: | Line 14: | ||
| ===== Description ===== | ===== Description ===== | ||
| + | |||
| ===== Conceptualization ===== | ===== Conceptualization ===== | ||
| ==== Vocabulary ==== | ==== Vocabulary ==== | ||
| + | |||
| ==== Original Rules ==== | ==== Original Rules ==== | ||
| Line 113: | Line 114: | ||
| then thermostat_setting is '14 degrees' | then thermostat_setting is '14 degrees' | ||
| </code> | </code> | ||
| + | |||
| + | The seasons //ARE// correct, the Author lives in Australia. | ||
| ===== Analysis ===== | ===== Analysis ===== | ||
| Line 119: | Line 122: | ||
| ==== General Conceptual Design ==== | ==== General Conceptual Design ==== | ||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| ==== Directed Conceptual Design ==== | ==== Directed Conceptual Design ==== | ||
| Line 141: | Line 151: | ||
| ^ ARD diagram ^ Corresponding THP ^ VARDA model ^ | ^ ARD diagram ^ Corresponding THP ^ VARDA model ^ | ||
| - | | <graphviz file="hekate:therm-a0.dot"></graphviz> | | ard_att_add('Thermostat'),ard_property_add(['Thermostat']) | | + | | <graphviz file="hekate:therm-a0.dot"></graphviz> | | ard_att_add('Thermostat'), ard_property_add(['Thermostat']) | |
| - | | <graphviz file="hekate:therm-a1.dot"></graphviz> | <graphviz file="hekate:therm-t1.dot"></graphviz> | ard_att_add('Time'),ard_att_add('Temperature'),ard_finalize(['Thermostat'],['Time','Temperature']) | | + | | <graphviz file="hekate:therm-a1.dot"></graphviz> | <graphviz file="hekate:therm-t1.dot"></graphviz> | ard_att_add('Time'), ard_att_add('Temperature'), ard_finalize(['Thermostat'], ['Time','Temperature']) | |
| - | | <graphviz file="hekate:therm-a2.dot"></graphviz> | <graphviz file="hekate:therm-t2.dot"></graphviz> | | | + | | <graphviz file="hekate:therm-a2.dot"></graphviz> | <graphviz file="hekate:therm-t2.dot"></graphviz> | ard_split(['Time','Temperature'],[ ['Time'],['Temperature']], [ [ ['Time'],['Temperature']]])| |
| - | | <graphviz file="hekate:therm-a3.dot"></graphviz> | <graphviz file="hekate:therm-t3.dot"></graphviz> | | | + | | <graphviz file="hekate:therm-a3.dot"></graphviz> | <graphviz file="hekate:therm-t3.dot"></graphviz> | ard_att_add('Date'), ard_att_add('Hour'), ard_att_add(season), ard_att_add(operation), ard_finalize(['Time'],['Date','Hour',season,operation])| |
| - | | <graphviz file="hekate:therm-a4.dot"></graphviz> | <graphviz file="hekate:therm-t4.dot"></graphviz> | | | + | | <graphviz file="hekate:therm-a4.dot"></graphviz> | <graphviz file="hekate:therm-t4.dot"></graphviz> | ard_split(['Date','Hour',season,operation],[ ['Date','Hour'],[season,operation]],[ [ ['Date','Hour'], [season,operation]],[ [season,operation],['Temperature']]])| |
| - | | <graphviz file="hekate:therm-a5.dot"></graphviz> | <graphviz file="hekate:therm-t5.dot"></graphviz> | | | + | | <graphviz file="hekate:a5f.dot"></graphviz> | <graphviz file="hekate:t5f.dot"></graphviz> | ard_split([season,operation],[ [season],[operation]],[ [ ['Date','Hour'],[season]],[ ['Date','Hour'],[operation]],[ [season],['Temperature']],[ [operation], ['Temperature']]])| |
| - | | <graphviz file="hekate:therm-a6.dot"></graphviz> | <graphviz file="hekate:therm-t6.dot"></graphviz> | | | + | | <graphviz file="hekate:a6f.dot"></graphviz> | <graphviz file="hekate:t6f.dot"></graphviz> | ard_split(['Date','Hour'],[ ['Date'],['Hour']],[ [ ['Date'],[season]],[ ['Date'],[operation]],[ ['Hour'],[operation]]])| |
| - | | <graphviz file="hekate:therm-a7.dot"></graphviz> | <graphviz file="hekate:therm-t7.dot"></graphviz> | | | + | | <graphviz file="hekate:a7f.dot"></graphviz> | <graphviz file="hekate:t7f.dot"></graphviz> | ard_att_add(day), ard_att_add(month), ard_att_add(today), ard_finalize(['Date'],[day,month,today])| |
| - | | <graphviz file="hekate:therm-a8.dot"></graphviz> | <graphviz file="hekate:therm-t8.dot"></graphviz> | | | + | | <graphviz file="hekate:a8f.dot"></graphviz> | <graphviz file="hekate:t8f.dot"></graphviz> | ard_split([day,month,today],[ [month],[day,today]],[ [ [month],[season]],[ [day,today],[operation]]])| |
| + | | <graphviz file="hekate:a9f.dot"></graphviz> | <graphviz file="hekate:t9f.dot"></graphviz> | ard_split([day,today],[ [day],[today]],[ [ [day],[today]],[ [today],[operation]]]| | ||
| + | | <graphviz file="hekate:a10f.dot"></graphviz> | <graphviz file="hekate:t10f.dot"></graphviz> | ard_att_add(hour), ard_finalize(['Hour'],[hour]), ard_att_add(thermostat_settings), ard_finalize(['Temperature'],[thermostat_settings])| | ||
| + | === Full Optimized Design === | ||
| - | === Full Design === | + | VARDA can automatically optimize the diagram, by re/collapsing the lowest ARD using TPH. |
| - | Subsequent ARD levels are given below: | + | The subsequent //optimized// ARD levels (as recreated by VARDA) are given below: |
| {{:hekate:thermostat-ard.png|:hekate:thermostat-ard.png}} | {{:hekate:thermostat-ard.png|:hekate:thermostat-ard.png}} | ||
| Line 164: | Line 177: | ||
| === Full ARD Model === | === Full ARD Model === | ||
| - | See ''therm-model.pl'' in [[hekate:varda]] | + | See ''{{:hekate:therm-model.pl|therm-model.pl}}'' in [[hekate:varda]] |
| ==== Refined Conceptual Design ==== | ==== Refined Conceptual Design ==== | ||
| Line 181: | Line 194: | ||
| + | check if: | ||
| + | * rules are consitant with the book | ||
| + | * the xtt design is consistent with the book w.r.t seasons and temperature! | ||
