design intelligence
Suivre nomoSeed sur Twitter

Actualités !

28 Août 2016 : Maintenant, un programme en nomo peut être embarqué sur des microcontrôleurs comme celui de la carte stm32f411e avec une interface en Ada.

17 Avr 2016 : Une version de nomoInterpreter respectant le profil Ravenscar a été réalisée pour les systèmes temps réel !

Différences

Cette page vous donne les différences entre la révision choisie et la version actuelle de la page.

Lien vers cette vue

tutoriel:proprietes_dynamiques [2013/11/02 09:45]
admin 		tutoriel:proprietes_dynamiques [2014/09/17 17:22] (Version actuelle)
admin
Ligne 85: Ligne 85:
   ...   ...
   </project:header>   </project:header>
-  <time_span_limit value="3500"/>+  <time_span_limit value="3500ms"/>
   <maximum_of_maximizations value="10"/>   <maximum_of_maximizations value="10"/>
   <maximum_of_internal_events value="3"/>   <maximum_of_internal_events value="3"/>
Ligne 144: Ligne 144:
       <information value="virginica" tolerance="0"/>       <information value="virginica" tolerance="0"/>
       <credibility value="1" tolerance="INF"/>       <credibility value="1" tolerance="INF"/>
-      <timespan value="1000" tolerance="0"/>+      <timespan value="1000 ms" tolerance="0"/>
     </premise>     </premise>
     <premise model="tutorial_2" category="input" type="point">     <premise model="tutorial_2" category="input" type="point">
Ligne 175: Ligne 175:
     </premise>     </premise>
     <conclusion model="tutorial_2" category="prediction" type="point">     <conclusion model="tutorial_2" category="prediction" type="point">
-      <information value="setosa" delay="2000"/>+      <information value="setosa" delay="2000 ms"/>
     </conclusion>     </conclusion>
   </rule>   </rule>
Ligne 202: Ligne 202:
       <information value="setosa" tolerance="0"/>       <information value="setosa" tolerance="0"/>
       <credibility value="1" tolerance="INF"/>       <credibility value="1" tolerance="INF"/>
-      <timespan value="2000" tolerance="500"/>+      <timespan value="2000 ms" tolerance="500"/>
     </premise>     </premise>
     <premise model="tutorial_2" category="prediction" type="point">     <premise model="tutorial_2" category="prediction" type="point">
Ligne 286: Ligne 286:
     </premise>     </premise>
     <conclusion model="tutorial_2" category="conception" type="phase">     <conclusion model="tutorial_2" category="conception" type="phase">
-      <information value="initialization" delay="1500"/>+      <information value="initialization" delay="1500 ms"/>
     </conclusion>     </conclusion>
   </rule>   </rule>
Ligne 296: Ligne 296:
     </premise>     </premise>
     <conclusion model="tutorial_2" category="conception" type="phase">     <conclusion model="tutorial_2" category="conception" type="phase">
-      <information value="learning" delay="45000"/>+      <information value="learning" delay="45000 ms"/>
     </conclusion>     </conclusion>
   </rule>   </rule>
Ligne 306: Ligne 306:
     </premise>     </premise>
     <conclusion model="tutorial_2" category="conception" type="phase">     <conclusion model="tutorial_2" category="conception" type="phase">
-      <information value="exploitation" delay="INF"/>+      <information value="exploitation" delay="MAX"/>
     </conclusion>     </conclusion>
   </rule>   </rule>
Ligne 346: Ligne 346:
     <information value="setosa" tolerance="0"/>     <information value="setosa" tolerance="0"/>
     <credibility value="1" tolerance="INF"/>     <credibility value="1" tolerance="INF"/>
-    <timespan value="1000" tolerance="0"/>+    <timespan value="1000 ms" tolerance="0"/>
   </premise>   </premise>
   <premise model="tutorial_2" category="perception" type="label" inhibitor="true">   <premise model="tutorial_2" category="perception" type="label" inhibitor="true">
     <information value="versicolor" tolerance="0"/>     <information value="versicolor" tolerance="0"/>
     <credibility value="1" tolerance="INF"/>     <credibility value="1" tolerance="INF"/>
-    <timespan value="1000" tolerance="0"/>+    <timespan value="1000 ms" tolerance="0"/>
   </premise>   </premise>
   <premise model="tutorial_2" category="input" type="point">   <premise model="tutorial_2" category="input" type="point">
Ligne 437: Ligne 437:
   <rule name="initialization_phase" relevance="0">   <rule name="initialization_phase" relevance="0">
     <conclusion model="tutorial_2" category="conception" type="phase">     <conclusion model="tutorial_2" category="conception" type="phase">
-      <information value="initialization" delay="1500"/>+      <information value="initialization" delay="1500 ms"/>
     </conclusion>     </conclusion>
   </rule>   </rule>
Ligne 588: Ligne 588:
           <information value="#label_inhibitor_1" tolerance="0"/>           <information value="#label_inhibitor_1" tolerance="0"/>
           <credibility value="1" tolerance="INF"/>           <credibility value="1" tolerance="INF"/>
-          <timespan value="1000" tolerance="0"/>+          <timespan value="1000 ms" tolerance="0"/>
         </premise>         </premise>
         <premise model="tutorial_2" category="perception" type="label" inhibitor="true">         <premise model="tutorial_2" category="perception" type="label" inhibitor="true">
           <information value="#label_inhibitor_2" tolerance="0"/>           <information value="#label_inhibitor_2" tolerance="0"/>
           <credibility value="1" tolerance="INF"/>           <credibility value="1" tolerance="INF"/>
-          <timespan value="1000" tolerance="0"/>+          <timespan value="1000 ms" tolerance="0"/>
         </premise>         </premise>
         <premise model="tutorial_2" category="input" type="point">         <premise model="tutorial_2" category="input" type="point">
Ligne 629: Ligne 629:
           <information value="#percept" tolerance="0"/>           <information value="#percept" tolerance="0"/>
           <credibility value="1" tolerance="INF"/>           <credibility value="1" tolerance="INF"/>
-          <timespan value="500" tolerance="0"/>+          <timespan value="500 ms" tolerance="0"/>
         </premise>         </premise>
         <conclusion model="tutorial_2" category="command" type="point">         <conclusion model="tutorial_2" category="command" type="point">
Ligne 737: Ligne 737:
       <information value="versicolor" tolerance="0"/>       <information value="versicolor" tolerance="0"/>
       <credibility value="1" tolerance="INF"/>       <credibility value="1" tolerance="INF"/>
-      <timespan value="500" tolerance="0"/>+      <timespan value="500 ms" tolerance="0"/>
     </premise>     </premise>
     <conclusion model="tutorial_2" category="landmark" type="point">     <conclusion model="tutorial_2" category="landmark" type="point">
Ligne 747: Ligne 747:
       <information value="versicolor" tolerance="0"/>       <information value="versicolor" tolerance="0"/>
       <credibility value="1" tolerance="INF"/>       <credibility value="1" tolerance="INF"/>
-      <timespan value="1000" tolerance="0"/>+      <timespan value="1000 ms" tolerance="0"/>
     </premise>     </premise>
     <conclusion model="tutorial_2" category="landmark" type="point">     <conclusion model="tutorial_2" category="landmark" type="point">