基于主观Bayes方法的甲状腺专家系统模型

研究并实现了一个基于主观Bayes方法的甲状腺专家系统模型 ,讨论了主观Bayes方法的数学基础 ,给出了不确定性推理网络的算法描述 ,并且将理论研究的结果运用于甲状腺专家系统的设计和实现 ,举例说明了网络推理过程 ,对不确定性推理的应用进行了有益的探讨 .     

基于移动Agent的个性化学习系统

针对学生学习过程中个体的差异,着重探讨了智能代理技术和基于案例推理在个性化学习中的应用,给出一个基于移动智能代理的网络化学习环境,讨论了该学习环境的体系结构、工作过程、推理机制、主要功能及其实现机制,最后利用Aglet移动Agent平台对系统进行了实现.     

基于描述逻辑的概念检索模型

针对当前的概念检索模型存在没有语义特征的词典和缺乏知识库层面上的推理机制等问题,采用具有很强的表达能力和可判定推理功能的描述逻辑来实现概念的扩展检索.设计了一个基于描述逻辑的概念检索模型,并对其核心的推理算法作了进一步扩展,给出了相应算法的数学定义及其知识库的逻辑描述,并据此采用Jena和Racer推理引擎实现了一个基于描述逻辑的汽车导购的概念检索系统,可向用户提供有关汽车的分类、性能、报价等信息.实验结果表明:基于描述逻辑的概念检索模型实现了有效的隐含语义的检索,并通过关联概念联想实现了良好的用户启发和信息导航.     

基于可信度方法的甲状腺疾病诊断模型

研究并设计了一个基于可信度方法的甲状腺专家系统不确定性推理模型,在该模型中对甲状腺知识的表示、推理控制策略的选择、不确定性算法的建立进行了具体详细的研究,使文中所研究的不确定推理方法得以实现.讨论了可信度模型,给出了不确定性推理网络的算法描述,并且将理论研究的结果运用于甲状腺专家系统模型框架的设计和实现,对不确定性推理的应用进行了有益的探讨.     

基于混合控制技术的煤炭装车过程分层控制

为实现煤炭装车过程快速定量装车基于混合控制技术,提出了定量粗装、衡量和精确添加的分层控制策略.上层监督系统采用知识驱动的规则推理技术给出底层基础控制系统的合理设定值,同时对绞车牵引速度进行协调.基础控制系统对监督系统给出的设定值进行定值跟踪.其中定容粗装过程采用了基于模型和常规PID控制相结合的混合串级控制,而定量添加过程采用了基于案例推理(CBR)和PID控制相结合的混合串级控制.实际工业应用效果表明所提控制方法是有效的.     

B方法在PVS中的应用

针对B方法和原型验证系统(PVS)的特点,提出了将B方法引入到PVS中,即将一个用B方法描述的系统转换为由PVS描述,以此来实现形式化的检验证明.B方法中的抽象机在PVS中转换为一个方法,而B方法中的不变量不变式要转换为PVS中的一个类型,由B方法描述的性质则转换为PVS中的推测、猜想,并借助于PVS自带的证明器有效地完成相应证明工作.最后,通过1个电梯控制系统来阐述上述转换方法.     

基于PVS的数据库安全策略形式化分析方法

基于安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级的重要性,提出了新的基于PVS的数据库安全策略模型分析方法,该方法结合了PVS函数式语言的特点,通过一系列算法和流程展示了模块化的系统状态、安全属性、操作规则的定义过程.借助PVS定理证明器对BeyonDB数据库管理系统进行安全性分析,结果表明,该方法不但能够提高形式化建模效率,而且可以有效地发现系统设计中存在的漏洞.     

基于主观Bayes方法的甲状腺专家系统模型

确定并实现了一个基于主观Bayes方法的甲状腺专家系统模型，讨论了主观Bayes方法的数学基础，给出了不确定性推理网络的算法描述，并且将理论研究的结果运用于甲状腺专家系统的设计和实现，举例说明了网络推理过程，不确定性推理的应用进行了有益的探讨。     

复杂机械产品设计知识推理方法及软件系统

复杂机械产品设计涉及的领域知识广泛,类型复杂．基于实例的推理方法是知识推理中的一种重要方法。特别适用于复杂机械产品的设计知识推理．本文采用基于实例的推理方法,设计了复杂机械产品设计知识推理流程．在此基础上,提出一个快速实例检索流程,并给出了快速实例推理相似度计算方法．根据上述理论和方法,开发实现了一个复杂机械产品设计知识推理系统．     

基于CBR推理的DFL-Agent商务谈判系统及其案例库设计方法

针对商务谈判信息具有的动态模糊性特点,将动态模糊逻辑技术应用到基于CBR推理的Agent商务谈判系统中,以实现动态模糊数的知识表示、处理和基于CBR推理的商务谈判过程。文中阐述了CBR推理过程、系统的模型结构、功能以及案例库的设计,给出了一种改进的相似度计算方法,最后提出了一种基于CBR推理的商务谈判中动态模糊问题的新方法。