FundaÃÃo de Amparo à Pesquisa e ao Desenvolvimento CientÃfico e TecnolÃgico do MaranhÃo / Cloud Computing has been established in recent years as an important area of research. This paradigm has been consolidated, since tasks such as obtaining, handling, sharing and exploitation of large amounts of data are becoming increasingly common, requiring many computing resources. Considering this context, cloud computing can help providing these resources indefinitely, including memory, processing, storage and others, all of them for immediate use. The provision of cloud services involves several complex tasks. To increase the user satisfaction, these tasks need to consider issues relevant to them, in addition to the providers' policies. In order to define a flexible process for specification and procurement of services in clouds from the hardware and software requirements of users, this work proposes an approach that uses a virtual environment model containing all the relevant information to provide a personalized service. Another key challenge for cloud computing is related to the services quality control. This aspect may be directly affected by resource utilization. Thus, the use of automated mechanisms to provide services, monitoring resources, as well the quality of services also helps to increase the level of customer satisfaction, creating an environment less susceptible to errors for the administrators. Besides the aspects of hardware and software, the virtual environment model will contain the quality of service attributes, having been set an automated negotiation process that occurs concomitantly with the procurement service process. Thus, this approach will be able to automatically deliver infrastructure, platform and software as a service from the user's specific requirements. / A ComputaÃÃo em Nuvem foi estabelecida nos Ãltimos anos como uma importante Ãrea de pesquisa. Este paradigma tem se consolidado, pois, atualmente, tarefas como a obtenÃÃo, manipulaÃÃo, compartilhamento e exploraÃÃo de grandes quantidades de dados sÃo cada vez mais comuns, exigindo muitos recursos computacionais. Dentro deste contexto, a computaÃÃo em nuvem pode contribuir, pois pode fornecer estes recursos indefinidamente, incluindo memÃria, processamento, armazenamento entre outros, todos para uso imediato. A provisÃo de serviÃos em nuvens envolve vÃrias tarefas complexas. Para elevar a satisfaÃÃo dos usuÃrios, estas tarefas precisam considerar aspectos relevantes para eles, alÃm das polÃticas particulares dos provedores. Desta forma, com o objetivo de definir um processo flexÃvel para a especificaÃÃo e aquisiÃÃo de serviÃos nas nuvens, este trabalho propÃe uma abordagem que utiliza um modelo de ambiente virtual contendo todas as informaÃÃes relevantes para criaÃÃo de um serviÃo personalizado a partir dos requisitos de hardware e software do usuÃrio. Outro desafio importante para a computaÃÃo em nuvem està relacionado com o controle de qualidade dos serviÃos prestados, sendo que esta pode ser diretamente afetada pela utilizaÃÃo dos recursos. Sendo assim, a utilizaÃÃo de mecanismos automatizados para gerar serviÃos, monitorar os recursos e a qualidade dos serviÃos tambÃm contribui para incrementar o nÃvel de satisfaÃÃo dos clientes, alÃm de criar um ambiente menos suscetÃvel a erros para os administradores. AlÃm dos aspectos de hardware e software, o modelo de ambiente conterà os atributos de qualidade do serviÃo, tendo sido definido um processo de negociaÃÃo automatizado que ocorre concomitante ao processo de contrataÃÃo do serviÃo. Assim, esta abordagem serà capaz de entregar automaticamente infraestrutura, plataforma e software como serviÃo a partir dos requisitos especÃficos do usuÃrio.

nÃo hà / Sistemas Gerenciadores de Bancos de Dados (SGBDs) permitem especificar comandos, por meio de linguagens declarativas de alto nÃvel, como SQL Structured Query Language), por exemplo, com a finalidade de executar diferentes operaÃÃes sobre os dados armazenados (consultas, atualizaÃÃes, inserÃÃes e remoÃÃes). O otimizador de consultas à o mÃdulo do SGBD responsÃvel por escolher um plano de execuÃÃo eficiente para cada comando SQL a ser executado. Para este propÃsito, os otimizadores procuram, em um grande espaÃo de busca, o plano de execuÃÃo que proporcione o menor tempo de resposta. Dois comandos SQL sÃo considerados equivalentes se retornarem os mesmos resultados. Uma vez que a sintaxe de um comando SQL influencia a escolha do plano de execuÃÃo, o otimizador pode produzir planos de execuÃÃo distintos para comandos SQL equivalentes. Consequentemente, comandos SQL equivalentes podem apresentar tempos de resposta diferentes. Este fato decorre das operaÃÃes utilizadas em cada comando SQL (ordenaÃÃes, agregaÃÃes, remoÃÃo da valores duplicados, utilizaÃÃo de tabelas temporÃrias, subconsultas, dentre outras). Neste cenÃrio, mesmo usando mÃtodos de acesso e estratÃgias de avaliaÃÃao suportadas pelo SGBD, Ãs vezes, os otimizadores nÃo conseguem produzir planos Ãtimos. Nestes casos, deve ser realizado o ajuste (ou sintonia) do comando SQL. Para isso, em geral, duas estratÃgias sÃo frequentemente utilizadas: (a) reescrever o comando SQL; e (b) aplicar Query Hinting. A tÃcnica de reescrita consiste em escrever um novo comando SQL, equivalente ao comando SQL original, mas que apresente um tempo de resposta menor. Entretanto, o processo de reescrita de comandos SQL Ãcomplexo e requer bastante conhecimento em diferentes Ãreas, tais como: (i) otimizaÃÃo de consultas, execuÃÃo de operadores de planos de consultas, configuraÃÃo de parÃmetros e outros aspectos internos dos bancos de dados; (ii) identificaÃÃo de Ãndices necessÃrios e outras eâstruturas de acesso; (iii) manutenÃÃo de estatÃsticas sobre os dados; e (iv) caracterÃsticas dos sistemas de armazenamento de dados. Este trabalho propÃe duas abordagens distintas para suportar a reescrita de comandos SQL em bancos de dados relacionais: uma abordagem assistida e outra automÃtica. As duas abordagens propostas utilizam um conjunto de heurÃsticas para realizar a reescrita dos comandos SQL. As heurÃsticas sÃo constituÃdas de regras que visam identificar oportunidades de sintonia nos comandos SQL. Com o objetivo de avaliar a eficiÃncia das abordagens propostas uma avaliaÃÃo experimental foi realizada. Os experimentos foram conduzidos em trs diferentes cenÃrios: i) com o benchmark TPC-H, ii) com a base de dados do TPC-H e uma carga de trabalho sintÃtica e iii) com a base de dados do sistema SIG e uma carga de trabalho sintÃtica. Para cada cenÃrio, trÃs SGBDs foram avaliados: PostgreSQL, Oracle e SQL Server. Os resultados dos testes realizados mostram que tanto a abordagem assistida quanto a automÃtica proporcionaram ganhos de desempenho, reduzindo o tempo de resposta das cargas de trabalho avaliadas.

FundaÃÃo Cearense de Apoio ao Desenvolvimento Cientifico e TecnolÃgico / In this work, we studied the recent theory of convergent graph sequences and its extensions to permutation and partially ordered sets with fix dimension. Weâve conjectured a lemma of weak regularity on intervals that, if this conjecture is true, we can extend this theory to ordered graphs, which are graphs such that there is a total order on its vertices. We show some interesting relations on permutation and partially ordered sets with ordered graphs. Then, we obtain another proof to the existence of limit objects for all convergent permutation sequences. We also proved that all hereditary property of either permutation or ordered graph is testable. / Neste trabalho, estudamos a teoria recente de convergÃncia de sequÃncias de grafos e suas extensÃes para permutaÃÃes e ordens parciais de dimensÃo fixa. Conjecturamos um lema de regularidade fraca de grafos em intervalos que, se for verdadeira, nos possibilita estender essa teoria para grafos ordenados, que sÃo grafos tais que existe uma ordem total entre os vÃrtices. Mostramos algumas relaÃÃes interessantes de permutaÃÃes e ordens parciais com grafos ordenados. Com isso, conseguimos uma prova alternativa para a existÃncia de objetos limites de qualquer sequÃncia convergente de permutaÃÃes. Provamos tambÃm que toda propriedade hereditÃria de permutaÃÃes ou grafos ordenados à testÃvel.

Submitted by admin admin (admin@admin.n) on 2017-06-07T13:56:29Z No. of bitstreams: 1 rucker_ware_tetralogy_cc2010.pdf: 2120439 bytes, checksum: 6d3d589bde3643906bd56d2041b832cc (MD5) / Made available in DSpace on 2017-06-07T13:56:29Z (GMT). No. of bitstreams: 1 rucker_ware_tetralogy_cc2010.pdf: 2120439 bytes, checksum: 6d3d589bde3643906bd56d2041b832cc (MD5) Previous issue date: 2017-06-07 / eueueaoeuaouaoeuaoeu / aoeuaeou

Submitted by admin admin (admin@admin.n) on 2017-05-29T13:40:24Z No. of bitstreams: 1 mysql-tutorial-excerpt-5.5-en.pdf: 196134 bytes, checksum: b70a6c8098b88d4fd210eab81596fec0 (MD5) / Made available in DSpace on 2017-05-29T13:40:25Z (GMT). No. of bitstreams: 1 mysql-tutorial-excerpt-5.5-en.pdf: 196134 bytes, checksum: b70a6c8098b88d4fd210eab81596fec0 (MD5) Previous issue date: 2017-05-29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / akekaeuk / kaeukeuk

Submitted by admin admin (admin@admin.n) on 2017-05-31T12:02:08Z No. of bitstreams: 1 mysql-tutorial-excerpt-5.5-en.pdf: 196134 bytes, checksum: b70a6c8098b88d4fd210eab81596fec0 (MD5) / Made available in DSpace on 2017-05-31T12:02:09Z (GMT). No. of bitstreams: 1 mysql-tutorial-excerpt-5.5-en.pdf: 196134 bytes, checksum: b70a6c8098b88d4fd210eab81596fec0 (MD5) Previous issue date: 2017-05-31 / aaooeeuu / aaooeeuu

Métodos de docking receptor-ligante são métodos computacionais para a identificação do modo de ligação de moléculas candidatas a fármacos, no sítio ativo de proteínas consideradas como alvos moleculares para o tratamento quimioterápico de doenças. Estes métodos são uma parte importante no Desenho Racional de Fármacos Baseado em Estruturas e possuem grande potencial para auxiliar na descoberta de novos medicamentos. Entretanto, a necessidade da inclusão dos graus de liberdade conformacionais relacionados à flexibilidade molecular, torna o problema de docking complexo e difícil de se resolver computacionalmente. Por outro lado, algoritmos genéticos são métodos computacionais estocásticos inspirados na teoria da evolução de Darwin, que têm sido aplicados com sucesso à uma grande variedade de problemas complexos em ciência e engenharia. O desenvolvimento de métodos de docking mais eficientes e com maior capacidade de predição constitui atualmente uma área de pesquisa altamente ativa. Neste trabalho, foram implementadas e analisadas várias estratégias em algoritmos genéticos (AG's) para o problema de docking receptor-ligante. Uma nova técnica para a preservação de múltiplas soluções foi desenvolvida. O método proposto é baseado na técnica de Seleção por Torneio Restrito (RTS) e tem como objetivo favorecer a preservação dos "nichos" e soluções de melhor qualidade na população. Os métodos implementados foram testados em estudos de "re-docking" e "cross-docking" de inibidores da enzima HIV-1 protease com alto grau de flexibilidade conformacional. Os resultados obtidos mostram que a utilização de técnicas de múltiplas soluções que permitem a preservação de diversidade "útil" podem ser uma ferramenta poderosa no "docking" de ligantes altamente flexíveis, geralmente associados à hipersuperfícies de energia complexas. Estas estratégias aumentam a probabilidade de se encontrar soluções próximas das estruturas determinadas experimentalmente, além de permitir a determinação e posterior investigação de distintos modos de ligação ligante-receptor.

Neste trabalho foi realizado um estudo de estrat egias de paraleliza c~ao para m etodos que resolvem numericamente a equa c~ao de transporte de n^eutrons em dom nio unidimensional, monoenerg etica, estacion aria, com espalhamento isotr opico, em meio homog^eneo e com uma fonte xa. Foram estudados o Source Iteration, Diffusion Synthetic Acceleration, Coarse Mesh Finite Di erences e o M etodo Anal tico de Ordenadas Discretas. As vers~oes paralelas, desenvolvidas utilizando OpenMP, foram obtidas a partir das vers~oes sequenciais dos c odigos, implementadas em Fortran 95. O objetivo deste trabalho e escrever vers~oes paralelas que sejam executadas em menor tempo de que as vers~oes sequenciais, pelo menos a partir de algum tamanho de problema. Ganhos de tempo para os m etodos Source Iteration, Di usion Synthetic Acceleration e Coarse Mesh Finite Di erences foram relatados em torno de 20% para problemas heterog^eneos, chegando a registrar ganhos de mais de 50% em problemas homog^eneos. A vers~ao paralela do m etodo anal tico de ordenadas discretas chegou a apresentar 88% de ganho, registrando um speedup superlinear para um problema homog^eneo. / This work is a study about parallelization strategies for methods that numerically solve the neutron transport equation, for an one dimensional domain, one energy group, steady state, isotropically scattering with a xed source. The studied methods were the Source Iteration, the Di usion Synthetic Acceleration, the Coarse Mesh Finite Di erences and the Analytical Discrete Ordinates. The code's parallel versions were developed using OpenMP from the sequential versions, implemented in Fortran 95. The main goal of this work was to write parallel versions that would run in less time than the sequential ones, at least from a certain size of problem on. As for the running times, gains were registered around 20% for the Source Iteration, the Di usion Synthetic Acceleration and the Coarse Mesh Finite Di erences solving a one-region problem, reaching up to 50% in multi-regions problems. The parallel version for the Analytical Discrete Ordinates attained an 88% gain in a one-region problem, which is a super-linear speedup.

Neste trabalho foi realizado um estudo de estrat egias de paraleliza c~ao para m etodos que resolvem numericamente a equa c~ao de transporte de n^eutrons em dom nio unidimensional, monoenerg etica, estacion aria, com espalhamento isotr opico, em meio homog^eneo e com uma fonte xa. Foram estudados o Source Iteration, Diffusion Synthetic Acceleration, Coarse Mesh Finite Di erences e o M etodo Anal tico de Ordenadas Discretas. As vers~oes paralelas, desenvolvidas utilizando OpenMP, foram obtidas a partir das vers~oes sequenciais dos c odigos, implementadas em Fortran 95. O objetivo deste trabalho e escrever vers~oes paralelas que sejam executadas em menor tempo de que as vers~oes sequenciais, pelo menos a partir de algum tamanho de problema. Ganhos de tempo para os m etodos Source Iteration, Di usion Synthetic Acceleration e Coarse Mesh Finite Di erences foram relatados em torno de 20% para problemas heterog^eneos, chegando a registrar ganhos de mais de 50% em problemas homog^eneos. A vers~ao paralela do m etodo anal tico de ordenadas discretas chegou a apresentar 88% de ganho, registrando um speedup superlinear para um problema homog^eneo. / This work is a study about parallelization strategies for methods that numerically solve the neutron transport equation, for an one dimensional domain, one energy group, steady state, isotropically scattering with a xed source. The studied methods were the Source Iteration, the Di usion Synthetic Acceleration, the Coarse Mesh Finite Di erences and the Analytical Discrete Ordinates. The code's parallel versions were developed using OpenMP from the sequential versions, implemented in Fortran 95. The main goal of this work was to write parallel versions that would run in less time than the sequential ones, at least from a certain size of problem on. As for the running times, gains were registered around 20% for the Source Iteration, the Di usion Synthetic Acceleration and the Coarse Mesh Finite Di erences solving a one-region problem, reaching up to 50% in multi-regions problems. The parallel version for the Analytical Discrete Ordinates attained an 88% gain in a one-region problem, which is a super-linear speedup.

Neste trabalho foi realizado um estudo de estrat egias de paraleliza c~ao para m etodos que resolvem numericamente a equa c~ao de transporte de n^eutrons em dom nio unidimensional, monoenerg etica, estacion aria, com espalhamento isotr opico, em meio homog^eneo e com uma fonte xa. Foram estudados o Source Iteration, Diffusion Synthetic Acceleration, Coarse Mesh Finite Di erences e o M etodo Anal tico de Ordenadas Discretas. As vers~oes paralelas, desenvolvidas utilizando OpenMP, foram obtidas a partir das vers~oes sequenciais dos c odigos, implementadas em Fortran 95. O objetivo deste trabalho e escrever vers~oes paralelas que sejam executadas em menor tempo de que as vers~oes sequenciais, pelo menos a partir de algum tamanho de problema. Ganhos de tempo para os m etodos Source Iteration, Di usion Synthetic Acceleration e Coarse Mesh Finite Di erences foram relatados em torno de 20% para problemas heterog^eneos, chegando a registrar ganhos de mais de 50% em problemas homog^eneos. A vers~ao paralela do m etodo anal tico de ordenadas discretas chegou a apresentar 88% de ganho, registrando um speedup superlinear para um problema homog^eneo. / This work is a study about parallelization strategies for methods that numerically solve the neutron transport equation, for an one dimensional domain, one energy group, steady state, isotropically scattering with a xed source. The studied methods were the Source Iteration, the Di usion Synthetic Acceleration, the Coarse Mesh Finite Di erences and the Analytical Discrete Ordinates. The code's parallel versions were developed using OpenMP from the sequential versions, implemented in Fortran 95. The main goal of this work was to write parallel versions that would run in less time than the sequential ones, at least from a certain size of problem on. As for the running times, gains were registered around 20% for the Source Iteration, the Di usion Synthetic Acceleration and the Coarse Mesh Finite Di erences solving a one-region problem, reaching up to 50% in multi-regions problems. The parallel version for the Analytical Discrete Ordinates attained an 88% gain in a one-region problem, which is a super-linear speedup.