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

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信


打开文本图片集

摘 要：

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

试读结束

目录
monitor