检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《计算机仿真》2010年第1期55-59,共5页Computer Simulation
摘 要:为了构建导弹武器系统执行战略反击使命的任务空间概念模型,保证模型的互操作性和可重用性,研究了任务空间概念模型的形式化描述,突出了任务空间概念模型中核心元素之间的关系。利用UML建立了战略反击作战使命的任务空间概念模型。分析了执行战略反击使命的特点,抽象出任务空间概念模型的核心元素,重点描述了实体间的关系、任务间的关系、条件与任务的关系、交互与任务、实体的关系等核心元素之间的关系。最后讨论了模型验证的方法。实践证明,以核心元素及其关系描述任务空间概念模型的方法可操作性较强,建立的模型也容易理解。In order to constitute CMMS of Stratagem Counterattack Mission(SCM) of missile weapon system and ensure MS interoperation and reusability,formal description of CMMS was discussed and relation of primary elements of CMMS was described outstandingly.And based on which CMMS of SCM was developed by using UML.The characteristic of SCM was analyzed in this paper.Primary elements of CMMS have been ABSTRACTed and relation among entities,among tasks,between condition and task,among interaction,tasks and entities were emphatically described.Finally,the method of model validation was discussed..The result showed that the operability of the method for describing CMMS according to primary elements and relations was preferable,and the established model was easy to understand.
关 键 词:导弹武器系统 任务空间概念模型 形式化描述 统一建模语言 校核、验证与确认
分 类 号:TP391.9[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.249