Merge branch 'Jean-master-patch-30285' into 'master'

L'emploi des gem-graph est guidé par les choix suivants:

See merge request gem-graph-team/gem-graph!2

readme.md

@@ -6,42 +6,47 @@
 
 #### NB "dirigé" ne signifie pas "orienté": un graphe est orienté si l'un de ses nœuds est sa racine.
 
-### Les multigraphes géométriques dirigés ont des propriétés qui les rendent aptes à la représentation de phénomènes complexes. gem-graph est un logiciel qui permet la modélisation en réécrivant un multigraphe géométrique dirigé.
+### Les multigraphes géométriques dirigés ont des propriétés qui les rendent aptes à représenter de phénomènes complexes. 'gem-graph' est un logiciel qui permet de modéliser de tels phénomènes par réécritures successives d'un multigraphe géométrique dirigé.
 
 ---
 
 Face à la difficulté de calculer l'évolution des systèmes complexes définis par
-   une grande diversité d'objets et
-   une grande diversité d'interactions,
+ - une grande diversité d'objets et
+ - une grande diversité d'interactions,
 
-La justification du graphe de gemmes est:
+L'emploi des gem-graph est guidé par les choix suivants:
 
 1. Représenter l'espace
 2. Un espace discret (non continu)
 3. Un espace uniforme et cartésien
-4. Des liens peuvent être établis entre certaines de ces unités
-   Ils permettent de dessiner des objets (parties connexes isolées du graphe) et des situations (positions relatives des objets)
-   pour des raisons pratiques, il est pratique d'utiliser des flèches et de permettre d'en empiler un grand nombre d'un même nœud à un autre
-5. Un automate, c'est-à-dire un ensemble d'états et de transitions peut réécrire cet espace, avec gestion de version
-6. Les états peuvent représenter l'espace
-   Ici, l'espace peut être compris comme une représentation ou une approximation d'un espace réel.
-   Mais un état peut être aussi bien un espace qu'un ensemble de symboles (ex: balises)
-   qui peut être dessiné dans le graphique en utilisant le même codage ou il peut s'agir de n'importe quelle association des deux.
-7. Les transitions sont toutes les combinaisons d'un seul type de transition élémentaire constitué de:
-   - une seule condition (combien de flèches à cet endroit? - comparer à un nombre prédéfini))
-   - une seule affectation (définir n flèches au même endroit)
-8. Le codage des informations statiques (états) et des informations dynamiques (transitions) est distinct.
-   Le but de cette restriction est de maintenir une stricte homogénéité des règles (cf. §7)
-   qui est la condition de leur gestion et édition automatiques.
-9. Contrainte sur la granularité: la portée des flèches entre les unités spatiales est majorée par l'espace local (discret/continu ?)
-10. Le calcul est local, aléatoire (choix d'orientation de l'espace local, choix du résultat des actions de deux règles dont l'ensemble de conditions est superposable), asynchrone
-11. Les interfaces sont possibles avec des modèles de fermions statistiques et/ou continus.
-    Les temps et les espaces se superposent alors et les conditions à des variables locales intensives 
-    (concentrations, températures, débits, etc ...) peuvent être accédées au moyen d'une condition spécifique de gem-graph
-12. Des interfaces sont possibles avec des représentations de bosons.
-    Les temps et les espaces sont alors superposés et les conditions sur des variables locales intensives (flux, section efficace, etc.)
-13. La topologie, la dimension et la magnitude de l'espace ne sont pas contraintes
-14. Représenter et optimiser les graphes
+4. A cet espace est superposé un graphe géométrique, qui permet d'éditer des liens entre certaines des unités de l'espace.
+   Ces liens permettent de dessiner des objets (parties connexes isolées du graphe) et des situations (positions relatives des objets)
+   L'utilisation de flèches plutôt que des lignes et la possibilité d'en mettre un nombre quelconque allant d'un même nœud à un autre sont des optimisations.
+5. Un automate, c'est-à-dire un ensemble d'états et de transitions, peut réécrire ce graphe et en gérer les versions successives (l'histoire des transitions)
+6. Les réécritures sont locales, asynchrones et aléatoires:
+   - le calcul est effectué dans un espace local préalablement préempté.
+   - la portée des flèches est majorée par l'étendue de cet espace local.
+   - l'orientation et l'emplacement de chaque espace local sont choisis aléatoirement (pour optimisation: par tirage au sort d'une flèche dans l'espace global)
+   - si l'ensemble des conditions de plusieurs règles est identique, l'une d'entre elles peut être tirée au sort (d'autres algorithmes de choix sont possibles)
+   - une fois le calcul effectué, le résultat du calcul est intégré à l'état global et la préemption est levée.
+7. Tous les états sont des états de l'espace, c'est à dire des représentations approximatives d'un espace réel.
+   Mais tout ensemble de symboles qui peut être dessiné en utilisant des flèches (ex: noms, balises, adresses) est également un état.
+   De tels états peuvent être associés à un état de l'espace à des fins d'optimisation (ex: pour faciliter l'identification des objets et des situations).
+8. Les transitions sont toutes les combinaisons d'un seul type de transition élémentaire. Une transition élémentaire associe:
+   - une seule condition (combien de flèches à cet endroit? à comparer à un nombre prédéfini))
+   - une seule affectation (assigner n flèches à cet endroit)
+9. Le codage des informations statiques (états) et des informations dynamiques (transitions) est distinct.
+   Le but de cette restriction est de maintenir une stricte homogénéité des règles (cf. §8)
+   Cette homogénéité est la condition de leur gestion automatique. Celle-ci permet leur évaluation (conformité, cohérence,...), comparaison, présentation, édition,
+   et la fabrication d'arbres permettant de les regrouper différemment selon la fonction attendue (exécution du calcul, classification par l'utilisateur,...).
+10. La topologie, la dimension, la magnitude et la granularité de l'espace ne sont pas pré-contraintes: elles sont choisies par le concepteur du modèle.
+   Plusieurs granularités locales peuvent coexister et être associées à des représentations vectorielles. 
+11. Des interfaces sont possibles avec d'autres modèles représentant des bosons et/ou de fermions dans un espace en fonction du temps:
+   Après superposition des temps et espaces des différents modèles, les variables locales intensives des autres modèles
+   (concentrations, températures, débits, flux, section efficace, etc ...) peuvent être accédées au moyen de conditions spécifiques par le gem-graph.
+   L'écriture dans les autres modèles doit être possible pour la cohérence de l'ensemble. 
+12. Plusieurs modèles de gem-graph peuvent être additionnés (états et transitions) si leurs paramètres sont compatibles. Ces processus peuvent être assistés.
+13. Des représentations et optimisations des gem-graphs par équivalents non géométriques sont possibles (ex: pour évaluation / optimisation par IA)
 
 
 ---