复杂仿真系统模型验证工具设计与实现

模型验证是VVA工作的重要内容之一,为了提高复杂仿真系统模型验证的工作效率,基于C#语言,设计了复杂仿真系统模型验证工具。详细阐述了验证工具的总体结构设计,深入讨论了各子模块的功能和具体实现,并通过实例说明了该工具的设计和实现是合理有效的,实现了模型验证的自动化。     

舰艇编队作战指挥系统设计与仿真平台

作战指挥系统是海上舰艇编队的神经中枢。针对现代舰艇编队作战指挥系统研制过程的特点,构建了支持协同建模、动态重组、敏捷制造和增量开发等功能的支撑平台。该平台由建模工具、仿真引擎、系统管理与模型部署3个工具组成,重点对建模工具和仿真引擎进行了介绍。建模工具支持多种开发视图、多种建模方法和模型表示方法,特别适用于对复杂大系统进行多层次、多粒度的建模;仿真引擎是模型的求解环境,为模型的运行提供柔性的架构、简单的接口和高级的支撑服务,大大地简化了应用系统的实现,促进了模型的复用。最后,举例说明了如何应用该平台开发一个应用系统。     

仿真模型VV&A工具研究

仿真模型校核、验证与确认(VVA)工具是提高VVA工作效率,减轻工作者的工作负担,实现VVA工作自动化的重要手段。论述了VVA工具的研究意义,对VVA工具进行了分类,在介绍国内外VVA工具的研究现状的基础上,指出现阶段VVA工具研究的不足,提出下一步VVA工具的研究重点。     

初始误差和制导工具误差估计的非线性方法

准确估计初始误差和制导工具误差是机动发射飞行器精度鉴定必须解决的重要问题之一,提出了一种基于非线性模型的误差估计新方法。给出了平台初始失准角向定向误差的转换方法,采用不动点迭代法实现真实视加速度的精确计算,将真实发射系的轨道参数表示为初始误差和工具误差的非线性函数,结合外测数据建立了同时估计初始误差、工具误差、外测系统误差、遥外测时间零点偏差的非线性模型,避免了初始误差的线性化近似。给出了Bayes极大后验估计方法,利用非线性模型和先验信息获得误差的最优估计,证明了估计方法的收敛性。仿真结果表明,所提方法提高了初始误差和工具误差的估计精度,并实现了测量数据的自校准。     

基于PETRI网的防空指控系统的建模及分析

防空导弹武器指控系统是一个分布式实时多任务数据处理系统,其特点是实时性、并发、异步和多任务。PETR I网是一种描述和分析异步并发现象的一种有效的模型工具。以PETR I网为工具,建立了防空导弹武器指控系统模型,并对其结构性能、任务的忙闲程度、死锁进行了定性分析,然后实现了模型和程序结构的自动转换。从一个新的角度对防空导弹武器指控系统进行了分析和评价,实践证明这种方法是可行的。     

基于SVG和元模型机制的体系结构建模工具设计

针对体系结构建模缺乏有效工具支持的现状,提出了基于SVG和元模型机制的体系结构建模工具设计方法。该方法利用SVG为体系结构建模图形数据存储提供统一标准,便于信息发布与共享,同时利用元模型机制有效扩展体系结构模型及模型元素,为不同体系结构产品的建模提供支持,保证了体系结构产品在数据上的一致性和完整性。实践证明,该方法具有较强的可行性,对体系结构建模支持具有较好的灵活性和易扩展性。     

Petri 网在 C￣3I 系统中的应用

Ｐｅｔｒｉ网最早用作模拟数字计算机的分析工具,是一种图示和数学兼具的模型工具。近１０年来,Ｐｅｔｒｉ网在Ｃ３Ｉ系统中得到广泛应用。介绍了Ｐｅｔｒｉ网的基本概念,综述了Ｐｅｔｒｉ网在Ｃ３Ｉ系统建模、性能分析和系统设计中的应用。     

自行火炮发动机振动仿真研究

针对某型自行火炮柴油发动机系统,采用Matlab软件的Simulink 工具,建立了整个系统的动力学仿真模型。分别对该模型进行正弦、白噪声信号扰动下的仿真,从系统输出转矩和转速的曲线结果分析,证明了该模型具有较好的可信度。该模型的建立为今后深入开展发动机仿真研究提供了基础。     

基于SA Simulator的流程建模与仿真

静态体系结构模型中的各种要素以及它们之间的信息流是以静态的方式描述的,无法显露体系结构设计的薄弱环节和瓶颈。对此,基于SA Simulator流程仿真工具,开展了流程模型的建模与仿真。通过对SA Simulator流程仿真工具的原理及仿真流程的分析,以美国导弹防御系统为背景,在明确其主要作战要素(作战任务、作战节点及作战过程)之后,使用SA Simulator该流程仿真工具,基于IDEF3方法建立了导弹防御指控流程模型;从IDEF3规则、进程流的属性设置及关系配置与分配两个方面对模型进行验证。最后,进行流程仿真,研究了战略指控系统节点使用率、活动平均执行时间对指控流程的性能影响,并提出了相应的改进措施,以改进、优化导弹防御指控体系结构。     

基于网络演算理论计算车电系统总线的最大时延

以车电系统总线为研究对象,以网络演算理论为数学工具,提出一种基于网络演算理论的车电系统总线的最大时延计算模型.通过仿真实验得到了车电系统总线中各个信息帧的到达曲线、高优先级的信息帧集合的到达曲线、服务曲线和最大时延的数值结果.与相关研究相比,所建模型输入参数少,计算量小,可以快速求解车电系统总线的最大时延,具有良好的适应性和通用性,可以作为车电系统总线分析、设计与优化的理论支持工具.     

面向协作式网络化的作战计划生成过程模型

传统的指挥控制系统中作战计划生成过程网络化程度低,各个软件模块间难以进行协作。针对战术作战计划生成问题,参照工作流元模型,对计划生成流程进行分析,提出了计划生成过程模型。重点针对作战计划生成过程中的网络化协作问题,在现有模型的基础上,提出了适用于战术作战计划生成的轻量级工作流引擎的设计思想,最后结合工作流技术,设计了辅助作战计划生成的流程组织工具,通过该工具手动或自动地进行作战计划生成过程,验证了该模型的有效性。     

某型自行高炮武器系统面向对象的作战模型建模

作战模型是作战模拟的工具和手段.构造出简单的、能表现作战系统基本特征和规律的作战模型,需要采用有效的建模方法;简述了面向对象的基本概念、建模方法和步骤;结合面向对象思想对自行高炮模拟训练训练平台进行了可视化分析建模;采用统一建模语言(UML)建立了自行高炮模拟训练平台功能模型、静态模型和动态模型.     

基于有限状态机的作战实体模型行为规则可视化建模研究

为提升仿真模型开发效率,降低仿真模型的维护成本,本文从模型规则可视化建模需求入手,提出了基于有限状态机的实体模型行为规则形式化表达模型,并对基于有限状态机的模型规则可视化建模工具框架进行了设计,对模型规则可视化建模的工程实现进行了理论上的探索。     

AppAMS体系结构建模仿真工具

正AppAMS体系结构建模仿真工具是在原有体系建模工具AM的基础上对其功能进行了优化和整合,进行革命性升级,支持多用户同时在线体系结构建模,全面实现建模协同化管理;增加了业务流程仿真功能,支持用户建立动态流程模型,并可以对该模型进行仿真,展示仿真结果,帮助用户快速发现业务流程中的瓶颈和弱点,能够更广泛地为决策制定者和业务过程管理者提供体系结构数据的采集、存取、集成和维护规范,并帮助用户解决特定问题。     

基于有限状态机的作战实体模型行为规则可视化建模

为提升仿真模型开发效率,降低仿真模型的维护成本,从模型规则可视化建模需求入手,提出了基于有限状态机的实体模型行为规则形式化表达模型,并对基于有限状态机的模型规则可视化建模工具框架进行了设计,对模型规则可视化建模的工程实现进行了理论上的探索。     

八种作战分析模型的逻辑框架研究

作战分析模型是作战实验室的支柱模型系统之一,是针对指挥人员或作战研究人员关注的重难点问题进行分析的工具。作战力量需求分析模型、作战效益分析模型、作战力量替换分析模型、作战指挥效益分析模型、作战编成优化分析模型、作战信息网有效性分析模型、作战地域电磁监控分析模型、作战保障到达率分析模型是八种重要、常用的作战分析模型,在开发时应聚焦和简化需求,搞清逻辑关系,再进行算法设计。     

模型制作工具——多功能机床的使用和改装

工欲善其事,必先利其器。对于这一点,每一位模型制作者、发烧友在从事其爱好的创作实践中,是深有体会的。虽然我们也曾在国际模型大师的著作中,看到一个用文字和图片描绘近乎天方夜谭式的故事——1806年,一个被俘的法国水兵在关押期间,用“小刀 骨头”等简陋条件,制作了一艘法国74门炮的“复仇者”号军舰模型。而另一模型大师则介绍了豪华版的故事——一个墨西哥咖啡庄园主兼船模发烧友的情况。他个人拥有三个房间来做模型,其中24平方米的大房间里堆满了各种设备、工具和材料。普通船模爱好者的情况恐怕永远都是介于这两个极端例子之间的。随着个人经济条件的逐步改善,伴着“发烧”的升温,大大小小的工具、夹具、机械设备逐     

建模与仿真VV&A工具设计与实现

在深入研究VV&A过程模型的基础上,建立了仿真和建模VV&A工具设计方案,详细介绍了各个模块的功能、相互之间的关系及工作流程.应用ODBC互连技术实现接口问的通信,将VV&A工具应用于实际工程中,取得了令人满意的结果,从而有效提高了仿真VV&A过程的经济性和快捷性.     

分布式数据库管理模型和证实

本文介绍了一种简单而有效的分布式数据库模型。这种模型能在分布式数据处理环境中模拟数据库应用和缓冲管理。结果证明这种模型对于分布式数据库的设计是一种有效的系统工程工具。