模型驱动的嵌入式仿真系统设计

为解决嵌入式系统仿真应用需求多样性的问题并提高系统的开发效率,设计一种通用嵌入式仿真系统。该系统在Matlab/Simulink开发环境的基础上,采用模型驱动的方法设计仿真模型并构建仿真组件库,实现了仿真系统模型的快速建立。同时设计了多接口、可扩展的仿真器硬件结构,解决了嵌入式系统接口的多样性问题。该仿真系统具有良好的可重用性和可移植性等特点,可用于多种嵌入式软件的开发,具有现实意义。     

仿真系统可信度评估及模型验证方法研究

该文对仿真系统可信度评估的一些概念和M＆S过程中V&V的应用进行了综述.讨论了有关概念模型验证的一些问题,并介绍了模型验证的贝叶斯(Bayes)方法.     

复杂系统抢修时间仿真模型研究

装备的战场抢修是保持和恢复装备战斗力的重要因素。对于指挥员来讲，预测并准确的掌握装备系统的抢修时间，有利于实施适时而准确的指挥。同时对新装备的研制与发展政策的决策同样具有重要的意义。本文以某覆带式自行武器的推进系统为例，建立了计算战场抢修时间和精确求解模型，并对模型进行了求解，从而验证了有关抢修时间的随机网络模型方法的可行性。     

基于Agent仿真模型的校核与验证研究

首先对国内外基于Agent仿真模型的校核与验证方面的发展情况进行了述评;然后,提出了一个完整的基于Agent仿真模型的校核与验证框架,该方案中包括表面验证、参数灵敏度分析、模型校准与运行时验证;最后以环境经济政策仿真模型中的校核与验证为例对该框架进行了简单说明。     

关于仿真模型验证

本文对国内外仿真模型的发展进行了述评,陈述了仿真模型验证的定义和有关概念,提出了模型验证的区间假设检验法,介绍了自相关函数检验法。     

装备保障仿真概念模型的语义验证方法研究

概念模型验证是保证概念模型正确、可信的重要手段。针对现有概念模型形式化验证方法复杂、繁琐,非形式化验证方法的主观性较强、可信性不高等问题,采用本体理论和语义网技术,提出了一种基于本体与规则推理的装备保障仿真概念模型语义验证方法。该方法的思路是:首先将UML描述的概念模型转化为本体描述语言OWL描述的概念模型;然后根据领域知识构建验证规则,并运用语义网规则描述语言SWRL描述验证规则;最后将模型和规则转换为Jess规则引擎识别的数据格式,输入到Jess规则引擎中进行模型与规则的语义推理,检查概念模型是否符合验证规则。实例表明,该方法使用验证规则和语义推理机替代领域专家在计算机上自动对概念模型的语义内容进行验证,提高了验证效率,减少了专家验证的主观性和不确定性,降低了形式化验证方法的复杂性。     

一种基于仿真的装备模型可视化建模方法研究

装备论证以充分的论据对武器装备的发展、研制预定目标进行推理,是支撑武器装备发展的必要环节.通常装备论证过程开始于装备模型建模,从装备论证的特点和需求出发,运用可扩展标记语言XML和GDI+绘图技术,提出一种基于仿真的装备模型可视化建模方法.该方法相比传统表格式建模方法具有建模直观、建模简单、模型修改和扩展性好以及模型错误率低等特点.通过某型装备论证分系统集成表明该可视化建模方法是一种行之有效的方法.     

基于视景仿真的复杂战场环境仿真研究

介绍了战场仿真技术的发展,针对某大型武器系统复杂的战场环境,给出了战场仿真系统的硬件支撑平台和利用建模工具creator和渲染及驱动软件Vega构建战场环境的实现.文中讨论了战场环境中主要的模型及其建模方法,利用Vega库函数和Lynx图形界面对整个环境及各模型地形进行了驱动.对实现过程中的造型简化和碰撞检测等关键问题进行了分析并给出了解决办法.最后给出了某复杂战场仿真环境的实现.应用结果表明该仿真环境便捷易用,效果逼真,适用于该型号武器系统的分布式仿真系统.     

模型驱动的嵌入式系统设计与性能优化

直接从规范需求描述入手,研究了嵌入式系统设计中的模型映射、代码自动生成、协同验证和性能优化等关键技术问题,提出了以模型驱动的嵌入式系统软硬件协同设计方法,使面向应用的嵌入式系统设计,在不同抽象层次上同步设计与验证,经过性能优化后得到RTL级SystemC代码表示的虚拟原型,介绍了一个应用实例。     

复杂机械系统仿真平台模型管理研究与实现

针对自主开发的复杂机械系统仿真平台InteDyn,基于多体系统动力学建模理论,采用面向对象思想对于．复杂机械系统模型管理技术作了详细探讨,提出了一套支持复杂机械系统仿真快速建模的模型管理机制,支持基于子系统的层次建模和模型重用．在InteDyn中的汽车仿真建模证明了该机制的有效性．     

装备采办领域复杂系统建模仿真的应用研究

在介绍复杂适应系统理论、基于Agent建模仿真方法与Repast平台的基础上,总结了利用Repast平台进行复杂系统建模仿真的一般方法。通过运用该方法,对装备采办过程中军企合作的简易模型进行了研究与实现,结合Repast平台产生的丰富的仿真数据,从如何保持军企合作竞争性的角度进行了分析,对如何提高装备采办的有效性提供了一定的数据支撑。同时,开创了运用复杂系统建模仿真方法对装备采办领域的复杂性问题进行研究的新方向。     

模型直升机双核飞控系统设计与仿真验证

设计了一种以FPGA和DSP为硬件核心的模型直升机飞行控制系统,以飞控计算机为研究重点,介绍了其硬件结构和软件设计。为验证飞控系统功能上的可靠性,编写了相应的软件,完成了基于数控转台的地面测试实验。在数控转台和地面站两种环境下分别实时测量三轴姿态角,对所得数据的分析表明设计的飞控系统工作正常,数据通路正确,为模型直升机飞控的开发奠定基础。     

模型驱动的装备保障优化决策支持系统

以数据、模型、用户界面等要素为基础,提出了以优化模型为驱动的装备保障优化决策支持系统设计思路,拓展设计了系统总体功能结构.构建了包含算法库、模型库和应用库的模型库,引入了脚本模型,以顺序、选择或循环结构程序组合优化模型,实现复杂装备保障决策问题的求解和决策.实例应用表明系统极大地提高了部队装备精确保障能力.     

应用Repast S的复杂系统建模仿真

研究社会灾害和生态环境中的发慌问题,需科学决策.针对复杂系统的研究涉及到多种学科交叉,进行多Agent建模仿真需要面对不同领域知识融合的问题.在最新多Agent建模仿真平台Repast Simphony(简称Repast S)的研究基础上,为决策者提供依据,提出以其层次建模框架满足多专家群体协作建模需求,以Score元模型为建模基础进行领域知识融合的策略.以森林火灾系统为例,应用Repast S进行了建模仿真实践.所建立模型有机融合了林火蔓延的元胞自动机模式和扑救协作的社会网络模式等领域知识,进行仿真.仿真结果体现出各种模式对森林火灾系统演化态势的影响.Repast S为复杂系统学科交叉的多Agent建模仿真提供了有效支持.     

策略驱动的自配置系统形式化建模及分析验证

使计算机系统具有自主配置的能力,可以解决复杂系统面临配置管理难度高和强度大的问题。本文针对策略驱动的自配置系统的配置问题,提出采用CPN建模技术对该类系统进行建模、分析与验证,保证系统自配置过程的正确性;分析了策略驱动自配置系统的基本结构,构造出该类系统的CPN模型,引入CTL的扩展--ASK-CTL描述系统配置过程中具备的性质;最后用CPN Tools2．2．0进行仿真与验证。     

装备保障体系建模与仿真关键技术研究

为解决装甲装备体系保障能力生成的关键技术难题,针对现有需求和装备保障体系仿真中心建设的实际情况,以装甲机械化部队为主要研究对象,论文主要研究内容包括:描述了装备保障体系概念,构建了装备保障体系结构框架;总结了适合装备保障体系的建模与仿真方法,采用分层建模、基于多Agent和基于UML的体系建模方法,建立了装备保障体系模型,并对模型进行了仿真;借鉴霍尔三维结构,建立了装备保障体系评估对象维、评估指标维和评估目标维,进行装备保障体系效能评估;通过研究,初步明确了装备保障体系的内涵,明确了适合装备保障体系的建模与仿真方法,具备一定的实用性和可操作性,能够为进一步推进装备保障体制改革、完善综合保障体系、创新保障模式、增强综合保障能力提供有力的理论支撑。      

战略导弹精度仿真中仿真模型的校验研究

仿真的一个核心问题是如何进行仿真模型的检验(或称验证)和校正。本文以战略导弹精度仿真为例,对仿真模型进行检验,利用BET方法重构弹道,得到校正仿真模型所需的数据,据此,提出一种基于滤波算法的模型校正方法。     

装备制造企业生产物流仿真系统

分析了装备制造企业生产物流的特点,属于典型的离散型复杂装备制造企业,生产过程复杂、物流供应链复杂,产品批量小,以定制生产为主。提出了基于离散事件建模的生产物流过程模型,研究了影响企业生产物流的约束条件及其相互关系;设计了装备制造企业生产物流仿真系统,实现了生产全过程的物流仿真。基于生产物流仿真系统,以某大型企业为研究应用背景,量化分析了生产过程物流的关键因素,并给出了相应建议。     

雷达对抗试验仿真控制模型与验证

武器装备试验仿真通常采用半实物仿真技术,许多控制实体接入仿真回路构成了战场对抗环境。因此,控制模型的有效性认定在系统应用中具有重要的地位。该文介绍了雷达对抗装备试验仿真中的几个典型控制模型及其验证方法。文章认为,控制模型验证应重点考核仿真的运行有效性,要针对模型的各自特点分别采取分析统计测试法和演示测试法两种验证手段。仿真结果表明,该验证方法科学、实用,具有较高的置信度,适用于其它武器装备试验仿真领域。     

基于Agent的复杂系统分布仿真建模方法的研究

基于Agent的分布仿真是研究大型复杂系统的一种有效的、重要的方法。为了减小复杂系统仿真的复杂度,增加仿真模型的重用和可维护性,需要研究基于Agent分布仿真的建模方法。首先对复杂系统及其特性进行了分析,对基于Agent的仿真进行了全面的论述,然后对基于Agent的复杂系统仿真中的复杂系统建模分析、Agent建模分析以及Agent的分布进行了分析,给出了基于Agent的复杂系统分布仿真的建模步骤,最后给出了在此建模思想指导下的金融证券市场的建模过程。