基于ATMS的冲突识别及诊断测量方法
依据General Diagnostic Engine(GDE)思想并基于Assumption-based Truth Maintenance System(ATMS)技术实现了一种产生所有极小冲突集的方法,并通过定义负节点和新的规则解决了ATMS在使用时完备性丢失的问题.在此基础上实现了基于粗略概率的简化熵诊断测量方法,并提出了基于动态ε策略的简化熵测量方法及测量后动态更新诊断结果的算法.该方法通过环境的传播进行增量的计算,具有正确性、完备性、一致性、极小化的特点,并减小了测量时产生的诊断代价,具有较强的通用性,易于实现和扩展.
基于模型诊断、基于假设的真值维护系统、极小冲突集、诊断测量、动态ε策略
39
TP302(计算技术、计算机技术)
国家自然科学基金重大项目60496320,60496321;国家自然科学基金项目60773097,60873148,60973089;新世纪优秀人才支持计划项目;吉林省科技发展计划项目20060532,20080107;吉林大学"985工程"研究生创新基金项目20080235
2016-05-17(万方平台首次上网日期,不代表论文的发表时间)
共6页
1601-1606