Keywords:
Natural computation-Congresses.
;
Electronic books.
Type of Medium:
Online Resource
Pages:
1 online resource (541 pages)
Edition:
1st ed.
ISBN:
9789811036118
Series Statement:
Communications in Computer and Information Science Series ; v.681
URL:
https://ebookcentral.proquest.com/lib/geomar/detail.action?docID=6302780
DDC:
006
Language:
English
Note:
Intro -- Preface -- Organization -- Contents - Part I -- Contents -- Part II -- DNA Computing -- DNA Self-assembly Model to Solve Compound Logic Operators Problem -- 1 Introduction -- 2 The Principle of DNA Self-assembly -- 3 Compound Logic Operators -- 4 Theoretical Model of Compound Logic Operators -- 4.1 Initial Tile -- 4.2 Process Tile -- 4.3 Operation Tile -- 4.4 End Tile -- 4.5 Boundary Tile -- 5 The Model Instance of Compound Logic Operators -- 6 Conclusions -- References -- Model Checking Computational Tree Logic Using Sticker Automata -- 1 Introduction -- 2 Preliminary -- 2.1 The Basic Constructs in CTL 1 -- 2.2 Finite State Automata and Model Checking -- 2.3 Sticker Automata and DNA Model Checking -- 3 The DNA Model Checking Method for the Basic CTL Constructs -- 3.1 The DNA Model Checking for the Four Universal Formulas -- 3.2 The DNA Model Checking for the Four Existence Formulas -- 3.3 The DNA Model Checking for the Basic CTL Constructs -- 4 Simulated Experiments -- 5 Conclusions -- References -- Two-Digit Full Subtractor Logical Operation Based on DNA Strand Displacement -- 1 Introduction -- 2 DSD and Seesaw Motif of Basic Gates -- 3 Binary Two-Digit Subtractor and Dual-Rail Circuit -- 4 Seesaw Circuit and Simulation in Visual DSD -- 5 Conclusion -- References -- One-Bit Full Adder-Full Subtractor Logical Operation Based on DNA Strand Displacement -- 1 Introduction -- 2 The Background of DNA Strand Displacement -- 3 The Digit Circuit and Dual-rail Circuit -- 4 Seesaw Circuit and Simulation with Visual DSD -- 5 Conclusion -- References -- Logic Gate Based on Circular DNA Structure with Strand Displacement -- 1 Introduction -- 2 Design and Construction of Logic Gate Model -- 2.1 Principle of the Proposed Method: XOR Gate -- 2.2 Principle of the Proposed Method: AND Gate -- 3 Result and Discussion -- 4 Conclusions -- References.
,
The Working Operation Problem Based on Probe Machine Model -- 1 Introduction -- 2 The Probe Computing Principles -- 3 The Working Operation Problem Description -- 4 Conclusion -- References -- Matrix Flat Splicing Systems -- 1 Introduction -- 2 Preliminaries -- 3 Matrix Flat Splicing System -- 4 Application to Chain-Code Pictures -- 5 Conclusions and Discussions -- References -- A Universal Platform for Building DNA Logic Circuits -- 1 Introduction -- 2 Design and Construction of Half-adder and Half-subtract Model -- 2.1 Materials and Analysis -- 2.2 Design of Half-adder -- 2.3 Design of Half-subtract -- 3 Result and Discussion -- 4 Conclusions -- References -- Membrane Computing -- A Hybrid ``Fast-Slow'' Convergent Framework for Genetic Algorithm Inspired by Membrane Computing -- 1 Introduction -- 2 Related Technologies -- 2.1 Genetic Algorithm -- 2.2 Membrane Computing Inspired Algorithm -- 3 The Model and Data Experiments -- 3.1 GA Program -- 3.2 Membrane Structure -- 3.3 Data Experiments -- 4 Conclusion -- References -- An Image Threshold Segmentation Algorithm with Hybrid Evolutionary Mechanisms Based on Membrane Computing -- 1 Introduction -- 2 Principle of Threshold Images Segmentation -- 3 Threshold Segmentation Membrane Algorithm -- 3.1 Object of the Tissue-Link Membrane System -- 3.2 Hybrid Evolutionary Rule and Communication Rules -- 4 Experiment Analysis -- 4.1 Data Sets Used in the Experiments -- 4.2 Parameter Configuration in Experiments -- 4.3 Algorithm Analysis and Comparison -- 5 Conclusion -- References -- K-Medoids-Based Consensus Clustering Based on Cell-Like P Systems with Promoters and Inhibitors -- 1 Introduction -- 2 Preliminaries -- 2.1 The K-Medoids Algorithm -- 2.2 The Consensus Clustering -- 2.3 Cell-like P System with Promoters and Inhibitors.
,
3 The K-Medoids-Based Consensus Clustering Based on Cell-like P Systems with Promoters and Inhibitors -- 3.1 The Cell-like P System for CPPI-KMCC -- 3.2 Time Complexity Analysis -- 4 Experiments and Analysis -- 5 Conclusions -- References -- Fault Classification of Power Transmission Lines Using Fuzzy Reasoning Spiking Neural P Systems -- 1 Introduction -- 2 Fault Classification with FRSNPS -- 2.1 Fuzzy Production Rules of Fault Classification -- 2.2 Fault Classification Models -- 3 Experiments -- 4 Conclusions -- References -- Membrane Algorithm with Genetic Operation and VRPTW-Based Public Optimization System -- 1 Introduction -- 2 Definition and Mathematical Mode for VRPTW -- 2.1 Definition for VRPTW -- 2.2 Mathematical Model for VRPTW -- 3 Membrane Algorithm with GA Evolution Machanism -- 3.1 Membrane Configuration of MGA -- 3.2 Coding for Objects -- 3.3 The Rules in Membranes -- 3.4 Transportation Mechanism of MGA -- 3.5 Termination Condition and Output -- 4 Application of MGA in VRPTW -- 5 Simulation Experiment -- 5.1 Results for Parameters Tuning -- 5.2 Analysis of Experiment Results for Different Scales -- 6 Conclusion -- References -- An Immune Algorithm Based on P System for Classification -- 1 Introduction -- 2 Related Works -- 2.1 Cell-Like P System -- 2.2 Negative Selection -- 3 NS for Classification -- 3.1 Definition -- 3.2 Rule Set -- 3.3 Algorithm Implementation -- 3.4 Analyses -- 4 Conclusion -- References -- Simulation of Fuzzy ACSH on Membranes with Michaelis-Menten Kinetics -- 1 Introduction -- 2 Preliminaries -- 2.1 Kinetic Studies of the Sulfoxidation Reactions -- 2.2 P System with Proteins on Membranes -- 2.3 Fuzzy Artificial Cell System with Proteins on Membranes -- 3 Simulation of FACSP -- 3.1 FACSP in Oxidation of Sulfides -- 3.2 Behaviour of FACSP -- 3.3 Mathematical Modeling and Simulation of FACSP -- 4 Conclusion.
,
References -- A Family P System of Realizing RSA Algorithm -- 1 Introduction -- 2 RSA Algorithm -- 3 Design of the P System -- 3.1 The Definition of the RSA P System -- 3.2 Key Generation Membrane A2 -- 3.3 Encryption and Decryption Membrane A3 -- 3.4 Skin Membrane A1 -- 4 Instance -- 4.1 Key Generation -- 4.2 Encryption and Decryption -- 5 Conclusions -- References -- A General Object-Oriented Description for Membrane Computing -- 1 Introduction -- 2 Preliminaries -- 3 The Object-Oriented Description of Membrane Computing -- 4 The Data Structure of Membrane Computing -- 5 An Object-Oriented Static Model of Membrane Computing -- 6 Object-Oriented Dynamic Model of Membrane Computing -- 6.1 The Activity Diagram -- 6.2 The Sequence Diagrams -- 6.3 The Use-Case Diagram -- 7 Conclusion and Discussion -- References -- Matrix Representation of Parallel Computation for Spiking Neural P Systems -- 1 Introduction -- 2 SN P Systems -- 3 Matrix Representation of SN P Systems with Delay -- 4 Two Illustration Examples -- 5 Conclusions and Future Work -- References -- The Computational Power of Array P System with Mate Operation -- 1 Introduction -- 2 Preliminaries -- 2.1 Array P System [10] -- 2.2 Mate Operation [3] -- 3 Array P System with Mate Operation -- 3.1 Definition -- 3.2 Example -- 3.3 Theorem -- 4 Closure Properties -- 4.1 Theorem -- 4.2 Theorem -- 5 Generative Power -- 5.1 Theorem -- 5.2 Theorem -- 5.3 Theorem -- 5.4 Definition -- 5.5 Theorem -- 6 Conclusion -- References -- The Computational Power of Watson-Crick Grammars: Revisited -- 1 Introduction -- 2 Preliminaries -- 3 The Computational Power -- 4 Conclusions -- References -- An Improvement of Small Universal Spiking Neural P Systems with Anti-Spikes -- 1 Introduction -- 2 Prerequisites -- 2.1 Universal Register Machine -- 2.2 Spiking Neural P Systems with Anti-Spikes.
,
3 A Small Universal SN P System with Anti-Spike -- 3.1 The Structure of Neuron state -- 3.2 The Structure of Auxiliary Neurons a -- 4 Proof and Conclusion -- 4.1 Module ADD (Simulating li:(ADD(r),lj,lk)) -- 4.2 Module SUB (Simulating li:(SUB(r),lj,lk)) -- 4.3 Module OUTPUT -- 5 Conclusions and Remark -- References -- The Implementation of Membrane Clustering Algorithm Based on FPGA -- 1 Introduction -- 2 Membrane Clustering Algorithm -- 2.1 Structure of Membrane Clustering Algorithm -- 2.2 Object Representation in the Structure of the Membrane Clustering Algorithm -- 2.3 Learning Algorithm -- 3 Parallel Implementation of the Membrane Clustering Algorithm on FPGA -- 3.1 FPGA Parallel Computing Principle -- 3.2 Implementation Process of Membrane Clustering Algorithm on FPGA -- 3.3 Implementation Program Module Partitioning of Membrane Clustering Algorithm on FPGA -- 4 Experiment Results and Analysis -- 5 Conclusions -- References -- Tools and Simulators for Membrane Computing-A Literature Review -- 1 Introduction -- 2 Classification of Membrane Computing Tools -- 3 P System Tools that are Specific to a Particular Application or Type -- 3.1 Membrane Computing in Prolog -- 3.2 On a LISP Implementation of a Class of P Systems -- 3.3 Membrane Simulator -- 3.4 A CLIPS Simulator for Recognizer P Systems with Active Membranes -- 3.5 A MzScheme Implementation of Transition P Systems -- 3.6 Simulation of Transition P System Using Haskell -- 3.7 Distributed Simulator for Transition P System -- 3.8 SubLP-Studio -- 3.9 A Prolog Simulator for Deterministic P Systems with Active Membranes -- 3.10 Modelling Biological Processes by Using a Probabilistic P System Software -- 3.11 P Systems Running on a Cluster of Computers -- 3.12 SimCM -- 3.13 Conformon P System -- 3.14 Simulator for Confluent P Systems -- 3.15 Simulator for Dynamical Probabilistic P System.
,
3.16 Tissue Simulator: Tissue Based P System.
Permalink