【摘 要】
：
<正> 文献[1,2]提出的广义归结方法,把归结方法引入到了一般的公式集(广义子句集)中,使得对问题的描述更为自然,并证明了广义线性归结和广义锁归结的完备性。文献[4]在分析了
【机 构】
：
吉林大学计算机科学系,吉林大学计算机科学系长春130023,长春130023
【基金项目】
：
国家自然科学基金,国家教委博士点基金
论文部分内容阅读
<正> 文献[1,2]提出的广义归结方法,把归结方法引入到了一般的公式集(广义子句集)中,使得对问题的描述更为自然,并证明了广义线性归结和广义锁归结的完备性。文献[4]在分析了(常义)线性归结和锁归结不相容的基础上,提出了(常义)线性半锁归结方法,并证明了其完备性。广义线性归结和广义锁归结也是不相容的,为此,本文引入了广义线性半锁归结方法,并更多还原
其他文献
<正> 对甲醇电催化氧化的研究不仅可以了解小的有机分子电氧化的详细机理,而且对开发它在燃料电池中的应用有着重要意义,所以甲醇的电催化氧化一直是一个非常活跃的研究课题
<正> 峡东区地层自李四光等首批研究近70年来不断取得进展。其中,作为元古宇末系——震旦系的层型剖面,更由中、外地质学者作了精心研究。作者于1990年12月和1991年2—3月重
<正> 激光引起金属靶的层裂,目前国外只有少量文献有报道,并主要集中在铝、铜材料。由于脉冲强激光能产生10~7s~(-1)以上的超高应变率,它为在实验室内研究这样极端条件下的材
<正> 自从Binnig和Rohrer开创了用STM研究物质表面结构的新途径以来,这一方法已迅速应用到各个研究领域,时至今日所获得的成果充分表明,STM是研究物质表面结构强有力的工具。
<正> 二氧化碳与环氧丙烷共聚合成脂肪族聚碳酸酯是催化固定二氧化碳的有效途径之一。这类共聚反应的有效催化剂有二乙基锌与含活泼氢化合物组成的体系,如ZnEt_2-
<正> 山西境内,前寒武纪花岗质岩分布相当广泛。比较集中的地区有:1.五台山地区晚太古代各类型花岗岩和花岗质片麻岩;2.云中山和吕梁山区及晋西北的早元古代非造山型花岗岩;3
<正> 我们知道“充分大三维流形”都能沿着不可压缩曲面经有限次被切成一些三维胞腔,因此知道一个三维流形是否包含不可压缩曲面及曲面的嵌入方式是很有意义的。 本文将发展J
<正> 近几年来,随着光折变效应的应用研究的日益广泛,光折变材料也受到越来越多的重视。人们把许多精力集中在光折变材料的改性方面,试图获得光折变动态范围大和响应速度快的
<正> 设(X_1,Y_1),(X_2,Y_2),……为(X,Y)的样本,(X,Y)在R~d×R中取值,μ为X的概率分布,m(x)=E(Y|X=x)的核估计,递归核估计分别为
<正>本文利用成因矿物学研究方法,对大西洋中脊热液硫化物矿物的形成期次、矿物共生组合和黄铁矿的形态与成分标型特征进行了研究,一方面为开展与其它洋中脊热液硫化物的对比