咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2 篇 理学
    • 2 篇 数学
    • 1 篇 统计学（可授理学、...
  • 1 篇 哲学
    • 1 篇 哲学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 工学
    • 1 篇 电子科学与技术（可...

主题

  • 3 篇 多值模型检验
  • 1 篇 拟布尔逻辑
  • 1 篇 计算树逻辑
  • 1 篇 morgan代数
  • 1 篇 吴方法.
  • 1 篇 形式验证
  • 1 篇 模型检验
  • 1 篇 线性规划
  • 1 篇 多项式
  • 1 篇 模糊自动机
  • 1 篇 de
  • 1 篇 数字电路

机构

  • 1 篇 北京交通大学
  • 1 篇 中国科学院研究生...
  • 1 篇 泰州学院
  • 1 篇 中国科学院成都计...
  • 1 篇 陕西师范大学

作者

  • 1 篇 shen ying-xiong
  • 1 篇 li li
  • 1 篇 赵林
  • 1 篇 吴尽昭
  • 1 篇 沈应兄
  • 1 篇 郦丽
  • 1 篇 张廷招
  • 1 篇 wu jinzhao
  • 1 篇 潘海玉
  • 1 篇 zhao lin
  • 1 篇 pan hai-yu

语言

  • 3 篇 中文
检索条件"主题词=多值模型检验"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于吴方法的多值模型检验
收藏
分享
引用
系统科学与数学 2008年 第8期28卷 1020-1029页
作者： 赵林 吴尽昭 北京交通大学轨道交通控制与安全国家重点实验室 北京100044 中国科学院成都计算机应用研究所 成都610041
大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的... 详细信息
来源： 评论
不确定型多值Kripke结构的模型检测
收藏
分享
引用
模糊系统与数学 2016年 第5期30卷 60-70页
作者： 郦丽 沈应兄 潘海玉 泰州学院计算机科学与技术学院 江苏泰州225300 陕西师范大学计算机科学学院 陕西西安710062
多值模型检测是经典模型检测的一种扩展,主要用于具有不一致信息的系统的验证。为了对具有不一致和不确定性的系统进行形式化分析,本文提出非确定型多值Kripke结构作为此类系统的模型,引入一种多值计算树逻辑作为非确定型多值Kripke结... 详细信息
来源： 评论
数字电路符号模型检验方法
数字电路符号模型检验方法
收藏
分享
引用
作者： 张廷招 中国科学院研究生院
学位级别：硕士
由于电路规模不断增大和电路的功能的日益复杂，这就使得大规模的电路设计很难保证逻辑设计的正确无误。然而为了设计和建立高可靠的VLSI系统，必须对VLSI的设计和实现进行有效的验证。目前主要的验证方法有模拟验证和形式验证两种，模... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件