由ω_1ω诱导的几个逻辑系统

给出了由无限长逻辑诱导的一些子系统,讨论了一些重要的模型论性质,然后对它们的强弱作了系统的比较。     

锁斗系统故障处理

本文阐述了水煤浆气化系统中锁斗的工作过程及安全逻辑系统,锁斗堵渣及锁斗阀门常见问题的判断,并结合实际工作经验,提出了相应的解决方案。     

PSO type-reduction method for geometric interval type-2 fuzzy logic systems

In a special case of type-2 fuzzy logic systems （FLS）, i.e. geometric inteIval type-2 fuzzy logic systems （GIT-2FLS）, the crisp output is obtained by computing the geometric center of footprint of uncertainly （FOU） without type-reduction, but the defuzzifying method acts against the corner concepts of type-2 fuzzy sets in some cases. In this paper, a PSO type-reduction method for GIT-2FLS based on the particle swarm optimization （PSO） algorithm is presented. With the PSO type-reduction, the inference principle of geometric interval FLS operating on the continuous domain is consistent with that of traditional interval type-2 FLS operating on the discrete domain. With comparative experiments, it is proved that the PSO type-reduction exhibits good performance, and is a satisfactory complement for the theory of GIT-2FLS.     

一种基于矩阵的有限状态机静态分析方法（英文）

在有限状态机研究领域,传统矩阵法首先构造状态转移矩阵,然后利用状态转移矩阵的幂来表示系统动态转移过程。这一过程是有限状态机系统分析的基石。本文提出一种基于矩阵的静态方法。该方法从拓扑结构的视角审视有限状态机,而非传统动态转移过程的视角,因此能够避免现有方法中存在的“维度爆炸”问题。基于这种静态方法,本文重新分析确定有限状态机的闭环检测与可控性问题。此外,我们提出可控等价型与最小可控等价型概念,并给出相关算法。     

一类基于模糊逻辑系统的非线性系统自适应跟踪控制

利用非线性不确定系统的动态数学模型和模糊逻辑系统，对不确定性的输出信息，设计出被控系统的自适应鲁棒跟踪控制器和模糊逻辑系统参数估计的自适应律．在较弱的假设条件下，证明了这种控制器能使被控系统的状态及参数估计误差一致终极有界．仿真实例表明，所提出的方法是有效的．     

连续搅拌反应釜的固定时间命令滤波跟踪控制

针对一类连续搅拌反应釜系统的跟踪控制问题,提出一种基于反步法和模糊逻辑系统的自适应固定时间命令滤波控制方法.利用命令滤波器引入误差补偿机制消除滤波误差的影响,并解决反步法虚拟控制信号重复求导的问题;采用模糊逻辑系统对系统中存在的非线性部分进行逼近;利用固定时间控制方法使系统跟踪误差更迅速收敛至较小邻域内,且收敛时间不依赖系统初始状态;通过Lyapunov定理证明连续搅拌反应釜系统的闭环稳定性;利用Matlab/Simulink仿真实验验证所提出控制方法的有效性.与现有控制方法相比,该控制方法具有控制器结构简单、收敛速度快、控制精度高、无超调等优点.     

数字式液压流量阀在工程机械中的应用

介绍数字式流量阀在液压逻辑系统中的作用，以装载机为例，介绍其在工程机械液压系统中的应用。     

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

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

基于Lyapunov函数的直流调速系统模糊逻辑控制设计

针对直流调速控制系统中采用变结构滑模控制方法存在的缺陷进行分析,提出了基于经典Lyapunov函数合成法的模糊输出跟踪控制器设计方法.使用这种方法,不需要建立系统的精确数学模型和精确测量系统的全部参数,只需根据少量系统的定性分析信息,总结出系统控制的规则库,进而建立推理机,构造出系统的控制器,完成对系统的有效控制.最后的仿真结果说明了本文所采用方法的有效性.     

3G认证与密钥分发协议逻辑化分析

逻辑化方法是当前分析密码协议安全性的重要方法。文章通过运用一种新的认证逻辑系统，分析3G认证与密钥分发协议的安全性，并针对协议的安全漏洞，提出了改进的认证与密钥分发协议方案，解决用户的身份泄露和MS对VLR的认证问题，增强了网络安全性。最后，对改进的协议安全性进行了分析。