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

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

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

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

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

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

不含混沌真子系统的Li-Yorke混沌

研究了一类Li-Yorke混沌系统,该系统没有真子系统是Li-Yorke混沌的,我们称之为混沌极小系统.本文证明混沌极小系统是拓扑传递的,而且该系统每个非空开集都包含一个不可数混乱集.混沌极小系统不一定是极小的,本文构造了一个这样的反例.特别地,我们考察了线段连续自映射,指出该类系统都不是混沌极小的,线段上混沌极小子系统的存在性和该系统有正熵是等价的.     

拓扑系统的紧性和分离性

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

一类人为错误可修复系统的指数稳定性分析

随着科学技术的发展,特别是电子产品和网络的运用,系统的可靠性分析变得日益重要.在Dhillon B S和Yang N F(1993)中通过增补变量的方法建立了这类系统的数学模型并进行研究.在此基础上进一步讨论系统解的渐进稳定性和指数稳定性,证明了系统算子在Bnacha空间中可以转化为C_0半群,0是系统算子的简单本征值,而且是系统在虚轴上唯一的谱点.此外本文还分析了在系统扰动前后系统算子解的基本谱,结果显示系统的动态解以指数稳定性趋向于系统的稳态解,通过maple作图发现系统稳定解有时候不一定趋向于系统的实际解,这对实际运用有重要的指导意义.     

复杂系统的一般数学框架(Ⅰ)

复杂系统的基本和最简单的结构就是网络.根据这一思想,本系列论文拟发展一套处理复杂系统的新数学框架.本文详细论述了系统的概念、一般描述方法:系统=(硬部,软部,环境)和局整关系,包括子系统、元素与系统的关系和系统与系统的关系;给出了系统运算的基本法则;简要论述了系统的软、硬部之间的诱导转化.     

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

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

交通运输系统协调发展理论与模型研究

提出了交通运输系统协调度的评价分析模型.从系统论的观点出发,提出了交通运输系统协调理论的概念,探讨了交通运输系统随时间而不断演化变迁的规律,给出了交通运输系统协调发展基本步骤;并根据协调学原理,讨论了交通运输系统的协调性问题,提出了系统协调发展模型,对交通运输子系统内部及子系统之间及系统整体的协调发展问题进行了研究,探讨了交通运输可持续发展的系统协调管理过程,为进一步研究交通运输系统的可持续发展奠定了基础.     

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

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