多队列循环移动服务系统的数学模型与分析

本文给出了一类广泛存在于交通、通讯、计算机网络以及社会服务等领域中的随机服务系统－－多队列循环移动服务系统的数学模型，并求出了此类系统的若干主要特性参量。     

一类多站循环服务系统的队列状态转移函数

主要讨论了有关容量有限与服务受限的多站循环服务系统问题：（１）系统和队列排队服务模型及系统特点;（２）给出判断队列状态转移性质的条件;（３）提出服务策略数目、队列状态零和非零转移数目的函数表达式,分析函数的若干数学特征,并通过典型例子加以说明。     

一类离散事件系统的建模与分析研究

柔性制造系统为一类重要的离散事件系统。本文首先给出了该系统在任意排序、有限缓存器容量和多托盘配置下的极大代数模型;并由此给出了保证系统最佳运行效率前提下选择最少托盘数目、缓存器容量的启发式分析算法。文中给出了仿真算例。     

多Agent系统形式化建模方法研究

简要总结了多Agent系统（MAS）形式化建模方法的研究现状;以面向对象Petri网（OPN）和π演算为基础,给出了一种直观的MAS体系结构模型（Multi-Agent Systems Architecture Model,MASAM）。OPN可以形象地描述MAS的初始化结构及动态行为,而π演算可以刻画MAS的动态演化;另外,可以利用Petri网和π演算的相关分析方法和支持工具分析和验证系统模型,在系统开发早期发现并避免体系结构级的错误。     

机电一体化系统多能量域集成产品建模与仿真技术

复杂机电一体化系统（如飞机、汽车、加工中心、机器人等）的研发过程越来越表现为基于网络的分布、并行、同、虚拟、智能、集成的网络设计与制造，机电一体化系统集成产品建模问题已成为国际上CAD领域的一大研究热点与难点。本文从系统换角度出发,根据各类工具系统之间的相似性，提出基于端口的多能量域集成组件模型并进行形式化描述。以此为基础提出了机电一体化系统多能量或集成产品建模与仿真框架，可以较好的支持机电一体化系统异地设计的演化过程。     

基于MAO的复杂多卫星系统整体建模与仿真方法

面向智能化自主协同运行的复杂多卫星对地观测系统的总体效能求解和优化设计，阐述了建模的基本思路，指出应构建分解结构描述水平的混合异构层次化的系统多学科整体同构模型。分析了面向对象的建模与仿真方法对此提供的支持机制及其局限性，以及基于多Agent的建模与仿真方法的优良特性，给出了基于MAO（Multi-Agent/Object）的复杂多卫星系统整体建模、仿真与优化方法的总体框架。     

一类非线性系统的模糊建模与仿真

将模糊推理建模法应用于一阶非线性系统，推导出基于该方法建模后得到的数学模型，即变系数线性微分方程。首先根据模糊逻辑系统的插值机理将被控对象的模糊推理规则库归结为某种线性插值函数，然后将这些插值函数转化为变系数线性微分方程，从而得到控制系统的数后将这些插值函数转化为变系数线性微分方程，从而得到控制系统的数学模型。仿真结果表明，用模糊推理建模法得到的模型关于真实模型具有较高的逼近精度。     

多Agent系统的Petri网建模研究

Agent作为一种新的软件开发范型,应用领域逐步扩大,但其潜在优势并没有在应用中完全展现,主要原因是缺少成熟实用的软件开发方法和工具.在软件工程领域Agent通常被认为是对象尤其是并发对象的进一步扩展,为了充分利用已有的面向对象方法和工具,首先提出了一种基于对象的混合Agent结构,然后从系统和个体两个层次上设计了体现多Agent系统行为特征的Petri网模型,最后分析了多Agent系统仿真需要实现的关键算法.     

基于多Agent系统网管模型的形式化建模

运用多Agent系统实现分布、自治的网络管理是构造下一代网络管理系统的一条全新思路。然而,大多数基于多Agent系统的网管模型均采用非形式化的方法进行描述,容易造成人们对模型理解的歧义性和在系统开发过程中的随意性。一种利用有色Petri网对分布式网络管理模型进行形式化建模的方法被提出。利用该方法所建立的形式化模型,能够对分布式网管模型中多Agent系统的组成结构和运行机制进行全面刻画,能够描述模型中用到的Agent的各种特性。     

PARALLEL COMPUTATION AND DOMAIN DECOMPOSITION FOR A CLASS OF HYPERBOLIC PROBLEMS

ＰＡＲＡＬＬＥＬＣＯＭＰＵＴＡＴＩＯＮＡＮＤＤＯＭＡＩＮＤＥＣＯＭＰＯＳＩＴＩＯＮＦＯＲＡＣＬＡＳＳＯＦＨＹＰＥＲＢＯＬＩＣＰＲＯＢＬＥＭＳＬＩＮＱｕｎ；ＹＡＮＮｉｎｇｎｉｎｇ；ＺＨＯＵＡｉｈｕｉ（ＩｎｓｔｉｔｕｔｅｏｆＳｙｓｔｅｍｓＳｃｉｅｎｃｅ，...     

一类串联加工网络的关键路径与扰动分析新算法

考虑一类有阻塞的串朕加工网络，首先引入了关键路径，并分析了其性质，在此基础上，研究了扰动分析法，得到了一种估计梯度的改进算法，该算法计算量少、精度高。     

一类动态消费系统建模复杂性的先验分析方法

本文基于线性系统的度量复杂性理论，通过描述消费过程的一个机理模型，研究了一类消费系统的建模复杂性问题．利用系统量度复杂性理论中的Ｋｏｌｍｏｇｏｒｏｖｎ－宽度和辨识ｎ－宽度等概念，给出一类经济计量模型的建模误差及辨识误差与观测信息多少之间的关系，并证明了此类经济计量模型关于模型阶数和观测信息多少具有一定的鲁棒性．     

THE ASYMPTOTIC BEHAVIOR AND APPLICATIONS OF A CLASS OF PP R-STATISTICS

This paper uses R-statistics as projection indices to construct a class of projection pursuit(PP)R-statistics for multivariate two sample tests via PP techniques.Examples are presented asapplications to the location and dispersion problems.     

ON SUFFICIENT AND NECESSARY OF EXISTENCE FOR A CLASS OF SINGULAR OPTIMAL STOCHASTIC CONTROL

We study a class of discounted models of singular stochastic control. In this kind of models, not only the structure of cost function has been extended to some general type, but also the state can be represented as the solution of a class of stochastic differential equations with nonlinear drift and diffusion term. By the various methods of stochastic analysis, we derive the sufllcient and necessary conditions of the existence of optimal control.     

FEEDBACK CONTROL OF A CLASS OF FLEXIBLE SYSTEMS WITH COUPLED BENDING AND TORSIONAL VIBRATIONS

In this paper, a class of flexible systems of beams with coupled bending andtorsional vibrations, which has important applications in the dynamics of aircraft is dis-cussed. The existence and uniqueness of the solution for this class of systems are proved,where the spectral analysis method and the unconditional base theory are used, and asufficient condition for the asymptotic stability of the closed-loop system is obtained bymeans of the (D) class operators theory.     

STABILITY AND FEEDBACK CONTROL OF A CLASS OF SECOND-ORDER LINEAR SYSTEMS IN BANACH SPACE

In this paper. we are concerned with the stability and control problem for aclass of second-order linear systems in Banach space. First. a criterion for the exponentialstability of a first-order linear system is presented. Then. the exponential stability as wellas some properties of a class of second-order linear systems is proved. At last. the feedbackcontrol of this class of systems is investigated.     

EXISTENCE AND NONEXISTENCE OF POSITIVE RADIAL SOLUTIONS FOR A CLASS OF SEMILINEAR ELLIPTIC SYSTEMS

In this paper an existence theorem of positive radial solutions to a class of semilinear elliptic systems is proved by the Leray-Schauder degree theorem. Also, a nonexistence theorem is obtained. As an application of the main theorem, an example is given.     

STATISTICS OF A CLASS OF MARKOV CHAINS

In this paper we prove that the distributions of their sojourn time and hitting time at one special state for random walks which are allowed to be finite or infinite and Markov chains on star-graphs with discrete time can uniquely determine the probability distribution of the whole chains. This result also suggests a new statistical method for Markov chains.     

A CLASS OF REVISED BROYDEN ALGORITHMS

In this paper, we discuss the convergence of the Broyden algorithms with revised search direction. Under some inexact llne searches, we prove that the algorithms are globally convergent for continuously differentiable functions and the rate of convergence of the algorithms is one-step superlinear and n-step second-order for uniformly convex objective functions.