AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

铁姆肯公司在成都建立新厂

4月18日,铁姆肯公司航空及精密产品中心在成都高新技术产业开发区开业。借此机会,本刊记者就铁姆肯公司在华业务和对华合作等问题专访了铁姆肯公司高级管理层。     

国内金融租赁公司航空租赁业务概览

近几年,国内金融业普遍开发航空金融租赁业务,各租赁公司资产规模迅速增长,而其进一步的发展需要有内外部条件的支持。展望未来,更专业化、国际化、多样化将是租赁公司及其产品的发展趋势。     

基于GE矩阵的陕西航空产业集群子产业评价与选择研究

子产业的评价与选择是航空产业集群发展中的一个重要问题。本文从航空产业集群产业链角度,针对陕西省航空产业集群发展的特点,对其现有子产业运用GE矩阵,从行业吸引力和行业竞争力两个方面进行综合评价,并根据评价结果,针对不同类型子产业,从科研创新、企业文化、企业协作、中介服务等方面提出子产业发展支撑策略。     

IP over CCSDS协议适配的高速并行实现技术

天地一体化组网应用须在空间网和地面网之间部署IP over CCSDS(基于CCSDS空间链路承载IP业务)协议适配网关,以实现在高速CCSDS(空间数据系统咨询委员会)空间链路之上传输IP(互联网协议)数据包。针对此需求,提出一种IP over CCSDS协议适配的高速并行实现方法,并在Linux内核中采用多线程技术实现IP over CCSDS协议适配过程,通过实验进行测试与验证。测试表明,在处理器多核数目的范围内,协议适配处理性能随线程并发数目的增加而增加;当线程数目超过处理器核数时,受限于处理器核数和线程调度开销的影响,协议适配的性能并不能随着线程数目的增多而线性增加。后续,可利用FPGA(现场可编程门阵列)硬件逻辑电路的并行能力在硬件上实现协议适配的高速并行处理,并设计更高速率的同步接口,以从硬件上实现几千兆比特甚至几十千兆比特的高速IP over CCSDS协议适配。     

新一代机载悬挂物管理系统需求分析

针对当前悬挂物管理系统的局限性,结合国外先进战机悬挂物管理系统功能,对我国下一代机载悬挂物管理系统需求进行分析,从FC总线技术、开放式系统架构、多挂点混挂技术、悬挂发射装置控制技术、武器数据链技术5个方面进行了具体的描述,为悬挂物管理系统设计指明了方向.     

本体理论及其在军事领域业务建模中的应用研究

在研究本体理论的基础上,结合IDEF5方法提出了军事业务领域本体构建方法,给出了基于本体的军事业务概念模型描述框架。本体模型与业务模型相结合为有效获取军事领域的业务知识奠定了坚实的基础。     

努力成为国际维修服务供应商——访STARCO徐春增副总经理

定位明确 在成立之初,上海科技宇航有限公司(STARCO)就定位为东航的机体维修基地.据STARCO副总经理徐春增介绍,尽管东航在此前已经拥有了丰富的空客飞机机体大修经验,但是,按照原有的运营模式和业务发展,很难快速拓展第三方市场.为了进一步提升飞机机体大修能力,谋求第三方维修市场份额,创造新的业务和经济增长点,东航和新加坡科技宇航公司按照51%和49%的股份比例,合资成立了上海科技宇航有限公司.这样,STARCO不但拥有了拓展市场的业务能力基础,也引进了新科宇航的管理模式,并可以成为新科宇航全球维修网络的一员,坐拥东航技术设备、业务需求和新科宇航国际声誉,将有助于STARCO开拓国内和国际的第三方维修市场.     

基于松耦合架构的航空制造企业集成物流信息链

航空制造企业的生产过程复杂,物料供应管理极为困难.文章以物料管理到"件"为首要目标,结合国内航空制造企业数字化管理程度较低的现状,充分利用企业现有的信息资源;采用面向服务架构实现企业物流相关信息系统松耦合集成,提出搭建企业物流数据集中平台;实现航空制造企业物流链的精确管理.     

新型机载计算机电源架构的研究

分析了传统的集中式电源架构(CPA)存在的问题,根据新型机载计算机的特点,提出了一种两级电源转换架构.通过研究分布式电源架构(DPA)和中间总线架构(IBA),解决了原有的CPA存在线压降大、分布参数对快速动态负载响应的影响等问题,不仅实现了大功率电源系统高效率转换、低压大电流负载点转换,进而提高了计算机系统的性能和可靠性.最后,建立了实验模型并给出了实验结果.