Time-Free Solution for QSAT by Using Timed Tissue P Systems

2014 ◽  
Vol 568-570 ◽  
pp. 812-816 ◽  
Author(s):  
Yun Yun Niu ◽  
Zhi Gao Wang

A timed tissue P system is constructed by adding a time mapping to the rules of tissue P system to specify the execution time for each rule. It is a more realistic model from a biological point of view. In this study, we investigate the computational efficiency of timed tissue P systems. A uniform and time-free solution to QSAT problem, a famous PSPACE-complete problem, is proposed, where the execution time of the computational processes involved can vary arbitrarily and the output produced is always the same.

2017 ◽  
Vol 2017 ◽  
pp. 1-8 ◽  
Author(s):  
Yueguo Luo ◽  
Zhongyang Xiong ◽  
Guanghua Zhang

Tissue P systems are a class of computing models inspired by intercellular communication, where the rules are used in the nondeterministic maximally parallel manner. As we know, the execution time of each rule is the same in the system. However, the execution time of biochemical reactions is hard to control from a biochemical point of view. In this work, we construct a uniform and efficient solution to the SAT problem with tissue P systems in a time-free way for the first time. With the P systems constructed from the sizes of instances, the execution time of the rules has no influence on the computation results. As a result, we prove that such system is shown to be highly effective for NP-complete problem even in a time-free manner with communication rules of length at most 3.


2014 ◽  
Vol 2014 ◽  
pp. 1-6 ◽  
Author(s):  
Xiangrong Liu ◽  
Ziming Li ◽  
Juan Suo ◽  
Ying Ju ◽  
Juan Liu ◽  
...  

Tissue P system is a class of parallel and distributed model; a feature of traditional tissue P system is that the execution time of certain biological processes is very sensitive to environmental factors that might be hard to control. In this work, we construct a family of tissue P systems that works independently from the values associated with the execution times of the rules. Furthermore, we present a time-free efficient solution to multidimensional 0-1 knapsack problem by timed recognizer tissue P systems.


2018 ◽  
Vol 29 (5) ◽  
pp. 663-680 ◽  
Author(s):  
YUEGUO LUO ◽  
HAIJUN TAN ◽  
YING ZHANG ◽  
YUN JIANG

P systems with active membranes are a class of bioinspired computing models, where the rules are used in the non-deterministic maximally parallel manner. In this paper, first, a new variant of timed P systems with active membranes is proposed, where the application of rules can be regulated by promoters with only two polarizations. Next, we prove that any Turing computable set of numbers can be generated by such a P system in the time-free way. Moreover, we construct a uniform solution to the$\mathcal{SAT}$problem in the framework of such recognizer timed P systems in polynomial time, and the feasibility and effectiveness of the proposed system is demonstrated by an instance. Compared with the existing methods, the P systems constructed in our work require fewer necessary resources and RS-steps, which show that the solution is effective toNP-complete problem.


2013 ◽  
Vol 2013 ◽  
pp. 1-7 ◽  
Author(s):  
Tao Song ◽  
Xun Wang ◽  
Hongjiang Zheng

P systems withd-division are a particular class of distributed and parallel computing models investigated in membrane computing, which are inspired from the budding behavior of Baker’s yeast (a cell can generate several cells in one reproducing cycle). In previous works, such systems can theoretically generate exponential working space in linear time and thus provide a way to solve computational hard problems in polynomial time by a space-time tradeoff, where the precise execution time of each evolution rule, one time unit, plays a crucial role. However, the restriction that each rule has a precise same execution time does not coincide with the biological fact, since the execution time of biochemical reactions can vary because of external uncontrollable conditions. In this work, we consider timed P systems withd-division by adding a time mapping to the rules to specify the execution time for each rule, as well as the efficiency of the systems. As a result, a time-free solution to Hamiltonian path problem (HPP) is obtained by a family of such systems (constructed in a uniform way), that is, the execution time of the rules (specified by different time mappings) has no influence on the correctness of the solution.


2021 ◽  
Vol 11 (3) ◽  
pp. 1128
Author(s):  
Nunziante Cascone ◽  
Luca Caivano ◽  
Giuseppe D’Errico ◽  
Roberto Citarella

The objective of this paper is the vibroacoustic evaluation of an innovative material for a sports car roof, aiming at replacing fiberglass composite materials. Such evaluation was carried out using numerical and experimental analysis techniques, with cross-comparison between the corresponding results. The innovative material under analysis is a composite material, with a thermoplastic polypropylene matrix and reinforcement made of cellulose fibers. In order to validate the virtual dynamic modeling of the new material, the inertance on different points of some sheets made of the material under analysis was evaluated by an in-house made experimental activity, performed in the CRF (Fiat Research Center) test room, and cross-compared with corresponding results from a numerical analysis performed with the MSC Nastran software. Then, a realistic model of the car roof of the Alfa Romeo 4C car, made with the new material, was implemented and analyzed from the vibroacoustic point of view. The mere switch to the new material, with no changes in the geometry/structure of the car roof, did not allow preserving the original values of static rigidity, dynamic rigidity, and configuration of modal shapes. For this reason, a geometric/structural optimization of the component was performed. Once the new geometry/structure was defined, a vibroacoustic analysis was carried out, checking for a possible coupling between the fluid cavity modes and the structure car body modes. Finally, the vibroacoustic transfer functions to the driver’s ear node were assessed, considering two different excitation points on the structure. The excellent damping capacity of the proposed material led to an improvement in the vibroacoustic transfer functions and to a reduction in the weight of the pavilion.


Processes ◽  
2021 ◽  
Vol 9 (3) ◽  
pp. 549
Author(s):  
Xiu Yin ◽  
Xiyu Liu ◽  
Minghe Sun ◽  
Qianqian Ren

A novel variant of NSN P systems, called numerical spiking neural P systems with a variable consumption strategy (NSNVC P systems), is proposed. Like the spiking rules consuming spikes in spiking neural P systems, NSNVC P systems introduce a variable consumption strategy by modifying the form of the production functions used in NSN P systems. Similar to the delay feature of the spiking rules, NSNVC P systems introduce a postponement feature into the production functions. The execution of the production functions in NSNVC P systems is controlled by two, i.e., polarization and threshold, conditions. Multiple synaptic channels are used to transmit the charges and the production values in NSNVC P systems. The proposed NSNVC P systems are a type of distributed parallel computing models with a directed graphical structure. The Turing universality of the proposed NSNVC P systems is proved as number generating/accepting devices. Detailed descriptions are provided for NSNVC P systems as number generating/accepting devices. In addition, a universal NSNVC P system with 66 neurons is constructed as a function computing device.


1977 ◽  
Vol 30 (1) ◽  
pp. 43 ◽  
Author(s):  
F Smith

The total polar contributions (AP) to three properties [infrared absorbance, mixing enthalpies (HM) and excess free energies (GE)] of alcohol + alkane (alp) systems are separated into a direct hydrogenbond contribution ( AB) from the formation of isolated imers and a dipole-dipole contribution (AD) resulting from dipolar correlation between these transient imers. Dilute concentration range data giving the AB contributions to these properties were found dependent only on OH group concentration (c) and are used to show the serious inadequacies of previous theories. A new proposed association model having only two parameters, that are fixed for all systems, does give good results for the AB contributions and further is quite compatible with the effect of temperature change and with the n.m.r. chemical shift (ε) and apparent mean square dipole moment (p2) data that are also studied. Thus association theory has been made quantitative for the AB contributions to three properties of a/p systems and the approach given for deriving models appears capable of wider application. The model was used to extrapolate the AB contributions into the concentrated alcohol range to thus give the AD contributions by difference. The latter are then shown to be the origin of the distinctive behaviour shown by lower alcohols in their pure and binary mixture properties either with alkanes or with other alcohols where for the latter the principle of congruence is shown to be completely misleading. Two contributions (Ag and AD) explain the different c dependence shown by the i.r., HM and the δ data for a/p systems and, qualitatively, the HM data for alcohol+alcohol systems while the existence of a significant dipole term is strongly supported by the remarkable similarities found between the p2(c) data and the derived dipole-dipole contribution to the entropy of a/p systems. A method is given for predicting latent heats and partial molar enthalpies of higher alcohols from the HM data for one a/p system and a refined estimate is made of the enthalpy of formation of a hydrogen bond. Polar structure and non-linear dielectric effects are also discussed.


Sign in / Sign up

Export Citation Format

Share Document