Membrane computing is an emergent branch of natural computing, which is inspired by the structure and the functioning of living cells, as well as the organization of cells in tissues, organs, and other higher order st...
详细信息
Membrane computing is an emergent branch of natural computing, which is inspired by the structure and the functioning of living cells, as well as the organization of cells in tissues, organs, and other higher order structures. Tissue P systems are a class of the most investigated computing mod- els in the framework of membrane computing, especially in the aspect of efficiency. To generate an exponential resource in a polynomial time, cell separation is incorporated into such systems, thus obtaining so called tissue P systems with cell separation. In this work, we exploit the computational efficiency of this model and construct a uniform family of such tissue P systems for solving the independent set problem, a well-known NP-complete problem, by which an efficient so- lution can be obtained in polynomial time.
作者：
Huan ChengXi LiJianhua JiangLin ZhangJian LiJie YangDepartment of control science and Engineering
Key Laboratory of Education Ministry for Image Processing and Intelligent Control Huazhong University of Science and Technology Wuhan 430074 China School of Materials Science and Engineering State Key Laboratory of Material Processing and Die and Mould Technology Huazhong University of Science and Technology Wuhan 430074 China School of Mechanical and Electronic Information China University of Geosciences Wuhan 430074 China
This paper investigates controllability of discrete-time multi-agent systems with multiple leaders on fixed networks. The leaders are particular agents playing a part in external inputs to steer other member agents. T...
详细信息
This paper investigates controllability of discrete-time multi-agent systems with multiple leaders on fixed networks. The leaders are particular agents playing a part in external inputs to steer other member agents. The followers can arrive at any predetermined configuration by regulating the behaviors of the leaders. Some sufficient and necessary conditions are proposed for the controllability of discrete-time multi-agent systems with multiple leaders. Moreover, the case with isolated agents is discussed. Numerical examples and simulations are proposed to illustrate the theoretical results we established.
This paper proposes a new affine registration algorithm for 2D point matching. It is a two-step iterative registration algorithm by soft weight assignment based on bidirectional distance. At each iteration, the affine...
详细信息
ISBN:
(纸本)9781479923427
This paper proposes a new affine registration algorithm for 2D point matching. It is a two-step iterative registration algorithm by soft weight assignment based on bidirectional distance. At each iteration, the affine transformation is updated by two optimization steps, in which the model data and the test data are matched from each other respectively. By the optimization of registration at separate steps during each iteration, the proposed algorithm can provide a good estimate of the accurate affine transformation in condition of poor initialization and lack of geometric assumptions on point sets. Some experiments about comparison with the current state-of-the art approaches, demonstrate the robustness and accuracy of our method.
This paper generalizes the concept of the depth-independent interaction matrix, developed for point and line features in our early work, to generalized image features. We derive the conditions under which the depth-in...
详细信息
In the literature （Tan and Wang, 2010）, Tan and Wang investigated the convergence of the split-step backward Euler （SSBE） method for linear stochastic delay integro-differential equations （SDIDEs） and proved the...
详细信息
In the literature （Tan and Wang, 2010）, Tan and Wang investigated the convergence of the split-step backward Euler （SSBE） method for linear stochastic delay integro-differential equations （SDIDEs） and proved the mean-square stability of SSBE method under some condition. Unfortu- nately, the main result of stability derived by the condition is somewhat restrictive to be applied for practical application. This paper improves the corresponding results. The authors not only prove the mean-square stability of the numerical method but also prove the general mean-square stability of the numerical method. Furthermore, an example is given to illustrate the theory.
Spiking neural P systems are a class of distributed parallel computing models inspired from the way neurons communicate with each other by means of electrical impulses (called "spikes"). In this paper, we co...
详细信息
Spiking neural P systems are a class of distributed parallel computing models inspired from the way neurons communicate with each other by means of electrical impulses (called "spikes"). In this paper, we continue the research of normal forms for spiking neural P systems. Specifically, we prove that the degree of spiking neural P systems without delay can be decreased to two without losing the computational completeness (both in the generating and accepting modes).
This paper is to present a defect detecting and locating method of tubular cylindrical conductor based on alternating current impedance measurement theory. A defect estimation can be made through the impedance measure...
详细信息
This paper addresses the stability and stabilization problems for a class of positive linear systems in the presence of saturating actuators. The objective is to give conditions of the stability, and design state feed...
详细信息
This paper addresses the stability and stabilization problems for a class of positive linear systems in the presence of saturating actuators. The objective is to give conditions of the stability, and design state feedback control laws such that the closed-loop systems is asymptotically stable and positive at the origin with a large domain of attraction. Several sufficient conditions for stabilization and positivity are derived via the Lyapunov functions method and convex analysis in both the continuous-time and the discrete-time cases, respectively. The state feedback controller design and the estimation of domain of attraction are presented by solving a convex optimization problem with LMIs constraints. A numerical example is given to show the effectiveness of the proposed methods.
暂无评论