项重写系统和自由幺半群

项重写系统起源于数理逻辑,是理论计算机科学的重要组成部分.关于项重写系统的一个主要问题是描述一个重写系统是否具有汇合或终止等基本性质.本文首先将一个项重写系统与自由幺半群上的二元关系联系起来.然后,基于自由幺半群上的项重写系统,刻画了收敛项重写系统与自由幺半群的商截面之间的关系.作为应用,分别给出了由三个元素生成的Platic幺半群和中国幺半群的截面.     

代数的算子的Rota纲领、重写系统和Grobner-Shirshov基

许多年前,Rota提出了Rota纲领:找出所有能被(结合)代数上的线性算子满足的代数恒等式.经过一段时间的沉寂之后,近些年来在带算子代数和Grobner-Shirshov基的观点下,Rota纲领有了快速的进展,发表在一系列从特殊情形到一般情形的论文中.这也表明,Rota的远见卓识可以非常广泛地应用到其他代数结构上,比如李代数和更为广泛的operad.本文介绍了Rota纲领的动机、早期发展及最近在结合代数和李代数上的进展,主要用到了重写系统和Grobner-Shirshov基的方法.本文回顾了一些老问题,也提出了一些新问题,以推动Rota纲领的进一步发展.     

一类广义Liénard型系统周期解的存在性和不存在性

讨论了一类广义Liénard型系统.x=p(y)k(x),.y=-f(x,y)p(y)q(y)-g(x)h(y)非零周期解的存在性和不存在性,给出了非零周期解的存在和不存在的一类充分条件.     

基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.     

渐近线性二阶Hamilton系统解的存在性和多重性

在实际问题中存在着Neumann边值情形.为实际需要,运用指标理论和Morse理论研究了渐近线性二阶Hamilton系统在这种情形下解的存在性和多重性问题。     

范德蒙类矩阵与合流范德蒙矩阵的行列式

利用递推的方法给出了范德蒙类矩阵与合流范德蒙矩阵的行列式.     

Hamilton系统约束的新分类和系统的可解性

本文建议Hamilton系统约束的一种新分类法,并利用这种分类法讨论了系统的可解性。     

非线性系统有理首次积分的不存在性和部分存在性

该文的目的是给出一般非线性系统存在和部分存在有理首次积分的判别准则. 作者给出系统存在有理首次积分的必要条件, 在此基础上进一步给出系统不存在其它有理首次积分(在函数独立的意义下)的判定准则.     

拓扑系统的紧性和分离性

考察拓扑系统的两种紧性——空间式紧和locale式紧,给出紧性的若干刻画,讨论了两种紧性的相互关系,证明了拓扑系统的两种紧性都是拓扑空间紧性的良好推广,说明了紧拓扑系统的闭子拓扑系统、有限和系统以及积系统仍是紧拓扑系统。最后在拓扑系统中考察了紧性加强分离性的问题,得到了紧,(强)T2拓扑系统为(强)T3,(强)T4拓扑系统等结论,并用理想收敛刻画了拓扑系统的强T2分离性。     

离散广义系统的求解和能控,能观性

本文讨论了离散广义线性系统解的结构,系统的各种能控性和各种能观性以及判别法。     

随机森林发展系统解的存在性和唯一性

本文根据Gronwall's和Barkholder-Davis-Gundy's引理，证唠了Hilbert空间的随机森林发展系统解的存在性和唯一性．     

一类化学反应扩散系统解的存在性及渐近性

研究一类化学反应扩散系统解的整体存在性及长时间解的渐近行为。     

多物种生态竞争系统周期正解的存在性和全局吸引性

利用重合度理论中的延拓定理和Lyapunov泛函方法讨论了一类具有多个滞量的多物种生态竞争系统周期正解的存在性和全局吸引性,得到了一些新的结果．实例表明我们的结果更加广泛,更加便于应用．     

自旋系统的随机单调性与正相关性

本文讨论乘积空间■{0,1,…,N_u}上的自旋系统,得到了系统随机单调的充要条件,并用“两点测度”的方法给出了系统正相关的一个必要条件.特别地,证明了{0,1}~s空间上自旋系统随机单调与正相关的等价性.     

时变线性系统的稳定性

本文把文[1]、[2]的变换技巧推广到变系数线性系统(i=1,…,n),用函数方法,研究了n=2、3时零解的稳定性,得到了零解稳定的若干判据.有关系数a_(ij)(t)不必都限制为有界.     

边值系统的能控性与能观测性问题

把抽象系统的能控性和能观测性推广到由强连续双半群描述的抽象边值系统,给出了相应的边值系统能控性的充要条件,并研究了能观测性与能控性之间的对偶关系.最后作为例子,研究了双曲系统能控性.文中所得的结果可用于讨论现代物理系统中出现一类边值系统的能控性与能观测性问题.     

一类哈密顿系统周期函数的单调性

哈密顿函数H(x,y)=F(x)+G(y)所对应的哈密顿系统.给出了这类系统的周期解的周期为单调函数的几个充分条件,并用所得结果讨论了Volterral-Lotka系统和无阻尼、无强迫Duffing方程周期解周期的单调性.     

二环链系统的稳定性和能控性

提出了二环链系统,并利用二环链特征向量,给出了一个系统可实现二环链分解的充分必要条件,给出了可实现二环链线性系统的分解算法,研究了二环链系统的稳定性和能控性.     

一个具有非线性边界条件的抛物系统整体存在性和爆破

In this paper the nonnegative classical solutions of a parabolic system with nonlinear boundary conditions are discussed. The existence and uniqueness of a nonnegative classical solution are proved. And some sufficient conditions to ensure the global existence and nonexistence of nonnegative classical solution to this problem are given.