Please use this identifier to cite or link to this item:
https://ptsldigital.ukm.my/jspui/handle/123456789/513467Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | Abdullah Mohd. Zin, Prof. Dr. | |
| dc.contributor.author | Ravie Chandren Muniyandi (P42113) | |
| dc.date.accessioned | 2023-10-16T04:37:00Z | - |
| dc.date.available | 2023-10-16T04:37:00Z | - |
| dc.date.issued | 2011-06-10 | |
| dc.identifier.other | ukmvital:74354 | |
| dc.identifier.uri | https://ptsldigital.ukm.my/jspui/handle/123456789/513467 | - |
| dc.description | Membrane computing is an area of computer science that conceptualise computing ideas and models from the structure and functioning of cells. It operates with distributed and parallel computing systems in which multisets of objects that encapsulated in compartments delimited by membranes evolve according to evolution rules. There are keen interests to use membrane computing to model biological systems since it able to characterise the biological elements and offers the development of modular and scalable design which are ignored in traditional mathematical models such as ordinary differential equation (ODE). However the inadequate procedures to employ formal method such as membrane computing in modelling and verifying biological systems have discouraged biologists to utilise such methods to counter limitations in ODE. In order to address this issue, this research develops a framework to model and verify biological systems by using membrane computing. Modelling, verifying and validating approaches in membrane computing are investigated to develop the framework. Two case studies of biological systems, the Prey Predator Population and the Signal Processing in the Ligand-Receptor Networks of protein TGF-β that have been modelled in ODE are used to study the modelling, verifying and validating approaches of membrane computing. The biological systems are transformed from ODE into discrete system to model with membrane computing. The membrane computing model of these case studies is verified with membrane computing simulating strategies. The Gillespie algorithm is a better approach to provide a stochastic simulation strategy to verify the membrane computing model and shows that the membrane computing model is not only able to produce the result generated by ODE but also sustain the discrete and stochastic behaviour of biological systems. Probabilistic Symbolic Model Checker is used to complement membrane computing model by validating the properties of the system. The study demonstrate that the non-determinism and stochastic behaviour of membrane computing is capable in preserving the properties of the biological system. The framework of modelling and verifying biological systems with membrane computing is developed based on the experience and knowledge gained from the investigations. A proper modelling, verifying and validating approach are specified in the framework. Subsequently, the framework is evaluated with a case study, Hormone-induced Calcium Oscillation in Liver Cells. This evaluation shows that, the proposed framework is capable of providing the modelling and verifying techniques that are closer to the knowledge and understanding of biologists and to meet the requirements and properties of a biological system. The framework could also act as preliminary guideline to further develop the proposed mechanism to equip other characteristics or to improve some of the processes in the framework to model or to verify bigger and more complex biological systems.,Ph.D | |
| dc.language.iso | eng | |
| dc.publisher | UKM, Bangi | |
| dc.relation | Faculty of Information Science and Technology / Fakulti Teknologi dan Sains Maklumat | |
| dc.rights | UKM | |
| dc.subject | Framework | |
| dc.subject | Modeling and verifying | |
| dc.subject | Membrane computing | |
| dc.subject | Biological systems | |
| dc.subject | Molecular computers | |
| dc.title | A framework for modeling and verifying membrane computing of biological systems | |
| dc.type | Theses | |
| dc.format.pages | 277 | |
| dc.identifier.callno | QA76.887.R348 2011 | |
| dc.identifier.barcode | 000418 | |
| Appears in Collections: | Faculty of Information Science and Technology / Fakulti Teknologi dan Sains Maklumat | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| ukmvital_74354+Source01+Source010.PDF Restricted Access | 2.75 MB | Adobe PDF |  View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.