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

限定检索结果

文献类型

  • 4 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 3 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 控制科学与工程
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 软件工程
    • 1 篇 网络空间安全
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 4 篇 克里普克结构
  • 2 篇 模态逻辑
  • 1 篇 公正性
  • 1 篇 模型试验
  • 1 篇 计算-树逻辑性
  • 1 篇 标记函数
  • 1 篇 人工智能
  • 1 篇 数值计算
  • 1 篇 模态词
  • 1 篇 kripke结构
  • 1 篇 知识表示
  • 1 篇 控制流
  • 1 篇 系统状态
  • 1 篇 模型检测

机构

  • 1 篇 解放军理工大学
  • 1 篇 dept. of compute...
  • 1 篇 解放军信息工程大...
  • 1 篇 南京航空航天大学

作者

  • 1 篇 梁彦彬
  • 1 篇 牛小鹏
  • 1 篇 谢晓东
  • 1 篇 徐蔚文
  • 1 篇 李清宝
  • 1 篇 陆鑫达
  • 1 篇 张闵敏

语言

  • 3 篇 中文
  • 1 篇 英文
检索条件"主题词=克里普克结构"
共 4 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于控制流信息的克里普克结构生成方法
收藏
分享
引用
计算机科学 2012年 第6期39卷 93-97页
作者： 牛小鹏 李清宝 谢晓东 解放军信息工程大学信息工程学院 郑州450002
恶意程序检测是信息安全技术研究的重要内容,基于程序行为特征的检测可以弥补二进制特征码检测方法的很多不足。使用模型检验技术可以对程序的操作行为做属性验证,它需要对目标程序进行建模,得到一个符合克里普克结构的迁移系统。通过... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
知识表示的F-K系统
收藏
分享
引用
南京航空航天大学学报 2000年 第6期32卷 614-619页
作者： 梁彦彬 南京航空航天大学计算机科学与工程系 南京210016
对经典知识表示系统 (多系统 )进行了扩充 ,引入一个刻划“大概知道”的模态词“F”,并建立了相应的公理系统 F- K,该公理系统除包含“F”外也包含经典模态词“K”。同时 ,基于滤子对经典 Kripke框架及模型进行了扩充 ,从而给出了“F”... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
关于经验论模态词相互关系的注记
收藏
分享
引用
解放军理工大学学报（自然科学版） 2003年 第4期4卷 98-102页
作者： 张闵敏 解放军理工大学气象学院 江苏南京211101
经验论模态逻辑系统含有两组关于经验推理的模态词 ,证明了该系统中复合模态词间的一系列蕴涵关系 ,并构造反模型说明了其蕴涵关系的反方向不成立 ,从而全面弄清了该系统中各种复合模态词的相互关系。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
Fair Preorder for Partial Fair Kripke Structures
收藏
分享
引用
Journal of Shanghai Jiaotong university(Science) 2003年 第1期8卷 15-18页
作者： 徐蔚文 陆鑫达 Dept. of Computer Science and Eng. Shanghai Jiaotong Univ.
This paper discussed how to handle the fairness conditions in partial Kripke structures. The partial Kripke structures were used for partial state spaces model checking, which is a new technique to solve problems of s... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件