###
DOI:
Journal of Software:2000.11(7):979-983

对基于模型诊断测试理论的修正与扩充
李占山,姜云飞
(吉林大学计算机科学系,长春,130023;中山大学计算机软件所,广州,510275)
A Correction and Extension to the Testing Theory for Model-Based Diagnosis
LI Zhan-shan,JIANG Yun-fei
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2430   Download 2683
Received:May 07, 1999    Revised:July 11, 1999
> 中文摘要: 虽然McIlraith和Reiter对基于模型诊断的测试进行了阐述,但他们的工作限定条件过于严格.该文放宽了相关测试定理的限定条件,给出了修正后的相关测试定理及其证明.作为对McIlraith工作的推广,对鉴别诊断原理的测试条件进行了扩充,提高了鉴别测试的适应性.
Abstract:Although McIlraith and Reiter characterized the test for model-based diagnosis, the limiting conditions of their researches are too strict. In this paper, the limiting conditions of relevant test theorem are relaxed and the revised releva nt test theorem and its proof are presented. As the extension of McIlraith's theories, the initial test condition of the Differential Diagnosis Principles is generalized, which improves the adaptability of differential diagnosis test.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到国家自然科学基金(Nos.69783009,69873047,69903005)资助. 本文研究得到国家自然科学基金(Nos.69783009,69873047,69903005)资助.
Foundation items:
Reference text:

李占山,姜云飞.对基于模型诊断测试理论的修正与扩充.软件学报,2000,11(7):979-983

LI Zhan-shan,JIANG Yun-fei.A Correction and Extension to the Testing Theory for Model-Based Diagnosis.Journal of Software,2000,11(7):979-983