As redes de distribuição constituem importantes infra-estruturas por serem responsáveis pelo abastecimento de água à população. Dessa maneira, tanto o projeto, como a operação e a manutenção dessas infra-estruturas devem ser eficientes, visando manter a sustentabilidade do recurso natural distribuído através das mesmas. Devido à idade das redes, pressões excessivas nos condutos e outros fatores, as perdas por vazamento representam, nos dias de hoje, grande parte de toda água bombeada e tratada quimicamente para o consumo populacional. Com o objetivo de minimizar essas perdas, este trabalho visa a determinação dos parâmetros do modelo hidráulico para sub-setores da cidade de São Carlos, onde as perdas por vazamentos mostram-se expressivas. Os referidos parâmetros foram determinados através do modelo inverso de minimização dos desvios entre dados de campo observados e valores simulados por modelo hidráulico, usando algoritmos genéticos (AGs). O estudo constitui parte integrante do projeto intitulado \"controle operacional em subsistema urbano de distribuição de água\", apoiado pelo FINEP, em andamento. / The water supply networks are very important structures for human consumption. This way, the project as well as the operation and maintenance of such systems must be efficient, focusing on keeping the sustainability of this natural resource. Due to the age of the networks, excessive pressure inside the pipes and other factors, leakage nowadays represents a considerable loss of the total pumped and chemically treated water which is to be supplied to the population. Trying to minimize theses losses, this study sets out to determine the parameters for the pressure x leakage model, applying it to sub-sectors of São Carlos city network, SP, where leakage represents a considerable amount. The referred parameters determination is realized through the inverse minimization model of differences between data observed in field and those simulated values by a hydraulic model, using genetic algorithms (GAs).

Submitted by camilla martins (camillasmmartins@gmail.com) on 2017-03-27T12:02:05Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_DesempenhoAlgoritmoGenetico.pdf: 2467772 bytes, checksum: 83f8441c8e8c099abbbb36d4048f3a61 (MD5) / Approved for entry into archive by Edisangela Bastos (edisangela@ufpa.br) on 2017-03-27T15:46:40Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_DesempenhoAlgoritmoGenetico.pdf: 2467772 bytes, checksum: 83f8441c8e8c099abbbb36d4048f3a61 (MD5) / Made available in DSpace on 2017-03-27T15:46:40Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_DesempenhoAlgoritmoGenetico.pdf: 2467772 bytes, checksum: 83f8441c8e8c099abbbb36d4048f3a61 (MD5) Previous issue date: 2015-06-30 / A ideia da infecção viral vem sendo utilizada nos Algoritmos Genéticos (AG) para melhorar a taxa de busca dos algoritmos, superando a convergência prematura por meio do controle da diversidade da população, visto que na natureza a recombinação genética por vírus apresenta alta velocidade de replicação e frequente mutação. [Romano 2009]. A meta-heurística denominada AGRI adotou como fonte de inspiração biológica a família retroviridae, cujos vírus são baseados em RNA e atendem à necessidade de maior variação alélica do AG, visto que o RNA não possui os mecanismos de correção em seu genoma para eliminar o material viral recombinado. Neste algoritmo, os vírus são tratados como uma população separada da população de indivíduos. A cada infecção, o material genético viral é transmitido verticalmente entre os hospedeiros difundindo trechos de soluções dos vírus com melhor desempenho por toda população. A diversidade viral é mantida por meio de um mecanismo que substitui todos o vírus fora da taxa de elitismo viral. Nessa técnica, a população viral evolui junto com a população cromossômica, pois os vírus ineficientes são criados a partir do material genético dos indivíduos mais adaptados e de outros genes novos. O AGRI segue os princípios biológicos em vários aspectos da infecção e multiplicação viral. Por exemplo: cria a primeira população viral sem o material genético da população somática; escolhe aleatoriamente os vírus que irão infectar um indivíduo, possibilitando que parte da população nunca seja infectada por alguns vírus e que certos vírus infectem mais indivíduos. Além disso, a partir da segunda geração do AG, os vírus substituídos são criados com material genético de dois indivíduos, e tem diferentes quantidades de genes. Nesta abordagem, a maximização do espaço de busca é realizado utilizando três mecanismos: alta variabilidade genética da população viral com tamanhos diferentes dos trechos de soluções; efetivação da infecção apenas quando há um aumento no fitness do indivíduo; e possibilidade de um indivíduo ser infectado por quaisquer dos vírus da população viral. Para analisar o efeito dos parâmetros da infecção viral do AGRI e seu desempenho em comparação com outras meta-heurísticas bem conceituadas, as seguintes funções de benchmarking relacionadas com problemas de minimização foram selecionadas: F1 (Shifted Sphere Function), F2 (Shifted Schwefel’s Problem), F3 (Shifted Rotated High Conditioned Elliptic Function) e F5 (Schwefel’s Problem 2.6 with Global Optimum on Bounds). Os resultados mostraram que para funções unimodais propostas, o AGRI tem boa performance em comparação com as outras meta-heurísticas selecionadas podendo alcançar o ótimo global ou boas soluções com poucas iterações. / Viral Infection is used to improve the performance in Genetic Algorithms (GA) by reducing premature convergence through the population diversity control, since viruses presents high replication and mutation rates in the nature. The metaheuristic called AGRI is inspired biologicaly in a viruses family based on RNA, which provide a high allelic variation to GA, since RNA doesn’t have genoma correction mechanisms to remove re-combined viral genetic material . In this algorithm, the viruses are a separate population. To each infection, the better performance viruses genomes are transmitted vertically spreading parts of solutions to GA population. The diversity viral is maintained through a mechanism that substitutes all viruses out of elitism viral rate. In this method, the virus population evolves along with GA population, so the inefficient viruses are created from genetic material of the better adapted individuals and other new genes. The algorithm AGRI follows biological principles in several viral infection and multiplication aspects. For example: it creates the first viral population without GA population genetic material; it sorts the viral population before infect an individual, making possible some viruses doesn’t infected a part of the population and other viruses infect more individuals. Since GA second-generation, the replaced viruses are created by both individuals genetic material and have different genes quantities. In this approach, the search space maximization is increased by three mechanisms: high viral population genetic variability by variety of sizes to solutions pieces; infection validation process that confirms the fitness increases in each individual and infection possibility by any viruses in the viral population. To analyse the AGRI’s viral infection parameters effects and comparate his performance with others high-performing metaheuristics, the following minimization benchmarking are selected: F1 (Shifted Sphere Function), F2 (Shifted Schwefel’s Problem), F3 (Shifted Rotated High Conditioned Elliptic Function) e F5 (Schwefel’s Problem 2.6 with Global Optimum on Bounds). The results to the functions unimodais proposed showed that AGRI has a good performance in comparison with others metaheuristics reaching in few iterations the global best or good results.

Esta pesquisa avaliou o efeito do uso de uma medida de desempenho alternativa à densidade no cálculo dos fatores de equivalência para caminhões típicos em rodovias de pista dupla do estado de São Paulo. A medida de desempenho investigada foi a velocidade dos automóveis e os fatores de equivalência foram calculados pelo método do equivalente médio, que considera mais de um tipo de caminhão na corrente de tráfego, representa melhor a interação entre caminhões e permite o uso de simulação de tráfego para determinação dos equivalentes. Como este método de cálculo considera uma composição fixa de caminhões, o tráfego de caminhões em rodovias paulistas de pista dupla foi caracterizado em função de dois aspectos: (1) o fluxo veicular em dias úteis típicos e (2) o desempenho das configurações de caminhões, a partir da relação massa/potência. O modelo de simulação utilizado nesta pesquisa foi o CORSIM, o mesmo modelo usado no HCM-2000. Para tanto, o CORSIM foi calibrado para as condições observadas em rodovias paulistas de pista dupla. A calibração foi realizada em duas etapas, ambas baseadas em algoritmos genéticos: a primeira etapa focou no modelo de locomoção dos caminhões, resultando erros médios da ordem de 5%; a segunda visou à lógica de car-following, que define o comportamento dos motoristas. A versão calibrada do CORSIM para as condições paulistas apresentou erros médios de 6,32% na calibração e de 6,58% na validação. Os equivalentes veiculares foram calculados para diferentes magnitudes de greides, comprimentos de rampas, porcentagens de caminhões, velocidade de fluxo livre e níveis de serviço, tanto para a velocidade dos automóveis como para a densidade. Como resultado final, observou-se que o uso da velocidade dos automóveis como medida de desempenho implica em equivalentes veiculares muito elevados. Desta forma, a capacidade de tráfego e o nível de serviço estimado utilizando estes equivalentes foram piores do que utilizando os equivalentes veiculares obtidos com a densidade como medida de desempenho. / The objective of this research was to evaluate the use of a measure of impedance alternative to density to obtain passenger-car equivalence factors for typical trucks on multilane highways in the state of São Paulo. The impedance investigated was the passenger-car speed, and the equivalence factors were obtained through the average equivalent method since it considers different types of trucks within the traffic flow, is capable to represent interactions among trucks adequately, and allow the use of traffic simulation. Since the estimation method employed is based on a fixed truck population, the truck flow on multilane highways in the state of São Paulo was characterized based on two aspects: (1) a typical traffic flow, considering the traffic flow on typical weekdays, (2) the truck performance based on mass/power ratio. The simulation model employed was CORSIM, the same model used in the HCM-2000, and it was calibrated for the conditions observed in multilane highways in the state of São Paulo. The calibration was carried out using genetic algorithms and involved two steps. The first one focused on the truck motion model and produced average errors around 5%. The second one focused on the car-following logic that defines the drivers\' behavior. The CORSIM calibrated for the state of São Paulo highways produced average errors of 6.32% at the calibration stage and average errors of 6.58% at the validation stage. Passenger-car equivalents were calculated for different grade levels, grade lengths, trucks percentages, free-flow speeds and leves of service using passenger-car speed and density as the impedance measure. It was observed that, when compared to density, the use of passenger-car speed as a measure of impedance results in higher values for the equivalence factors. It means smaller capacities and worse estimates for level of service.

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2016-11-18T11:12:32Z No. of bitstreams: 1 Robermilton Sant´Anna de Oliveira Rodrigues_.pdf: 3942890 bytes, checksum: cd68235e6f58b7b97f966958f932b60d (MD5) / Made available in DSpace on 2016-11-18T11:12:32Z (GMT). No. of bitstreams: 1 Robermilton Sant´Anna de Oliveira Rodrigues_.pdf: 3942890 bytes, checksum: cd68235e6f58b7b97f966958f932b60d (MD5) Previous issue date: 2016-06-10 / IFRR - Instituto Federal de Educação Ciência e Tecnologia de Roraima / Com o advento da Internet, aliado à constante evolução das tecnologias de distribuição de Banda Larga, juntamente com um público cada vez mais exigente, surge o IPTV (Internet Protocol Television). Atualmente, existem várias pesquisas sobre como melhorar sua distribuição de conteúdo, através dos mais diversos dispositivos disponíveis no mercado, tais como: TV Digital, Tablets e Smartphones. Este trabalho apresenta uma ferramenta computacional, baseada em um modelo matemático, para otimização dos parâmetros do módulo IPTV de uma Plataforma de Convergência Digital (DIGICONV). Essa ferramenta computacional é baseada em aplicações das metaheurísticas Busca Tabu e Algoritmo Genético, a fim de obter melhorias em todos os segmentos da transmissão, além de identificar os motivos de uma possível sobrecarga do sistema, quando não há banda disponível suficiente para atender a todos os clientes, através de configurações específicas nos parâmetros de entrada que são: a taxa de transmissão (Tt), a qualidade de vídeo (Qv), a qualidade de áudio (Qa), os tipos de clientes (Tc), a largura de banda do cliente (Lb) e a quantidade de banda disponível (Bd). Os resultados obtidos neste trabalho comprovaram que tanto a Busca Tabu quanto o Algoritmo Genético obtiveram resultados satisfatórios e otimizados, conforme o aumento da Função Objetivo, atestando sua eficiência. / With the advent of the Internet, combined with the constant evolution of the broadband distribution technologies, along with the public increasingly demanding, IPTV (Internet Protocol Television) arises. Currently, there are several studies on how to improve the distribution of content through a variety of devices available in the market, such as Digital TV, Tablets and Smartphones. This paper presents a computational tool based on a mathematical model to optimize IPTV module parameters of a Digital Convergence Platform (DIGICONV). This software tool is based on applications of metaheuristics Tabu Search and Genetic Algorithm in order to achieve improvements in all segments of the transmission, and to identify the reasons for a possible system overload, when there is not enough available bandwidth to meet all customers through specific settings in the input parameters are: the transmission rate (Tt), the video quality (Qv), audio quality (Qa), the types of customers (Tc), the bandwidth of client (Lb) and the amount of available bandwidth (BD). The results of this study showed that both the tabu search and the genetic algorithm achieved satisfactory results and optimized, with increasing Objective Function, attesting to its effectiveness.

Uma das aplicações mais importantes da análise de sistemas no planejamento de recursos hídricos diz respeito à determinação de estratégias operacionais de sistemas de múltiplos reservatórios, elementos indispensáveis aos aproveitamentos hídricos, cuja operação é alvo de análises que podem envolver muitas restrições e variáveis de decisão. Fica evidenciada, portanto, a necessidade de a operação destes ser otimizada, propiciando assim, o seu melhor aproveitamento, com o menor custo para a sociedade. A presente pesquisa estuda a operação otimizada de um sistema de reservatórios destinado a geração de energia elétrica, usando um modelo híbrido composto de algoritmos genéticos e o SIMPLEX de Nelder e Mead acoplado à programação linear sucessiva. Em conformidade com a recente proposta de Reis et al. (2005), o problema de otimização é resolvido através da decomposição em subproblemas seqüenciais independentes relativos a cada estágio de operação, conectados entre si por supor que os volumes dos reservatórios no final de cada estágio correspondam ao estado do sistema no início do estágio subseqüente. Para estimular a utilização mais eficiente dos volumes armazenados, no suprimento das demandas hídricas dos estágios futuros, são aplicados fatores de redução de custo (FRCs) sobre os volumes armazenados remanescentes no final de cada estágio / One of the most important uses for system analysis in water resources planning is the determination of the operational strategy for multiple reservoir systems, fundamental to better water supply, whose operation is the purpose of analysis that may involve many operation constraints and decision variables. Stay clear, so, the need of optimize their operation, creating in this manner, its best utilization with the less cost to society. This research on the optimal operation of a reservoir system has hydropower generation as its main objective. The optimization framework employs a hybrid model which corresponds to a combination of genetic algorithms and SIMPLEX of Nelder e Mead before employing successive linear programming. Accordant to recent Reis et. al (2005) proposal, the problem of optimizing is solved through decomposition in independents sequential sub problems related to each stage of operation, connected among themselves by supposing that reservoir storage at the end of each stage corresponds to the system state at the beginning of the subsequent stage. To promote the most efficient use of storage for water supply in future stages, FRC (cost reduction factors) are applied on the storage left at the end of each stage

Made available in DSpace on 2014-06-11T19:30:50Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-07-21Bitstream added on 2014-06-13T19:19:31Z : No. of bitstreams: 1 leao_fb_dr_ilha.pdf: 4326970 bytes, checksum: 5e80d8b3eb8a0bff2c52ea28e2f0a451 (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Neste trabalho é proposta uma metodologia para a análise e interpretação de alarmes em tempo real em sistemas de distribuição de energia elétrica, considerando o diagnóstico em nível de subestações e redes. A metodologia busca superar as dificuldades e desvantagens dos métodos já propostos na literatura especializada para resolver o diagnóstico de faltas em sistemas de potência. O método proposto emprega um modelo matemático original bem como um novo algoritmo genético para efetuar o diagnóstico dos alarmes de maneira eficiente e rápida. O modelo matemático é dividido em duas partes fundamentais: (1) modelo de operação do sistema de proteção; e (2) modelo de Programação Binária Irrestrita (PBI). A parte (1) é composta por um conjunto de equações de estados esperados das funções de proteção dos relés do sistema, modeladas com base na lógica de operação de funções de proteção tais como sobrecorrente, diferencial e distância, bem como na filosofia de proteção de sistemas de potência. A parte (2) é estabelecida através de uma função objetivo formulada com base na teoria de cobertura parcimoniosa (parcimonious set covering theory), e busca a associação ou “match” entre os relatórios de alarmes informados pelo sistema SCADA (Supervisory Control and Data Acquisition) e os estados esperados das funções de proteção formuladas na parte (1) do modelo. O novo algoritmo genético proposto é empregado para minimizar o modelo de PBI e possui como característica a utilização de dois parâmetros de controle. O algoritmo possui taxas de recombinação e mutação automática e dinamicamente calibradas, baseadas na saturação da população corrente, possuindo uma imediata resposta à possível convergência prematura para ótimos locais. A metodologia desenvolvida para o diagnóstico... / This work proposes a methodology for the analysis and interpretation of real-time alarms in electric power distribution systems in the substation level and network level. The methodology seeks to overcome the difficulties and disadvantages of the methods already proposed in the literature to solve the fault diagnosis in power systems. The proposed method employs a novel mathematical model and a genetic algorithm to carry out the diagnosis of alarms efficiently and quickly. The model is divided into two main parts: (1) a protection system operation model; and (2) Unconstrained Binary Programming (UBP) model. Part (1) provides a set of expected state equations of the protective relay functions established based on the protection operation logic such as overcurrent, differential and distance as well as the protection philosophy. Part (2) is established through an objective function formulated based on parsimonious set covering theory for associating the alarms reported by SCADA (Supervisory Control and Data Acquisition) system with the expected states of the protective relay functions. The novel genetic algorithm use only two control parameters and is employed to minimize the UBP model. In addition the algorithm has recombination and mutation rates automatically and dynamically calibrated based on the saturation of the current population and it presents an immediate response to possible premature convergence to local optima. The methodology developed for the diagnosis of substations is extended to distribution networks considering that the network has sufficient level of automation for remote monitoring of the primary feeders. In this way a new paradigm for protection of distribution networks developed based on Smart Grid concept is proposed. Extensive tests are performed with the methodology applied to distribution... (Complete abstract click electronic access below)

Orientador: Rubén Augusto Romero Lázaro / Resumo: Neste trabalho apresenta-se uma nova meta-heurística, o Algoritmo Genético Evolucionário Especializado (AGE-E) para resolver uma das categorias dos Problemas de Carregamento de Contêiners, objeto de estudo que pertence à otimização, na Pesquisa Operacional. Considera-se a existência de múltiplos contêiners de iguais dimensões que permitem o carregamento completo da carga disponível em um contexto de transporte industrial. Esta carga é composta por caixas de sortimento fortemente hete-rogêneo e que permite a rotação em qualquer dasseis possibilidades, tornando o problema ainda mais complexo, e, porisso,menos estudado na literatura. Uma revisão bibliográfica é também apresentada, contendo uma visão geral das classificações do problema e, em particular, um estudo aprofundado sobre algoritmos genéticos. A implementação do AGE-E foi realizada, e os resultados computacionais foram comparados com as melhores soluções já apresentadas na literatura, demonstrando o potencial do AGE-E para estudosfuturos. / Doutor

Esta tese tem foco no tema de otimização de carteiras de investimento modeladas para estratégia de investimento de index tracking. O conteúdo final é composto por três artigos. O primeiro artigo é intitulado “Index Tracking with Controlled Number of Assets Using a Hybrid Heuristic Combining Genetic Algorithm and Non-linear Programming”, e foi aceito para publicação na revista Annals of Operations Research. O segundo artigo é “Index Tracking and Enhanced Indexing using Cointegration and Correlation with Endogenous Portfolio Selection”, e foi aceito para publicação na revista Quarterly Review of Economics and Finance. Por fim, o terceiro artivo é “Investigating the Use of Statistical Process Control Charts for Index Tracking Portfolios”, o qual já foi submetido e está atualmente em processo de revisão. No primeiro artigo, discutimos a estratégia de investimento de index tracking usando programação matemática. Primeiro, usamos uma formulação de programação não linear para o problema de index tracking, considerando um número limitado de ações. Devido à dificuldade de solução do problema em um intervalo de tempo razoável por pacotes matemáticos comerciais, aplicamos uma abordagem de solução híbrida, combinando programação matemática e algoritmo genético. Com a aplicação de testes, demonstramos a eficiência da abordagem proposta comparando os resultados com soluções ótimas, com métodos previamente desenvolvidos, e com dados reais de índices de mercado. Os experimentos computacionais focam no Ibovespa (o mais popular índice do mercado brasileiro), e também apresentamos resultados para mercados consolidados tais quais S&P 100 (Estados Unidos), FTSE 100 (Reino Unido) and DAX (Alemanha). A estrutura proposta apresenta sua abilidade para obter ótimos resultados (resultados com gap em relação às soluções ótimas menores que 5% em 8 minutos de tempo de processamento) até mesmo para índices de mercado com alta volatilidade em um mercado em desenvolvimento. No segundo artigo, a atenção é voltada para a análise de dois métodos alternativos entre si para solução do problema de otimização de index tracking. Esse artigo investiga o desempenho “fora da amostra” dos métodos de correlação e cointegração para as estratégias de index tracking (IT) e enhanced indexing (EIT) aplicadas aos dados de mercado Brasileiro e Norte-americano. Nosso objetivo é comparar ambos os métodos na medida em que exploramos fortemente a cointegração em relação a estudos prévios: nós transformamos a seleção do portfólio endógena ao problema de otimização nessa abordagem. Os testes foram executados utilizando dados de 2004 a 2014 com amostras de 57 ações para dados brasileiros, e 96 ações para dados dos Estados Unidos; carteiras foram construídas usando combinações de no máximo 10 ações. Apesar da realização de testes extensivos, os resultados gerais demonstraram desempenho similar para ambos os métodos. Para IT no mercado brasileiro, foi verificado um trade-off entre melhor erro de tracking e maior turnover com cointegração (com resultados opostos para correlação), sendo que este mesmo padrão não foi encontrado para dados norte-americanos. Os resultados para EIT também não apresentação claro favorecimento para cointegração ou correlação. Por fim, o terceiro artigo é dedicado à discussão a respeito do uso de processo estatístico de gráficos de controle para regulação de carteiras de index tracking. Nesse artigo, nosso objetivo é introduzir uma abordagem baseada em gráficos de controle (SPC) para monitorar o processo de rebalanceamento de carteiras de index tracking. O método de SPC é derivado da Estatística e da Engenharia, como ferramenta para controle de processos de produção. Para cumprir os objetivos, aplicamos gráficos de controle EWMA (do inglês, exponentially weighted moving average) para monitorar carteiras de IT baseadas no uso combinado de dois gráficos de controle: desempenho de carteiras em termos de erro de tracking e em termos de volatilidade. Assim, visamos tornar endógeno o controle do processo de rebalanceamento das carteiras baseado em seu desempenho e em suas condições de risco ao longo do tempo. Testes computacionais foram realizados para avaliar a abordagem desenvolvida em comparação com a estratégia tradicional de rebalanceamento (que consiste no uso de janelas fixas de tempo para atualização das carteiras), usando dados dos mercados brasileiro e norte-americano de 2005 a 2014. Os métodos de cointegração e correlação foram aplicados para otimização das carteiras. Os resultados demonstraram que a abordagem com SPC pode ser uma alternativa viável para o processo de rebalanceamento de carteiras.

The Semantic Web is an extension of the current Web, where the availability of information is expected to enable the cooperation between man and, above all, machines. The creation of standards which express shared meaning enable the construction of applications to solve integration, collaboration and automation problems which were already been identified by scientific community and technology consumers. The use of Web Services has brought several advances in this sense, and their annotation in semantic terms, transforming them into Semantic Web Services, enables the Semantic Web intent. Several technologies also enable the creation of such elements and their inherent use as basic blocks of application development whose scope is embedded on Web. This way, due to the fast growing of the number of services, some approaches to effectively solve the problem of services integration and use become necessary. This work proposes a modeling of a software solution to the discovery and composition of Semantic Web Services problem through the use of a genetic algorithm based on abstract data types. It is also proposed a tool implementation using OWL, OWL-S and OWL-S API languages and frameworks as well as the formal problem definition along with the scientific community expectations to the given solution. / AWeb Semântica é uma ampliação da web atual onde a disposição da informação viabiliza a cooperação entre homens e, sobretudo, entre máquinas. O surgimento de padrões web que expressam significado compartilhado possibilitam a construção de aplicações que resolvem problemas de integração, colaboração e automação já identificados pela comunidade científica e mercado consumidor de tecnologias. A utilização de Serviços Web trouxe grandes ganhos neste sentido, e sua anotação em termos semânticos, tornando-os Serviços Web Semânticos, viabiliza a proposta da Web Semântica. Diversas tecnologias viabilizam a construção de tais elementos e sua conseqüente utilização como blocos básicos do desenvolvimento de aplicações cujo escopo é embarcado na web. Assim, dado o rápido crescimento da quantidade de serviços, tornam-se necessárias abordagens que resolvam de forma efetiva, com garantias de qualidade e tempo de resposta aceitável, a integração e posterior utilização destes. Este trabalho propõe a modelagem de uma solução de software para o problema da Descoberta e Composição de Serviços Web Semânticos através do uso do Algoritmo Genético Baseado em Tipos Abstratos de Dados. Também é proposta uma implementação utilizando OWL, OWL-S e a OWL-S API. São apresentadas a definição formal do problema, as expectativas da comunidade científica quanto às soluções elaboradas e os resultados obtidos com respeito à viabilidade da proposta.

Problemas de resfriamento de circuitos, presentes nas indústrias de eletrônicos e miniaturizados, têm sido amplamente estudados com o propósito de desenvolver mecanismos capazes de reduzirem a taxa de falha nos equipamentos devido às altas temperaturas. O presente trabalho utiliza o método Design Construtal associado com algoritmos de otimização, busca exaustiva e algoritmo genético, para realizar o estudo numérico de corpos sólidos com geração de calor uniforme onde são inseridos caminhos altamente condutivos em forma de “Y”, “Y-Y”, duplo “Y-Y” e “T”. O objetivo principal das otimizações realizadas consiste em minimizar a resistência ao fluxo de calor, quando as áreas ocupadas pelos materiais de alta e baixa condutividades são mantidas constantes, variando-se os comprimentos e espessuras dos caminhos condutivos. Para a solução numérica da equação da difusão do calor com as condições de contorno estabelecidas em cada caso, foi utilizado o PDETool do software MatLab. A formulação para o caminho condutivo em forma de “Y” apresenta a construção de volumes elementares, mantendo a mesma condutividade térmica para todo o caminho condutivo. Na configuração em forma de duplo “Y – Y” foi utilizado o método de busca exaustiva associado ao algoritmo genético (GA). Nas simulações realizadas com o caminho condutivo em forma de “T”, a configuração apresenta combinações de condutividade térmica diferentes para a base e para a parte superior, enfatizando que a geometria depende das condições impostas pelo ambiente. Para o caso com um volume elementar, a configuração em forma de “Y” degenera-se gerando um caminho condutivo em forma de “U” e com dois volumes, a variação ocorre no comprimento dos ramos do caminho condutivo. Para a configuração com quatro volumes, a configuração ótima tem a forma de “X”. No caso do caminho em forma de “T”, a configuração que minimiza a máxima temperatura em excesso tem a forma de um “I”. Como previsto no princípio da ótima distribuição das imperfeições, a geometria ótima para os casos estudados é aquela que melhor distribui as imperfeições do sistema. / Problems that embody cooling of circuits that appears in electronics and miniaturized industries, have been widely studied to develop mechanisms capable of reducing the failure rate of the equipment due to high temperatures. The present work applies the Constructal Design method associated with optimization algorithms, exhaustive search and genetic algorithm, to perform the numerical study of solid bodies with uniform heat generation in which are inserted high-conducting pathways with “Y”, “Y–Y”, double “Y–Y” and “T” shapes. The main goal of the performed optimizations consists in minimizing the resistance to the heat flux when the occupied areas of high and low conductivity materials are maintained constant, varying the lengths and thickness of conductive paths. For the numerical solution of the heat diffusion equation with the boundary conditions established in each case, it was used the PDETool from MatLab software. The formulation for the conductive pathway with "Y" shape presents the construction of elementary volumes, maintaining the same thermal conductivity across the entire conductive pathway. In the configuration in double “Y–Y” form it was used exhaustive search method associated with genetic algorithm (GA). In the simulations performed with the T-shaped conductive pathway, the configuration provides combinations of different thermal conductivity for the base and the top, emphasizing that the geometry depends on the conditions imposed by the environment. For the case with one elementary volume, the Y-shaped configuration degenerates producing a conductive pathway with U-shape; and with two volumes, the variation occurs in the length of branches of the conductive pathway. For the configuration with four volumes, the optimum configuration has the form of “X”. In the case of T-shaped pathway, the configuration that minimizes the maximal excess of temperature is I-shaped. As predicted by the principle of optimal distribution of the imperfections, the optimal geometry for the cases studied is the one that promotes the best distribution of the imperfections of the system.