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.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-04-07T11:44:34Z No. of bitstreams: 1 Marilia Marta.pdf: 1791339 bytes, checksum: 4b1d16d2c77f148ff69597765e114fa2 (MD5) / Made available in DSpace on 2017-04-07T11:44:34Z (GMT). No. of bitstreams: 1 Marilia Marta.pdf: 1791339 bytes, checksum: 4b1d16d2c77f148ff69597765e114fa2 (MD5) Previous issue date: 2017-02-20 / CAPES / Artificial intelligence (AI) is a branch of computer science that studies the intelligent behavior of living beings, and mimics this intelligence by deploying it in computer programs, machines and systems in order to solve problems related to searching, optimization, planning, control, automation, etc. One of the areas of artificial intelligence is evolutionary computation, which is inspired by the principle of natural evolution of species. Within the evolutionary computation several methods based on the intelligence of plants have been recently proposed. How the plants survive and adapt in harsh environments has aroused great interest of researchers in AI. It is remarkable that the life cycle of a plant is extremely intriguing. The way the plants reproduce, propagate, disperse their seeds and select the most resistant is undoubtedly an evidence of intelligence of plants when optimize their existence. In this sense, several computer algorithms based on the intelligent lifecycle of plants have been proposed recently, these algorithms are in many cases, simple to implement, and very efficient in solving complex problems. In this work, the performance of some algorithms, the flower pollination algorithm, strawberry plant algorithm, invasive weed optimization and plant life cycle algorithm, all of them based on the intelligent behavior of plants, are analyzed when applied to optimization of test functions, and they are also compared with classical genetic algorithms. / A inteligência artificial (IA) é um ramo da ciência da computação que estuda o comportamento inteligente dos seres vivos e imita essa inteligência implantando-a em programas de computador, máquinas e sistemas para resolver problemas relacionados à busca, otimização, planejamento, controle, automação, etc. Uma das áreas da inteligência artificial é a computação evolutiva, que é inspirada pelo princípio da evolução natural das espécies. Dentro da computação evolutiva vários métodos baseados na informação de plantas têm sido recentemente proposto. Como as plantas sobrevivem e se adaptam em ambientes agressivos tem despertado grande interesse dos pesquisadores em IA. O ciclo de vida de uma planta é extremamente intrigante. A maneira como as plantas se reproduzem, propagam, dispersam suas sementes e selecionam as mais resistentes é, sem dúvida, uma evidência de inteligência das plantas quando otimizam sua existência. Nesse sentido, diversos algoritmos computacionais baseados no ciclo de vida inteligente das plantas têm sido propostos nos anos recentes, esses algoritmos são, em muitos casos, simples de implementar e muito eficientes na solução de problemas complexos. Neste trabalho é analisado o desempenho de alguns desses algoritmos, o algoritmo de polinização de flores, o algoritmo de planta de morango, otimização invasiva de ervas daninhas e algoritmo do ciclo de vida da planta, todos baseados no comportamento inteligente das plantas, quando aplicados à otimização de funções teste e também comparados com algoritmos genéticos clássicos.

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

CARVALHO, Aglaíse Frota Moura. M-CODE: um modelo para medição de confidencialidade e desempenho para aplicações móveis seguras. 2008. 93 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2008. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-05-19T18:22:47Z No. of bitstreams: 1 2008_dis_afmcarvalho.pdf: 2003286 bytes, checksum: f365e03fcaf252f6fbc64b60e12f01cc (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-05-19T18:23:52Z (GMT) No. of bitstreams: 1 2008_dis_afmcarvalho.pdf: 2003286 bytes, checksum: f365e03fcaf252f6fbc64b60e12f01cc (MD5) / Made available in DSpace on 2016-05-19T18:23:52Z (GMT). No. of bitstreams: 1 2008_dis_afmcarvalho.pdf: 2003286 bytes, checksum: f365e03fcaf252f6fbc64b60e12f01cc (MD5) Previous issue date: 2008 / Mobile devices have resource restrictions that constrain the use of security mechanisms in applications, such as e-commerce, which demand, for example, confidentiality issues. There is then a need for a mechanism to help developers to choose the appropriate solution that provides security for a specific mobile device application, taking in consideration the limitation of performance, memory and battery, among others. Thus, this work proposes a security measurement model focused on confidentiality and performance for mobile applications. This model is defined in conformance with the cryptographic algorithm and/or protocol more adequate to the mobile application. Confidentiality and performance degrees are calculated according to the proposed model measurements and weights defined by the secure mobile application developer. . The following measurement approaches are used to specify the proposal: Goal-Question-Metric (GQM) and Goal-Driven Software Measurement (GDSM), variations of these approaches, and the Security Measurement (SM) framework. As a case study, a mobile application already existent is used for the analysis and calculation of the confidentiality and performance degrees of chosen algorithms and protocols / Os dispositivos móveis têm limitações de recursos que restringem o uso de mecanismos de segurança em aplicações, tais como comércio eletrônico, as quais exigem, por exemplo, o requisito de confidencialidade. Como é indispensável a implementação de mecanismos de segurança nesse tipo de aplicações, é fundamental auxiliar os desenvolvedores na escolha de um mecanismo que respeite limitações, por exemplo, de desempenho, memória e bateria, dos dispositivos móveis. Esta dissertação propõe então um modelo para medir o grau de confidencialidade e de desempenho necessários para determinadas aplicações que irão executar em dispositivos móveis. A fim de escolher o algoritmo criptográfico e/ou o protocolo mais adequado a uma aplicação móvel específica, os cálculos da confidencialidade e desempenho são realizados através de medidas já definidas no modelo e de pesos definidos pelo desenvolvedor, de acordo com a relevância de cada medida para aplicação. Para especificar a proposta, as abordagens de Goal-Question-Metric (GQM), Goal-Driven Software Measurement (GDSM), variações destas abordagens e o Security Measurement (SM) framework são utilizados. Em seguida, para validar o modelo, é utilizada uma aplicação móvel segura já existente como estudo de caso, sendo feita a análise e cálculo dos graus de confidencialidade e desempenho de algoritmos e protocolos

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.