首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   6篇
  完全免费   1篇
  武器工业   7篇
  2016年   2篇
  2014年   1篇
  2013年   1篇
  2010年   1篇
  2009年   1篇
  2005年   1篇
排序方式: 共有7条查询结果,搜索用时 31 毫秒
1
1.
采用基于形式规范的测试模板框架(TTF)可使测试规范通用化.测试规范使用基于模型的规范语言,由描述语言Z定义TTF基本部件的形式描述测试数据和其它测试信息.并使用结构法建立测试模板的层次,简化测试数据的导出,确定测试功能单元的有效输入空间,再细分为要求的子集或域,以得到最终测试数据模板.  相似文献
2.
为快捷、有效地形成一套描述规范统一、能在不同系统和平台间实现无障碍信息交换和应用的震灾工程抢修方案,采用XML实现震灾工程抢修方案的形式化描述。通过分析震灾工程抢修方案的组成要素,运用XML的方法对抢修方案进行结构化和形式化描述,在构建抢修方案类的基础上实现震灾工程抢修方案的形式化描述。结果表明:该方法具有很好的通用性和共享性,能准确有效地描述震灾工程抢修方案,对实际救灾抢险具有重要的意义。  相似文献
3.
针对国防动员过程中军地双方对庞大的国防潜力资源描述不一致的问题,基于本体论的思想,提出构建基于OWL的潜力动员本体模型的描述方法;该方法按照本体构建的一般流程,通过综合地方资源和部队需求的描述要求,声明统一的描述规则,运用OWL进行形式化描述,完成潜力动员本体模型的构建;以国防潜力资源中的交通运输类为例,验证了该方法的可行性和有效性.  相似文献
4.
针对目前武器装备体系能力描述精确性及规范性存在的不足,在深入研究武器装备体系能力、能力指标体系、能力关系以及能力层次结构等相关内容基础上,提出一种基于本体理论的武器装备体系能力形式化描述方法。并以空战武器装备体系超视距空战能力为例,对其进行形式化描述。实例研究表明,该方法可大大提高武器装备体系能力描述的精确性,为今后能力分析提供精确可靠的基础数据。  相似文献
5.
形式化方法对于建模和验证软件系统是一种有效的方法。对于Web服务及其组合来说,保证其组合正确性以实现其服务增值十分必要。分析Web服务的综合特征,总结Web服务组合的典型特征,重点介绍有代表性的Web服务组合形式模型和方法,包括OWL(DAML—S)、进程代数类的CSP和π-演算、自动机理论的米兰机以及Petri网。通过综合比较与分析,对各个模型和方法给出一定评价,为系统地建立Web服务组合形式理论打下基础。  相似文献
6.
通过分析现有装备知识描述方法的特点,提出了构建装备知识形式化描述模型的需求;概括和归纳了可拓理论的内容及国内外研究现状,结合基元原理和拓展分析原理构建了5种装备知识形式化描述模型;为了说明装备知识形式化描述模型的可行性和有效性,以部分装备知识为例进行实例验证;装备知识形式化描述是进行装备参数聚合及装备体系评估的前提和基础。  相似文献
7.
崇元 《兵工自动化》2016,35(3):54-58
为使各级指挥员系统一致地理解敌方在某阶段作战的内涵及执行过程,对敌方作战行动过程的形式化描述方法进行深入研究.在理解态势分析过程和实质的基础上,提出基于知识发现的敌方作战行动过程构建框架,利用六元组结构给出其形式化定义.对作战行动过程中所涉及到的概念属性集及其层次关系进行详细描述,通过UML建模语言构建作战行动过程本体模型.结果表明:该研究可表达敌方在执行某一作战行动过程中的整体特征规律,并实现战场态势内容共享.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号