逻辑函数在布尔减、布尔除、非代数系统中的规范展开式

证明了布尔减与非运算、布尔除与非运算均构成完备集，并根据布尔除、布尔减的运算规则和性质，从最小项、最大项展开式出发，推导了任意逻辑函数在这两个完备集中的规范展开式。得到的展开式形式简单，容易记忆，与函数在与、或、非代数系统中的规范展开式之间的转换非常便捷。本文的工作对进一步完善布尔代数的四则运算理论具有一定的意义。     

一般非自治单种群Kolmgorov时滞生态系统的持久性准则及其应用

本文研究一般非自治单种群Kolmgorov时滞生态系统．关于种群的持久性和系统的正周期解的存在性的充分条件被建立,作为这些准则的应用，一系列特殊的单种群增长的时滞系统被研究．关于种群的持久性和系统的正周期解的存在性的一系列具体的判别准则被建立．     

随机哈密尔顿系统的周期变差解和近不变环面解

本文研究具有随机扰动的哈密顿系统的重现现象,尤其是轨道随机周期变差解和近不变环面解.具体来说,对线性薛定谔方程,我们完整阐述了随机周期变差解何时存在;对随机扰动的近可积哈密顿系统,我们证明了近不变环面的存在性与驱动噪声对应的哈密顿函数的对合性相关.     

Bifurcation of Homoclinic Orbits with Saddle-Center Equilibrium

In this paper, the authors develop new global perturbation techniques for detecting the persistence of transversal homoclinic orbits in a more general nondegenerated system with action-angle variable. The unperturbed system is assumed to have saddle-center type equilibrium whose stable and unstable manifolds intersect in one dimensional manifold, and does not have to be completely integrable or near-integrable. By constructing local coordinate systems near the unperturbed homoclinic orbit, the conditions of existence of transversal homoclinic orbit are obtained, and the existence of periodic orbits bifurcated from homoclinic orbit is also considered.     

Global Bifurcation of a Perturbed Double-Homoclinic Loop

This paper deals with a kind of fourth degree systems with perturbations. By using the method of multi-parameter perturbation theory and qualitative analysis, it is proved that the system can have six limit cycles.     

剩余格与正则剩余格的特征定理

本文进一步研究了具有广泛应用的一类模糊逻辑代数系统——剩余格，并引入了正则剩余格的概念，对剩余格与正则剩余格的定义进行了讨论，给出了剩余格与正则剩余格的特征定理，其中包含剩余格与正则剩余格的等式特征，从而这两个格类都构成簇．本文还讨论了剩余格与正则剩余格公理系统的独立性，以及它们与相近代数结构的关系．     

ALMOST GLOBAL EXISTENCE OF DIRICHLETINITIAL-BOUNDARY VALUE PROBLEM FORNONLINEAR ELASTODYNAMIC SYSTEMOUTSIDE A STAR-SHAPED DOMAIN

This paper deals with the mixed initial-boundary value problem of Dirichlet type for the nonlinear elastodynamic system outside a star-shaped domain. The almost global existence of solution with small initial data to this problem is proved and a lower bound for the lifespan of solutions is given.     

一类不确定时变时滞系统的鲁棒自适应稳定控制

研究了一类不确定时变时滞系统的鲁棒自适应稳定控制问题.系统包含多变时滞非线性扰动.基于Lyapunov稳定性理论和Lyapunov-K rasovsk ii型泛函设计出了一种无记忆的自适应状态反馈控制器,并证明了满足一定条件时,此控制器使得闭环系统最终一致有界.     

LPS＇S CRITERION FOR INCOMPRESSIBLE NEMATIC LIQUID CRYSTAL FLOWS

In this paper we derive LPS's criterion for the breakdown of classical solutions to the incompressible nematic liquid crystal flow, a simplified version of Ericksen-Leslie system modeling the hydrodynamic evolution of nematic liquid crystals in R3. We show that if0 T +∞ is the maximal time interval for the unique smooth solution u ∈ C∞([0, T), R3),then |u| + |▽d| /∈ Lq([0, T ], Lp(R3)), where p and q safisfy the Ladyzhenskaya-Prodi-Serrin's condition:3p+2q= 1 and p ∈(3, +∞].     

具时滞Lotka-Volterra互惠系统的全局吸引性

利用Ｌｉａｐｕｎｏｖ泛函方法，讨论了具时滞非自治Ｌｏｔｋａ Ｖｏｌｔｅｒｒａ互惠系统周期正解的全局 吸引性，推广了文［１］已知相关结果．