线性和非线性理论

形式化、数量化（有时还要最优化）的研究是现代科学技术的突出特点。控制论也不例外。因此研究控制系统的第一步，就是要建立它的数学模型，也就是要把一个控制系统用数学表达式加以描述，数学模型是研究自动控制系统的基本依据，没有一个确切的数学模型，就不可能对系统进行定量的分析研究。由于控制系统具有动态的特点，各个变量在动态过程中的关系当然总是一般表现为微分方程形式，在微分方程分类中，有线性和非线性微分方程。当一个控制系统的数学模型是线性微分方程时，称为线性系统，它必须满足两个条件：①齐次性。若输入xl（t）引…     

广义系统的最小能控结构

本文通过线性变换的Drazin逆理论讨论了广义系统的最小能控结构问题,给出了广义 系统四种主要能控性的最小能控结构定理.     

Nonlinear variable structure excitation and steam valving controllers for power system stability

A set of novel nonlinear variable structure excitation and steam-valving controllers are proposed in this paper. On the basis of the classical dynamic equations of a generator, excitation control and steam valving control are simultaneously considered. Design of these controllers combines the differential geometry theory with the variable structure controlling theory. The mathematical model in the form of ＂an affine nonlinear system＂ is set up for the control design of a large-scale power plant. The dynamic performance of the nonlinear variable structure controllers proposed for a single machine connected to an infinite bus power system is simulated. Simulation results show that the nonlinear variable structure excitation and steam-valving controllers give satisfactory dynamic performance and good robustness.     

基于模糊—证据理论的软件缺陷评估新方法

分析了软件缺陷及其主要的类型，提出了一种基于模糊—证据理论评判软件缺陷的新模型。该模型通过证据合成有效的综合了客观的缺陷测量数据和主观专家评判的结果，消除了软件缺陷测评估中的不确定性、模糊性，提高评价的科学性及可靠性。     

经典控制理论的发展过程

在1868年至今的短短一百年中，自动控制理论无论在深度和广度上都得到了令人吃惊的发展，对人类社会产生了巨大的影响。从瓦特的蒸气机、阿波罗登月到海湾战争，无处不显示着控制技术的威力。在哲学领域，反馈理论的建立与成功应用，也使“因果关系”进一步发展为“因果-果因关系”，反馈的概念受到人们的重视。由于控制理论的发展日新月异，对自动控制的发展历史进行全面的论述是不可能的。本文将仅对控制理论中经典部分（这也是大学自动控制理论课程的主要内容）的发展过程及背景进行简要的介绍。一、自动控制技术的早期发展以反馈控制为…     

Pawlak粗代数理论研究综述

1 引言粗糙集作为一种处理不精确、不确定与不完全数据的新的数学理论,由波兰数学家Z.Pawlak在20世纪80年代初提出。这套理论开始仅局限在东欧各国,并未引起国际计算机学界和数学界的重视。粗糙集(Rough Set)理论(也称粗集理论或RS理论)认为如果自然界离散表示的对象设为U,人们具有关于U的认识能力或称为知识就是人们对U的划分或分类的能力。谈及分类,在数学上有个基本概念,等价关系R。这样RS理论首创将知识与分类联系起来,并通过概念一知识库K=(U,R)给RS理论以一个很好的纯数学理论依托。为了更好地描述人们掌握的知识对己有知识库K的吻合程度,RS理论引入了上近似与下近似的概念来描述U中一个子集X对K=(U,R)的粗糙程度,粗集概念由此产生。     

软件可靠性测试的理论分析

目前软件可靠性测试没有真正开展起来,即使重要的军用软件也没有进行软件可靠性测试。软件可靠性模型的不一致性以及软件可靠性测试时间长、费用高、资源消耗大是造成这种局面的两个主要问题。而这两个问题很大程度是由传统基于随机系统假设的软件可靠性理论导致的。因此,在该理论下对可靠性测试方法及可靠性模型的修补与改善工作很难从根本上解决问题。只有从软件可靠性理论本身入手,提出新的研究思路,才有可能摆脱目前软件可靠性测试的困境。首先介绍了软件可靠性测试的现状,然后重点对现有可靠性理论进行了分析和总结,在此基础上,提出了软件可靠性测试研究的一些新思路。     

在一类缺省理论中关于证明理论的完备性问题

缺省推理是各种非单调推理系统中最在影响的系统之一。Ｒ。Ｒｅｉｔｅｒ对规范缺省理论作了一系列的研究。他还提出了证明理论，并证明了这一证明理论对于规范缺省理论来说是完备的。Ｗ。Ｅｔｈｅｒｉｎｇｔｏｎ则提出了应用范围更为广泛的有序半规范缺省理论。本文先证明了这类缺省理论具有半单调性等各种性质，然后证明了Ｒ。Ｒｅｉｔｅｒ的证明理论对于有序半规范缺省理论也是完备的。     

Rough集理论：现状与前景

经典逻辑中只有真、假二值,但实际上有大盆含糊现象存在于宾和假二值之间,因此,长以来许多逻辑学家和哲学家就致力于研究含糊概念。早在1904年谓词逻辑的创始人G.Frege就出了含糊     

Putting Consistent Theories Together in Institutions

The problem of putting consistent theories together in institutions is discussed.A general necessary condition for consistency of the resulting theory is carried out,and some sufficient conditions are given for diagrams of theories in which shapes are tree bundles or directed graphs.Moreover,some transformations from complicated cases to simple ones are established.     

Minimal and non-minimal optimal fixed-order compensators for time-varying discrete-time systems

Using the minimality property of finite-horizon time-varying compensators, established in this paper, and the Moore-Penrose pseudo-inverse instead of the standard inverse, strengthened discrete-time optimal projection equations (SDOPE) and associated boundary conditions are derived for finite-horizon fixed-order LQG compensation. They constitute a two-point boundary value problem explicit in the LQG problem parameters which is equivalent to first-order necessary optimality conditions and which is suitable for numerical solution. The minimality property implies that minimal compensators have time-varying dimensions and that the finite-horizon optimal full-order compensator is not minimal. The use of the Moore-Penrose pseudo-inverse is further exploited to reveal that the optimal projection approach can be generalised, but only to partially include non-minimal compensators. Furthermore, the structure of the space of optimal compensators with arbitrary dimensions is revealed to a large extent. Max-min compensator dimensions are introduced and their significance in solving numerically the two-point boundary value problem is explained. The numerical solution is presented in a recently published companion paper, which relies on the results of this paper.     

基于神经元的多变量自适应控制器的研究与设计

本文将单神经元控制器的基本思想引入到多变量控制系统,提出和设计了一种基于神经元的、具有在线学习功能的多变量控制器.该控制器具有结构简单、不依赖于对象模型和在线计算量少的特点.仿真实验结果表明,该控制器具有较好的控制效果.     

基于控制参数化的切换系统最优控制方法研究

针对一类特殊的混杂系统——切换系统的最优控制问题．利用控制函数参数化方法和时间尺度转化法,将切换系统最优控制问题转化为最优参数选择问题,可利用Miser3．2来求解该问题,这样能有效地简化求解切换系统最优控制的难度,而且算法易于理解,编程易于实现。     

A Chebyshev Finite Difference Method For Solving A Class Of Optimal Control Problems

A new Chebyshev finite difference method for solving class of optimal control problem is proposed. The algorithm is based on Chebyshev approximations of the derivatives arising in system dynamics. In the performance index, we use Chebyshev approximations for integration. The numerical examples illustrate the robustness, accuracy and efficiency of the proposed technique.     

柔性机械臂速度控制研究

结合机械臂的结构特点,将神经网络与预测控制、滚动优化理论相结合,设计出用于柔性机械臂轨迹跟踪的神经网络动态优化调整的智能控制系统。从而能够以良好的控制柔性机械臂跟踪各状态量的期望值,并同时达到末时刻速度调节的目的。     

基于控制参数化的切换系统最优控制方法研究

针对一类特殊的混杂系统——切换系统的最优控制问题,利用控制函数参数化方法和时间尺度转化法,将切换系统最优控制问题转化为最优参数选择问题,可利用Miser 3.2来求解该问题,这样能有效地简化求解切换系统最优控制的难度,而且算法易于理解,编程易于实现。     

同步发电机自适应最优励磁控制

本文针对线性最优励磁控制的缺陷,将自适应控制理论与最优控制理论相结合,通过多变量参数辨识、最优反馈系数计算和控制算法运算三个环节,实现了同步发电机励磁的自适应最优控制.数字仿真实验结果表明,该励磁控制系统能够自动跟踪系统运行工作状况,在线辨识不断变化的系统参数,使控制作用始终处于最优状态,从而改善了控制系统的动态品质,提高了系统的暂态稳定性.     

状态反馈精确线性化在电液伺服位置控制系统中的应用研究

电液伺服系统是一种非线性系统。本文对采用状态反馈精确线性化方法来控制电液伺服系统的可行性进行了分析,根据该电液伺服位置控制系统的组成和工作原理建立了数学模型,并基于状态反馈精确线性化理论结合最优控制原理进行了系统设计与仿真。仿真结果表明,采用状态反馈精确线性化方法和最优控制理论,可使该电液伺服位置系统具有较好的位移跟踪线性度和较高的稳态精度。     

轿车动力总成主动隔振最优控制研究

介绍压电作动器与被动悬置串联组成的轿车动力总成主动悬置系统,分析了隔振系统的数学模型,采用最优控制原理提出了实施方法。     

ITAE最优Ⅲ型数字伺服系统

ITAE optimal control servosystem of Type 3 shows attractive performance both in dynamic and static state. But until now, no practical implementation has been published. A new design approach of this type of optimal digital serrosystem are proposed in this paper. Successful applications in several engineering systems have shown its feasability.