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

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

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

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

拓扑系统的紧性和分离性

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

分数阶Chen-like系统混沌性态分析及控制

提出了一类Chen-like系统,研究了该系统奇点稳定性、混沌等动力学性态.讨论了Chen-like系中参数与阶数对系统混沌性态的影响,并给出了Chem-like系统出现混沌性态的阶次范围.与分数阶Chen系统相比,系统出现混沌性态的阶次范围增大了.根据分数阶系统稳定性理论及线性反馈控制,对系统进行了混沌控制,得出了混沌系统在平衡点处的稳定性条件.数值模拟验证了理论分析的正确性.     

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

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

多值逻辑系统RDP中的子代数理论

系统RDP是一个带有参数的系统,将参数a赋予不同的值,将会得到不同的多值逻辑系统.本文研究了多值逻辑系统RDP中的子代数理论,讨论了该系统子代数的特征及相关性质,为系统RDP的进一步研究奠定了基础.     

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

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

一类混沌系统的函数矩阵投影同步

研究了一类混沌系统的函数矩阵投影同步问题,基于函数矩阵方法,利用Lyapunov稳定性理论和极点配置理论,设计了两个连续混沌系统之间的同步方案,同时设计了两个离散混沌系统之间的同步方案,实现了驱动系统与动态系统按给定的函数矩阵投影同步,并给出了证明,通过对Lorenz混沌系统,和Henon系统的数值模拟,表明了该方法的有效性.     

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

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

具有止步和中途退出的两不同服务台的可修排队

研究了等待空间有限的两服务台可修排队系统,其中一个服务台可能故障.到达的顾客可能进入系统也可能不进入系统(止步),进入系统的顾客可能因等待的不耐烦而中途退出.利用马尔可夫过程的方法建立了系统稳态概率满足的方程组,通过分块矩阵推导出了系统稳态概率向量的迭代计算公式,由此得到了系统各项性能指标的计算公式.最后,给出了一些数值结果.     

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

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

分段线性非线性汽车悬架系统的分岔行为

建立了由主、副簧组成的分段线性非线性悬架系统动力学模型,应用奇异性理论研究了两个自由度汽车悬架系统共振解的分岔,得到系统的转迁集和40组分岔图,发现了非常复杂的局部分岔,分岔图全面展示了这一系统的分岔特性.由系统参数与该系统的拓扑分岔解之间的联系,分析并得到了不同参数下系统的运动特性,为实现悬架参数的优化控制提供了理论依据.     

约束Hamilton系统的Lie对称性及其在场论中的应用

研究了约束Hamilton系统的Lie对称性,得到了场论系统的守恒量.首先给出约束Hamilton系统的正则运动方程和固有约束方程;其次构建了约束Hamilton 系统的Lie对称性确定方程和结构方程;然后给出了约束Hamilton系统的Lie守恒定理和守恒量;最后研究了复标量场与Chern-Simons项耦合系统的Lie对称性和另外一个例子以说明此方法在场论中的应用.     

系统动力学在城市污水再生回用系统中的应用

用系统动力学方法研究了城市污水回用系统.首先分析了影响城市污水回用系统的诸多因素以及它们之间的相互关系,探讨了污水再生回用系统行为和结构的特点,确定了系统中因素之间的定量关系,建立了城市污水回用系统动力学(SD)模型,并介绍了模型的检验方法.同时给出了SD模型的具体应用实例,对西北地区的某一城市的污水回用进行了预测和分析,提出了符合该城市发展的污水回用方案.     

基于线性控制的分数阶混沌系统的对偶投影同步

分数阶混沌系统的对偶同步是一个新的同步方法.有关分数阶混沌系统对偶投影同步的研究较少.基于分数阶系统的稳定性理论,通过设计线性控制器研究了分数阶混沌系统的对偶投影同步.给出了一个实现分数阶混沌系统对偶投影同步的一般方法,推广了现有对偶同步的研究结果,通过分数阶Van der Pol系统和分数阶Willis系统的数值仿真证实了该方法的有效性.     

一类非线性微分代数系统的零动态

控制系统的零动态是系统一种内部动态品质,其行为与系统的许多性质相联系,如系统的稳定性,反馈镇定与输出跟踪等.针对一类非线性微分代数系统,提出了输出零子流形和零动态的概念.利用M-导数方法,探讨了此类系统的输出零子流形的性质,并给出了此类系统的输出零子流形和零动态算法,也讨论了该算法的一些性质.最后,给出一个例子说明如何利用系统的零动态来讨论系统的反馈稳定化问题.     

主编寄语

在举国上下庆祝新中国成立60周年之际,中国科学院系统科学研究所迎来了建所30周年.关肇直、吴文俊和许国志三位院士高瞻远瞩,在30年前就认识到系统科学的重要性,创建了系统科学研究所,并创办了系统科学在我国的第一个期刊<系统科学与数学>.     

离散时间单部件可修系统瞬时可用度的渐近稳定性

针对离散时间下修理有延迟的单部件可修系统,研究了有限时间约束下的系统瞬时可用度模型.证明了该系统瞬时可用度的渐近稳定性,并得到了系统稳态可用度的表达式.结果表明系统瞬时可用度的稳定性对离散时间系统和连续时间系统具有一致性,进一步说明了离散时间下瞬时可用度模型的有效性,同时也加强了研究有限时间段内系统瞬时可用度波动的理论基础.     

高阶控制增稳系统等效拟配参数时域在线辨识方法

现代控制增稳飞机是高达几十阶的复杂系统,将其降阶为特定形式的低阶等效系统才能与已有飞行品质规范进行比较,进而预测和评价飞机飞行品质.从时域角度出发,提出了一种高阶控制增稳系统等效拟配参数在线辨识方法.分析了时域等效系统拟配的基本方法,提出了等效系统实时在线拟配的系统框架思路,基于Tustin变换法推导了由高阶系统时域响应获取四阶等效系统参数的数学公式,应用最小二乘法在MATLAB中实现了算法编程,并用试飞数据验证了所提方法的可行性.计算结果表明,所提方法可以快速准确地实现高阶控制增稳系统的等效系统参数辨识.     

非线性齐次时滞系统H_∞控制

讨论了非线性齐次时滞系统的H∞控制问题.首先给出了非线性仿射齐次时滞系统的Lyapunov泛函V(x)具体形式,选取适当的λ* ,使得当λ>λ*时系统的Hamilton-Jacobi-Isaacs不等式有解,从而解决了系统的L2 增益问题.文章最后构造了具体状态反馈控制律u(x) ,使时滞Lyapunov泛函V(x)沿闭环系统轨线导数小于零,保证了系统的渐进稳定性,因而解决了系统的H∞控制问题.