逻辑无环流系统中逻辑控制器的设计

本文在给出逻辑无环流系统基础上，主要介绍关于DLC设计的有关问题。逻辑控制器DLC是系统的关键部件，必须保证可靠工作。通过实际验收，说明了设计的有效性。     

直接力/气动力拦截弹复合逻辑与复合控制系统设计

以大气层内拦截弹直接侧向力和气动力的复合控制系统为研究对象,首先设计了轨控复合控制逻辑,然后建立了复合控制模型,并将复合系统分解为直接侧向力子系统和气动力子系统,用经典控制理论设计了气动力子系统,用模糊控制理论设计了直接力子系统。仿真结果表明:所设计的复合控制逻辑合理;基于模糊逻辑的直接力子系统可有效避免点燃发动机数量过多而需要反向点火情况的发生;与气动力系统相比,复合控制系统性能有较大提高。     

随机逻辑度量空间中命题稠密性与逻辑算子连续性

在赋值域为W—[0,1]的Lukasiewicz命题逻辑系统Luk中展开研究,对在命题逻辑系统Luk中李修清等得到的随机逻辑度量空间进行进一步研究。证明了随机逻辑度量空间中没有孤立点,即命题逻辑系统Luk中的命题公式在该空间中是稠密的;研究了逻辑运算子在随机逻辑度量空间中的连续性,证明了在李修清等给出的随机逻辑度量空间中,命题算子关于运算→、V与→是连续的。     

基于时序逻辑的复杂环境下无人机运动规划算法

本文主要考虑基于时序逻辑的无人机运动规划问题。一般地，解决该问题的算法包括两个阶段:上层综合阶段生成一条可行的离散规划;低级综合阶段结合离散任务规划设计无人机的控制输入。但是当第一阶段失败时，即线性时序逻辑(LTL)任务在当前环境中无法实现时，我们希望系统能够进行一定的调整。本文提出了一种任务重规划算法，在深入理解模型检查原理的基础上，利用初始任务自动机生成一个松弛乘积自动机，进而获取有效的离散任务规划;同时设计一个自动机的权重函数，确保该规划在最小程度上违背初始任务所提出的约束。本文提出的重规划算法解决了时序逻辑在复杂环境中无法实现的难题，扩大了时序逻辑在无人机运动规划中的应用范围，同时增加了系统的鲁棒性。     

与-或/异或型逻辑函数的化简

本文提出求找逻辑函数系中独立函数的新方法,揭示了它的实质;同时利用“异或”的特殊性质,提出了“与-或/异或”型逻辑函数的化简方法。为数字系统中该类型逻辑函数的化简提供了理论依据及完整方法,同时也为模块的逻辑设计提供新的途径。     

模糊逻辑方法在具有不确定性时滞系统控制中的应用（英文）

时滞是典型的非线性环节,通常存在于流体动力学中例如航空飞行器控制。一个新型的改进史密斯预估器的控制方案被提出,可以解决扰动影响下的积分时滞系统控制中出现的稳态误差问题。首先积分时滞过程被预测为一阶时滞模型。通过使用劳思赫尔维斯稳定判据设计的PID控制策略可以实现系统稳定。该设计方法可以成功消除扰动的影响。但是在跟踪控制的瞬态响应中会产生较大的超调量。因此模糊逻辑方法被用于调节设计的PID控制器,以降低超调量。最终研究设计的控制方法具有很好的鲁棒性同时在应对系统不确定性时表现了很好的控制性能。     

多层模糊逻辑控制器的设计

本文提出一种适合于多输入多输出(MIMO)系统的多层模糊逻辑控制器(MLFLC),该控制器由若干个多输入单输出(MISO)模糊控制器构成,每个MISO模糊控制器由许多单输入单输出(SISO)模糊控制器组成.该控制器采用互补型隶属函数,具有一组零控制面,只要使量化因子满足一定的条件,控制系统就是渐近稳定的.最后将上述控制器用于二节机械手中进行仿真试验,验证了上述算法的可行性和有效性.     

基于流体逻辑理论的某活塞泵逻辑特性分析

针对某活塞泵研制过程中出现的自锁故障模式,应用流体逻辑理论建立活塞泵气动控制回路工作时间表和工作状态卡诺图,通过逻辑推演分析了活塞泵控制回路的逻辑特性。分析结果表明,双滑阀控制方式中出现两个滑阀位置状态相同时即会导致自锁故障。从理论上明确了该双滑阀控制方式出现自锁故障的原因,并据此提出了单滑阀控制方式,可有效避免逻辑冒险问题。     

逻辑函数中独立函数的研究

本文利用完整的逻辑代数的基本运算规则,找出了n变量可能组合的逻辑函数的总数目;同时还发现在n变量的逻辑函数系中存在着一组“独立函数”,并研究了独立函数的性质,提出了求找独立函数的方法;此外本文还讨论了独立函数与其该逻辑函数之间的关系及逻辑函数本身的特点。在研究中发现独立函数与该逻辑函数系之间的关系类似于Rademacher函数与Walsh函数之间的关系。本文的结论将使人们对逻辑函数的认识更加深入、全面和完整,同时也为Walsh函数在数字电路综合中的应用的“标准化”找到了理论依据。     

ξ-逻辑度量空间中理论的开放度

在n值R0型命题逻辑系统的ξ-逻辑度量空间中,提出理论的ξ-开放度概念,研究理论的开放度与随机概率分布序列取值的关系,证明了理论的开放度依赖于随机概率分布序列的不同分布。