中介时序逻辑系统MTL的模型性性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统，它具有较强的表达能力，近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充，建立了一种中介时序逻辑系统ＭＴＬ。讨论了它的形式系统和语义解释，但未论及其完备性。本文对ＭＴＬ系统作进一步的讨论。在一可传结构下，讨论了它的可传、连通和过滤等模型论性质，为进一步讨论ＭＴＬ系统的完备性作了理论上的准备。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

基于快速终端滑模的模糊逼近系统及其应用

为改善模糊系统逼近的收敛速率,提出了一种基于快速终端滑模的反向传播(BP)学习算法。将快速终端滑模引入模糊逻系统的学习算法,综合终端吸引子有限时间收敛和线性系统指数收敛的性质,提高了对非线性连续函数的逼近能力。仿真结果表明:该算法能以较快速率逼近未知函数,且逼近过程稳定,较普通学习算法更为精确和有效。     

一个一阶逻辑公理系统独立性的证明

独立性是公理系统的重要性质之一。给出了一个一阶逻辑的公理系统，采用语义解释和公式变换的方法，证明了它的独立性。     

关于模糊逻辑系统及其建模函数的数学描述

模糊逻辑系统按真值化处理与推量规则导出最优系统数学表达式。在线性定常状态下,分别建立起连续与间断系统的数学模型,归纳出模糊控制的等效解法。并应用模糊数学算法,对一非线性实例绘制出双模控制框图。     

电力机车PMSM自适应模糊滑模控制

为研究牵引工况下电力机车永磁同步电机(PMSM)的转速控制精度,考虑轮轨接触不平顺及车体静载荷在轮对径向产生的未知时变负载转矩,建立了机车PMSM在dq坐标系下的数学模型。针对该耦合非线性系统中存在的负载转矩,设计非线性转矩观测器对其实际值进行估计,对观测误差采用自适应模糊逻辑系统进行逼近;为考察d轴电压过零跳变对转速控制及转矩观测性能的影响,在d轴电压控制器设计中引入Nussbaum函数,并依据Lyapunov稳定性理论,构造了基于转矩观测器的自适应模糊滑模控制器。理论分析及仿真结果表明,当转矩时变或d轴电压过零时,机车PMSM闭环转速控制系统跟踪误差一致有界,转矩观测误差收敛于0。     

模糊逻辑系统建模函数的数学描述

基于所建立的模糊规则定义式,由一组“如果一则”规则构造出模糊逻辑系统,按真值化处理与推理规则推导出最优系统数学表达式,在线性定常状态下,分别建立起连续与间断时间系统的数学模型,归纳出模糊控制的等效解法。最后,对一非线性实例绘制出双模控制框图,应用了模糊数学算法。     

一个－阶逻辑公理系统独立性的证明

独立性是公理系统的重要性质之一．给出了一个－阶逻辑的公理系统，采用语义解释和公式变换的方法，证明了它的独立性．     

空间飞行器大角度机动控制律设计

研究了空间飞行器大角度机动控制问题。为避免欧拉角描述姿态运动存在奇异性的问题，由姿态四元数建立姿态运动方程。针对飞行器姿态运动模型的非线性和不确定性，利用模糊逻辑系统对不确定性函数进行逼近，将获得的模糊函数作为系统不确定性界函数。对模糊逼近所带来的误差以及外部干扰项，采用变结构补偿控制方法，并在线自适应调整参数。理论分析和仿真研究表明此方法具有姿态控制精度高，实时计算量小，便于工程实现等优点。     

一种基于模糊机理模型的混事建模方法

本文提出了一种基于模糊机理模型的混合建模方法。采用模糊逻辑系统建立机理模型，RBF神经网络建立系统的补偿模型。这种方法具有建模精度高、物理意义明确以及适应范围大的特点。仿真结果进一步证实了这种方法的有效性。