修正的Kleene系统中的Σ-(α-重言式)理论

证明了关于全体赋值而言 ,修正的Kleene系统中只有 3种α 重言式 .在赋值域为有限集的情形证明了当α过半时α 重言式的类类互异定理 .最后 ,在有限值系统中证明了广义重言式的重言式表示定理 .     

命题演算系统L*与谓词演算系统K*中统一的近似推理理论

引入了度量R₀-代数和R₀型Hilbert方体的概念. 从语义和语构两个方面建立了同时适用于命题逻辑系统L^*与一阶逻辑系统K^*的近似推理理论,并得到了统一的完备性定理.     

第四类广义自缩序列的伪随机性

讨论一类周期序列的伪随机性, 称其为第四类广义自缩序列. 得到了如下结果: (1) 此类序列的最小周期总是达到最大(即2^n−1). (2) 此类序列在一个符号替换之下最小周期和线性复杂度是稳定的. (3) 此类序列具有良好的低阶自相关性. (4) 此类序列具有良好的短游程分布.     

广义Hamilton系统的观测器及基于观测器的H∞控制设计

研究广义Hamilton系统的观测器设计和应用问题. 首先, 根据广义Hamilton系统的结构特性, 提出一种新的观测器设计方法: 扩张+反馈法. 基于该方法, 文中设计了两种观测器, 一种是针对系统结构中不含参数摄动的情况而设计的; 另一种是自适应观测器, 则是针对系统结构中含参数摄动的情况而提出的. 然后, 运用所得到的观测器研究广义Hamilton系统的基于观测器的H∞控制设计问题, 给出一种新的设计方法. 最后, 把得到的结果应用于电力系统, 给出单机无穷大系统的状态观测器和基于观测器的H∞控制方案. 仿真结果表明, 所提出的方法是非常有效的.     

适用于多种蕴涵算子的赋值空间上的测度与积分理论

对多种蕴涵算子导出的赋值空间进行统一处理,引入公用的Lebesgue测度,证明了相对于若干常见蕴涵算子而言,全体逻辑公式都是可测函数.建立了t(α重言式)理论,提出了一般的语义MP规则和一般的语义HS规则. 基于积分理论引入了逻辑公式的真度概念,提出了积分MP规则和积分HS规则.最后,通过通用逻辑度量空间概念在全体公式集上引入了伪距离,为近似推理提供了一种可能的框架.