一种模型驱动的嵌入式控制软件设计技术研究

针对当前嵌入式控制软件开发方法的不足,研究了一种将常规模型驱动开发技术与基于模型系统设计方法相结合的嵌入式控制软件模型驱动开发技术,首先分析了其应该具备的功能、特征并给出了方案实施步骤;然后,详细研究了方案中的PIM模型设计方法、PSM模型(代码)层次结构及OXT框架,并开发了针对Arm-Linux平台的适配器;最后,给出了基于该方法设计的微型飞行器控制软件运行测试实例.     

一种基于UML序列图的状态图合成方法

逆向工程作为辅助程序理解的重要手段,逐渐成为软件工程领域的研究热点。基于面向对象软件的动态本质,研究动态模型的抽象和转换方法对理解该类软件特征具有重要意义。在分析UML序列图和状态图模型的基础上,借鉴BK算法核心思想,给出了一种从UML序列图合成状态图的方法。最后,通过系统的实验研究,验证了该方法的有效性。     

基于UML的复杂工程仿真方法

针对三维复杂工程施工仿真，提出了一种基于UML技术的仿真方法。对仿真的全过程，包括仿真系统分析、模型设计、工程流程设计、三维仿真实现、仿真结果的评估、仿真的修改维护等进行管理。最后结合一个实际的复杂工程做了一个仿真实例，证明提出仿真方法的高效性。     

基于UML的供应链危机预警支持系统的建模与开发

介绍供应链危机预警支持系统，它能够对供应链运营过程中所面临的危机进行事先的识别与判定，从而及时地为供应链系统经营者决策提供参考和警告，从而有效防范风险。然后用统一建模语言UML(United Modeling Language)从功能角度对供应链危机预警支持系统进行建模，即需求模型，对象模型和体系结构模型三个子系统的建模；并开发供应链危机预警支持系统原型，实现及时预警功能。     

一种基于用户行为的嵌入式功耗优化方法

随着以手机、平板电脑等为代表的嵌入式设备的飞速发展,嵌入式低功耗问题已经成为了一个研究热点。经常有用户在户外面临手机没电所带来的问题,目前主要给嵌入式设备供电的电池却受到其体积、重量等因素的制约,只能提供有限的电量。从用户行为识别出发,用机器学习的方法识别设备用户当前的行为状态,根据既定的策略来获取该行为状态下用户对设备的使用习惯,进而通过主动关闭设备不使用的部件或者提醒用户应用动态交互优化策略来降低设备功耗。     

UML类图到CPN转化方法的研究

UML（Unified Modeling Language）作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析、验证。而CPN（Coloured Petri Nets）作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。     

基于HLA分布式仿真系统的模型驱动设计方法

提出了一种基于HLA分布式仿真系统的模型驱动设计方法。首先提出基于MDA的分布式仿真系统开发框架，然后给出了使用UMLProfile创建HLA元模型的方法，最后分析了从领域元模型到平台元。模型的映射规则．该方法通过定义基于HLA／RTI分布式仿真平台的UMLProfile，订制了HLA元模型以扩充UML对于HLA仿真平台相关模型的描述能力，有利于分布式仿真系统的快速开发和构建，同时容易实现分布式仿真应用从底层RTI平台到其他中间件平台的迁移。     

基于UML的城市轨道交通列车控制系统分析与建模

简要介绍了城市轨道交通列车运行控制系统，针对系统的复杂性，按照功能将其划分成三层结构，以面向对象的方法分析了系统本身及其与外围的关系。采用面向对象建模技术将这个系统处理成列车，轨道线路，ATC系统等对象，描述了每个子系统的结构，并通过适应静态性和动态性模型的统一建模语言UML及其Rational Rose工具建立了严格定义语义的可视化化模型。     

基于Petri网和UML活动图工作流建模比较

在工作流建模中Petri网和UML活动图各自发挥了十分重要的作用，然而对于其建模的适应性却没有充分的研究。通过对工作流管理系统的分析，认为工作流管理系统具有响应性、协作性和开放性特点。在给定适合工作流建模的UML活动图语义基础上，讨论了工作流建模的几个关键要素在Petri网和UML活动图下的建模比较，通过分析认为，Petri网更适合于封闭，主动系统的建模，UML活动目能够较为充分的适应开放、响应型系统的建模。Petri网较适合对稀有资源的建模．因此UML活动图更适合工作流这种开放，响应型系统建模。     

基于UML模型的C4ISR系统能力需求分析与验证

针对复杂的C⁴ISR需求分析,提出一种系统的能力需求获取和分析方法。该方法从分析作战使命入手,采用统一建模语言(unified modeling language,UML)建模技术对作战目标和任务场景建模,通过活动模型分析自动建立C⁴ISR能力需求的概念模型。此外,采用本体描述语言(OWL DL)对能力概念形式化描述,由此可以通过符号推理系统检查模型的完整性和一致性。给出了应用该方法的具体示例,并通过实验工具验证其有效性。     

基于UML和XML的数据建模方法及应用

随着仿真技术的发展,建模方式趋向规范化、标准化。在舰载作战系统仿真中,将数据模型划分为概念模型、逻辑模型和物理模型三个层次,使用UML与XML相结合的方法进行数据建模。UML类图用来建立概念模型;XML模式用来建立逻辑模型,针对信息的内容实现数据类型的定义;XML文档是信息的载体,XML模式为最终的XML文档内容提供解释和约束。以仿真系统中的部分数据为例描述了建模的过程和方法。

Abstract：

The modeling method becomes more standardization now as simulation technology is developing. In simulation of shipborne combat system,the data model has three levels including conceptual,logical,and physical. UML and XML is used to do data modeling as UML class diagram for conceptual model,XML Schema for logical model,and XML documents for the final data which is described and restricted by XML Schemas. To describe the process and method of data modeling,an example is given.     

基于UML的弹道导弹预警仿真系统建模

采用UML构建了导弹预警仿真系统的用例模型、实体结构模型、实体行为模型和系统逻辑结构模型。通过综合运用SQL、VisualC++、STK和Matlab等软件功能,实现了这个以预警任务规划和传感器调度为亮点的导弹预警仿真系统。该仿真系统兼具多重功能,可模拟导弹攻防、模拟导弹发射和导弹预警不确定因素、优化预警装备部署、评估预警系统效能等。     

基于UML语言的航空电子系统快速原型设计

航空电子系统中的快速原型设计主要涉及航空电子系统的快速原型设计,作战飞行软件的快速原型设计和座舱显示系统的快速原型设计等,主要提出用UML语言描述航空电子系统设计的方法以及航空电子系统、作战飞行软件和座舱显示系统一体化设计开发过程,并以一个典型的综合航空电子系统为例进行了分析、设计、建模、仿真和演示验证。     

基于UML的防空导弹武器系统效能评估

运用统一建模语言对防空导弹武器系统效能进行分析、评估，目的是在信息化建设中提高防空导弹效能，确定了评估度量空间，面向火力单元效能评估的各个基本对象较为完备的情况下作了进一步分析与设计，建立了效能评估的高层计算机实现工程，明确了通过信息交互支持改善制导精度从而提高火力单元效能有关杀伤概率指标的途径和研究应用方向.     

基于UML和Petri网的层次建模分析方法

提出一种新的UML和Petri网结合方式的建模分析方法。该方法采用从上到下的屡次分析方法，用扩展的UML模型对系统组织结构和系统的静态特征进行描述，用扩展的Petri网模型描述和分析系统动态特性，通过转化规则将Petri网模型转化成相应的状态图和序列图，然后集成所有的UML模型，通过Rational Rose等软件来实现代码。最后通过该方法，对一个FMS进行了建模分析。     

基于UML的炼钢物流仿真系统分析与设计

针对目前炼钢物流仿真系统的研究和应用现状,在确定系统开发目标的基础上,以统一建模语言UML为建模工具,对炼钢物流仿真系统进行功能需求分析及用例建模,并完成了系统的类图设计,以及作为动态模型的活动图和序列图的设计,最终开发了炼钢物流仿真软件。以攀钢炼钢厂的工艺流程为实例进行的仿真试验表明,该系统可为炼钢生产提供一种有效的辅助决策手段。     

基于UML 和Petri 网的武器装备体系需求分析方法

将武器装备体系分为逻辑体系结构和物理体系结构,给出对体系进行需求分析的过程.探讨了利用UML对武器装备体系进行需求描述的方法和步骤,以海洋监视与打击体系为例,利用UML中的协作图和活动图从顶层分别描述了体系的物理体系结构和逻辑体系结构.建立了利用UML构建的体系静态结构模型到利用着色随机Petri网构建的动态运行模型之间的映射关系.针对实例建立了相应的评估模型,利用可达树分析法初步分析了体系的一些逻辑性能.在构建体系结构模型和评估模型的过程中,各模型间既有延续性,又从不同角度反映了体系结构的不同方面,既可保证需求描述和分析模型的一致性,又可比较全面地分析装备体系结构.     

基于扩展UML的多Agent系统建模方法

基于对象和Agent概念的一致性 ,在多Agent系统的建模过程中 ,利用已经比较成熟的面向对象技术是一种值得重视的方法。在分析了统一建模语言 (UML)的基本建模思想和基于组织分析的多Agent系统建模思路基础上 ,以一个分布式后勤管理系统的分析为例 ,从Agent组织的角色定义、静态组织结构描述和动态行为描述等三方面给出了基于扩展UML的多Agent系统建模的主要步骤和方法