咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 1 篇 机械工程
    • 1 篇 计算机科学与技术...
    • 1 篇 航空宇航科学与技...
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 3 篇 归结反演
  • 1 篇 谓词逻辑
  • 1 篇 谓词
  • 1 篇 谓词公式
  • 1 篇 车辆
  • 1 篇 petri网
  • 1 篇 定义
  • 1 篇 实词
  • 1 篇 可视化技术
  • 1 篇 逻辑推理
  • 1 篇 应急预案
  • 1 篇 机场
  • 1 篇 对象属性

机构

  • 1 篇 北京交通大学
  • 1 篇 中国民航大学
  • 1 篇 伊里诺依大学

作者

  • 1 篇 朱秀锋
  • 1 篇 褚国嫘
  • 1 篇 陈竟成
  • 1 篇 陈丽云
  • 1 篇 苏琰楠
  • 1 篇 吴时霖
  • 1 篇 周奕

语言

  • 3 篇 中文
检索条件"主题词=归结反演"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于归结反演的Petri网推理新方法
收藏
分享
引用
计算机学报 1997年 第3期20卷 213-222页
作者： 周奕 吴时霖 伊里诺依大学芝加哥分校电子工程系 复旦大学计算机科学系
本文首先在命题逻辑的库所／变迁网模型中，提出四种新的证明目标命题成立的推理算法，即求包含目标变迁的Ｔ－不变量并同时求出变迁发生序列的算法，它们都源于归结反演系统中的改进策略．然后修改这些算法，并将它们推广到一阶谓词逻... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
归结反演中的可视化技术研究
归结反演中的可视化技术研究
收藏
分享
引用
作者： 褚国嫘 北京交通大学
学位级别：硕士
本文工作内容为归结反演中的可视化技术研究。论文工作是在综合研究各种可视化方法和归结原理的基础上,实现了归结反演可视化系统。本文在分析了现有的几种可视化技术后,提出了可视化归结反演过程的概念,确定了归结反演过程中的可视化... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
基于合一算法与归结反演的机场应急预案可行性判断
收藏
分享
引用
中国科技信息 2017年 第8期 91-94页
作者： 苏琰楠 朱秀锋 陈丽云 陈竟成 中国民航大学计算机科学与技术学院
本文以实现机场应急预案为目的,首先梳理实际的机场应急预案,通过谓词定义的方法,对应急预案中出现的常量进行统一定义,再分析应急预案中各个个体与个体间、个体与行为间、行为与行为间的关系,进而完成谓词定义及子句联结。在此基础上,... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件