搜索到1719 篇“ 可执行模型 “的相关文章
基于图数据库的可 执行 模型 存储系统及方法 可 执行 模型 存储系统及方法。所述系统包括：图数据库厂商视图层、图形化建模语言视图层、可 执行 模型 模式图层、领域模型 设计视图层以及可 执行 领域模型 全视图层；图形化建模语言视图层对元元模式图进行实例化处...基于图数据库的可 执行 模型 存储系统及方法 可 执行 模型 存储系统及方法。所述系统包括：图数据库厂商视图层、图形化建模语言视图层、可 执行 模型 模式图层、领域模型 设计视图层以及可 执行 领域模型 全视图层；图形化建模语言视图层对元元模式图进行实例化处...基于可 执行 模型 的复杂体系仿真验证研究 模型 不可 执行 造成的问题,提出了一种复杂系统可 执行 模型 仿真方法。基于着色Petri网(colored Petri net,CPN)的可 执行 模型 与基于连续变量系统的Matlab模型 相结合,实现...关键词：可执行模型 自适应 仿真 基于PES的Petri网可 执行 模型 生成方法 被引量：3 2017年 可 执行 模型 生成缺乏灵活性和扩展性的问题,提出了一种基于体系结构物理交换规范(physical exchange specification,PES)的Petri网可 执行 模型 生成方法。该方法基于DoDAF 2.0提出的体系结构PES和支持对象化的扩展Petri网标记语言(Petri net markup language,PNML)规范,构建了基于PES的Petri网可 执行 模型 生成框架,通过体系结构模型 数据含义与Petri网模型 元素之间的语义映射,建立了PES与扩展PNML之间的数据映射规则,并以作战活动模型 为例详细说明了数据映射规则和转换算法;最后,以民间海上搜救体系结构为例,验证了所提方法的有效性。该方法实现了灵活、自动化的Petri网可 执行 模型 生成,打破了体现结构建模语言和Petri网模型 类型的限制。关键词：体系结构 可执行模型 基于体系结构物理交换规范的作战活动可 执行 模型 构建方法 2016年 模型 和作战规则模型 的数据模型 ;对基本Petri网交换规范进行扩展,形成扩展Petri网的数据交换规范;建立活动模型 相关数据与扩展Petri网交换规范的映射规则,根据映射规则自动生成作战活动Petri网模型 ,并研制了可 执行 模型 自动生成工具。最后,通过案例验证了方法的合理性。关键词：体系结构 可执行模型 基于DoDAF的可 执行 模型 改进方法 被引量：5 2016年 可 执行 模型 转换已成为评估系统动态逻辑、行为以及性能的重要方法,参与构建可 执行 模型 的体系结构产品越丰富,可 执行 模型 的验证能力就越强.为了进一步扩展可 执行 模型 —着色Petri网(Coloured Petri Nets,CPN)对系统动态行为的验证范围,提出了DoDAF1.0下构建体系结构可 执行 模型 的改进方法,将OV2纳入了构建可 执行 模型 的体系结构产品序列,建立了OV2与OV5融合模型 ,最终结合案例分析说明了该方法的可 行性.关键词：DODAF CPN 可 执行 模型 的在线形式验证可 执行 模型 的在线形式验证。一种可 执行 系统的自动形式验证的系统和方法包括声明监测器，所述声明监测器配置成相对于规格书中的声明来验证系统。所述声明监测器包括：剖析器，所述剖析器配置成使用布尔命题来产生表示规格书中的...复杂系统的可 执行 模型 仿真方法研究 被引量：1 2014年 模型 不可 执行 造成的问题,提出了一种复杂系统可 执行 模型 仿真方法。从复杂系统的精确模型 定义入手,将复杂系统模型 分为结构模型 和行为模型 ,扩展fUML元模型 得到复杂系统的可 执行 元模型 ,使用这些元模型 来构建复杂系统的可 执行 模型 ,并为可 执行 模型 定义了行为语义。为了支持可 执行 模型 的仿真,设计了相应的仿真执行 系统,定义模型 仿真所需要的仿真语言和执行 规约,将行为模型 转换为可 执行 的进程项,依据执行 规约对进程项进行仿真执行 来实现复杂系统的可 执行 模型 仿真。最后以区域防空系统为例说明了方法的可 行性。关键词：复杂系统 可执行模型 基于SysML的可 执行 模型 验证工具的研究与实现 模型 驱动开发(Model Driven Development，MDD)可 以应用于系统工程领域。由于模型 驱动开发对自动代码生成的支持...关键词：模型驱动开发 系统建模语言 可执行模型 基于模型 转换的C4ISR体系结构可 执行 模型 构建 被引量：6 2014年 可 执行 模型 构建效率低、重用性差所造成的体系结构验证困难,实现自动化的可 执行 模型 构建,提出了一种基于模型 转换的C4ISR体系结构可 执行 模型 构建方法。该方法基于国际国防企业体系结构本体规范(international defense enterprise architecture specification,IDEAS),构建了C4ISR体系结构作战视图元模型 ;建立了对象Petri网(object Petri-net,OPN)建模元素与体系结构元模型 数据元素的映射关系,重点研究了几种通用流程模式下体系结构元模型 数据与OPN之间的语义转换规则;最后,以某防空作战指挥信息系统体系结构为例,依据获取的体系结构数据,基于以上方法有效地构建了验证作战规则的OPN模型 。关键词：可执行模型 对象PETRI网
相关作者
罗爱民 作品数：232 被引量：572 H指数：14 供职机构：国防科学技术大学 研究主题：体系结构 信息系统 C^4ISR 存储介质 作战 王智学 作品数：117 被引量：301 H指数：10 供职机构：解放军理工大学 研究主题：本体 体系结构 C^4ISR系统 C^4ISR C4ISR系统 罗雪山 作品数：398 被引量：1,342 H指数：17 供职机构：国防科学技术大学 研究主题：体系结构 C^4ISR C^3I系统 C^4ISR系统 PETRI网 杨克巍 作品数：257 被引量：733 H指数：14 供职机构：国防科学技术大学 研究主题：作战 存储介质 武器装备体系 武器装备 电子设备 陈英武 作品数：590 被引量：2,104 H指数：24 供职机构：国防科学技术大学 研究主题：卫星 调度 成像卫星 敏捷卫星 任务调度
