规则推理与实例推理在模具加工刀具智能化选择中的应用

规则推理（RBR）和实例推理（CBR）是使用已有经验来解决问题的两种不同的方法,结合这两种技术并将其用于刀具选择,有利于模具加工的智能化发展．首先,根据刀具选择任务的特点,采用“分而治之”的原则,把刀具选择划分为刀具类型及材料选择和刀具几何参数确定两个子任务,并对两个子任务分别采用RBR和CBR两种不同的推理方法．同时对实例的框架表示、基于模糊贴近度的实例相似性度量以及实例特征的权重计算等关键技术进行了研究,并给出了相应的实例．     

时态关系的向量表示及其推理

作为推理的基础,时间的表示方法是一个基本的要素。文中为Allen的区间代数理论中区间的关系表达提出了向量表示法,称之为关系向量。其后,给出了定义在关系向量上的几种运算,并将其运用于时态推理中。这种方法把原先的矩阵表示法降为向量表示,从而较好地减少了时态推理计算量,并易于计算机实现。     

基于知识的火箭安全控制智能决策系统

随着科学技术的不断进步,航天事业得到了蓬勃发展,火箭发射成为各个航天国家共同研究的课题。其中安全控制是火箭发射中的首要问题,也是各个航天国家关注的焦点．论述了火箭安全控制的重要性,分析了原有火箭安全控制系统的特点,针对存在的不足,采用人工智能领域的智能决策技术和推理技术,融合安全控制知识,提出了基于知识的火箭安全控制智能决策系统的设计思想、结构体系及实现方法,提高了火箭安全决策的可信度和真实性．     

证据推理与检索数据网络安全获取

利用动态数学模型,首先给出了内-数据、外-数据与内-外数据概念,然后给出了证据推理与检索数据智能获取定理和网络数据空间与数据-证据关系定理,进而给出了检索数据的网络安全获取算法,最后给出了这些概念、理论结果的应用。     

强非线性高阶微分方程计算机符号分析法研究

依据等效小参量法的原理,使用Matlab语言编程,用符号迭代法求解出几种典型强非线性高阶系统方程的近似解,并用数值分析验证其结果的可靠性和逼近实际系统的准确程度．所采用的分析方法和所得结果对高阶非线性系统方程近似解析法的推广应用具有重要意义．     

基于知识的心电图自动诊断系统的设计

介绍了基于知识的心电图自动诊断系统的系统构成及设计过程中采用的关键技术.模拟了现实世界心电专家根据心电图进行诊断的思维方式,揉进了可能性理论和模糊理论的概念,同时又避免了复杂的推理过程.其心电图病理数据库由知识库和规则库两部分组成,采用数据库形式存储.推理诊断系统采用数据驱动的正向推理结合基于CF模型的不精确推理.推理诊断系统与知识库和规则库的实际存储内容没有必然联系,所以适用于诊断型的专家系统.     

四次平面多项式系统的Lyapunov量复算法

本文研究了一类缺二次项的四次平面多项式复系统的Lyapunov量的复算法和Maple符号计算程序.给出Maple计算软件计算Lyapunov量的流程图,运用Maple程序计算出该四次复系统的前九个Lyapunov量,本文结果可用于判定系统在原点的极限环个数,对平面多项式系统的多极限环分岔的研究具有重要理论指导意义.     

复杂跨组织协同中基于深度信任推理的服务组合

以云计算环境下跨组织协同中服务提供者(SP)与服务消费者(SC)的深度信任推理及演化过程为研究对象,通过构建服务直接交互信任关系为主、公共信誉反馈为辅的QoS评价及修正方法,建立支持复杂跨组织协同的基于深度信任推理的服务组合策略。该策略在前期研究基础上,利用概率密度函数来表征服务实体间的信任度,通过研究基于概率密度函数的服务间接信任关系的计算、传递及合并方法,最后设计了基于深度信任推理的服务组合算法。仿真实验表明:该方法能有效评价服务参与者的信任度,提高复杂跨组织协同环境中服务组合的质量。     

模糊命题逻辑L*中公式的条件随机真度

在赋值格为[0,1]的模糊逻辑系统L*中,基于条件概率的思想和赋值集的随机化方法提出了公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论。     

Research on knowledge-based design of complex mechanical product

提出基于知识的复杂机械产品智能设计方法,采用产品族实例树实现了复杂机械产品的知识建模,利用实例推理的方法实现了以往成功设计实例的知识重用.运用数据库技术和ActiveX技术,建立机械产品智能设计系统的体系结构,并采用Visual Basic.NET作为开发工具,实现起重机智能设计平台软件的开发.应用实例表明所述方法是合理的和有效的.