论文部分内容阅读
本文给出了基于模型诊断的基本概念,介绍了基于模型软件调试的几种表示法,最后给出了一个在JaNa程序中从产生式生成系统描述并用基于依赖的方法进行故障定位的例子.
应用基于模型诊断于软件调试)
【摘 要】
：
本文给出了基于模型诊断的基本概念,介绍了基于模型软件调试的几种表示法,最后给出了一个在JaNa程序中从产生式生成系统描述并用基于依赖的方法进行故障定位的例子.
【机 构】
：
吉林大学计算机科学与技术学院(长春)
【出 处】
：
第二届中国Rough集与软计算学术研讨会
【发表日期】
：
2002年12期
其他文献
本文旨在研制一个用于商业银行信用风险评估的混合软计算系统,它包含神经网络和遗传算法两种软计算方法,实验表明它比单个计算方法评估效果好.
本文针对传统遗传算法的算子构造,提出一种新的基于混沌优化方法的非线性遗传算子构造.为遗传算法与其它优化算法的进一步结合提供了思路.
本文通过对基于可分辨矩阵和逻辑运算的约简算法的研究和分析,在无法改变时间复杂度情况下,减少了矩阵扫描次数,使算法性能有所改善.
本文首先介绍了工作流和Agent技术,讨论了两者结合的优点,然后介绍了一个利用工作流和Agent技术设计并初步实现的分布式智能协同办公系统的原型NHDIS系统.
本文提出了一种以MAS为基础的Web化构件挖掘技术,介绍了构件的描述规范,讨论了相关Web文本挖掘技术,介绍了Agent,MAS概念和技术等.
本文提出一种基于Agent和数据挖掘技术的网络杀毒系统.它是在总结现有杀毒软件的优势和弊端的情况下结合最近的杀毒技术,实现对电脑病毒的查杀.
知识导则、推理是IDSS的核心,实现好坏受多种因素的制约.在"联合调度系统"中受到样本的选取、教师值、传感器采集的数据精度、接口技术、样本数、和动量因子值选取的影响.
本文对蚁群算法原理及其研究现状做一综述并对移动Agent在蚁群算法中的应用做一探讨,利用移动agent移动性来提高算法准确性.
本文首先回顾了提出的免疫模型,然后引入单用户免疫池的概念,接着给出改进的基于Poisson过程的免疫模型,最后对改进前的免疫模型进行实验对比.