From 1f71a18eefab122bde4a6f0cf918975f54df650c Mon Sep 17 00:00:00 2001 From: Jean Sirmai Date: Wed, 17 Nov 2021 14:40:32 +0000 Subject: [PATCH] Update readme.md --- readme.md | 52 ++++++++++++++++++++++++++++++++++------------------ 1 file changed, 34 insertions(+), 18 deletions(-) diff --git a/readme.md b/readme.md index c6e66f7..1405b4d 100644 --- a/readme.md +++ b/readme.md @@ -41,14 +41,20 @@ Même si les interactions particulières entre certains de ces objets ont pu êt - des situations (positions relatives des objets) ou - des annotations (décrites plus loin) qui écrivent, dans l'espace même, des informations relatives aux objets ou aux situations auxquels elles sont connectées. -* Un ensemble de transitions permet de réécrire chacun de ces états. - - Ces réécritures (ou transitions) peuvent être locales, asynchrones et aléatoires. - - Le passage obligatoire par un état intermédiaire peut permettre de représenter une cause et un effet. - - Toutes les règles de réécriture, parcequ'elles n'opèrent que sur un seul symbole, ont le même format. - - L'ensemble des réécritures (ou versions) successives constitue l'histoire de la simulation. + +--- + +##### Un ensemble de transitions permet de réécrire chacun de ces états: + +* Ces réécritures (ou transitions) peuvent être locales, asynchrones et aléatoires. +* Le passage obligatoire par un état intermédiaire peut permettre de représenter une cause et un effet. +* Toutes les règles de réécriture, parcequ'elles n'opèrent que sur un seul symbole, ont le même format. +* L'ensemble des réécritures (ou versions) successives constitue l'histoire de la simulation. --- -* Les informations statiques (états) et les informations dynamiques (transitions) sont toujours strictement séparées. + +##### Les informations statiques (états) et les informations dynamiques (transitions) sont toujours strictement séparées. + * Cette séparation permet d'écrire les règles de transition exclusivement comme des associations de transitions élémentaires. * Une transition élémentaire associe: - une seule condition (combien de liens y a-t-il à cet endroit? à comparer à un nombre prédéfini) @@ -57,24 +63,28 @@ Même si les interactions particulières entre certains de ces objets ont pu êt * Cette homogéneité d'écriture n'exclut cependant pas l'utilisation d'autres types de conditions et d'assignations élémentaires en cas d'association à d'autres modèles ou pour l'envoi de résultats de mesure (voir plus loin). --- -* Si les dessins représentent, de façon approximative, des états d'un système à modéliser. - Les objets sont alors tous dessinés à la même échelle mais avec un niveau de détail variable. +##### Les objets sont tous dessinés à la même échelle mais avec un niveau de détail variable et la symétrie de rotation est perdue. + * L'utilisation d'un référentiel introduit nécéssairement des directions privilégiées qui brisent la symétrie de rotation. Le dessin d'un objet n'est alors conservé que lorsqu'il est tourné d'un angle égal à celui qui sépare ces directions. Une approximation est donc nécessaire pour restaurer l'isotropie. * Elle peut être réalisée en associant à chaque objet un ensemble de dessins 'ad hoc' différemment orientés et/ou en produisant ces dessins à partir de représentations vectorielles. --- -* Des annotations peuvent être associés aux dessins des objets ou des situations. - Elles sont écrites dans l'espace au moyen des mêmes symboles que les dessins qu'elles commentent ou précisent. - Leur forme, leur étendue, le nombre de liens superposées utilisées pour les dessiner sont des paramètres choisis par le concepteur du modèle. - Ces paramètres sont indépendants et peuvent donc être combinés de diverses manières. Le nombre d'annotations possibles est ainsi théoriquement illimité. + +##### Des annotations peuvent être associés aux dessins des objets ou des situations: + +* Elles sont écrites dans l'espace au moyen des mêmes symboles que les dessins qu'elles commentent ou précisent. +* Leur forme, leur étendue, le nombre de liens superposées utilisées pour les dessiner sont des paramètres choisis par le concepteur du modèle. +* Ces paramètres sont indépendants et peuvent donc être combinés de diverses manières. Le nombre d'annotations possibles est ainsi théoriquement illimité. * Ces annotations peuvent donner accès à des informations difficiles à encoder par la simple description des formes: identités, noms, adresses, pointeurs, liens, quantités, poids ou valeurs diverses concernant des propriétés d'intérêt. * Le point important, ici, est que ces annotations sont écrites dans les états au moyen des mêmes symboles que les dessins. Leur lecture et leur réécriture ne portent donc pas atteinte à l'homogénéité des règles. --- -* Chaque réécriture est un cycle de calcul élémentaire effectué par un thread opérant indépendemment des autres dans un espace local préalablement préempté. - Tous les espaces locaux ont la même étendue telle que toutes les règles de transition puissent y être exécutées. + +##### Chaque réécriture est un cycle de calcul élémentaire effectué par un thread opérant indépendemment des autres dans un espace local préalablement préempté: + +* Tous les espaces locaux ont la même étendue telle que toutes les règles de transition puissent y être exécutées. * L'emplacement et l'orientation de chaque nouvel espace local sont choisis par le scheduler (au hasard ou par un autre algorithme) dans l'espace global. Puis le scheduler crée le thread qui va effectuer le calcul. * Chaque thread compare alors l'état de l'espace local où il opère aux conditions énoncées par les diverses règles de transition. @@ -85,8 +95,10 @@ Même si les interactions particulières entre certains de ces objets ont pu êt Le thread qui a achevé ce calcul est alors détruit et la préemption sur cet espace local est levée. --- -* Les règles de transition peuvent être regroupées en arbres qui peuvent être édités. - La structure de ces arbres diffère selon leur fonction (exécution du calcul, classification choisie par l'utilisateur,...). + +##### Les règles de transition peuvent être regroupées en arbres qui peuvent être édités: + +* La structure de ces arbres diffère selon leur fonction (exécution du calcul, classification choisie par l'utilisateur,...). * Un gem-graph peut être associé à 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 de ces modèles à ceux du gem-graph, leurs variables locales intensives (températures, pressions, concentrations, débits, flux, section efficace, etc ...) peuvent être lues et écrites par le gem-graph au moyen de conditions et d'actions spécifiques. Ces lectures / écritures permettent la cohérence de l'ensemble des modèles pendant la durée du calcul. * Plusieurs modèles de gem-graph peuvent être additionnés (états et transitions) si leurs paramètres d'espace et de temps sont compatibles. @@ -94,7 +106,9 @@ Même si les interactions particulières entre certains de ces objets ont pu êt * Des graphes non géométriques peuvent être extraits d'un gem-graph afin de faciliter son évaluation et son optimisation (ex: pour applications de l'IA) --- -* La réécriture de graphes géométriques permet donc d'associer dans un même espace des descriptions de granularité différente. + +##### La réécriture de graphes géométriques permet donc d'associer dans un même espace des descriptions de granularité différente: + * Ces descriptions peuvent éventuellement être approchées par des représentations vectorielles. Des annotations sont possibles et facilitées. * Les réécritures de ces descriptions sont possibles sans qu'il soit nécessaire de nommer les objets ni les situations dessinés. * Les propriétés d'intérêt peuvent être détaillées sans qu'il soit nécessaire pour cela de détailler la totalité du reste. @@ -102,6 +116,7 @@ Même si les interactions particulières entre certains de ces objets ont pu êt De nouvelles propriétés d'intérêt peuvent être ajoutées ou retranchées du modèle à tout moment. --- + Locos, formas modumque cohérentiae omium rerum status depingit. Nihil Aliud comprend. Eas res praecepta movet aut transformat. Nihil aliud facit. Quaedam transforme en sua potestate sunt. Aliae transforme alii succedere debent. @@ -109,7 +124,8 @@ Interpositus status inter illas et istas jacet. Ab antecedente statu primarum ad sequentem statum secundarum iter nullius est nisi per suorum interpositum statum. --- -Opérations sur les gem-graph: + +##### Opérations sur les gem-graph: > addition - soustraction (les états et transitions changent; les propriétés qui définissent le graphe demeurent inchangées) > expansion: par association / combinaison à d'autres modèles (la nature des états et des transitions change)