格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法

在格值命题逻辑系统L2n+1P(X)上,提出了半正则的正广义文字和半正则的负广义文字的概念,进一步给出了半正则广义子句和半正则广义子句集的定义,详细地讨论了L2n+1P(X)上以中界元M为归结水平的半正则广义文字之间的M-归结性,最后,给出了L2n+1P(X)上基于半正则广义文字的归结水平为M的归结自动推理算法,并验证了其可靠性和完备性.     

格值命题逻辑系统中基于滤子的MP归结演绎

给出了格值命题逻辑系统中子句的极简规则型范式,定义了MP归结.结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤予的MP归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理.为进一步研究格值逻辑的自动归结推理奠定了理论基础.     

用Hopfield—型神经网络解四色猜想问题

本文综合讨论了Ｈｏｐｆｉｅｌｄ－型神经网络的迭代算法，使其能保证能量函数单调下降；指出了文［１２］中的错误，并给出了原因；解决了用离散Ｈｏｐｆｉｅｌｄ－型二元神经网络不能求解带有负反馈的问题的难题，大大改进了文［１２］中的算法，能够成功地对任意多个国家的地图用四种颜色着色（使得任意相邻的两个国家着不同的颜色），并可对任意ｋ－可着色问题进行求解．     

LP(X)中MP归结推理

首先讨论格值命题逻辑系统LP(X)中子句的规则型范式以及极简规则型子句集的形式,然后定义MP归结式以及(A,α)-归结演绎、α-逻辑推理以及α-不可满足,讨论了它们的一系列逻辑性质,最后证明了MP归结推理的可靠性以及弱完备性.     

带上层约束的两层线性规划

在较弱的条件下,给出了带上层约束的两层线性规划的可行解集的明确表示和性质．基于此,给出“第ｋ最好”算法的一种快捷实现,用算例说明了算法的有效性     

一种算子模糊逻辑系统及其Petri网推理算法

定义一种只带模糊文字以及模糊算子的模糊逻辑，讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子模糊逻辑的归结推理，给出了算子模糊逻辑的Petri网模型：Horn型，进一步讨论了推理算法：T-不变量算法，得到了算法的完备性定理，最后用实例进行了验证。     

一种基于区间数多指标信息的FCM聚类算法

针对一类具有不确定性区间数多指标信息的聚类分析问题，依据传统的基于数值信息的FCM聚类算法的思路，提出了一种新的聚类分析算法。章首先描述了具有区间数多指标信息的聚类分析问题；其次给出了基于区间数多指标信息的关于最优划分和最优聚类中心确定的两个定理；然后给出了基于区间数多指标信息的FCM聚类算法的计算步骤。该算法的特点是聚类中心的表现形式为精确的数值，给出的两个定理说明了该聚类算法的收敛性。最后，通过给出一个算例说明了本给出的聚类算法。     

在算子Fuzzy逻辑中带有相等关系的Fuzzy推理

本文提出了处理带有相等谓词的子句集的λ-Paramodulation方法.使得在Fuzzy推理过程中可以做Fuzzy等量替换.本文证明了:λ-Paramodulation与λ-锁语义归结方法相结合是完备的.     

格值一阶逻辑LF(X)中α-广义语义归结方法的相容性

自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理由于其易于在计算机上实现而受到广泛研究。为了提高基于格值逻辑的α-广义归结原理的效率,将删除策略应用于α-广义语义归结方法,研究了格值逻辑中删除策略和α-广义语义归结的相容性。首先证明了带有删除策略的α-广义语义归结的完备性;接着,给出了带有删除策略的α-广义语义归结算法,并证明了该算法的可靠性和完备性。     

关于树的完美邻域集与无冗余集 (英)

本文首先给出了求树图T的完美邻域的多项式时间复杂度算法(A),并在此基础上证明了当S是T的任一完美邻域且｜S｜=θ(T),则S是T的一极大无冗余集．然后给出了由T的一极大无冗余集生成完美邻域集的多项式时间复杂度算法(B),并依此算法证明了若S为T的任一极大无冗余集,则T存在一独立完美邻域集U且｜U｜≤｜S｜．     

拟相似算子近似点谱的连通分支

讨论了Banach空间X上两个算子T，S拟相似时，近似点谱σα(T)的每一个连通分支与σα（S）以及σs(S)的相交关系，证明了σα(T)的每一个连通分支与σs(S)的交非空，并且给出了σα（T）的连通分支与σα（S）交非空的充要条件。     

符号空间有限型子转移混沌集的Hausdorff测度与Parry测度

设A是一个每列至少有二个元素为1的不可约0，1方阵，(∑4，σA)为由A所决定的符号空间有限型子转移．在∑A上定义一个与其拓扑相容的度量d使得(∑A，d)的Hausdorff维数为1．若G是H^-可测的σA的Li—Yorke混沌集，则H^1(C)＝0；若A是本原的，则存在一个σA的有限型混沌集S使得H^1(S)＝1，其中H^1为1-维的Hausdorff测度．     

Applications harmoniques, applications pluriharmoniques et existence de 2-formes parallèles non nulles

In this paper we study harmonic maps from a compact riemannian manifold equiped with a non trivial parallel 2-form, to a K?hler manifold of strongly negative curvature tensor or a riemannian manifold of strictly negative complex sectional curvature. In a first part we set up some rigidity results of Siu type. Then we obtain an upper bound for the rank of such maps in terms of the rank of the 2-form and deduce some vanishing theorems. Received: March 4, 1996     

M-模糊化σ-代数的测度

引入了M-模糊化σ-代数的测度的概念,在这种测度定义下,一个幂集上的模糊集在某种程度上都可以看作是M-模糊化σ-代数.此外,还讨论了这种测度的刻画等性质.     

Pattern recognition at different scales: A statistical perspective

In this paper we borrow concepts from Information Theory and Statistical Mechanics to perform a pattern recognition procedure on a set of X-ray hazelnut images. We identify two relevant statistical scales, whose ratio affects the performance of a machine learning algorithm based on statistical observables, and discuss the dependence of such scales on the image resolution. Finally, by averaging the performance of a Support Vector Machines algorithm over a set of training samples, we numerically verify the predicted onset of an “optimal” scale of resolution, at which the pattern recognition is favoured.     

Learning from conflicts in propositional satisfiability

Learning is a general concept, playing an important role in many Artificial intelligence domains. In this paper, we address the learning paradigm used to explain failures or conflicts encountered during search. This explanation, derived by conflict analysis, and generally expressed as a new constraint, is usually used to dynamically avoid future occurrences of similar situations. Before focusing on clause learning in Boolean satisfiability (SAT), we first overview some important works on this powerful reasoning tool in other domains such as constraint satisfaction and truth maintenance systems. Then, we present a comprehensive survey of the most important works having led to what is called today—conflict driven clause learning (CDCL)—which is one of the key components of modern SAT solvers. In theory, current SAT solvers with clause learning are as powerful as general resolution proof systems. In practice, real-world SAT instances with millions of variables and clauses are now in the scope of this solving paradigm.     

环上的σ-导子

本文研究了σ－导子的扩张问题，并且在本原环上刻化了s－导子。     

形式矩阵环上的σ-双导子和σ-交换映射

令(R N M S)是一个具有零迹理想的形式矩阵环,σ是K的一个满足σ(E₁₁)=E₁₁,σ(E₂₂)=E₂₂的自同构.本文确定了K的σ-双导子和σ-交换映射的一般形式,证明了在一定条件下K的每个σ-双导子都可以表示成一个外σ-双导子与一个内σ-双导子的和.此外,本文给出了K的任意σ-双导子(σ-交换映射)是内σ-双导子(真σ-交换映射)的一个充分条件.     

算子的拟相似与(Q)类算子

本文引进定义于L(H)上的集值函数β(S)和(Q)类算子(指本质谱含于其一切拟相似算子的本质谱的算子),用β(S)刻划 (Q)类算子的特征;证明(Q)类算子范围广泛,次可分解算子(包括次标量算子,M-亚正常算子,半亚正常算子等等)是其中的一部分;(Q)类算子在L(H)中稠密.