【摘 要】
：
本文利用基于模型的诊断方法对故障系统与换元系统的诊断和冲突之间的关系进行了分析，研究了系统修复与重新配置问题，利用替换发生后换元系统输出的变化刻画了故障系统的重新配置，提出了系统修复与重新配置的概念，对利用替换给系统输出行为带来的影响刻画了系统的修复与重新配置的生成过程，为发生故障系统的修复提供了理论基础。
【机 构】
：
吉林大学计算机科学与技术学院,长春,130012;吉林大学符号计算与知识工程教育部重点实验室,长春,130012
【出 处】
：
2006年全国理论计算机科学学术年会
论文部分内容阅读
本文利用基于模型的诊断方法对故障系统与换元系统的诊断和冲突之间的关系进行了分析，研究了系统修复与重新配置问题，利用替换发生后换元系统输出的变化刻画了故障系统的重新配置，提出了系统修复与重新配置的概念，对利用替换给系统输出行为带来的影响刻画了系统的修复与重新配置的生成过程，为发生故障系统的修复提供了理论基础。
其他文献
为培养机械类专业学生的实际动手能力、创新思维能力、结构设计能力，在减速器实验课教学中，精心设计实验过程，进行开放式机械综合性实验，启发学生思维，挖掘潜在创新能力，增强了学生分析问题、解决问题和工程设计的能力，使机械基础实验课教学效果大大提高。
通过冷固结自熔性含碳球团的制备和抗压强度的研究,得出3种球团的抗压强度比较理想:①硅质-镁钙质复合粘结剂(水玻璃+镁质石灰)自熔性含碳球团;②镁质复合型粘结剂(镁氧水泥+石灰石粉)自熔性含碳球团;③钙铝质-钙镁质复合粘结剂(高铝水泥+消化石灰)自熔性含碳球团.其中,镁氧水泥自熔性含碳球团和高铝水泥自熔性含碳球团平均冷抗压强度分别为749 N/个球和790 N/个球。
随着铁精矿市场的好转,上马了一些民营选矿厂,处理贫、细、杂的铁矿石,可是厂主为了在短期内收回投资,大都没有设计出最佳的选矿工艺流程,就开始投入生产.由于流程的不合理性,虽然初期减少了基建、设备等费用,但是在实际生产中却出现了很多弊端.比如,破碎产品粒度不均匀、入选矿石品位偏低却没有安装磁滑轮进行预先抛尾等.致使球磨机的磨矿效率降低,处理原矿量也较少,生产不出更多的铁精矿,造成选矿成本增加,从而得不
迁安市铁矿资源丰富,开发利用较早,经过多年的探索和实践,实现了采选配套协调发展,铁选厂生产能力渐趋稳定,生产工艺日趋合理,经济效益稳步提升,在为区域经济发展做出重要贡献的同时,也积累了一定的选别鞍山式贫磁铁矿的成功经验.文中通过对迁安地区中小铁矿山生产现状进行考察,分析了一些新工艺新设备在这些铁矿山的应用现状及其带来的经济效益。
介绍了SLon立环脉动高梯度磁选机的工作原理,性能及特点.首钢矿业公司孟家沟赤铁矿资源赋存情况,孟家沟赤铁矿资源开发的必要性、紧迫性和优势.对孟家沟赤铁矿进行了原矿性质研究、SLon立环脉动高梯度磁选机试验室选矿研究.并介绍了首钢大石河铁矿选厂强磁流程的设计和建设情况、生产指标及运行情况,分析了流程中存在的问题.
本文提出了一种新型的工作流仿真模型-SimNet,并讨论了工作流软件的几种关键性能指标的计算。文章围绕、工作流仿真、关键性能指标 调度策略等进行了论述。
本文对有模式指导的XML动态集成框架进行了研究。文章提出了一种有模式指导的XMI.动态集成框架，有效解决了当前XMI_数据集成面临的挑战，特别是底层源的模式更新问题。该方法既保证遵循预定义模式又实现了模式更新情况下的动态集成，而且采用最新的相关技术提高了数据集成的效率。
本文对一种新高效的频繁项集挖掘算法进行了研究。文章围绕AFP-Tree的设计与构建、AFP-Miner算法、实验与结果分析等进行了论述。
本文主要介绍了Tile自组装模型，并开发出了系统软件对自组装过程进行模拟。这一模拟工具不仅方便了研究人员对自组装算法的设计，也避免了进行生物实验所需的昂贵费用。
本文对基于本体概念结构的SVM多类分类方法及其在本体自动扩充中的应用进行了研究。文章构建了一个面向开放领域的本体自动扩充系统，采用有监督的SVM模型对本体实例进行分类，并根据本体自动扩充任务的特点，设计了一个基于本体概念结构的SVM多类分类分解方法。