Search

Evolutionary algorithms have been used to solve a variety of many-objective optimization problems, where these problems contain more than three conflicting objectives. Most existing evolutionary algorithms have shown to perform well on many-objective optimization problems with regular Pareto optimal fronts, their performance, however, will often considerably deteriorate on those whose Pareto optimal fronts are irregular, e.g., discontinuous, degenerated and convex. To address this issue, in this paper, we propose a region division based many-objective optimization evolutionary algorithm, termed RdEA, where a region division approach is suggested to maintain diversity of population for many-objective optimization (especially for problems with irregular Pareto fronts). In the proposed region division based diversity maintaining approach, the geometric information of Pareto optimal fronts is taken into account by using the non-dominated solutions found at each generation, which helps to solve the problems with irregular Pareto optimal fronts better. The proposed RdEA is compared with five state-of-the-art many-objective evolutionary algorithms on 16 test problems from two test suites DTLZ and WFG and a real-world optimization problem. Experimental results on these problems demonstrate that the competitiveness of the proposed algorithm in solving many-objective optimization problems, especially for those with irregular Pareto optimal fronts. [ABSTRACT FROM AUTHOR]

Numerical P systems are a class of P systems inspired both from the structure of living cells and from economics. In this work, we further investigate the generative capacity of numerical P systems as language generators. The families of languages generated by non-enzymatic, by enzymatic, and by purely enzymatic (all programs are enzymatic) numerical P systems working in the sequential mode are compared with the language families in the Chomsky hierarchy. Especially, a characterization of recursively enumerable languages is obtained by using purely enzymatic numerical P systems working in the sequential mode. [ABSTRACT FROM AUTHOR]

A control strategy on the computations in a one-catalyst P system is provided: the rules are assumed "colored" and in each step only rules of the same "color" are used. Such control leads to Turing universality for one-catalyst P systems with one membrane. Turing universality is also reached for purely catalytic P systems with two catalysts, and for purely catalytic P systems with only one catalyst and cooperating rules working in the so-called terminal mode. [ABSTRACT FROM AUTHOR]

Tissue P systems are a class of distributed parallel computing devices inspired by biochemical interactions between cells in a tissue-like arrangement, where objects can be exchanged by means of communication channels. In this work, inspired by the biological facts that the movement of most objects through communication channels is controlled by proteins and proteins can move through lipid bilayers between cells (if these cells are fused), we present a new class of variant tissue P systems, called tissue P systems with protein on cells, where multisets of objects (maybe empty), together with proteins between cells are exchanged. The computational power of such P systems is studied. Specifically, an efficient (uniform) solution to the SAT problem by using such P systems with cell division is presented. We also prove that any Turing computable set of numbers can be generated by a tissue P system with protein on cells. Both of these two results are obtained by such P systems with communication rules of length at most 4 (the length of a communication rule is the total number of objects and proteins involved in that rule). [ABSTRACT FROM AUTHOR]

Inspired by mitosis process and membrane fission processes, cell-like P systems with symport/antiport rules and membrane division rules or membrane separation rules have been introduced, respectively. These computation systems have two key features: the ability to have infinite copies of some objects (within an active environment) and to generate an exponential workspace in polynomial time. In this work, we extend the P-Lingua framework for simulating that kind of P systems taking into account these two features. Consequently, a new simulator has been developed and included in pLinguaCore library. The functioning of the simulator has been checked by simulating efficient solutions to SAT problem using a family of cell-like P systems with symport/antiport rules and membrane division rules or membrane separation rules. The corresponding MeCoSim based application is also provided. [ABSTRACT FROM AUTHOR]

Spiking neural P systems (SN P systems) are a class of distributed parallel computing devices inspired by spiking neurons, where the spiking rules are usually used in a sequential way (an applicable rule is applied one time at a step) or an exhaustive way (an applicable rule is applied as many times as possible at a step). In this letter, we consider a generalized way of using spiking rules by "combining" the sequential way and the exhaustive way: if a rule is used at some step, then at that step, it can be applied any possible number of times, nondeterministically chosen. The computational power of SN P systems with a generalized use of rules is investigated. Specifically, we prove that SN P systems with a generalized use of rules consisting of one neuron can characterize finite sets of numbers. If the systems consist of two neurons, then the computational power of such systems can be greatly improved, but not beyond generating semilinear sets of numbers. SN P systems with a generalized use of rules consisting of three neurons are proved to generate at least a nonsemilinear set of numbers. In the case of allowing enough neurons, SN P systems with a generalized use of rules are computationally complete. These results show that the number of neurons is crucial forSNP systems with a generalized use of rules to achieve a desired computational power. [ABSTRACT FROM AUTHOR]

Spiking neural P systems with weights are a new class of distributed and parallel computingmodels inspired by spiking neurons. In such models, a neuron fireswhen its potential equals a given value (called a threshold). In this work, spiking neural P systems with thresholds (SNPT systems) are introduced, where a neuron fires not only when its potential equals the threshold but also when its potential is higher than the threshold. Two types of SNPT systems are investigated. In the first one, we consider that the firing of a neuron consumes part of the potential (the amount of potential consumed depends on the rule to be applied). In the second one, once a neuron fires, its potential vanishes (i.e., it is reset to zero). The computation power of the two types of SNPT systems is investigated. We prove that the systems of the former type can compute all Turing computable sets of numbers and the systems of the latter type characterize the family of semilinear sets of numbers. The results show that the firing mechanism of neurons has a crucial influence on the computation power of the SNPT systems, which also answers an open problem formulated in Wang, Hoogeboom, Pan, P?aun, and P'erez-Jim'enez (2010). [ABSTRACT FROM AUTHOR]

Background Abnormal states in human liver metabolism are major causes of human liver diseases ranging from hepatitis to hepatic tumor. The accumulation in relevant data makes it feasible to derive a large-scale human liver metabolic network (HLMN) and to discover important biological principles or drugtargets based on network analysis. Some studies have shown that interesting biological phenomenon and drug-targets could be discovered by applying structural controllability analysis (which is a newly prevailed concept in networks) to biological networks. The exploration on the connections between structural controllability theory and the HLMN could be used to uncover valuable information on the human liver metabolism from a fresh perspective. Results We applied structural controllability analysis to the HLMN and detected driver metabolites. The driver metabolites tend to have strong ability to influence the states of other metabolites and weak susceptibility to be influenced by the states of others. In addition, the metabolites were classified into three classes: critical, high-frequency and low-frequency driver metabolites. Among the identified 36 critical driver metabolites, 27 metabolites were found to be essential; the high-frequency driver metabolites tend to participate in different metabolic pathways, which are important in regulating the whole metabolic systems. Moreover, we explored some other possible connections between the structural controllability theory and the HLMN, and find that transport reactions and the environment play important roles in the human liver metabolism. Conclusion There are interesting connections between the structural controllability theory and the human liver metabolism: driver metabolites have essential biological functions; the crucial role of extracellular metabolites and transport reactions in controlling the HLMN highlights the importance of the environment in the health of human liver metabolism. [ABSTRACT FROM AUTHOR]

Spiking neural P systems (SN P systems) are a class of distributed parallel computing devices inspired by the way neurons communicate by means of spikes; neurons work in parallel in the sense that each neuron that can fire should fire, but the work in each neuron is sequential in the sense that at most one rule can be applied at each computation step. In this work, with biological inspiration, we consider SN P systems with the restriction that at each step, one of the neurons (i.e., sequential mode) or all neurons (i.e., pseudo-sequential mode) with the maximum (or minimum) number of spikes among the neurons that are active (can spike) will fire. If an active neuron has more than one enabled rule, it nondeterministically chooses one of the enabled rules to be applied, and the chosen rule is applied in an exhaustive manner (a kind of local parallelism): the rule is used as many times as possible. This strategy makes the system sequential or pseudo-sequential from the global view of the whole network and locally parallel at the level of neurons. We obtain four types of SN P systems: maximum/minimum spike number induced sequential/pseudo-sequential SNP systemswith exhaustive use of rules. We prove that SN P systems of these four types are all Turing universal as number-generating computation devices. These results illustrate that the restriction of sequentiality may have little effect on the computation power of SN P systems. [ABSTRACT FROM AUTHOR]

Gene regulatory networks are useful models for biologists to understand the interactions among genes in living organisms. In this work, we consider a special class of gene regulatory networks, called logical networks, where the "links" among genes are inferred by logic analysis of phylogenetic profiles. We provide a formalization of logic networks, and introduce a membrane computing model for reconstructing logical networks and reproducing their dynamics. An example logical network is simulated by using software P-Lingua and McCoSim. The simulation result shows that membrane computing is a versatile framework for modeling different biological scenarios. [ABSTRACT FROM AUTHOR]

In a biological nervous system, astrocytes play an important role in the functioning and interaction of neurons, and astrocytes have excitatory and inhibitory influence on synapses. In this work, with this biological inspiration, a class of computation devices that consist of neurons and astrocytes is introduced, called spiking neural P systems with astrocytes (SNPA systems). The computation power of SNPA systems is investigated. It is proved that SNPA systems with simple neurons (all neurons have the same rule, one per neuron, of a very simple form) are Turing universal in both generative and accepting modes. If a bound is given on the number of spikes present in any neuron along a computation, then the computation power of SNPA systems is diminished. In this case, a characterization of semilinear sets of numbers is obtained. [ABSTRACT FROM AUTHOR]

In a biological nervous system, astrocytes play an important role in the functioning and interaction of neurons, and astrocytes have excitatory and inhibitory influence on synapses. In this work, with this biological inspiration, a class of computation devices that consist of neurons and astrocytes is introduced, called spiking neural P systems with astrocytes (SNPA systems). The computation power of SNPA systems is investigated. It is proved that SNPA systems with simple neurons (all neurons have the same rule, one per neuron, of a very simple form) are Turing universal in both generative and acceptingmodes. If a bound is given on the number of spikes present in any neuron along a computation, then the computation power of SNPA systems is diminished. In this case, a characterization of semilinear sets of numbers is obtained. [ABSTRACT FROM AUTHOR]

A variant of spiking neural P systems with positive or negative weights on synapses is introduced, where the rules of a neuron fire when the potential of that neuron equals a given value. The involved values-weights, firing thresholds, potential consumed by each rule-can be real (computable) numbers, rational numbers, integers, and natural numbers. The power of the obtained systems is investigated. For instance, it is proved that integers (very restricted: 1,-1 for weights, 1 and 2 for firing thresholds, and as parameters in the rules) suffice for computing all Turing computable sets of numbers in both the generative and the accepting modes. When only natural numbers are used, a characterization of the family of semilinear sets of numbers is obtained. It is shown that spiking neural P systemswith weights can efficiently solve computationally hard problems in a nondeterministic way. Some open problems and suggestions for further research are formulated. [ABSTRACT FROM AUTHOR]

Spiking neural P systems are a class of distributed parallel computing models inspired from the way the neurons communicate with each other by means of electrical impulses (called "spikes"). In this paper, we consider a restricted variant of spiking neural P systems, called homogeneous spiking neural P systems, where each neuron has the same set of rules. The universality of homogeneous spiking neural P systems is investigated. One of universality results is that it is sufficient for homogeneous spiking neural P system to have only one neuron that behaves nondeterministically in order to achieve Turing completeness. [ABSTRACT FROM AUTHOR]

The problem of finding small universal spiking neural P systems was recently investigated by Andrei Păun and Gheorghe Păun, for spiking neural P systems used as devices computing functions and as devices generating sets of numbers. For the first case, a universal spiking neural P system was produced by using 84 neurons for standard rules and using 49 neurons for extended rules. For spiking neural P systems used as generators of sets of numbers, a universal system with standard rules having 76 neurons, and one with extended rules having 50 neurons were obtained. In this paper, we continue the study of small universal spiking neural P systems and we improve in the number of neurons as follows. The small universal spiking neural P systems use 67 neurons for standard rules and 41 neurons for extended rules in the case of computing functions, and 63 neurons for standard rules and 41 neurons for extended rules in the case of generating sets of numbers. [ABSTRACT FROM AUTHOR]

Abstract  We continue the study of (extended) spiking neural P systems with exhaustive use of rules by considering these computing devices as language generators. Specifically, a step is associated with a symbol according to the number of spikes emitted by the output neuron and the sequence of these symbols associated with a halting computation constitutes a string. Two cases are considered: one of them interprets a step when no spike is emitted as a specified symbol, the other interprets such a step as the empty string. In both cases, it is proved that finite and recursively enumerable languages are characterized by extended spiking neural P systems working in the exhaustive mode. The relationships with regular languages are also investigated. [ABSTRACT FROM AUTHOR]

The P systems (or membrane systems) are a class of distributed parallel computing devices of a biochemical type, where membrane division is the frequently investigated way for obtaining an exponential working space in a linear time, and on this basis solving hard problems, typically NP-complete problems, in polynomial (often, linear) time. In this paper, using another way to obtain exponential working space – membrane separation, it was shown that Satisfiability Problem and Hamiltonian Path Problem can be deterministically solved in linear or polynomial time by a uniform family of P systems with separation rules, where separation rules are not changing labels, but polarizations are used. Some related open problems are mentioned. [ABSTRACT FROM AUTHOR]

Abstract The P systems are a class of distributed parallel computing devices of a biochemical type. In this note, we show that by using membrane separation to obtain exponential workspace, SAT problem can be solved in linear time in a uniform and confluent way by active P systems without polarizations. This improves some results already obtained by A. Alhazov, T.-O. Isdorj. A universality result related to membrane separation is also obtained. [ABSTRACT FROM AUTHOR]

P systems are parallel molecular computing models based on processing multisets of objects in cell-like membrane structures. Recently, Petr Sosík has shown that a semi-uniform family of P systems with active membranes and 2-division is able to solve the PSPACE-complete problem QBF-SAT in linear time; he has also conjectured that the membrane dissolving rules of the (d) type may be omitted, but probably not the (f) type rules for non-elementary membrane division. In this paper, we partially confirm the conjecture proving that dissolving rules are not necessary. Moreover, the construction is now uniform. It still remains open whether or not non-elementary membrane division is needed. [ABSTRACT FROM AUTHOR]

Presents mathematical solutions to hypertournaments. Theorems proved on hypertournaments; Hamiltonian cycle; Theorem and lemma.

Single-stranded tile (SST) strategy offers precise control over the circumferences of nanotubes while the kinetic trap in the process of the self-assembly prevents the formation of wider tubes. Here, we report a simple and efficient method to build DNA nanotubes using only 2 SSTs via one-pot annealing. The diameters of the 2-SST nanotubes were much larger than what the kinetic trap theory would predict, indicating a new mechanism was at play in the formation of these nanotubes. Further investigation suggested that the 2-SST nanotubes were assembled through a hierarchical pathway that involved an intermediate formation of 2-SST nano-lines. [ABSTRACT FROM AUTHOR]

A preface for this issue, based on the conference Bio-Inspired Computing--Theory and Applications," is presented.