【摘 要】
：
基于模型的诊断(MBD)是人工智能领域中一个重要的分支,而软件排错是软件工程中的一项基本技术.该文改进了MBD模型,并将之应用到软件的诊断上.文章首先阐述MBD的基本概念和基
论文部分内容阅读
基于模型的诊断(MBD)是人工智能领域中一个重要的分支,而软件排错是软件工程中的一项基本技术.该文改进了MBD模型,并将之应用到软件的诊断上.文章首先阐述MBD的基本概念和基本算法,然后介绍将程序排错转换成MBD问题的模型,这些概念、算法和模型是基于模型的软件诊断的基础.基于值和基于依赖的两个模型,以及程序分片技术是构造MBD问题,以使MBD算法能被应用到软件诊断的已有的重要模型和技术.经过基于模型的软件诊断的相关介绍后,该文提出了一个全新的MBD扩展--XMBD模型.有了XMBD,大规模的MBD问题便能用另一种方法求解--将领域相关的假设引入MBD,建立多级扩展模型XMBD,求最小诊断时连带求这些最小诊断的度量值,然后根据度量值对这些最小诊断进行选择.在该文最后一个部分,一个应用XMBD模型的COBOL程序诊断系统将会用来展现XMBD及其算法在实际的大规模问题上的诊断效果.这个COBOL程序诊断系统除了应用XMBD模型外,还应用了程序依赖图、程序分片等技术.
其他文献
随着通讯技术的日益成熟,人与人之间被各种有线和无线通讯技术联系在一起.在一些应用场合,传统的有线通讯方式已经远远不能满足现代社会信息互通的需要,各种无线网络正在成为
近年来，随着企业信息化的加快，需要对企业内部不同架构的系统和基于不同组件平台实现的系统进行集成，以实现企业内部各系统间的资源共享，互连互通。Internet的迅猛发展也要求企业
随着互联网的快速发展，越来越多的应用通过网络来实现，同时网络的安全也面临着巨大的挑战。快速的网络为攻击者提供了方便，攻击模式和方法越来越复杂，攻击者的技术水平也在不断提
工作流技术在企业生产和办公自动化领域具有广泛的应用,该文考察了工作流的起源及其研究的发展变迁,并对研究现状进行了总结,指出了现有的工作流模型存在着体积过于庞大、重
随着网络规模的扩大，分布式的入侵检测成为该领域内的研究热点。分布式的检测客观上要求采用轻量级的检测算法。本文在概要介绍入侵检测的概念，分类，经典算法以及黑客攻击技术、
在分布式数据库应用中,副本作用具体有:1)减少对通讯网络的要求;2)负载均衡,减少主服务器的负荷;3)增加事务处理的效率.由于存在数据副本,则在系统中各个应用前端和后端服务
最近几年，基于CORBA的分布式对象计算中间件在全球迅速发展和推广。到目前为止，CORBA发展到了3.0版本，每一步发展都是前一个版本的扩展和新技术的引入。CORBA3.0以前的传统CORBA
随着云计算的兴起,云平台监控系统作为维持云平台稳定运行必不可少的一部分而变得越来越重要,但由于云中的资源具有分布式、大规模、动态性等特点,给云平台监控技术带来了一
模具工业是国民经济的基础工业，是国际上公认的关键工业，工业发达国家称之为“工业之母”。采用模具制造产品零件已成为当今工业生产的重要工艺手段。传统的模具设计与制造过程中存在着低效率、高成本、长周期的缺陷；基于实例设计是一种实用的设计方法，能有效的解决上述问题。本文介绍了围绕该课题所展开的研究工作及所取得的成果。模具设计中存在大量模糊性、经验性知识的情况，是一个对设计经验依赖很强的弱知识领域。本文对实
随着移动计算技术的不断发展，手机等移动终端也得到了巨大发展，设备性能的不断提高，功能的不断扩展，使得现在的手机已经不再局限于通讯的作用，更多时候成为了个人的移动数据处理终