An Approach to Computational Complexity in Membrane Computing

In this paper we present a theory of computational complexity in the framework of membrane computing. Polynomial complexity classes in recognizer membrane systems and capturing the classical deterministic and non-deterministic modes of computation, are introduced. In this context, a characterization of the relation P = NP is described.Ministerio de Ciencia y Tecnología TIC2002-04220-C03-0

The role of integral membrane proteins in computational complexity theory

In the framework of Membrane Computing, several tools to tackle the P versus NP problems by means of frontiers of the efficiency expressed in terms of syntactic or semantic ingredients, have been developed. In this paper, an overview of the results in computational complexity theory concerning to membrane systems (tissuelike and cell-like approach) with symport/antiport rules (where objects are transported without evolving), is given. The frontiers are formulated regarding the length of communication rules, the kind of rules implementing the production of an exponential number of cells/membranes in polynomial time, and the role of the environment. An interesting remark of the obtained results refers that the underlying structure to membrane systems (directed graph versus rooted tree) does not matter in this context.Ministerio de Economía, Industria y Competitividad TIN2017-89842-P (MABICAP)National Natural Science Foundation of China No. 6132010600

The use of a complexity model to facilitate in the selection of a fuel cell assembly sequence

Various tools and methods exists for arriving at an optimised assembly sequence with most using a soft computing approach. However, these methods have issues including susceptibly to early convergence and high computational time. The typical objectives for these methods are to minimise the number of assembly change directions, orientation changes or the number of tool changes. This research proposes an alternative approach whereby an assembly sequence is measured based on its complexity. The complexity value is generated using design for assembly metrics and coupled with considerations for product performance, component precedence and material handling challenges to arrive at a sequence solution which is likely to be closest to the optimum for cost and product quality. The case presented in this study is of the assembly of a single proton exchange membrane fuel cell. This research demonstrates a practical approach for determining assembly sequence using data and tools that are used and available in the wider industry. Further work includes automating the sequence generation process and extending the work by considering additional factors such as ergonomi

The Use of a Complexity Model to Facilitate in the Selection of a Fuel Cell Assembly Sequence

Various tools and methods exists for arriving at an optimised assembly sequence with most using a soft computing approach. However, these methods have issues including susceptibly to early convergence and high computational time. The typical objectives for these methods are to minimise the number of assembly change directions, orientation changes or the number of tool changes. This research proposes an alternative approach whereby an assembly sequence is measured based on its complexity. The complexity value is generated using design for assembly metrics and coupled with considerations for product performance, component precedence and material handling challenges to arrive at a sequence solution which is likely to be closest to the optimum for cost and product quality. The case presented in this study is of the assembly of a single proton exchange membrane fuel cell. This research demonstrates a practical approach for determining assembly sequence using data and tools that are used and available in the wider industry. Further work includes automating the sequence generation process and extending the work by considering additional factors such as ergonomics

A Framework for Complexity Classes in Membrane Computing

The purpose of the present work is to give a general idea about the existing results and open problems concerning the study of complexity classes within the membrane computing framework. To this aim, membrane systems (seen as computing devices) are briefly introduced, providing the basic definition and summarizing the key ideas, trying to cover the various approaches that are under investigation in this area – of course, special attention is paid to the study of complexity classes. The paper concludes with some final remarks that hint the reasons why this field (as well as other unconventional models of computation) is attracting the attention of a growing community.Ministerio de Educación y Ciencia TIN2005-09345-C04-01Junta de Andalucía TIC-58

MOLNs: A cloud platform for interactive, reproducible and scalable spatial stochastic computational experiments in systems biology using PyURDME

Computational experiments using spatial stochastic simulations have led to important new biological insights, but they require specialized tools, a complex software stack, as well as large and scalable compute and data analysis resources due to the large computational cost associated with Monte Carlo computational workflows. The complexity of setting up and managing a large-scale distributed computation environment to support productive and reproducible modeling can be prohibitive for practitioners in systems biology. This results in a barrier to the adoption of spatial stochastic simulation tools, effectively limiting the type of biological questions addressed by quantitative modeling. In this paper, we present PyURDME, a new, user-friendly spatial modeling and simulation package, and MOLNs, a cloud computing appliance for distributed simulation of stochastic reaction-diffusion models. MOLNs is based on IPython and provides an interactive programming platform for development of sharable and reproducible distributed parallel computational experiments

Managing Service-Heterogeneity using Osmotic Computing

Computational resource provisioning that is closer to a user is becoming increasingly important, with a rise in the number of devices making continuous service requests and with the significant recent take up of latency-sensitive applications, such as streaming and real-time data processing. Fog computing provides a solution to such types of applications by bridging the gap between the user and public/private cloud infrastructure via the inclusion of a "fog" layer. Such approach is capable of reducing the overall processing latency, but the issues of redundancy, cost-effectiveness in utilizing such computing infrastructure and handling services on the basis of a difference in their characteristics remain. This difference in characteristics of services because of variations in the requirement of computational resources and processes is termed as service heterogeneity. A potential solution to these issues is the use of Osmotic Computing -- a recently introduced paradigm that allows division of services on the basis of their resource usage, based on parameters such as energy, load, processing time on a data center vs. a network edge resource. Service provisioning can then be divided across different layers of a computational infrastructure, from edge devices, in-transit nodes, and a data center, and supported through an Osmotic software layer. In this paper, a fitness-based Osmosis algorithm is proposed to provide support for osmotic computing by making more effective use of existing Fog server resources. The proposed approach is capable of efficiently distributing and allocating services by following the principle of osmosis. The results are presented using numerical simulations demonstrating gains in terms of lower allocation time and a higher probability of services being handled with high resource utilization.Comment: 7 pages, 4 Figures, International Conference on Communication, Management and Information Technology (ICCMIT 2017), At Warsaw, Poland, 3-5 April 2017, http://www.iccmit.net/ (Best Paper Award

A Process Algebraical Approach to Modelling Compartmentalized Biological Systems

This paper introduces Protein Calculus, a special modeling language designed for encoding and calculating the behaviors of compartmentilized biological systems. The formalism combines, in a unified framework, two successful computational paradigms - process algebras and membrane systems. The goal of Protein Calculus is to provide a formal tool for transforming collected information from in vivo experiments into coded definition of the different types of proteins, complexes of proteins, and membrane-organized systems of such entities. Using this encoded information as input, our calculus computes, in silico, the possible behaviors of a living system. This is the preliminary version of a paper that was published in Proceedings of International Conference of Computational Methods in Sciences and Engineering (ICCMSE), American Institute of Physics, AIP Proceedings, N 2: 642-646, 2007 (http://scitation.aip.org/dbt/dbt.jsp?KEY=APCPCS&Volume=963&Issue=2)