Modelagem e simulação de algoritmos paralelos baseados em operações com DNA

Detalhes bibliográficos
Autor(a) principal: Cervo, Leonardo Vieira
Data de Publicação: 2002
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFRGS
Texto Completo: http://hdl.handle.net/10183/10576
Resumo: A área de biologia computacional está vivendo um crescimento rápido causado pela revolução no estudo de genômas e pelo avanço das técnicas de manipulação do material genético. Com essas novas tecnologias para manipulação de seqüências, a importância de achar uma solução eficiente para os problemas chamados de intratáveis também cresceu, pois muitos problemas envolvidos na análise de DNA pertencem a essa classe de problemas. Uma abordagem para achar essas soluções é usar o próprio DNA para realizar computação, aproveitando o paralelismo massivo utilizado em operações que manipulam seqüências de DNA. Isto é estudado na área de computação com DNA. Esse trabalho propõe um modelo formal para representar a estrutura da molécula de DNA e das operações que são realizadas com ela em laboratório. Este modelo ajuda a preencher a necessidade de uma descrição matemática que possa ser usada para analisar algoritmos baseados em DNA, assim como possibilitar a simulaç~o desses algoritmos em um computador. Foi utilizada a teoria de gramáticas de grafos, uma linguagem de especificação formal, para modelar as seqüências de DNA e suas I operações. O trabalho apresenta um estudo da estrutura da molécula de DNA, deScrevendo suas características e as principais operações que são realizadas para sua manipulação em laboratório. Uma descrição da teoria de Gramática de Grafos e sua aplicação também é apresentada. Para validação do modelo proposto as especificações resultantes foram adaptadas para o formato L-systems, outra linguagem de especificação formal, permitindo realizar a simulação da especificação no ambiente L-Studio.
id URGS_a3d99a4fad2a548564b9cdb119e08e70
oai_identifier_str oai:www.lume.ufrgs.br:10183/10576
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str 1853
spelling Cervo, Leonardo VieiraRibeiro, Leila2007-09-01T05:11:01Z2002http://hdl.handle.net/10183/10576000383548A área de biologia computacional está vivendo um crescimento rápido causado pela revolução no estudo de genômas e pelo avanço das técnicas de manipulação do material genético. Com essas novas tecnologias para manipulação de seqüências, a importância de achar uma solução eficiente para os problemas chamados de intratáveis também cresceu, pois muitos problemas envolvidos na análise de DNA pertencem a essa classe de problemas. Uma abordagem para achar essas soluções é usar o próprio DNA para realizar computação, aproveitando o paralelismo massivo utilizado em operações que manipulam seqüências de DNA. Isto é estudado na área de computação com DNA. Esse trabalho propõe um modelo formal para representar a estrutura da molécula de DNA e das operações que são realizadas com ela em laboratório. Este modelo ajuda a preencher a necessidade de uma descrição matemática que possa ser usada para analisar algoritmos baseados em DNA, assim como possibilitar a simulaç~o desses algoritmos em um computador. Foi utilizada a teoria de gramáticas de grafos, uma linguagem de especificação formal, para modelar as seqüências de DNA e suas I operações. O trabalho apresenta um estudo da estrutura da molécula de DNA, deScrevendo suas características e as principais operações que são realizadas para sua manipulação em laboratório. Uma descrição da teoria de Gramática de Grafos e sua aplicação também é apresentada. Para validação do modelo proposto as especificações resultantes foram adaptadas para o formato L-systems, outra linguagem de especificação formal, permitindo realizar a simulação da especificação no ambiente L-Studio.The area of computational biology is living a fast growth, fed with a revolution in the study of genomes and with the advance in the techniques of genetic material manipulation. With these new technologies for manipulation of sequences, the relevance of finding efficient solution to the so-called computer intractable problems has also grown, because many problems involved in analyzing DNA belong to this class of problems. One approach to find such solutions is to use DNA itself to perform computations, taking advantage of the massive parallelism involved in operations that manipulate DNA sequences. This is what is studied in the area ofDNA computing. This work proposes a formal model to represent the DNA structure and the operations performed in laboratory with it. This model helps to fill the need of a mathematical description that can be used to analyze DNA-based algorithms, as well as for simulating such algorithms in a computer. We use graph grammars, a formal specification language, to model the DNA sequences and operations. The work presents a study of the DNA molecule structure, describing its features and the main operations performed for manipulation in laboratory. A description of the theory of Graph Grammars and its application are presented too. To validate the proposed model, the resulting DNA-graph grammar specifications are then translated into the L-systems format, another formal specification language, allowing for the simulation of the specifications using the L-Studio environment.application/pdfporBioinformáticaAlgoritmos paralelosDNAGramatica : GrafosGraph grammarsL-systemsDNA computingModelagem e simulação de algoritmos paralelos baseados em operações com DNADNA-Based modelling and simulation of parallel algorithms info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPrograma de Pós-Graduação em ComputaçãoPorto Alegre, BR-RS2002mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000383548.pdf000383548.pdfTexto completoapplication/pdf487807http://www.lume.ufrgs.br/bitstream/10183/10576/1/000383548.pdfc4a703517a1db7747499ee6c0b29e17dMD51TEXT000383548.pdf.txt000383548.pdf.txtExtracted Texttext/plain3445http://www.lume.ufrgs.br/bitstream/10183/10576/2/000383548.pdf.txt738cbc8d9ff5678f1ba6c31f6da15877MD52THUMBNAIL000383548.pdf.jpg000383548.pdf.jpgGenerated Thumbnailimage/jpeg1186http://www.lume.ufrgs.br/bitstream/10183/10576/3/000383548.pdf.jpgef7a45e3367b214294b619de435deaffMD5310183/105762018-10-17 08:36:22.604oai:www.lume.ufrgs.br:10183/10576Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532018-10-17T11:36:22Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Modelagem e simulação de algoritmos paralelos baseados em operações com DNA
dc.title.alternative.en.fl_str_mv DNA-Based modelling and simulation of parallel algorithms
title Modelagem e simulação de algoritmos paralelos baseados em operações com DNA
spellingShingle Modelagem e simulação de algoritmos paralelos baseados em operações com DNA
Cervo, Leonardo Vieira
Bioinformática
Algoritmos paralelos
DNA
Gramatica : Grafos
Graph grammars
L-systems
DNA computing
title_short Modelagem e simulação de algoritmos paralelos baseados em operações com DNA
title_full Modelagem e simulação de algoritmos paralelos baseados em operações com DNA
title_fullStr Modelagem e simulação de algoritmos paralelos baseados em operações com DNA
title_full_unstemmed Modelagem e simulação de algoritmos paralelos baseados em operações com DNA
title_sort Modelagem e simulação de algoritmos paralelos baseados em operações com DNA
author Cervo, Leonardo Vieira
author_facet Cervo, Leonardo Vieira
author_role author
dc.contributor.author.fl_str_mv Cervo, Leonardo Vieira
dc.contributor.advisor1.fl_str_mv Ribeiro, Leila
contributor_str_mv Ribeiro, Leila
dc.subject.por.fl_str_mv Bioinformática
Algoritmos paralelos
DNA
Gramatica : Grafos
topic Bioinformática
Algoritmos paralelos
DNA
Gramatica : Grafos
Graph grammars
L-systems
DNA computing
dc.subject.eng.fl_str_mv Graph grammars
L-systems
DNA computing
description A área de biologia computacional está vivendo um crescimento rápido causado pela revolução no estudo de genômas e pelo avanço das técnicas de manipulação do material genético. Com essas novas tecnologias para manipulação de seqüências, a importância de achar uma solução eficiente para os problemas chamados de intratáveis também cresceu, pois muitos problemas envolvidos na análise de DNA pertencem a essa classe de problemas. Uma abordagem para achar essas soluções é usar o próprio DNA para realizar computação, aproveitando o paralelismo massivo utilizado em operações que manipulam seqüências de DNA. Isto é estudado na área de computação com DNA. Esse trabalho propõe um modelo formal para representar a estrutura da molécula de DNA e das operações que são realizadas com ela em laboratório. Este modelo ajuda a preencher a necessidade de uma descrição matemática que possa ser usada para analisar algoritmos baseados em DNA, assim como possibilitar a simulaç~o desses algoritmos em um computador. Foi utilizada a teoria de gramáticas de grafos, uma linguagem de especificação formal, para modelar as seqüências de DNA e suas I operações. O trabalho apresenta um estudo da estrutura da molécula de DNA, deScrevendo suas características e as principais operações que são realizadas para sua manipulação em laboratório. Uma descrição da teoria de Gramática de Grafos e sua aplicação também é apresentada. Para validação do modelo proposto as especificações resultantes foram adaptadas para o formato L-systems, outra linguagem de especificação formal, permitindo realizar a simulação da especificação no ambiente L-Studio.
publishDate 2002
dc.date.issued.fl_str_mv 2002
dc.date.accessioned.fl_str_mv 2007-09-01T05:11:01Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/10576
dc.identifier.nrb.pt_BR.fl_str_mv 000383548
url http://hdl.handle.net/10183/10576
identifier_str_mv 000383548
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/10576/1/000383548.pdf
http://www.lume.ufrgs.br/bitstream/10183/10576/2/000383548.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/10576/3/000383548.pdf.jpg
bitstream.checksum.fl_str_mv c4a703517a1db7747499ee6c0b29e17d
738cbc8d9ff5678f1ba6c31f6da15877
ef7a45e3367b214294b619de435deaff
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1800308950019604480

Registros relacionados