混合系统的形式化验证

结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.      

液体火箭发动机系统设计仿真与优化

建立了某液体火箭发动机系统设计的仿真模型与相应的多目标优化模型,编制了系统仿真程序,并在iSIGHT的软件平台上针对不同的优化目标对发动机的设计参数进行优化.采用了组合优化策略,结合多岛遗传算法和序列二次规划算法分别进行全局寻优和局部寻优,求得全局最优点.建立了单燃气发生器循环系统的质量模型,在优化过程中考虑了发动机主要部件结构质量对系统性能的影响。以燃烧室压强、混合比和喷管出口反压为设计变量,优化目标包括发动机比冲、有效载荷、结构质量、密度比冲、关机时飞行速度、推进剂综合密度.并根据结果分析了燃烧室压强和混合比对发动机性能的影响.     

设计敏度在气动弹性遗传优化中的应用

利用遗传算法和遗传/敏度混合优化算法对某复合材料机翼进行气动弹性优化设计研究,并提出在使用这两种算法时根据设计敏度信息计算设计变量的重要性指标、从而确定主要和次要设计变量、进而调整设计变量变化域的方法,以提高算法的寻优效率.研究表明:设计变量变化域的定义直接影响遗传算法和遗传/敏度混合优化算法的寻优效率,特别是单独使用遗传算法时影响程度更大;定义时应该在确保设计空间包含足够的优秀可行解的前提下,尽可能地缩减搜索空间.所提出的基于设计敏度调整设计变量变化域的方法在实际应用中能取得较好的效果:该方法既能明显提高遗传算法和遗传/敏度混合优化算法的搜索效率,又能显著增强两种算法辨识可行域的能力.      

双谐振器敏感结构谐振式传感器

提出一种采用双谐振器敏感结构的谐振式传感器,传感器的敏感元件包括两个结构参数一致的谐振器,传感器的闭环控制系统由两个幅度控制器和一个反相器组成.分析了这样两个谐振器串联的频率特性,指出在谐振器固有频率点上,两个谐振器串联的相移是180°.给出了双谐振器敏感结构谐振式传感器闭环系统的实现方法,同时分析了当两个谐振器的结构参数不一致时,两个谐振器串联的频率特性.分析结果表明,两个结构参数相差不大的谐振器串联仍然可以构成自激闭环.双谐振器敏感结构谐振式传感器的闭环控制系统中去掉了移相环节,避免了由移相环节产生的相位漂移所引入的测量误差,并有效地提高了传感器的Q值.      

高精度光纤陀螺高带宽信号检测方案

研究兼顾静态性能和力学环境适应性的信号检测方案是高精度光纤陀螺实用化的迫切要求.分析了高精度光纤陀螺全数字闭环信号检测过程,推导了系统的闭环传递函数.一般的基频调制使检测系统的采样周期长、带宽低,反馈不能很好地补偿因力学环境产生的高频噪声信号,会破坏系统闭环,产生较大的动态误差.设计了三倍频调制/解调数字闭环信号检测方案,使采样周期是基频调制方案的1/3,有效提高了系统带宽.两种方案的力学环境实验和静态实验结果对比说明,三倍频方案明显提高了高精度光纤陀螺的力学环境适应性,同时静态性能不受影响,能够满足实际应用的要求.      

一致性检验方法在导弹多惯组测量中的应用

传感器测量的准确与可靠是减小融合系统不确定性的前提,通过对多传感器一致性的检验,可以确定多传感器之间的测量误差,判断检测系统可靠性的程度。提出了应用概率距离测量对多传感器信息进行一致性检验的方法,并将此方法引入到基于多惯性测量组合的总线式导弹制导控制系统中。实例证明,该方法对于确保和提高测量导弹飞行信息的精度具有良好的效果。     

间隙非线性气动弹性颤振控制

研究了亚音速不可压来流中二元机翼气动弹性颤振主动控制问题.采用Theodorsen准定常气动力建立俯仰方向含有间隙非线性的气动弹性动态方程,然后基于状态依赖Riccati方程推导了非线性颤振控制律.假设只有俯仰角位移和控制面偏转位移可以直接测量,状态空间中的其它变量通过所设计的状态观测器进行了估计.仿真结果显示,观测器可以快速准确地对非直接测量变量进行估计,系统状态变量与控制变量都能够迅速地收敛于零点,表明所设计的控制律可以有效地实现对间隙非线性二元机翼颤振的抑制.      

任意寿命分布的多部件系统备件配置优化算法

针对部件服从任意寿命分布的多部件系统,提出了基于蒙特卡罗仿真-边际效益分析的备件配置优化算法,采用蒙特卡罗仿真方法计算备件供应效能值,在此基础上引入边际效益分析法确定备件的优化配置.算例中以供应延误时间为供应效能目标值,以费用为约束条件,得到了由若干指数寿命件、正态寿命件和威布尔寿命件组成的多部件系统的备件优化配置清单,并对算法进行了比较验证,结果表明该算法对于解决复杂系统的备件优化配置问题具有良好的适用性.      

一种复杂系统风险概率评估方法

对有限样本条件下的复杂系统风险发生概率评估问题,提出了小样本评估小概率事件的建模方法,通过非线性函数逼近累积概率与临界参数极值之间的映射关系.建立了风险概率评估数学模型,通过非线性回归方法得到了风险概率评估基本模型.对原始数据在评估模型中产生的误差作为目标函数,建立概率评估优化模型.并采用改进遗传算法对分布参数进行优化计算.以飞行安全为例,实现了有限样本情况下的飞行风险概率的计算,并通过最优逼近函数提高了计算精度.      

自动测试系统集中互连信号优化设计

基于对自动测试系统被测设备的信号种类及数量的分析,构建了被测对象测试信号数学模型,分析了不同测试模式下的测试资源需求情况,并从提高测试系统性价比这一基本原则出发,提出了自动测试系统硬件平台测试资源优化配置的理论计算方法,对自动测试系统的工程设计具有指导意义。