三值逻辑

作品数：130被引量：209H指数：7
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：金翊汪鹏君毛宇光姚从军沈云付更多>>
相关机构：上海大学宁波大学南京大学南京航空航天大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金浙江省自然科学基金国家社会科学基金浙江省公益性技术应用研究计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机辅助设计与图形学学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
三值逻辑证明系统及正例与反例的提取
《计算机辅助设计与图形学学报》2011年第7期1270-1279,共10页郭建 韩俊刚 
国家自然科学基金(国际合作)(61061130541);国家“九七三”重点基础研究发展计划项目(2011CB302904);核高基重大专项项目(2009ZX010303-001-07);计算机软件新技术国家重点实验室(南京大学)项目(KFKT2011B26)
三值逻辑模型检验是对更高层的模型抽象验证的一种方法,对其验证中常常需要给出正例和反例.为此,讨论了三值逻辑模型检验以及正例和反例的提取,并在给出一套三值逻辑证明规则的基础上形成一个证明系统;运用该系统可以证明模型是否满足...
关键词：三值逻辑 不完全Kripke结构 正例 反例 证明系统 
模态转移系统的三值逻辑模型检验被引量：2
《计算机辅助设计与图形学学报》2006年第6期881-884,共4页郭建 韩俊刚 
国家自然科学基金(90207015)
分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验·用该算法...
关键词：三值逻辑 模型检验 模态转移系统 不完全Kripke结构 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部