Made available in DSpace on 2015-03-04T18:51:05Z (GMT). No. of bitstreams: 1 Dissert_MSc_JaquelineAngelo.pdf: 926474 bytes, checksum: da4b07a3aac6c41fe497e0351128bde1 (MD5) Previous issue date: 2008-07-24 / Coordenacao de Aperfeicoamento de Pessoal de Nivel Superior / This dissertation presents the BicriterionAnt, MACS and MONACO Ant Colony algorithms, available in literature, to solve the Multi-Objective Traveling Salesman Problem (MOTSP). The characteristics of the problem and of each algorithm used are presented. Those algorithms were tested in six bi-objective instances of MOTSP. Changes in the original algorithms were implemented to try to produce better results than the original ones. To validate the results and to measure the quality of the solutions, metrics of performance were used which help to identify the best non-dominated solution sets. / Esta dissertação apresenta os algoritmos BicriterionAnt, MACS e MONACO, disponíveis na literatura, baseados em colônia de formigas, para resolução do Problema do Caixeiro Viajante Multiobjetivo (PCVMO). São apresentadas as características do problema e de cada algoritmo utilizado. Estes algoritmos foram testados em seis instâncias bi-objetivo do PCVMO. Foram implementadas algumas alterações na estrutura original dos algoritmos na tentativa de produzir resultados melhores do que os algoritmos originais. Para a avaliação dos resultados e medição da qualidade das soluções, foram utilizadas métricas de desempenho que auxiliam na identificação dos melhores conjuntos de soluções não-dominadas.

Made available in DSpace on 2015-03-04T18:51:06Z (GMT). No. of bitstreams: 1 tese Eliane Coutinho.pdf: 2566919 bytes, checksum: 6cf0fc650b3992a20e2109fea4e81a82 (MD5) Previous issue date: 2009-11-28 / Pirarucu ( Arapaima gigas) has been one of the most important economic resources among all the fish species of the Brazilian Amazon for more than three centuries. The introduction of modern technologies of exploitation brought serious threats to the preservation of this species. Adequate management strategies have to be urgently introduced in order to prevent extinction. The aim of this work is to present a mathematical model for the pirarucu population dynamics considering the species peculiarities and the different fishing rates to supply subsides for its conservation. In order to differentiate its respective role in breeding, the population is divided into two groups: female and male. The parameters introduced in this paper are derived from limited but reliable field data collected at the Mamirauá Sustainable Development Reserve (MSDR) in the Brazilian Amazonian Region. Complementary parameters are estimated from biological considerations and commonsense. / O Pirarucu (Arapaima gigas ) tem sido dos mais importante recursos econômicos entre todas as espécies de peixe da Amazônia Brasileira por mais de três séculos. A introdução de tecnologias modernas de exploração trouxe graves ameaças à preservação desta espécie. Estratégias de manejos adequados devem ser urgentemente introduzidas, a fim de evitar extinção. O objetivo deste trabalho é apresentar um modelo matemático para a dinâmica populacional do pirarucu considerando peculiaridades da espécie e as diferentes taxas de pesca de modo a fornecer subsídios para a sua conservação. A fim de diferenciar seus respectivos papéis na reprodução, a população está dividida em dois grupos: machos e fêmeas. Os parâmetros assumidos no presente trabalho são parcialmente derivados de dados de campo limitados, mas seguros da Reserva de Desenvolvimento Sustentável de Mamirauá na região Amazônica Brasileira . Alguns outros parâmetros são estimados a partir de considerações biológicas.

Submitted by Maria Cristina (library@lncc.br) on 2015-09-03T17:53:55Z No. of bitstreams: 1 Dissertacao_Daniel_Yokoyama.pdf: 3080551 bytes, checksum: fb4afe8fd7691c5976810b6e1418b97f (MD5) / Approved for entry into archive by Maria Cristina (library@lncc.br) on 2015-09-03T17:54:16Z (GMT) No. of bitstreams: 1 Dissertacao_Daniel_Yokoyama.pdf: 3080551 bytes, checksum: fb4afe8fd7691c5976810b6e1418b97f (MD5) / Made available in DSpace on 2015-09-03T17:54:48Z (GMT). No. of bitstreams: 1 Dissertacao_Daniel_Yokoyama.pdf: 3080551 bytes, checksum: fb4afe8fd7691c5976810b6e1418b97f (MD5) Previous issue date: 2015-06-22 / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Confronted by the increase in demand for computing power to solve scientific applications, the need to purchase and maintain a computing infrastructure becomes a must and a hindrance to research institutions. In this backdrop, the technological race and the need to purchase equipment, the cloud computing paradigm focusing on scientific computing emerges as a tool to aid in the advancement of scientific works. The following text presents a private cloud platform focused on the creation and management of computational clusters for application in solving high-performance computing tasks, specifically highly parallelizable processes using MPI. In addition to the system description cluster computing clouds, the work presents a scheduling model of virtual machines based on the affinity of the applications running on the hosts. This allocation model aims to allow better use of the resources available to the platform, increasing the flow of tasks performed. / Mediante a crescente demanda por poder computacional para a resolução de aplicações científicas, a necessidade de aquisição e manutenção de uma infraestrutura computacional torna-se uma obrigação e um empecilho para as instituições de pesquisa. Perante este cenário, de corrida tecnológica e a necessidade de aquisição de equipamentos, o paradigma de computação em nuvem voltado para a computação científica surge como uma ferramenta para auxiliar no avanço dos trabalhos científicos. O texto a seguir apresenta uma plataforma de nuvem privada voltada à criação e gerência de clusters computacionais para a aplicação na resolução de tarefas de computação de alto desempenho, especificamente processos altamente paralelizáveis utilizando MPI . Além da descrição do sistema para clusters computacionais em nuvem, o trabalho segue para apresentar um modelo de escalonamento de máquinas virtuais baseado na afinidade das aplicações em execução nos hospedeiros. Este modelo de alocação busca permitir um melhor aproveitamento dos recursos disponíveis à plataforma, aumentando a vazão de tarefas executadas.

Submitted by Maria Cristina (library@lncc.br) on 2015-10-08T19:16:24Z No. of bitstreams: 1 Tese-BernardoMRocha-VersaoFinal.pdf: 9559661 bytes, checksum: f99fc5a4e89446aeaa9c99b15ddc33f4 (MD5) / Approved for entry into archive by Maria Cristina (library@lncc.br) on 2015-10-08T19:16:34Z (GMT) No. of bitstreams: 1 Tese-BernardoMRocha-VersaoFinal.pdf: 9559661 bytes, checksum: f99fc5a4e89446aeaa9c99b15ddc33f4 (MD5) / Made available in DSpace on 2015-10-08T19:16:44Z (GMT). No. of bitstreams: 1 Tese-BernardoMRocha-VersaoFinal.pdf: 9559661 bytes, checksum: f99fc5a4e89446aeaa9c99b15ddc33f4 (MD5) Previous issue date: 2014-10-06 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Computational modelling of the heart has been focus of a growing interest from the medical and scientific community due to its importance for the comprehension of several phenomena associated with the physiological behaviour of the heart under normal and pathological conditions, for the study of new treatment therapies and the development of new drugs. The phenomena of interest presents a great complexity due to its multiscale and multiphysics characteristics and requires the interaction of different mathematical models. The objective of the present work is the develop a computer model to describe the coupled electrical and mechanical activities of the heart. This model is then used to study and understand the effects of cardiac tissue deformation on electrophysiological parameters. The mathematical model developed here couples the effects of the electrical propagation on cardiac tissue to the mechanical problem that describes the moviment and deformation of the tissue. To describe the dynamics of electrophysiology and the generation of active force in cardiac myocytes of the left ventricle, ordinary differential equations are coupled to a system of partial differential equations that models the electrical activity at tissue level. The active force generated by cardiac myocytes is then used as input to the mechanical model to describe the deformation of the tissue. The mechanical model considers the cardiac tissue as a non-linear hyperelastic, orthotropic and incompressible material. The models are coupled such that the deformation obtained from the mechanical problem affects the electrophysiological model. The numerical solution of the complex multiscale and multiphysics model is performed using the finite element method and other robust and efficient numerical methods. We also incorporate some parallel computing techniques for accelerating the solution in some parts of the problem. Several numerical simulations were carried out to characterize the electrical and mechanical activities of the cardiac tissue. In this context we present a simplified model of the human left ventricle, which considers the presence of different cardiac myocytes within the ventricular wall, to study the effects of deformation on some important electrophysiological parameters, such as repolarization time and action potential duration. From the results of the simulations, we computed electrograms to assess the effects of deformation on them when compared to simulations without deformation. The results of this work show that deformation of cardiac tissue considerably affects repolarization and action potential duration in a wedge of the human left ventricle. We also show that the deformation causes an increase in the amplitude of the T-wave measured in the simulated electrograms. / A modelagem do comportamento eletromecânico do coração tem sido foco de um crescente interesse médico-científico devido a sua grande importância para a compreensão de diversos fenômenos associados ao comportamento fisiológico do coração sob circunstâncias normais e patológicas, ao estudo de novas terapias de tratamento de distúrbios cardíacos e ao desenvolvimento de novos medicamentos. O fenômeno de interesse apresenta uma grande complexidade devido a suas características multi-escala, multi-física e exige a interação de diferentes modelos. O presente trabalho teve como objetivo apresentar o desenvolvimento de um modelo computacional para descrever a atividade elétrica e mecânica, de forma acoplada, do coração. Além disso, através desse modelo estudaram-se os efeitos da deformação do tecido cardíaco no comportamento da eletrofisiologia cardíaca. O modelo desenvolvido acopla os efeitos da propagação da onda elétrica no tecido cardíaco ao problema mecânico que descreve o movimento e deformação do tecido. Para representar a dinâmica da eletrofisiologia e a geração de força em miócitos cardíacos, utilizaram-se equações diferenciais ordinárias para descrever o comportamento de células do ventrículo esquerdo humano, acopladas a um sistema de equações diferenciais parciais que descreve a atividade elétrica do tecido. A força ativa gerada pelas células cardíacas é utilizada como entrada para o modelo mecânico que descreve a deformação no tecido. Este modelo mecânico trata o tecido cardíaco como um sólido hiperelástico não-linear, ortotrópico e incompressível. Os modelos estão acoplados de tal forma que a deformação obtida pelo problema mecânico afeta o comportamento da eletrofisiologia. Por fim, obtem-se um modelo matemático acoplado, multiescala, cuja discretização foi feita pelo método dos elementos finitos e cuja solução computacional foi realizada através de métodos numéricos robustos e eficientes juntamente com o uso de técnicas de computação paralela. Diversas simulações que descrevem as atividades elétricas e mecânicas, separadas e acopladas, são apresentadas. Além disso, um modelo simplificado do ventrículo esquerdo humano, que incorpora diferentes células cardíacas, como as do epicárdio, células-M e as do endocárdio foi utilizado para se estudar os efeitos da deformação em parâmetros da eletrofisiologia, como por exemplo a repolarização e a duração do potencial de ação. A partir dos resultados das simulações realizadas, eletrogramas computacionais foram determinados a fim de se analisar o efeito da deformação nestes em comparação com aqueles que se obtem com um modelo onde não considera-se a deformação. Os resultados deste trabalho mostraram que a deformação afeta consideravelmente a repolarização, assim como a duração do potencial de ação. E além disto, dentro do contexto das simulações de uma fatia do ventrículo esquerdo apresentadas, observou-se que a deformação causa um aumento na amplitude da onda-T de acordo com os eletrogramas simulados.

Made available in DSpace on 2014-12-17T15:48:00Z (GMT). No. of bitstreams: 1 ErnestoCBM_DISSERT.pdf: 1152535 bytes, checksum: a61c509f155d27fa9ab04bc69c4607e8 (MD5) Previous issue date: 2012-02-10 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies / M?todos formais e testes s?o ferramentas para obten??o e controle de qualidade de software. Quando utilizadas em conjunto, elas prov?em mecanismos para especifica??o, verifica??o e detec??o de falhas de um software. Apesar de permitir que sistemas sejam matematicamente verificados, m?todos formais n?o s?o suficientes pra garantir que um sistema esteja livre de defeitos, logo, t?cnicas de teste de software s?o necess?rias para completar o processo de verifica??o e valida??o de um sistema. T?cnicas de Testes Baseados em Modelos permitem que testes sejam gerados a partir de outros artefatos de software como especifica??es e modelos abstratos. Ao utilizarmos especifica??es formais como base para a cria??o de testes, podemos gerar testes de melhor qualidade pois estas especifica??es costumam ser precisas e livres de ambiguidade. Fernanda Souza (2009) prop?s um m?todo para definir casos de teste a partir de especifica??es do M?todo B. Este m?todo utilizava informa??es do invariante de uma m?quina e das pr?-condi??es de uma opera??o para definir casos de teste positivos e negativos para tal opera??o, atrav?s de t?cnicas baseadas em particionamento em classes de equival?ncia e an?lise de valor limite. No entanto, a proposta de 2009 n?o inclu?a automa??o e possu?a algumas defici?ncias conceituais como, por exemplo, n?o se encaixar exatamente em uma classifica??o de crit?rios de cobertura bem definida. Iniciamos nosso trabalho com um estudo de caso que aplicou o m?todo a um exemplo de especifica??o B proveniente da ind?stria. A partir deste estudo obtivemos subs?dios para o aperfei?o?-lo. Em nosso trabalho aperfei?oamos o m?todo proposto, reescrevendo e adicionando caracter?sticas para torn?-lo compat?vel com uma classifica??o de testes utilizada pela comunidade. O m?todo tamb?m foi melhorado para suportar especifica??es estruturadas em v?rios componentes, utilizar informa??es sobre o comportamento da opera??o durante a cria??o de casos de teste e utilizar novos crit?rios de cobertura. Al?m disso, implementamos uma ferramenta para automatiz?-lo e o submetemos a estudos de caso mais complexos

Este trabalho trata do tema de Paradigma Orientado a Notificações (PON) e sua adequação para prover suporte a conceitos fuzzy. O PON se inspira em elementos dos paradigmas imperativo e declarativo, buscando resolver inconvenientes de ambos. Ao decompor uma aplicação em uma rede de entidades computacionais menores que são executadas apenas quando necessário, o PON elimina a necessidade de realizar computações desnecessárias e alcança melhor desacoplamento lógico-causal facilitando o reaproveitamento e distribuição. Ademais, o PON permite expressar o seu conhecimento lógico-causal em alto nível, por meio de regras no formato SE-ENTÃO. Os sistemas fuzzy, por sua vez, realizam inferências em bases de conhecimento lógico-causal (regras SE-ENTÃO) que lidam com problemas que envolvem imprecisão. Uma vez que o PON utiliza regras SE-ENTÃO de uma forma alternativa, reduzindo avaliações redundantes e acoplamento, este trabalho foi realizado para identificar, propor e avaliar as mudanças necessárias a serem realizadas sobre o PON para que este possa ser utilizado no desenvolvimento de sistemas fuzzy. Após a realização da proposta, foram criadas materializações na forma de um framework em linguagem C++, e uma linguagem de programação própria (LingPONFuzzy) com suporte a inferência fuzzy. A partir delas foram criados casos de estudo e realizados diversos testes para validar a solução proposta. Os resultados dos testes mostram uma redução significativa no número de regras avaliadas em relação a um sistema fuzzy desenvolvido utilizando ferramentas convencionais (frameworks), o que poderia representar uma melhoria no desempenho das aplicações. / This work proposes to adjust the Notification Oriented Paradigm (NOP) so that it provides support to fuzzy concepts. NOP is inspired by elements of imperative and declarative paradigms, seeking to solve some of the drawbacks of both. By decomposing an application into a network of smaller computational entities that are executed only when necessary, NOP eliminates the need to perform unnecessary computations and helps to achieve better logical-causal uncoupling, facilitating code reuse and application distribution over multiple processors or machines. In addition, NOP allows to express the logical-causal knowledge at a high level of abstraction, through rules in IF-THEN format. Fuzzy systems, in turn, perform logical inferences on causal knowledge bases (IF-THEN rules) that can deal with problems involving uncertainty. Since PON uses IF-THEN rules in an alternative way, reducing redundant evaluations and providing better decoupling, this research has been carried out to identify, propose and evaluate the necessary changes to be made on NOP allowing to be used in the development of fuzzy systems. After that, two fully usable materializations were created: a C++ framework, and a complete programming language (LingPONFuzzy) that provide support to fuzzy inference systems. From there study cases have been created and several tests cases were conducted, in order to validate the proposed solution. The test results have shown a significant reduction in the number of rules evaluated in comparison to a fuzzy system developed using conventional tools (frameworks), which could represent an improvement in performance of the applications.

Este trabalho trata do tema de Paradigma Orientado a Notificações (PON) e sua adequação para prover suporte a conceitos fuzzy. O PON se inspira em elementos dos paradigmas imperativo e declarativo, buscando resolver inconvenientes de ambos. Ao decompor uma aplicação em uma rede de entidades computacionais menores que são executadas apenas quando necessário, o PON elimina a necessidade de realizar computações desnecessárias e alcança melhor desacoplamento lógico-causal facilitando o reaproveitamento e distribuição. Ademais, o PON permite expressar o seu conhecimento lógico-causal em alto nível, por meio de regras no formato SE-ENTÃO. Os sistemas fuzzy, por sua vez, realizam inferências em bases de conhecimento lógico-causal (regras SE-ENTÃO) que lidam com problemas que envolvem imprecisão. Uma vez que o PON utiliza regras SE-ENTÃO de uma forma alternativa, reduzindo avaliações redundantes e acoplamento, este trabalho foi realizado para identificar, propor e avaliar as mudanças necessárias a serem realizadas sobre o PON para que este possa ser utilizado no desenvolvimento de sistemas fuzzy. Após a realização da proposta, foram criadas materializações na forma de um framework em linguagem C++, e uma linguagem de programação própria (LingPONFuzzy) com suporte a inferência fuzzy. A partir delas foram criados casos de estudo e realizados diversos testes para validar a solução proposta. Os resultados dos testes mostram uma redução significativa no número de regras avaliadas em relação a um sistema fuzzy desenvolvido utilizando ferramentas convencionais (frameworks), o que poderia representar uma melhoria no desempenho das aplicações. / This work proposes to adjust the Notification Oriented Paradigm (NOP) so that it provides support to fuzzy concepts. NOP is inspired by elements of imperative and declarative paradigms, seeking to solve some of the drawbacks of both. By decomposing an application into a network of smaller computational entities that are executed only when necessary, NOP eliminates the need to perform unnecessary computations and helps to achieve better logical-causal uncoupling, facilitating code reuse and application distribution over multiple processors or machines. In addition, NOP allows to express the logical-causal knowledge at a high level of abstraction, through rules in IF-THEN format. Fuzzy systems, in turn, perform logical inferences on causal knowledge bases (IF-THEN rules) that can deal with problems involving uncertainty. Since PON uses IF-THEN rules in an alternative way, reducing redundant evaluations and providing better decoupling, this research has been carried out to identify, propose and evaluate the necessary changes to be made on NOP allowing to be used in the development of fuzzy systems. After that, two fully usable materializations were created: a C++ framework, and a complete programming language (LingPONFuzzy) that provide support to fuzzy inference systems. From there study cases have been created and several tests cases were conducted, in order to validate the proposed solution. The test results have shown a significant reduction in the number of rules evaluated in comparison to a fuzzy system developed using conventional tools (frameworks), which could represent an improvement in performance of the applications.

Made available in DSpace on 2016-12-23T14:33:41Z (GMT). No. of bitstreams: 1 Andre Costa - Dissertacao - parte 1.pdf: 1053237 bytes, checksum: 8e90f2576db5227bb4eb33f34158733a (MD5) Previous issue date: 2008-08-15 / This work presents a domain conceptual model of ITIL Service Level Management by using foundational ontologies, and also presents the application of the definied concepts in this model in the service provider module of Infraware context-aware service platform. The study of the ITIL service management process and conceptual modeling of this domain is an attempt to give the first steps in what refers to the formalization of this domain concepts and its use in context-aware service platforms, in particular. A case study is presented to validate the model and to verify its applicability in the generation of management information and of control to the service provider module of the platform and its customers / Este trabalho apresenta um modelo conceitual do domínio do processo de Gerenciamento de Nível de Serviço da biblioteca ITIL utilizando ontologias de fundamentação, e a aplicação dos conceitos definidos neste modelo no módulo provedor de serviço da plataforma de serviços sensíveis ao contexto Infraware. O estudo do processo de gerenciamento de serviços ITIL e a modelagem conceitual deste domínio visam dar os primeiros passos no que se refere à formalização dos conceitos deste domínio e a sua utilização em plataformas de serviços sensíveis ao contexto, em particular. Um estudo de caso é desenvolvido como forma de validar o modelo e de comprovar sua aplicabilidade na geração de informações de gerenciamento e de controle para o módulo provedor de serviço da plataforma e para seus clientes

Made available in DSpace on 2014-07-29T15:08:22Z (GMT). No. of bitstreams: 1 Adson.pdf: 1251737 bytes, checksum: 08b3122009f15a40cec4f32fda3231e9 (MD5) Previous issue date: 2008-11-07 / The present work deals with the problem of planning the distribution system of electricity and is divided into three parts: Problem Definition, Resolution Approaches and Results and Conclusions. The energy distribution networks are of great economic importance in countries like Brazil. On one hand, there are fixed costs of physical installation and operation of the network, mainly due to the costs of energy losses and, secondly, the natural obstacles along the possible passages of network s links. The large amount of these costs, together with lack of efficient methods when it comes to real applications in the matter, justify the development of this research. The study of such aspects, the precise definition of the problem and the reasons that motivated this work can be found on the first part of this work. The second part shows the approaches for resolution. Three proposals methods were adopted: the first uses the algorithm Prim associated with the method Nelder-Mead Simplex. In the second proposal uses Dynamic Programming and, finally, we take the metaphor of Ant Colony also associated with the Nelder-Mead Simplex. The results, presented at the third part of this work, demonstrated the effectiveness of the proposed methods, especially the good compromise between performance and applicability obtained by the third proposal. / O presente trabalho lida com o problema de planejamento da rede de distribuição de energia elétrica, estando dividido em três partes: Definição do Problema, Abordagens de Resolução e Resultados e Conclusões. As redes de distribuição de energia têm uma grande importância econômica em países como o Brasil. Por um lado, há os custos físicos fixos de instalação e de operação da rede, sobretudo os custos devido às perdas de energia e, por outro, os obstáculos naturais impostos ao longo das possíveis passagens para as ligações da rede. O montante elevado destes custos, unidos à escassez de métodos eficientes quando se trata de aplicações reais no assunto, justificam o desenvolvimento desta pesquisa. O estudo de tais aspectos, a definição precisa do problema e as justificativas podem ser encontradas na primeira parte deste trabalho. Na segunda parte, apresentam-se as abordagens de resolução. Três propostas foram adotadas: na primeira usa-se o algoritmo Prim associado ao método Nelder-Mead Simplex. Na segunda proposta utiliza-se a Programação Dinâmica e, por fim, tomamos a metáfora de colônia de formigas também associada ao Nelder-Mead Simplex. Os resultados, apresentados na terceira parte deste trabalho, mostram a eficácia dos métodos propostos, em especial o bom compromisso entre performance e aplicabilidade obtido pela terceira proposta.

Made available in DSpace on 2014-07-29T15:08:23Z (GMT). No. of bitstreams: 1 Douglas.pdf: 4375187 bytes, checksum: d9accad35a506b54190dbd65888f2818 (MD5) Previous issue date: 2009-08-21 / THIS works presents information about signal intensity obtained on field and from simulations for one-seg and full-seg receptions, the city of Goi ania. The values obtained from measurements were used for a comparisson among propagation models that are presented in literature, and the goal is to determine the real condition of digital TV signal in the region of Goi ania. The propagation models presented are available in literature and can be implemented in digital transmission system. The studied models were Free Space model, Log-Distance model, Hata model and ITU-R P.1546-1 method, and the objective was to determine the signal intensity of digital television transmission in the city of Goi ania (RAPPAPORT, 1996) (UNION, 2003). Focusing on the development of a tool for signal intensity estimation, some researches were done about neural networks theory and its applications. Perceptron and Multilayer Perceptron were the analised architectures, emphasyzing on the last one and on its supervisioned trainning through the backpropagation error algorithm (HAYKIN, 2001). The Brazilian Digital Television System was described by reference rules made by Associa¸c ao Brasileira de Normas T´ecnicas, which has detailed its transmission system and reception devices (T´ECNICAS, 2008a) (T´ECNICAS, 2008h). Measurements of signal intensity for one-seg and full-seg reception methods were made on field in the region of Goi ania. These measurements followed the sugestions presented by Report ITU-R BT. 2035-1 and it used a radiofrequency analyzer and a Global Positioning System (GPS). With the obtained data, the digital signal covering situation in the city of Goi ania was mapped, which revealed a lower intensity level to the studied models. A tool for signal intensity estimation was developed using Artificial Neural Networks, which was trained with the dada obtained from the performed measurements. This tool was used to obtain the signal intensity for several proposed scenarios. The signal intensity estimation for the scenario that has tree density and target absence distinguished as the one that was closest to the reality of Goi ania, which is a consequence of high density of trees. / NESTE trabalho, são apresentadas informações sobre a intensidade de sinal obtidas em campo e em simulações para as recepções one-seg e full-seg na grande Goiânia. Os valores obtidos pelas medições foram utilizados para uma comparação entre os modelos de propagação presentes na literatura, com o objetivo de determinar a real condição do sinal de TV digital na região da grande Goiânia. Foram apresentados os modelos de propagação encontrados na literatura e válidos para aplicação no sistema de transmissão digital. Os modelos estudados foram o modelo Espaço Livre, modelo Log-distância, o modelo Hata e o método ITU-RP.1546-1 com o objetivo de determinar a intensidade de sinal para a transmissão de televisão digital na cidade de Goiânia (RAPPAPORT, 1996) (UNION, 2003). Objetivando o desenvolvimento de uma ferramenta de estimação da intensidade de sinal, realizou-se estudos referentes à teoria de redes neurais e suas aplicações. Foram estudadas as arquiteturas Perceptron e Perceptron de Múltiplas Camadas, com ênfase na última arquitetura e no seu treinamento supervisionado através do algoritmo de retropropagação do erro (HAYKIN, 2001). O Sistema Brasileiro de Televisão Digital foi descrito através das normas de referências elaboradas pela Associação Brasileira de Normas Técnicas, detalhando seu sistema de transmissão e dispositivos de recepção (TÉCNICAS, 2008a) (TÉCNICAS, 2008h). Medições em campos da intensidade de sinal para os modos de recepção one-seg e full-seg foram realizadas na região da grande Goiânia. Essas medições seguiram as sugestões apresentadas pelo Relatório ITU-R BT.2035-1 e utilizou um analisador de radiofrequência e um sistema de posicionamento global (do inglês: Global Positioning System -GPS). Com os dados obtidos nas medições, mapeou-se a situação da cobertura do sinal digital na cidade de Goiânia, que revelou um nível de intensidade inferior aos modelos estudados. Foi desenvolvida uma ferramenta para a estimação da intensidade do sinal utilizando uma Rede Neural Artificial (RNA), sendo treinada com os dados obtidos das medições. A ferramenta foi utilizada para a obtenção da intensidade de sinal para diversos cenários propostos. A estimativa da intensidade de sinal para o cenário com concentração de árvores e ausência de visada direta mostrou-se mais próximo da realidade encontrada na cidade de Goiânia, consequência da grande concentração de árvores existente.