故障拓展模型到概率检验模型的转换规则

以故障拓展模型和概率检验模型为基础,通过分析概率检验模型的语法语义、转移命令及逻辑关系,研究清晰、完整的转换规则,实现故障拓展模型向概率检验模型的转换。此外,研究模型的定量概率检验转换规则,构建逻辑验证表达。最后,对机载通信系统调谐控制功能展开基于概率检验的定量安全性评估。结果表明,通过将故障拓展模型转换为概率检验模型的转换规则,能够实现复杂系统定量安全性自动分析,从而有效支持航空器复杂系统安全性评估过程。     

退化系统状态维修决策与维修活动建模

研究退化系统的状态维修决策问题,考虑经济性、可用性后,给出两个通用维修决策优化模型,用gamma过程对系统退化进行建模,用监测数据估计退化模型参数。在退化过程基础上,基于历史维修信息和状态数据对决策模型中的变量进行确定;对维修活动中主要的影响--维修效果和维修时间进行分析,认为维修效果和维修时间是系统状态和维修次数的随机变量,分别给出了不考虑人为因素和考虑人为因素的维修效果几何分布模型,用插值方法建立维修时间分布函数。最后以某控制系统为例,对比理想状态和考虑维修效果与维修时间下的仿真结果,验证了模型的有效性和实用性。     

非线性系统执行器死区故障的鲁棒自适应控制

针对一类具有不对称执行器死区故障的不确定非线性系统,基于反推滑模控制原理提出了一种神经网络鲁棒自适应控制方案。通过简化死区故障模型,取消了模型倾斜度相等和边界对称条件,结合动态面控制避免了传统反推设计方法存在的计算复杂性问题。所提控制方案取消了控制方向已知的条件,消除了执行器死区故障的影响,使得系统输出趋于给定参考轨迹的一个小领域。仿真结果验证了该方法的有效性。     

一类非线性系统的新型增益调度变结构跟踪控制

针对一类参数不确定非线性系统的增益调度变结构跟踪控制,以切换函数作为调度变量,同时考虑系统稳态误差的指标要求,对滑动平面系数、边界层厚度以及控制器系数进行调度,得到了一种新型的增益调度变结构控制策略。不仅消除了系统颤振,减少了系统能耗,提高了系统的控制性能,使得系统能够快速进入并获取稳定的滑动模态,而且使跟踪系统能够满足稳态误差指标的要求。仿真算例验证了所提控制策略的有效性。     

基于NDO的飞行模拟转台伺服系统跟踪控制

针对飞行模拟转台伺服系统跟踪控制问题,提出了一种基于非线性干扰观测器(nonlinear disturbance observer, NDO)的反推全局滑模控制方案。该方案利用NDO观测系统的参数不确定性及非线性摩擦干扰,通过选择适当的设计参数使观测误差指数收敛,进而对引入NDO的系统采用反推全局滑模设计控制器,控制律的设计保证了闭环系统的稳定性。仿真结果表明,所提控制方案能够有效克服参数不确定性及非线性摩擦干扰的影响,实现了转角位置的精确跟踪,并且有效去除了控制抖振。     

一种连续可导的滑模变结构近似算法及其仿真研究

针对一般滑模变结构控制算法的不连续和不可导,用一种连续且可导的控制算法来近似,并分析了整个控制系统的鲁棒性。用数字方法讨论了这一近似算法的有效性和近似算法参数选择问题,得到了有益的结果。     

一类非线性系统的模糊自适应反推滑模控制

针对一类具有非匹配不确定非线性系统,提出一种模糊自适应反推滑模变结构控制方法。首先利用模糊逻辑系统有效逼近系统的未知非线性,然后针对反推方法中需要对虚拟控制反复求导而存在的"微分爆炸"现象引入低阶滤波器,同时抑制非匹配不确定性的影响;最后设计一种积分终端滑模控制,解决了控制过程中的奇异问题,加快了远离平衡位置的系统状态收敛速度,保证了系统的收敛精度,同时削弱了传统滑模控制中存在的抖振现象。Lyapunov稳定性分析证明了所设计的控制器能够保证闭环系统的有限时间收敛。对比仿真结果显示系统状态跟踪效果较好,控制输入抖振现象削弱明显。     

试析破产犯罪之罪过形式

破产犯罪在我国属新兴形态犯罪,有关刑事立法极不完善。因此,颇有从立法论的角度予以探讨的必要。就罪过形式来讲,各国(地区)为增强破产犯罪构成要件的堵截功能,或采用过错推定或降低证明标准,或采用设立过失犯方法。而于我国,则宜采用后一种方法。这不仅仅是满足实践操作的需要,也是破产过失行为该当刑罚性的体现。     

STPA在进近着陆飞行安全分析中的研究及应用

基于系统理论,把飞机进近着陆阶段不安全事件发生当作系统的涌现特性,将其安全问题当作控制问题,本文采用系统理论过程分析(system theoretic process analysis, STPA)方法进行进近着陆阶段的安全性分析,明确了这一阶段的不安全控制行为,剖析了产生不安全控制行为的主动控制致因因素和反馈致因因素.以飞行员提供不正确的进近着陆高度,速度,下滑角的不安全控制行为(UCA1)为例,剖析其具体的致因因素;最后,在构建飞机进近着陆过程简化的运动学计算框架基础上,对进近着陆过程进行运动学计算分析.对不安全控制行为1 (UCA1)作具体解算和分析,开展了基于STPA的定量安全性分析,表明STPA方法在进近着陆阶段安全性分析是有效的.     

不确定系统反推滑模变结构理论及其应用

反推滑模变结构控制是当前不确定非线性系统鲁棒控制理论和应用的前沿课题之一,在提高、改善控制系统过渡过程品质和鲁棒性等方面表现出较大潜力,尤其在航空航天等高技术领域有着广阔的应用前景。首先,从不同设计方案角度详细综述了反推滑模变结构控制的理论研究现状。其次,介绍了该方法在航空航天、机器人、电机和电液伺服系统等控制领域的工程应用现状。最后,讨论了反推滑模变结构控制目前存在的问题及其可能的解决途径。