基于区间二型模糊逻辑系统的非线性大系统模糊自适应输出反馈分散控制

针对一类状态不可测的非线性大系统,首先设计一种误差观测器,然后设计一种自适应输出反馈模糊控制器。在设计中,应用二型模糊逻辑系统逼近系统中的未知函数,结合模糊自适应和非线性分散控制设计理论,给出了一种新的二型模糊自适应分散控制方法,基于李亚普诺夫函数方法证明了整个闭环系统的稳定性,而且取得很好的控制跟踪性能。仿真实例进一步验证了所提方法的有效性。     

Radl 形式规格说明相对正确性研究

在形式规格说明的获取任务中,一个重要问题是验证获取得到的形式规格说明的正确性.即给定一个问题需求P,往往可以获取多种不同形式的规格说明,如何验证这些不同形式的规格说明均正确?问题需求的非(半)形式化与形式规格说明的形式化两者之间差异的本性,使得该问题成为软件需求工程中一个具有挑战性的问题.提出一种基于形式化推导的方法来验证同一问题不同形式规格说明的相对正确性,通过证明不同形式规格说明与问题需求某个最为直截明了的形式规格说明Si等价来实现,而Si使用PAR方法和PAR平台转换为可执行程序,通过测试已经得到确认.为了支持该方法,进一步提出了扩展的逻辑系统和辅助证明算法.使用Radl语言作为形式规格说明语言,通过排序搜索、组合优化领域的两个典型实例对该方法进行了详细的阐述.实际使用效果表明,该方法不仅能够有效地验证Radl形式规格说明的正确性,还具备良好的可扩充性.该方法在规格说明的正确性验证、算法优化、程序等价性证明等研究领域具有潜在的理论意义与应用价值.     

RG-代数的子代数与广义重言式理论

对Godel逻辑系统中的广义重言式理论进行推广,讨论了R_G-代数的各类无限子代数上的广义重言式,证明了在子R_G-代数中,Godel逻辑系统中存在着可数多个不同的广义重言式。     

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

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

船舶航向非线性离散系统自适应模糊最优控制

针对船舶航向非线性离散时间系统,本文提出一种基于模糊逻辑系统的自适应最优航向控制算法。本文优化控制算法采用actor-critic结构,模糊逻辑评价系统和模糊逻辑执行系统分别用于构建最优评价信号和最优控制信号。模糊权值采用梯度下降法进行更新学习,并以大连海事大学"育龙"轮为例进行仿真研究。基于前向差分Lyapunov方法证明了闭环系统半全局一致最终有界,保证系统跟踪误差收敛到以零为中心的邻域内。仿真结果进一步验证了本文算法的有效性和合理性。     

水煤煤浆加压气化安全逻辑系统完善及煤

叙述了德士古技术安全逻辑系统在鲁南化肥厂完善及开发的必要性和实用性，为德士古技术在我国的推广及国产化改进的煤化工的发展提供了宝贵经验，对已经投产或即将投产的煤气化工厂具有借鉴意义。     

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

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

锁斗系统故障处理

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

手把手教你学CPLD／FPGA设计（七）

Verilog HDL硬件描述语言 Verilog HDL是一种用于数字系统设计的硬件描述语言,它可用来进行各种级别的逻辑设计,以及数字逻辑系统的仿真验证、时序分析和逻辑综合。Verilog HDL是目前应用最广泛的一种硬件描述语言。     

基于输出反馈的不确定非线性系统模糊鲁棒H∞控制

本文针对一类不确定非线性系统,研究了基于输出反馈的模糊鲁棒H∞控制问题。根据模糊T-S模型表征不确定非线性系统,基于状态观测器设计模糊控制器。由线性矩阵不等式和自适应律给出了模糊控制器存在的充分性条件。基于Lyapunov稳定性理论,提出的模糊控制方案在所有闭环信号最终一致有界意义下实现了期望的H∞性能。仿真结果表明了该方案的可行性。本文所提出的模糊跟踪控制器松弛了保守性,避免了匹配条件和上界。与已有的工作相比,本文约简了线性矩阵不等式的维数。