O objetivo deste trabalho é apresentar pares de matrizes de conexão para o índice de Conley discreto. Na primeira, parte do texto introduzimos os conceitos e resultados básicos da Teoria do índice de Conley para aplicações contínuas definidas em espaço métrico localmente compacto. Dedicamos a segunda parte deste trabalho para discutir decomposições de Morse parcialmente ordenadas de conjuntos invariantes isolados para aplicações contínuas e introduzir o conceito de pares de matrizes de conexão. Provamos sua existência para decomposições atratoras-repulsoras de 11111 conjunto invariante isolado e finalizamos com alguns resultados que ilustram como os pares de matrizes de conexão podem implicar a existência de órbitas de conexão entre conjuntos de Morse. / The goal of this work is t,o present the connection matrix pairs for discrete Conley index. The first, part of this manuscript consists of introducing the basic concepts and results of the Conley index theory for continuotts maps defined ou a locally compact inetric space. \\\\Te devote the se.cond part of the work to discuss partially ordered Morse decompositions of isolated invariant seis for continuous maps and introduce the concept, of connection matrix pairs. We prove the existence of such pairs for attractor-repeller decompositions of an isolated invariant set and finish with some results that, Mustrate how connection matrix pairs may imply the existence of connecting orbit,s between Morse sets.

O reconhecimento automático de faces é um dos problemas mais desafiadores no campo da visão computacional e de reconhecimento. Métodos seguros e robustos podem ser usados em uma grande variedade de aplicações, como em sistemas de identificação de suspeitos pela polícia. A identificação de suspeitos com auxílio de testemunhas ou vítimas é muito usada na solução de crimes. Um dos métodos mais usados na identificação é o álbum de fotografia, que é desgastante, toma tempo, e confimde a testemunha que examina milhares de fotos. Pode-se, entretanto, desenvolver um sistema que combine a descrição da testemunha com as descrições contidas numa base de dados, ordenando as fotos a serem apresentadas para a vitima em ordem de similaridade, tomando menos tediosa e mais rápida a identificação correta do suspeito pela testemunha. Este trabalho diz respeito à seleção de técnicas e à criação de um sistema de catinstramento multimidia de suspeitos, com utilização de um algoritmo de reconhecimento de fotos para apoio à ordenação da base de fotografias policiais. Entre os algoritmos existentes para reconhecimento de faces, foi selecionado o PCA (Principal Component Analisys). Uma base de dados para cadastramento foi criada, incluindo fotografias, e o algoritmo de reconhecimento foi implementado para completar a funcionalidade do sistema. Testes sugerem bom grau de reconhecimento e boa adaptação à tarefa de ordenação do conjunto de fotos. / Face recognition is one of the most challenging subjects in computational vision. Methods that are safe and reliable are employed in a variety of applications, like the suspect identification case treated here. Suspect identification is usually carried out with help from witnesses and victims, with the use of photo albume. However, this method is tiresome, time consuming and misleading to the victim, particularly after a number of photos have been examined. It is possible, nowadays, to use available algoritluns and techniques to support suspect identification tasks, by sorting photographs using similarities as keys. This work regards the study and implementation of teclunques for filing and browsing suspect information, with use of a face recognition algoritlun to help identification. Amongst the face recognition algoriduns available, a version of PCA (Principal Component Analysis) was implemented. A multimedia database was created to help register individuais and occurrences, and the recognition algoridun was written to work with the data base. Tests suggest good recognition and suitability for database ordering.

Este trabalho apresenta um protótipo de ferramenta, a Html2Hip, que proporciona um ambiente de importação e adaptação de documentos descritos segundo o padrão HTML (HyperTexi Markup Language) para a representação interna do SASHE (Sistema de Autoria e Suporte Hipermiclia para Ensino), que se baseia na estruturação de objetos multimidia, segundo a hierarquia de classes proposta pelo MCA (Modelo de Contextos Aninhados). Além disso, este trabalho estendeu a capacidade do editor de nós de informação do tipo texto do protótipo anterior no que concerne ao processamento de arquivos-texto descritos pelo padrão RTF (Rich Text Formai). Dessa forma, o SASHE tornou-se capaz de processar e organizar materiais instrucionais preparados em seu próprio ambiente, no ambiente NX/NTAT/ (World-Wide Web), bem como em processadores de texto comuns. / This work presents a tool prototype, the Html2flip, that provides an importation and adaptation environment of documents described in HTML (HyperText Markup Language) standard for the internai representation of the SASHE (Hypermeclia System for Authorship and Supporting Educational Applications), that is based on the structural organization of multimeclia objects, proposed by MCA (Nested Contexts Model). Moreover, this work extended the capacity of the information text node editor of the previous prototype conceming the processing of text-files described in RTF (Rich Text Formar) standard. This way, the SASHE became capable to process and to organize instructional materiais prepared in its proper environment, in the WWW (World- Wide Web) environment, as well as in common word processors.

O armazenamento e a recuperação de imagens podem fazer-se pela indexação de características extraidas, automaticamente, por algum procedimento computacional. Estas caracteristicas são muitas vezes constituídas por valores numéricos sob a forma de vetores, representando coordenadas de pontos no espaço cuja dimensão é determinada pela quantidade destes valores. Diversos métodos de indexação voltados para este tipo de dados têm sido estudados e desenvolvidos no contexto de Sistema Gerenciadores de Banco de Dados. tidos como Métodos de Indexação Espacial, com o intuito de melhorar o desempenho do acesso às informações. O presente trabalho se inicia pela exposição de como o Modelo de Dados SIRIUS define \"Imagem- como tipo de dados abstrato, visando o desenvolvimento de aplicações na área médica. e como algoritmos de extração de características são associados a este tipo. Em seguida, fez-se o estudo sobre dados espaciais envolvendo: definições, propriedades, aplicações e métodos de indexação espacial, onde os métodos R-Tree e TV-Tree são descritos. Por fim, discutiu-se o resultado de testes feitos com esses métodos, utilizando conjuntos de pontos entre as dimensões 2 e 255, o que aponta o segundo (TV-Tree) como o mais adequado a aplicações que trabalham com pontos em dimensões distintas e elevadas. Dessa forma, pôde-se definir qual o método mais preferencial a ser incorporado ao Gerenciador de Objetos do SIRIUS, afim de efetuar a indexação do tipo de dados -Imagem\" nesse ambiente. / The retrieval of images from databases using features automatically extracted from the stored material takes advantage of ali information contained in the images, and it precludes human analysis. The features extracted are typically arrays of numbers that are used by index structures as points in an n-dimensional space, where n is the size of the feature array. Recently, many indexing methods for the image data type have been studied and developed on the context of Data Base Management Systems. Such methods are known as Spatial Data Structures or Multidimensional Access Methods. This work briefly introduces how \"Images\" are defined as an abstract data type in the SIRIUS Data Model, and how feature extraction algorithms can be associated to this data type. The approach is aimed toward a medical domain application context Therefore, the most important spatial data types are studied, describing their properties, common applications and indexing methods. The methods R-Tree and TV-Tree are described in detail. Finally, the results of the tests performed using these methods for point data sets within the dimensions 2 and 255 are presented. It was seen that the TV-Tree method is better suited for applications that need to work with point data in distinct and high dimensions. Thus, the TV-tree method can be used in the SIRIUS/GO Object Manager.

Este trabalho apresenta um estudo sobre as modificações necessárias no ASiA (Ambiente de Simulação Automático) para viabilizar a utilização de Redes de Petri para a representação de modelos. Esse estudo inicia-se com uma comparação entre Redes de Filas e Redes de Petri. utilizadas como técnicas para modelagem de sistemas computacionais, visando a avaliação desses sistemas através de simulação. O estudo da viabilidade analisa diversos aspectos tais como: possibilidade de utilização da linguagem SMPL; avaliação das modificações necessárias no Editor Gráfico; alterações necessárias no Gerador de Aplicações e no Gabarito utilizado pelo ASiA. / This work presents a study in respect to the modifications required in ASiA (Automatic Simulation Environment) to make possible the utilization of Petri Nets in models representation. The first step of this study is a comparison between Queue Nets and Petri Nets, when they are used as a techinique for computer system modeling, aiming the avaluation okf these systems using simulation. The viability study considers differents aspects, such as: the usage of SMPL in the simulation of systems represeted through Petri Nets; evaluation of the changes in the ASiA Graphic Editor, Aplication Generator and in the stencil used for the ASiA.

Este trabalho apresenta um estudo sobre problemas de dimensionamento de lotes monoestágios, que consistem em determinar as quantidades de itens a serem produzidos em diferentes períodos de tempo, de modo a minimizar a soma dos custos de produção, preparação e estoque. A quantidade produzida em cada período deve ser capaz de atender as demandas dos itens, sem exceder a capacidade de máquina. Para retratar o consumo de recursos, são incluídos tempos de preparação e produção. Inicialmente, são apresentados alguns métodos básicos para resolução de modelos simplificados e, em seguida, apresenta-se dois métodos para resolução de importantes modelos da literatura de problemas monoestágios. O primeiro, foi desenvolvido por Trigeiro et ai. (1989) e consiste num método heurístico baseado em relaxação Lagrangiana, no método de otimização do subgradiente e em uma heurística de factibilização. O segundo método, desenvolvido por Diaby et aL (1992a), é um método exato, baseado num procedimento de enumeração implícita, onde os limitantes inferiores são gerados por relaxação Lagrangiana tendo como opção a utilização do método de otimização do subgradiente. O primeiro método foi implementado assim como uma versão modificada. Finalmente, são apresentados alguns experimentos computacionais comparando as duas versões. / This work presents a study of the single product lot sizing problems. These problems consists of determining the quantities to be produced in different periods of time, minimizing the sum of costs of production, setup and inventory. The quantity to be produced in each period should be sufficient to attend the demands of items, without exceeding the capacity of the machine. To model the aspects of consumption of resources, setup and production times are included in the model. Initially, some basic methods for resolution of simplified models are presented, followed by two other methods for resolution of important models in the literature of single product problems. The first one, developed by Trigeiro et aL (1989), consists of a heuristic method based on Lagrangean relaxation, subgradient optimization and a feasibility heuristic. The second one, developed by Diaby et aL (1992a), is an branch and bound method, using lower bounds generated by Lagrangean relaxation, and the subgradient optimization method as an option. The first method was implemented together with a modified version. Finally, it is presented some computational experiments comparing both versions.

Este trabalho cobre as principais tecnologias de redes de comunicação de alto desempenho e suas aplicações. O enfoque principal é o estudo e a seleção de um padrão de rede de alta velocidade adequado para a implementação de sistemas computacionais paralelos de alto desempenho. Os resultados do estudo feito foram aplicados no SPP2, uma arquitetura paralela baseada em computadores pessoais desenvolvida no LCAD-ICMC-USP. É proposta uma nova topologia de rede de alto desempenho para essa máquina baseada em componentes Myrinet. A nova rede de comunicações do SPP2 atende perfeitamente os requisitos iniciais do sistema. Os testes de desempenho realizados mostram um desempenho muito superior ao padrão de rede originalmente adotado no SPP2 e aos padrões de rede comumente utilizados em redes locais de estações de trabalho. A arquitetura SPP2, com o novo sistema de comunicações, representa um grande passo na disseminação do processamento paralelo por apresentar características como baixo custo, alto desempenho, facilidade de construção e ampla disponibilidade de componentes para atualização do seu desempenho. / This work presents some technologies and applications of high performance computa networks. The main goal is the study and selection of a computer network standard for the implementation of high performance parallel computer systems. Results from the study phase were applied to the SPP2, a parallel architecture based on personal computers developed at the LCAD-ICMC-USP. A new topology of a high performance communication network is proposed for the SPP2, based on Myrinet components. The new communication network complies with the original requirements for the SPP2. Performance evaluation tests were conducted and show a much higher performance than the original SPP2 communication network and the network standards commonly used in workstation networks. The SPP2 architecture and its new communication network are a big step towards the dissemination of parallel processing, presenting low price, high performance, easy implementation and large availability of components, allowing for easy updating of performance.

Este trabalho apresenta uma especialização do Método Primal Simplex para resolver o Problema de Aproximação Linear no L1 e o Problema de Regressão Quantil, os quais são casos particulares de Problema de Programação Linear por Partes. No Problema de Regressão Quantil a função objetivo linear por partes depende de um parâmetro θ e, com pequenas adaptações da pós otimização clássica da Programação Linear, pode-se determinar o intervalo para θ onde a solução do problema fica invariante. Assim, este trabalho apresenta também uma maneira simples para realizar esta análise pós otimização. Além disso, este trabalho apresenta alguns resultados computacionais, utilizando-se de exemplos da literatura. / This work presents a specialized of the Primal Simplex Method in order to solve the Least Absolute Approximation Problem as well as the Regression Quantile Problem, which are particular instances of Piecewise Linear Programming Problem. The piecewise linear objective function of the Regression Quanrile Problem is defmed using a parameter θ and slight modification in the classic post-optimality analyses of Linear Programming can be obtained in order to determine the interval for θ where the solution remains invariant. This work presents a simple manner to get this interval. Furthermore, this work illustrates some computational performance of the implemented method using examples from the literature.

O conceito de manufatura celular consiste em decompor um sistema de manufatura em subsistemas mais fáceis de gerenciar que o sistema global. As máquinas são agrupadas em células e as peças em famílias. Cada par família-célula constitui uma célula de manufatura. Nesta dissertação estudamos vários algoritmos e modelos para a obtenção de células de manufatura e propomos um método para resolver este problema baseado no algoritmo da máquina semente. Os resultados obtidos sobre vários exemplos da literatura são equivalentes ou melhores que aqueles existentes. / The concept of cellular manufacturing is to decompose a manufacturing systems into subsystems, which are easier to manage than the global manufacturing system. Machines are grouped into machines cells and parts are grouped into part families. Each family-cell pair constitutes a manufacturing cell. In this thesis we study several algorithms and models for cellular manufacturing design and we propose a method to solve this problem based on the seed machine algorithm. The results obtained with this method on several examples found in the literature are consistently equivalent to or even better than those hitherto proposed.

O propósito deste trabalho é fazer uma análise Bayesiana conjugada e utilizar métodos amostrais na teoria de filas, em particular para os sistemas M/M/1, M/M/1/k, M/M/c e M/M/ ∞. Nosso maior interesse reside no estudo das chamadas medidas de desempenho: número de usuários no sistema e na fila, tempo de permanência no sistema e na fila e comprimento do período ocioso e ocupado, pois são essas medidas que nos fornecem o comportamento do sistema. Concentramos a atenção nas distribuições preditivas das medidas de desempenho. Na análise Bayesiana conjugada, mostramos que a escolha da priori é fundamental para que tenhamos distribuições preditivas com momentos. Mas esta escolha nem sempre é feita de maneira natural, e notamos que a análise Bayesiana conjugada pode se mostrar bastante complexa. Para evitarmos os problemas surgidos com a análise Bayesiana conjugada, sugerimos a utilização de métodos amostrais, através de uma técnica bastante original. Com o algoritmo Sampling-Importance-Resampling (SIR) simulamos as distribuições preditivas das medidas de desempenho. Com o histograma de Berger determinamos a informação a priori de p (intensidade de tráfego), que pode ser feito via MINITAB. Para a utilização deste procedimento necessitamos somente da informação a priori da intensidade de tráfego. / The purpose of this work is to do the conjugate Bayesian analysis and to use sampling methods in the theory of queue, in particular in the queue systems M/M/1, M/M/1/k, M/M/c and M/M/ ∞. Our mayor interest is to study the so called measures of effectiveness of the queue, ie, the number of customers in the system and in the queue, the waiting time in the system and queue and the length of idle periods and busy periods. These measures give us the behaviour of the system. We concentrate our attention the predictive distribution of the measure of effectiveness. We show that in the conjugate Bayesian analyis, the choice of the prior distribution is fundamental to determine the predictive distribution.s with moments. This choice is not always natural, and we show that the conjugate Bayesian analysis can become very complex. To avoid this problem with conjugate Bayesian analysis, we suggest the use of a particular simulation technique. We use the Samplin.g-Importance-Resampling (SIR) algorithm to simulate predictive distributions of the measures of effectiveness. The histogram approach describe by Berger, is use via MINITAB to assess the prior information of the intensity of trone. To appply the sampling proced-ure, we only need the prior information of the intensity of traffic.