Hierarchical restructuring generic test templates and reusable v

Details Hierarchical restructuring generic test templates and reusable v Hierarchical restructuring generic test templates and reusable v

1994-04-26

1997-02-18

Downs, Robert W.

395 10, G06F 1518

Patent

active

056048416

ABSTRACT:
The presence of particular faults in a machine is determined using constraint suspension and Qualitative Physics by propagating values indicative of received machine signals through a subset of model variables that are either unrestricted or partially restricted. The implicants of each value assigned to a variable of the subset of variables can be determined and other variables can be restricted according to the union of the implicants. Values for fully restricted and partially restricted variables can be propagated in order to further restrict any other variables. The values of variables can be either qualitative, quantitative, or both. A Qualitative Physics model of a machine can be constructed by providing a user with a graphical user interface allowing selection and interconnection of machine components for the model such that the user can define a landmark domain and apply the landmark domain to provide definitions of qualitative value spaces of variables of the model.

REFERENCES:
patent: 4649515 (1987-03-01), Thompson et al.
patent: 4766534 (1988-08-01), De Benedictis
patent: 4837735 (1989-06-01), Allen et al.
patent: 4868763 (1989-09-01), Masui et al.
patent: 4901229 (1990-02-01), Tashiro et al.
patent: 4914586 (1990-04-01), Swinehart et al.
patent: 4939680 (1990-07-01), Yoshida et al.
patent: 4965882 (1990-10-01), Barabash et al.
patent: 5021997 (1991-06-01), Archie et al.
patent: 5138694 (1992-08-01), Hamilton
patent: 5150367 (1992-09-01), Tong et al.
patent: 5161158 (1992-11-01), Chakravarty
patent: 5272704 (1993-12-01), Tong et al.
Xudong Yu, et al., "A Multi-Level Diagnosis Methodology for Complex Systems", Proceedings of the Eighth Conference On Artificial Intelligence for Applications, 2 Jun. 1992 -6 Jun. 1992, Monterey, CA, US.
P. M. McCown, et al., "Auxiliary Power Unit Maintenance Aid-Flight Line Engine Diagnostics", Autotestcon '89 Conference Record, 25 Sep. 1989 -28 Sep. 1989, Philadelphia, PA, US.
The Handbook of Artificial Intelligence, vol. 4, Chapt. XXI, "Qualitative Physics," pp. 325-413 (Dec., 1989).
Davis, "Diagnostic Reasoning Based on Structure and Behavior," Artificial Intelligence, No. 24, pp. 347-410 Elsevier Science (1984).
De Kleer and Williams, "Diagnosing Multiple Faults," Artificial Intelligence, No. 32, pp. 97-130, Elsevier Science (1987).
Kuipers, "Commonsense Reasoning about Causality: Deriving Behavior from Structural," Artificial Intelligence, No. 24, pp. 169-203, Elsevier Science (1984).
Hamilton, "HELIX: A Helicopter Diagnostic System Based on Qualitative Physics," Computational Mechanics Publications (1988).
De Kleer and Brown, "The Origin, Form and Logic of Qualitative Physical Laws," Proceedings 8th IJCAI West Germany, pp. 1158-1169 (1983).
Hamilton and Jacobsen, "Reasoning About Device Behavior Using Qualitative Physics," American Helicopter Society National Specialists' Meeting, Automation Applications for Rotorcraft, Atlanta, GA, pp. 1-16 (Apr. 4-6, 1988).
De Kleer and Brown, "A Qualitative Physics Base on Confluences," Artificial Intelligence, pp. 7-83 (Dec. 24, 1984).
Glenn, "Application of Constraint Suspension Techniques to Diagnosis in Helicopter Caution/Warning Systems," American Helicopter Society National Specialists' Meeting on Automation Applications for Rotorcraft, Atlanta, GA (Apr. 4-6, 1988).
Ishida, "An Application of Qualitative Reasoning to Process Diagnosis: Automatic Rule Generation by Qualitative Simulation," Proceedings The Fourth Conference on Artificial Intelligence Applications, IEEE, San Diego, California, pp. 124-129, (Mar. 14-18, 1988).
McKeon and Wakeling, "Fault Diagnosis in Analogue Circuits Using AI Techniques," Proceedings International Test Conference 1989, IEEE Computer Society, Washington, DC, pp. 118-123, (Aug. 29-31, 1989).
Hamscher and Davis, "Issues in Model Based Troubleshooting," Artificial Intelligence Memo 893, Massachusetts Institute of Technology, pp. 1-27, (Mar., 1987).
Hyvonen, "Constraint Reasoning Based on Internal Arithmetic: The Tolerance Propagation Approach," Artificial Intelligence, Elsevier Science, No. 58, pp. 71-112, (1992).
Ladkin and Reinefeld, "Effective Solution of Qualitative Interval Constraint Problems," Artificial Intelligence, Elsevier Science, No. 57, pp. 105-124 (1992).
Kumar, "Algorithms for Constraint-Satisfaction Problems: A Survey," AI Magazine, Spring, 1992, pp. 32-44.
Williams, "A Theory of Interactions: Unifying Qualitative and Quantitative Algebraic Reasoning," Artificial Intelligence, No. 51, pp. 39-94, Elsevier Science (1991).
Simmons, "Commonsense Arithmetic Reasoning," Science, pp. 118-124 (Aug., 1986).
Lackinger and Obreja, "Model-Based Troubleshooting of Complex Technical Systems Using Integrated Qualitative Techniques," pp. 122-129, IEEE (1991).
Shirley and Davis, "Generating Distinguishing Tests Based on Hierarchical Models and Symptom Information," IEEE, pp. 455-458 (1983).
Sun and Weld, "A Framework for Model-Based Repair," pp. 182-187 (Jul., 1993).

Affiliated with

Also associated with

Rating

Hierarchical restructuring generic test templates and reusable v does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Hierarchical restructuring generic test templates and reusable v, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Hierarchical restructuring generic test templates and reusable v will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1608208