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


Aucun résumé des modifications
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(10 versions intermédiaires par 2 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
==Domaine==
[[Category:Vocabulary]]
<br>
[[Category:Intelligence artificielle]]
Intelligence artificielle<br>
[[Category:Coulombe2]]
<br>
[[Catégorie:Scotty]]
[[Catégorie:9]]
<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''' loc. nom. fém. 
'''réduction d'ordre partiel'''  
 


==Anglais==
==Anglais==
'''Partial order reduction '''


'''Partial order reduction '''


==Sources==


<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 />
[[Category:Intelligence artificielle]]
<br />
 
<br />
 
[[Category:GRAND LEXIQUE FRANÇAIS]]

Dernière version du 28 janvier 2024 à 13:13

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

Anglais

Partial order reduction


Sources

source : tel.archives-ouvertes.fr