一类模糊逻辑系统的收敛性研究

以在理论和实际中应用广泛的Mamdani纯模糊逻辑系统为研究对象，提出了模糊格距离和格收敛性的定义并研究了它们的性质．在特征合成算法的基础上，证明了该系统的格收敛性，提出了输入状态空间和输出状态空间的划分方法，给出了控制中心和半径．     

一类复杂控制系统分散自适应鲁棒控制器设计

基于模糊逻辑系统具有充分利用语言信息和逼近连续函数性质的思想,分析研究了一类非线性不确定复杂系统的自适应控制问题.利用系统的数学模型和模糊逻辑系统对不确定性的输出信息,设计出了复杂系统的分散自适应鲁棒控制器和模糊逻辑系统参数估计的自适应律,在较弱的假设条件下,证明了这种控制器使被控系统的状态及参数估计误差一致终极有界.仿真实例表明,所提出的方法是有效的.     

安全协议形式化分析方法综述之一:基于推理结构性方法

本文给出了基于推理结构性安全协议形式化分析方法的一个全面综述,分析了此类方法中的各种逻辑系统的优势与不足。     

一种改进的建立模糊逻辑系统的表格查询法

本文针对复杂工业对象智能控制系统中建立模糊逻辑系统的表格查询法进行改进，讨论了改进的表格查询法的计算过程，分析了仿真结果和提高模糊逻辑系统精度的方法。     

基于CAD技术的数字逻辑系统

数字逻辑系统的设计离不开计算机辅助设计CAD工具的帮助，尤其是VHDL硬件描述语言。该语言采用模块化的设计方法，自顶向下完成全部设计和综合过程，最终生成印刷电路板或专用集成电路，论述了高级语言VHDL的行为模块描述和结构模式描述，介绍了数字逻辑系统的设计方法和步骤，继而通过一个简单设计实例讨论了VHDL语言模块化的综合描述过程。     

单输出自适应模糊逻辑系统在传感器故障分类与诊断中的应用

本文提出了一种基于泛函构造思想及其辨识的故障分类诊断新方法。为了实现传感器故障分类,首先在系统各模型（包括故障与正常模型）与设定分类标志之间进行泛函构造,然后利用自适应模糊逻辑系统的辨识功能,对构造好的泛函进行辨识,最终利用单输出实现分类功能。仿真实验证实了本文方法的正确性和有效性,同时还表明该方法对噪声有很强的抑制能力。     

非线性离散时间系统的自适应模糊补偿控制

针对一类非线性离散时间系统,提出一种自适应模糊逻辑补偿控制方案.控制律由跟踪控制律和逼近误差补偿控制律两部分组成,利用模糊逻辑系统对系统参数扰动和外界干扰进行自适应补偿,由模糊滑模控制律实现对模糊逻辑系统逼近误差的进一步补偿.所设计的控制器可保证闭环系统一致最终有界.将该控制器用于月球探测车动态转向系统中,仿真结果表明了该方法的有效性.     

基于实体依赖关系的信任链模型与构建机制

信任链的建立和传递是构建可信计算环境的核心,然而,当前的信任链模型仅仅是针对具体的可信计算环境进行的形式化建模,其不具有一般意义,不能够为构建可信计算环境(特别是基于动态可信度量根(DRTM)的可信环境)提供理论方面的指导,也难以胜任评估现有的可信计算环境的重任.为了解决上述问题,进而构建一个具有一般意义的信任链模型.首先将信任链模型转换为数学模型,然后,在分析实体依赖关系和安全逻辑系统的基础上,采用了数学逻辑的证明方法证明了该信任链模型满足的性质.该模型不仅可以评估现有的可信计算平台(包括基于静态可信度量根(SRTM)的可信计算平台和DRTM的可信计算平台),还可以为进一步研究信任链构建和可信计算环境构建等提供理论上的参考.     

一种计算机化多值仪器的研究与设计

在仪器研究领域中很少见到有关多值仪器的研究。提出了一种计算机化多值仪器系统结构图，介绍了其双CPU系统的性能指标和硬件设计思想及软件实现方法。根据设计的多值仪器不仅能产生多值函数信号，还可以测试多值逻辑电路的逻辑电平，分析多值逻辑电路的逻辑功能。多值仪器主要用来测试多值逻辑系统和模糊逻辑系统的性能。     

一种模糊逻辑系统与线性系统理论结合的单级倒立摆控制方法

倒立摆系统以其自身的不稳定性为系统的平衡提出了难题，也成为控制领域中验证控制方法优劣的典型被控制对象。本文通过将线性系统理论与Takagi-Sugeno型模糊逻辑系统相结合，在Matlab下离线训练ANFIS系统对单级倒立摆进行控制。仿真结果表明小车、摆杆动态性能良好，方法可行。