NC－RUE－NRF归结

本提出了ＮＣ－ＲＵＥ－ＮＲＦ归结方法，并证明了它在含有等词广义子句集上的完备性。     

广义λ－调解

本文提出了算子模糊逻辑中的广义λ－调解方法，证明了它和广义λ－归结的联合使用，对于λＥ－不可满足广义子句集是完备的．     

广义λ—调解

本文提出了算子模糊逻辑中的广义λ－调解方法，证明了它和广义λ－归结的联合使用，对于λＥ－不可满足广义子句集是完备的。     

Ctrl－C和Ctrl－Break处理的C语言编程方法

在应用程序运行时，由于ＤＯＳ对Ｃｔｒｌ－Ｃ和Ｃｔｒｌ－Ｂｒｅａｋ键处理的结果，造成了对应用程序的影响，甚至带来不良的后果。本文就这一问题进行了讨论，给出了Ｃ语言应用程序编程时，避免Ｃｔｒｌ－Ｃ和Ｃｔｒｌ－Ｂｒｅａｋ对应用程序影响的处理方法，并通过编程举例证明了该处理方法是可行和正确的     

一种新的ω－识别模型

本文提出了一种新的ω－识别模型：ω－循环自动机及其循环接受条件．给出了ω－循环自动机在该接受条件下所接受的ω－语言类的集合表示．     

几类ω－凸语言族的分层

本文对作者几年来先后在ω－语言族中定义的五类ω－凸语言进行了相应的分层，其结果是：     

一类交替的ω－有穷自动机和确定的ω－有穷自动机识别能力的等价性

本文提出了一类交替的ω－有穷自动机，即所有状态都是万能的交替的ω－有穷自动机（记为ω－ＵＡＦＡ），并采用了构造的方法证明了ω－ＵＡＦＡ和确定的ω－有穷自动机在四种接受条件下接受的ω－语言的等价性。     

离散事件动态系统的D－B动机模型

首先引入Ｄ－子集和Ｄ－语言的概念，在此基础上给出了一类离散事件动态系统的一般形式化表述──Ｄ－自动机模型，并讨论了受控系统的动态行为．最后研究了系统的状态可达性问题．     

CD－ROM──多媒体产业的优选载体

本文介绍ＣＤ－ＲＯＭ的发展及各种数据规范，说明ＣＤ－ＲＯＭ产品的技术指标及制作过程，最后说明了国内外ＣＤ－ＲＯＭ产品技术和市场。     

删除策略的相容性

本文给出关于删除策略相容性的几个结果，对相同谓词符号配用锁的子句集，锁归结和删除策略联用完备，对正文字锁大于负文字锁的Ｈｏｒｎ集，正单元锁归和删降策略联用完备，输入锁结与删除策略联用完备，配锁Ｈｏｒｎ集上输入半锁归结和删除联用完备的，标准Ｈｏｒｎ集上正单元强有序归结和删除策略联用完备，强有序输入归结和删除策略联用完备。     

Generalized resolution and NC-resolution

The relation between generalized resolution and NC-resolution is discussed.The proof of the completeness of NC linear resolution is then given.The incompleteness of NC lock resolution is also presented,thus the conclusion in [3] of “a simple completeness-preserving restriction” is shown to be wrong.     

一种改进的OL归结——SOL归结

1973年,Chang和Lee将线性归结与有序归结相结合,提出了有序线性归结,即OL归结,极大地提高了线性归结的效率和机械性。然而,OL归结并不是一种完备的归结方法。在OL归结的约化条件的基础上提出了强约化的概念。强约化条件对中心有信息有序子句的约化做了进一步的限制,且该强约化条件是约化条件的一种特例。在强约化条件的基础上,还提出了一种改进的OL归结——SOL归结,并证明了其完备性。     

PET时间分辨率和能量分辨率互换性探讨

探讨了正电子断层扫描系统中时间分辨率和能量分辨率的互换性,提出了时间分辨率的提高可以弥补能量分辨率的不足带来的缺陷。基于高速的PCI数据采集卡,设计了面向PET的高时间分辨率和高能量分辨率的实时数据采集系统。在此基础上,考虑成本和空间位置信息等因素,可以帮助PET系统设计选择优化系统性能的时间分辨率和能量分辨率。     

篇章中的消解问题与消解算法：研究综述

篇章消解，即识别篇章中对现实世界中同一实体不同表达的过程，包括指代消解和同指消解两个方面。作为信息抽取的重要环节，它在信息检索、自动文摘及文本挖掘等领域有着广阔的应用前景。本文分析并总结了消解过程中常用的语言知识，介绍了上世纪90年代以来具代表性的算法，并指出了篇章消解未来的发展趋势。     

多分辨率仿真中一致性问题研究

在多分辨率仿真中，当不同级别分辨率实体交互时会出现一致性问题，它的产生是由于建模人员还没有找到一种很好的方法，去描述同一实体在多个分辨率级别间的相互关系而导致的，即使在同一分辨级别中也可能发生不一致性问题，分析了目前建模方法存在的问题，提出了解决一致性问题的CM方法，CM方法主张使用多分辨率实体（MRE）的概念来替代聚合实体（AE）和解聚实体（DE），以一致的方式在指定的分辨率级别描述被仿真的对象，当有请求时，及时提供任意级别的属性绑定，建立了映射函数和一致性模型，较好地解决了属性集数据的识别，时间的一致性和映射一致性等关键问题。     

中文指代消解模型的对比研究

指代消解的基本任务是把指向现实世界中相同实体的所有实体表达关联起来。与英文指代消解的研究相比,中文指代消解的研究相对较少,至今没有对现存的中文指代消解模型进行公平的测评和比较,主要原因是现存的中文指代消解模型在训练和测评时采用了不同的语料,且所选用的特征属性也不相同。基于上述原因,实现了5类基本的中文指代消解模型,并在ACE2005中文语料上进行同平台、同语料、同特征的测评。通过测评比较了各类模型的性能,同时分析和探讨了影响中文指代消解模型精度的各种因素。     

A combinatorial characterization of treelike resolution space

We show that the Player-Adversary game of Pudlák and Impagliazzo [A lower bound for DLL algorithms for k-SAT, in: Proc. 11th Annual ACM-SIAM Symposium on Discrete Algorithms, 2000, pp. 128-136] played over CNF propositional formulas gives an exact characterization of the space needed in treelike resolution refutations. This characterization is purely combinatorial and independent of the notion of resolution. We use this characterization to give for the first time a separation between the space needed in treelike and general resolution.     

Index conditions of resolution

1 Introduction Automated reasoning mechanisms[1,2] are widely used, for example to solve constraint satisfaction prob- lems. The exploration of e?cient automated reasoning strategies is therefore important. If more strategies are incorporated into such mechanisms, resolution based deduction becomes stricter. This results in the gen- eration of a lower number of unuseable clauses. Un- fortunately however, some strategies are incompatible with each other. For example, deletion strategy can dest…