Modelagem e simulação de algoritmos paralelos baseados em operações com DNA
Autor(a) principal: | |
---|---|
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_ |
1810085098775642112 |