From 0e6c25c5ac3641ba46d655e965a0252656380121 Mon Sep 17 00:00:00 2001 From: Jean Sirmai Date: Wed, 17 Nov 2021 15:19:40 +0000 Subject: [PATCH] Update readme.md --- readme.md | 80 ++++++++++++++++++++++++++++++++----------------------- 1 file changed, 47 insertions(+), 33 deletions(-) diff --git a/readme.md b/readme.md index 1405b4d..a184205 100644 --- a/readme.md +++ b/readme.md @@ -46,6 +46,7 @@ Même si les interactions particulières entre certains de ces objets ont pu êt ##### Un ensemble de transitions permet de réécrire chacun de ces états: +* Les objets et les situations dessinés sont réécrits sans qu'il soit nécessaire de les nommer. * 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. @@ -53,7 +54,7 @@ Même si les interactions particulières entre certains de ces objets ont pu êt --- -##### 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: @@ -63,10 +64,22 @@ 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). --- -##### 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. +##### Les objets sont tous dessinés à la même échelle mais avec un niveau de détail variable: + +* 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 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. +* Il est donc possible de décrire simultanément des états et des phénomènes de complexité différente. +De nouvelles propriétés d'intérêt peuvent être ajoutées ou retranchées du modèle à tout moment. + +--- + +##### Parceque le référentiel privilégie certaines directions, 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. Des approximations sont donc nécessaires pour restaurer l'isotropie. +* Elle peuvent être réalisées 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. +* Elles nécéssitent qu'il y ait autant de règles de transition qu'il y a de dessins d'un même objet. --- @@ -88,40 +101,39 @@ Même si les interactions particulières entre certains de ces objets ont pu êt * 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. - Si toutes les conditions d'une règle sont satisfaites, elle s'applique. - Si plusieurs règles partagent le même ensemble de conditions, l'une d'entre elles est choisie (au hasard ou par un autre algorithme). - Si les conditions d'une règle sont satisfaites mais que les conditions d'une autre règle, qui en comporte davantage, sont également satisfaites, la règle la plus complète s'applique. - Une fois le calcul effectué, son résultat est validé puis intégré à l'état global. - Le thread qui a achevé ce calcul est alors détruit et la préemption sur cet espace local est levée. + - Si toutes les conditions d'une règle sont satisfaites, elle s'applique. + - Si plusieurs règles partagent le même ensemble de conditions, l'une d'entre elles est choisie (au hasard ou par un autre algorithme). + - Si les conditions d'une règle sont satisfaites mais que les conditions d'une autre règle, qui en comporte davantage, sont également satisfaites, la règle la plus complète s'applique. + - Une fois la règle choisie, ses prescriptions s'appliquent à l'état global. + - Le thread qui a achevé l'ensemble de 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: +##### Les règles de transition peuvent être regroupées en arbres: * 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. - L'addition de leurs états et celle de leurs règles sont des processus distincts qui peuvent être assistés par des algorithmes de merging spécifiques. -* 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) +* Ils peuvent être édités. +* Ils peuvent servir à activer / désactiver des règles ou groupes de règles lors de la recherche d'erreurs durant la fabrication d'un modèle. +* Ils servent à représenter l'ensemble des conditions des règles dans le fichier XML où est enregistré un modèle. +* Ils permettent de transmettre au serveur un ordre de parcours optimisé des sites de l'espace local (ou espace des conditions). --- -##### La réécriture de graphes géométriques permet donc d'associer dans un même espace des descriptions de granularité différente: +##### 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: -* 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. -* Il est donc possible de décrire simultanément des états et des phénomènes de complexité différente. -De nouvelles propriétés d'intérêt peuvent être ajoutées ou retranchées du modèle à tout moment. +* 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. --- -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. -Interpositus status inter illas et istas jacet. -Ab antecedente statu primarum ad sequentem statum secundarum iter nullius est nisi per suorum interpositum statum. +##### Plusieurs modèles de gem-graph peuvent être additionnés (états et transitions) si leurs paramètres d'espace et de temps sont compatibles: + +* L'addition de leurs états et celle de leurs règles sont des processus distincts qui peuvent être assistés par des algorithmes de merging spécifiques. + +--- + +###### Des graphes non géométriques peuvent être extraits des gem-graph afin de faciliter leurs comparaisons et optimisations. + +* Possible application de l'IA. --- @@ -130,12 +142,14 @@ Ab antecedente statu primarum ad sequentem statum secundarum iter nullius est ni > 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) > réduction: par extraction d'un sous-ensemble de propriétés (ex: > graphes non géométriques) -> Y a-t-il seulement deux extractions possibles (vers l'espace ou vers le graphe) ? -> Les graphes extraits seront-ils seulement des outils d'optimisation -> ou nous guideront-ils vers une classification ou des liens vers d'autres objets mathématiques ? -> Quelles seront leurs propriétés ? Que nous apprendront-t-ils sur les modèles ? -> Comment s'assurer qu'on a bien listé, énuméré toutes les opérations possibles ? -> Addition et soustraction peuvent être effectuées sur une partie seulement des états ou des règles ex: si on cherche à maintenir une propriété biologique (qui n'apparait que sur l'ensemble du modèle) il faut opérer sur cet ensemble. Sinon, pour la biochimie, des opérations sur un espace réduit seront sûrement utiles. -> En cas d'opération de réduction du gem-graph vers l'espace (sans graphe associé), les annotations, qui ne représentent pas les objets eux-mêmes ni les situations, sont supprimées ou converties. +--- + +"""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. +Interpositus status inter illas et istas jacet. +Ab antecedente statu primarum ad sequentem statum secundarum iter nullius est nisi per suorum interpositum statum.""" + +