基于UML模型的C^4ISR系统能力需求分析与验证

来源 :系统工程与电子技术 | 被引量 : 0次 | 上传用户:genius0728
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对复杂的C^4ISR需求分析,提出一种系统的能力需求获取和分析方法。该方法从分析作战使命入手,采用统一建模语言(unified modeling language,UMI,)建模技术对作战目标和任务场景建模,通过活动模型分析自动建立CISR能力需求的概念模型。此外,采用本体描述语言(OWL DL)对能力概念形式化描述,由此可以通过符号推理系统检查模型的完整性和一致性。给出了应用该方法的具体示例,并通过实验工具验证其有效性。
其他文献
针对一类具有执行器组合故障的多输入单输出非线性最小相位系统提出了自适应容错跟踪控制方案。考虑系统执行器卡死和部分失效组合故障,基于微分几何反馈线性化,设计了模型参
针对一类带有准备时间和安装时间的单机成组排序问题,给出了求解最优排序的多项式算法。其中每个工件都具有自己的准备时间,组和组之间具有安装时间,并且安装时间和已经加工完工
运用空气干燥法制备猫肾细胞系F81传代细胞染色体标本,常规Giemsa染色,计数F81细胞基础细胞库细胞(10代)、工作细胞库细胞(20代)、最高限制代次细胞(40代)及高于最高代次10代