基于下推自动机的仿真模型形式化描述

【摘要】：正 1.前言随着计算机仿真的不断发展,人们对仿真软件的要求不断提高,主要表现在两个方面。一方面,用户对软件的功能,仿真对象的规模和复杂度的要求不断提高;另一方面,用户希望对仿真软件的使用尽可能简单、直观,希望能方便地使用计算机并充分发挥计算机系统的功能进行仿真对象的设计。一般情况下,这两方面的要求是相互矛盾的,解决这一矛盾的主要

下载App查看全文

下载全文更多同类文献

PDF全文下载

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前20条

1	王贵珍;陈英;刘庆晖;;形式语言中的几个算法问题[J];计算机教育;2011年14期
2	姚益平;刘刚;;面向大规模体系仿真的高性能仿真计算机系统[J];系统仿真学报;2011年08期
3	陈芬;林学华;赵清华;;基于骨骼蒙皮动画的三维虚拟士兵研究[J];安徽电子信息职业技术学院学报;2011年03期
4	史伟慧;林新;;加密技术在分布仿真系统中的应用研究[J];系统仿真学报;2011年S1期
5	;[J];;年期
6	;[J];;年期
7	;[J];;年期
8	;[J];;年期
9	;[J];;年期
10	;[J];;年期
11	;[J];;年期
12	;[J];;年期
13	;[J];;年期
14	;[J];;年期
15	;[J];;年期
16	;[J];;年期
17	;[J];;年期
18	;[J];;年期
19	;[J];;年期
20	;[J];;年期

中国重要会议论文全文数据库

前10条

1	杨秉;杨健;;基于OpenGL的临近空间飞艇飞行仿真可视化研究[A];全国第19届计算机技术与应用（CACIS）学术会议论文集（上册）[C];2008年
2	杨健;马洪波;;分布交互仿真技术的研究与应用[A];2002中国控制与决策学术年会论文集[C];2002年
3	尹勇;金一丞;李志华;;多通道视景系统关键技术的研究[A];2004防止船舶行事故新经验新技术学术研讨会论文集（下册）[C];2004年
4	蔡继红;;大型复杂系统仿真的可视化技术[A];加入WTO和中国科技与可持续发展——挑战与机遇、责任和对策（下册）[C];2002年
5	黄红兵;叶超群;金士尧;;分布仿真中兴趣管理的关键技术[A];系统仿真技术及其应用（第7卷）——'2005系统仿真技术及其应用学术交流会论文选编[C];2005年
6	刘萍;谭建龙;;XML内容筛选中的快速串匹配算法[A];NCIRCS2004第一届全国信息检索与内容安全学术会议论文集[C];2004年
7	李新念;李小将;师俊芳;邵永哲;;基于UML的跟踪与数据中继卫星系统仿真研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
8	吴付祥;方胜良;;基于柔性仿真的要地防空作战仿真系统设计[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
9	王江云;林琚;;综合自然环境中的多分辨率模型[A];'2008系统仿真技术及其应用学术会议论文集[C];2008年
10	刘润才;谢国新;潘大志;;基于HLA的两栖步兵战车CGF研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年

中国博士学位论文全文数据库

前10条

1	王建良;亚对数空间限定多墨水点交替式下推自动机的研究[D];中国海洋大学;2010年
2	张秀程;开放式航天任务仿真引擎技术研究[D];中国科学院研究生院（空间科学与应用研究中心）;2011年
3	张征;分子下推自动机理论及应用研究[D];华中科技大学;2007年
4	彭勇;作战仿真模型体系分析及其模型设计与实现关键技术研究[D];国防科学技术大学;2011年
5	马民;分布式交互仿真中容错和实时技术研究[D];国防科学技术大学;2006年
6	陈文宇;形式语言与自动机理论若干问题研究[D];电子科技大学;2009年
7	孙国兵;战场环境建模与环境数据评估方法[D];哈尔滨工业大学;2009年
8	陈莉丽;基于多核集群的并行离散事件仿真性能优化技术研究[D];国防科学技术大学;2011年
9	韩召伟;几类基于量子逻辑的自动机的代数及逻辑刻画[D];陕西师范大学;2011年
10	官东;网格环境下的HLA仿真关键问题研究[D];中南大学;2011年

中国硕士学位论文全文数据库

前10条

1	黎祖锋;水中分布对抗系统仿真实体的设计与实现[D];华中科技大学;2004年
2	李超;基于扩展下推自动机的Java程序安全相关行为模型自动生成[D];东北师范大学;2011年
3	杨敬;分布式三维场景中仿真实体同步策略研究与实现[D];西安电子科技大学;2012年
4	李宏辉;基于下推自动机的XML数据流递归查询处理技术研究[D];内蒙古科技大学;2009年
5	孙思昂;基于HLA的动态森林生长仿真原型系统研究与设计[D];浙江工业大学;2007年
6	张鸿雁;空中电子对抗仿真系统兵力生成技术研究[D];西北工业大学;2007年
7	万美凯;关于模糊ω-自动机若干问题研究[D];四川师范大学;2007年
8	郭晓亮;虚拟环境下多实体行为仿真关键技术研究[D];东北大学;2008年
9	王顺领;坦克分队虚拟战场的构建[D];山东大学;2006年
10	张新军;基于DIS的CGF操作员系统研究[D];山东大学;2007年

中国重要报纸全文数据库

前1条

1	国防科技大学教授金士尧;计算机仿真与仿真计算机[N];解放军报;2001年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南