可执行体系结构

作品数:14被引量:68H指数:5
导出分析报告
相关领域:自动化与计算机技术自然科学总论更多>>
相关作者:罗雪山罗爱民姜军杨克巍葛冰峰更多>>
相关机构:国防科学技术大学空军预警学院华中科技大学解放军理工大学更多>>
相关期刊:《计算机工程》《系统仿真学报》《现代信息科技》《系统工程与电子技术》更多>>
相关基金:国家自然科学基金国家部委资助项目国家留学基金国防科技技术预先研究基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
基于xUML与DODAF的指挥信息系统可执行体系结构建模研究
《现代信息科技》2023年第5期24-29,共6页杨双泽 赵有华 朱丹 陈启航 
针对体系结构视图产品在验证系统动态行为及状态转换等方面存在的不足,难以有效保证所建模型与具体军事需求的一致性,提出了基于xUML与DODAF的可执行体系结构建模及验证方法,分析了该方法的可行性与适用性,及其在验证系统动态行为方面...
关键词:可执行体系结构 体系结构验证 可执行统一建模语言 动作规约语言 
集成体系可执行体系结构的结构分析方法
《指挥与控制学报》2017年第3期224-229,共6页叶巍 廖晶静 裴康乐 
国家自然科学基金(61273207)资助~~
为全面揭示集成体系的结构性质,提出了一种基于DoDAF视角模型构建的集成体系可执行体系结构的结构分析框架.通过分析面向状态和面向行为的建模工具,比较研究了Petri网、自动机与事件结构图建模和分析的优劣势;基于集成体系可执行体系结...
关键词:集成体系 DODAF 可执行体系结构 结构分析 
基于P-DEVS的可执行体系结构建模与仿真方法被引量:5
《系统仿真学报》2016年第2期283-291,共9页胡建鹏 黄林鹏 
国家自然科学基金项目(61232007;91118004)
可执行体系结构建模与仿真验证在复杂大系统和体系的设计与构建中起着至关重要的作用,但目前相关的概念和方法还不是很成熟,缺乏统一的认识和标准,针对不同的可执行需求存在着很多不同的执行机制和执行环境。分析和总结了可执行体系结...
关键词:离散事件系统规范 可执行体系结构 系统的系统 建模与仿真 
基于xUML的DoDAF可执行体系结构开发与验证被引量:8
《系统仿真学报》2014年第1期152-158,共7页陈岩 李志淮 谭贤四 朱刚 
可执行体系结构可以通过仿真执行,验证体系结构的正确性与合理性。针对DoDAF v2.0可执行体系结构开发与验证问题,结合DoDAF v2.0体系结构模型特点和面向对象的体系结构开发方法,应用xUML及ASL,开发DoDAF v2.0可执行体系结构,给出了基于x...
关键词:DODAF V2 0构架 可执行体系结构 面向对象方法 XUML ASL 
基于元模型的可执行体系结构建模方法被引量:1
《军事运筹与系统工程》2013年第4期70-74,共5页李龙 
国家自然科学基金资助项目(70971131;71031007;71001104;70901074)
可执行模型是进行体系结构分析的一种有效方法,但是现有可执行建模方法都是利用部分视图模型转换得到可执行模型,无法充分发挥以数据为中心方法的优势,并且由于视图模型的半形式化特性,无法确保可执行模型转换的一致性。为了弥补现有可...
关键词:体系结构 可执行建模 DoDAF元模型 着色PETRI网 
基于可执行模型的DoDAF体系结构验证被引量:4
《火力与指挥控制》2013年第11期99-103,共5页陈岩 王红 谭贤四 李志淮 
针对DoDAF体系结构的验证问题,提出了基于xUM开发可执行模型及应用可执行模型验证体系结构的方法。首先,为了开发DoDAF体系结构的可执行模型,在分析DoDAF 2.0体系结构模型特点的基础上,给出"状态转移描述"模型的开发方法和步骤,并对活...
关键词:DODAF 2 0构架 可执行体系结构模型 体系结构验证 XUML ASL 
基于xUML的DoDAF可执行体系结构构建
《空军雷达学院学报》2012年第4期293-297,共5页陈岩 谭贤四 李志淮 朱刚 
为构建可执行体系结构,实现体系结构的仿真执行,获取体系结构的动态信息,验证其动态特性,针对可执行体系结构开发问题,首先分析了DoDAF V2.0和模型驱动体系结构(MDA)的核心开发思想,讨论了以MDA指导DoDAF V2.0可执行体系结构开发的理论...
关键词:DoDAFV2.0构架 可执行体系结构 模型驱动体系结构 可执行建模语言 
体系结构可执行研究的现状和未来被引量:5
《指挥信息系统与技术》2012年第3期16-19,44,共5页张晓雪 罗爱民 罗雪山 
国家自然科学基金(71171197)资助项目
体系结构可执行研究是体系结构设计方案验证评估的重要途径。分析了现有体系结构可执行研究的方法,介绍了可执行体系结构的研究现状,提出了可执行方法以研究体系结构的趋势。
关键词:体系结构 可执行模型 可执行体系结构 体系结构验证评估 
基于SOA的C^4ISR可执行体系结构被引量:6
《火力与指挥控制》2012年第1期52-56,共5页王磊 罗雪山 罗爱民 
国家自然科学基金(70601036);"十一五"国防预研基金资助项目(51306010302)
现有的C4ISR可执行体系结构验证评估过程中面向特定的作战想定,难以描述和验证系统资源之间的动态连接关系以支持作战视图中作战任务过程的动态变化。结合SOA思想对C4ISR体系结构框架进行扩展引进了服务视图,通过分析服务视图与原有作...
关键词:C4ISR体系结构 可执行体系结构 SOA 服务视图 
基于SysML的可执行体系结构框架被引量:3
《计算机工程》2011年第22期39-41,共3页张炜钟 王智学 赵文 
国家"863"计划基金资助项目(2007AA01Z126);"十一五"国家部委基金资助项目
目前可执行体系结构的相关研究缺乏统一的描述框架和分析设计方法。为此,结合系统建模语言(SysML)中的行为图、需求图和结构图,改进美国国防部体系结构框架的三视图体系结构,在此基础上提出一种可执行体系结构框架模型,并规范可执行开...
关键词:统一建模语言 可执行体系结构 系统建模语言 建模 美国国防部体系结构框架 
检索报告 对象比较 聚类工具 使用帮助 返回顶部