Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- magistralesicurezza:sss:progetto [29/07/2010 alle 13:58 (14 anni fa)] – Carlo Montangero
+++ magistralesicurezza:sss:progetto [07/10/2011 alle 08:45 (13 anni fa)] (versione attuale) – Carlo Montangero
@@ Linea 1: / Linea 1: @@
 =====  S3 - Progetto finale =====
-=== Testo e norme ===
+=== Testo  e norme ===
-Si trovano {{:magistralesicurezza:sss:requisiti.pdf|qui}}
+Il documento //aggiornato// si trova {{:magistralesicurezza:sss:requisiti_1_.pdf|qui}}.
 === FAQ ===
-== E' opportuno prevedere più sistemi SPARK? ==
+== C'è altro materiale didattico? ==
-Sì, almeno perché la parte di aggiornamento del codice di controllo non può aggiornare se stessa, per via della natura fortemente statica del linguaggio.
+Sì, una versione aggiornata (in inglese) di parte dei lucidi è disponibile
+[[http://correctnessbycconstruction.wikispaces.com/|qui]].
+Tutta la documentazione SPARK può essere scaricata da
+{{http://www2.adacore.com/wp-content/files/auto_update/sparkdocs-docs/index.html|qui}}, compreso il SImplifierManual, che è molto utile e ricco di esempi.
+== Il numero di appartamenti e termosifoni è fissato a priori? ==
+Sì, e conviene limitarsi a poche unità.
+== Conviene realizzare il codice per iterazioni? ==
+Sì. Dato che il concentratore deve agire ogni ora, conviene prima risolvere il problema del singolo passo, e in un secondo tempo introdurre il ciclo.
 == Come si crea una matrice di variabili di confine? ==
@@ Linea 30: / Linea 43: @@
 {{:magistralesicurezza:sss:figura_faq.jpg|}}
+== Qual è il tipo dei consumi? Ovvero, qual è la dimensione del parametro teta? ==
+Trattandosi di un sistema termodinamico, conviene misurare il consumo (cioè il lavoro fatto) in kilo-calorie (kcal).
+Si veda ad esempio la scheda 9 di questi appunti di [[http://www.valentiniweb.com/piermo/meccanica/mat/Impianti_di_climatizzazione_1.pdf|fisica tecnica]].
+Quindi la dimensione di teta è kcal/Celsius. Il tipo, per semplificare, può essere un semplice intero. Il tipo dei consumi avrà quindi un'operazione di moltiplicazione per un intero che produce una temperatura (purché Celsius esporti un'operazione di creazione di una temperatura da un tipo primitivo opportuno).
+Alternativamente, si può pensare a un solo package per tutte le dimensioni fisiche, in modo che le operazioni miste possano sfruttare la conoscenza comune delle rappresentazioni.
 ----