研究K4-同胚图K4(α,1,1,δ,ε,η)色性的一个引理

主要介绍了一个引理，这个引理奠定了K4－同胚图K4（α，1，1，δ，ε，η）色性研究的基础。     

单循环赛赛程安排的一个图论方法

利用图论的边着色理论建立了一个赛程安排的数学模型 .首先建立 n支球队与完全图 Kn的 n个顶点间的一一对应 ,把球队 Ai和 Aj间的比赛关系抽象成 Kn的顶点 i和 j间的边 ( i,j) .然后分别构造出了图K2 m- 1和 K2 m的正常 2 m-1边着色 .从而给出了各球队每两场比赛间得到的休整时间最均等 ,休整的间隔场次数达到上限值 n2 的一个赛程安排方案     

Supercompactness and measurable limits of strong cardinals II: Applications to level by level equivalence

We construct models for the level by level equivalence between strong compactness and supercompactness in which for κ the least supercompact cardinal and δ ≤ κ any cardinal which is either a strong cardinal or a measurable limit of strong cardinals, 2^δ > δ ⁺ and δ is < 2^δ supercompact. In these models, the structure of the class of supercompact cardinals can be arbitrary, and the size of the power set of κ can essentially be made as large as desired. This extends and generalizes [5, Theorem 2] and [4, Theorem 4]. We also sketch how our techniques can be used to establish a weak indestructibility result. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The Newton filtration and d-determination of bifurcation problems related to C~0 contact equivalence

In this paper, from the Newton filtration's point of view, we construct the singular Riemannian metric and use the method in singular theory to study the bifurcation problems, and give the sufficient condition of d-determination of bifurcation problems with respect to C0 contact equivalence. The special cases of the main result in this paper are the results of Sun Weizhi and Zou Jiancheng.     

Symmetry of the Barochronous Motions of a Gas

We study the system of nonlinear differential equations which expresses the constancy of the algebraic invariants of the Jacobian matrix for smooth vector fields in three-dimensional space. This system is equivalent to the equations of gas dynamics which describe the barochronous motions of a gas (the pressure and density depend only on the time). We present the results of computation of the admissible local Lie group and construction of the general solution of the system. We mention a few new problems that arise here.     

co—H空间上自同伦等价群的若干结果

研究有关co H 空间上的自同伦等价.当co H 空间X是1 连通的有限CW 复形时,εSP(SX)是有限生成的群.另外本文还得到εco H(X)是有限群的一个充分条件.     

1次+3次平面多项式系统的代数分类

采用代数不变式和空间直和的理论,对1次 3次平面多项式系统在保证轨线走向不变的前提下进行代数分类,共分成40个等价类.     

On invariability of self-injective algebras of tilted type under stable equivalences

We prove that a large class of self-injective algebras of tilted type is invariant under stable equivalences of module categories.

     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。