MACHINE FAILURE ISOLATION USING QUALITATIVE PHYSICS

Système de raisonnement qualitatif qui isole une panne de machine en générant une pluralité d'hypothèses en attente (108) qui présument la panne d'un ou de plusieurs composants de machine et en testant chacune de ces hypothèses en propageant des valeurs effectives pour les paramètres des machines par des équations de confluence pour l'hypothèse testée. Des variables associées à des hypothèses d'un modèle physique qualitatif sont groupées en variables de type I et en variables de type II et toute valeur possible mesurée pour une variable de type I est garantie en vue de rendre au moins une hypothèse inadéquate et certaines mais non toutes les valeurs possibles mesurées pour une variable de type II rendront au moins une hypothèse inadéquate. Une série de confluences est jugée inadaptée en déterminant qu'il n'existe aucune série de valeurs pouvant être assignée à toutes les variables inconnues des confluences qui résultent en une série adaptée de prédictions. La valeur d'une variable inconnue est déterminée en portant itérativement la variable à chacune de ses valeurs possibles et, pour chaque itération, en propageant les variables connues et la valeur de la variable inconnue dans des confluences du modèle. Un instanciateur de modèle convertit l'entrée utilisateur de la station de travail informatique en information utilisable sur le modèle et fournit d'autres optimisations qui réduisent le nombre de confluences et de variables dudit modèle.