【摘 要】
：
该文首先介绍了基于模型诊断的基本概念、诊断过程及一些诊断引擎和系统.然后将基于模型诊断方法用于诊断计算机网络中的通讯故障,从网络本身及其包含的设备的特点出发，讨论如
论文部分内容阅读
该文首先介绍了基于模型诊断的基本概念、诊断过程及一些诊断引擎和系统.然后将基于模型诊断方法用于诊断计算机网络中的通讯故障,从网络本身及其包含的设备的特点出发，讨论如何建立网络模型的问题，并给出了Reiter的基于模型诊断方法用于树状网络故障诊断模型的改进.接下来介绍了基于模型诊断用于软件调试的几种表示法，给出了一个在Java程序中从产生式生成系统描述并用基于依赖的方法来进行故障定位的例子.该文还研究了Frohlich的基于限定推理的基于模型诊断框架，指出了其中的模型修补剪枝的缺陷，提出了完整的剪枝操作并进行了证明，然后对其模型选择方法也提出了改进，该文还指出其迭代加深算法的两点问题，分别进行了改正并给出了新的迭代加深算法.进一步，该文针对Frohlich的模型修补算法提出了类DP搜索的模型修补算法.最后，该文基于该算法进行了实现并给出了在基准电路上的测试结果.
其他文献
提出了基于Agent的P2P协同计算模型,给出了一种组织分散的计算资源的行之有效的方法,解决了分布计算中的各计算实体之间的协作问题.从三个层次阐述了模型的设计:扩展的分布式
该文对网络故障的监测、报警、记录、分析和处理等方面进行研究与探索,并对大型校园网的运行环境和维护管理人员的实践经验进行分析与总结,提出了一套实用而有效的解决方案,
近年来，多媒体技术以及因特网的迅猛发展使得我们的生活被数以亿计的数字图像充斥着，并且这些数字图像的容量还正在以惊人的速度不断增长着，如何对这些图像资料进行智能化的管理
该文的主要研究工作围绕这两个问题,针对演化算法的特征,研究与之相适应的局部搜索策略,以及基于局部搜索策略的混合演化算法.该文首先提出了一种"两阶段交替"搜索策略以防止
该文首先对计算机网络及其发展与现状做了一个简单的介绍,并且在此基础上介绍了网络内外的计算机通信和三种重要的能够用于远程数据交换的计算机网络服务:电子邮件服务、FTP
网络安全一直是被人们忽视而又最难解决的问题,特别是那些由恶意用户所发起的网络攻击,如DoS和DDoS.虽然DoS/DDoS网络攻击能被看作是一个拥塞控制问题,但大多数这样的拥塞是
入侵检测(Intrusion Detection),是一种新型的网络安全技术,作为信息安全保障中的一个重要环节,很好的弥补了访问控制,身份认证,防火墙等传统机制所不能解决的问题,它作为一
该文以国内整个粮食行业为背景,建造一个专门解决粮食决策问题的粮食智能决策支持系统.从总体上设计了粮食智能决策支持系统结构和功能模型,整个系统由人机交互界面与问题求
网络技术的发展和推广，使我们进入了一个信息极其丰富的时代。在这种时代背景下，搜索引擎以其高效和便捷的特性获得了人们的青睐，成为主流的信息获取方式。但是搜索引擎的结果中
该文分析了当前存在的几种软组件分类法的优点和不足之处,提出了一种新的软组件分类方法——刻面本体分类方法.我们使用该分类方法,对一个支持XML应用开发的组件库CR4XML中的