收藏本站
《国防科学技术大学》 2005年
收藏 | 手机打开
二维码
手机客户端打开本文

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

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

手机知网App
【引证文献】
中国博士学位论文全文数据库 前3条
1 朱怡;潜艇航行训练模拟器模型简化与参数优化研究[D];哈尔滨工程大学;2009年
2 任彦;网络中心战条件下C2组织的知识服务建模方法研究[D];国防科学技术大学;2006年
3 唐见兵;作战仿真系统可信性研究[D];国防科学技术大学;2009年
【参考文献】
中国期刊全文数据库 前10条
1 吴立人;仿真模型有效性定量确认方法[J];导弹与航天运载技术;2000年04期
2 刘复岩;仿真系统概念模型的有效性确认[J];电子科技大学学报;1995年04期
3 李鹏波,蔡洪,张士峰;仿真可信性研究的方法和应用[J];飞航导弹;1999年05期
4 赵敏荣,高鹏,惠剑;大型复杂仿真系统模型验证的有效途径[J];航空计算技术;2003年02期
5 贾荣珍,彭晓源,王行仁;飞行模拟器建模、验模和性能测试与评估[J];航空学报;1998年01期
6 陈烺中,李为民;面向对象的复杂作战仿真系统概念模型设计[J];火力与指挥控制;2004年02期
7 宋海凌;浅析仿真系统的概念模型[J];舰船电子工程;2004年01期
8 王云,刘又诚,周伯生;UML可视化建模系统的模型一致性检查机制[J];计算机研究与发展;2000年01期
9 王勇军,王意洁,徐明,胡守仁;行为建模语言的研究与实现[J];计算机工程;1999年02期
10 李鹏波,张金槐;仿真可信性的研究综述[J];计算机仿真;2000年04期
【共引文献】
中国期刊全文数据库 前10条
1 张世海;段慧杰;;高层建筑基础选型特征与过程[J];四川建筑科学研究;2005年06期
2 王金亮;陈全;;模糊层次综合分析法在油库安全评价中的应用[J];安防科技;2011年04期
3 王金亮;陈全;;模糊层次综合分析法在油库安全评价中的应用[J];安防科技;2011年10期
4 李淑元;矛盾问题的物元模型及解法[J];安徽大学学报(自然科学版);1995年S1期
5 王庚;转换桥的几何模型[J];安徽工程科技学院学报;2002年03期
6 曹鹏,崔靖;室内空气品质综合评价的灰色物元分析法[J];安徽工程科技学院学报(自然科学版);2004年02期
7 杨益民;可拓集合的若干性质[J];安徽机电学院学报(自然科学版);1997年04期
8 徐建平;互斥方案价值分析应用研究[J];安徽机电学院学报(自然科学版);1997年04期
9 刘坤;焦国明;;农业需水预测方法研究[J];安徽农业科学;2007年34期
10 刘家福;梁雨华;马国斌;;基于GIS的淮河流域洪水灾害综合风险评价[J];安徽农业科学;2010年05期
中国重要会议论文全文数据库 前10条
1 霍光杰;;突发地质灾害应急平台建设简述[A];河南地球科学通报2009年卷(下册)[C];2009年
2 叶东;马亚平;;联合火力打击中航空兵对地火力突击作战方案模拟生成系统的设计[A];'2003系统仿真技术及其应用学术交流会论文集[C];2003年
3 顾克庆;季焕胜;;基于ISM的城市交通可持续发展体系构建研究[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
4 陈楚湘;王运成;尚长兴;王上攀;陆小飞;;军校学员综合素质评估体系研究[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
5 张启义;付程钢;范从龙;;模糊综合评判法在第三方物流服务商选择中的应用[A];经济全球化与系统工程——中国系统工程学会第16届学术年会论文集[C];2010年
6 赵美风;席建超;葛全胜;;基于物元模型的生态旅游区旅游季节水质时空变化评价研究——以六盘山生态旅游区为例[A];发挥资源科技优势 保障西部创新发展——中国自然资源学会2011年学术年会论文集(下册)[C];2011年
7 张冬冬;郭勤涛;;主分量法在结构动力学模型确认中的应用[A];第十届全国振动理论及应用学术会议论文集(2011)下册[C];2011年
8 郑宇;王立文;唐华;;基于纵向小扰动运动方程的飞行系统数值模拟研究[A];第五届全国流体传动与控制学术会议暨2008年中国航空学会液压与气动学术会议论文集[C];2008年
9 魏阳;薛青;王建伟;刘广洋;;虚拟环境中半自治作战智能体技术及应用[A];图像图形技术与应用进展——第三届图像图形技术与应用学术会议论文集[C];2008年
10 李亚楠;付耀文;朱玉鹏;黎湘;;基于最优传递矩阵的改进型AHP威胁等级评判方法[A];第十三届全国信号处理学术年会(CCSP-2007)论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 朱怡;潜艇航行训练模拟器模型简化与参数优化研究[D];哈尔滨工程大学;2009年
2 董慧群;代建制项目风险预警管理研究[D];辽宁工程技术大学;2010年
3 张静;深圳湾水环境综合评价及环境容量研究[D];大连海事大学;2010年
4 石钦文;综合运输系统结构协调发展理论研究[D];北京交通大学;2010年
5 丁力平;面向质量特性的定制产品稳健设计技术及其应用研究[D];浙江大学;2010年
6 张秀芬;复杂产品可拆卸性分析与低碳结构进化设计技术研究[D];浙江大学;2011年
7 邹君;湖南生态水资源系统脆弱性评价及其可持续开发利用研究[D];湖南师范大学;2010年
8 王玉宝;节水型农业种植结构优化研究[D];西北农林科技大学;2010年
9 朱佳俊;不确定可拓群决策优化方法及应用[D];东华大学;2010年
10 焦鹏;导弹制导仿真系统VV&A理论和方法研究[D];国防科学技术大学;2010年
中国硕士学位论文全文数据库 前10条
1 刘洋;我国房地产上市企业综合绩效分析及战略发展方向研究[D];山东科技大学;2010年
2 张永宾;居住区景观设计方案评价方法初探[D];中南林业科技大学;2009年
3 赵鹏;基于模糊物元的中小型水电站增容改造方案研究[D];郑州大学;2010年
4 韩秋思;基于可拓工程的我国造船企业核心竞争力评价与提升策略研究[D];哈尔滨工程大学;2010年
5 马宏男;高速水下航行体半实物实时仿真系统研究[D];哈尔滨工程大学;2010年
6 董建;日桑公司采购流程业务外包中BPR应用研究[D];大连理工大学;2010年
7 姜敏;过程系统故障树的计算机辅助生成方法研究[D];大连理工大学;2010年
8 杨洋;城市交通发展战略环境评价替代方案研究[D];大连理工大学;2010年
9 邵英安;非玩家角色瞄准算法的研究[D];辽宁师范大学;2010年
10 史大运;胶州湾适航资源分析及航道通航环境安全综合评价[D];中国海洋大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 张祥林;柏彦奇;李胜宏;;装备保障建模与仿真中的VV&A[J];兵工自动化;2007年07期
2 林新;王行仁;;基于树拓扑结构的多联邦系统[J];北京航空航天大学学报;2006年06期
3 宋晓;龚光红;李伯虎;;基于本体的仿真系统全生命周期管理[J];北京航空航天大学学报;2007年08期
4 赵国良;季鲁慧;;潜艇空间运动模型的简化和仿真[J];船舶工程;1991年04期
5 袁赣南,赵琳,刘鹰;潜艇损管应急操纵的运动仿真[J];船舶工程;1998年04期
6 梁超,王科俊,赵宏霞,金鸿章,李国斌;潜艇操纵的控制方法研究进展[J];船舶工程;1999年04期
7 段文洋,马山;船舶航行时水动力系数求解二维半理论的稳定算法[J];船舶力学;2004年04期
8 王燕飞,朱军,张振山;评估水动力系数对潜艇操纵性影响的一种方法[J];船舶力学;2005年05期
9 陈玮琪;颜开;史淦君;王士同;刘志勇;;水下航行体水动力参数智能辨识方法研究[J];船舶力学;2007年01期
10 王子才;现代仿真技术发展及应用[J];科技和产业;2002年02期
中国博士学位论文全文数据库 前10条
1 冯润明;基于高层体系结构(HLA)的系统建模与仿真研究[D];国防科学技术大学;2002年
2 徐振宁;基于本体的Web数据语义信息的表示与处理方法研究[D];中国人民解放军国防科学技术大学;2002年
3 郝建国;高层体系结构(HLA)中的多联邦互连技术研究与实现[D];中国人民解放军国防科学技术大学;2003年
4 董颖;知识服务机制研究[D];中国科学院研究生院(软件研究所);2003年
5 于华男;开架式水下机器人辨识与控制技术研究[D];哈尔滨工程大学;2003年
6 刘宝宏;多分辨率建模的理论与关键技术研究[D];国防科学技术大学;2003年
7 张柯;联邦全过程全系统管理方法及技术研究[D];国防科学技术大学;2005年
8 杜湘瑜;基于综合集成的虚拟样机测试与评估理论和方法研究[D];国防科学技术大学;2005年
9 朱承;基于资源类型的非集中式网格资源发现方法研究[D];国防科学技术大学;2004年
10 杨克巍;半自治作战agent模型及其应用研究[D];国防科学技术大学;2004年
中国硕士学位论文全文数据库 前10条
1 郑虎;肥大型船舶水动力导数的辨识及应用[D];大连理工大学;2002年
2 张鸿;基于任务情景的知识管理方法TCKM研究[D];浙江大学;2004年
3 郭真;AUV高精度组合导航技术研究[D];哈尔滨工程大学;2005年
4 强波;联邦开发与运行过程(FEDEP)的VV&A管理工具设计与实现[D];国防科学技术大学;2004年
5 王磊;防空导弹网络化作战C2系统结构研究[D];国防科学技术大学;2005年
6 刘云霞;海洋环境下水下潜器运动系统辨识的研究[D];哈尔滨工程大学;2006年
7 朱怡;水下潜器水动力模型简化及参数辨识研究[D];哈尔滨工程大学;2007年
8 郑立峰;数学仿真系统可信性评估[D];国防科学技术大学;2006年
9 彭勇;基于BOM的仿真模型组件测试方法研究[D];国防科学技术大学;2006年
10 杨海刚;×××模拟测试系统控制与管理分系统的可信性评估[D];国防科学技术大学;2006年
【二级引证文献】
中国期刊全文数据库 前5条
1 查亚兵;唐见兵;;基于主观综合评判的作战仿真可信度评估方法研究[J];国防科技大学学报;2010年06期
2 刘彬;米东;杜晓明;顾闯;;仿真系统概念模型验证方法的分析与选择[J];计算机仿真;2012年05期
3 张清辉;慕晓冬;李竞;王楠;;基于Petri网的仿真VV&A过程建模[J];火力与指挥控制;2012年10期
4 李文豪;李密;赵鹏;郑帅;;仿真概念模型可重用性评估[J];指挥控制与仿真;2012年02期
5 翟慎涛;顾健;占科鹏;;仿真模型可信度评估指标体系研究[J];系统仿真学报;2011年S1期
中国博士学位论文全文数据库 前3条
1 焦鹏;导弹制导仿真系统VV&A理论和方法研究[D];国防科学技术大学;2010年
2 冯磊;CGF协同行为建模关键技术研究[D];国防科学技术大学;2011年
3 闫志强;装备试验评估中的变动统计方法研究[D];国防科学技术大学;2010年
中国硕士学位论文全文数据库 前2条
1 郭娜;VV&A过程形式化建模与分析方法研究[D];哈尔滨工业大学;2011年
2 张大科;联合作战指挥控制决策及其共享框架研究[D];国防科学技术大学;2011年
【二级参考文献】
中国期刊全文数据库 前10条
1 贾荣珍,王行仁,詹文军;建模与仿真的校核、验证和确认工作模式[J];飞行力学;1999年01期
2 杨明,张冰,王子才,杜国琦;分布交互仿真系统VV&A和可信度评估[J];哈尔滨工业大学学报;1999年05期
3 贾荣珍;飞行仿真技术 第二讲 飞行系统建模与算法[J];测控技术;1994年03期
4 孟小峰;Web数据管理研究综述[J];计算机研究与发展;2001年04期
5 宋佳兴,周悦芝,刘卫东;基于Web的分布式信息系统体系结构模型[J];计算机工程与应用;2001年03期
6 黄浩,朱绍文,张大斌,王泉德,胡宏银,陆玉昌;一种基于Web的分布式信息管理系统[J];计算机工程与应用;2001年14期
7 汪惠芬,张友良,张帆;协同开发环境中的CAD/CAM集成数据管理的实现[J];计算机工程与应用;2001年24期
8 陈兵,王立松,周良,丁秋林;基于大型数据库平台的柔性MIS的设计与实现[J];计算机工程与应用;2002年06期
9 蔡俊杰;孙建伶;董金祥;;建立Web信息集成系统[J];计算机科学;2001年12期
10 魏华梁,刘藻珍,李钟武;制导兵器系统建模与仿真的校核综述[J];计算机仿真;2000年01期
【相似文献】
中国期刊全文数据库 前10条
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期
中国重要会议论文全文数据库 前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 本报评论员 张刃;年终考评形式化虚假化歪风当刹[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年
中国博士学位论文全文数据库 前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年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026