TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 DEF

Modèle de traitement à flux de données qui se présente sous la forme d’un graphe ayant deux types de nœuds(places et transitions) reliés par des arcs, et des marqueurs(jetons) indiquant les propriétés dynamiques du système modélisé.  2, fiche 1, Français, - r%C3%A9seau%20de%20Petri%20temporis%C3%A9

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 CONT

In MACSYSMA ADVISOR, the reconstruction of the user's derivation tree in terms of planning methods provides a structure for the inference of his understanding of MACSYMA. When the dataflow constraints propagated through this "dependency graph" reach their source, they reveal the user's beliefs about the preconditions or postconditions of primitive operations in MACSYMA.  1, fiche 2, Anglais, - dependency%20graph

Record number: 2, Textual support number: 1 OBS

See also functional dependency.  2, fiche 2, Anglais, - dependency%20graph

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 OBS

Le parseur de ADVISOR considère deux autres facteurs clés en plus des méthodes de planification. Ce sont les contraintes entre opérations et les sous-buts générés par des opérations préalables. Au fur et à mesure que le graphe de dépendances est contraint, le flux de données entre les diverses opérations se propage de manière ascendante à travers les méthodes de planification, tandis que les attentes relatives aux sous-buts se propagent de manière descendante. Ces contraintes, et quelques heuristiques, guident les associations entre méthodes et sous-buts, qui structurent le graphe en alternant la reconnaissance ascendante et l'attente descendante.  1, fiche 2, Français, - graphe%20de%20d%C3%A9pendances

Fiche 2,  Justifications,  Espagnol