Solving Sudoku with Membrane Computing

Sudoku is a very popular puzzle which consists on placing several numbers in a squared grid according to some simple rules. In this paper we present an efficient family of P systems which solve sudokus of any order verifying a specific property. The solution is searched by using a simple human-style method. If the sudoku cannot be solved by using this strategy, the P system detects this drawback and then the computations stops and returns No. Otherwise, the P system encodes the solution and returns Yes in the last computation step.Ministerio de Ciencia e Innovación TIN2008-04487-EMinisterio de Ciencia e Innovación TIN2009–13192Junta de Andalucía P08-TIC-0420

The GPU on the simulation of cellular computing models

Membrane Computing is a discipline aiming to abstract formal computing models, called membrane systems or P systems, from the structure and functioning of the living cells as well as from the cooperation of cells in tissues, organs, and other higher order structures. This framework provides polynomial time solutions to NP-complete problems by trading space for time, and whose efficient simulation poses challenges in three different aspects: an intrinsic massively parallelism of P systems, an exponential computational workspace, and a non-intensive floating point nature. In this paper, we analyze the simulation of a family of recognizer P systems with active membranes that solves the Satisfiability problem in linear time on different instances of Graphics Processing Units (GPUs). For an efficient handling of the exponential workspace created by the P systems computation, we enable different data policies to increase memory bandwidth and exploit data locality through tiling and dynamic queues. Parallelism inherent to the target P system is also managed to demonstrate that GPUs offer a valid alternative for high-performance computing at a considerably lower cost. Furthermore, scalability is demonstrated on the way to the largest problem size we were able to run, and considering the new hardware generation from Nvidia, Fermi, for a total speed-up exceeding four orders of magnitude when running our simulations on the Tesla S2050 server.Agencia Regional de Ciencia y Tecnología - Murcia 00001/CS/2007Ministerio de Ciencia e Innovación TIN2009–13192Ministerio de Ciencia e Innovación TIN2009-14475-C04European Commission Consolider Ingenio-2010 CSD2006-0004

P systems simulations on massively parallel architectures

Membrane Computing is an emergent research area studying the behaviour of living cells to de ne bio-inspired computing devices, also called P systems. Such devices provide polynomial time solutions to NP-complete problems by trading time for space. The e cient simulation of P systems poses challenges in three di erent aspects: an intrinsic massively parallelism of P systems, an exponential computational workspace, and a non-intensive oating point nature. In this paper, we analyze the simulation of a family of recognizer P systems with active membranes that solves the Satis ability (SAT) problem in linear time on three di erent architectures: a shared memory system, a distributed memory system, and a set of Graphics Processing Units (GPUs). For an e cient handling of the exponential workspace created by the P systems computation, we enable di erent data policies on those architectures to increase memory bandwidth and exploit data locality through tiling. Parallelism inherent to the target P system is also managed on each architecture to demonstrate that GPUs o er a valid alternative for high-performance computing at a considerably lower cost: Considering the largest problem size we were able to run on the three parallel platforms involving four processors, execution times were 20049.70 ms. using OpenMP on the shared memory multiprocessor, 4954.03 ms. using MPI on the distributed memory multiprocessor and 565.56 ms. using CUDA in our four GPUs, which results in speed factors of 35.44x and 8.75x, respectively.Fundación Séneca 00001/CS/2007Ministerio de Ciencia e Innovación TIN2009–13192European Community CSD2006- 00046Junta de Andalucía P06-TIC-02109Junta de Andalucía P08–TIC-0420

Simulation of P systems with active membranes on CUDA

P systems or Membrane Systems provide a high-level computational modelling framework that combines the structure and dynamic aspects of biological systems in a relevant and understandable way. They are inherently parallel and non-deterministic computing devices. In this article, we discuss the motivation, design principles and key of the implementation of a simulator for the class of recognizer P systems with active membranes running on a (GPU). We compare our parallel simulator for GPUs to the simulator developed for a single central processing unit (CPU), showing that GPUs are better suited than CPUs to simulate P systems due to their highly parallel nature.Ministerio de Educación y Ciencia TIN2006-13425Junta de Andalucía P08–TIC-0420

Implementing P Systems Parallelism by Means of GPUs

Software development for Membrane Computing is growing up yielding new applications. Nowadays, the efficiency of P systems simulators have become a critical point when working with instances of large size. The newest generation of GPUs (Graphics Processing Units) provide a massively parallel framework to compute general purpose computations. We present GPUs as an alternative to obtain better performance in the simulation of P systems and we illustrate it by giving a solution to the N-Queens problem as an example.Ministerio de Educación y Ciencia TIN2006-13425Junta de Andalucía P08–TIC-0420

Simulating a P system based efficient solution to SAT by using GPUs

P systems are inherently parallel and non-deterministic theoretical computing devices defined inside the field of Membrane Computing. Many P system simulators have been presented in this area, but they are inefficient since they cannot handle the parallelism of these devices. Nowadays, we are witnessing the consolidation of the GPUs as a parallel framework to compute general purpose applications. In this paper, we analyse GPUs as an alternative parallel architecture to improve the performance in the simulation of P systems, and we illustrate it by using the case study of a family of P systems that provides an efficient and uniform solution to the SAT problem. Firstly, we develop a simulator that fully simulates the computation of the P system, demonstrating that GPUs are well suited to simulate them. Then, we adapt this simulator to the GPU architecture idiosyncrasies, improving the performance of the previous simulator.Ministerio de Ciencia e Innovación TIN2009–13192Junta de Andalucía P08–TIC-0420

Simulation of Recognizer P Systems by Using Manycore GPUs

Software development for cellular computing is growing up yielding new applications. In this paper, we describe a simulator for the class of recognizer P systems with active membranes, which exploits the massively parallel nature of the P systems computations by using a massively parallel computer architecture, such as Compute Unified Device Architecture (CUDA) from Nvidia, to obtain better performance in the simulations. We illustrate it by giving a solution to the N-Queens problem as an example.Ministerio de Educación y Ciencia TIN2006–13425Junta de Andalucía P08–TIC0420

A massively parallel framework using P systems and GPUs

Since CUDA programing model appeared on the general purpose computations, the developers can extract all the power contained in GPUs (Graphics Processing Unit) across many computational domains. Among these domains, P systems or membrane systems provide a high level computational modeling framework that allows, in theory, to obtain polynomial time solutions to NP-complete problems by trading time for space, and also to model biological phenomena in the area of computational systems biology. P systems are massively parallel distributed devices and their computation can be divided in two levels of parallelism: membranes, that can be expressed as blocks in CUDA programming model; and objects, that can be expressed as threads in CUDA programming model. In this paper, we present our initial ideas of developing a simulator for the class of recognizer P systems with active membranes by using the CUDA programing model to exploit the massively parallel nature of those systems at maximum. Experimental results of a preliminary version of our simulator on a Tesla C1060 GPU show a 60X of speed-up compared to the sequential code.Ministerio de Educación y Ciencia TIN2006-13425Junta de Andalucía P08–TIC-0420

Analysis of P systems simulation on CUDA

GPUs (Graphics Processing Unit) have been con- solidated as a massively data-parallel coprocessor to develop many general purpose computations, and en- able developers to utilize several levels of parallelism to obtain better performance of their applications. The massively parallel nature of certain computa- tions leads to use GPUs as an underlying architec- ture, becoming a good alternative to other paral- lel approaches. P systems or membrane systems are theoretical devices inspired in the way that liv- ing cells work, providing computational models and a high level computational modeling framework for biological systems. They are massively parallel dis- tributed, and non-deterministic systems. In this pa- per, we evaluate the GPU as the underlying archi- tecture to simulate the class of recognizer P systems with active membranes. We analyze the performance of three simulators implemented on CPU, CPU-GPU and GPU respectively. We compare them using a pre- sented P system as a benchmark, showing that the GPU is better suited than the CPU to simulate those P systems due to its massively parallel nature.Ministerio de Educación y Ciencia TIN2006-13425Junta de Andalucía P08–TIC0420

Validation of Backtable Graft Arterial Anastomosis Between Splenic Artery and Superior Mesenteric Artery: A 21-year Single-center Experience of Pancreas Transplantation

Resumen del trabajo presentado en el IPITA 2021 VIRTUAL CONGRESS, celebrado de forma virtual del 20 al 23 de octubre de 2021Aim: To determine the role of the arterial spleno-mesenteric anastomosis reconstruction technique compared to other types of backtable arterial anastomosis, in terms of vascular complications and long-term patient and graft survival in a single institution. Methods: Retrospective analysis including all pancreas transplants performed over 21 years (1999–2019). For the bench reconstruction: (1) the distal superior mesenteric artery (SMA) was distally dissected and sewn to the splenic artery (SA), or (2) the arteries were reconstructed with an iliac arterial “Y” graft. Results: A total of 412 pancreas transplantations were done. At the bench procedure SMA/SA anastomosis was performed in 376 of patients, arterial iliac “Y” graft in 32 of patients, and no arterial reconstruction was required in 4 of patients. A total of 90 patients presented vascular complications within the 30 days following transplant: (venous (n=64), arterial (n=11), both (n=15), without statistically significant differences between the SMA/SA anastomosis group and others. Regarding acute arterial events:(1) for the SMA/SA anastomosis group, a total of 24 patients presented with thrombosis (n=16), stenosis (n=5), pseudoaneurysm (n=2); (2) for the iliac “Y” graft group, there were 3 patients with thrombosis. Focusing on chronic arterial events:(1)for the SMA/SA anastomosis group, a total of 2 patients presented with chronic thrombosis, 2 with pseudoaneurysm, 2 with arterioenteral fistula and one with arteriovenous fistula;(2)for the iliac “Y” graft group, and one patient with arterioenteral fistula. After a median follow-up of 129.2 [77.2–182] months, no statically differences were found between SMA/SA anastomosis and iliac “Y” graft arterial reconstruction groups at 1, 3, 5 and 10 years in terms of patient and graft survival. Conclusions: The back table procedure used in our institution (SMA/SA) is an easy, effective and safe surgical technique that can be used as the first option for arterial reconstruction or as a good alternative for surgeons to the widely used arterial “Y” graft.Peer reviewe