Orientador : Wu Shin-Ting / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-02T20:07:52Z (GMT). No. of bitstreams: 1 Batagelo_HarlenCosta_M.pdf: 608382 bytes, checksum: e61ed7585f24dc2d6939e44ac8117202 (MD5) Previous issue date: 2002 / Mestrado

Orientador: Celso Pascoli Bottura / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-02T22:54:49Z (GMT). No. of bitstreams: 1 Grinits_ErickVile_M.pdf: 1913752 bytes, checksum: a305b9850fd97190524da21d85ec1e5e (MD5) Previous issue date: 2002 / Mestrado

Orientador : João Meidanis / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-03T03:12:47Z (GMT). No. of bitstreams: 1 Dias_Zanoni_D.pdf: 6022934 bytes, checksum: 053baf9603cad9a617559145036a6ed2 (MD5) Previous issue date: 2002 / Resumo: Hoje em dia, estão disponíveis, publicamente, uma imensa quantidade de informações genéticas. O desafio atual da Genômica é processar estes dados de forma a obter conclusões biológicas relevantes. Uma das maneiras de estruturar estas informações é através de comparação de genomas, que busca semelhanças e diferenças entre os genomas de dois ou mais organismos. Neste contexto, a área de Rearranjo de Genomas vem recebendo bastante atenção ultimamente. Uma forma de comparar genomas é através da distância de rearranjo, determinada pelo número mínimo de eventos de rearranjo que podem explicar as diferenças entre dois genomas. Os principais estudos em distância de rearranjo envolvem eventos de reversões e transposições. A presente coletânea é composta de oito artigos, contendo vários resultados importantes sobre Rearranjo de Genomas. Estes trabalhos foram apresentados em seis conferências, sendo uma nacional e cinco internacionais. Dois destes trabalhos serão publicados em importantes revistas internacionais e outro foi incluído como um capítulo de um livro. Nossas principais contribuições podem ser divididas em dois grupos: um novo formalismo algébrico e uma série de resultados envolvendo o evento de transposição. A nova teoria algébrica relaciona a teoria de Rearranjo de Genomas com a de grupos de permutações. Nossa intenção foi estabelecer um formalismo algébrico que simplificasse a obtenção de novos resultados, até hoje, muito baseados na construção de diagramas. Estudamos o evento de transposição de várias formas. Além de apresentarmos resultados sobre a distância de transposição entre uma permutação e sua inversa, também estudamos o problema de rearranjo envolvendo transposições e reversões simultaneamente, construindo algoritmos de aproximação e estabelecendo uma conjectura sobre o diâmetro. Usamos o formalismo algébrico para mostrar que é possível determinar a distância de fusão, fissão e transposição em tempo polinomial. Este é o primeiro resultado polinomial conhecido para um problema de rearranjo envolvendo o evento de transposição. Por último, introduzimos dois novos problemas de rearranjo: o problema de distância sintênica envolvendo fusões e fissões, e o problema de transposição de prefixos. Para ambos apresentamos resultados significativos, que avançam o conhecimento na área / Abstract: Nowadays, a huge amount of genetic information is public1y available. Genomic's current challenge is to process this information in order to obtain relevant biological conc1usions. One possible way of structuring this information is through genome comparison, where we seek similarities and differences among the genomes of two or more organisms. In this context, the area of Genome Rearrangements has received considerable attention lately. One way of comparing genomes is given by the rearrangement distance, which is determined by the minimum number of rearrangement events that explain the differences between two genomes. The main studies in rearrangement distance involve reversal and transposition events. The present collection is composed of eight artic1es, containing several important results on Genome Rearrangements. These papers were presented in six conferences, one with Brazilian scope and five with international scope. Two of these works will be published in important international journals, and one other work appeared as a book chapter. Our main contributions can be divided into two groups: a new algebraic formalism and a series of results involving the transposition event. The new algebraic theory relates the genome rearrangement theory to the theory of permutation groups. Our intention was to establish an algebraic formalism that simplifies the creation of new results, up to now excessively based on the construction of diagrams. We studied the transposition event in several ways. Besides presenting results on the transpositions distance between a permutation and its inverse, we also studied the rearrangement problem involving transpositions and reversals simultaneously, constructing approximation algorithms and proposing a conjecture on the diameter. We used the algebraic formalism to show that it is possible to determine the distance of fusion, fission, and transposition in polynomial time. This is the first polynomial time result for a rearrangement problem involving the transposition event. Finally, we introduced two now rearrangement problems: the syntenic distance problem involving fission and fusion, and the prefix transposition problem. For each one of these problems we present significant results, widening the knowledge in this area / Doutorado / Doutor em Ciência da Computação

Orientador: Marcelo Firer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T17:48:37Z (GMT). No. of bitstreams: 1 Bobadilha_Karine_M.pdf: 2137591 bytes, checksum: bbe7abe73f892510f16c253d802a08e6 (MD5) Previous issue date: 2003 / Mestrado / Mestre em Matemática

Orientador: Helio Waldman / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T17:54:03Z (GMT). No. of bitstreams: 1 Pavani_GustavoSousa_M.pdf: 601607 bytes, checksum: c71659c6fa525a3ff5881643dd4b6147 (MD5) Previous issue date: 2003 / Mestrado

Orientadores: Paulo Morelato França, Mauricio Guilherme de Carvalho Resende / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T19:16:40Z (GMT). No. of bitstreams: 1 Buriol_LucianaSalete_D.pdf: 1278955 bytes, checksum: 81c4d001b9fa79d3045253176b03bfbd (MD5) Previous issue date: 2003 / Doutorado

Orientador: Jurandir F. R. Fernandes, Takaaki Ohishi / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-25T06:04:39Z (GMT). No. of bitstreams: 1 Silva_AdrianoCavalcantida_M.pdf: 7286698 bytes, checksum: 99de7d7e5d9bc158aa4a076b572a90fb (MD5) Previous issue date: 1999 / Resumo: Este trabalho aborda o problema do transporte de petróleo, extraído de poços e estocado em tanques, de forma a ser entregue em uma planta de pré-processamento. A finalidade desta planta é separar a água e o sal mesclados ao petróleo, para depois enviá-lo para as refinarias que produzem os diversos derivados do petróleo. O objetivo do presente trabalho é o de garantir uma taxa de fluxo constante, para o ponto de entrega na planta de pré-processamento, de maneira a evitar flutuações em sua capacidade, devido as implicações negativas no processo de injeção de produtos, estabilidade física e química nos processos realizados na planta. A metodologia proposta consiste de um procedimento híbrido, no qual a resolução do problema é decomposto em T subproblemas, um para cada intervalo de tempo, sendo que estes subproblemas são resolvidos seqüencialmente a partir do primeiro intervalo de tempo até o último intervalo. A primeira etapa trata somente do problema com variáveis inteiras, e a segunda etapa trata somente das variáveis contínuas. A análise da solução é proposta pela utilização de algoritmos genéticos e programação linear, baseada na modelagem matemática que permite atingir ótimos resultados com um pequeno esforço computacional. A busca no espaço de soluções combinatórias baseia-se no controle do funcionamento das bombas, com o objetivo de controlar a entrega do petróleo a planta de pre-processamento... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: This work treats the problem of petroleum transport, extracted from wells and stocked in containers, in order to achieve preprocessing plant. The purpose of this plant is take out the water and salt mixed within the oil, and after send the petroleum treated to refineries which produce derivative products. The goal of present work is to warranty a constant flow rate, at the inlet of the oil treatment plant, in order to avoid fluctuations on the capacity, which have implications on dosing of products, stability of physical and chemical processes that take place within the plant. The methodology proposed consist in a hybrid proceeding, in that the problem resolution is decomposed in T problem steps, one to each interval, and this steps in the problem are resolved sequentially from the first interval through the last interval of time. The first step treats only the problem with integer variables, and the second step of resolution treats only the continue variables. The solution analysis were proposed by means with Genetic Algorithms and Linear Programming, based on applied mathematical modeling, which allows to reach optimal results at a short computational effort. The combinatorial effort is focused on the solutions possibility space to control pumps functioning, with the objective to control the oil delivery from those pumps to the central treatment plant. The selection of each pump contribution is made on the basis of its container own filling regime, which in turn, depends on the wells contribution... Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Mestre em Engenharia Elétrica

Orientador: Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-25T10:54:42Z (GMT). No. of bitstreams: 1 Bueno_PauloMarcosSiqueira_M.pdf: 9696615 bytes, checksum: cf1489b7486e810fb816a4449ac15e59 (MD5) Previous issue date: 1999 / Resumo: Este trabalho apresenta uma ferramenta e técnicas para automação da geração de dados e identificação de não executabilidade para a técnica estrutural de teste de software. A ferramenta baseia-se na Técnica Dinâmica; na busca utilizando Algoritmos Genéticos; e no reuso de soluções passadas através do Raciocínio Baseado em Casos. O objetivo é gerara automaticamente dados de entrada que executem caminhos completos no programa em teste e identificar a não executabilidade desses caminhos quando for o caso; o que é feito através da Heurística de Identificação Dinâmica de Potencial não Executabilidade proposta. Um experimento conduzido mostra a validade das soluções elaboradas e do benefício da utilização da ferramenta. Os resultados alcançados sugerem que, apesar da indecidibilidade geral desses problemas, soluções parciais podem ser úteis à prática do teste de software / Abstract: A tool and techniques are presented for test data generation and infeasibility identification in structural software testing technique. The tool is based on: the Dynamic Technique; using Genetic Algorithms; and reusing of solutions through Case Based Reasoning. The objective is to automatically generate input data which execute complete paths in a program and identify path infeasibility when this is the case ; this is done through the Potential Infeasibility Dynamic Identification Heuristic proposed. An experiment shows the validity of the developed solutions and the benefit of using the tool. Results attained indicate that, despite the general undecidability of the problems, partial solutions may be useful to software testing practice / Mestrado / Mestre em Engenharia Elétrica

Orientador : Luis Gimeno Latre / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T03:02:58Z (GMT). No. of bitstreams: 1 Amaral_WagnerCaradorido_D.pdf: 5239443 bytes, checksum: 2e4407b7d2881740be7b02c563588a28 (MD5) Previous issue date: 1980 / Resumo: Neste trabalho são analisados algoritmos de identificação para sistemas com múltiplas entradas e múltiplas saídas (MIMO).É feita uma generalização dos métodos da matriz estendida e dos mínimos quadrados generalizados para sistemas MIMO, considerando-se um modelo autoregressivo e média-móvel (ARMA) para o ruído. Utilizando a estrutura ARMA para o ruído obtem-se também o estimador dos mínimos quadrados linearizado para sistemas MIMO. Este estimador, para o caso média-móvel, corresponde a uma generalização do método de máxima verossimilhança apresentado por Soderstrom para sistemas monovariáveis. Em todos estes algoritmos são estudadas as condições necessárias para se obter, através de uma partição no problema de estimação, estimadores com tempo de cálculo reduzido. A partir do estimador da Matriz Estendida obtem-se um novo estimador que calcula separadamente os parâmetros do processo e do ruído, com uma redução substancial no tempo de cálculo. Finalmente, ilustram-se os resultados obtidos através de exemplos numéricos simulados e de uma aplicação prática para a previsão da altura de aço, no molde de uma máquina de lingotamento contínuo / Doutorado / Doutor em Engenharia Elétrica

Orientador : Wagner C. Amaral / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T03:09:24Z (GMT). No. of bitstreams: 1 Arruda_LuciaValeriaRamosde_M.pdf: 6845374 bytes, checksum: 99b5ad0051a95a68640408bc89b2eb7b (MD5) Previous issue date: 1988 / Resumo: Este trabalho apresenta um sistema baseado em conhecimento para modelagem de processos que auxilia os usuários na utilização e regulagem de algoritmos de estimação,e na modelagem de processos variantes no tempo.O sistema desenvolvido é composto dos seguintes módulos: base de dados, base de conhecimentos,módulo de inferência e explicação,módulo supervisor,módulo de identificação e interface homem-máquina. A base de conhecimentos é formada por regras de produção do tipo SE (condição) ENTÃO (conclusão), que são estabelecidas a partir de considerações sobre os valores de determinadas variáveis do algoritmo de identificação. O módulo de identificação é composto de dois algoritmos capazes de detetar e rastrear variações nos parâmetros do processo: o algoritmo do traço adaptativo e o filtro de Kalman adaptativo.Estes algoritmos são obtidos a partir de um algoritmo de identificação recursivo,mínimos quadrados com traço limitado ou filtro de Kalman,e um método de deteção de não-estacionaridades baseado u no erro previsto ou nos parâmetros estimados / Mestrado / Mestre em Engenharia Elétrica