关于交替的ω─有穷自动机的接受条件

到目前为止，交替的ω－有穷自动机的接受条件仅有６种，本文给出了６种新形式的接受条件，并研究了交替的ω－有穷自动机在这些条件下识别语言的能力．最后给出了ω－自动机在各种接受条件下识别的语言类．     

关于交替的ω—有究自动机的接受条件

到目前为止，交替的ω－有究自动机的接受条件仅有６种，本给出了６种新形式的接受条件，并研究了交替的ω－有究自动机交些条件下识别语言的能力，最后给出了ω－自动机在各种接受条件下识别的语言类。     

移动机器人的鲁棒输出跟踪

本文讨论了一类不确定非完整系统的鲁棒输出跟踪问题。首先给出了在适当条件下受限系统的降阶状态实现及有关性质；进而给出了三轮移动机器人在纯滚动与非打滑条件下的简化模型，并结合变结构控制方法对该模型给出了具体的鲁棒输出跟踪控制规律。     

一种基于ARQ技术的安全图像隐蔽通信方案

基于信息隐藏技术的图像隐蔽通信,需要解决隐藏信息不可检测和主动攻击条件下的通信可靠性两个问题.本文用广义信息熵来表示图像信息,给出了隐藏信息不可检测的条件.采用差错控制的ARQ技术解决主动攻击条件下的可靠通信问题,给出了ARQ技术所须解决的差错检测和检测编码,证明了给出的编码具有差错检测能力.本文所给出的方案适用于通信量较大的公共信道中进行图像隐蔽通信,在m位隐藏信息不全部出错的前提下,能保证可靠的隐蔽通信.     

基于状态观测器的线性不确定时滞系统的保代价控制

研究一类线性不确定时滞系统，基于状态观测器给出了系统保代价控制的无记忆状态反馈控制器，并给出了保代价控制器存在的充分条件，在某些条件满足的条件下，基于LMI给出了系统保代价控制器。     

区间系统在反馈控制情况下的性能鲁棒性

本文讨论含区间对象的反馈控制系统性能鲁棒性问题，给出了检验区间系统性能鲁棒性的充要条件．当补偿器满足某种假设条件时，给出了闭环系统性能鲁棒性的有限检验结果。在有限检验的前提下，给出了补偿器在系数空间中所应满足的制约条件。     

双线性系统的三角化条件

本文给出了双线性系统系数矩阵的李括号条件,在此条件下,可使双线性系统状态三角化。     

计量逻辑学中真度的贝叶斯公式

在条件真度的基础上,给出了计量逻辑学中二值公式真度的全概率公式和贝叶斯公式,并且在D-条件真度,蕴涵真度以及多值逻辑系统下讨论了该贝叶斯公式是否成立,得出在D-条件真度,多值逻辑系统下该贝叶斯公式仍然是成立的。     

单饱和输入下二阶控制系统零解全局渐近稳定的充分条件

分析了单饱和输入下控制系统的相空间分布规律并给出了具体的饱和输入下非线性 控制系统的空间结构.通过给出的空间结构与饱和输入下非线性控制系统的关系定义了不同于 一般意义下的非线性系统的平衡点,并且对新平衡点进行了分类.在此基础上,给出了二阶单饱 和输入下控制系统零解全局渐近稳定的充分条件,同时也给出了二阶单饱和输入下控制系统闭 合轨迹存在与否的判别条件.     

丢失数据下的条件极大似然辨识

针对仿射结构形式在丢失数据下的条件极大似然辨识问题, 首先引入交换矩阵将原随机矢量分解成观测和丢失部分; 然后确定出观测数据在丢失数据下的条件均值和条件方差, 以此建立条件似然函数; 进而从理论上给出了条件极大似然函数关于未知参数矢量、未知白噪声方差值和丢失数据的求导公式, 并从工程上给出一种可分离的优化算法; 最后通过仿真算例验证了该辨识方法的有效性.     

一类脉冲动力系统的状态反馈控制

对一类具有状态反馈控制的脉冲动力系统的动力学性质进行了研究．由周期解的扰动解得到了一个Poincare映射，利用Poincare映射讨论了系统周期解的分岔，并得到了半平凡周期解和正周期-1解存在和稳定的充分条件．定性分析和数学模拟表明，半平凡周期解通过fold分岔分钻出正周期-1解，正周期-1解通过flip分岔分岔出正周期-2解，再通过一系列flip分岔通向混沌，此外，讨论了脉冲状态反馈控制的效果．     

一类自治脉冲微分方程的动力学研究

对一类自治脉冲微分方程的动力学性质进行了研究,给出了半平凡周期解的存在与稳定的充分条件,建立Poincare映射将周期解问题转化为不动点问题．理论分析及数值模拟表明,半平凡周期解通过跨临界分岔获得稳定的正周期-1解．数值模拟显示,随着控制参数的变化,正周期-1解通过倍周期分岔出正周期-2解,再通过一系列倍周期分岔通向混沌．     

一类捕食-食饵模型平衡解的整体分歧

利用分歧理论和谱分析的方法研究了一类捕食-食饵模型平衡解的整体分歧,得到了在以[d]为分歧参数的条件下,系统在半平凡解[(θ,0)]附近出现分歧现象,得到了该模型正解存在的充分条件。     

广义系统具有正定解的Lyapunov方程

本文研究线性广义系统有正定解的Lyapunov方程，给出广义系统稳定等价于Lyapunov方程有正定解，进一步研究了广义系统R－能观，稳定和Lyapunov方程存在正定解三者之间的关系。基于该Lyapunov方程，给出广义系统允许（正则，稳定，无脉冲）的等价条件。     

The Positive Solution of a 5-Strut Parallel Machine Tool with Joint Rings

This article proposes a method of positive solution of a newly developed five-strut parallel machine with joint rings. The key of this method is to find a mechanic principle contained in the structure. That is, the panels in which each strut locates intersect in a single line, which is the axis line of the principal axis (active platform). According to this principle, a mathematical geometric model is set up and an equation of positive solution is got through the principle of two panels intersecting in one line. This method is different from early developed ones which are based on a non-linear equation set. In this article, we set up a one-to-one correspondent relation among the structure parameters, the attitudes of strut and the attitudes of spindle in space. Thus we get a unique, simple, accurate and temporarily effective positive solution. This positive solution is also usable to other structures of parallel machine with joint rings, which have different degrees of freedom. In this paper, the information of the attitudes of stretching struts is utilized during the process of positive solution in order to prevent multi-solution. This methodology could be a common reference for other positive solutions of parallel machines.     

离散系统输出反馈强正实控制器综合

基于正实引理使用线性矩阵不等式(LMI)方法讨论了离散系统一般强正实控制问 题的解,给出了任意阶输出反馈强正实控制器的存在条件.证明了给定离散系统可输出反 馈强正实当且仅当三个LMI存在一个合适解,可低价输出反馈强正实当且仅当带秩约束条 件的三个LMI存在一个合适解.     

Realization of continuous-time positive linear systems

Positive linear systems are used in biomathematics, economics, and other research areas. For discrete-time positive linear systems, part of the realization problem has been solved. In this paper the solution of the corresponding problem for continuous-time positive linear systems will be presented, which can be deduced from that of the discrete-time case by a transformation. Sufficient and necessary conditions for the existence of a positive realization are presented. To solve the problem of minimality, the solution of the factorization of positive matrices is needed.     

On positive definite solutions to the algebraic Riccati equation

Complete necessary and sufficient conditions for the existence of a positive definite solution to the algebraic Riccati equation are given. It is also shown that when a positive definite solution exists, it is either unique, or else there are uncountably many such solutions.     

An extended TOPSIS for determining weights of decision makers with interval numbers

In this paper, we develop a method for determining weights of decision makers under group decision environment, in which the each individual decision information is expressed by a matrix in interval numbers. We define the positive and negative ideal solutions of group decision, which are expressed by a matrix, respectively. The positive ideal solution is expressed by the average matrix of group decision and the negative ideal solution is maximum separation from positive ideal solution. The separation measures of each individual decision from the ideal solution and the relative closeness to the ideal solution are defined based on Euclidean distance. According to the relative closeness, we determine the weights of decision makers in accordance with the values of the relative closeness. Finally, we give an example for integrated assessment of air quality in Guangzhou during 16th Asian Olympic Games to illustrate in detail the calculation process of the developed approach.     

A class of iterative methods for solving nonsymmetric algebraic Riccati equations arising in transport theory

In this paper, we consider the nonsymmetric algebraic Riccati equation arising in transport theory. An important feature of this equation is that its minimal positive solution can be obtained via computing the minimal positive solution of a vector equation. We propose a class of iterative methods to solve the vector equation. The convergence analysis shows that the sequence of vectors generated by iterative methods with two kinds of specific iterative matrices is monotonically increasing and converges to the minimal positive solution of the vector equation. Numerical experiments show that the new methods outperform the modified simple iterative method and Newton’s method.