Na presente tese apresentamos um novo método para carregamento de eletretos com radiação alfa. Discutimos também carregamento com raios-x e comparamos os dois métodos. O carregamento é feito com a aplicação simultânea de um campo elétrico (0 a 1000 V/cm) no ar sendo que a ionização causada pela radiação fornece os íons para polarização do eletreto. Utilizamos uma fonte de Am241 (A= 1 micro Curie). Com radiação alfa a dependência da carga depositada com o campo é linear até 1000 V/cm. Cargas na faixa de 1 a 10 nano Coulombs podem ser obtidas pelo método. Estudamos a estabilidade da carga e o tratamento térmico adequado para aumentá-la. Com tratamento a 145&#176C por 10 min. No ar, conseguiu-se uma estabilidade final melhor que 2% ao mês. Estudamos também a distribuição linear de carga e a melhor geometria da fonte alfa para garantir a uniformidade da carga. Finalmente estudou-se também o comportamento dos dosímetros de eletretos cilíndricos carregados pelo novo método com relação à dosimetria de raios-X e partículas alfa usados desta feita para carregar o sistema. O método mostrou-se perfeitamente adequado e similar ao método de corona-eletreto, como sugerimos denominá-lo, podem-se conseguir várias vantagens comparativamente aos métodos normais: simplicidade de carregamento, carregamento rápido graças ao grande poder de ionização das partículas alfa, possibilidade de construção de um dosímetro de eletreto auto-recarregável portátil / In the present work we investigate a new method for charging of electrets using alpha radiation.We also discuss charging with X-rays and compare both methods. The charging is made with the simultaneous application of an electric Field (0-1000 V/cm) in air, the corresponding íons from alpha interaction furnishing the charges to polarize the electret. We have used a small Am241 source from smoke detectors (Activity approximately 1 microCurie). The dependence of deposited charge upon applied Field is linear up to 1000 V/cm and charges in the range of 1 to 10 nanocoulombs can be easily obtained by the new method. We have also studied the decay and stability of the charge and used an appropriate thermal treatment (145 C, 10 minutes in air) to further stabilize the electret. A final decay of less than 2% per month was obtained. We have also investigated the linear charge distribution an the electret and the Best geometry for uniformity. Finally we have also investigated the behavior of the cylindrical electret dosemeter charged by the new method and found it perfectly adequate for X-rays and alpha particle dosimetru. With the new charging method (the alpha-electret as we suggest to name it in comparison with corona-electret) several advantages are obtained: simple and quick charging and the possibility of construction of rechargeable electret dosemeter.

Este trabalho apresenta um conjunto de diretrizes que apóiam o processo de reengenharia de um sistema procedimental (escrito na linguagem Clipper) para um sistema orientado a objeto (escrito na linguagem Delphi). As diretrizes foram baseadas na experiência adquirida com a realização da reengenharia no sistema SAPES (um sistema que apóia o uso de um banco de dados bibliográfico pessoal na escrita de documentos). As diretrizes envolvem o método FUSION-RE/I, no passo de engenharia reversa, e a ferramenta FusionCASE, no passo de reconstrução. / This work presents a set of guidelines that support the reengineering process of a procedural system (implemented in the Clipper language) into an object-oriented system (implemented in the Delphi language). The guidelines are based on the experience acquired with the reengineering of the SAPES system (a system to support the use of a personal bibliographic database in task of writing documents). The guidelines involve the FUSION-RE/I method, in the reverse engineering step, and the FusionCASE tool, in the reconstruction step.

As trocas na estabilidade de uma classe de equações diferenciais lineares com retardamento são estudadas, quando se considera o retardo como um parâmetro. Condições garantindo estabilidade ou instabilidade das soluções de equilíbrio são apresentadas. Finalmente, algumas aplicações a modelos biológicos e físicos são feitas. / The changes in the stability of a class of linear differential delay equations are studied, by taking the delay as a parameter. Conditions assuring stability or instability of steady-state equilibrium solutions are presented. Finally, some applications on biological and physical models are made.

Neste projeto de mestrado foi estudado um processo de geração de modelos tridimensionais de dentes a partir de dados reais. Foram elaborados e implementados um algoritmo para reconstrução 3D de dentes, e vários programas complementares para apoiar a reconstrução. Um modelo tridimensional é criado a partir de contornos planares que descrevem as estruturas de interesse, representados por polígonos extraídos de fatias ou cortes paralelos de um dente. O algoritmo foi implementado na forma de uma classe, em extensão a uma biblioteca de visualização de propósito geral, o VTK (Visualization Toolkit), com resultados bastante promissores. / In this MSc research a process of generating three-dimensional models for teeth from real data was studied. Mi algorithm for 3D tooth reconstruction and several complementary programs to aid reconstruction were designed and implemented. A three-dimensional model is created from planar contours describing the structures of interest, represented by polygons extracted from parallel slices of a tooth. The algorithm was implemented as an object class, extending a generalpurpose visualization library called VTK (Visualization Toolldt), with very promising results.

Esta dissertação visa analisar os construtores de Modelos de Dados Orientado a Objetos, para verificar sua usuabilidade nas situações de utilização real em projetos de aplicações centradas em Bases de Dados. O trabalho aqui apresentado se finidamenta no modelo SlRIUS, um Modelo de Dados Orientado a Objetos, baseado em Abstrações de Dados. O desenvolvimento de SlRIUS utiliza como ponto de partida um metamodelo que permite representar, de maneira uniforme, os elementos essenciais de qualquer modelo de dados orientado a objetos. Seu desenvolvimento teve como objetivo atender às necessidades de suporte à construção de software para ambientes de projetos de engenharia. A representação gráfica dos elementos construtivos de um modelo de dados é um dos principais recursos que permitem registrar o conhecimento representado por uma modelagem. Para que um usuário possa elaborar e/ou utilizar uma modelagem, é necessário que essa representação gráfica seja clara, limpa, concisa e efetiva. Por outro lado, deve permitir que os conceitos de modelagem do modelo em si também sejam claramente expressos. Logo, para que este modelo possa ser uma ferramenta adequada para ser utilizada por projetistas, analistas e programadores de gerenciadores de Bases de Dados, é necessário que a notação diagramática do modelo priorize a intuitividade e a clareza, e não só o compromisso com a teoria que embasa o modelo. Para atender estas necessidades, este documento mostra uma nova representação, mais voltada para a modelagem de situações do mundo real, de fundamental importância para que um modelo possa ser aceito e realmente utilizado, e com isso incrementar sua utilidade prática. Conseqüentemente, alguns pontos do modelo foram validados e outros reformulados, acrescentando-se aspectos que não foram cobertos no modelo original. O texto apresenta também o editor E2SIRIUS, criado com o objetivo de servir tanto para edição de esquemas quanto para auxiliar no treinamento de projetistas nos conceitos do modelo. / The work described herein consists ofanalyzing Object-Oriented Data Model constructors to verify their usability in real use situations for DataBase centered application projects. The work presented here is based on the SERIUS model, ar\' Object-Oriented Data Model that is based on Data Abstractions. The development of SIRIUS uses, as a starting point, a metamodel that permits the uniform representation of the essential elements of any object-oriented data model. Its development aimed to fulfill the need for support for the construction of software for engineering project environments. The graphic representation of a data model\'s construction elements is one of the main resources that permit the recording of knowledge represented through modeling. To enable the user to prepare and/or use a modeling, this graphic representation must be clear, clean, concise and effective. On the other hand, it must also allow for the model\'s modeling concepts themselves to be clearly expressed. Thus, for this model to constitute ar\' adequate tool for use by Data Base management designers and programmers, it is necessary that the model\'s diagrammatic notation prioritize intuitiveness and clarity, rather than just its commitment to the theory on which the model is based. To meet these needs, this document presents a new representation that focuses more strongly on the modeling of real world situations, a fimdamentally important factor for a model to really become accepted and used, thus increasing its practical usefulness. Some of the model\'s points have, therefore, been reformulated with the addition of aspects that had not been covered in the original model. This paper also presents the ESIRIUS editor, which was created to serve both for scheme editing and as a designer training aid of the model\'s concepts.

Neste trabalho apresentamos relações entre os grupos de Witt dos espaços bilineares sobre um domínio de Dedekind, dos espaços bilineares sobre seu corpo de frações e dos espaços bilineares definidos em módulos de torção sobre um domínio de Dedekind. Como aplicação destas relações, determinamos o grupo de Witt dos espaços bilineares sobre o anel dos números inteiros. / In this work we present some relations among the Witt groups of bilinear spaces over Dedekind domain, of bilinear spaces over your quotient field and of bilinear spaces on torsion modules over a Dedekind domain. As one aplication of this relations, we stablish the Witt group of bilinear spaces over the integer numbers.

Este trabalho aborda o problema de sincronização entre processos em uma simulação distribuída orientada a eventos. Dentre os mecanismos voltados à sincronização entre processos, propostos na literatura, optou-se pela abordagem otimista Time Warp. O trabalho enfoca a dificuldade de processamento que um modelo de um sistema real resolvido por simulação seqüencial pode vir a apresentar. Com o intuito de minimizar o tempo de execução de uma simulação seqüencial, vem-se adotando a simulação distribuída. No entanto, a utilização desta técnica introduz outros problemas, entre eles, o problema de sincronismo entre processos. Um sistema que descreve o funcionamento do mecanismo Time Warp é desenvolvido. Esse sistema, chamado STW, incorpora alguns algoritmos que otimizam a utilização do mecanismo Time Warp. As otimizações introduzidas no sistema são a estratégia de cancelamento agressivo e o cancelamento preguiçoso. Uma biblioteca destinada à construção de modelos de sistemas de filas, denominada SimTW, é implementada e utilizada no estudo de caso. O modelo utilizado pelo estudo de caso é o STW. Os resultados obtidos com a simulação desse modelo indicam uma análise comportamental das otimizações introduzidas no sistema STW. / This dissertation focuses on the interprocess synchronization problem in distributed discrete-event simulation. The literature presents several approaches for interprocess synchronization and in this work the Time Warp optimistic approach is adopted. The work discusses the processing power demand presented by sequential simulation. In order to minimize running time of sequential simulation, distributed simulation has been adopted. Howewr, the utilization of these techniques introduces some other questions, such as, the interprocess synchronization problems. A system that implements the Time Warp approach is developed. This system, named STW, aggregates some algorithms that optimize the use of the Time Warp approach. Some oprimizations are introduced in the system, including: Lazy and Aggressive Cancellation Strategies. A library which the aims of providing the ways for building models of queuing systems (SimTW) is implemented and used in a case study. The model used to validate the case study represents the STW. The results obtained through the model simulation show a behavioral analysis of the optimizations introduced into the STW.

A área de computação oferece uma variedade de técnicas e ferramentas com o objetivo de auxiliar na resolução de problemas de diversas áreas de aplicação. O sucesso de um projeto depende muitas vezes da escolha correta dessas ferramentas e das técnicas que serão utilizadas durante as fases do desenvolvimento. Além disso, é importante conhecer previamente as expectativas do usuário e qual seu grau de familiarização com o uso de sistemas informatizados. Esta dissertação de mestrado aborda a utilização de diferentes técnicas e ferramentas de programação na solução de um problema especifico o acasalamento de canários de cor. O trabalho apresenta um levantamento detalhado da evolução dos canários, da sua descoberta até a última mutação registrada envolvendo os genes responsáveis pela cor da plumagem. Para uma melhor compreensão do assunto, é apresentada uma pequena revisão sobre genética e sobre o conhecimento de especialistas da área de canaricultura de cor. Para solucionar o problema, são considerados neste trabalho a utilização de diferentes métodos de desenvolvimento propostos por duas grandes áreas: a Engenharia de Software e a Inteligência Artificial. As técnicas estudadas são implementadas, integrando um Sistema Baseado em Conhecimento e a programação convencional num único sistema. O resultado obtido demonstra que pode-se obter uma solução mais adequada ao problema quando diferentes métodos são combinados. / The computing area offers a variety of techniques and tools with the objective of helping the resolution of problems from several applications areas. The success of a design depends many times on the correct choice of these tools and techniques which will be used during the phases of development. Moreover, it is important to Icnow previously the expectation of the user and how is his degree of familiarization with the use of information systems. This MSc dissertation approaches the use of different techniques and programming tools in the solution of a specific problem - the colored canaries breeding. The work presents a detailed survey of the evolution of the canaries, since its discovery until the last registered mutation involving the responsible genes for the colour of the plumage. For better understanding, the dissertation presents a short revision about genetics and specialists icnowledge about coloured canaries. To solve the problem, this work considers the use of different methods of development from two wide areas: Software Engineering and Artificial Intelligence. The studied techniques are implemented, integrating Knowledge Based System and conventional programming in the same system. The final results demonstrate that a better solution for a given problem can be achieved by combining different methods.

Neste trabalho obtemos a classificação dos multigermes simples de C2 em C3 bem como resultados sobre sua topologia. Para estes multigermes mostramos que o complementar do conjunto de bifurcação é um espaço de Eilenberg-MacLane. Para alguns multigermes de Cn em Cp de codimensão 1 e coposto 1, mostramos que sua forma real admite uma perturbação real cujo discriminante tem o mesmo tipo de homotopia que seu correspondente complexo. / In this work we obtain the classification of simple multigerms of maps from 2-space to 3-space and also some results about their topology. For some codimension 1 and corank 1 multigerms from Cn to Cp we show that we can find a real form and a real perturbation such that the inclusion of the real discriminant in that of the complexification induces an isomorphism on the vanishing homology.

O processo de desenvolvimento de software consiste em um complexo interrelacionamento de recursos com o objetivo de produzir e manter um software em operação. O emprego de tais recursos, se gerenciados adequadamente, pode permitir que a produção de software seja feita dentro de prazos e orçamentos estabelecidos, além de influenciar na qualidade final do produto. Para tanto, mais que planejar o desenvolvimento, é necessário acompanhar e avaliar a evolução do mesmo a cada momento do desenvolvimento. Mudanças de estado entre o início e o fim do processo de desenvolvimento exigem uma avaliação que considere os ciclos de retroalimentação. A modelagem de processos dinâmicos permite que a avaliação seja feita visualizando-se os elementos do sistema e seus relacionamentos. A simulação do comportamento do sistema é feita com base em relações matemáticas, permitindo a visualização do consumo de recursos no decorrer do tempo. Este trabalho apresenta uma ferramenta de apoio à modelagem de sistemas dinâmicos que permite simular o comportamento do modelo, apresentando os resultados obtidos em tabelas e gerando gráficos que representam as tendências do modelo criado. Uma atividade gerencial do projeto de software é modelada e simulada para exemplificar a utilização da ferramenta e outro modelo é apresentado, mostrando a possibilidade de aplicação da ferramenta em outras áreas. / The software process is a complex conglomerate of resources to develop and keep a software in use. Use of these resources, if adequately managed, may allow software production according to the schedule and budget planed, as well as influence the final product quality. To obtain this, besides development planning, it is needed to control and evaluate continuously the development process. Changes of state between the start and end of the development process requires an evaluation based on feedback cycles. The modelling of dynamic processes allow that they be evaluated visualising the system\'s components and their relationships. Simulation of system behaviour is performed based on mathematical relationships that allow resource consumption visualisation based on time. This work presents a tool to support modelling of dynamic systems and allows the model\'s simulation. It presents the results in tables and generates graphics representing the model\'s behaviour and its trends. A software project management task is presented and simulated to show the tool\'s use and another model is presented showing the application of system dynamics in other areas.