论文部分内容阅读
指出在使用归结方法的自运输推理文献中，存在于提升引理和删除策略完备性定理证明中，与替换和集合运算有关的几个错误，并予以分析和改正。
与替换和集合运算有关的错误
【摘 要】
：
指出在使用归结方法的自运输推理文献中，存在于提升引理和删除策略完备性定理证明中，与替换和集合运算有关的几个错误，并予以分析和改正。
【机 构】
：
吉林大学计算机科学系,中山大学软件所
【出 处】
：
软件学报
【发表日期】
：
1999年2期
其他文献
基于小波的图像压缩算法在较低码率时出现的Ｇｉｂｂｓ效应多年来一直未能得到秀好的解决，共主要原因是，纯粹基于像素值的ＭＳＥ准则对于图像边缘以 的小波系数分配了较少的比特数，文章在详细分
儿童绘本以精美的图画、精炼的文字、图文并茂的设计吸引着儿童对绘本的阅读,公共图书馆凭借优越的阅读环境、海量的信息资源、专业的图书管理人员等,在提供和推广优秀儿童绘
随着重组DNA技术和分子生物学的发展，以蛋白质和多肽为主的大分子成为一类新型药物，并越来越受到重视，新兴的基因治疗技术使得核酸大分子也有可能成为药物。目前，绝大部分大分子
文章通过对高校图书馆微媒体阅读服务工作的现状分析,从如何提升微媒体阅读推广力度、拓展服务类型、增强服务互动性、构建服务生态机制等方面,提出了推进高校图书馆微媒体阅
为了获取汉语词语之间的语法关系，以达到准确分析汉语的目的，文章给出了一种基于词组的扩充的ＬＲ分析方法。
文章分析了国内高校通识教育的现状和问题,探讨了高校图书馆如何在通识教育课程体系中发挥作用,并提出了建设高校图书馆通识教育服务体系的策略。
该文给出一个基于超立方体的静态任务调度算法，在算法的设计中，首先建立了任务优先级表和处理机优先级表，任务在调度时总是顺次工高优先级任务然后再从处理机优先级表中选择能使
本文提出了一个事件驱动的超媒体模型，较好地解决了超媒体链，对象同步和用户交３个关键问题。该模型在结构上分为数据层，容器层和表现层３层，采用直观的时间轴定义各种对象同步关系，通
目前,阅读转型所带来的图书馆数字化阅读活动,已发展成为高校图书馆最具吸引力、最能体现图书馆职能的活动之一。随着一批高新技术在高校图书馆阅读推广中的应用,图书馆用户
该文基于分布式并行计算机系统，对一类多层的二维二相流油藏数值模拟问题给出了３种任务划分策略－“卷帘”方式，区域分解方式和“卷帘”与区域分解结合的方式，对它们进行了比较，提出