基于混响室的电磁环境及自然环境综合试验箱设计和仿真技术

本文提出一种基于混响室平台将电磁环境和自然环境结合的综合试验箱集成技术，该试验箱集成了环境试验条件和电磁辐射敏感度试验条件，可以在高低温、湿热、温度循环、温度冲击等多种环境条件下同时对电子设备施加电磁辐射干扰，考核电子设备在同施加环境应力和电磁应力的复杂条件下的适应性。经过设计、建造和测试，该集成技术满足各项预期指标并容易进行推广，可进一步降低设备试验成本。     

基于HLA的协同仿真运行管理集成环境

基于HLA的协同仿真运行管理集成环境主要解决复杂分布仿真系统设计中的仿真问题.通过定义支持仿真运行管理环境的开放接口,使所有符合仿真运行管理环境规范的仿真工具和仿真应用都可以在仿真运行管理环境的支持下,集成起来.协同仿真运行管理集成环境支持不同类型仿真应用子系统的互操作,支持仿真工具的集成,具有仿真运行管理、仿真时间管理、仿真数据管理等功能.协同仿真运行管理集成环境的应用领域十分广泛,具有很大的实用价值.      

无缆飞行器的电能和信息一体化无线传输技术研究

针对航天飞行器电气设备间连接电缆网复杂沉重的问题，提出了一种面向无缆飞行器的电能和信息一体化无线传输技术方案，该方案能够实现飞行器舱内仪器设备间无线互联和器地间的无线互联；分析了其在飞行器型号工程应用所面临的关键技术，并阐述了其应用前景，为未来航天飞行器电气系统的快速集成设计提供了新的思路和解决途径。     

组合Web Service支撑系统的研究与实现

为实现Internet环境下企业间的业务过程集成,分析、研究了业务过程集成的基本功能需求及Internet环境下业务过程集成的新需求,讨论了组合Web Service支撑系统的原理及其体系结构.该系统为组合Web Service提供了定义、部署、运行及监控管理等较完善的功能支持,并利用服务的动态组合机制解决了Internet环境下跨企业业务过程集成动态性要求高的问题.      

微型航天器的公用平台和关键技术

未来的微型航天器将采用微型公用平台——集成公用模块。文内阐述了集成公用模块的概念和应用,分别介绍了航天器实现微型化所需的关键技术——无电缆连接、多功能结构、先进的轻型材料、自主热管理的微热控系统、高密度电子线路封装和连接、集成设计环境,最后提出以集成公用模块为基础的微型航天器的设计和研制程序     

基于Eclipse的航天嵌入式软件集成 开发环境设计与实现

针对当前航天器软件研制过程中需要使用多种开发工具的问题,设计实现了集工程管理、代码编辑、语法检查、编译链接和调试测试于一体的航天嵌入式软件集成开发环境.研究成果已应用于航天器嵌入式软件的研发,缩短了软件研发周期并提高了软件质量,同时也为软件集成开发环境的研发提供借鉴.     

俄罗斯“集成空间系统”导弹预警卫星系统发展初探

正俄罗斯于2017年5月25日使用联盟-2.1b火箭成功发射第二颗"集成空间系统"(EKS)系列导弹预警卫星,也称为"冻土"(Tundra)卫星。集成空间系统-2卫星与2015年底发射的集成空间系统-1卫星均部署在大椭圆轨道,增强了俄罗斯的弹道导弹预警能力。目前,俄罗斯官方没有公布"冻土"导弹预警卫星的性能指标,本文根据俄罗斯航天网等媒体的报道,初步梳理俄罗斯新一代导弹预警卫星的发展情况和性能。     

基于Web的分布式服务对象的集成与构造方法

Web环境下实现分布式服务对象共享具有重要意义.CORBA(Common Object Request Broker Architecture)与Java是实现这一目标的支撑技术.在CORBA,Java,Web集成思想上,首先提出并论述了基于CORBA与Java的分布式对象的集成框架,并进一步阐述了集成在该框架之上的多种分布式服务对象的构造方法.上述方法在基于Internet/Intranet的集成产品数据管理信息系统中,得到了实现与验证.     

基于合同网的对地观测资源动态协同规划方法

卫星、无人机等对地观测资源已经成为执行灾害救援、灾损评估等多样化监测任务的主要观测手段，而大规模任务的随机调整和动态执行环境是快速制定对地观测方案的核心难点。针对此问题，提出一种面向不确定环境的对地观测资源动态协同规划方法，以动态高效地制定异构观测资源的协同观测方案。首先，结合合同网协议提出一种自下而上的分布式动态协同框架，以整合空天地异构观测资源构建分布式、动态、松耦合的协同观测网络。然后，根据该协同框架提出多轮组合分配方法及优化算法以快速动态地分配大规模监测任务。最后，通过仿真实验证明，在任务持续并发的动态不确定环境中，基于合同网的动态协同规划方法在提升了约25%任务完成率的同时，降低了约20%的运行时间，实现了任务完成率与方法运行时间的平衡。      

一种基于面向对象Petri网的并发程序建模方法

介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.     

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.     

Ada层次化并发软件模型的研究

基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.     

基于Petri网的UML状态迁移策略

分析了统一建模语言(UML,Unified Modeling Language)状态图相关语义,阐述了Petri网基本特征和它所具有的建模事件并发、同步、冲突能力.为得到UML状态图无二义性的、可执行的和可验证的模型,在着色Petri网和层次化Petri网研究成果基础上,研究提出层次着色Petri网(HCPN,Hierarchical Colored Petri Net).HCPN中不同层的着色网CPN通过库所子网或变迁子网相关联.通过实例说明如何借助这些关联从HCPN中的CPN合并得到标注Petri网.标注Petri网可用于指导基于事件驱动的仿真过程,而标注Petri网转换得到的基本Petri网可用来进行特性分析,从而对所描述的UML状态图模型给出合理的评价,有利于建模系统的改进.      

Petri网在维修工作分析中的应用研究

分析了当前维修工作分析方法中存在的问题,在论述了Petri网技术优点的基础上,提出采用层次化的时间-着色Petri网技术来建立维修工作描述模型.探讨了Petri网描述逻辑条件与时序关系的方法,并给出了维修工作建模的程序.通过一个实例研究说明了Petri网技术在确定保障资源工作中的应用.      

混合Petri网及其可达性分析

混合系统是由相互作用的离散事件动态系统和连续变量动态系统构成的复杂系统。文中建立的混合Ｐｅｔｒｉ网能够描述、分析生离散事件,以及离散事件或连续演变的并发问题,该网可以覆盖离散Ｐｅｔｒｉ网和赋时Ｐｅｔｒｉ网,从而使离散事件系统、实时离散事件和混合系统理论研究统一到同一理论框架中,此外还给出计算混合系统可达状态集的算法。     

基于OOPN的实时软件开发方法与环境的研究

实时系统的与时间相关性以及与其环境的交互特点造成实时软件的开发十分困难,那么多处理机实时软件的开发就更加困难.为了简化多处理机环境下的并发程序设计、减少程序设计错误和提高编程效率,介绍一种用于多处理机系统的程序设计方法以及在此方法支持下的软件开发与运作环境.该方法以一种直观的图形方式(面向对象Petri网)辅助多处理机系统软件开发,在此环境下可完成高效的软件开发和获取安全可靠的软件结构.      

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

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

虚拟维修仿真建模与控制实现

现有的建模技术在描述维修过程及其相关信息资源等方面存在很大不足,同时缺乏将抽象的维修任务描述与底层维修活动仿真相结合的研究,针对此问题提出并建立了维修任务仿真管理模型 MTN(Maintenance Task Net).构建MTN模型框架并建立基本功能模块,同时阐述了MTN建模的3个要素:状态、活动和条件.基于状态描述各种维修资源,基于活动定义维修动作行为,基于条件建立资源与活动间约束关系.进一步阐述MTN驱动虚拟场景进行维修仿真,同时控制管理整个维修仿真过程.最后给出了应用实例,该模型对实际工程中维修工作分析评价的开展具有一定的实用价值.      

部分可观Petri网故障的量子贝叶斯诊断

针对故障本身构建量子贝叶斯Petri网模型算法，并利用该子网模型进行Petri网系统故障分析。对于部分可观Petri网模型中的不可观故障，根据可达标识图分析变迁点火路径不能判断系统状态，建立量子贝叶斯子网模型，通过不确定路径引起的量子干涉重新标定变迁的条件概率表得到量子概率振幅表。根据故障变迁的前置集合并结合量子贝叶斯推理计算变迁触发的先验概率，由后置集合中的可观变迁修正后验概率，由最大后验概率估计系统所处状态，当故障变迁不唯一时，选取最大概率的故障作为故障源。以实际故障系统建立部分可观Petri网模型，结合可观标签概率序列信息和量子贝叶斯概率估计，对系统不可观部分进行故障诊断验证算法的有效性。