可执行模型

作品数：32被引量：178H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：罗爱民王智学陈英武杨克巍罗雪山更多>>
相关机构：国防科学技术大学解放军理工大学华中科技大学国防科技大学更多>>
相关期刊：《组合机床与自动化加工技术》《上海理工大学学报》《管理科学与研究（中英文版）》《军械工程学院学报》更多>>
相关基金：国家自然科学基金国防科技技术预先研究基金国家高技术研究发展计划国家留学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于ROAD-CPN业务架构的可执行建模方法被引量：5
《上海理工大学学报》2023年第5期534-542,共9页黄凤兰 倪枫 刘姜 张敬鸿 拓开慧 
国家自然科学基金资助项目(12371508);教育部产学合作协同育人项目(220603760210846);上海市“大学生创新创业训练计划”资助项目(SH2022072)。
开放组架构框架(TOGAF)业务架构作为数据架构、应用架构和技术架构的基准,在企业系统架构设计中占据引导作用。但由于其自身描述形式的局限性,存在无法对系统业务架构框架动态特征进行分析的问题,故提出一种基于ROAD业务架构的着色petri...
关键词：系统架构 着色PETRI网 开放组织架构框架 业务流程 可执行模型 
基于ROAD元架构的业务层架构可执行建模方法
《管理科学与研究（中英文版）》2023年第1期88-93,共6页谢衡 倪枫 刘姜 拓开惠 张敬鸿 
国家自然科学基金资助项目(61403255、11701370);上海市“系统科学”高峰学科建设项目;上海市“大学生创新创业训练计划”资助项目。
本文基于ROAD元架构静态模型在仿真和模拟上的需求,在保留全部必要信息的前提下,以IDEF1x数据模型作为转化起点,对可执行CPN模型进行语义映射探索。以业务数据模型中的实体及其间关系为主体,业务组织模型、业务活动模型和业务规则模型...
关键词：ROAD元架构 着色PETRI网 TOGAF 可执行模型 
基于MBSE的直升机航电系统设计方法研究被引量：4
《电子技术与软件工程》2020年第23期69-70,共2页陈斌 
本文将采用业界主流的基于模型的系统工程(Model-Based Systems Engineering,MBSE)方法论—IBM Rational HarmonySE,进行航电系统的设计与测试,为航电系统设计开发提供标准的系统工程流程支撑,也能够借助模型在系统设计早期对系统进行验...
关键词：航电系统 MBSE Harmony-SE SYSML 可执行模型 航电系统设计与测试 
基于PES的Petri网可执行模型生成方法被引量：3
《系统工程与电子技术》2017年第5期1030-1035,共6页傅炯 罗爱民 罗雪山 刘俊先 
国家自然科学基金(71571189)资助课题
针对体系结构验证评估中可执行模型生成缺乏灵活性和扩展性的问题,提出了一种基于体系结构物理交换规范(physical exchange specification,PES)的Petri网可执行模型生成方法。该方法基于DoDAF 2.0提出的体系结构PES和支持对象化的扩展Pe...
关键词：体系结构 体系结构验证评估 可执行模型 物理交换规范 Petri网标记语言 
基于体系结构物理交换规范的作战活动可执行模型构建方法
《装备学院学报》2016年第6期127-132,共6页罗爱民 傅炯 
国家自然科学基金资助项目(71571189)
作战活动是体系结构的核心数据,保证作战活动的正确性是提高体系结构质量的关键。基于DoDAF2.0提出的体系结构数据物理交换规范,定义了作战活动模型和作战规则模型的数据模型;对基本Petri网交换规范进行扩展,形成扩展Petri网的数据交换...
关键词：体系结构 可执行模型 物理交换规范 扩展Petri网标记语言 
模型驱动的危机事件快速建模与分析方法被引量：5
《系统工程与电子技术》2016年第9期2055-2064,共10页李明浩 杨克巍 徐建国 谭跃进 
国家自然科学基金(71501182;71571185)资助课题
以2015年底俄土战机冲突事件为例,建立了基于模型驱动方法的快速建模与仿真分析框架,为类似军事冲突及争端事件应急判断提供快速建模与决策分析支持。通过场景建模、可执行逻辑分析和可视化仿真技术分别对危机事件进行静态结构建模、动...
关键词：危机事件 模型驱动 元模型 快速建模与分析 可执行模型 STK仿真 
基于DoDAF的可执行模型改进方法被引量：5
《指挥与控制学报》2016年第2期121-128,共8页刘正 张新强 王鸿飞 乔可春 
体系结构产品向可执行模型转换已成为评估系统动态逻辑、行为以及性能的重要方法,参与构建可执行模型的体系结构产品越丰富,可执行模型的验证能力就越强.为了进一步扩展可执行模型—着色Petri网(Coloured Petri Nets,CPN)对系统动态行...
关键词：DODAF OV2 CPN 动态行为 
水电厂生产管理系统中XML模型驱动架构的应用被引量：2
《电力信息与通信技术》2015年第5期87-92,共6页曹春兰 
针对以往发电集团水力发电企业在信息化过程中存在的功能重复开发实施、开发成本居高不下、后期系统维护代价较高的情况,文章提出了一种基于可扩展标记语言(e Xtensible Markup Language,XML)描述的轻量化模型驱动架构技术的快速开发实...
关键词：XML 模型驱动架构 可执行模型 软件构建 生产管理系统 
复杂系统的可执行模型仿真方法研究被引量：1
《系统工程与电子技术》2014年第10期1966-1972,共7页何红悦 王智学 朱卫星 董庆超 王庆龙 
国家自然科学基金(61273210);国防重点预研项目(51306010202)资助课题
针对复杂系统早期验证评估过程中,由于模型不可执行造成的问题,提出了一种复杂系统可执行模型仿真方法。从复杂系统的精确模型定义入手,将复杂系统模型分为结构模型和行为模型,扩展fUML元模型得到复杂系统的可执行元模型,使用这些元模...
关键词：复杂系统 可执行模型 可执行模型代数 模型验证 
基于模型转换的C4ISR体系结构可执行模型构建被引量：6
《系统工程与电子技术》2014年第8期1537-1543,共7页谢文才 于晓浩 朱鹏飞 
国家自然科学基金(71171197);中国博士后科学基金(2013T60919)资助课题
为解决当前可执行模型构建效率低、重用性差所造成的体系结构验证困难,实现自动化的可执行模型构建,提出了一种基于模型转换的C4ISR体系结构可执行模型构建方法。该方法基于国际国防企业体系结构本体规范(international defense enterpr...
关键词：C4ISR体系结构 体系结构验证 可执行模型 模型转换 对象PETRI网 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部