【摘 要】
：
任务空间概念模型(CMMS)是建立作战模拟系统的根据,概念模型的错误,将直接导致作战模拟系统运行结果不可信。因此,任务空间概念模型的质量非常关键,如何对任务空间概念模型进行校核、验证与确认(VV&A)是一个非常值得研究的问题。该文在建立任务空间概念模型的形式化描述的基础上,建立了任务空间概念模型的执行机制,并提出了通过概念执行来对模型进行检查的方法。结果表明,通过概念执行,可以挖掘概念模型在结构上
论文部分内容阅读
任务空间概念模型(CMMS)是建立作战模拟系统的根据,概念模型的错误,将直接导致作战模拟系统运行结果不可信。因此,任务空间概念模型的质量非常关键,如何对任务空间概念模型进行校核、验证与确认(VV&A)是一个非常值得研究的问题。该文在建立任务空间概念模型的形式化描述的基础上,建立了任务空间概念模型的执行机制,并提出了通过概念执行来对模型进行检查的方法。结果表明,通过概念执行,可以挖掘概念模型在结构上和逻辑上的一些错误。
其他文献
该文利用其精辟文摘和业已取得的共识,简明而又系统地阐述数字仿真及其应用.由此不难看出,数字仿真是一门新兴学科,它乃是一个反映客观相似规律的知识体系,其基本特征是
目的 探讨丁苯酞软胶囊治疗脑梗死的临床疗效。方法 选取2014年5月—2016年5月新汶矿业集团莱芜中心医院神经内分泌科收治的脑梗死患者97例为研究对象,所有患者随机分为对照
【正】 党的十一届三中全会以后,公民的宗教信仰自由得到了保护,宗教活动逐步趋于正常,信教群众与不信教群众的团结大大加强,我国的宗教管理工作出现了空前大好的局面。随着
传统的工作流模型校核方法存在效率低下、自动化程度不高的缺陷,针对该问题模型检验技术被引入工作流模型校核。该文在探讨模型检验技术基础之上,采用UML活动图表示工作流过程模型,根据模型检验技术的要求研究了工作流模型从无限到有限状态空间的转换,对工作流模型检验对强公正约束的要求进行了初步研究,并结合NuSMV分析了如何实施工作流模型检验。该文进一步通过一个案例给出了工作流模型检验的实施,在此基础上该文认
在图形编程中,不论是大型系统开发还是小型手机游戏设计,经常要编写判断图形区域相交情况的代码,而且随着图形区域形状的改变,代码也需相应的重新编写,这样的工作方式在当前软件工程向代码重用方向不断发展,软件的抽象层次不断提高的趋势下显出效率低下,难以维护等诸多缺点。为了减轻工作量,提高代码重用性,该文在程序设计框架中引入了一个drawing类,使一部分底层分析代码由程序设计框架自动生成,使程序员得以在更
目前能源系统建模与仿真的发展趋势是从宏观到介观、微观,即从传统的计算机辅助过程分析工具(如对大型综合系统的模拟)到分子级现象的模拟,传统的建模与仿真方法已不能满足认
高层体系结构HLA以其突出的互操作性和可重用性,成为当今分布式交互仿真系统结构标准,研究基于HLA的仿真程序设计方法对于分布式交互仿真系统的开发具有重要意义。该文从联邦创建到联邦退出,以程序设计的角度,详细地剖析了联邦执行的整个生命周期过程,还分析了联邦执行的整个生命周期中联邦执行的各种状态以及联邦成员、联邦执行、RTI这三者之间的关系。根据联邦执行的生命周期过程,给出了联邦成员的应用程序框架,并
基于网格技术进行分布式仿真的研究,目前已经成为了仿真技术研究的一个新的热点.该文从对网格的认识入手,分析了什么是网格,什么是网格技术,在阐述网格研究现状的基础上,分析
目的调查皖南医学院第二附属医院抗菌药物专项整治前后抗菌药物的使用情况,以促进临床合理应用抗菌药物。方法调取皖南医学院第二附属医院2011、2015年抗菌药物的相关信息,对
并联机器人力控制是并联机器人研究的一个热点和难点,引起了许多学者的关注,并取得了一定的成果。多数使用了传统的力控制研究方法。该文中,作者将神经网络引入并联机器人的力控制中,并介绍了一种改进型BP神经网络,以及其学习算法和网络的训练过程,并结合实际并联机器人6-SPS并联机器人,设计出基于改进型BP神经网络的并联机器人自适应力控制器,并进行了仿真和实验研究,通过研究表明所设计的控制器是可行和有效的.