项目名称: 指挥控制系统的能力需求模型分析及验证方法研究

项目编号: No.61273210

项目类型: 面上项目

立项/批准年度: 2013

项目学科: 自动化技术、计算机技术

项目作者: 王智学

作者单位: 中国人民解放军理工大学

项目金额: 78万元

中文摘要: 为了对指挥控制系统的概念策划、需求分析、项目论证和系统研制等过程进行有效管理,西方国家提出了企业体系结构框架和基于能力的系统规划等系统工程方法论,但在能力需求建模和验证等方法上相关研究尚显不足。本项目拟研究指控系统能力需求的形式化描述、效能概念推理分析和可执行模型仿真验证等方法和技术,解决指控系统能力概念难以精确描述、领域知识难以复用、需求建模与仿真验证相脱节等问题,使指控系统的体系结构分析与软件需求开发过程无缝连接。首先,对UML建模方法进行扩展,使其可以用于建模指控系统的能力概念;其次,采用模糊描述逻辑对指控能力和效能概念进行形式化描述,并研究基于描述逻辑的推理技术,通过描述逻辑系统推理引擎自动完成能力概念的一致性和完整性验证;最后,研究一种支持能力需求仿真验证的可执行UML模型方法,将指控系统的能力概念模型转换为可执行模型,通过执行仿真模型模拟指控系统的行为,验证系统的能力需求

中文关键词: 需求工程;指挥信息系统;能力需求;模型检验;模型仿真

英文摘要: To enable an effective acquisition proccess of conceptual planning, requirements analysis, program approvement and system integration for Command and Control systems, the Western countries recently suggest system engineering methodologies, such as enterprise achitecture frameworks and capability-based planning. But the issues of modeling and validating the C2 system capability requirements are poorly concerned and need to be intensively researched. This proposal focuses on formal specification of capability requirements of C2 systems, reseasoning through the effectiveness concepts and execuatable modeling and simulation techiques for C2 system requirements validation. The goal of the research is trying to solve the issues such as that the capability concepts of C2 systems cannot be articulated precisely and accurately, the domain knowledge is poorly reusable and the requirements modeling is disjioned with simulation and validation, and thus making the process of C2 system architecturing seamlessly integrated into software requirements development. First, the UML modeling constructs will be extended to be able to model the capability concepts of C2 systems. Then, the fuzzy description logic will be introduced to formally describe C2 system capability requirements and their effectiveness concepts. The reseasoning

英文关键词: requirements engineering;command information system;capability requirement;model verification;modeling and sumulation

成为VIP会员查看完整内容
23

相关内容

北约《军事系统的网络安全风险评估》技术报告
专知会员服务
97+阅读 · 2022年4月18日
北理工2022最新paper《基于对抗性复杂博弈的OODA环分析》
专知会员服务
130+阅读 · 2022年4月9日
军事知识图谱构建技术
专知会员服务
121+阅读 · 2022年4月8日
专知会员服务
97+阅读 · 2021年6月23日
专知会员服务
53+阅读 · 2021年4月3日
肖新光建议:加强IT供应链网络安全能力
CCF计算机安全专委会
1+阅读 · 2022年3月7日
需求分析如何落地?这篇告诉你答案
人人都是产品经理
1+阅读 · 2021年10月29日
分布式系统一致性测试框架Jepsen在女娲的实践应用
形式化验证工具TLA+:程序员视角的入门之道
阿里技术
0+阅读 · 2021年10月22日
基于规则的建模方法的可解释性及其发展
专知
4+阅读 · 2021年6月23日
【大数据】海量数据分析能力形成和大数据关键技术
产业智能官
17+阅读 · 2018年10月29日
无人机集群对抗研究的关键问题
无人机
54+阅读 · 2018年9月16日
已删除
将门创投
12+阅读 · 2018年6月25日
国家自然科学基金
65+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
23+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2011年12月31日
国家自然科学基金
1+阅读 · 2008年12月31日
Model Reduction via Dynamic Mode Decomposition
Arxiv
0+阅读 · 2022年4月20日
Arxiv
11+阅读 · 2018年4月8日
小贴士
相关VIP内容
北约《军事系统的网络安全风险评估》技术报告
专知会员服务
97+阅读 · 2022年4月18日
北理工2022最新paper《基于对抗性复杂博弈的OODA环分析》
专知会员服务
130+阅读 · 2022年4月9日
军事知识图谱构建技术
专知会员服务
121+阅读 · 2022年4月8日
专知会员服务
97+阅读 · 2021年6月23日
专知会员服务
53+阅读 · 2021年4月3日
相关资讯
肖新光建议:加强IT供应链网络安全能力
CCF计算机安全专委会
1+阅读 · 2022年3月7日
需求分析如何落地?这篇告诉你答案
人人都是产品经理
1+阅读 · 2021年10月29日
分布式系统一致性测试框架Jepsen在女娲的实践应用
形式化验证工具TLA+:程序员视角的入门之道
阿里技术
0+阅读 · 2021年10月22日
基于规则的建模方法的可解释性及其发展
专知
4+阅读 · 2021年6月23日
【大数据】海量数据分析能力形成和大数据关键技术
产业智能官
17+阅读 · 2018年10月29日
无人机集群对抗研究的关键问题
无人机
54+阅读 · 2018年9月16日
已删除
将门创投
12+阅读 · 2018年6月25日
相关基金
国家自然科学基金
65+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
23+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2011年12月31日
国家自然科学基金
1+阅读 · 2008年12月31日
微信扫码咨询专知VIP会员