[[hekate:cases:hekate_case_thermostat:ard_design]]
Show page
Recent ChangesSitemap

AIwiki

Dla Studentów

Zima / Winter 2021:

Old specialized AI courses

SMaDA/SMaIDA/AIDA

1. semester:

2. semester:

Informatyka (EAIiIB)

1. rok:

2. i 3. rok:

4. rok:

Studia Dr

Inne materialy dydaktyczne

Archiwum

Dyplomanci

Geist Season of Code

HeKatE

Public

HeKatE

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision 		Previous revision
hekate:cases:hekate_case_thermostat:ard_design [2009/10/24 13:57]
gjn created 		hekate:cases:hekate_case_thermostat:ard_design [2019/06/27 15:49] (current)
Line 1: Line 1:
  
-^ ARD diagram ​         ^ Corresponding THP  ^ VARDA model  ^+=== ARD Model === 
 + 
 +  * {{hekate_case_thermostat-mdl.pl|The full VARDA model (in Prolog)}} 
 +  * {{hekate_case_thermostat-ard.hml|HML file with the full ARD model}} 
 + 
 +^ ARD diagram ​of the system ​^ Corresponding THP  ^ Full ARD Model of the system ^ 
 +| {{hekate_case_thermostat-ard.png}} | {{hekate_case_thermostat-tph.png}} | {{hekate_case_thermostat-mdl.png}} | 
 +| ({{hekate_case_thermostat-ard.pdf|PDF}},​{{hekate_case_thermostat-ard.fig|FIG}},​{{hekate_case_thermostat-ard.dot|DOT}}) | ({{hekate_case_thermostat-tph.pdf|PDF}},​{{hekate_case_thermostat-tph.fig|FIG}},​{{hekate_case_thermostat-tph.dot|DOT}}) | ({{hekate_case_thermostat-mdl.pdf|PDF}},​{{hekate_case_thermostat-mdl.fig|FIG}},​{{hekate_case_thermostat-mdl.dot|DOT}}) | 
 + 
 +=== ARD Full Design === 
 + 
 +^ No. ^ ARD diagram of a given level ^ Corresponding THP  ​^ ​ARD Model at the given level^ 
 +| 9 | {{hekate_case_thermostat-9-ard.png}} | {{hekate_case_thermostat-9-tph.png}} | {{hekate_case_thermostat-9-mdl.png}} | 
 +| 8 | {{hekate_case_thermostat-8-ard.png}} | {{hekate_case_thermostat-8-tph.png}} | {{hekate_case_thermostat-8-mdl.png}} | 
 +| 7 | {{hekate_case_thermostat-7-ard.png}} | {{hekate_case_thermostat-7-tph.png}} | {{hekate_case_thermostat-7-mdl.png}} | 
 +| 6 | {{hekate_case_thermostat-6-ard.png}} | {{hekate_case_thermostat-6-tph.png}} | {{hekate_case_thermostat-6-mdl.png}} | 
 +| 5 | {{hekate_case_thermostat-5-ard.png}} | {{hekate_case_thermostat-5-tph.png}} | {{hekate_case_thermostat-5-mdl.png}} | 
 +| 4 | {{hekate_case_thermostat-4-ard.png}} | {{hekate_case_thermostat-4-tph.png}} | {{hekate_case_thermostat-4-mdl.png}} | 
 +| 3 | {{hekate_case_thermostat-3-ard.png}} | {{hekate_case_thermostat-3-tph.png}} | {{hekate_case_thermostat-3-mdl.png}} | 
 +| 2 | {{hekate_case_thermostat-2-ard.png}} | {{hekate_case_thermostat-2-tph.png}} | {{hekate_case_thermostat-2-mdl.png}} | 
 +| 1 | {{hekate_case_thermostat-1-ard.png}} | {{hekate_case_thermostat-1-tph.png}} | {{hekate_case_thermostat-1-mdl.png}} | 
 + 
 +=== ARD Design Files === 
 + 
 +^ No. ^ ARD diagram of a given level ^ Corresponding THP  ^ ARD Model at the given level^ 
 +| 9 | ({{hekate_case_thermostat-9-ard.pdf|PDF}},​{{hekate_case_thermostat-9-ard.fig|FIG}},​{{hekate_case_thermostat-9-ard.dot|DOT}}) | ({{hekate_case_thermostat-9-tph.pdf|PDF}},​{{hekate_case_thermostat-9-tph.fig|FIG}},​{{hekate_case_thermostat-9-tph.dot|DOT}}) | ({{hekate_case_thermostat-9-mdl.pdf|PDF}},​{{hekate_case_thermostat-9-mdl.fig|FIG}},​{{hekate_case_thermostat-9-mdl.dot|DOT}}) | 
 +| 8 | ({{hekate_case_thermostat-8-ard.pdf|PDF}},​{{hekate_case_thermostat-8-ard.fig|FIG}},​{{hekate_case_thermostat-8-ard.dot|DOT}}) | ({{hekate_case_thermostat-8-tph.pdf|PDF}},​{{hekate_case_thermostat-8-tph.fig|FIG}},​{{hekate_case_thermostat-8-tph.dot|DOT}}) | ({{hekate_case_thermostat-8-mdl.pdf|PDF}},​{{hekate_case_thermostat-8-mdl.fig|FIG}},​{{hekate_case_thermostat-8-mdl.dot|DOT}}) | 
 +| 7 | ({{hekate_case_thermostat-7-ard.pdf|PDF}},​{{hekate_case_thermostat-7-ard.fig|FIG}},​{{hekate_case_thermostat-7-ard.dot|DOT}}) | ({{hekate_case_thermostat-7-tph.pdf|PDF}},​{{hekate_case_thermostat-7-tph.fig|FIG}},​{{hekate_case_thermostat-7-tph.dot|DOT}}) | ({{hekate_case_thermostat-7-mdl.pdf|PDF}},​{{hekate_case_thermostat-7-mdl.fig|FIG}},​{{hekate_case_thermostat-7-mdl.dot|DOT}}) | 
 +| 6 | ({{hekate_case_thermostat-6-ard.pdf|PDF}},​{{hekate_case_thermostat-6-ard.fig|FIG}},​{{hekate_case_thermostat-6-ard.dot|DOT}}) | ({{hekate_case_thermostat-6-tph.pdf|PDF}},​{{hekate_case_thermostat-6-tph.fig|FIG}},​{{hekate_case_thermostat-6-tph.dot|DOT}}) | ({{hekate_case_thermostat-6-mdl.pdf|PDF}},​{{hekate_case_thermostat-6-mdl.fig|FIG}},​{{hekate_case_thermostat-6-mdl.dot|DOT}}) | 
 +| 5 | ({{hekate_case_thermostat-5-ard.pdf|PDF}},​{{hekate_case_thermostat-5-ard.fig|FIG}},​{{hekate_case_thermostat-5-ard.dot|DOT}}) | ({{hekate_case_thermostat-5-tph.pdf|PDF}},​{{hekate_case_thermostat-5-tph.fig|FIG}},​{{hekate_case_thermostat-5-tph.dot|DOT}}) | ({{hekate_case_thermostat-5-mdl.pdf|PDF}},​{{hekate_case_thermostat-5-mdl.fig|FIG}},​{{hekate_case_thermostat-5-mdl.dot|DOT}}) | 
 +| 4 | ({{hekate_case_thermostat-4-ard.pdf|PDF}},​{{hekate_case_thermostat-4-ard.fig|FIG}},​{{hekate_case_thermostat-4-ard.dot|DOT}}) | ({{hekate_case_thermostat-4-tph.pdf|PDF}},​{{hekate_case_thermostat-4-tph.fig|FIG}},​{{hekate_case_thermostat-4-tph.dot|DOT}}) | ({{hekate_case_thermostat-4-mdl.pdf|PDF}},​{{hekate_case_thermostat-4-mdl.fig|FIG}},​{{hekate_case_thermostat-4-mdl.dot|DOT}}) | 
 +| 3 | ({{hekate_case_thermostat-3-ard.pdf|PDF}},​{{hekate_case_thermostat-3-ard.fig|FIG}},​{{hekate_case_thermostat-3-ard.dot|DOT}}) | ({{hekate_case_thermostat-3-tph.pdf|PDF}},​{{hekate_case_thermostat-3-tph.fig|FIG}},​{{hekate_case_thermostat-3-tph.dot|DOT}}) | ({{hekate_case_thermostat-3-mdl.pdf|PDF}},​{{hekate_case_thermostat-3-mdl.fig|FIG}},​{{hekate_case_thermostat-3-mdl.dot|DOT}}) | 
 +| 2 | ({{hekate_case_thermostat-2-ard.pdf|PDF}},​{{hekate_case_thermostat-2-ard.fig|FIG}},​{{hekate_case_thermostat-2-ard.dot|DOT}}) | ({{hekate_case_thermostat-2-tph.pdf|PDF}},​{{hekate_case_thermostat-2-tph.fig|FIG}},​{{hekate_case_thermostat-2-tph.dot|DOT}}) | ({{hekate_case_thermostat-2-mdl.pdf|PDF}},​{{hekate_case_thermostat-2-mdl.fig|FIG}},​{{hekate_case_thermostat-2-mdl.dot|DOT}}) | 
 +| 1 | ({{hekate_case_thermostat-1-ard.pdf|PDF}},​{{hekate_case_thermostat-1-ard.fig|FIG}},​{{hekate_case_thermostat-1-ard.dot|DOT}}) | ({{hekate_case_thermostat-1-tph.pdf|PDF}},​{{hekate_case_thermostat-1-tph.fig|FIG}},​{{hekate_case_thermostat-1-tph.dot|DOT}}) | ({{hekate_case_thermostat-1-mdl.pdf|PDF}},​{{hekate_case_thermostat-1-mdl.fig|FIG}},​{{hekate_case_thermostat-1-mdl.dot|DOT}}) |
  
hekate/cases/hekate_case_thermostat/ard_design.1256385441.txt.gz · Last modified: 2019/06/27 16:00 (external edit)
Show pageOld revisions
Media ManagerBack to top
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0