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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Lower estimates of measure of deviation of polynomials from mathematical expectations

Inequalities that are in a sense reverse to the Carbery–Wright inequality are investigated. Inequalities of this type are proved in the case of a Gaussian measure and a polynomial of arbitrary degree and also in the case of an arbitrary convex measure and a polynomial degree of 2.     

Approximation of a fractional power of an elliptic operator

Some mathematical models of applied problems lead to the need of solving boundary value problems with a fractional power of an elliptic operator. In a number of works, approximations of such a nonlocal operator are constructed on the basis of an integral representation with a singular integrand. In the present article, new integral representations are proposed for operators with fractional powers. Approximations are based on the classical quadrature formulas. The results of numerical experiments on the accuracy of quadrature formulas are presented. The proposed approximations are used for numerical solving a model two‐dimensional boundary value problem for fractional diffusion.     

Controllability and stabilization of the programmed motions of a transport robot

A non-linear mathematical model for the motion of a transport robot (TR) with a caterpillar chassis and with drives based on DC motors, which is a non-holonomic electromechanical system, is considered. Non-linear canonical transformations of the coordinates of the state and control space are constructed, which reduce the initial equations of motion of the TR to a simpler canonical form, which is convenient for analysing and synthesizing control systems for the TR. The conditions for the TR to be controllable as a controlled object are found. Algorithms are given for constructing programmed motions (PMs) of the TR. Stabilizing control laws are synthesized under which the PMs of the TR are asymptotically stable and transients of a specified nature are ensured.     

On the equivalence of two conditions for the existence of transversals

There are two conditions which are known to be necessary for the existence of a transversal in any family of sets, but both are sufficient only if the family is countable. This paper proves that these conditions are always equivalent to each other. The families which are compatible with these conditions are characterised, in the sense that each of their subfamilies possesses a transversal if it satisfies the conditions. Using this, a conjecture of Podewski and Steffens is proved.     

Comparison of factor spaces of two related populations

A canonical decomposition of two factor spaces obtained from the same variables observed on two populations is considered to obtain statistics of use in the comparison of these spaces. In particular, statistics are derived to test for a common factor space. The asymptotic distributions of these statistics are obtained in a variety of cases using perturbation methods. The methods are applied to a numerical example and results of a simulation are given to indicate the accuracy of the asymptotic results.     

Analysis and Implications of Management Uses of Information

It is a prerequisite to a number of management orientated disciplines that a manager's needs for information are defined. An initial stage in being able to adequately define needs is to understand the ways in which information can affect management behaviour. Several ways are suggested in this paper and from these, implications are drawn which are of relevance to designers of information systems.     

Verification of a class of link-level protocols

This paper describes a model of a link-level communication line, and defines a set of operations meant to form the basis of data transfer protocols. Some problems concerning verification of protocols are discussed, and it is shown that all protocols using the given operations as a basis are partially correct. Conditions are given for total correctness.     

Analysis of asymptotic distributions of some profitability characteristics of trade algorithms

The asymptotic behavior of a model sequence of price increments and some probability characteristics of a trade algorithm are investigated. It is proved that characteristics such as the number of buy and sell transactions and the value of total profitability are asymptotically normal for a stationary m-dependent sequence of price increments. Approximate formulas are derived to calculate their mathematical expectations and variances as functions of parameters of the price series and the trade algorithm. Some results of numerical experiments are presented.     

On the Least Number of Fixed Points of an Equivariant Map

The problem on the least number of fixed points of an equivariant map of a compact polyhedron on which a finite group acts is considered. For such a map, the least number of fixed points and the least number of fixed orbits are estimated in terms of invariants of the type of Nielsen numbers. The estimates obtained are sharp. The results are similar to those of P. Wong, but their assumptions are essentially weaker. Some notations are refined. The proofs are constructive.