基于信息粒化和语词计算的模糊控制器

提出了一种基于信息粒化和语词计算（IGCW）的模糊控制器的结构,此模糊控制器具有更强的信息处理和推理判断能力,更高速度地模拟了人类智能,对于具有不确定性的大复杂大系统的控制、决策,有着良好的应用前景。     

基于云理论的新的不确定性推理模型研究

深入分析了传统的基于云理论的不确定性推理模型,在模糊T S模型启发下,结合云理论的成功之处,提出了一种新的不确定性推理模型,该模型可以有效地解决传统的基于云理论的不确定性推理模型在客观地反映现实中的复杂系统方面存在局限性的问题,从而大大降低推理过程的计算量,提高运算速度。仿真结果表明:T S C Y模型的输出与人的主观感受相一致,是一种可行的、有效的推理。     

一种算子模糊逻辑系统

建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统,讨论了该逻辑系统逻辑性质．在算子模糊逻辑系统中,定义了λ-归结,证明了λ-归结的相容性以及基于λ-归结的归结推理的完备性,为基于逻辑的不确定性推理提供了新的思路与方法．     

一个基于模糊逻辑的不确定性推理模型

针对合取运算、析取运算和加权平均运算在求解人机智能化CAPP系统的实际问题时所存在的不足,提出了以权系数为基础的广义模糊逻辑概念.在此基础上,构建了基于模糊逻辑的不确定性推理模型.通过在该模型中引入一组新的函数(即组合函数、匹配函数、传递函数和选择函数),较好地解决了推理中不确定性的匹配与传播这一关键问题,并使用Visual Prolog 5.2智能语言实现了不确定性推理的过程,从而使CAPP系统中模糊工艺知识的获取、表达与应用得以基本实现.     

基于模糊专家系统的智能行车控制

模糊自适应控制利用不同特性参数下的控制规则进行推理控制，专家系统则利用经验及策略迅速校正控制器的输入，减小控制过程中的迟滞，达到平稳快速的调节。提出了一种模糊控制与专家控制相结合的比例控制器。该控制器能够实现精确的点到点运输负载，并且减小过程中的振荡。仿真结果表明，模糊专家控制器在行车控制中比串联反馈控制器各项控制性能好。     

专家能力的模糊神经网自组织控制器

为实现酒精发酵变温控制，提出一种新的，具有专家调整策略的神经网络自组织模糊控制器，用神经网络代替传统模糊控制器逻辑规则推理合成运算或查表，减少了工作量，采用一种对量化，比例因子进行专家调整的策略，使系统响应的上升时间减少，超调量降低，控制器的鲁棒性，稳定性均良好。     

某转子系统初始弯曲故障诊断的模糊专家系统

以模糊数学理论为基础,提出了一个用于某转子系统初始弯曲故障诊断的模糊专家系统。利用隶属度和模糊综合评判的概念和方法有效地处理了领域知识描述和诊断推理中的不确定性问题。指出了在模糊推理模型中,模糊诊断权矩阵是专家诊断知识和诊断经验的集中体现,并且给出了确定的初始权矩阵的方法。     

基于默认推理的加权模糊Petri网模型

在实际推理过程中，默认推理是一种重要的手段或方法．提出了一种基于默认推理的加权模糊Petri网模型．在现有的九元组模型基础上增加了变迁的输入库所最小权重的阈值函数C这一模型参数，此参数由专家根据变迁的不同实际意义来取值．分别对三种基本的模糊产生规则进行分析，讨论C的取值，并在此基础上给出了相应的默认推理算法．最后，通过实例说明此模型可以很好的用于默认推理，且推理算法简单、直观，更贴近现实推理并可以提高推理效率．     

基于CREAM和不确定推理的人因可靠性分析方法

提出了一种基于认知可靠性与失误分析方法（CREAM）和不确定性推理的适用于海洋工程的人因可靠性分析方法．首先根据海洋工程的作业环境特点,对共同绩效条件（CPC）进行了修正．之后为解决CREAM本身固有的不确定性,利用模糊数学原理实现CPC评价的模糊化,再基于CREAM的分析流程建立91叶斯网络,完成由CPC得到控制模式的推理过程,并证明贝叶斯网络的建模效率要高于模糊模型．由贝叶斯网络输出控制模式的隶属度,再通过去模糊化的方式计算得到人误概率．最后,针对某平台的实例分析结果证明该方法能够提高计算的精度．     

机器人系统的自适应模糊滑模控制算法仿真

针对具有参数不确定性的机器人动力学系统,根据滑模控制原理并利用模糊系统的逼近能力,提出了一种自适应模糊滑模控制方案．控制结构中采用模糊系统去自适应补偿过程的不确定性,利用Lyapunov定理证明了闭环模糊控制系统的稳定性和跟踪误差的收敛性．仿真结果表明了所提控制策略的有效性。     

地理专家系统的推理机设计

运用地理专家系统的推理机设计原理和方法,探讨了推理机的基本控制策略及其程序实现的算法,以及推理知识的搜索策略;讨论了地理专家系统中的不精确推理问题,分析了不精确推理的Ｂａｙｅｓ算法的基本思路及其推理规则的构造原理与方法．并以水土保持专家系统的推理机构造为例,论述了推理网络的组织原理和推理规则的设计方法及其推理算法．     

基于案例推理的知识库系统设计

基于案例推理技术是近年出现的具有一定的代表性的推理技术,利用这种技术进行知识库系统设计可简化问题,提高效率。从基于案例推理机制入手,阐述了基于案例推理知识库系统的工作过程和原理,提出了系统设计的方法。     

模糊控制中近似推理的插值模型

提出一种新的模糊控制近似推理模型——插值模型,即用多元插值方法来进行近似推理．在精确插值问题基础上提出模糊插值问题,并给出插值公式     

在NAT后的主机之间建立TCP连接的研究

随着防火墙及网络地址转换（NAT）设备的流行,这对P2P协议建立连接造成了极大的问题。当配置了NAT之后,它们限制了由外网发起到内网的建立连接请求。为解决此问题提出了在两台NAT之后的主机之间直接建立TCP连接的新机制,这种机制只需要来自第三方主机的简单帮助即可。通过这种机制,我们可以在传统NAT之后的两台主机间建立直接的TCP连接。一旦连接建立之后,应用程序就可以使用标准的TCP实现相互通讯了。     

法律推理研究述评

近年来,随着法学研究的转向,有关法学方法、法律方法的研究逐渐成为法学研究中的“显学”。而在法律方法研究中,法律推理越来越受到学者的关注。本文就我国学者对法律推理问题的研究进行评述,目的是清晰人们对法律推理的认识。     

面向对象技术在农作物区划专家系统的应用

把面向对象技术应用于专家系统知识库和推理机的建造,提出了一种基于规则推理网络模型优化搜索的设计思路,并讨论了系统的软件实现技术。推理模型由数据驱动,采用广度优先遍历模型推理网络,可降低授索次数。将其应用于吉林省农作物熟区动态区划专家系统的开发中,采用模块化设计,推理过程单独设计一个推理类,比传统的推理机节省了一半以上的搜索次数,取得了很好效果。在实例应用中采用定性与定量相结合的综合多级推理,该方法降低了问题求解的难度,更加贴近人类专家的思维过程。     

对附性法推理的新思考及重新定位

本文对具有权威性的金岳霖先生主编的《形式逻辑》和苏天辅先生主编的《形式逻辑》中关于附性法推理的定性提出了质疑,并在理论上进行了分析论证,在此基础上提出了新的看法,主张重新认识附性法推理的意义和作用。     

城市公共交通智能调度专家系统的研究

根据城市公共交通调度、专家系统知识及模糊控制理论建立了公交智能调度专家系统。该系统采用案例与规则两级推理机制,通过产生式规则实现对知识的表达,应用关系型数据库实现对知识的管理与操作。案例推理中设计了代码与属性两层匹配的推理策略,针对实际调度中的不精确判断,根据模糊控制与模糊推理的思想设计了模糊规则与模糊推理策略实现了基于规则的推理。该系统对实现公交系统智能化、提高公交调度的质量和效率具有重要的意义。     

移动机器人PID运动控制器参数的模糊自整定

通过对移动机器人运动学模型进行分析 ,以基于视觉的双轮机器人为实验平台 ,论证了参数模糊自整定的PID控制技术应用于移动机器人运动控制中的可行性 .该方案根据控制要求 ,运用模糊推理技术 ,模仿人工整定控制器参数时的思维方式 ,对控制器参数进行调整 .不仅保证了准确性 ,提高了快速性 ,还增强了自适应能力 .实验证明此方法对移动机器人的运动控制是有效的 .     

强模态归结

研究了命题模态逻辑Ｋ,Ｋ４,Ｄ,Ｄ４,Ｔ,Ｓ４的“”型模态逻辑结果的自动推理．提出了证明“”型模态逻辑结果的归结推理方法─—强模态归结．证明了强模态归结的可靠性与完备性．