以空军F-161引进模拟器系统

埃尔比特系统公司将为“色列空军的F-161机组人员飞行和系统训练器提供航空电子模拟系统。系统包括显示和瞄准头盔（DASH）、任务计算机系统，平显系统、显示处理器和数字地图以及存储管理系统。埃尔比特在训练器开发项目中的份额油1000万美元，公司所开发的航空电子系统将模拟真实的F-16航空电子系统，埃尔比特公司子公司BVR系统公司将提供视频显示器和座舱模拟器。     

未来战争的天网——美军空中电子战能力研究

伊拉克战争中举足轻重 空中电子战在伊拉克战场上的崭露头角，奠定了其在未来局部战争中贯彻始终的不可替代角色。在伊拉克战争中，第53电子战大队起到了至关重要的作用。美国空军第53电子战大队隶属干第53空军连队，下辖第16、36、68电子战中队和第53计算机系统中队t驻埃格林空军基地。     

单粒子事件动态监测仪总体设计

本文探索卫星总体设计的一种新思想,提出建立星上计算机与地面后援设备(包括人)的联合计算机系统。从整体上确保星上计算机可靠性和提高其智能水平。提出抗辐射防护对策的另一途径,建立抗辐射加固系统。实践四号在这方面的一些尝试证明,如果器件加固和系统加固同时实施,可以提高星上计算机的可靠性。     

技术创新推动民航事业发展—民航收入管理计算机系统设计方案及关键技术

收入结算工作是航空运输业经营管 理的核心环节和实现效益的重要手段。作为中国民航三大计算机系统之一的中国民航收入管理计算机系统，已成功地被中国民航近３０家航空公司所使用，彻底改变了中国民航收入管理的落后局面，提高了管理水平，并为经营决策提供重要依据。该系统还为新加坡航空公司以及澳门航空公司提供综合系统服务，这标志着中国民航收入管理水平跨入了世界先进行列，同时也带来了巨大的经济效益和社会效益。 一、总体设计方案 １．硬件及软件环境 后台采用ＩＢＭ大型机一ＥＳ／９０００，操作系统为ＯＳ／３９０，数据库管理…     

动态航空数据系统

本文提出了一个动态数据系统，该系统集成了影响飞行的多类信息源，它作为一个操作工具提供给飞行员，以应付飞行中的各种突发事件。本系统主要由三部分组成：飞行员档案磁盘；一个能够读取飞行计划，并根据地理信息系统，天气，飞机遍及北美的飞行事例数据库信息，对飞行提出相应建议的系统；一个可与飞行器仪表相连的小型便携式计算机，它可被带入驾驶舱。     

一种基于Markov模型的星载计算机系统可靠性评测的新方式

可靠性在星载计算机系统中具有非常重要的作用。现以Markov链为基础,提出了一种新的估计星载计算机系统可靠性的统计使用检测方法。首先通过对故障的传播进行分析,对检测过程中Markov链上由故障产生的状态转移描述方法进行了改进,将“故障不一定产生失效”的现象用Markov链描述出来。其次,提出了程序执行路径的概率计算方法,并且用该方法对星载计算机可靠性进行了估计。最后通过仿真实验表明了该计算方法的有效性。通过对故障状态转移的分析和路径概率计算方法的提出,使星载计算机系统可靠性评测更能反映实际情况。     

航空公司收益管理的理论与应用

AnAnalysisoftheTheoryandApplicationoftheAirlinesRevenueManagement航空公司收益管理的概念早在五六十年代就已经有人提出来了,但是直至70年代末,伴随着美国航空业放松管制化（deregulation）政策的推行,航空市场的竞争日益激烈,收益管理作为一种管理手段才在实际中真正得到运用。概括起来说,航空公司收益管理就是将机票差异价格管理与航班座位盘存管理相结合,旨在短期内将航空公司的总收益最大化,从而达到提高航空公司利润的最终目的。收益管理在西方的航空公司经营中已经取得了巨大的成功,各航空公司每年因此可以增加2％－6…     

联邦学习安全与隐私保护综述

联邦学习是一种新型的分布式学习框架,它允许在多个参与者之间共享训练数据而不会泄露其数据隐私。但是这种新颖的学习机制仍然可能受到来自各种攻击者的前所未有的安全和隐私威胁。本文主要探讨联邦学习在安全和隐私方面面临的挑战。首先,本文介绍了联邦学习的基本概念和威胁模型,有助于理解其面临的攻击。其次,本文总结了由内部恶意实体发起的3种攻击类型,同时分析了联邦学习体系结构的安全漏洞和隐私漏洞。然后从差分隐私、同态密码系统和安全多方聚合等方面研究了目前最先进的防御方案。最后通过对这些解决方案的总结和比较,进一步讨论了该领域未来的发展方向。     

仿生硬件及其进展

文章详细介绍了仿生硬件的概念、主要特征及用途 ,阐述了仿生硬件的进化原理及实现思想 ,重点分析了仿生硬件的关键技术———可进化硬件电路、硬件进化方法 ,并总结了研究状况与最新进展 ,讨论了需要解决的核心难点问题及其解决思路 ,最后指出了仿生硬件的研究方向及发展前景。     

动态故障树分析方法在软、硬件容错计算机系统中的应用

结合几个动态逻辑门及其向Markov状态转移链的转化,介绍了一种新的动态故障树建模分析方法,用来解决不可修系统中对动态时序特性的建模困难问题。并给出了一个具体的例子,应用这种方法对其进行分析。分析结果表明,软、硬件容错技术在计算机系统中的应用,可以显著提高系统的可靠性。