具有不确定性的非线性切换系统的约束预测控制

针对一类具有不确定性和变量约束的非线性切换系统, 提出了一种基于Lyapunov函数的预测控制方法, 其中状态约束分为两种情况: 1)要求状态变量在所有时刻都满足约束(称为硬约束); 2)允许状态在某些时刻超出约束(称为软约束). 主要思想是: 对切换系统的每一个子系统, 在输入和状态均受约束的情况下, 设计基于Lyapunov函数的有界控制器和预测控制器, 在两者之间适当切换, 得到初始稳定区域的描述并使得子闭环系统保持稳定. 对整个切换系统, 设计适当的切换律以保证: 1)在切换时刻, 闭环系统的状态处在切入系统的稳定区域内; 2)切入模块的Lyapunov函数是非增的, 从而可保证稳定性. 在状态变量的约束是软约束时, 对每一子模块首先设计一个控制策略, 尽快将状态控制到初始稳定区域, 然后再利用稳定区域内的控制律使系统稳定.     

未知初始跟踪条件的非线性系统预设性能有限时间有界$H_infty$控制

研究一类具有外部扰动的非线性系统在初始跟踪条件未知情况下的预设性能有限时间有界$H_\infty$控制问题.针对预设性能控制设计,提出一个新的误差转换思想,并据此设计新的预设性能函数,解决预设性能控制依赖于系统被约束量初始条件的问题.基于所提出预设性能函数、有限时间控制理论以及有界$H_\infty$的设计方法,获得系统无需初始跟踪条件的预设性能有限时间有界$H_\infty$控制器,同时解决非线性系统在有界稳定情况下难以设计$H_\infty$控制器的问题,保证跟踪误差以预先设定的动态性能在有限时间内收敛至平衡点附近的小邻域内,并对外部干扰有较强的鲁棒性能.     

一类二阶非线性系统的有限时间状态反馈镇定方法

针对一类二阶非线性系统的有限时间状态反馈镇定问题进行了讨论. 给出了三种基于连续状态反馈的全局有限时间状态反馈镇定方法. 首先,利用非线性齐次系统性质,设计出一种状态反馈控制器,使得闭环系统渐近稳定并且具有负的齐次度;其次,基于有限时间Lyapunov函数的反步构造法,给出了一种有限时间控制器;最后,利用非奇异终端滑模控制技术,得到了一种使闭环系统有限时间收敛到平衡点的反馈镇定控制器. 仿真结果表明了这些方法的有效性.     

有限时间死区修正迭代学习控制器的设计

在任意初始定位条件下,讨论具有限时间死区修正的迭代学习控制器设计方法.针对一类高阶不确定非线性时变系统,通过将其不确定性项线性参数化表达,进行迭代学习控制器设计:并考虑不确定项界函数参数化情形下的鲁棒迭代学习控制方法.通过引入有限时间死区,设计的控制器可使得所定义的误差函数在有限时间内收敛至零;进而依据能控格莱姆矩阵构造的初始修正项可使得系统在预先指定的时间区间上实现完全龈踪.理论分析及数值仿真结果表明,在保证误差函数始终囿于所设计的有限时间死区内的同时,闭环系统中所有信号均有界.     

广义双线性系统的终端滑模控制

研究广义双线性系统的终端滑模变结构控制问题.基于Lyapunov稳定性理论,运用Lyapunov函数方法,给出广义双系统的终端滑动模超出面,设计相应的终端滑模变结构控制器,使得闭环系统渐进稳定,实现滑动模运动,保证系统状态在有限时间内到达平衡点,得到广义双线性系统全局稳定的充分条件.所给的可行性算例,说明这一方法的有效性与可行性.     

分布式航天器编队约定时间姿轨耦合协同控制

针对具有参数不确定性、外部扰动和预设性能需求的航天器编队约定时间姿轨耦合控制问题, 本文基于预设性能控制方法提出了一种低复杂度的约定时间编队姿轨耦合协同控制器, 使得航天器在设定时间内形成编队, 且编队误差满足预设的各种性能指标. 首先, 通过结合有限时间稳定概念引入一种约定时间性能函数, 其系统稳定时间可以由使用者任意设定; 然后, 把约定时间性能函数与预设性能控制方法结合起来, 提出了不依赖航天器质量和转动惯量等信息的约定时间编队协同控制器, 保证了编队状态量的收敛性能和收敛时间, 并使用李雅普诺夫理论证明了其稳定性. 最后, 通过仿真验证了该控制方案的有效性     

一类不确定非线性系统的停息时间可调的有限时间镇定

研究了一类带有零动态不确定非线性系统有限时间镇定问题, 给出了具有更强实用性的停息时间可调的有限时间稳定控制设计方法. 基于有限时间稳定的Lyapunov理论和反推技术, 给出了停息时间可调有限时间稳定控制器的设计步骤. 所设计的状态反馈控制器使得闭环系统全局有限时间稳定, 且停息时间可调整, 特别是当系统初始值已知时, 停息时间可以任意调节. 仿真例子验证了本文的主要结论.     

随机激励下板球系统建模与有限时间全状态预设性能跟踪控制

研究板球系统受到随机激励时的数学建模与轨迹跟踪控制问题.首次建立了板球系统的随机数学模型,并结合backstepping方法、有限时间预设性能函数、全状态约束及新的预设性能推导方法设计了具有未知输入饱和的随机板球系统实际有限时间全状态预设性能跟踪控制器,实现了随机激励下板球系统的有限时间预设性能轨迹跟踪控制.所设计的控制器保证了系统跟踪误差能够被预先给定的有限时间性能函数约束,并且能在任意给定的停息时间内收敛到预先给定的邻域内.最后通过仿真实验验证了所设计控制器具有更好的控制效果.     

一类随机非线性系统的有限时间H∞控制

本文研究一类随机非线性系统的有限时间H_∞控制问题.考虑闭环系统在有限时间间隔内的瞬态性能和抗干扰能力,对伊藤型随机非线性系统进行了研究.利用Lyapunov函数和线性矩阵不等式(LMI)得到了系统满足均方有限时间有界的充分条件,进一步设计了有限时间H_∞控制器,并给出了系统满足均方有限时间有界和相应H_∞性能的充分条件.最后给出了两个例子验证了该方法的有效性和可行性.     

一类离散时间切换线性系统的无差拍控制

研究一类带多控制器和多传感器离散时间线性系统的无差拍控制.对能控系统,通过适当的状态坐标变换获得系统矩阵的块三角结构,再设计状态反馈和周期切换策略使得状态反馈矩阵在有限周期内为零,从而保证闭环系统的无差拍稳定.进一步,对能观系统,设计具有有限时间精确估计的动态输出反馈,通过适当的周期切换策略实现闭环系统的无差拍稳定.最后,给出一个例子以验证所提设计方法的有效性.     

Only connect: teaching, technology and telesis

Abstract This paper describes an approach to the design of interactive multimedia materials being developed in a European Community project. The developmental process is seen as a dialogue between technologists and teachers. This dialogue is often problematic because of the differences in training, experience and culture between them. Conditions needed for fruitful dialogue are described and the generic model for learning design used in the project is explained.     

European Community policy and the market

Abstract This paper starts with some reflections on the policy considerations and priorities which are shaping European Commission (EC) research programmes. Then it attempts to position the current projects which seek to capitalise on information and communications technologies for learning in relation to these priorities and the apparent realities of the marketplace. It concludes that while there are grounds to be optimistic about the contribution EC programmes can make to the efficiency and standard of education and training, they are still too technology driven.     

一种自适应子融合集成多分类器方法

融合集成方法已经广泛应用在模式识别领域,然而一些基分类器实时性能稳定性较差,导致多分类器融合性能差,针对上述问题本文提出了一种新的基于多分类器的子融合集成分类器系统。该方法考虑在度量层融合层次之上通过对各类基多分类器进行动态选择,票数最多的类别作为融合系统中对特征向量识别的类别,构成一种新的自适应子融合集成分类器方法。实验表明,该方法比传统的分类器以及分类融合方法识别准确率明显更高,具有更好的鲁棒性。     

Avoiding semantic and temporal gaps in developing software intensive systems

Development of software intensive systems (systems) in practice involves a series of self-contained phases for the lifecycle of a system. Semantic and temporal gaps, which occur among phases and among developer disciplines within and across phases, hinder the ongoing development of a system because of the interdependencies among phases and among disciplines. Such gaps are magnified among systems that are developed at different times by different development teams, which may limit reuse of artifacts of systems development and interoperability among the systems. This article discusses such gaps and a systems development process for avoiding them.     

Designing economic np control charts: A programmed simulation approach

This paper presents control charts models and the necessary simulation software for the location of economic values of the control parameters. The simulation program is written in FORTRAN, requires only 10K of main storage, and can run on most mini and micro computers. Two models are presented - one describes the process when it is operating at full capacity and the other when the process is operating under capacity. The models allow the product quality to deteriorate to a further level before an existing out-of-control state is detected, and they can also be used in situations where no prior knowledge exists of the out-of-control causes and the resulting proportion defectives.     

The development of robot art

Going through a few examples of robot artists who are recognized worldwide, we try to analyze the deepest meaning of what is called “robot art” and the related art field definition. We also try to highlight its well-marked borders, such as kinetic sculptures, kinetic art, cyber art, and cyberpunk. A brief excursion into the importance of the context, the message, and its semiotics is also provided, case by case, together with a few hints on the history of this discipline in the light of an artistic perspective. Therefore, the aim of this article is to try to summarize the main characteristics that might classify robot art as a unique and innovative discipline, and to track down some of the principles by which a robotic artifact can or cannot be considered an art piece in terms of social, cultural, and strictly artistic interest. This work was presented in part at the 13th International Symposium on Artificial Life and Robotics, Oita, Japan, January 31–February 2, 2008     

Explanation and prediction: an architecture for default and abductive reasoning

Although there are many arguments that logic is an appropriate tool for artificial intelligence, there has been a perceived problem with the monotonicity of classical logic. This paper elaborates on the idea that reasoning should be viewed as theory formation where logic tells us the consequences of our assumptions. The two activities of predicting what is expected to be true and explaining observations are considered in a simple theory formation framework. Properties of each activity are discussed, along with a number of proposals as to what should be predicted or accepted as reasonable explanations. An architecture is proposed to combine explanation and prediction into one coherent framework. Algorithms used to implement the system as well as examples from a running implementation are given.     

Three Process Perspectives: Organizations, Teams, and People

This paper provides the author's personal views and perspectives on software process improvement. Starting with his first work on technology assessment in IBM over 20 years ago, Watts Humphrey describes the process improvement work he has been directly involved in. This includes the development of the early process assessment methods, the original design of the CMM, and the introduction of the Personal Software Process (PSP)^SM and Team Software Process (TSP){^SM}. In addition to describing the original motivation for this work, the author also reviews many of the problems he and his associates encountered and why they solved them the way they did. He also comments on the outstanding issues and likely directions for future work. Finally, this work has built on the experiences and contributions of many people. Mr. Humphrey only describes work that he was personally involved in and he names many of the key contributors. However, so many people have been involved in this work that a full list of the important participants would be impractical.     

基于复小波噪声方差显著修正的SAR图像去噪

提出了一种基于复小波域统计建模与噪声方差估计显著性修正相结合的合成孔径雷达(Synthetic Aperture Radar,SAR)图像斑点噪声滤波方法。该方法首先通过对数变换将乘性噪声模型转化为加性噪声模型,然后对变换后的图像进行双树复小波变换(Dualtree Complex Wavelet Transform,DCWT),并对复数小波系数的统计分布进行建模。在此先验分布的基础上,通过运用贝叶斯估计方法从含噪系数中恢复原始系数,达到滤除噪声的目的。实验结果表明该方法在去除噪声的同时保留了图像的细节信息,取得了很好的降噪效果。     

How do children do mathematics with LOGO?

Abstract  This paper considers some results of a study designed to investigate the kinds of mathematical activity undertaken by children (aged between 8 and 11) as they learned to program in LOGO. A model of learning modes is proposed, which attempts to describe the ways in which children used and acquired understanding of the programming/mathematical concepts involved. The remainder of the paper is concerned with discussing the validity and limitations of the model, and its implications for further research and curriculum development.