-
基于UML的机载雷达功能建模
支持战斗机效能评估和空战仿真自动决策,需要能根据需求调整参数的机载雷达功能模型.通过分析机载雷达在实际空战中的工作模式及使用特点,并基于UML从其与战斗机的交互关系,基本目标探测功能,目标管理及工作模式三个方面进行交战级的功能建模.最后在机载雷达应用于战斗机空战的仿真案例中,检验了机载雷达功能模型的可用性和适用性.何磊,朱宁,雷永林,王维平 - 系统仿真学报文章来源： 万方数据 -
一种信息物理融合系统仿真建模方法
仿真建模作为信息物理融合系统(Cyber-PhysicalSystem,CPS)开发的重要支撑,在CPS领域得到广泛应用,CPS与传统的嵌入式系统有很大的不同,不仅系统规模更加庞大,系统异质性更加明显,而且具有网络化开放性、计算过程与物理过程融合、时空特性鲜明等特点,这给CPS;仿真建模带来了很大的挑战.针对CPs计算.物理深受融合的问题.结合CPS典型实例月球车系统应用需求,设计了月球车的CPS化架构.在Rhapsody环境中,建立了系统的静态结构函和动态行为图.采用模垄转换技术.把Simulink建立的系统物理连续动态模型导入到月球车UML模型.基于实时性实现了CPS系统计算实体与物理实体融合的仿真建模.最后对融合模型进行了仿真,仿真结果满足系统需求,这对于CPS仿真建模和CPS系统开发具有重要意义.李晓宇,王宇英,周兴社,梁东方 - 系统仿真学报文章来源： 万方数据 -
基于C#.NET的培训管理系统的设计与实现
为提高玉林供电局变电管理所培训管理的系统化、规范化和现代化程度,玉林供电局信息中心认真调研了变电管理所的实际情况,组织开发了符合该所的要求的培训管理系统.重点研究了软件系统的UML系统建模、系统架构、数据库设计方法、核心模块的设计与系统实现.通过测试,系统能满足工作要求,可辅助培训管理者对于培训工作作出科学决策,另外培训单位也可及时掌握培训学员的情况.谢朋宇 - 电子设计工程文章来源： 万方数据 -
基于IDEF0和UML的空基反导军事概念模型
空基反导利用空基平台对处于助推段的弹道导弹进行拦截,是一种有效的助推段拦截方式.针对空基反导军事概念建模问题,提出了空基反导军事概念模型的格式化和形式化描述方法.在分析空基反导作战想定和作战任务的基础上,给出了空基反导作战实体和活动事件,阐述了运用IDEF0和UML进行空基反导军事概念模型形式化描述的过程,并建立了空基反导作战的IDEF0和UML模型.最后,基于Petri网方法对所建立的空基反导概念模型进行了验证评估,验证了所建概念模型的合理性.空基反导军事概念模型的建立为作战仿真提供了有力的支撑,对构建空基反导体系具有一定的指导意义.李大喜,杨建军,许勇,李小喜 - 系统仿真学报文章来源： 万方数据 -
面向应急管理的人工社会元模型设计与实现
将仿真技术应用到社会系统研究是一个新的研究思路,需要从仿真全过程为其定制.深入分析了MDA、元模型、模型变换以及多范式建模理论几个基本概念以及他们在文中的内在关系,然后重点从建模环境的角度,基于元建模和模型变换的思想,为面向应急管理的人工社会定制了元建模框架.该框架从具体语法、抽象语法、语义3个角度对人工社会进行刻画.以此为基础,以甲型H1N1在封闭校园传播为案例,构造了人工校园并进行了计算实验.实验表明,元建模框架能有效实现模型的轻便性、可重用性、互操作性以及可拓展性.该元建模框架同时也是"非常规突发事件模拟仿真与计算实验集成升华平台"的建模子系统.张烙兵,张鹏,陈彬,邱晓刚,樊宗臣 - 系统仿真学报文章来源： 万方数据 -
面向人工社会的多范式建模理论与方法
在利用ACP(Artificial Society,Computational Experiments,Parallel Execution)方法解决突发事件应急管理问题的研究工作中,人工社会的建立成为一个新问题.针对人工社会的多Agent和多领域性特征,提出一种面向人工社会的多范式建模方法,从构造基本人工社会元模型、特定领域人工社会建模和领域模型到仿真模型变换3个方面解决人工社会建模问题.利用通用建模环境(Generic Modeling Environment,GME)实现了公共卫生事件的人工社会建模流程,验证了方法的可行性.同时,方法也是"非常规突发事件模拟仿真与计算实验集成升华平台"的重要支撑.陈彬,邱晓刚,张烙兵 - 系统仿真学报文章来源： 万方数据 -
作战仿真传感器模型多分辨率建模方法
阐述了国内外多分辨率建模技术发展的历史,说明了多分辨率建模是作战仿真中的关键技术,结合该技术在各作战域的应用指出了在C4ISR领域应用发展的不足.针对C4ISR模型中的传感器模型的多分辨率建模,在分析了建模需求的基础上,结合传感器系统在仿真系统的表示方法,从传感器性能和传感器报告两个方面实现了传感器模型的低、中、高分辨率建模,通过验证想定检验了模型的一致性,能够较好的解决作战仿真系统规模大型化、模型复杂化与资源消耗、执行效率之间的矛盾.李元锋,刘建平,石成英 - 系统仿真学报文章来源： 万方数据 -
TEFL:一种文本式特征建模语言
特征模型已经成为软件产品线工程中共性/可变性建模的事实标准.现有基于特征图的建模工具由于在模型表达能力、严谨的形式化语义等方面的不足限制了其在工业界的应用.为了消除这些建模中的缺陷,为基于特征的产品线开发提供一个坚实的支撑环境,提出文本式特征建模语言TEFL,介绍其具体语法、抽象语法,以及形式化语义;开发一个基于Eclipse的语言编辑器原型;给出了面向XML和Java语言应用转化方法和工具;分析了与现有文本式建模技术相比所具有的优势与不足,并指出在特征建模及其工具技术方面的进一步的工作方向.周进刚,赵大哲,刘积仁 - 小型微型计算机系统文章来源： 万方数据 -
航天测控系统遥控软件自动化测试仿真平台研究
针对传统遥控软件测试模式出现的测试周期长、适应能力差、效率低等问题,设计并实现了一种通用的遥控软件自动化测试仿真平台.通过对遥控软件的测试内容、测试方法进行分析,论证了建立自动化测试仿真平台的可行性,并对仿真平台的数据建模方法和场景建模方法进行了研究.最后,通过仿真场景实例对数据模型进行了设计,并对测试用例条件组合结果进行了分析和选优.实际应用表明,该平台设计先进,通用性好,测试效率高,能够满足测控系统中遥控软件的测试需求,提升了软件的自动化测试水平,具有一定的工程应用价值.马贤颖,刘文红,夏烨 - 系统仿真学报文章来源： 万方数据 -
基于UML的陆军合成营指挥训练信息系统模型构建
统一建模语言(Unified Modeling Language,UML)是一种通用的、可视化标准建模语言,是面向对象的系统开发工具之一,适用于各种软件开发方法、软件生命周期的各个阶段.提出了一种基于UML和HLA组件技术开发陆军合成营指挥训练信息系统的方法.采用Rational Rose2003实现了使用UML对陆军合成营指挥训练信息系统的分析、设计的全过程.杨进涛,黄斌,杨晓原 - 火力与指挥控制文章来源： 万方数据
科创中国
