Spiking neural P systems are a class of distributed parallel computing devices inspired from the way neurons communicate by means of spikes. A spiking neural P system with anti-spikes is a variant of spiking neural P ...
详细信息
Spiking neural P systems are a class of distributed parallel computing devices inspired from the way neurons communicate by means of spikes. A spiking neural P system with anti-spikes is a variant of spiking neural P system, which is inspired by inhibitory impulses/spikes or inhibitory synapses. In this work, we investigate the necessary resource (specifically, the number of neurons) to construct universal spiking neural P systems with anti-spikes (that is, the systems can do what Turing machine do). It is proved that there exists a universal spiking neural P system with anti-spikes having 75 neurons and a universal spiking neural P system with anti-spikes having inhibitory synapses that consists of 70 neurons. The results show that spiking neural P system with anti-spikes having small number of neurons can have Turing "creativity."
Collective circular motion is common in both natural systems and engineering applications. Recent theoretical research has intensively studied the fundamental control mechanism. This brief aims to pave the way from th...
详细信息
Collective circular motion is common in both natural systems and engineering applications. Recent theoretical research has intensively studied the fundamental control mechanism. This brief aims to pave the way from theoretical design to practical implementation by addressing a set of issues encountered in real applications. As a result, a practically effective control algorithm is successfully implemented and examined for a multirobot system to achieve a desired circular formation.
Here we take advantage of the signal recovery power of Compressive Sensing (CS) to significantly reduce the computational complexity brought by the high-dimension image data, then an effective and efficient low-dimens...
详细信息
Based on one drive system and one response system synchronization model, a new type of combination-combination synchronization is proposed for four identical or different chaotic systems. According to the Lyapunov sta...
详细信息
Based on one drive system and one response system synchronization model, a new type of combination-combination synchronization is proposed for four identical or different chaotic systems. According to the Lyapunov stability theorem and adaptive control, numerical simulations for four identical or different chaotic systems with different initial conditions are discussed to show the effectiveness of the proposed method. Synchronization about combination of two drive systems and combination of two response systems is the main contribution of this paper, which can be extended to three or more chaotic systems. A universal combination of drive systems and response systems model and a universal adaptive controller may be designed to our intelligent application by our synchronization design.
Detecting motifs in DNA sequences is a major task in molecular biology to find functioning units and genes. Recently, with the purpose of using computational approaches to detect motifs, motif detecting problem was ab...
详细信息
Detecting motifs in DNA sequences is a major task in molecular biology to find functioning units and genes. Recently, with the purpose of using computational approaches to detect motifs, motif detecting problem was abstracted and reformulated as planted (l, d)-motif problem by computer scientists. In previous works, many instances of the problem have been used as challenges or benchmarks to test motif detecting algorithms. In this paper, we introduce a so called QPM-Branching method to detect motifs in DNA sequences. In the method, a set of qualified potential motifs are refined from background sequences using a modified projection strategy, and then the motifs can be detected by branching from the best neighbor or good neighbors of each qualified potential motif. We test the QPM-Branching method by detecting weak signal motifs and faint signal motifs, which are two categories of instances of the planted (l, d)-motif problem. It achieves significantly performances comparing with MEME, PROJECTION, GARPS and BioOptimizor. We also use the QPM-Branching method to identify binding sites of cAMP receptor protein (CRP) in Escherichia Coli and binding sites of PDR3 in the yeast Saccharomyces Cerevisiae. Experimental results show that the QPM-Branching method can correctly identify the realistic biological binding sites.
Traditional Markov random Field (MRF) methods assume that neighboring pixels tend to have the same label. However, this assumption is always inconsistent with the actual situation and affects the resultant accuracy of...
详细信息
This paper is devoted to the consensus protocol design for a set of agents with fractional-order uncertainty dynamics where the fractional order satisfies 0<<2. For multi-agent systems (MASs) with fixed undirect...
详细信息
This paper is devoted to the consensus protocol design for a set of agents with fractional-order uncertainty dynamics where the fractional order satisfies 0<<2. For multi-agent systems (MASs) with fixed undirected topology, a distributed static output feedback protocol is proposed with an undetermined system matrix. Based on model transformation and fractional-order stability theory, sufficient conditions are derived to ensure the consensus of MASs in terms of linear matrix inequalities (LMIs). Finally, a simulation example is employed to validate the effectiveness of the proposed consensus protocol.
This research attempts to ensure system safety while to maximize system efficiency by addressing steady state analysis and optimization for solid oxide fuel cell (SOFC) systems. Firstly, a thermal management oriented ...
详细信息
This research attempts to ensure system safety while to maximize system efficiency by addressing steady state analysis and optimization for solid oxide fuel cell (SOFC) systems. Firstly, a thermal management oriented kW scale SOFC stand-alone system (primarily comprising a planar SOFC stack, a burner, and two heat exchangers) is developed, in which a special consideration for stack spatial temperature management is conducted by introducing an air bypass manifold around heat exchangers. The dynamic model of the system is performed using transient energy, species, and mass conservation equations. Secondly, based on the system model, the effects of operating parameters including fuel utilization (FU), air excess ratio (AE), bypass ratio (BR), and stack voltage (SV) on the system steady-state performances (e.g. system efficiency, stack inlet, stack outlet, and burner temperatures) are revealed. Particularly, an optimal relationship between the system efficiency and the operating parameters is proposed;the maximum system efficiency can certainly be obtained at the inlet outlet temperature critical point of the BR-AE or FU-AE planes for all SV operating points. Finally, according to the optimal relationship, a traverse optimization process is designed, and the maximum system efficiency and safe operating parameters at any efficient SV operating point are calculated. The results provide an optimal reference trajectory for control design, where the system is safe and efficiency optimization. Moreover, the results reveal two important system characteristics: (1) the burner operates within safe temperature zone as long as the temperature of the upstream stack is well controlled;(2) the control design for the system is a nonlinear optimal control with switching structure, which is a challenging control issue. Copyright (C) 2013, Hydrogen Energy Publications, LLC. Published by Elsevier Ltd. All rights reserved.
There are many multi-objective planning problems in emergency decision-making domain. HTN planners were widely used in emergency decision-making, while they have limited ability to solve optimization, especially multi...
详细信息
There are many multi-objective planning problems in emergency decision-making domain. HTN planners were widely used in emergency decision-making, while they have limited ability to solve optimization, especially multi-objective optimization. Aimed to handling multi-objective in HTN planners, this paper proposes a novel method based on SHOP2, which is a domain-independent state-based forward HTN planner. The method uses a weighted vector to mirror the decision maker's performance for various objectives and an anytime search algorithm to improve the ability to find the best solution plan. Finally, a case of emergency evacuation is given to testify the effectiveness of the method.
暂无评论