军事信息系统情境计算需求一致性验证研究

  • 打印
  • 收藏
收藏成功


打开文本图片集

摘 要:

情境计算是目前军事信息系统发展的重要部分,情境计算的需求涉及领域广泛、架构复杂。针对军事信息系统中情境计算需求论证需求不一致问题,采用本体推理方法发现并消除需求中的冲突和矛盾,构建了情境计算需求本体模型;提出了情境计算需求一致性验证内容框架,针对不一致的情况提出推理验证方法;最后以一个典型的军事信息系统情境计算系统为例,进行需求的本体构建和本体推理,实现了需求的一致性验证。(剩余14155字)

目录
monitor