文献知网节
  • 记笔记

基于描述逻辑的能力需求模型验证方法

董庆超王智学陈剑张义

解放军理工大学指挥自动化学院

摘要:针对C4ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWLDL精确描述能力需求分析中的元概念模型和应用概念模型,然后在元概念模型和应用概念模型之上附加一定的模型验证推理规则,并通过符号推理系统验证了能力概念的完整性以及目标的一致性。
  • 专辑:

    电子技术及信息科学; 理工A(数学物理力学天地生)

  • 专题:

    非线性科学与系统科学

  • 分类号:

    N945.12

  • 手机阅读
    即刻使用手机阅读
    第一步

    扫描二维码下载

    "移动知网-全球学术快报"客户端

    第二步

    打开“全球学术快报”

    点击首页左上角的扫描图标

    第三步

    扫描二维码

    手机同步阅读本篇文献

  • HTML阅读
  • CAJ下载
  • PDF下载

下载手机APP用APP扫此码同步阅读该篇文章

下载:189 页码:533-539 页数:7 大小:826K

相关推荐
  • 相似文献
  • 读者推荐
  • 相关基金文献
  • 关联作者
  • 相关视频