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

面向DEVS的多范式建模与仿真关键技术研究与实现

陈彬  
【摘要】:随着军事领域联合作战、工程领域载人航天和社会领域应急管理等复杂系统的规模的日益扩大,传统建模与仿真方法难以满足其对多领域和仿真性能等方面更高的要求。而多范式建模与仿真方法,这一新的复杂系统建模与仿真支撑技术对于适应多体系联合作战等复杂系统仿真具有重要意义,故对此关键技术的研究显得非常重要。论文针对多体系联合作战,从理论基础、模型变换方法和仿真优化方法三个方面对多范式建模与仿真方法进行系统的研究。 多范式建模方法的理论基石是一般系统理论和模型变换方法。复杂系统的多领域性由一般系统理论衍生出的大量基本形式化方法支持;而仿真一致性则由模型变换和仿真互联方法保证。对离散事件系统规范(Discrete EVent System specification,DEVS)的研究表明,DEVS可以等价描述其他连续和离散的形式化方法。因此,在基于元模型的模型变换理论指导下,论文选择DEVS作为通用仿真形式化方法(General Property Simulation Formalism,GPSF),研究将多体系联合作战系统中多领域模型变换为DEVS模型的一系列方法: (1)对描述宏观行为的StateCharts模型变换为DEVS模型的方法进行研究,以解决高低层次模型之间协同仿真的问题。变换方法建立了包括语法、状态和事件三个方面的变换规则,实现了迁移、使能条件和历史状态的等价以保证规则的完备性。 (2)对组件化的BOM模型变换为DEVS模型的方法进行了研究,以重用BOM模型。变换方法采用将组件内核映射到DEVS模型的方式实现从BOM到DEVS的变换,证明了采用相同组件内核的DEVS-CK模型与BOM组件模型是等价的。 (3)基于DEVS耦合模型的耦合和封闭特性,对DEVS耦合模型的扁平化方法进行研究。通过剥离模型层次化和构造扁平化原子模型两个步骤完成耦合模型的扁平化,从而解决高耦合度模型通信效率低的问题。 (4)对多体系联合作战系统中连续-离散混合系统的模型描述问题进行研究,提出利用Modelica语言描述混合系统DEVS模型的方法。实现了Modelica-DEVS编译器,将Modelica模型编译为可以执行的仿真模型。 在模型变换方法的基础上,为了提高仿真运行效率,论文分别从分布式仿真和模型活跃度两个角度对DEVS仿真的优化方法进行了研究: (1)提出了基于MPI的分布式并行仿真框架,设计了支持乐观时间策略的DEVS仿真引擎以提高仿真性能。同时,在仿真框架中实现了错误探测、状态存储和系统恢复的算法使其具备了容错能力。 (2)基于模型活跃度提出了活跃度增强式建模方法,在领域模型中嵌入融合活跃度元模型(Activity Combined Meta Model,ACMM)实现活跃度操作。在追踪活跃度和资源占用量化方法的支持下,资源敏感(Resource-aware)仿真框架通过计算活跃度进行资源的重分配,达到最优配置。 此外,论文还提出了基于代理模型的仿真互联方法,解决DEVS和高层体系结构(High Level Arichitecture,HLA)仿真系统的互联问题;讨论了基于Web的仿真过程管理方法,支持对异构仿真系统的一体化管理工作,通过合理配置仿真资源优化系统运行。 基于以上研究工作,论文设计和实现了面向DEVS的多范式建模与仿真原理样机系统。在建模阶段,系统引用多种建模工具进行多领域建模,通过模型变换获得模型的一致性描述;在仿真阶段,系统利用基于Web的仿真实验管理工具和态势统计工具实现了B/S结构的仿真运行架构。最后通过多体系联合作战用例的测试,验证了论文所研究的多范式建模与仿真方法的可行性。
【学位授予单位】:国防科学技术大学
【学位级别】:博士
【学位授予年份】:2010
【分类号】:TP391.9

手机知网App
【参考文献】
中国期刊全文数据库 前10条
1 王江云,王行仁;基于HLA的协同仿真运行管理集成环境[J];北京航空航天大学学报;2003年03期
2 王飞跃;;关于复杂系统的建模、分析、控制和管理[J];复杂系统与复杂性科学;2006年02期
3 刘晨,王维平,朱一凡;状态机嵌入DEVS的组合建模方法研究[J];国防科技大学学报;2005年05期
4 陈彬;王全民;龚建兴;黄柯棣;;作战模拟态势显示中的通用性技术研究[J];国防科技大学学报;2009年06期
5 鹿旭东;万建成;;元模型支持下的模型转换[J];计算机工程与应用;2005年36期
6 钱俊彦;赵岭忠;;基于LTS的Statecharts操作语义研究[J];计算机工程;2006年22期
7 梁冰;刘群;;基于UPPAAL的数据关联时序有限自动机模型验证[J];计算机工程;2007年22期
8 余修端;孙秀霞;秦硕;;全数字通用飞行仿真平台的设计与实现[J];计算机工程;2008年17期
9 陈彬;刘宝宏;黄柯棣;;组件式仿真系统中基于Web的管理控制方法[J];计算机工程;2009年24期
10 王学斌;吴泉源;史殿习;;模型驱动架构中的模型转换方法[J];计算机工程与科学;2006年11期
中国博士学位论文全文数据库 前2条
1 王学慧;并行与分布式仿真系统中的时间管理技术研究[D];国防科学技术大学;2006年
2 龚建兴;基于BOM的可扩展仿真系统框架研究[D];国防科学技术大学;2007年
中国硕士学位论文全文数据库 前1条
1 段明秀;层次聚类算法的研究及应用[D];中南大学;2009年
【共引文献】
中国期刊全文数据库 前10条
1 邓群钊;贾仁安;梁英培;;多层次多轮实地群决策法及其应用[J];安徽农业科学;2006年08期
2 杨朗;陈恩海;黄立飞;;系统科学在害虫管理中的应用[J];安徽农业科学;2009年21期
3 李广水;宋丁全;;数据分析在森林资源调查中的应用及发展研究[J];安徽农业科学;2009年22期
4 郭甲生;秦朝葵;;基于Modelica的火花点火沼气发动机参数分析[J];安徽农业科学;2010年28期
5 于晓峰,陈雪波,王丽莉;人机结合与综合集成思想在线材生产过程控制的应用[J];鞍山科技大学学报;2004年03期
6 宋波,叶文虎;从增长和稳定的角度重新认识可持续发展的内涵[J];北京大学学报(哲学社会科学版);2004年04期
7 戴汝为;“人机结合”的大成智慧[J];北方工业大学学报;1996年03期
8 方芳;;金融复杂系统脆性理论在金融危机分析中的应用[J];北方经济;2011年06期
9 杜鹏,杨肇夏,赵闯;基于组件的仿真系统通用数据管理方法研究[J];北京交通大学学报;2004年06期
10 张江;李学伟;;认知模型与统一集[J];北京交通大学学报;2005年06期
中国重要会议论文全文数据库 前10条
1 吴庆洲;;迎接中国城市营建史研究之春天[A];《营造》第五辑——第五届中国建筑史学国际研讨会会议论文集(上)[C];2010年
2 邓方;陈杰;陈文颉;朱琳;;元胞自动机及其在兵力推演中的建模与仿真[A];第二十六届中国控制会议论文集[C];2007年
3 刘颖;刘全利;王伟;;基于SystemC的离散事件系统仿真[A];第二十六届中国控制会议论文集[C];2007年
4 王春生;吴敏;曹卫华;;基于集成预测模型与专家推理策略的铅锌烧结配料优化方法[A];第二十六届中国控制会议论文集[C];2007年
5 曾成;赵锡均;徐红;;基于量子遗传算法的聚类方法[A];第二十九届中国控制会议论文集[C];2010年
6 魏红英;黄石旺;;混沌理论的前沿性及其对公共行政的贡献[A];地方政府发展研究(第三辑)[C];2008年
7 赵德勇;刘建国;;基于复杂性科学的综合集成研讨厅研究现状与发展[A];'2003系统仿真技术及其应用学术交流会论文集[C];2003年
8 陈宗海;董道毅;张陈斌;;量子控制研究综述[A];'2003系统仿真技术及其应用学术交流会论文集[C];2003年
9 张涛;吴京;周一宇;安玮;;基于HLA的综合电子战仿真系统设计[A];'2003系统仿真技术及其应用学术交流会论文集[C];2003年
10 朱少卫;张志虎;徐彦明;;某型地空导弹指挥系统作战软件的仿真设计[A];'2003系统仿真技术及其应用学术交流会论文集[C];2003年
中国博士学位论文全文数据库 前10条
1 王成龙;复杂机电系统统一建模与仿真技术研究[D];山东科技大学;2010年
2 杨莉;基于可持续发展的我国电源结构优化研究[D];哈尔滨工程大学;2010年
3 黄希发;大型场馆人员疏散仿真研究[D];哈尔滨工程大学;2010年
4 徐森;文本聚类集成关键技术研究[D];哈尔滨工程大学;2010年
5 于翔;基于网格的数据流聚类方法研究[D];哈尔滨工程大学;2010年
6 王劲松;复杂系统脆性理论及其在电力系统风险分析中的应用[D];哈尔滨工程大学;2010年
7 赵金宪;复杂系统脆性理论在煤矿生产系统脆性风险评价中的应用[D];哈尔滨工程大学;2010年
8 石云龙;基于CAS理论的地震紧急救援系统模型构建与模拟仿真[D];中国地质大学(北京);2010年
9 陶有德;可修复模型的系统分析[D];北京信息控制研究所;2010年
10 徐红波;基于空间填充曲线高维空间查询算法研究[D];哈尔滨理工大学;2010年
中国硕士学位论文全文数据库 前10条
1 贾慧文;弘宇公司库存管理系统动力学模型研究[D];山东科技大学;2010年
2 谢娟;《钱学森书信》的哲学价值[D];广西师范学院;2010年
3 夏启明;航空相机动态分辨率检测系统研究[D];长春理工大学;2010年
4 艾广燚;基于DSP的航空相机地面景物模拟系统的研究[D];长春理工大学;2010年
5 刘文昊;基于模糊聚类和纹版辅助的织物疵点检测算法研究[D];浙江理工大学;2010年
6 江明月;web应用的需求检查[D];浙江理工大学;2010年
7 李振;网络舆情预测关键技术研究[D];郑州大学;2010年
8 余龙;基于多领域统一建模的液压支架建模与仿真[D];郑州大学;2010年
9 吴国强;无人机航迹跟踪控制方法研究[D];哈尔滨工程大学;2010年
10 丁金凤;基于网格与密度的数据流聚类算法研究[D];哈尔滨工程大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 李连伟,荣燕妮;WGS84和BJ54坐标转换问题探讨[J];测绘与空间地理信息;2004年01期
2 胡峰,胡保生;并行计算技术与并行算法综述[J];电脑与信息技术;1999年05期
3 刘志成,文全刚;“K-中心点”聚类算法分析及其实现[J];电脑知识与技术;2005年06期
4 吕振肃,侯志荣;自适应变异的粒子群优化算法[J];电子学报;2004年03期
5 李洁;高新波;焦李成;;基于特征加权的模糊聚类新算法[J];电子学报;2006年01期
6 黄修丹;数据挖掘领域中的聚类分析及应用[J];闽江学院学报;2004年05期
7 李耀东,崔霞,戴汝为;综合集成研讨厅的理论框架、设计与实现[J];复杂系统与复杂性科学;2004年01期
8 王飞跃,史帝夫·兰森;从人工生命到人工社会——复杂社会系统研究的现状和展望[J];复杂系统与复杂性科学;2004年01期
9 王正中;经济系统预期行为的建模与仿真研究[J];复杂系统与复杂性科学;2004年02期
10 王飞跃,汤淑明;人工交通系统的基本思想与框架体系[J];复杂系统与复杂性科学;2004年02期
中国博士学位论文全文数据库 前2条
1 张琦;使命空间功能描述理论和方法研究[D];国防科学技术大学;2005年
2 张颖;数据采掘的研究与应用[D];中国科学院研究生院(计算技术研究所);1999年
中国硕士学位论文全文数据库 前4条
1 肖育劲;基于网络的分布式机群并行仿真平台开发[D];重庆大学;2003年
2 吴延林;仿真模型库系统的研究与实现[D];国防科学技术大学;2005年
3 彭勇;基于BOM的仿真模型组件测试方法研究[D];国防科学技术大学;2006年
4 马海军;基于HLA的通用作战视景仿真工具研究[D];国防科学技术大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 刘忠,邓苏,沙基昌,张维明;DEVS的面向对象可视化建模[J];计算机仿真;2001年01期
2 唐俊,张明清,刘建峰;离散事件系统规范DEVS研究[J];计算机仿真;2004年06期
3 宫民,王行仁,贾荣珍;基于模型库/数据库的面向对象综合仿真环境框架[J];系统仿真学报;2000年06期
4 王维平;雷永林;李群;;基于MDA的DEVS/SMP2变换模型研究[J];系统仿真学报;2008年22期
5 范文慧;肖田元;郭斌;熊光楞;;基于HLA和DEVS的综合保障分布式仿真的研究[J];系统仿真学报;2006年S2期
6 魏洪涛,李群,王维平;基于网格的离散事件仿真服务设计[J];系统仿真学报;2005年10期
7 隋爱娜,吴威;虚拟装配环境体系结构的建模机制与分析设计[J];系统仿真学报;2001年S2期
8 李明;张根保;;制造过程中质量控制系统的因果追溯性研究[J];中国计量学院学报;2007年04期
9 胡睿;张国春;柳少军;;基于DEVS的防空作战模型可重用性研究[J];系统仿真学报;2011年S1期
10 赵煜辉;安玉艳;孙鲁伟;高远;;一个覆盖网络的并行仿真方法[J];东北大学学报(自然科学版);2007年08期
中国重要会议论文全文数据库 前10条
1 闵飞炎;杨明;;基于DEVS的智能体建模方法[A];'2006系统仿真技术及其应用学术交流会论文集[C];2006年
2 范文慧;肖田元;郭斌;熊光楞;;基于HLA和DEVS的综合保障分布式仿真的研究[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
3 赵煜辉;安玉艳;孙鲁伟;王翠荣;高远;;一个基于DEVS的分布式覆盖网络并行仿真方法[A];第四届中国测试学术会议论文集[C];2006年
4 黄勇;任智;陈前斌;李晴阳;;基于OPNET的认知无线电网络传输速率切换仿真研究[A];2009年全国无线电应用与管理学术会议论文集[C];2009年
5 韩忠旭;;WDPF分散控制系统实时仿真方法评介[A];1995中国控制与决策学术年会论文集[C];1995年
6 李刚;;基于MultiGen Vega和Creator的视景仿真建模技术研究[A];系统仿真技术及其应用(第7卷)——'2005系统仿真技术及其应用学术交流会论文选编[C];2005年
7 刘涛;张文俊;余志平;;射频和微波电路片上电感的神经网络建模方法[A];中国微米、纳米技术第七届学术会年会论文集(一)[C];2005年
8 张忠斌;周雨花;;震区道路物资运输系统动力学模型的研究[A];第十届中国科协年会论文集(一)[C];2008年
9 赵立军;张晓清;;基于SysML建模和基于agent建模的比较[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
10 刘朝阳;何刚;李艳芝;;作战指挥训练仿真系统BOM模型体系研究[A];2008年中国高校通信类院系学术研讨会论文集(上册)[C];2009年
中国重要报纸全文数据库 前10条
1 ;UML一统天下[N];计算机世界;2002年
2 四川托普信息技术职业学院软件研究所所长 柏晓旭;用IPO图设计酒店前厅管理系统[N];计算机世界;2009年
3 赵健;工程量图形计算软件的选择[N];中华建筑报;2002年
4 CPW记者 秦建秀 ;变,变,变——方案商与客户的博弈[N];电脑商报;2005年
5 周斌;SLA:电信业务为用户量身定制[N];人民邮电;2004年
6 汉斯·乌尔里克·吕弗勒;监控生产过程 保证带钢质量[N];中国冶金报;2009年
7 本报记者 马生泓;借助解决方案实现可持续性设计[N];中华建筑报;2009年
8 周斌;SLA:服务客户的利器[N];通信产业报;2004年
9 本报记者 黄永明;交通拥堵:远未解决的科学难题[N];南方周末;2010年
10 山东省宁阳县鹤山乡赵庄小学 桑明胜;计算教学绕不开的两个问题[N];学知报;2010年
中国博士学位论文全文数据库 前10条
1 陈彬;面向DEVS的多范式建模与仿真关键技术研究与实现[D];国防科学技术大学;2010年
2 曹琦;复杂自适应系统联合仿真建模关键技术及应用研究[D];重庆大学;2010年
3 刘宝宏;多分辨率建模的理论与关键技术研究[D];国防科学技术大学;2003年
4 王春华;风场中森林的建模与仿真[D];武汉理工大学;2010年
5 张晓平;WSN移动目标的LSSVR回归建模定位理论与算法[D];华南理工大学;2010年
6 苏亚;主动表观模型的建模与匹配[D];西安电子科技大学;2010年
7 叶廷东;多传感信息建模与动态校正方法研究[D];华南理工大学;2010年
8 肖毅;体育赛事背景广告曝光参数虚拟预测研究[D];上海体育学院;2010年
9 何治斌;船舶空调系统的建模与仿真[D];大连海事大学;2011年
10 胡海明;个人学习环境的活动建模[D];华东师范大学;2011年
中国硕士学位论文全文数据库 前10条
1 郑丽钰;基于DEVS的石化多层次物流模型建模和仿真研究[D];浙江大学;2008年
2 季伟伟;自行防空系统协同作战建模与仿真方法研究[D];南京理工大学;2012年
3 杨开宇;基于Multi-Agent物流业务流程组合化建模仿真研究[D];武汉理工大学;2011年
4 张斌;SOA和EDA整合的IT系统仿真技术研究[D];山东科技大学;2010年
5 李四辉;基于HLA的车路协同系统仿真方法研究[D];北京交通大学;2012年
6 王益鸣;基于STAGE软件的多传感器数据融合仿真平台的设计和实现[D];杭州电子科技大学;2011年
7 韩圣春;面向效能分析的装甲兵分队协同作战系统建模与仿真[D];南京理工大学;2010年
8 刘振国;列控系统多分辨率建模及基于HLA的仿真研究[D];北京交通大学;2012年
9 王芸芸;植物器官精细建模与可视化[D];大连理工大学;2010年
10 吴康乐;表意性三维建筑建模研究[D];浙江大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026