收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

任务空间概念建模技术及其VV&A研究

何晓晔  
【摘要】:任务空间概念模型是现实世界军事知识的第一层抽象,是军事专家知识和经验的结晶,是军事专家之间相互交流的基础,也是模型质量检查的基础。任务空间概念模型也为军事人员和技术人员之间的沟通架起了一座桥梁,是整个作战模拟系统开发的根据。所以,高质量的任务空间概念模型,有助于提高作战模拟系统的逼真度和互操作性。需求的迫切性,驱动着作战模拟系统的开发和研究,同时也使越来越多的人认识到概念模型研究的必要性和重要性。本论文在总结任务空间概念模型实践经验的基础上,研究了我军任务空间概念建模的一系列问题,主要内容如下: 1) 借鉴通用本体的思想,建立了一种任务空间概念模型的元模型,并用通用本体语言(GOL)对该元模型进行检查。 2) 在元模型的基础上,借鉴多视图建模和可视化建模的思想,提出了任务空间概念建模语言(MSCML),详细描述了每一种建模元素、关系及其可视化标记,提出了任务空间概念建模过程,形成了适合我军特点的任务空间概念建模方法。 3) 提出了任务空间概念模型的质量评估指标,并基于该指标集,提出了两阶段专家确认方法。 4) 建立了任务空间概念模型的形式化描述,提出了轻量级概念模型和规范概念模型的定义,并建立了轻量级概念模型的执行机制,提出了形式化校核方法和执行验证方法,引入了基于可拓学的任务空间概念模型质量评估方法。 5) 设计了任务空间概念建模支持工具,以支持论文所提出的任务空间概念建模方法,规范概念模型的开发,提高开发效率,并支持模型的管理。 6) 针对潜舰对抗案例进行了任务空间概念建模实践,以验证本文提出的任务空间概念建模方法。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张广泉;关于软件形式化方法[J];重庆师范学院学报(自然科学版);2002年02期
2 虞慧群,宋国新,邵志清;MRPII系统开发的一种形式化方法[J];华东理工大学学报;1998年03期
3 廖晓文;刘美;;基于UML与Petri网的嵌入式系统设计与验证[J];电子技术应用;2006年05期
4 金硕,何晓晔;概念模型元元模型初探[J];湖南科技学院学报;2005年11期
5 李来恩,周兴华;TBR-122A型双波段电台老化时间的分析[J];电子质量;1996年08期
6 秦磊华,余胜生;VPN协议的安全性分析与应用[J];武汉城市建设学院学报;2001年02期
7 吴清平,刘明业;VHDL事件驱动模拟核心库[J];计算机研究与发展;2002年01期
8 李慧芳,范玉顺;工作流系统时间管理[J];软件学报;2002年08期
9 钱萌,蒋东升,周晓民;基于FD-MDL和FD-SJ8088A实验仪的功能开发[J];安庆师范学院学报(自然科学版);2003年01期
10 王晓薇,李锋;防火墙包过滤规则正确性验证[J];沈阳教育学院学报;2003年03期
11 吴艳辉,陈建二,陈松乔;一种安全的比特承诺方案[J];小型微型计算机系统;2005年11期
12 曾利伟;吕川;;通信装备可靠性指标的确定及其验证[J];电子产品可靠性与环境试验;2006年01期
13 龚利;史杨;;浅析php中正则表达式的应用[J];郧阳师范高等专科学校学报;2009年03期
14 ;找不到本地连接中的“验证”选项[J];电脑爱好者;2010年06期
15 叶铭,张明,曹阳;双极模拟集成电路计算机辅助剖析和验证系统[J];电子学报;1992年05期
16 何新华,蔡红柳;基于状态变换的数字电路冗余确认研究[J];装甲兵工程学院学报;1998年01期
17 费景高;数字仿真模型的校核验证和测试(一)[J];计算机仿真;2000年01期
18 武骏,杜森,周远楣,陈惠勤,翁元举,毕力波,艾欣红;RTNet的建设运行和发展[J];电信网技术;2001年03期
19 操惊雷;VPN安全性分析与应用[J];黄冈职业技术学院学报;2002年04期
20 张欢欢,邵志清,宋国新;基于幂表的并行加法器的归纳验证[J];电子学报;2003年06期
中国重要会议论文全文数据库 前10条
1 蔡庆生;李凡长;徐金辉;;Fuzzy数学在知识量化形式化推理中的几点应用[A];复杂巨系统理论·方法·应用——中国系统工程学会第八届学术年会论文集[C];1994年
2 范红;冯登国;邹良惠;;数字签名技术及其在网络通信安全中的应用[A];第十六次全国计算机安全学术交流会论文集[C];2001年
3 王玉刚;;管式间接蒸发冷却器换热效率的分析及验证[A];2006福建省冷藏技术研讨会论文资料集[C];2006年
4 李富;魏春琳;周旭华;王登营;郭炯;经荥清;;高温气冷堆堆芯设计软件的发展[A];第十二届反应堆数值计算与粒子输运学术会议论文集[C];2008年
5 王芳;武俊梅;黄翔;汪周建;;管式间接蒸发冷却器传热、传质模型的建立及验证[A];第一届中国(西安)采暖通风、制冷空调节能减排技术研讨会论文集[C];2009年
6 陈玖玖;李先庭;马晓钧;邵晓亮;;一种全尺度流场测试新技术——三维粒子成像测速系统[A];全国暖通空调制冷2008年学术年会论文集[C];2008年
7 张建军;周继鹏;葛玮;;基于逻辑模型的DB模式向关系模式的形式化转换方法[A];第十一届全国数据库学术会议论文集[C];1993年
8 苏运霖;;并行编译中的区域调度问题[A];广西计算机学会2004年学术年会论文集[C];2004年
9 贾连兴;翟成功;刘德祥;;仿真模型校核、验证和确认之浅见[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
10 姜东升;许文才;;异型折叠纸盒的数学模型设计[A];第十一届全国包装工程学术会议论文集(二)[C];2007年
中国博士学位论文全文数据库 前10条
1 何晓晔;任务空间概念建模技术及其VV&A研究[D];国防科学技术大学;2005年
2 于江涛;多智能体模型、学习和协作研究与应用[D];浙江大学;2003年
3 孙笑侠;程序的法理[D];中国社会科学院研究生院;2000年
4 陈廷贵;22周孕龄人胎肝转录组及SARS-CoV(BJ-01)基因组的生物信息学研究[D];中国人民解放军军事医学科学院;2005年
5 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
6 王寿光;基于简化技术的离散事件系统控制器的综合[D];浙江大学;2005年
7 张浩;室间隔缺损患者心肌组织相关基因的筛选及验证[D];南京医科大学;2007年
8 艾萍;构件柔性组装描述的形式化方法研究及其在水利领域的应用[D];河海大学;2002年
9 纪杨建;面向产品方案的形式化设计关键技术研究[D];浙江大学;2003年
10 汪顺玉;语言测试构念效度研究[D];上海外国语大学;2006年
中国硕士学位论文全文数据库 前10条
1 苗长运;并行实时系统在BRCC中的形式化[D];广西师范大学;2010年
2 叶剑虹;Petri网的模拟与验证[D];西华大学;2006年
3 孙丽娜;言语交际中的语用推理述评[D];燕山大学;2009年
4 凌群芳;网络树形搜索引擎的设计及其验证[D];浙江大学;2005年
5 朱健松;一种基于RISC及DSP双内核集成芯片系统的研究[D];广东工业大学;2005年
6 廖晓文;基于UML与Petri网的嵌入式系统建模方法的研究[D];广东工业大学;2005年
7 陈娜;基于人工神经网络的预报型汽车安全气囊点火控制算法的研究[D];湖南大学;2005年
8 刘燕;面向对象的教学模式建模方法研究[D];四川师范大学;2005年
9 孟永刚;基于Petri网下的离散事件的模拟与动态系统的验证[D];西华大学;2006年
10 邹晓;一种使用受限的角色委托模型[D];兰州理工大学;2006年
中国重要报纸全文数据库 前10条
1 本报评论员 张刃;年终考评形式化虚假化歪风当刹[N];工人日报;2006年
2 杨曾宪;质疑高考改革的形式化趋势[N];发展导报;2002年
3 里冰;学生军训亟待走出形式化误区[N];中国改革报;2005年
4 党国英 (中国社会科学院) 聂辉华 (人民大学经济学院博士);杨小凯有多重要?[N];中国图书商报;2003年
5 本报记者 李红梅;健康档案莫形式化[N];人民日报;2011年
6 周一文;年终检查力戒形式化[N];巴音郭楞日报;2010年
7 江苏省中兴药业有限公司董事长 章之俊;药企应走出质量管理形式化误区[N];中国医药报;2011年
8 赵磊;落实安全制度莫搞形式化[N];人民铁道;2011年
9 杨建强;管理出效益的精彩验证[N];中国矿业报;2002年
10 向志柱;匿名审稿制形式化思考[N];中国审计报;2003年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978