参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

基于云-神经网络的液体火箭发动机故障检测方法

根据故障检测原理,研究和实现了基于云-神经网络的液体火箭发动机故障检测方法。根据训练结果、测试结果和故障检测结果可以看出,云-神经网络用于液体火箭发动机的故障检测是可行的,经过历次试车数据验证,该方法没有误报警和漏报警。     

一种基于最大选择的Switching-CFAR检测器

针对传统CFAR(Constant False Alarm Rate)检测器不能同时适应于均匀和非均匀杂波背景的问题,提出了一种改进的CFAR检测器,即IEGOS(Iterative Excision Greatest of Switching)-CFAR检测器。在迭代删除的基础上,采用Switching方法,利用检测单元幅度自适应选择参考单元,得到前后滑窗的局部杂波功率估计,然后取二者中的最大值作为总的杂波功率估计,实现恒虚警检测。在SwerlingⅡ型目标和瑞利包络杂波分布的假设下,推导证明了IEGOS的恒虚警性,与CA、GO、SO、OS和EXS算法的对比分析表明IEGOS在均匀杂波、多目标干扰和杂波边缘中均拥有较好的性能,且该算法无需排序,便于工程实现。     

F-35源代码暗藏杀机

当美国盟友的飞行员们驾驶着花费巨资买来的F-35闪电Ⅱ战斗机驰骋天空的时候,他却不能确定到底是谁在控制这架飞机。这听起来是不是有点像科幻电影?但这却完全可能发生在不久的将来。美国国防部官员近日宣称,美国将保留F-35战斗机机载软件源代码这一核心技术,不会向合     

“奥巴马版”对台军售武器及生产商

1．UH-60M“黑鹰”直升机,共60架,总额约31亿美元。 生产商：西科斯基飞机公司 2．“爱国者-3”型导弹,共114枚,及3套雷达系统、相关设备与服务,总额约28．1亿美元。     

上海飞机制造有限公司召开第一届材料供应商大会

2009年11月12日,上海飞机制造有限公司第一届材料供应商大会在上海锦荣国际大酒店召开。会议由上海飞机制造有限公司供应商管理部部长宋启明主持。会议介绍了上海飞机制造有限公司发展战略、ARJ21飞机和C919飞机项目,     

给空中客车穿上国产跑鞋——航天四院研制飞机刹车盘侧记

2009年2月25日,特区珠海,四院研制生产的A320飞机碳刹车盘一举通过了功能性着陆、地面滑行刹车、中止起飞刹车等七个科目的飞行考核,首飞成功。"四院超码一小步,中国民航一大步",国家民用航空局     

ARJ21-700飞机国产高锁螺栓／螺母标准件装机配套协调会在遵义召开

2010年8月30日在贵州省遵义市召开了ARJ21-700飞机国产高锁螺栓／螺母标准件装机配套协调会。     

贵州航天精工公司高锁螺栓／螺母标准件产品通过ARJ21-700飞机适航随机审查

2010年8月20日,中国民用航空局适航审定司、中航商用飞机有限公司、上海飞机设计研究院、上海飞机制造有限公司、中航第一飞机设计研究院、     

毫米波主被动阵列探测技术

针对单通道探测的不足,提出了毫米波主被动阵列探测技术,为导引头提供更加真实详细的目标信息。主被动复合探测体制可以结合雷达和辐射计的优点,远程时使用主动探测,可以增加探测距离,近程时使用被动探测,可以避免角闪烁。当弹丸以一定转速垂直下落时,毫米波波束和弹轴成特定角度对地面作螺旋圆锥扫描,当波束扫描过目标时,探测器阵列输出与目标相对应的信号,通过对各个通道信号作相关处理判断即可确定目标的精确方位,此时输出修正或起爆信号。试验表明该技术能够精确探测目标中心。