Esta trabalho apresenta a utilização de Queuing SLatecharts para a especificação de modelos de sistemas computacionais em um sistema de simulação automático. Durante o trabalho de mestrado, foi implementado o Módulo de Interface Gráfica com o Usuário e o Módulo Avaliador Nívl 1 do ASDA (Ambiente de Simulação Automática Distribuída), e o desenvolvido urri gerador de programas de simulação para a extensão funcional SMPL (Simulation Prograrnming Language). Forma definidas as estruturas de dados que permitem o armazenamento, a alteração e recuperação do modelo. O módulo de Interface com o Usuário implementado permite que o usuário defina o modelo, a parametrização e o gerenciamento das informações dos usuários do ambiente que atua cm conjunto com o Módulo Avaliador Nível I consiste na definição das regras para a verificação da consistência do modelo e a validação dos parâmetros. O gerador de programas de simulação desenvolvido possibilita que o usuário gere automaticamente seus programas de simulação a partir da especificação gráfica e dos parâmetros do modelo definidos pelo usuário de simulação. As regras para a verificação da consistência do modelo e da validação dos parâmetros foram definidas durante o desenvolvimento do Módulo Avaliador Nível 1. O gerador para programas de simulação desenvolvido neste trabalho permite ao usuário utilizar o modelo armazenado na estrutura de dados e gerar automaticamente o seu programa de simulação. São apresentados exemplos e resultados de programas de simulação gerador. / This inaster thesis presents a work consisting in including the Queuing Statecharts approach for specifying computational system models for performance evaluation. During this work, the User Graphic Interface Module and the Evaluation Levei 1 Module for ASDA (Automatic Distributed Simulation Environment) were impleniented and a generator of simulation programs for the functiorral extension SMPL (Simulation Programming Language) was developed. The data structure which handles the rrrodel storage, modification and recovering was also defined. The User Graphic Interface Module allows the user to define the model and parameters and to manage the information about the users in the environment, acting togethcr the Evaluation Levei 1 Module for make it possible to user to define the model and parameters without inconsistences. The development and implementation of Evaluation Levei 1 Module consisted in defiirirrg the rules for verifyirrg the rrrodel consistence and validating the parameters. The generator of simulation programs allows the user to automatically generate simulation programs from graphic specification and the model parameters defined by the simulation user. The rules for vcrifying the model consistence and validating the parameters were defined during the development of Evaluation Levei 1 Module. The generator of simulation programs developed in this work allows the user to utilize the model stored in the data structures and to generate automatically simulation programs. Examples and results of generated simulation programs are presented.

Fotografias aéreas possuem aplicações nos mais variados tipos de atividades. Como exemplos, pode-se citar agricultura, vigilância, mapeamento e planejamento urbano, levantamento de malha rodoviária, levantamento topográfico e atividades militares, entre outras. E de grande importância a associação de imagens aéreas às coordenadas geográficas do local onde são obtidas. Esse tipo de associação é chamado de georeferenciamento, e é necessário para que seja possível utilizar, de forma satisfatória, os dados contidos nas imagens. Recentemente, o avanço da tecnologia na área de posicionamento global tem fornecido sensores capazes de determinar coordenadas geográficas em tempo real com grande precisão. Isso permite a criação de sistemas que automatizam o processo de georeferenciamento das imagens a um baixo custo. Além disso, o uso de equipamentos de fotografia aérea de pequeno formato associado ao uso de aeronaves do tipo ultraleve como plataforma também tem permitido uma significativa redução no custo de obtenção de imagens aéreas. Neste trabalho de mestrado foi desenvolvido o SciaGeo, um sistema para aquisição automática de imagens aéreas georefcrenciadas utilizando aeronaves do tipo ultraleve. Foram obtidos bons resultados com o SciaGeo, por meio de testes em campo, realizados em uma região agrícola, sobre culturas de soja e milho. Esses testes geraram imagens georeferenciadas de boa qualidade, permitindo a extração de informações importantes da cultura por meio de processamento digital de imagens. / Aerial photographs can be applied in a wide variety of activities. For example, they can be applied to agricultura, surveillance, urban mapping and planning, road survey, topographic mapping and military activities. There is a need for the connection of aerial imagery to the geographic coordinates of the location where the images were acquired. This type of connection is called georeferencing, and it is required for the efficient use of the information extracted from the images. Recently, technology advances in global positioning systems have provided sensors that are able to fix positions in real time with great accuracy. This allows the development of systems that automate image georeferencing at a low cost. Furthermore, the use of small format photography in conjuntion with ultralight aircraft has allowed a cost reduction in aerial image acquisition. This work relates to the development of SciaGeo, an automatic system for aerial image acquisition and georeferencing using ultralight aircraft. Good results were achieved with SciaGeo in field tests. These tests were done in agricultural locations, over soya and sweet corn fields. Good quality georeferenced images were obtained from the field tests, making it possible to extract information from them using digital image processing techniques.

C. Olech |28] provou que os problemas de estabilidade assintótica global de campos de vetores no Rn e injetividade global de aplicações do Rn nele próprio estão interrelacionados. Neste contexto, deparamo-nos com a Conjectura Fraca de Markus-Yamabe, cujo enunciado é o seguinte: Se F : Rn → Rn é uma aplicação de classe Cl tal que para todo ponto p ∈ Rn, todos os autovalores da derivada DF(p) têm parte real negativa, então F é uma aplicação injetiva. O objetivo deste trabalho é apresentar alguns resultados referentes a esta conjectura. / It has been shown by C. Olech [28] that global asymptotic stability of vector fields of Rn and global injectivity of maps from Rn into itself are interrelated problems. In this context we have the Weak Markus-Yamabe Conjecture whose statement is as follows: If F : Rn → Rn be a C1 map such that for all p ∈ Rn, all the eigenvalues of the derivative DF(p) have negativo real part, then F is an injective map. In this work we present, some results related to this conjecture.

A parte inicial desta tese está relacionada com o formalismo das integrais de Feynman num espaço curvo. Desenvolvemos um processo de quantização para uma partícula movendo-se em uma variedade Riemeniana de dimensão n a qual tem o mérito de ser canonicamente invariante. O método é baseado na teoria de Faddeev-Fradkin para sistemas com Lagrangeanas degeneradas e conduz à proposição de De Witt para a equação de Schredinger. Na segunda parte tratamos dos processos aleatórios. Obtemos uma equação de evolução para um sistema de partículas não interagentes movendo-se em um espaço curvo considerado como um espaço euclidiano vinculado. A equação de evolução reproduz corretamente, para tempos pequenos, o comportamento mecânico do sistema e, para intervalos de tempos maiores, a equação da difusão. Fazemos uma aplicação para o rotor planar sujeito à colisões térmicas como uma primeira aproximação ao estudo da auto correlação de dipolos rígidos / The first part of this work deals with Feynman\'s path integral formalism in eurved spaees. We develop a quantization procedure for a particle moving in a Riemannian manifold of dimension which has the merit of being fully canonically invariant. It is based on the theory of Faddeev-Fradkin for Hamiltonian constrained systems and leads exactly to De Witt\'s proposal for the Schrôdinger equation. In the second part we are concerned with random processes An evolution equation is obtained for a sistem of non-interacting particle moving in a curved space considered as a constrained euclidean space. The evolution equation reproduces correctly the short time behaviour of the mecanical sistem and, for longer times, leads to the covariant diffusion equation. An application is made for planar rotators subject to thermal collisions as a first approximation to the study of the self-correlation of rigid dipoles

Este trabalho estuda as redes de interconexão da arquitetura a fluxo de dados Proto-WOLF, descreve suas implementações através do simulador da arquitetura (SAW Simulador da Arquitetura Proto-WOLF) e identifica qual tipo de chave é mais adequada. A fim de contextualizar o trabalho, são apresentados os fundamentos de redes de interconexão e as topologias mais amplamente utilizadas em arquiteturas MIMD, também são dadas as descrições de algumas das mais conhecidas máquinas a fluxo de dados.São dadas as descrições do estágio atual do simulador SAW e da arquitetura Proyo-WOLF a fim de definir as características das chaves de interconexão mais adequadas à arquitetura. Os resultados da implementação dessas redes são apresentados e analisados, verificando-se que a combinação Crossl-Gsn apresenta o melhor desempenho / This work presents the Proto-WOLF interconnection networks and describes the implementations in the simulator SAW and identifying the best network configuration. A survey of interconnection networks and a description of some dataflow machines is presented in order to contextualize the work. The current version of the simulator is presented in order to define the features of the interconnection networks that best fit the Proto-WOLF architecture. Simulation results are presented and analyzed to validate the work, and indicate that the Crossl-Gsn combination has the best characteristics

A detecção precoce do câncer de mama é dificultada pela falta de contraste das imagens fornecidas pelos sistemas mamográficos. Com esta pesquisa procuramos auxiliar o diagnostico, reconhecendo a forma das micro-calcificações associadas aos tumores. As micro-calcificações, principalmente as vermiformes e anelares, são indícios decisivos da presença, ou não, dos carcinomas. o reconhecimento da forma das micro-calcificações e feito por processamento computacional, aplicando algoritmos baseados na transformada de Hough. Desenvolvemos para esta finalidade algoritmos de segmentação, detecção de formas vermiculares e elípticas anelares / Breast cancer early detection is difficult due the problems with the mammography systems images contrast. This research aims to aid the diagnostic by recognizing the micro-calcifications shape. The micro-calcifications, mainly the vermiculated and the ring shaped, are positive indications of existence, or not, of carcinomas. The recognition of micro-calcifications shape is performed by a computer processing, by applying Hough transform-based algorithms developed to this purpose

Foi desenvolvido um sistema posicionador plano de precisão da ordem de micrometros concebido para possuir as qualidades revelantes e a versatilidade necessária a possibilitar várias aplicações em inspeção visual automática. As aplicações consideradas foram inspeção visual automática em ambiente industrial para análise de falhas em linhas de montagem, subsistemas digitalizadores (microdensitômetros) de imagens médicas, geração de circuitos impressos multicamadas / It has been developed a positioning system in the plane, with a precision around micrometers. The system was designed to have quality and versatility that are need in several automatical visual analisys. The applications considered were automatical visual analisys in industry for detection of faitures in assembly lines, digitalization system (in microdensitometry) of medical images, generation of mult-layer printed circuits

Um novo espectrômetro para estudo de EXAFS em laboratórios, com tubos convencionais de raios-X, é apresentado. Este equipamento faz uso de um monocromador curvo para focalização sagital e usa a divergência na outra direção para fazer a dispersão em energia, permitindo que todos os pontos do espectro sejam coletados simultaneamente. O desempenho do espectrômetro para EXAFS foi avaliado com monocromadores planos e curvos. Aspectos como resolução em energia, redução no tempo de aquisição dos dados experimentais e calibração de energia, foram abordados, mostrando que monocromadores com raios de curvatura tão baixos quanto 60mm apresentam praticamente a mesma resolução em energia que os planos. Nos testes foram utilizadas amostras de Cobre e filmes como detectores unidimensionais / A new dispersive EXAFS spectrometer, for use with conventional laboratory x-ray sources, is presented. The equipment uses curved silicon monochromators for simultaneous focusing and dispersion of the available radiation, so that the whole spectrum is collected at one time. The performance of the spectrometer was studied with both curved and plane monochromators with respect to energy resolution, collection time reduction and energy calibration. The results show that there is practically no resolution deterioration, with respect to the plane monochromators, for radios of curvature as low as 60mm. For these tests x-ray films were used as linear detectors, which can be replaced by other low parallax unidimensional detectors, such as CCd type

Este trabalho descreve o projeto, construção e a caracterização de um difratômetro &#952-&#952 de raios X para o estudo de materiais líquidos e policristalinos. A novidade do projeto está no mecanismo que produz as rotações da fonte e do detetor, baseadas no princípio que duas polias concêntricas, com o mesmo diâmetro e ligadas a cintas girarão igualmente quando estas cintas forem puxadas com a mesma força. Com o projeto proposto foi obtida boa reprodutibilidade (&#1770.002&#176) e baixa histerese (&#1770.02&#176) empregando uma mecânica de baixa pressão. O incremento angular mínimo de 0.0005&#176 é conseguido por um motor de passo que translaciona um carro que, por sua vez, puxa as cintas. O difratômetro foi caracterizado usando a radiação CuK&#945 com uma fonte de laboratório convencional de raios X, com e sem um monocromador curvo de silício. Alguns exemplos de difratogramas de amostras policristalinas e líquidas, obtidas com o equipamento, são também apresentadas / This work describes the design, construction and characterization of a &#952-&#952 X-ray diffractometer for the study of liquid and polycrystalline materials. The novelty of the design is in the mechanism that produces the source and detector rotations, based on the principle that two concentric pulleys with the same diameter and attached to belts will equally rotate when these belts are pulled by the same amount. With the proposed design very good reproductibility ((&#1770.002&#176) and low hysteresis (&#1770.02&#176) is achieved with low precision mechanics. The minimum angular incremento f 0.0005&#176 is performed by a step motor that drives a translation carriage which, in its turn, pulls the belts. The diffractometer was characterized, using CuK&#945 radiation from a conventional laboratory X-ray source, with and without a curved silicon monochromator. Some examples of diffractograms from powder and liquid samples, obtained with the equipment, are also presented

Desde que o conceito de Grupos Dualidades de Poincaré foi criado, muitos esforços tem sido feito com a finalidade de estudar as propriedades geométricas de uma variedade fechada nesta nova categoria. Isto é natural, pois um Grupo Dualidade de Poincaré tem sua homologia e cohomologia conectada por um isomorfismo semelhante ao isomorfismo Dualidade Poincaré para variedades compactas. Produtos semelhantes ao cup e cap, operaçrios quadrados de Steenrod, Teorema dos Coeficientes Universais também podem ser definidos para Grupos Dualidade de Poincaré. Da mesma maneira as classes de Stiefel-Whitney, números de Stiefel- Whitney e a noção de cobordismo de Grupos Dualidade de Poincaré pode ser definido, e desde que estas propriedades são essencialmente algébricas, os resultados nesta direção não são novos. Apenas como complemento nós demonstraremos aqui propriedades multiplicativos do índice de \"fibrações\" (sob certas hipóteses) e damos contra-exemplos semelhantes aos dados por Atiyah e Kodaira. O centro deste trabalho é o Teorema de Transfer Parcial de Gotllieb. Sua demonstração utiliza propriedades geométricas refinadas de variedades, que não tem similares para Grupos Dualidades de Poincaré. Graças a sequência espectral de LHS, nós apresentamos aqui uma demonstração do Teorema de Transfer Parcial para uma sequência exata curta: N →i G →π Q de Grupos Dualidades de Poincaré e damos algumas aplicações. / Since the concept of Poincaré Duality Groups was areated, many efforts has been done in order to study the geometrical properties of a closed manifold, in this new category. This is natural because a Poincaré Duality Group has its homology and cohomology connected by an isomorfism like the Poincaré Duality isomorphism for compact manifolds. Products like the cup and cap product, Steenrod square operations, universal coeficient theorems can also be defmed for Poincaré Duality Groups. In this way Stiefel- Whitney classes, Stiefel Whitney numbers and the notion of cobordism of Poincaré Duality Groups can be naturally established. Also the notion of index of Poincaré Duality Group can be defined, and since its properties are essentially algebraic, the results in this direction would not be new. For completness we prove here the multiplicative property of the index for \"fibrations\" (under cetain hipothesis) and we give counter-examples like the ones given by Atiyah and Kodaira. The core of this work is the Partia] Transfer Theorem of Gotllieb. Ris proof uses deep geometrical properties of manifolds, still without similar for Poincaré Duality Groups. Thanks for LHS spectral sequence we present here a proof of the Partia] \'Pransfer Theorem for a short exact sequence: N →i G →π Q of Poincaré Duality Groups and some applications is given.