Matlab C++数学库的开发应用研究

通过使用科学工程运算语言Matlab5.3内含的C++数学库,该文介绍了运用VisualC++与Matlab两种语言工具联合开发科学工程应用软件的方法,并给出了一个字符编码转换的办法,解决了MatlabC++数学库不支持双字节汉字符的输入输出问题。     

Stabilization of nonlinear delay systems using approximate predictors and high-gain observers

We provide a solution to the heretofore open problem of stabilization of systems with arbitrarily long delays at the input and output of a nonlinear system using output feedback only. The solution is global, employs the predictor approach over the period that combines the input and output delays, addresses nonlinear systems with sampled measurements and with control applied using a zero-order hold, and requires that the sampling/holding periods be sufficiently short, though not necessarily constant. Our approach considers a class of globally Lipschitz strict-feedback systems with disturbances and employs an appropriately constructed successive approximation of the predictor map, a high-gain sampled-data observer, and a linear stabilizing feedback for the delay-free system. The obtained results guarantee robustness to perturbations of the sampling schedule and different sampling and holding periods are considered. The approach is specialized to linear systems, where the predictor is available explicitly.     

光纤激光水听器消偏振衰落技术研究

针对光纤激光传感器信号解调过程中干涉仪输出干涉条纹可见度受输入光偏振态变化和两臂单模光纤双折射效应的影响,介绍了一种简单的光纤干涉仪消除偏振衰落技术,通过在M ichelson光纤干涉仪上加2个法拉第旋转镜来提高输出条纹可见度。使用琼斯矩阵法对干涉仪系统进行理论计算,证明法拉第旋转镜旋转角度在理想的45°附近时能达到很好的消偏振衰落效果,并通过实验进行了有效的验证。     

A Dantzig–Wolfe decomposition algorithm for linear economic model predictive control of dynamically decoupled subsystems

This paper presents a warm-started Dantzig–Wolfe decomposition algorithm tailored to economic model predictive control of dynamically decoupled subsystems. We formulate the constrained optimal control problem solved at each sampling instant as a linear program with state space constraints, input limits, input rate limits, and soft output limits. The objective function of the linear program is related directly to the cost of operating the subsystems, and the cost of violating the soft output constraints. Simulations for large-scale economic power dispatch problems show that the proposed algorithm is significantly faster than both state-of-the-art linear programming solvers, and a structure exploiting implementation of the alternating direction method of multipliers. It is also demonstrated that the control strategy presented in this paper can be tuned using a weighted ℓ₁-regularization term. In the presence of process and measurement noise, such a regularization term is critical for achieving a well-behaved closed-loop performance.     

Observer-based feedback stabilization of linear systems with event-triggered sampling and dynamic quantization

We consider the problem of output feedback stabilization in linear systems when the measured outputs and control inputs are subject to event-triggered sampling and dynamic quantization. A new sampling algorithm is proposed for outputs which does not lead to accumulation of sampling times and results in asymptotic stabilization of the system. The approach for output sampling is based on defining an event function that compares the difference between the current output and the most recently transmitted output sample not only with the current value of the output, but also takes into account a certain number of previously transmitted output samples. This allows us to reconstruct the state using an observer with sample-and-hold measurements. The estimated states are used to generate a control input, which is subjected to a different event-triggered sampling routine; hence the sampling times of inputs and outputs are asynchronous. Using Lyapunov-based approach, we prove the asymptotic stabilization of the closed-loop system and show that there exists a minimum inter-sampling time for control inputs and for outputs. To show that these sampling routines are robust with respect to transmission errors, only the quantized (in space) values of outputs and inputs are transmitted to the controller and the plant, respectively. A dynamic quantizer is adopted for this purpose, and an algorithm is proposed to update the range and the centre of the quantizer that results in an asymptotically stable closed-loop system.     

改进二进制布谷鸟搜索算法求解多维背包问题

针对多约束组合优化问题--多维背包问题(MKP),提出了一种改进二进制布谷鸟搜索(MBCS)算法.首先,采用经典的二进制代码变换公式构建了二进制布谷鸟搜索(BCS)算法.其次,引入病毒生物进化机制和病毒感染操作,一方面赋予布谷鸟鸟巢位置自变异机制增加种群多样性;一方面将布谷鸟鸟巢位置所组成的主群体的纵向全局搜索和病毒群体的横向局部搜索进行动态结合,进一步提高了算法的收敛速度,降低了陷入局部极值的概率.再次,针对MKP特点设计了不可行解的混合修复策略.最后将MBCS算法同量子遗传算法(QGA)、二进制粒子群优化(BPSO)算法、BCS算法就来源于ELIB数据库和OR_LIB数据库的15个算例进行了仿真对比.实验结果表明,所提算法计算误差均小于1%,标准差小于170,相比这3种算法具有相对更好的寻优精度和求解稳定性,是一种求解多维背包等NP难问题有效的算法.     

Stabilization of linear systems with limited information

We show that the coarsest, or least dense, quantizer that quadratically stabilizes a single input linear discrete time invariant system is logarithmic, and can be computed by solving a special linear quadratic regulator problem. We provide a closed form for the optimal logarithmic base exclusively in terms of the unstable eigenvalues of the system. We show how to design quantized state-feedback controllers, and quantized state estimators. This leads to the design of hybrid output feedback controllers. The theory is then extended to sampling and quantization of continuous time linear systems sampled at constant time intervals. We generalize the definition of density of quantization to the density of sampling and quantization in a natural way, and search for the coarsest sampling and quantization scheme that ensures stability. Finally, by relaxing the definition of quadratic stability, we show how to construct logarithmic quantizers with only finite number of quantization levels and still achieve practical stability of the closed-loop system     

Hermite Polynomials for Iterative Output Replanning for Flat Systems Affected by Additive Noise

The paper considers the output tracking problem for nonlinear systems whose performance output is also a flat output of the system itself. A desired output signal is sought on the actual performance output by using a feedforward inverse input that is periodically updated with discrete‐time feedback of the sampled state of the system. The proposed method is based on an iterative output replanning that uses the desired output trajectory and the sampled state to replan an output trajectory whose inverse input helps in reducing the tracking error. This iterative replanning exploits the Hermite interpolating polynomials to achieve an overall arbitrarily smooth input and a tracking error that can be made arbitrarily small if the state sampling period is sufficiently small and mild assumptions are considered. Some simulation results are presented for the cases of a unicycle and a one‐trailer system affected by additive noise.     

Timely robust fault detection for multirate linear systems

This paper presents a fault detection and isolation scheme for multirate systems with a fast input sampling rate and slower output sampling rates. We design a separate observer for each set of simultaneous measurements with the observer operating at their sampling rate. We use an unknown input observer design to allow state estimation in the presence of disturbances and modelling errors. The observer allows us to estimate the system state and obtain a residual vector to be used in fault detection. Furthermore, we are able to use single-rate methodologies for fault diagnosis. We provide necessary and sufficient conditions for the existence of the observer and the detection of the fault vector. An example is given to illustrate the new fault detection approach and another to demonstrate fault isolation.     

Robust sampled-data H ∞ output tracking control for a class of nonlinear networked systems with stochastic sampling

In this article, the problem of robust sampled-data H _∞ output tracking control is investigated for a class of nonlinear networked systems with stochastic sampling and time-varying norm-bounded uncertainties. For the sake of technical simplicity, only two different sampling periods are considered, their occurrence probabilities are given constants and satisfy Bernoulli distribution, and can be extended to the case with multiple stochastic sampling periods. By the way of an input delay, the probabilistic system is transformed into a stochastic continuous time-delay system. A new linear matrix inequality-based procedure is proposed for designing state-feedback controllers, which would guarantee that the closed-loop networked system with stochastic sampling tracks the output of a given reference model well in the sense of H _∞. Conservatism is reduced by taking the probability into account. Both network-induced delays and packet dropouts have been considered. Finally, an illustrative example is given to show the usefulness and effectiveness of the proposed H _∞ output tracking design.     

On listing,sampling, and counting the chordal graphs with edge constraints

We discuss the problems to list, sample, and count the chordal graphs with edge constraints. The objects we look at are chordal graphs sandwiched by a given pair of graphs where we assume that at least one of the input graphs is chordal. The setting is a natural generalization of chordal completions and deletions. For the listing problem, we give an efficient algorithm running in polynomial time per output with polynomial space. As for the sampling problem, we give two clues that indicate that a random sampling is not easy. The first clue is that we show #P-completeness results for counting problems. The second clue is that we give an instance for which a natural Markov chain suffers from an exponential mixing time. These results provide a unified viewpoint from algorithms’ theory to problems arising from various areas such as statistics, data mining, and numerical computation.     

Competitive On-Line Switching Policies

Abstract. Consider the following problem. A switch connecting n input channels to a single output channel must deliver all incoming messages through this channel. Messages are composed of packets , and in each time slot the switch can deliver a single packet from one of the input queues to the output channel. In order to prevent packet loss, a buffer is maintained for each input channel. The goal of a switching policy is to minimize the maximum buffer size. The setting is on-line; decisions must be made based on the current state without knowledge of future events. This general scenario models multiplexing tasks in various systems such as communication networks, cable modem systems, and traffic control. Traditionally, researchers analyzed the performance of a given policy assuming some distribution on the arrival rates of messages at the input queues, or assuming that the service rate is at least the aggregate of all the input rates. We use competitive analysis, avoiding any prior assumptions on the input. We show O(log n )-competitive switching policies for the problem and demonstrate matching lower bounds.     

多库协同中的Al-Agents研究

近年来，随着人工生命理论的出现，在人工生命与Agent技术基础上发展起来的AL—Agent技术为以往的多库协同系统提供了新的基于人工生命的实现方法。文中在对A1-Agent研究的基础上提出了一个基于A1-Agents的多库协同系统模型和其中A1-Agent的通用结构模型。随后比较了A1-Agent多库系统相对于传统多库系统的优点，并进一步讨论了它的不足。     

Distributed synthesis for well-connected architectures

We study the synthesis problem for external linear or branching specifications and distributed, synchronous architectures with arbitrary delays on processes. External means that the specification only relates input and output variables. We introduce the subclass of uniformly well-connected (UWC) architectures for which there exists a routing allowing each output process to get the values of all inputs it is connected to, as soon as possible. We prove that the distributed synthesis problem is decidable on UWC architectures if and only if the output variables are totally ordered by their knowledge of input variables. We also show that if we extend this class by letting the routing depend on the output process, then the previous decidability result fails. Finally, we provide a natural restriction on specifications under which the whole class of UWC architectures is decidable.     

输入多采样率数字控制系统的同时极点配置

在利用提升(lifting)技术所构造出来的多采样率数字控制系统的线性时不变状态空间模型的基础上, 讨论l个被控对象通过输入多采样率数字控制系统的同时极点配置问题. 分别引入了解决这一问题的状态空间方法和多项式矩阵插值方法. 通过适当的变换, 将同时极点配置问题归结为一系列线性方程组的求解问题. 指出, 当系统的输入采样率满足一定条件时, 可以利用输入多采样率的输出静态反馈控制系统, 实现对l个被控对象的同时极点配置.     

Competitive On-Line Switching Policies

Consider the following problem. A switch connecting n input channels to a single output channel must deliver all incoming messages through this channel. Messages are composed of packets , and in each time slot the switch can deliver a single packet from one of the input queues to the output channel. In order to prevent packet loss, a buffer is maintained for each input channel. The goal of a switching policy is to minimize the maximum buffer size. The setting is on-line; decisions must be made based on the current state without knowledge of future events. This general scenario models multiplexing tasks in various systems such as communication networks, cable modem systems, and traffic control. Traditionally, researchers analyzed the performance of a given policy assuming some distribution on the arrival rates of messages at the input queues, or assuming that the service rate is at least the aggregate of all the input rates. We use competitive analysis, avoiding any prior assumptions on the input. We show O(log n )-competitive switching policies for the problem and demonstrate matching lower bounds.     

煤自燃倾向性的氧化动力学测定中温度测量电路设计

在煤自燃倾向性的氧化动力学测定过程中需要对温度进行高精度的测量并记录。为了满足测温要求,选用高分辨率AD转换器AD7714及三线制Pt100热电阻作为温度传感器构建了温度测量电路;为解决器件非线性度引起的输入、输出为非严格线性关系的问题,采用分段线性插值方法对输出值进行插值运算。实验结果表明,该温度测量电路的AD采样分辨率为0.006 7℃,满足设计要求,且实验数据具有很高的稳定性和可重复性。     

Automated Composition of Module Chains

We introduce a problem of module composition. Modules are seen as “black boxes” with input and output ports. A compatibility relation models which input ports can connected to which output ports. We are given a set of available modules and a target module. We want to connect available modules into a chain that implements the target module. Constraints may be given on how many copies of each module can or should appear in the solution chain. Costs may be given on modules or ports or connections, so that an optimal solution with respect to these costs is found. We derive an algorithm to solve the above problem automatically. The algorithm transforms the problem into a shortest-path problem in a graph.     

Variant quantifier elimination

We describe an algorithm (VQE) for a variant of the real quantifier elimination problem (QE). The variant problem requires the input to satisfy a certain extra condition, and allows the output to be almost equivalent to the input. The motivation/rationale for studying such a variant QE problem is that many quantified formulas arising in applications do satisfy the extra conditions. Furthermore, in most applications, it is sufficient that the output formula is almost equivalent to the input formula. The main idea underlying the algorithm is to substitute the repeated projection step of CAD by a single projection without carrying out a parametric existential decision over the reals. We find that the algorithm can tackle important and challenging problems, such as numerical stability analysis of the widely-used MacCormack’s scheme. The problem has been practically out of reach for standard QE algorithms in spite of many attempts to tackle it. However, the current implementation of VQE can solve it in about 12 hours. This paper extends the results reported at the conference ISSAC 2009.     

Semi-global sampled-data output feedback disturbance rejection control for a class of uncertain nonlinear systems

This paper investigates the semi-global output feedback disturbance rejection control problem for a class of uncertain nonlinear systems with additive disturbances using linear sampled-data control. Aiming to reject the adverse effects caused by the uncertainties and unknown nonlinear perturbations which may not satisfy the strict feedback or feedforward structure, a new generalised discrete-time extended state observer is proposed to estimate the disturbance at sampling points. An output feedback disturbance rejection control law is then constructed in a sampled-data form which facilitates digital implementations. By selecting adequate control gains and a sufficiently small sampling period to restrain the state growth under a zero-order-hold input, the semi-global asymptotic stability of the hybrid closed-loop system and the disturbance rejection ability are proved. Both numerical example and an application of a single-link robot arm system demonstrate the feasibility and efficacy of the proposed method.