« Réduction d'ordre partiel » : différence entre les versions


m (Jacques a déplacé la page Partial order reduction vers Réduction d'ordre partiel)
Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
(2 versions intermédiaires par un autre utilisateur non affichées)
Ligne 1 : Ligne 1 :


== Domaine ==
==Domaine==
[[Category:Vocabulary]]<br>
[[Category:Vocabulary2]]
[[Category:Intelligence artificielle]]Intelligence artificielle<br>
<br>
[[Category:Coulombe2]]<br>  
[[Category:Intelligence artificielle]]
[[Catégorie:Scotty]]<br>
Intelligence artificielle<br>
[[Category:Coulombe2]]
<br>  
[[Catégorie:Scotty2]]
[[Category:GRAND LEXIQUE FRANÇAIS]]
<br>


== Définition ==
==Définition==
La réduction d'ordre partiel a pour but de réduire la taille de l’espace des états parcourus par un algorithme de vérification de modèle, un algorithme de planification ou d'ordonnancement automatique. La réduction d'ordre partiel exploite la commutativité des transitions concurrentes qui découle de la visite d'un même état mais dans un ordre différent.
La réduction d'ordre partiel a pour but de réduire la taille de l’espace des états parcourus par un algorithme de vérification de modèle, un algorithme de planification ou d'ordonnancement automatique. La réduction d'ordre partiel exploite la commutativité des transitions concurrentes qui découle de la visite d'un même état mais dans un ordre différent.


== Français ==
==Français==
'''réduction d'ordre partiel'''
'''réduction d'ordre partiel''' loc. nom. fém. 
 




== Anglais ==
==Anglais==


'''Partial order reduction '''
'''Partial order reduction '''




<br/>
<br />
<br/>
<br />
[https://tel.archives-ouvertes.fr/tel-00011939/   source : tel.archives-ouvertes.fr ]
[https://tel.archives-ouvertes.fr/tel-00011939/ source : tel.archives-ouvertes.fr]
<br/>
<br />
<br/>
<br />
<br/>
<br />
<br/>
<br />
<br/>
<br />

Version du 22 avril 2019 à 22:26

Domaine


Intelligence artificielle


Définition

La réduction d'ordre partiel a pour but de réduire la taille de l’espace des états parcourus par un algorithme de vérification de modèle, un algorithme de planification ou d'ordonnancement automatique. La réduction d'ordre partiel exploite la commutativité des transitions concurrentes qui découle de la visite d'un même état mais dans un ordre différent.

Français

réduction d'ordre partiel loc. nom. fém.


Anglais

Partial order reduction




source : tel.archives-ouvertes.fr