基于3SF技术嵌入式软件可靠性定性仿真分析

针对嵌入式系统软件可靠性设计中存在的失效问题,从可靠性的概念和特点入手,将“3F”技术—故障模式影响及危害性分析FMECA,故障树分析FTA和故障报告、分析与纠正措施系统FRACAS引入到软件可靠性定性分析中,称之为“3SF”技术。深入研究了3SF技术在软件可靠性定性分析中的应用,给出软件FMECA和FTA分析实例,并对将两者与软件FRACAS的结合作了研究。     

非线性系统控制器综合的一种新方法(英文)

基于正切线性化控制技术和状态依赖Riccati微分方程方法,提出了一种新的非线性控制器综合策略.受正切线性化控制的启发,首先,将一类非线性系统的非线性反馈镇定问题转化为状态依赖线性时变系统的反馈镇定器设计问题.然后,给出了求解导出线性时变系统反馈镇定器设计问题的一种基于状态依赖Riccati微分方程方法.为实现该控制器的求解,仅需实时求解给定正定初始条件下的状态依赖Riccati微分方程.此外,本文所得到的解析结果还能保证非线性闭环反馈系统的指数渐近稳定性.最后,用一个数值算例验证了本文给出方法的有效性.     

基于SDRE的变体飞行器LPV稳定控制

针对变体飞行器飞行过程中存在的外部扰动和参数不确定性问题，提出一种基于状态相关黎卡提方程(state-dependent Riccati equation, SDRE)的线性变参数(linear parameter varying, LPV)稳定飞行控制方法。首先，基于变体飞行器的气动参数模型和纵向非线性动力学模型，综合考虑外部扰动、系统参数误差以及变形产生的附加干扰，并通过雅克比线性化方法，得到LPV系统模型。其次，针对考虑复合干扰的LPV模型，设计基于SDRE的控制律，并利用θ-D方法进行求解。最后，利用蒙特卡罗方法仿真验证了所提方法能够有效抑制复合干扰，实现飞行器的稳定飞行控制，具有较强的鲁棒性能和抗干扰能力。     

基于定性推理的开关∕继电器电路故障诊断

为实现开关/继电器电路的故障诊断,考虑将人工智能中的定性推理技术应用于电路故障分析。通过建立简单直观的权值电阻网络形式的电路定性模型,并研究了相关的算法进行静态、动态的定性仿真,再根据仿真结果判断系统是否发生故障,并利用元器件的状态信息通过推理方式实现故障定位。最后以某大型测试设备紧急断电电路为例进行了分析,结果证明了所述方法的可行性、有效性。     

基于定性推理的开关/继电器电路故障诊断

为实现开关/继电器电路的故障诊断,考虑将人工智能中的定性推理技术应用于电路故障分析.通过建立简单直观的权值电阻网络形式的电路定性模型,并研究了相关的算法进行静态、动态的定性仿真,再根据仿真结果判断系统是否发生故障,并利用元器件的状态信息通过推理方式实现故障定位.最后以某大型测试设备紧急断电电路为例进行了分析,结果证明了所述方法的可行性、有效性.     

半定量仿真综述

半定量仿真可以充分利用定性、定量信息预测仿真对象的状态行为。半定量仿真方法主要包括:Q2、Q3、自解释仿真、模糊定性仿真、数字区间仿真以及几种半定量仿真算法的改进。近年来,半定量仿真已经成功应用于故障诊断、教育系统、经济领域、系统辨识以及工业领域等。文中指出了各种算法的优缺点,并提出了半定量仿真的发展方向。