基于工厂机制的Air-SeaSim CGF模型系统

针对仿真模型可重用性不足的问题,以海空对抗战术仿真为背景,设计了一种基于工厂机制的Air-SeaSim CGF(Computer Generated Forces)仿真模型开发系统.遵循"自底向上"的开发原则,构造了由模型层、对象层、服务层和应用层构成的Air-SeaSim CGF模型系统软件体系结构.基于工厂机制的实体模型设计,对CGF实体进行适当的分解,抽象出满足仿真需求的模型,以组件形式表示,通过定义组件接口实现实体模型的快速组装及其功能的扩展.系统应用效果表明,通过工厂机制开发技术设计的Air-SeaSim CGF实体模型,集成了不同粒度组件的仿真模型,实现了实体模型行为组件在不同兵力模型建立过程中的共享和组合,简化了用户的定义,有利于模型的统一开发.     

基于HLA的防空导弹武器系统仿真平台研究

介绍了一个以防空导弹武器系统为背景,基于高级体系结构(HLA, High Level Architecture)技术实现的包含虚拟现实技术的综合仿真平台.着重论述了该仿真平台的构成、开发过程及其关键技术,包括HLA、基于FEDEP(Federation Development and Execution Process)模式的开发过程,层次化软件结构、计算机生成兵力(CGF, Computer Generated Forces)技术、面向对象建模以及基于包围盒的碰撞检测等.     

地地弹道导弹可用性仿真评估系统构建

阐述了地地弹道导弹可用性评估的重要性,并以此为需求牵引,提出了以MTMC-RDEDS(Mission Time Monte Carlo Random Discrete Event Dynamic Systems)为核心的可用性建模与仿真一体化框架,结合实际应用,以模型重用技术为基础,构建了拥有丰富建模与仿真知识库、模块化设计与开放式接口的导弹可用性仿真评估系统总体框架及软件层次结构,并给出了涉及工作状态、维修保障、统计优化在内的核心仿真模型与算法,探讨了系统实现的关键技术,包括:随机变量建模、武器系统建模、仿真系统可信度评估.利用VC++和相关软件开发了地地弹道导弹可用性仿真评估系统,给出了仿真运行界面,并进行实例分析,验证模型和系统的有效性.仿真的结果与实际试验情况吻合较好,表明该动态评估方法快捷有效,评估系统建设方案合理可行,适用于工程分析,不失为地地弹道导弹可用性评估的一种有效手段.     

基于知识集成模型的产品快速设计

为提升现有CAD(Computer-Aided Design)系统对设计知识的重用能力,提出 了设计知识的分层描述和集成建模方案,并给出了具体实施方法.将设计知识划分到构型层 、设计层和造型层3个抽象层次,基于UG(Unigraphics)平台的知识熔接语言(KFL,Knowl edge Fusion Language)和Open++实现了各层设计知识的描述与集成.构建了知识集成模型 的创建和重用支撑系统框架.作为应用实例,在UG平台上开发了专用减速器快速设计系统.      

基于有限状态机的安全性仿真技术

为了研究系统中事故的动态变化机理,探索事故发展过程中的运动行为,制定正确的应急控制措施,提出了基于有限状态机理论的安全性建模仿真方法.结合Simulink/Stateflow工具开发了面向事故机理与应急过程的建模仿真平台,实现了系统的机理模型、安全状态控制模型以及应急操作模型的有效融合.该平台能实现对人-机-环境综合系统进行动态仿真,为明确事故的动态变化过程和制定应急控制措施提供依据.通过对某舰船舱室事故过程的仿真实例,验证了该方法的有效性和合理性.     

基于BOM和FEDEP的多分辨率建模框架

为了规范和统一多分辨率模型的描述方法、建模步骤和活动,提出一种基于BOM(Base Object Model)和FEDEP(Federation Development and Execution Process)的多分辨率建模框架.该框架包括3种基于BOM的多分辨率建模方法和基于FEDEP的多分辨率建模过程.简要介绍这3种方法,重点分析FEDEP中与BOM和多分辨率建模相关的基本活动,将基于BOM的多分辨率建模过程与FEDEP集成在一起.该框架可以实现多分辨率模型描述的形式化和通用性、建模步骤和过程的规范化,促进多分辨率模型的重用、互操作和组合,保证模型的一致性和多分辨率建模的有效性.     

面向领域的仿真设计建模工具SIMDEMO

讨论了面向领域的仿真设计建模工具SIMDEMO的设计和实现.基于透明性、正交性、层次性的视图分解原理,对处于不同阶段、面向不同用户、涉及不同方面的系统模型采用多视图进行分解,建立了以多视图为核心理念的系统协同建模方法,给出了该建模方法下建模所需遵循的过程指导.针对领域模型描述、表示以及操作等多个方面对工具重构的需求,研究得到了基于元对象反射模型的工具架构;架构具有良好适应性,使得工具重构更灵活、简捷.对SIMDEMO的功能结构进行了简介,给出了系统实现方案.最后,将SIMDEMO与典型同类工具作了比较.     

基于中间件的抗辐射加固仿真云平台技术研究

航空航天的飞速发展对抗辐射加固仿真提出了更高的标准和要求.提出了一种基于可组合可重用中间件的云仿真平台.该平台中，仿真软件采用虚拟机+docker的方式进行部署，以降低虚拟机的功耗并避免资源浪费.在该平台架构上，首先提出了基于微服务的可组合可重用仿真中间件通用模型.然后在通用模型基础上设计并实现了典型抗辐射加固仿真场景下的关键中间件，包括模型显示中间件和脚本转换中间件.最后通过Petri网动态组合仿真中间件来完成仿真任务.结果表明以云平台为基础，可重用可组合中间件为核心的仿真平台架构能够有效提高仿真平台的可重用性、可扩展性和灵活性.     

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

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

计算机生成兵力模型的实时调度技术

针对计算机生成兵力系统在采用步长法推进逻辑时间时其实时性易受影响的问题,提出了将时间同步和模型调度进行解耦的实时推进方法,其中同步过程使用独立的线程读取本地时钟并通过运行支撑环境(RTI)驱动逻辑时间推进.同时提出了一种适合兵力模型的新的静态调度算法.该算法根据模型运行周期和系统步长划分调度表,并基于负载均衡的原则为模型分配仿真步长,具体包括3个处理过程:为仿真实体分配节点、产生初始调度表、运行时调整调度表.实验结果表明所提出的方法在保证良好的实时性基础上具有较小的开销和较高的处理器利用率.      

计算机生成航空兵力编队能力的实现

计算机生成兵力系统中的兵力应具有协同能力,其中,作战单位内的实体应能实现组成编队及队形保持的能力。对于自由度多、高速运动的空中飞机来说,编队飞行能力的实现则要困难一些。编队飞行的仿真问题主要指编队定直飞行的队形保持和转弯时的队形保持。为实现编队定直飞行的队形保持,采用了一种新的编队模型;此外为了让僚机快速进入规定的编队位置且保留在该位置处,还采用了包括时间最短的最佳控制在内的３项措施。为了让飞机编     

计算机生成兵力

介绍分布交互仿真（ＤＩＳ）环境中计算机生成兵力（ＣＧＦ）的概念,分析ＣＧＦ系统的原理、结构、特点和主要研究内容。介绍现有的ＣＧＦ系统,分析ＣＧＦ系统与人工智能以及ＣＧＦ实体与ＤＩＳ的３种仿真类型之间的关系。     

一种面向嵌入式系统的多模型集中存储方法

随着软件安全性的重要性日益增长，使用模型驱动的方法进行软件开发越来越受到重视。针对目前存在跨域模型的集成障碍，提出了一种基于元建模技术提取多视角模型信息进行存储的方法，并详细阐述了针对AADL、SysML、Simulink三种建模语言设计的建模元素解析、集成描述文件生成的方法框架。实验结果表明:按照所提方法实现的模型仓库能够准确提取出不同视角模型间的集成相关信息，在能够正确存储、查询的条件下，实现的元素数量覆盖率均在90%以上。      

基于模型架构的航天器控制软件研制方式研究

开展基于模型设计研究,旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题,提出一种基于模型架构的航天器控制软件研制方式,搭建软件模型驱动框架,通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架,简化代码胶合过...     

可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.      

二体绳系卫星系统冲击效应动力学与试验研究

为了研究冲击效应对二体绳系卫星系统动力学特性的影响，开展了基于绝对节点坐标法的柔性绳索模型及绳系卫星系统运动特性分析研究。首先介绍了绝对节点坐标法柔索模型的建立过程，并进行了动力学仿真实验，在仿真时充分考虑了柔索的轴向刚度矩阵、弯曲刚度矩阵以及质量矩阵，可在不增加计算量的同时保留系绳真实特性。最后，搭建了三自由度的二体绳系卫星地面模拟试验系统，在规格为20 m×30 m的大型气浮平台上开展了试验验证，对末尾释放阶段和初始回收阶段系绳的张力以及子星的运动状态进行了分析。验证结果表明：地面模拟试验与仿真实验相比，系绳张力误差均在5%以内，验证了该建模方法的有效性和所搭建的试验系统的可靠性，同时为绳系卫星的未来发展和地面试验的进一步展开奠定了基础。     

基于DTC和GPGP的多UCAV任务规划方法

以任务分析和环境建模仿真框架作为任务结构的描述模型,建立了无人作战飞机的任务模型描述及任务规划问题描述方法.提出了基于启发式设计准则的无人作战飞机任务规划算法,并在任务规划过程中集成路径规划.以通用局部全局规划协调理论为基础,提出了集成通用局部全局规划协调机制和同步协调机制的多无人作战飞机协同任务规划系统结构,对通用局部全局规划的任务规划过程进行控制和协调.仿真实例证明了任务规划算法的可行性.