摘要：针对传统统一建模语言(UML)和系统建模语言(SysML)主要面向一般软件工程和系统工程领域应用,缺乏作战概念相关领域知识的问题,提出了基于领域建模语言(DSL)的作战概念描述方法。基于SysML Profile扩展机制,在需求图中设计了能力、战略和战术等需求元模型,在块定义图中设计了武器装备体系、武器装备、传感器等类元模型。以此为基础,对分布式杀伤作战概念的静态结构和动态行为进行了分析描述,为有效缩短作战概念建模仿真周期、加强不同背景研究人员之间沟通交流奠定了基础。

摘要：现有的嵌入式系统开发成本高,采用通用的开发环境,应用领域的工程人员难以开发。由此,研究嵌入式系统面向装备控制的领域扩展技术。基于模型集成计算理论搭建嵌入式装备控制系统的元模型,解释成面向领域的图形化建模语言,使装备控制领域的工程人员能够对不同的嵌入式装备控制系统快速搭建模型。通过建立模型解释器,实现从应用系统模型到代码的映射。通过面向该领域软件构架的研究,探索面向系统的嵌入式组件设计方法。

摘要：基于组件的制造执行系统重构效率较低、管理困难,为此,提出了一种模型驱动的工程方法,从全生命周期的角度和较高的抽象层次规划实现制造执行系统的重构。引入可重构资产的概念,设计了可重构资产元模型,构建了面向制造执行系统重构的领域建模语言,以准确描述重构相关的需求和决策信息。介绍了重构过程中的模型转换与存储技术。最后,通过航天企业的实例验证了该可重构方法。

摘要：信息物理融合系统(cyber-physical systems,简称CPS)是深度融合了计算进程和物理进程的统一体,是集计算、通信与控制于一体的下一代智能系统,具有广阔的应用前景.CPS的行为具有混成性、随机性等特征,建模及仿真CPS的动态行为对于开发高质量的CPS系统至关重要.但是目前缺乏面向CPS的领域建模方法及建模CPS的领域建模语言,也迫切需要支持仿真CPS领域模型的仿真工具.针对以上问题,提出一种面向CPS领域的随机混成建模语言(stochastic hybrid modeling language,简称SHML)以支持建模CPS系统的行为.首先,根据CPS的领域特征定义了SHML的元模型作为其抽象语法,并定义了SHML的具体语法和操作语义;其次,基于GEMOC框架实现了SHML的可视化建模工具.此外,集成GEMOC的序列化执行引擎和Scilab的连续行为仿真引擎,实现仿真CPS的混成行为.提出了一种面向CPS领域的建模及仿真方法,设计并实现了一个集成的面向CPS行为的建模与仿真平台,为CPS的建模及仿真提供了一种有效的方法及工具支撑.

摘要：针对传统天线协同设计困难、方案可行性评估成本高、评价关系模糊等难点,引入层次分析方法,建立天线系统模型和层次评估模型,通过系统运行过程仿真和验证分析,支持设计数据的获取与计算,进而对系统设计方案进行优化分析和科学决策。以天线驱动设计方案为例进行验证分析,结果表明,提出方法显著提高了大型天线系统的设计效率,降低了设计优化成本。