基础J^＊系统的一种扩张—Lukasiewicz系统

研究模糊命题演算的形式演绎系统J^*和Lukasiewicz命题演算系统Lu,提出基础系统J^*-BJ^*系统，证明BJ^*系统的一种扩张与Lukasiewicz系统之间的等价性，从而为J^*系统和BJ^*系统提供了一个应用实例。     

基础模糊命题演算系统BL~*的改进系统

基础模糊命题演算系统BL*是一个和基础命题演算系统BL相对独立的命题演算系统。命题演算系统L*是系统BL*的扩张,但不是系统BL的扩张。通过对系统BL*及其它模糊命题演算系统的研究,本文对BL*系统进行了修正,进一步改进了BL*系统中的公理体系。     

基础L*系统的一种扩张——Lukasiewicz系统

研究模糊命题演算的形式演绎系统 L *和 Lukasiewicz命题演算系统 Lu,提出基础系统L *—— BL *系统 ,证明 BL *系统的一种扩张与 Lukasiewicz系统之间的等价性 ,从而为 L *系统和BL *系统提供了一个应用实例。     

线性离散事件动态系统的可达性

可达性是动态系统的重要性质之一。本文讨论离散事件动态系统的可达性,给出了系统完全可达的充要条件,得到了利用系统的特征矩阵判断系统可达性的判据,证明了系统可按可达性进行分解、状态反馈不影响系统可达性等结论,还进一步讨论了一类流水线生产加工系统的可达性,本文的结果对于这类系统的分析和控制是有意义的。     

基于广义反射函数与自治系统等价的非自治系统

自治系统的研究比非自治系统要容易得多,以广义反射函数为前提,给出了等价于自治系统的非自治系统,从而将非自治系统的研究转化为自治系统的研究,并研究了该类系统的周期解及稳定性.     

不可微预报系统的广义变分同化方法及数值试验

讨论了不可微预报系统中的广义变分同化方法．对于不可微预报系统，由于不可微性，系统不存在切线性系统，而切线性系统的不存在，使得无法用通常的途径导出伴随系统．引进不可微系统的弱形式后，可以不考虑切线性系统，而直接导出伴随系统．主要就3种形式的问题展开了讨论，第1种为低维系统，第2种情形为高维系统整体观测资料，第3种情形为高维系统局部观测资料．可以称此方法为结合反问题思想的广义变分同化方法。     

金融系统工程研究进展与展望

金融系统本质上是一个复杂的自适应系统,基于简单系统思维建立的传统金融理论已经很难适应现代复杂金融系统的发展.金融系统工程利用系统科学与系统工程的方法论来研究复杂金融系统的动态特征与演化规律,是更接近复杂金融系统本质的新兴学科.文章基于金融系统工程领域2014-2018年的研究文献,从金融系统研究方法,金融系统参与者行为,金融系统风险传染与防治3个研究范畴总结了金融系统工程领域的研究进展,并展望了未来该领域的重点研究方向.     

错误系统模型研究

本文研究了错误系统模型的基本组成部分,分析了错误系统模型的分类,并在此基础上对错误系统模型的层级进行了研究,最后给出了错误系统模型在消除系统错误以及优化系统中的意义。     

中介命题演算系统$MP^{M}$的代数系统

MP~M系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统．本文通过在MP~M系统上建立一个代数系统,对MP~M系统进行了代数抽象,讨论了MP~M系统的代数性质．本文还研究了该代数系统的次直积,以及与其它一些代数系统之间的关系．     

拓扑系统的紧性和分离性

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

概周期系统概周期解的存在唯一性

应用构造Ляпунов函数的方法，讨论了非线性微分方程系概周期解的存在唯一性.同时给出了Liénard方程存在唯一概周期解的一组充分条件.     

Pseudo almost periodic solutions for the systems of differential equations with piecewise constant argument [t]

In this paper, we investigate the existence and uniqueness of new almost periodic type solutions, so-called pseudo almost periodic solutions for the systems of differential equations with piecewise constant argument by means of introducing the notion of pseudo almost periodic vector sequences     

Pseudo almost periodic solutions for the systems of differential equations with piecewise constant argument

In this paper, we investigate the existence and uniqueness of new almost periodic type solutions, so-called pseudo almost periodic solutions for the systems of differential equations with piecewise constant argument by means of introducing the notion of pseudo almost periodic vector sequences.     

Pseudo almost periodic solutions for the systems of differential equations with piecewise constant argument [t]

In this paper, we investigate the existence and uniqueness of new almost periodic type solutions, so-called pseudo almost periodic solutions for the systems of differential equations with piecewise constant argument by means of introducing the notion of pseudo almost periodic vector sequences     

ON ALMOST PERIODIC SOLUTIONS OF AHIGHER ORDER ALMOST PERIODIC SYSTEM

1IntroductionConsiderthel'Ollowingdifferentialequationdx~~A(.t)x g(t,x),(l)dt.wherexeR",t6R,A(t)=(a,,(t)),,..istillnxncontinlloust'llllctiollmatrixinR,g(t,x)isanat-dimensionalcolltinuousfunctionvectorinRxR".Thepaper[l,21dealedwil;htheproblemontheexistence…     

ON THE EXISTENCE AND UNIQUENESS OF ALMOST PERIODIC SOLUTIONS TO DISCRETE TWO-SPECIES COMPETITIVE SYSTEMS

In this paper, we consider almost periodic discrete two-species competitive sys-tems. By using Lyapunov functional, the existence conditions and uniqueness of almost periodic solutions for the this type of systems are obtained.     

一类时滞反应扩散方程的周期解和概周期解

通过构造上、下控制函数，结合上、下解方法及相应的单调迭代方法研究了一类时滞反应扩散方程，证明了在反应项非单调时，如果一雏边值问题存在一对周期（或概周期）上、下解，则方程一定存在唯一的周期（或概周期）解．并给出了二维边值问题周期（或概周期）解存在唯一性的充分条件．推广了已有的一些结果。     

Nonautonomous Lotka-Volterra Systems with Delays

The paper studies the general nonautonomous Lotka-Volterra multispecies systems with finite delays. The ultimate boundedness, permanence, global attractivity, and existence and uniqueness of strictly positive solutions, positive periodic solutions, and almost periodic solutions are obtained. These results are basically an extension of the known results for nonautonomous Lotka-Volterra multispecies systems without delay to systems with delay.     

Pseudo almost periodic solutions for the systems of differential equations with piecewise constant argument [<Emphasis Type="Italic">t</Emphasis> + 1/2]

In this paper we investigate the existence and uniqueness of pseudo almost periodic solutions and unboundedness of other solutions for the systems of differential equations with piecewise constant argument [t + 1/2] by means of new notion of pseudo almost periodic vector sequences. The case in which the characteristic equation has multiple roots is considered.     

Existence of weighted pseudo almost periodic solutions to some classes of hyperbolic evolution equations

This paper is concerned with the study of weighted pseudo almost periodic solutions to some classes of hyperbolic differential equations. Upon making some suitable assumptions, the existence and uniqueness of a weighted pseudo almost periodic solution is obtained. To illustrate our main result, we study the existence of a weighted pseudo almost periodic solution to a system of partial differential equations arising in control systems described by abstract retarded functional-differential equations with feedback control.