非强制位势下二阶非自治系统周期解的存在性

对于非自治二阶系统的位势函数在非强制情形下,利用归约方法和极大极小原理,充分借助空间分解的特性,利用子空间的特征,得到了关于该问题在梯度函数次线性或线性增长情形下新的存在性结果.     

基于自由度分析的装配求解实现

装配求解是装配设计的重要内容，目的是利用装配约束信息求解有关实体的位置和方向．本文针对传统装配求解方法的不足，提出了一种基于自由度分析的装配求解方法，它充分利用了装配约束的几何信息，增量式添加约束，同时不断修正所记录的相应装配实体的运动自由度，并通过自由度求出装配实体的转换矩阵．本文具体描述了方法实现的有关结构和装配的推理方法     

结构多项式复杂性研究中使用的一些方法

本文介绍了结构多项式复杂性研究中用的一些方法，包括能行对角线方法，能行有穷延伸法，填料法，间隙法，延迟对角线法，加速法。     

W-度与T-度的结构差别Ⅰ

这篇文章,我们结合枝上的树型构造和具有～USP性质的集合构造方法,构造r.e.集合A,B使得T-deg(A)∩T-deg(B)与W-deg(A)∩W-deg(B)在T-归约以及W-归约下都不相等.从而推出r.e.的W-归约度结构与T-归约度结构不等价. 我们说r.e.集合A具有～UWP性质,如果存在r.e.集B≤(?),A使得对任意C≡_TB有C_wA;并且称B为A具有～UWP性质的证据.定义     

结构多顶式复杂性研究中使用的一些方法

本文介绍了结构多项式性研究中用的一些方法，包括能行对角线方法，能行有穷延伸法，填料法，间隙法，延迟对角线法，加速法。     

递归集的k-1-度上半格的不可补性与不可分配性

我们在[11]中证明了多项式时间强图灵归约≤_(sn)T 与多项式时间多一归≤_(pm)有表现在完全集上的本质差别,在本文中我们证明了递归集的≤_(sn)T-归约约度上半格〈(?)_k~1;≤〉不可分配,籍此得〈(?)_k~1;≤〉与〈(?)_m~p;≤〉不同构.这表明此二种归约有表现在其度结构上的差别.此外,使用对角线技术我们还证明了〈(?)_k~1;≤〉的某些初始片段不可补.     

本刊外文版9卷3期文章简介

（１９９３）临界性问题眭跃飞Ａ－及时允许的新概念在Ｔｕｒｉｎｇ归约下被定义了，并给出了它的一个基本性质，利用．此基本性质，作者证明了，任意两个递归可枚举度Ａ和Ｂ形成极小对，当且仅当Ｂ不是Ａ－及时允许的．作者还证明了不存在极大极小对．ｎ维Ｍｂｉｕｓ群的表示理论方爱农该文解决了高维Ｍｂｉｕｓ群的分类，不求不动点建立共轭标准型和简明的判别法等人们一直关心而长期未解决的基本问题．假设ｇ＝是Ｃｌｉｆｆｏｒｄ矩阵，ｃ≠０．本文给出了ｎ维Ｍｏｂｉｕｓ群的完全共轭分类，证明了下列充要条件：ｇ是运动的（没有不动点…     

一阶逻辑归约与计算复杂性

在计算科学中,NP完全问题在区分可计算问题的复杂度类发挥着重大的作用,不仅是因为任意NP问题都可多项式时间归约到此类问题,而且若存在一个NP完全问题在确定图灵机多项式时间内可解,那么,所有的NP问题都可在多项式时间内解决.现在广泛认为NP完全问题不存在多项式时间算法,尽管尚未有效地证明,但识别一个问题是否为NP完全问题已经显得尤为重要.从描述复杂性角度阐述计算复杂性与逻辑之间的关联,通过具体实例:集合覆盖和控制集问题,讲述如何应用一阶投射方法证明一个NP问题的完全性.这种通过逻辑归约的方法被证明是十分有用的:只需要很少的公式而不再是冗长的证明.而逻辑归约的作用不仅在于此,在P类问题中应用逻辑归约时,发现计数最小不动点逻辑LFP+C,计数膨胀不动点逻辑IFP+C和C_(∞ω)~ω对P类问题的表达能力并不充分.     

关于多项式界计算的一些结果

本文讨论了四个关于相对化的P和NP的问题。Steven Homer和Wolfgang Maass定义了NP-单纯集,他们证明了相对化的NP-单纯集的存在性,但他们所用的信息源是递归可枚举集。本文使信息源成为递归集。用了不可比,不可分,自归约等概念,证明了在NP度下有两个不可比的NP-单纯集;存在两个P~B不可分的集合;存在一个不可自归约的集合。并用了优先方法,包括有穷损害方法。     

分式化时模理论的noforking性质

本文讨论了将分式环Ｓ＾－１Ｒ上的模归约为Ｒ上模时ｎｏｆｏｒｋｉｎｇ性质的保持性，证明了：Ｌｓ＾－１Ｒ中型ｑ是ｐ的ｎｏｆｏｒｋｉｎｇ扩充当且仅当它们在ＬＲ上的限制ｑＲ的一个ｏｆｏｒｋｉｎｇ扩充，还讨论了分式模Ｓ＾－１Ｍ与Ｍ的ｏｆｏｒｋｉｎｇ性质保持的条件。     

On reductions for the Steiner Problem in Graphs

Several authors have demonstrated how reductions can be used to improve the efficiency with which the Steiner Problem in Graphs can be solved. Previous reduction algorithms have been largely ad hoc in nature. This paper uses a theory of confluence to show that, in many cases, all maximal reduction sequences are equivalent, gaining insights into the design of reduction algorithms that obtain a maximum degree of reduction.     

基于优势关系下不协调目标信息系统的分布约简

在基于优势关系下的不协调目标信息系统中引入了分布约简和最大分布约简的概念,并讨论了二者之间的关系,而且得到了分布和最大分布约简的判定定理以及辨识矩阵,建立了不协调目标信息系统的分布和最大分布约简的具体方法,同时通过实例验证了该方法的有效性,从而进一步丰富了粗糙集理论。     

Efficient weakly coupled projection basis for the reduction of thermo-mechanical models

In the work presented in this contribution we have investigated the reduction of dynamical thermo-mechanical systems and we propose a new reduction method that can be seen as an extension of the common Craig-Bampton method Craig and Bampton (1968) [2] where multi-physics is now implicitly included in the projection basis. The efficiency of this new approach has been evaluated in multiple configuration of a representative thermo-mechanical model.     

A combinatorial proof of the reduction formula for Littlewood-Richardson coefficients

There are well-known reduction formulas for the universal Schubert coefficients defined on Grassmannians. These coefficients are also known as the Littlewood-Richardson coefficients in the theory of symmetric functions. We restate the reduction formulas combinatorially and provide a combinatorial proof for them.     

Normal Ideals and Expected Reduction Numbers #

We give a criterion for normality of certain strongly Cohen-Macaulay ideals, of a regular local ring, having the expected reduction number.     

LENGTH ONE IDEAL EXTENSIONS AND THEIR ASSOCIATED GRADED RINGS

Let (R. m) be a d-dimensional Cohen-Macaulay local ring. Given m-primary ideals J ? I of R such that I is contained in the integral closure of J and λ(I/J)= I, we compare depth G(J) and depth G(J). For example, if J has reduction number one, JI = I², and μ(J)≤ d + 1, we prove that depth G(I)≥d – 1. If, in addition, μ(I)= d + 1, we show that I has reduction number one, and hence G(I) is Cohen-Macaulay. These results, besides leading to statements comparing depths of associated graded rings along a composition series, make visible the possibility of studying powers of an ideal by using reductions that are not minimal reductions.     

基于公式真度的公式集约简

基于经典命题逻辑的真度理论,讨论了经典命题逻辑系统当中公式集的约简问题。提出了真度约简及α-真度约简的概念,为公式集的约简提供了一种可行的操作方法。     

决策系统属性约简的双向算法

提出了决策系统中对象约简的新思想,即在搜索属性约简的同时不断地缩小论域;并设计了一个采用增量式方法计算决策系统的双向约简算法;分析了算法的时间复杂度,最后用一个实例说明了算法的可行性与有效性.     

Asymptotic behavior of reduction numbers

It is shown that the reduction number and the big reduction number of are linear functions of for all large . Here is a homogeneous ideal of a polynomial ring .

     

粗集决策表简化理论研究

对粗集决策表简化理论进行研究 ,为了提高决策表简化算法效率 ,通过研究得出几个定理 ,并将其应用于决策表简化算法设计。