Por favor, use este identificador para citar o enlazar este ítem:
http://cicese.repositorioinstitucional.mx/jspui/handle/1007/430| Inferencia lógica utilizando moléculas de ADN y desplazamiento de cadenas Logical inference using DNA molecules and strand displacement | |
| Fernando Guadalupe Razo Mendivil | |
| Israel Marck Martinez Perez | |
| Acceso Abierto | |
| Atribución | |
| biomolecular computing,DSD language,DNA molecules,Strand displacement,Propositional logic,Biocomputing,Logical inference,Inferencia lógica,Moléculas de ADN,Desplazamiento de cadenas,Lógica proposicional,Biocómputo,Cómputo biomolecular,Lenguaje DSD,PRIMS | |
| En esta tesis se presenta la creación de un modelo autónomo para la generación de inferencia lógica utilizando moléculas de ADN y desplazamiento de cadenas que permite utilizar las reglas básicas de la lógica proposicional. Los mecanismos diseñados incluyen las reglas modus ponens, modus tollens, silogismo hipotético, simplificación, adición, dilema constructivo y modus tollendo ponens; además de los principales conectivos lógicos: conjunción, disyunción y proposición condicional. Estas estructuras fueron diseñadas utilizando el lenguaje DSD y simuladas utilizando el simulador estocástico incluído en la herramienta Visual DSD, y posteriormente se analizaron sus propiedades a través de la herramienta PRISM. La generación de inferencia lógica posee un papel muy importante en el cómputo biomolecular, ya que permite brindar la capacidad de reacción a estímulos del ambiente a los dispositivos moleculares, con aplicaciones en áreas como la detección y tratamiento de enfermedades, terapia génica, ingeniería genética y formación de patrones, entre otras. In this thesis we present an autonomous biomolecular computing model based on strand displacement which is capable of performing logical operations with DNA molecules. The model implements most of the inference rules from propositional logic including modus ponens, modus tollens, hypothetic syllogism, simplification, addition, constructive dilemma and modus tollendo ponens; it also includes the most important logical connectors: conjunction, disjunction and conditional proposition. All structures were designed using DSD language, simulated using the Gillespie algorithm, and analyzed using PRISM Model Checker. The ability to implement logical inference is central to molecular programming as it grants molecular devices the advantage of reacting to the environmental stimuli. Potential applications of these devices could be found in detection and treatment of diseases, gene therapy, genetic engineering and pattern formation. | |
| CICESE | |
| 2014 | |
| Tesis de maestría | |
| Español | |
| Razo Mendivil,F.G.2014.Inferencia lógica utilizando moléculas de ADN y desplazamiento de cadenas.Tesis de Maestría en Ciencias. Centro de Investigación Científica y de Educación Superior de Ensenada, Baja California.xiv,151 pp. | |
| CIENCIA DE LOS ORDENADORES | |
| Aparece en las colecciones: | Tesis - Ciencias de la Computación |
Cargar archivos:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| 235341.pdf | Versión completa de la tesis | 3.33 MB | Adobe PDF | Visualizar/Abrir |