专题首页
中图分类法(10)
工业技术(10)
在“
CNKI学位论文
”中,
命中:
10
条,耗时:小于0.01 秒
1.
扩展时序逻辑的推理及符号化模型检验技术
作者:
刘万伟
关键词:
扩展时序逻辑
;
μ-演算
;
公理系统
;
符号化模型检验
;
ENuSMV
论文级别:
博士
学位年度:2009
2.
Deep Web数据集成关键技术及其在农业领域的应用
作者:
吴春明
关键词:
Deep
;
Web
;
数据集成
;
模式抽取
;
模式匹配
;
农业应用
论文级别:
博士
学位年度:2011
3.
若干逻辑自动推理方法研究
作者:
郭远华
关键词:
定理证明
;
自动推理
;
子句搜索方法
;
一阶逻辑
;
格值逻辑
;
tableau方法
;
试探方法
;
自然推理方法
;
可读证明
论文级别:
博士
学位年度:2010
4.
基于tableau的自动推理研究
作者:
刘全
关键词:
tableaux
;
α-、β-、γ-、δ-、规则
;
δ~++-规则
;
全称公式
;
多值逻辑
;
量词
;
布尔剪枝
;
集合的上集/下集
;
规则公式
;
带符号子句
;
多值tableau
;
极性
;
因子分解
;
整数规划
;
等式合一
;
不等式析取
;
等价类
;
直觉逻辑
;
定理机器证明
;
TableauTAP系统.
论文级别:
博士
学位年度:2004
5.
SOZRSL软件需求规格说明语言及其求精
作者:
高晓雷
关键词:
SOZRSL
;
SOFM
;
求精
;
Object-Z
;
PDFD
;
PO
;
有效性语义
;
功能性语义
;
遗传算法
论文级别:
博士
学位年度:2004
6.
Tableau基础理论及应用研究
作者:
王炜程
关键词:
语义tableau
;
范式
;
有效性
;
完备性
;
等词
;
数据修正
论文级别:
硕士
学位年度:2009
7.
基于角色访问控制的策略冲突消解研究
作者:
杨黎
关键词:
分布式系统
;
多域
;
基于角色访问控制
;
策略冲突
;
本体
;
描述逻辑
论文级别:
硕士
学位年度:2007
8.
基于广义归结的程序综合
作者:
刘振晗
关键词:
广义归结
;
广义归结证明树
;
定理证明
;
程序综合
论文级别:
硕士
学位年度:2005
9.
命题投影时序逻辑的判定性和表达性
作者:
张丽
关键词:
投影时序逻辑
;
正则形
;
正则图
;
判定过程
;
投影结构
论文级别:
硕士
学位年度:2007
10.
基于归结原理的程序综合设计与实现
作者:
杜辉
关键词:
程序综合
;
归结原理
;
定理自动证明
;
自动程序设计
论文级别:
硕士
学位年度:2006
1
按检索点细分(10)
目录(3)
关键词(1)
摘要(7)
引文(6)
按论文级别细分(10)
博士(5)
硕士(5)
按学位年度细分(10)
2004年(2)
2005年(1)
2006年(1)
2007年(2)
2009年(2)
2010年(1)
2011年(1)