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

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

模块化核动力航天器设计及其关键技术

为提高核动力航天器关键技术的可继承性与可扩展性,缩短核动力航天器研发周期,降低研发成本,本文通过总结国外核动力航天器发展现状,梳理核动力航天器研制特点,结合模块化航天器概念及设计原则,首次提出模块化核动力航天器概念。将核动力航天器分为核电源模块、平台中心模块、载荷模块3大独立模块,并针对体系架构设计提出3层建设方案,针对模块化核动力航天器梳理关键技术难点,为后续项目研究提供应用参考。     

基于DMA的USB设备驱动及其动态链接库开发

用D river Stud io开发工具进行USB设备的驱动程序开发,并在VC6.0环境下编写USB设备的动态链接库,从而实现DMA传输。介绍W indows2000下的WDM驱动程序的体系结构,着重介绍基于DMA传输的USB设备驱动程序及其动态链接库的开发。     

航天ATS快速测试体系结构研究

快速发射是未来空间信息作战和导弹武器发展面临的新课题,快速测试是快速发射的重要环节。航天ATS快速测试需要遵循一定的体系结构而发展。以国际通用测试系统体系结构为背景,结合我国航天测试的需求,提出了航天ATS快速测试体系结构,分析了航天ATS快速测试的测试流程并行化、关键参数连续监测化和测试数据处理快速化等目标,以及所涉及到的图形化程序开发、仪器可互换等关键技术。结论有利于促进航天ATS快速测试技术的进步,并为其发展提供参考。     

模块化开放式航空电子系统架构标准研究

国外对开放式系统架构（OSA）概念的探索至今已有40多年。美国国防部模块化开放式系统方法（MOSA）正是建立在OSA概念之上,综合了采办和工程方法,来实现低成本、优化和快速能力升级的武器系统灵活开发。本文将集中讨论MOSA构建方法及其开放式架构的最佳实践,包括开放式任务系统、未来机载能力环境和传感器开放式系统架构。最后,本文讨论了MOSA在开放式架构上开展的工作及其挑战,以期对我国在航空电子OSA标准研究和实践上有所裨益。     

基于构架和构件复用的飞机自动钻铆开放式数控系统

针对当前轻型自动装配系统数控系统开发过程中周期长、稳定性差的问题,提出一种基于构架和构件复用的开放式数控系统,可实现软件复用,降低开发成本和周期.结合EtherCAT工业以太网和Ethemet技术进行了钻铆系统的集成,并在单机器人自动钻铆系统和双机器人自动钻铆系统上进行了验证,验证系统可行.     

IETM制作平台设计与应用

提出了一种用于大型装备的交互式电子技术手册(IETM)制作平台模型。介绍了平台的物理架构、功能架构和信息交换流程,给出了半结构化数据编辑、三维仿真和图形化故障隔离等关键技术。应用结果表明:基于新模型的IETM制作平台能快速实现电子手册制作,且展示效果和交互能力较强。     

基于CompactPCI总线的红外目标跟踪系统

红外目标跟踪方法的理论研究较多,而通用的实时跟踪系统较少。给出了具有CompactPCI总线、并行分布式结构的系统方案,核心是基于标准总线的实时系统,上位机实现卡尔曼预测,DSP并行完成频域转换与相关,CPLD实现总线接口控制。所实现的系统具有运算能力强、通信带宽大、可扩展性和通用性强的特点,实用表明了它的可行性。     

余度飞行控制计算机的组成架构分析

从余度技术的概念与设计思想入手,介绍了二余度与三余度的飞控计算机组成架构。设计了三余度飞控计算机的硬件体系,并对其组成部分如CPU的选型、总线的确定进行了论述。余度飞控计算机具有很强的容错能力,使得在飞机发生故障时,余度飞控计算机能够快速准确地检测并隔离故障,采取重构策略,确保飞机能够继续执行任务或安全返航。     

面向任务的空间信息网络体系结构可重组设计

针对空间信息网络体系结构设计和其使命任务的多重性、多维性的问题,提出了一种体系结构可重组设计方法。首先,介绍了空间信息网络及其体系结构的国内外发展现状,分析了研究空间信息网络体系结构可重组设计的需求。其次,结合空间信息网络的概念、结构和特征,建立了松耦合、兼容性、隔离性和可解构的可重组设计原则。同时,定义了管理中心（RMC）和资源中心（RRC）的内涵,分析了RMC和RRC的运行机制,从目标、拓扑、实体、数据、方案5个维度出发提出了一种形式化的可重组网络体系结构模型,并给出了可重组网络体系结构的实现算法流程。最后,以某反导作战活动为例进行了体系结构可组构设计的案例分析,基于STK平台进行可重组网络的仿真演示,着重展示和验证了可重组设计思想在实践中的具体应用,达到了预期目的。