LP(X)中MP归结推理

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

单C~*-代数α-比较性的一种等价刻画

给出C~*-代数α-比较性的等价刻画:对于单的含单位元的稳定有限的C~*-代数A而言,A具有α-比较性,当且仅当对于任意的a,b∈W(A),若α·d_r(a)d_τ(b)(_τ∈QT(A)),则a≤b在Cuntz半群W(A)中成立.利用此刻画,证明了具有α-比较性的C~*-代数一定具有弱比较性;若A具有α-比较性,其中α=m+1,则A具有正元的强迹m-比较性;对于满足Kirchberg-R?rdam条件的C~*-代数,E-稳定、严格比较、α-比较性(α=m+1)、强迹m-比较性、弱比较性以及局部弱比较性彼此等价;若α:=inf{α′∈(1,∞)|A具有α′-比较}∞,则A具有α-比较性.     

归纳极限与积C~*-代数的α-比较性

?对于C~*-代数归纳极限A=(lim→)(A_n,φ_(m,n)(其中A_n?A_(n-1)?A且φ_(n,n-1):A_n→A_(n+1)为嵌入映射),若A_n人为具有α-比较的单的含单位元的稳定有限的C~*-代数,则A具有α-比较性;若A_λ(?_λ∈Λ)具有α-比较性,则积C~*-代数(Πλ∈A)A_λ具有α-比较性,特别地,和C~*-代数(λ∈A)A_λ具有α-比较性.     

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

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

格值一阶逻辑系统LF（X）中带广义量词的α-归结原理

讨论格值一阶逻辑系统LF(X)中带广义量词的α-归结,证明了带广义量词的Herbrand-定理,为格值一阶逻辑系统中带广义量词的不确定性自动推理作了理论的准备.     

非单C~*-代数α-比较性的等价刻画

给出非单C~*-代数α-比较性的等价刻画:当每个τ∈QT(■H)均为忠实时,■具有α-比较性,当且仅当对于任意的〈a〉,〈b〉∈Cu(■)且∝,若α·d_τ(a)≤在Cu(■)中成立;一般地,当QT(■H)≠Φ时,■具有α-比较性,当且仅当对于任意的,∈Cu(■),若存在η>0,使得d_τ(α)≤(α~(-1)-η)d_τ(b)(_τ∈QT(■H)),则≤在Cu(■)中成立.     

Cantor极小动力系统生成交叉积C~*-代数的K_0群

设(X,α)为一个Cantor极小系统,C(X)×_αZ为相应的交叉积C~*-代数,U,V为X内的两个clopen集.证明了如果[j_α(1U)_0=[jα(1_v)]_0∈K_0(C(X)×_αZ),则存在α的一个拓扑全群元素σ,使得σ(U)=V.     

Cantor极小动力系统生成交叉积C~*-代数的K_0群

设(X,α)为一个Cantor极小系统,C(X)×_αZ为相应的交叉积C~*-代数,U,V为X内的两个clopen集.证明了如果[j_α(1_U)]_0=[j_α(1_V)]_0∈K_0(C(X)×_αZ),则存在α的一个拓扑全群元素σ,使得σ(U)=V.     

α-拓扑空间的遗传性

在拓扑空间(X,T)中提出了α-拓扑空间(X,Tα),对(X,Tα)中的开集的判别法进行了研究,在遗传性方面得到了一些重要的结论.     

C*-代数交叉积上的渐近同态(英文)

林华新和松井宏树提出了可分C~*-代数上的渐近同态的概念,以及Cantor极小系统上弱逼近共轭的概念.设A为Ko群有限生成的AF代数,α,β为A上的具有Rokhlin性质的*-自同构.则α和β弱逼近共轭的充要条件是,存在两列渐近同态{φ_n}:A_α→A_β和{ψ_n}:A_β→A_α,以及两列*-自同构{Φ_n},{Ψ_n}:A→A,满足对任意的a∈A,均有lim_(n→∞)‖φ_noj_α(a)-jβoΦ_n(a)‖=0和lim_(n→∞)‖ψ_nojβ(a)-jα·Ψ_n(a)‖=0.     

Extreme values of the sum of squares of degrees of bipartite graphs

In this paper we determine the minimum and maximum values of the sum of squares of degrees of bipartite graphs with a given number of vertices and edges.     

Estimation of the number of components of finite mixtures of multivariate distributions

An estimator of the number of components of a finite mixture ofk-dimensional distributions is given on the basis of a one-dimensional independent random sample obtained by a transformation of ak-dimensional independent random sample. A consistency of the estimator is shown. Some simulation results are given in a case of finite mixtures of two-dimensional normal distributions.     

Eigenvector p-Bases of Rings of Constants of Derivations

Let A be a UFD of characteristic p > 0, let 𝒵 be a set of some eigenvectors of a derivation of A. We prove, under some additional assumptions, a necessary and sufficient condition for 𝒵 to be a p-basis of the minimal ring of constants containing 𝒵. The main preparatory result is the unique decomposition theorem with respect to a factor from a given subalgebra containing A^p.     

Galois Structure of K-Groups of Rings of Integers

N/Kbe a Galois extension of number fields with finite Galois group G.We describe a new approach for constructing invariants of the G-module structure of the K groups of the ring of integers of N in the Grothendieck group of finitely generated projective Z[G]modules. In various cases we can relate these classes, and their function field counterparts, to the root number class of Fröhlich and Cassou-Noguès.     

有资格限制的指派问题的求解方法

在实际的指派工作中，常会遇到某个人有没有资格去承担某项工作的问题，因此，本建立了有资格限制的指派问题的数学模型。在此数学模型中，将效益矩阵转化为判定矩阵，由此给出了判定此种指派问题是否有解的方法；在有解的情况下，进一步将效益矩阵转化为求解矩阵，从而将有资格限制的指派问题化为传统的指派问题来求解。最后给出了一个数值例子来说明这样的处理方法是有效的。     

Number of connected components of groups of real points of adjoint groups

We present a unified approach to compute the number of connected components in the group of real points of adjoint almost simple real algebraic groups.     

On Sums of Coefficients of Products of Polynomials

We study the nilpotency of the sums of all coefficients of some sorts of products of polynomials over reversible, IFP, and NI rings, and introduce an SCN ring as a generalization. We characterize SCN rings in relation with related ring properties, and also provide several useful properties and ring extensions of SCN rings.     

Radius of convexity of certain classes of analytic functions

We consider the classes of analytic functions introduced recently by K.I. Noor which are defined by conditions joining ideas of close-to-convex and of bounded boundary rotation functions. We investigate coefficients estimates and radii of convexity.     

Convergence of sequences of sets of associated primes

It is a well-known result of M. Brodmann that if is an ideal of a commutative Noetherian ring , then the set of associated primes of the -th power of is constant for all large . This paper is concerned with the following question: given a prime ideal of which is known to be in for all large integers , can one identify a term of the sequence beyond which will subsequently be an ever-present? This paper presents some results about convergence of sequences of sets of associated primes of graded components of finitely generated graded modules over a standard positively graded commutative Noetherian ring; those results are then applied to the above question.