A systematic approach to improve multiple Lyapunov function stability and stabilization conditions for fuzzy systems

This paper presents a systematic approach for decreasing conservativeness in stability analysis and control design for Takagi-Sugeno (TS) systems. This approach is based on the idea of multiple Lyapunov functions together with simple techniques for introducing slack matrices. Unlike some previous approaches based on multiple Lyapunov functions, both the stability and the stabilization conditions are written as linear matrix inequality (LMI) problems. The proposed approach reduces the number of inequalities and guarantees extra degrees of freedom to the LMI problems. Numeric examples illustrate the effectiveness of this method.     

Stability analysis of discrete-time switched systems: a switched homogeneous Lyapunov function method

This paper addresses the stability issue of discrete-time switched systems with guaranteed dwell-time. The approach of switched homogeneous Lyapunov function of higher order is formally proposed. By means of this approach, a necessary and sufficient condition is established to check the exponential stability of the considered system. With the observation that switching signal is actually arbitrary if the dwell time is one sample time, a necessary and sufficient condition is also presented to verify the exponential stability of switched systems under arbitrary switching signals. Using the augmented argument, a necessary and sufficient exponential stability criterion is given for discrete-time switched systems with delays. A numerical example is provided to show the advantages of the theoretical results.     

分布式光纤振动传感系统的多级零频点定位研究

为了减少直线结构Sagnac分布式光纤传感系统的定位误差,提出一种多级零频点的优化方法,通过分析直线结构Sagnac分布式光纤传感定位原理,确定固定的采样速率下离散化是造成定位误差大的原因.并分析得出振动信号频域曲线会周期出现多个零频点,进而对振动定位的多级零频点优化方法进行了理论推导,阐明高倍零频点下的定位误差会有效减小.通过实验验证表明,在总长为11.769 km的传感光纤上,优化后的定位方法在不改变采样速率下可保证定位误差提升到±20 m范围内,可以基本满足系统对外界振动信号进行精确定位的要求.     

基于FDI算法在软件测试实践中的应用

软件测试对于软件系统的性能以及功能都有很重要的意义,是保证软件可靠运行的关键.在软件测试的实践应用中,对于软件故障定位时,提出了基于谓词统计故障定位的算法,也就是FDI频率差异积分算法.在软件测试实践中采用基于FDI频率差异积分算法,可以很好地监控软件程序,测试软件的覆盖率以及执行时间等内存占用情况,并找到软件的故障瓶颈,以便采取更好的方法改进软件性能.探讨了实践中基于FDI频率差异积分算法在软件测试内的应用.     

基于平行截面上轮廓之间重构问题的研究

研究了基于平行截面上两多边形轮廓重构的基本问题,给出了利用体积最大化作为度量标准来求得一个"较好"并且合法的重构的目标函数,然后得出:其中一个多边形轮廓在其所在的截面上沿着法向平移、在截面内平移和在截面内等比例缩放都不影响最大化体积后的结果。该结论对于三维实体的可视化和几何造型领域具有重要的实用价值。     

Matlab和C++接口中函数注册的实现

函数注册在Matlab和C 接口中起着重要的作用。在介绍函数注册作用的基础上 ,详细分析了函数注册的过程及应当注意的问题 ,并给出了一种实现函数注册的最简单的方法。用实例展示了函数注册的具体实现过程。     

A Jacobi-type method for computing balanced realizations

A new numerical scheme for computing balancing coordinate transformations in linear systems theory is presented. The method is closely related to the Jacobi method for diagonalizing symmetric matrices. Here the minimization of the sum of traces of the Gramians by orthogonal and nonorthogonal Jacobi-type rotations is considered. The algorithm is shown to be globally convergent to a balancing transformation that arranges the Hankel singular values in a prescribed ordering. Local quadratic convergence of the algorithm is shown.     

Solving multiple objective quasi-convex goal programming problems by linear programming

This study presents a novel means of resolving multiple objective goal programming (GP) problems with quasi-convex linear penalty functions. The proposed method initially expresses a quasi-convex function by the maximum operator of two convex functions, then solves it via a linear programming technique. The proposed method does not contain any zero–one variables; nor does it require dividing the multi-objective quasi-convex GP problem into large sub-problems as in conventional methods. Some illustrative examples are provided.     

A new neural network algorithm for planarization problems

To deal with the planarization problem widely used in many applications including routing very-large-scale integration （VLSI） circuits, this paper points out that only when its vertices are arranged in some specific order in a line can a planar graph be embedded on a line without any cross connections or cross edges. Energy function is proposed to meet the need of embedding a graph on a single line and route it correctly. A Hopfield network is designed according to the proposed energy function for such embedding and routing. The advantage of the proposed method is that it not only can detect if a graph is a planar one or not, but also can embed a planar graph or the maximal planar subgraph of a non-planar graph on a single line. In addition, simulated annealing is employed for helping the network to escape from local minima during the running of the Hopfield network. Experiments of the proposed method and its comparison with some existent conventional methods were performed and the results indicate that the proposed method is of great feasibility and effectiveness especially for the planarization problem of large graphs.