收藏本站
《'2010系统仿真技术及其应用学术会议论文集》2010年
收藏 | 手机打开
二维码
手机客户端打开本文

装备指挥仿真构件形式化描述方法研究

刘兵  杨晋辉  赵永朋  王祥  
【摘要】:仿真构件形式化描述就是充分利用自然语言和形式化的方法将仿真构件的刻面与术语有效结合起来,确定其描述结构,为仿真构件库涉众提供构件规格描述规范。为了满足不同涉众的需求,仿真构件描述信息分为三类:面向构件检索的信息、面向构件学习的信息、面向构件组装和演化的信息。文中采用BNF范式对仿真构件描述信息结构进行了定义,并利用XML良好展现性完成了形式化描述框架的构建。

手机知网App
【共引文献】
中国期刊全文数据库 前5条
1 侯成义,司书宾,孙树栋;基于组件的组件库管理系统[J];计算机工程与应用;2003年30期
2 张驰,吴健,胡正国,黄广君;基于组件基调匹配的系统开发[J];计算机工程与应用;2005年31期
3 曾一;郭永林;曾勇;袁纲;;基于J2EE平台的Java构件库的研究和实现[J];计算机科学;2006年04期
4 张驰;;基于接口匹配的构件组装[J];计算机应用;2007年06期
5 林浩;一种面向检索的构件描述方法[J];山东理工大学学报(自然科学版);2005年02期
中国重要会议论文全文数据库 前1条
1 赵中芳;魏志强;贾东宁;;基于CBR的软件自动化测试用例复用方法研究[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
中国博士学位论文全文数据库 前3条
1 谢规良;基于组件技术的车间计划调度系统研究[D];西北工业大学;2003年
2 周晓峰;基于语义的软件构件匹配方法及在水利领域中应用的研究[D];河海大学;2006年
3 张驰;异构组件互操作技术研究[D];西北工业大学;2006年
中国硕士学位论文全文数据库 前8条
1 张剑达;基于XML Web服务的构件库管理系统的设计与实现[D];华侨大学;2004年
2 周立勇;可重用软件构件存储关键技术研究[D];大连海事大学;2005年
3 孟闻天;基于刻面描述的可重用软件构件检索技术的研究[D];大连海事大学;2005年
4 马锟;基于刻面分类模式的构件检索技术研究[D];大连海事大学;2006年
5 郭永林;基于XML描述的构件检索匹配研究[D];重庆大学;2006年
6 盛贤良;基于SOA的异构构件组装模型研究[D];浙江师范大学;2007年
7 陈文;基于形式化描述的构件库应用研究[D];西南大学;2008年
8 陈弦;基于组件的异构数据集成与转换系统的研究与实现[D];中南大学;2005年
【二级参考文献】
中国期刊全文数据库 前2条
1 姚全珠;李献令;孟丽;;基于XML的构件库管理框架的研究与实现[J];计算机工程与应用;2006年21期
2 杨治,胡金柱,胡龙江;基于知识库和实例推理的构件检索方法[J];计算机工程;2005年21期
【相似文献】
中国期刊全文数据库 前10条
1 何建华,刘耀林;基于模糊度的不确定地理目标的形式化描述方法[J];武汉大学学报(信息科学版);2005年04期
2 周瑾;马应龙;李巍;吴志林;;UML的形式化及其应用[J];计算机科学;2005年03期
3 杨敬中;张广泉;戎玫;;UML2.0类图的一种形式化描述方法[J];计算机科学;2007年02期
4 王海燕;;浅谈以复用为基础的软件设计[J];四川文理学院学报;2009年02期
5 张锐;张璐璐;雷新峰;刘军;;基于XML的安全协议形式化描述方法[J];军事通信技术;2009年01期
6 蔡亭友;;PDM系统中的构件开发方法研究[J];微处理机;2009年04期
7 李剑峰;;铁路信号联锁逻辑形式化描述的研究[J];煤矿机械;2009年10期
8 唐闻;周爱民;彭剑;;基于构件复用的企业信息系统整合模型[J];电脑编程技巧与维护;2010年22期
9 王俊华;左万利;赫枫龄;王英;;本体定义及本体代数[J];吉林大学学报(理学版);2010年06期
10 邵晓根;;面向煤矿企业的可复用菜单构件的开发与应用[J];徐州工程学院学报(自然科学版);2009年04期
中国重要会议论文全文数据库 前10条
1 刘兵;杨晋辉;赵永朋;王祥;;装备指挥仿真构件形式化描述方法研究[A];'2010系统仿真技术及其应用学术会议论文集[C];2010年
2 张建军;罗景仁;;一个新的时态逻辑系统和DB形式化描述方法[A];第九届全国数据库学术会议论文集(上)[C];1990年
3 吴志樵;唐加福;;面向软件产品线的构件复用策略优化问题研究[A];第三届(2008)中国管理学年会论文集[C];2008年
4 吴志樵;唐加福;王立岩;;基于产品线两阶段模型的软件构件选择优化问题研究[A];2009中国控制与决策会议论文集(2)[C];2009年
5 浦敏;徐健;张淑梅;李辰寅;李云飞;;一种基于决策树的构件检索方法[A];第三届全国信息检索与内容安全学术会议论文集[C];2007年
6 何明;裘杭萍;刘晓明;刘海波;;可组构建模与仿真技术研究及应用[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
7 姜锴;;基于构件技术银烟通系统设计与实现[A];全国第21届计算机技术与应用学术会议(CACIS·2010)暨全国第2届安全关键技术与应用学术会议论文集[C];2010年
8 杜建伟;杨春河;党纪红;顾斌;;面向航天器控制软件的构件模型研究[A];全国第十二届空间及运动体控制技术学术会议论文集[C];2006年
9 徐玮;李昭原;;Web-MIS应用程序的开发方法与工具研究[A];第十七届全国数据库学术会议论文集(研究报告篇)[C];2000年
10 王绍棣;孙知信;王汝传;;形式化方法在CAD中的应用研究[A];中国图象图形学会第十届全国图像图形学术会议(CIG’2001)和第一届全国虚拟现实技术研讨会(CVR’2001)论文集[C];2001年
中国重要报纸全文数据库 前10条
1 侯闯;业务层复用:软件复用的必然趋势[N];计算机世界;2006年
2 本报记者 叶林海 实习记者 万国燕;以不变应万变[N];中国计算机报;2005年
3 杨熙田光富;从量化分析看SOA的性能弊端[N];中国计算机报;2008年
4 本报记者 王亮;ERP又来终结者[N];国际商报;2004年
5 刘磊;软件革命路还长……[N];中国计算机报;2005年
6 实习生 王宏美 记者 邱曙东;软件开发像搭积木[N];解放日报;2005年
7 记者 耀辉;开创我省科技企业孵化器运作新模式[N];云南经济日报;2006年
8 晓 洪;普元寻求突破企业信息化之困[N];中国企业报;2004年
9 李安渝;以关键技术构建网络软件平台[N];中国计算机报;2002年
10 清华大学 谢晓芹 梁邦勇;框架不是框框[N];计算机世界;2002年
中国博士学位论文全文数据库 前10条
1 李斌;基于构架/构件复用的开放式数控系统研究[D];华中科技大学;2004年
2 李河;基于构件复用的测井解释系统及成像测井图像处理与自动识别技术研究[D];吉林大学;2005年
3 陈波;基于软件体系结构的构件模型和语言研究[D];国防科学技术大学;2007年
4 唐姗;基于目标的高可信自适应容错软件开发方法研究[D];复旦大学;2011年
5 陈中育;基于场景的系统行为建模和组合研究[D];上海大学;2011年
6 邬惠峰;基于过程构件复用的过程定义和改进研究[D];浙江大学;2006年
7 李斌;面向大规模定制的产品配置及装配线优化调度的研究[D];华中科技大学;2007年
8 伍建焜;网构软件系统构建的形式化分析研究[D];上海交通大学;2009年
9 王茹;古建筑数字化及三维建模关键技术研究[D];西北大学;2010年
10 阴艳超;支持产业链协作的产品应用服务建模与系统构建研究[D];西南交通大学;2009年
中国硕士学位论文全文数据库 前10条
1 赵春波;面向自适应中间件的语义构件动态组合研究与应用[D];杭州电子科技大学;2009年
2 杜云;构件质量模型的建立与评估方法研究[D];昆明理工大学;2011年
3 戴建峰;基于构件复用和XML技术的柔性信息系统开发研究[D];西安理工大学;2004年
4 莫华玺;基于本体的构件接口自动适配[D];华南理工大学;2012年
5 孙秋鸿;可信自适应实时调度性能构件的设计与实现[D];电子科技大学;2010年
6 李高明;基于构件技术的工作流引擎模型研究[D];昆明理工大学;2008年
7 王玮;基于STRUTS框架的领域构件存储管理系统研究[D];合肥工业大学;2006年
8 张冬冬;基于软件总线的特定领域构件提取与组装的研究与应用[D];兰州理工大学;2004年
9 黎娅;基于构件的软件复用技术应用研究[D];重庆大学;2007年
10 刘佳荟;基于信任度量的网构软件动态演化研究[D];哈尔滨工程大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026