混合系统的形式化验证

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

基于LMI的混合系统的稳定性和鲁棒镇定研究

混合系统的稳定性分析,乃至镇定方法是混合系统研究的重要内容。线性多模态切换系统是一类重要的混合系统。针对线性多模态系统提出了一种基于线性矩阵不等式技术进行稳定性分析和鲁棒镇定的方法,通过求解一组线性不等式得出稳定性的判定条件,设计出的一组状态反馈控制律对系统的模态切换乃至有界模型不确定有鲁棒性。推导了控制律设计所对应的线性矩阵不等式组,并证明了其中的一致性关系,探讨了求解方法,应用实施也显示出该方     

应用遗传算法的气动优化设计

首先对简单遗传算法进行改进,并对改进前、后算法的计算效率进行了比较;然后以跨音速翼型为例,应用改进的遗传算法进行气动优化设计。经过优化的翼型气动特性垢改善,表明了遗传算法在优化设计中的有效性。在优化设计的过程中,翼型用解析函数的线性叠加表示,目标函数和个体和适应值由欧方程的流场解来提供。     

基于随机网络编码的无线报文重传最优策略

网络编码技术为无线报文重传问题研究提供了新思路.分析并证明了完全无线报文重传问题最优策略所需重传报文数量等于节点请求报文数量的最大值;基于随机网络编码技术提出了最优重传策略RNCOPT(Random Network Coding based OPTimal Scheme),其编码系数从某选定有限域中随机选取(0除外);利用网络编码矩阵重新生成机制以保证100%解码成功率;描述了RNCOPT组合报文结构及发送节点操作过程.仿真表明:当接收节点数量为30而报文总数为30时,RNCOPT相对于传统非网络编码方案节省重传报文数量可达32%,而此时现有某典型策略CliqueNC却无明显效果.     

磁暴对海南地区电离层扩展F的影响

利用2002年2月至2007年12月海南地区DPS-4测高仪观测数据, 用统计分析方法研究了磁暴对电离层扩展F的影响. 结果认为磁暴从整体上抑制了扩展F现象的发生. 但若把扩展F分为不同类型, 则结果却有所不同. 对于频率型(FSF), 在2002年和2003年磁暴对其有促发作用, 在2004---2007年有抑制作用; 对于区域型(RSF), 在2002---2005年磁暴对其有抑制作用, 在2006年和2007年, 对其有弱促发作用; 对于混合型(MSF), 在2002年磁暴对其有抑制作用, 在2003年和2004年有促发作用, 从2005年开始, 磁暴对其有抑制作用; 对于强区域型 (SSF), 在2002---2004年磁暴对其有抑制作用, 在2005年和2006年有促发作用, 2007年有弱抑制作用.      

控制力矩陀螺框架控制方法及框架转速测量方法

控制力矩陀螺是一种具有力矩放大特性的惯性执行机构,通常应用于大型航天器姿态控制。近年来,随着相关技术的发展,对基于控制力矩陀螺的中小卫星快速机动平台的需求日益迫切,这不仅需要控制力矩陀螺能够输出大力矩,而且要具有较高的力矩输出精度。本文结合工程实践,提出一种框架转速精度测量方法,以及一种采用正弦永磁同步电机,基于转子磁场定向的矢量控制方案。该框架控制方案中引入摩擦力矩观测器及其补偿算法,在控制回路中通过对摩擦力矩的补偿,可有效提高框架驱动控制系统的稳定性和动态性能。     

世界第三代战机彩绘(6) 伊朗空军F-14A“雄猫”战斗机 1988年伊朗哈塔米空军基地涂装

伊朗伊斯兰共和国空军是目前唯一的 F-14雄猫战斗机用户。早在巴列维王朝时代,伊朗向美国订购了80架 F-14A雄猫战斗机。1976年1月第一架 F-14A 交付伊朗,图中的 F-14A 则是交付伊朗的第20架,属第81战术战斗机中队。该中队是伊朗第一支 F-14A 部队,最初装备有20架 F-14A,其中16架为现役状态,4架为备用状态。其驻地哈塔米空军基地是专门为 F-14A 修建的,位于伊斯法罕附近的沙漠中。两伊战争爆发后,伊朗空军的 F-14A全面参战,并取得了辉煌的战果。据最新资料表明,伊朗的 F-14A 至少击落了159架伊拉克飞机,型号涵盖了米格-21、米格-23、米格-25、苏-22、幻影 F1在内的几乎所有伊拉克空军主战飞机。而图中的3-6020号机由多个机组驾驶,击落了至少10架伊拉克飞机,是战绩最辉煌的 F-14A 单机之一。尤其是在1981年5月15日,该机首次使用不死鸟导弹击伤了一架时速达2800千米的米格-25,开创了拦截米格-25的战例。目前该机仍在伊朗空军服役。     

运载火箭三冗余飞行控制软件的数字仿真设计

提出了一种采用三冗余技术保证运载火箭飞行控制软件可靠性的设计方案,选择合适的冗余模式建立了三余度飞控软件的数字仿真平台,并给出了实现余度策略、同步算法等关键技术工程的软件流程。测试结果表明,该方案设计合理,不仅较好地完成了飞控计算机的余度管理任务,而且有效地保证了系统的可靠性与容错能力。