形式化描述

作品数：545被引量：1759H指数：18
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张广泉史建琦赵保华屈玉贵顾翔更多>>
相关机构：国防科学技术大学清华大学武汉大学中国科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=系统仿真学报x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于离散事件系统规范的复杂产品行为模型描述方法被引量：3
《系统仿真学报》2022年第4期661-669,共9页林清泉 杨佳然 张和明 
国家重点研发项目(2018YFB1701600)。
基于离散事件系统规范(discrete event system specification,DEVS)的多分辨率形式化描述具有层次化、结构化的描述能力,但对模块内部智能行为描述相对匮乏,而基于Agent的建模可以刻画个体的感知行为、通信协作和学习进化。在多分辨率...
关键词：复杂产品 多分辨率建模 行为建模 离散事件系统规范 形式化描述 
基于本体的仿真想定空间知识表达模型被引量：5
《系统仿真学报》2021年第5期1051-1061,共11页朱杰 张宏军 
中国博士后科学基金(2019M664028)。
军事仿真想定具有丰富的空间知识,与作战仿真的各类模型关系紧密,目前仿真想定知识描述缺少统一规范,需要构建一种符合空间思维的空间知识表达模型来有效解析仿真想定中空间实体及其相互关系。通过采用本体的方法建立空间知识领域本体...
关键词：仿真想定 空间知识 本体 知识树 形式化描述 
面向服务的航空指挥与保障作业流程建模方法
《系统仿真学报》2017年第8期1866-1872,共7页罗永亮 秦远辉 
结合典型装备航空指挥和保障综合仿真系统构建需求,针对航空指挥和保障复杂作业流程特点,提出了一种面向服务的航空指挥和保障作业流程建模方法。系统分析了当前航空指挥和保障作业流程存在的问题,在现有复杂作业流程建模方法基础上,给...
关键词：航空保障 流程建模 形式化描述 面向服务 
云制造中的制造能力服务形式化描述方法被引量：10
《系统仿真学报》2015年第9期2096-2107,共12页肖莹莹 李伯虎 柴旭东 公静 
国家863计划资助项目(2011AA040502)
针对云制造系统对制造能力服务的应用需求,研究了制造能力服务的统一描述及其形式化方法。分析了云制造环境下的制造能力服务的内涵,给出了其定义和分类框架;定义了制造能力服务的元模型及详细描述属性,使用基于对象-值-属性(entity-val...
关键词：云制造 制造能力 形式化描述方法 元模型 对象-值-属性模型 
反潜搜索方案的形式化描述与效能计算被引量：1
《系统仿真学报》2013年第S1期353-357,共5页卫翔 齐新战 王金树 肖滨 
为满足在复杂水声环境下反潜搜索方案制定和辅助决策的需求,提出了一种反潜搜索方案的形式化描述方法。在研究离散事件仿真和解析计算的基础上,提出了一种基于离散事件仿真的高效反潜搜索方案效能验证与评估分析的方法,并实现了该模型...
关键词：反潜搜索方案 形式化 离散事件仿真 效能计算 辅助决策 
基于MSDL和C-BML的想定形式化描述被引量：13
《系统仿真学报》2011年第8期1724-1728,共5页杨山亮 黄健 尹航 赵鑫业 
作战想定的形式化描述是将概念模型转化为计算机可以识别的数据形式,统一的形式化标准对提高想定的可重用性以及作战领域的互操作性具有重要意义。首先,简单介绍了军事想定定义语言MSDL和联合作战管理语言C-BML,然后提出了一种基于MSDL...
关键词：想定 MSDL C-BML 形式化描述 
分布仿真实验方案的形式化描述被引量：1
《系统仿真学报》2011年第5期917-920,949,共5页彭春光 刘晓铖 张柯 邱晓刚 
分布仿真实验管理系统摒弃了分布仿真系统传统的手工运行方式,实现了对仿真实验全方位全过程的管理,提高了实验的自动化程度和运行效率。分布仿真实验方案的形式化是系统运行的重要基础。首先指出仿真想定在仿真实验过程描述方面的不足...
关键词：分布仿真实验方案 形式化 分布仿真实验管理系统 想定 
雷达预警探测系统组合建模研究
《系统仿真学报》2009年第14期4507-4512,共6页蔡万勇 李侠 万山虎 吴宝花 
中电14所基金项目
针对雷达预警探测系统具备"系统的系统"特性,对其可组合化建模研究已成为当前研究其内在规律的最新热点发展区。在对雷达预警探测系统问题域和仿真域中组合建模需求进行分析的基础上,重点提出了以MDA、UML、Web Servers、XML、形式化表...
关键词：雷达预警探测系统 组合建模 形式化描述 可组合性 
装备指挥训练任务空间概念模型研究
《系统仿真学报》2009年第S2期18-22,共5页刘兵 郑怀洲 赵宏宇 
按照构件层次划分原则,将装备指挥训练任务空间概念模型划分为三个层次:仿真系统层次、仿真应用层次和仿真服务层次;探讨了任务空间概念模型的开发过程,按照"面向实体的作战建模方法",将任务空间概念模型开发过程分为:识别实体、实体属...
关键词：装备指挥训练 任务空间概念模型 形式化描述方法 IDEF0 UML 
装备指挥训练模拟需求概念模型研究被引量：1
《系统仿真学报》2009年第S1期28-31,共4页郑怀洲 刘兵 
需求概念模型是对模拟系统整体与细节期望的描述。按照构件层次划分原则,将装备指挥训练模拟需求概念模型划分为三个层次:仿真系统层次、仿真应用层次和仿真服务层次;探讨了需求概念模型的开发过程,按照"Volere需求过程模型"的思想,将...
关键词：装备指挥训练 需求概念模型 形式化描述方法 UML 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部