关于大系统理论的几个问题

本文讨论关于大系统理论的几个问题,即:什么是大系统?大系统理论与控制理论的关系;大系统理论与系统工程的关系;大系统理论与控制论的关系;大系统理论的特殊问题. 作者认为,大系统理论是第三代控制理论的重要内容,是综合自动化的理论基础.另一方面,大系统理论也是系统工程发展的新阶段--动态系统工程.也可以说,大系统理论是控制论的新分支--大系统控制论.大系统理论不是关于系统大小的分类学,而是大规模复杂控制与信息系统分析和综合的方法学,是研究大系统的系统科学.     

非最小相位系统跟踪控制综述

非最小相位系统是指包含不稳定零动态的系统.经典的跟踪控制理论,特别是非线性系统跟踪控制理论,是以最小相位系统为基础建立的,不能直接用于非最小相位系统.研究非最小相位系统跟踪控制理论,是对经典控制理论的扩展和补充,具有重要的意义.本文对目前非最小相位系统跟踪控制领域取得的成果进行综述.首先梳理各种非最小相位系统跟踪控制方法的基本思想,并按照近似跟踪和精确跟踪进行归类,建立非最小相位系统跟踪控制的基本框架.然后围绕该框架对各种方法进行详细介绍.接着讨论非最小相位系统的跟踪性能限制.最后总结现有研究存在的一些问题及对今后的发展方向进行展望.本文的目的在于使控制工作者对非最小相位系统的跟踪控制有一个较为清晰的认识.     

天津大学“控制理论与控制工程”学科简介

天津大学“控制理论与控制工程”学科是博士学位授权点。研究涉及领域非常广泛,主要特色研究工作集中在广义系统的分析与控制;随机系统的建模和控制;非线性系统的稳定性分析、最优控制;生物控制理论与应用;电气传动控制理论及应用等方面。     

模型预测控制——现状与挑战

30多年来, 模型预测控制(Model predictive control, MPC)的理论和技术得到了长足的发展, 但面对经济社会迅速发展对约束优化控制提出的不断增长的要求, 现有的模型预测控制理论和技术仍面临着巨大挑战. 本文简要回顾了预测控制理论和工业应用的发展, 分析了现有理论和技术所存在的局限性, 提出需要加强预测控制的科学性、有效性、易用性和非线性研究. 文中简要综述了近年来预测控制研究和应用领域发展的新动向, 并指出了研究大系统、快速系统、低成本系统和非线性系统的预测控制对进一步发展预测控制理论和拓宽其应用范围的意义.     

征订启事

<正>中文刊:控制理论与应用英文刊:Control Theory and Technology主要报道:系统控制科学中具有新观念、新思想的理论研究成果及其在各个领域中,特别是高科技领域中的应用研究成果和在国民经济有关领域技术开发、技术改造中的应用成果.内容包括:系统理论与控制理论;非线性系统;复制性与复杂系统理论;分布参数控制系统;混杂系统与DEDS;大系统;随机系统;稳定性与镇定;建模、辨识与信号处理;最优控制与优化;鲁棒控制与H_∞控制;自适应控制与学     

前言

<正>滑模控制因其对系统不确定性、参数摄动和外部扰动的强鲁棒性和易于工程实现等优点,已经成为非线性控制领域的一个重要分支.一方面,在处理非线性系统镇定、干扰抑制、参数不确定、输入/输出约束等非线性控制理论问题时,滑模控制理论得到了极大的发展,一系列滑摸控制相关设计工具和理论分析方法被提出,并得到逐步完善.另一方面,滑模控制理论也被尝试应用于多种实际工业系统,如机器人系统、电机系统、电动汽车、飞行器等.尽管滑模控制理论的发展已有几十年,但随着近年来智能系统的快速发展,滑摸控制理论还面临着一系列的挑战,如处理混杂系统、网络化系统、高阶非线性系统、抖振抑制等问题.此外,随着数字控制器性能的急速提升,滑模控制技术在工业控制系统中的实际应用也备受关注.基于上述考虑,本专刊聚焦滑模控制的最新理论、研究方法及其应用成果,共录用20篇研究论文,其中滑模控制基础理论与算法相关论文4篇,滑模控制理论在智能制造、电机控制、电气系统、无人机、自动驾驶、航空航天等领域的相关应用论文16篇.在滑模控制理论与算法方面,王永骥等研究了具有约束的二阶系统的固定时间跟踪控制问题,提出了具     

刍议智能控制理论的发展及应用

智能控制理论是一种新型的控制理论,智能控制系统被广泛地应用于工业生产的各个领域。面对高度复杂和高度不确定性的被控系统,智能控制理论强调决策和规划,智能控制理论还处在发展阶段,面临着许多问题需要突破。本文主要叙述了控制理论的基本内容,介绍了智能控制理论在行业中的应用现状,对智能控制系统的研究趋势做了分析和展望。智能控制理论是一种新型的控制理论,智能控制系统被广泛地应用于工业生产的各个领域。面对高度复杂和高度不确定性的被控系统,智能控制理论强调决策和规划,智能控制理论还处在发展阶段,面临着许多问题需要突破。本文主要叙述了控制理论的基本内容,介绍了智能控制理论在行业中的应用现状,对智能控制系统的研究趋势做了分析和展望。     

收缩理论在系统控制中的发展及应用

收缩理论作为一种区别于Lyapunov理论的非线性系统分析方法,它主要基于微分几何和流体力学的知识发展而来,为系统控制提供了新颖视角和理论工具.首先,介绍收缩理论的一些基础知识,以及收缩系统的联合、部分收缩理论和控制收缩度量等重要结果;然后,综述收缩理论在分析系统稳定性、跟踪控制、协同控制、状态估计以及学习控制等领域的应用现状;最后,对收缩理论的未来发展趋势进行展望.     

现代控制理论中的某些问题(I)

本文对现代控制理论的某些问题:线性系统理论、最优控制、带非线性的系统、多种时间 标度的系统、数字(带整量化输入、输出的)控制系统、随机控制、分布参数系统、微分对策、系统 辨识、自适应控制等进行了评述.主要介绍我国学者们在控制理论及其应用方面所取得的成 果.并从实际系统需要与控制理论发展的角度提出了值得进一步研究的问题.     

不同阶分数阶混沌系统的同步与参数辨识

针对不确定分数阶混沌系统的同步和参数辨识问题,提出一种新的方法,即用不同阶分数阶系统来同步和参数辨识.利用主动控制和预控制量方法,基于分数阶混沌系统稳定性理论和自适应控制理论,设计控制器,实现不同阶分数阶混沌系统之间的同步和参数辨识.理论和仿真结果实现了不同阶Chen 系统间的同步和辨识,表明了该方法的有效性.     

子句型自相容缺省理论的扩张

自相容缺省理论是一种颇具优良性质的特殊缺省理论,从子句着手是一般逻辑揄常用的方法,文中Ｒｅｉｔｅｒ缺省理论和张明义的自相容缺省的理论的研究基础上,进一步研究了子句型闭自相容缺省理论,文中首先给出了自相容缺省理论的扩张个数的单调性定理,然后将Ｒｅｔｅｒ关于正规缺省理论的证明论推广到自相容缺省理论,得出了自相容缺省理论的缺省证明、自顶向下缺省证明和信念个性的相关定理。     

Putting the ‘theory’ back into grounded theory: guidelines for grounded theory studies in information systems

Over the past decade, there has been increasing interest in the use of grounded theory in information systems research. Grounded theory is a qualitative research method that seeks to develop theory that is grounded in data systematically gathered and analysed. The purpose of this paper is to suggest guidelines for grounded theory studies in information systems. Our guidelines are based on a framework for theorizing in grounded theory studies that focuses on conceptualization and theory scope. Our hope is that the guidelines will help to raise the quality and aspirations of grounded theory studies in information systems.     

A type-theoretic interpretation of constructive domain theory

We present an interpreation of a constructive domain theory in Martin-Löf's type theory. More specifically, we construct a well-pointed Cartesian closed category of semilattices and approximable mappings. This construction is completely formalized and checked using the interactive proof assistant ALF. We base our work on Martin-Löf's domain interpretation of the theory of expressions underlying type theory. But our emphasis is different from Martin-Löf's, who interprets the program forms of type theory and proves a correspondence between their denotational and operational semantics. We instead show that a theory of domains can be developed within a well-defined fragment of (total) type theory. This is an important step toward constructing a model of all of partial type theory (type theory extended with general recursion) inside total type theory.     

概念格与粗糙集的关系研究

概念格理论和粗糙集理论是两种不同的知识表示与知识发现的工具，都已被成功应用于许多领域.粗糙集理论的数据表现方式是信息系统，其研究基础是对象之间的等价关系;概念格理论的数据表现方式是形式背景，其研究基础是一种有序的层次结构--概念格.本文讨论了概念格理论与粗糙集理论之间的基本联系;重点分析了形式概念与等价类之间、概念格与分划之间的关系;证明了概念格与分划之间可以相互转换，给出了转换算法，并用例子加以说明.     

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

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

Characterization of an auto-compatible default theory

In this paper,an equivalence condition for deciding whether a default theory is an auto-compatible default one is presented.Under the condition,the existence of extension of an auto-compatible default theory is a natural result.By introducing a well-ordering over the set D of default rules,the extensions of an auto-compatible default theory(D,W) can be computed directly.The condition represents clearly the characterization of an auto-compatible default theory,and some properties about auto-compatible default theory,such as semi-monotonicity,become natural corollaries.Based on the characterization,the revision of default beliefs is discussed to ensure the existence of extension of the default theory,and the methos is applied to investigate stable models of a general logic program.     

An introduction to hierarchical systems theory

Hierarchical theory is a new and promising area of general systems theory. This theory deals basically with the decomposition of a system into subsystems forming a hierarchical structure and is, therefore, on method of dealing with complexity. These subsystems or infimals are coordinated by a coordinator or supremal in such a way as to obtain original system objectives. Hence, hierarchical theory is applicable to systems with a natural hierarchical structure or whose dimensionality is so high as to present computational difficulties. Thus it would appear to be particularly appropriate for use in public and societal systems problems.This paper presents a tutorial introduction to hierarchical system theory. Optimization theory is used as a vehicle for presenting the hierarchical concepts, although estimation, identification and other systems problems are also amenable to hierarchical structuring. An example is solved to demonstrate the theory and some computational considerations.     

Möbius transformation in generalized evidence theory

Möbius transformation is a very important information inversion tool. Möbius transformation is sought after by many experts and scholars at home and abroad, and is a hot research topic at present. Möbius transformation can use the known information to reverse the unknown information, indicating that it has a strong ability to process information. Generalized evidence theory is an extension of classical evidence theory. When belief degree of the null subset is 0, then the generalized evidence theory will be degenerated as classical Dempster-Shafer evidence theory. However, how to apply Möbius transformation to generalized evidence theory is still an open problem. This paper proposes Möbius transformation in generalized evidence theory, which can perform function inversion of generalized evidence theory effectively. Numerical examples are used to prove the validity of Möbius transformation in generalized evidence theory. The experimental results show that the Möbius transformation in generalized evidence theory can effectively invert the generalized evidence theory and is a very effective function inversion method.

     

基于扩展的因果理论的鉴别诊断

许多学者将因果关系这一概念应用于基于模型的诊断领域.然而,他们的研究只局限于简单因果理论.该文提出的扩展的因果理论则包容了更多的信息,指出了扩展的因果理论的诊断空间小于等于相应简单因果理论的诊断空间.另外,还将扩展的因果理论用于测试领域,证明了对于封闭的扩展的因果理论,溯因鉴别诊断等于基于一致性鉴别诊断.这一结果可应用于测试选择的策略.     

综合仿真系统与综合相似理论的探索

简要介绍集合论与映射关系,论述相似关系的符号、表达式,关系处理和有关运算规则,并用以表征有关综合仿真系统的相似方式、相似方法、相似程度,从而形成一套有关系统仿真的综合相似理论体系,并与综合系统论、控制理论相结合形成组合理论,以便有效地分析、研究、设计、生产和运行综合仿真系统。