切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种新的广义半锁归结
一种新的广义半锁归结
来源 :计算机学报 | 被引量 : 0次 | 上传用户:DINGDING122951
【摘 要】
:
本文提出了对配锁方式不加限制的广义半锁归结方法,并证明了它在一阶逻辑中的完备性.
【作 者】
:
邓安生
孙吉贵
【机 构】
:
东北师范大学计算机科学系!长春,吉林大学计算机科学系!长春
【出 处】
:
计算机学报
【发表日期】
:
1998年S1期
【关键词】
:
一阶逻辑
广义锁子句
广义半锁归结
First-order logic
generalized lock clause
generalized semi-l
【基金项目】
:
国家自然科学基金,吉林大学符号计算与知识工程国家教委开放研究实验室资助
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文提出了对配锁方式不加限制的广义半锁归结方法,并证明了它在一阶逻辑中的完备性.
其他文献
关于许钦文致鲁迅的信和《陶元庆氏遗作展览会目录》
这里发表的是许钦文致鲁迅的四封信和《陶元庆氏遗作展览会目录》(以下简称《目录》)。信中写的是鲁迅托许钦文买宣纸的事,但为什么要买宣纸,这些宣纸与《目录》又有什么关系
期刊
目录
展览会
关系
遗作
问题
中国已新生 方向更光明——郭沫若同志亲书有关鲁迅的几件手迹
鲁迅和郭沫若,生前虽未相晤,但因为有着共同的革命目标和革命理想,他们的思想就紧密地联系在一起了。现仅从郭沫若同志有关鲁迅的几件题词、作序等珍贵手迹来说,就体现了他对
期刊
思想
方向
亲书
有关
手迹
革命理想
同志
作序
一种快速放射CT重建算法的研究
EM算法用于求解重建问题,具有一些非常好的特性,几十年来一直为人们所重视。EM算法也存在着缺点,例如收敛速度较慢,使它的应用受到一定的限制。为此,人们提出了很多加快收敛速度的方法
期刊
EM算法
加速算法
收敛性
SPECT重建
放射CT
EM algorithm
accelerated algorithm
convergence
SPE
左联启事
最近发现冒充本联盟之信件致各书店之杂志编辑部(如商务之小说月报东方杂志及开明之中学生杂志),其词如下:'编辑先生:我们以最和平的态度谨致忠告希望贵社能以三分之一的
期刊
杂志
忠告
商务
小说月报
社能
文艺作品
篇幅
苏联
江苏扬州市2014年拟完成农村河道疏浚整治投资1.87亿元
日前,江苏省扬州市市长朱民阳专题调研农村河道疏浚整治工作时要求,力争用2年时间对全市农村河道进行全覆盖疏浚整治。
期刊
疏浚整治
扬州市
江苏省
河道
农村
投资
专题调研
工作时
B2C电子商务下绿色逆向物流模式研究——以化妆品行业为例
文中首先介绍了B2C电子商务市场经济背景以及绿色逆向物流的内涵,分析了目前化妆品行业逆向物流的现状以及存在的问题的基础上,进一步提出化妆品企业实施逆向物流绿色化的措
期刊
B2C电子商务
绿色
逆向物流
化妆品
一个系统级故障诊断算法
本文提出了多处理机系统故障诊断的一个算法。为了度量 该算法的运行时间,定义了算法的概率时间复杂度函数,进而通过仿真实验和理论分析证明了这个算法能够用 较小的开销获得
期刊
系统级故障诊断
诊算法
多处理机系统
System-level fault diagnosis
diagnosis algorithm
diagnosis
企业视角的快递包装减量化策略与案例
企业的商品包装和快递物流包装是包装污染的主要来源,包装减量化是治理包装污染的重要举措,企业责无旁贷。采用案例研究法,从生产性企业的商品包装减量化和快递企业的物流包
期刊
包装
减量化
快递
策略
企业
数字图像离散线性变换的基于边过程的方法
本文提出了一个对数字图像进行离散线性变换的基于边过程的方法,这个方法是先做基于边过程的围线追踪;再对由边过程组成的围线进行变换,这时变换能高效率地实现;最后对变换所得区
期刊
数字图像
离散线性变换
边过程
图像处理
Digital image
discrete linear transformation
crack approa
基于内在变量的空间三角网格的形状混合
本文给出了基于内在变量插值的空间三角网格形状混合的内在解算法.不同手插值对应顶点位置的方法,我们首先给出描述三角网格各项点空间相对位置结构的内在集,然后插值相应的内在变量实现三角网格之间的形状混合.将曲面离散剖分成逼近三角网格后,我们的算法同样适用于曲面的形状混合.算法简单直观,计算速度快,能够实时地完成;内在变量单调变化,能避免中间形状的萎缩扭曲,且插值帧形状与关键帧的位置及朝向无关.文中的例子
期刊
计算机动画
形状混合
三角网格
内在变量
插值
Computer animation
shape blending
triangular meshes
i
与本文相关的学术论文