基于主动滑模控制的一类不确定混沌系统的同步

讨论了一类不确定混沌系统的同步问题。基于主动控制思想,提出了一种新的主动滑模控制策略,使得从任意初始条件出发的不确定混沌系统在有限时间内趋近滑模面;通过一种新颖的虚拟反馈控制,得到了设计鲁棒滑模面的一个充分条件,较好地实现了响应系统与驱动系统的完全同步,确保了不确定混沌系统同步的鲁棒稳定性。该控制器适用于一般的混沌系统。以Lü混沌系统为例进行了仿真验证,仿真结果表明,该控制方法可以实现较快的混沌同步,且同步的鲁棒稳定性良好。     

非线性不确定系统的鲁棒滑模观测器设计

对非线性不确定性系统,提出一种鲁棒滑模观测器.所提出的鲁棒滑模观测器通过滑模与相应的控制策略来实现,设计参数的选取不需要求解大量方程,同时能保证对系统的非线性不确定项具有鲁棒性.通过设计滑模,可以调整观测器跟踪系统状态的收敛速度,使状态估计达到预期的指标.仿真结果验证了提出方法的有效性.     

滑模控制一类非线性分布式时滞系统

针对一类状态不可测的非线性不确定分布式时滞系统, 给出了系统滑动模态鲁棒渐近稳定的充分条件. 设计了一类滑模观测器, 同时采用线性矩阵不等式的处理方法给出了该观测器存在的充分条件. 再应用滑模控制的趋近率方法和基于观测器所得到的估计状态, 综合了一类滑模控制器. 该控制器同时保证了估计状态下的滑模面和估计误差状态下的滑模面的渐近可达性.     

基于观测器的滑模控制非线性中立型时滞系统

针对一类状态不可测的非线性不确定中立型时滞系统,基于滑模控制理论,采用线性矩阵不等式的处理方法,提出了滑动模态鲁棒渐近稳定时滞相关的充分条件,设计了一类滑模观测器,同时给出了该观测器存在的充分条件;然后应用滑模控制的趋近率方法和基于观测器所得到的系统估计状态,综合了一类滑模控制器,该控制器同时保证了估计状态下滑模面和估计误差状态下滑模面的渐近可达性;最后通过数值实例证明了该控制方案的可行性.     

一种新颖的鲁棒模糊滑模观测器设计及干扰重构方法

针对一类由T-S模糊模型描述的不确定非线性系统,提出一种新颖的鲁棒模糊滑模观测器设计和干扰重构方法.首先,给出一种T-S模糊模型的等价形式.其次,在考虑滑模匹配条件不满足、状态不可测的情况下,利用高增益估计器构造辅助变量.为避免其峰化问题,提出基于高增益估计器的鲁棒滑模观测器.然后,基于所提出的等价形式,给出一类不确定非线性系统的鲁棒模糊滑模观测器设计方法.并证明其不但对系统的未知干扰具有鲁棒性,而且能保证状态估计残差在有限的时间内收敛于任意小的邻域,并可应用等价输出误差介入原理重构出系统的干扰.最后,将该方法应用于双关节机械臂的控制仿真实验.结果表明所提方法的有效性.     

多故障并发非线性系统一体化跟踪主动容错控制器设计

针对一类执行器及传感器同时发生故障的非线性系统,综合鲁棒滑模重构观测器及自适应滑模容错控制器设计技术,提出一体化跟踪主动容错控制方案.首先,将系统增维变换为广义系统,运用广义约束逆引入辅助矩阵,采用线性矩阵不等式设计观测器系数矩阵,综合自适应律给出广义鲁棒滑模观测器设计程式;在此基础之上,通过设计鲁棒滑模微分器估计输出向量微分,结合广义鲁棒滑模观测器状态估计结论,实现执行器及传感器故障同时重构.其次,基于故障重构及状态估计结论,提出自适应滑模的跟踪主动容错控制律设计程式.最后,通过开展飞行模拟转台伺服系统数值仿真,检验一体化跟踪主动容错控制器设计方法的有效性.     

基于滑模观测器的机器人系统传感器故障诊断

本文基于变结构滑模状态观测器，提出了一种在模型含有不确定性误差的情况下，机器人控制系统传感器故障的鲁棒诊断方法．通过滑模观测器与传感器的输出构造残差信号，然后从残差中提取故障信息，实现故障的检测与分离．实验结果验证了该方法的有效性．     

不确定动态系统的执行器故障检测与重构

讨论不确定动态系统的执行器故障检测与重构问题.以滑模观测器为基础,利用状态和输出变换方法与奇异值分解方法相结合对系统进行降阶,提出一种鲁棒故障重构观测器.给出了优化滑模策略,并作了严格论证,保证对系统不确定性具有鲁棒性和跟踪系统状态的收敛性.应用等价输出控制的概念和设计的鲁棒故障重构观测器,获取故障信息并实现执行器故障的检测与重构.最后通过数值仿真验证了该方法的有效性和可靠性.     

基于主动滑模控制实现一类含有非匹配不确定混沌系统的同步

讨论了一类非匹配不确定混沌系统的同步问题.基于主动控制思想,提出了一种主动滑模控制策略,使得从任意初始条件出发的不确定混沌系统在有限时间内到达滑模面.利用线性矩阵不等式(LMI)技术设计了一个鲁棒稳定的滑模面,以降低非匹配不确定对系统的影响.给出了线性矩阵不等式形式的稳定滑模面存在的充分条件.通过对Rssler系统的同步仿真,验证了该方法的可行性.     

双重不确定分数阶混沌系统的鲁棒自适应同步控制算法研究

针对一类含有未知参数且受外部扰动的双重不确定分数阶混沌系统的同步控制问题,提出一种易于实现的鲁棒自适应同步控制算法。基于分数阶Lyapunov稳定性定理和自适应控制策略,给出使同步误差系统鲁棒渐进稳定的自适应同步控制器设计方法。该控制器在实现混沌系统同步控制的同时,可以获得对未知参数的精确估计。以一类含绝对值项的分数阶混沌系统为例,通过MATLAB数值仿真验证该算法的有效性和可行性。     

Combining a monad and a comonad

We give a systematic treatment of distributivity for a monad and a comonad as arises in giving category theoretic accounts of operational and denotational semantics, and in giving an intensional denotational semantics. We do this axiomatically, in terms of a monad and a comonad in a 2-category, giving accounts of the Eilenberg–Moore and Kleisli constructions. We analyse the eight possible relationships, deducing that two pairs are isomorphic, but that the other pairs are all distinct. We develop those 2-categorical definitions necessary to support this analysis.     

Splitting a configuration in a simplex

This paper presents a new method of partition, named-splitting, of a point set ind-dimensional space. Given a pointG in ad-dimensional simplexT, T(G;i) is the subsimplex spanned by G and the ith facet ofT. LetS be a set ofn points inT, and let be a sequence of nonnegative integers ₁, ..., n_d+1 satisfying _i=1 ^d+1 ₁=n The-splitter of (T, S) is a pointG inT such thatT(G;i) contains at least _i points ofS in its closure for everyi=1, 2, ...,d + 1. The associated dissection is the re-splitting.The existence of a-splitting is shown for any (T, S) and, and two efficient algorithms for finding such a splitting are given. One runs inO(d²n logn + d³n) time, and the other runs inO(n) time if the dimensiond can be considered as a constant. Applications of re-splitting to mesh generation, polygonal-tour generation, and a combinatorial assignment problem are given.     

Not a castaway but a stowaway

A portable keyboard that's no larger than my phone, that's theiGo Stowaway.     

On a nonlinear problem of a sequential control with a parameter

The problem of evasion of a group of moving points from a nonlinear controlled object, whose goal is consecutively approach these points in a prescribed order, is analyzed. The movement of each point is defined uniquely by a scalar parameter chosen at the initial time instant. The controlled object minimizes a certain cost function, and the group of the points, acting cooperatively, maximize this cost function by choosing the parameters. Necessary optimality conditions for parameters are obtained. A model problem of an evasion of moving points from a vehicle is solved.     

Three-Link Mechanism as a Model of a Person on a Swing

Journal of Computer and Systems Sciences International - We model movements of a person swinging on a swing. We consider a flat three-link hinged mechanism as the main mechanical model of the...     

Locating a tree in a phylogenetic network

Phylogenetic trees and networks are leaf-labelled graphs that are used to describe evolutionary histories of species. The Tree Containment problem asks whether a given phylogenetic tree is embedded in a given phylogenetic network. Given a phylogenetic network and a cluster of species, the Cluster Containment problem asks whether the given cluster is a cluster of some phylogenetic tree embedded in the network. Both problems are known to be NP-complete in general. In this article, we consider the restriction of these problems to several well-studied classes of phylogenetic networks. We show that Tree Containment is polynomial-time solvable for normal networks, for binary tree-child networks, and for level-k networks. On the other hand, we show that, even for tree-sibling, time-consistent, regular networks, both Tree Containment and Cluster Containment remain NP-complete.     

Linking a CYBER76 to a 3600

In mid-1973, the Division of Computing Research, CSIKO, took delivery of a Control Data CVBER76 computer, which acts as the primary processing power of the CSIRO computer network (CSIRONET), replacing the Control Data 3600. The 3600, running under the DAD operating system, has been retained as a ‘front-end’ to the CYBER76 and continues to support the following functions:

• 1 An interactive system allowing both editing and CYBER76 job submission
• 2 Input of job files centrally from 3600 input devices, remotely from CSIRONET devices, or from interactive console users, and output of results similarly
• 3 A permanent file (document) system, with tape archiving

This paper describes the linking of the CYBER76 to the 3600. Software for a CYBER76 PPU has been written and some changes to the 3600 and CYBER76 operating systems have been required.     

Controlling a camera in a virtual environment

image-based control or visual servoing approach. It consists of positioning a camera according to the information perceived in the image. This is thus a very intuitive approach of animation. To be able to react automatically to modifications of the environment, we also considered the introduction of constraints into the control. This approach is thus adapted to highly reactive contexts (virtual reality, video games). Numerous examples dealing with classic problems in animation are considered within this framework and presented in this paper. Published online: 19 July 2001