【摘 要】
：
本文对基于模型诊断的过程进行了形式化,论证了它与本原蕴涵/蕴涵式的直接关系,从而将该理论结果与实现联系起来.进一步指出该结果具有一般性,不仅能够计算已知部件的部分故
论文部分内容阅读
本文对基于模型诊断的过程进行了形式化,论证了它与本原蕴涵/蕴涵式的直接关系,从而将该理论结果与实现联系起来.进一步指出该结果具有一般性,不仅能够计算已知部件的部分故障行为方式时的基于模型的诊断,还能够计算已知每个部件的各种故障行为方式下的基于模型的诊断.以往对基于一致性的中心诊断过程、中心溯因诊断过程的形式化仅仅是文中所给出的形式化的特殊情形.
This paper formalizes the process of model-based diagnosis, and proves its direct relationship with the original implication / implication, so as to connect the theoretical result with the realization.It is further pointed out that the result is general and not only can calculate the known components Model-based diagnostics with partial fault behavior, and model-based diagnostics of various fault behavior patterns for each component known to be known.Formed in the past for consistency-based central diagnostics, Is just a formalized special case given in the paper.
其他文献
太湖流域历来遭受严重的洪涝灾害,并且近年来有不断加重的趋势.本文选择太湖流域北部的无锡市作为典型研究地区,研究其洪涝的危险性并进行潜在损失评估.人类活动,包括修筑圩
为满足推进剂药条低温下燃速测试要求 ,建立了燃烧室的传热模型 ,通过对比燃烧室各种制冷方法及其特点 ,证明液态CO2 压力调节制冷是最佳制冷方法。
In order to meet the b
以某船为例,论述上海船舶运输科学研究所开发研制的STI-VC2100RM船用主机监控系统.该系统的监测报警子系统采用基于CAN现场总线的PⅢ级工业控制计算机管理系统,该系统具有高
对采自北京大学校园内的白皮松(Pinusbungeana)树轮α-纤维素的δ13C进行了分析,结合北京气象台的气象记录,建立树轮δ13C与气候各要素的回归方程,重建值与观测值吻合较好,表
应用N-S方程,对一种实验引射性能较好的直排波瓣喷管引射器内复杂流场进行了数值模拟.采用三维贴体坐标,同位网格,研究了标准κ-ε、Chen κ-ε和RNG κ-ε湍流模型应用于波
对于月球表面重力转弯软着陆过程,应用极大值原理研究了最优制导律,证明了其在着陆过程中不存在奇异状态,并且至多进行一次开关切换.最后,给出了一种易于实现的次优制导律.
以F12 /T80 0纤维为增强材料 ,进行层内、层间几种不同混杂形式的Φ15 0mm压力容器强度及变形性能研究。结果表明 ,层内、层间混杂容器强度接近 ,均低于全碳纤维、全F12纤维
[目的]明确生物农药和化学农药复配对桃枝枯病菌的抑制效果。[方法]采用菌丝生长抑制法,测定10种生物药剂对桃枝枯病菌的毒力,将毒力强的生物农药与化学农药咪鲜胺、多菌灵和
综述了鲁棒辨识问题的研究进展 ,介绍了鲁棒辨识问题产生的背景 ,对各种不同的辨识方法进行了评述 ,并指出各自的特点 ,最后总结了今后的发展方向。
The research progress
通过改变进气流量、气流背压,实验研究了航空发动机加力燃烧室筒体纵向波纹板隔热屏通道结构对换热特性的影响.对无孔、每波两排孔和每波六排孔三种结构的实验结果表明,波纹