共查询到20条相似文献,搜索用时 62 毫秒
1.
基础J^*系统的一种扩张—Lukasiewicz系统 总被引:4,自引:3,他引:1
研究模糊命题演算的形式演绎系统J^*和Lukasiewicz命题演算系统Lu,提出基础系统J^*-BJ^*系统,证明BJ^*系统的一种扩张与Lukasiewicz系统之间的等价性,从而为J^*系统和BJ^*系统提供了一个应用实例。 相似文献
2.
基础模糊命题演算系统BL*是一个和基础命题演算系统BL相对独立的命题演算系统。命题演算系统L*是系统BL*的扩张,但不是系统BL的扩张。通过对系统BL*及其它模糊命题演算系统的研究,本文对BL*系统进行了修正,进一步改进了BL*系统中的公理体系。 相似文献
3.
基础L*系统的一种扩张——Lukasiewicz系统 总被引:12,自引:1,他引:11
研究模糊命题演算的形式演绎系统 L *和 Lukasiewicz命题演算系统 Lu,提出基础系统L *—— BL *系统 ,证明 BL *系统的一种扩张与 Lukasiewicz系统之间的等价性 ,从而为 L *系统和BL *系统提供了一个应用实例。 相似文献
4.
可达性是动态系统的重要性质之一。本文讨论离散事件动态系统的可达性,给出了系统完全可达的充要条件,得到了利用系统的特征矩阵判断系统可达性的判据,证明了系统可按可达性进行分解、状态反馈不影响系统可达性等结论,还进一步讨论了一类流水线生产加工系统的可达性,本文的结果对于这类系统的分析和控制是有意义的。 相似文献
5.
基于广义反射函数与自治系统等价的非自治系统 总被引:1,自引:0,他引:1
孙长军 《数学的实践与认识》2010,40(19)
自治系统的研究比非自治系统要容易得多,以广义反射函数为前提,给出了等价于自治系统的非自治系统,从而将非自治系统的研究转化为自治系统的研究,并研究了该类系统的周期解及稳定性. 相似文献
6.
7.
8.
9.
10.
拓扑系统的紧性和分离性 总被引:1,自引:0,他引:1
考察拓扑系统的两种紧性——空间式紧和locale式紧,给出紧性的若干刻画,讨论了两种紧性的相互关系,证明了拓扑系统的两种紧性都是拓扑空间紧性的良好推广,说明了紧拓扑系统的闭子拓扑系统、有限和系统以及积系统仍是紧拓扑系统。最后在拓扑系统中考察了紧性加强分离性的问题,得到了紧,(强)T2拓扑系统为(强)T3,(强)T4拓扑系统等结论,并用理想收敛刻画了拓扑系统的强T2分离性。 相似文献
11.
应用构造Ляпунов函数的方法,讨论了非线性微分方程系概周期解的存在唯一性.同时给出了Liénard方程存在唯一概周期解的一组充分条件. 相似文献
12.
Daxiong Piao 《中国科学A辑(英文版)》2001,44(9):1156-1161
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 相似文献
13.
PIAO Daxiong 《中国科学A辑(英文版)》2001,44(9)
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. 相似文献
14.
Daxiong Piao 《中国科学 数学(英文版)》2001,44(9):1156-1161
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 相似文献
15.
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… 相似文献
16.
Niu Chengying Chen Xiaoxing 《Annals of Differential Equations》2008,(3):306-316
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. 相似文献
17.
18.
Zhidong Teng 《Journal of Differential Equations》2002,179(2):538-561
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. 相似文献
19.
PIAO DaxiongDepartment of Mathematics Ocean University of China Qingdao China 《中国科学A辑(英文版)》2004,47(1):31-38
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. 相似文献
20.
Toka Diagana 《Journal of Mathematical Analysis and Applications》2009,350(1):18-6548
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. 相似文献