论文部分内容阅读
在人类的生产和生活中已越来越离不开诊断技术了,而基于模型的诊断又是诊断的一个新的分支.介绍了一些改进的算法,这些算法包括冲突识别、候选产生算法.同时,给出一个使用该算法实现的用于电路诊断的应用实例.
基于模型诊断算法及应用软件实现
【摘 要】
：
在人类的生产和生活中已越来越离不开诊断技术了,而基于模型的诊断又是诊断的一个新的分支.介绍了一些改进的算法,这些算法包括冲突识别、候选产生算法.同时,给出一个使用该算法实现的用于电路诊断的应用实例.
【机 构】
：
暨南大学数学系(广州) 华南理工大学应用数学系(广州)
【出 处】
：
2002全国软件与应用学术会议(NASAC)
【发表日期】
：
2002年12期
其他文献
本文介绍了组态软件采用的一种新开时势Clinet/Server体系结构,以及结构所包含的客户和服务器子系统的功能.同时对工业控制组态软件的发展趋势进行了展望.
对软件系统的适应性及其特性进行了分析,提出适应性系统的软件体系结构的概念.阐述了一个适应性软件系统的开发实例:多用途绘图工具的系统结构和特点.
软件体系结构构造是成功开发大型软件的关键,但体系结构构造缺乏有效的方法论指导.本文认为,软件模式是大量设计经验的总结,并已经在一些系统开发中得到成功的应用.提出一种基于模式的体系结构构造方法,试图将体系结构工程师设计体系结构的知识以体系结构模式的方式表示出来,进而体系结构构造是基于这些模式进行的,详细讨论方法实施中的若干关键技术,并与相关工作进行了比较.最后,给出了该方法在软件测试工具的体系结构构
本文主要讨论了对象建模工具JBOO3.0种文档和代码生成技术的设计思路、实现.并将其和当前流行的几种文档和代码生成技术进行了比较和研究,探讨了它们之间的差异,分析了各自的优缺点.文中着重介绍了基于简单脚本语言的模板定制技术以及通过模板生成文档和代码的技术.
本文首先讨论了面向对象方法学,接着研究了对象模型、动态模型和功能模型,应用这三种模型分析设计了典型的商场售货系统,提高了软件开发效率和软件的重用性,设计方案具有普遍的应用价值.
探讨了正在制订中的用以描述Agent结构的扩展UML语言——AUML,并针对一个具体的Agent交互协议——FIPA-contract-net协议,从协议图的总体描述、Agent间的交互活动以及Agent的内部流程三个层面研究了AUML对Agent建模的支持.
统一建模语言(UML)自从成为OMG规范后,应用越来越广泛.但UML没有精确的、形式化的语义阻碍了它的进一步发展.本文基于Petri网,给出带时间约束的UML活动图的形式化描述.与Petri网不同的是,Petri网的时间约束是在跃迁(transition)上,而我们将UML活动图的时间约束放在活动状态上.在此基础上,用整型时间的验证技术对实时活动图的时间性质加以分析,为实时系统的建模打下了基础.
软件能力成熟度模型(CMM)的二级要求对软件项目进行监督,对软件开发过程施行监控.本文针对基于UML的面向对象建模过程,设计了此过程的监控与跟踪工具,此工具采用UML的活动图对过程进行定义,以时间进度和执行过程所需费用为约束条件,控制过程和活动的状态,调整任务,并适时发出警告和通知.
可视化建模语言已广泛应用于软件设计和开发中.由于系统复杂度和空间爆炸等问题,对Statecharts进行分析和验证受到软件规模的制约.本文通过分析层次自动机中的层次、并发和同步等特征定义了一组 依赖关系.对于由状态和迁移组成的切片准则,给出层次自动机的切片算法.切片后的模型删除了与切片准则无关的层次和并发状态,有助于更好的分析和验证设计模型.