No presente trabalho estudam-se os circuitos interruptores com relés polarizados, enfocando-se quatro tópicos principais, a saber: a tecnologia e os comandos múltiplo, combinatório e seqüencial. Em relação à tecnologia, propõe-se um dispositivo eletromecânico de comando e chaveamento denominado quantor, com características construtiva e operacional superiores aos relés polarizados tradicionais. Os diversos sistemas desenvolvidos utilizando relés polarizados, mostram a extraordinária flexibilização que se obtém na execução dos comandos múltiplo e combinatório com teclas pulsantes. Apresentam-se também, a metodologia e a conceituação para o projeto de circuitos lógicos interruptores combinatórios e seqüenciais com relés polarizados / In this thesis we present a study on switching circuits using a biased relays. The following main topics are focused: technological aspects and the multiple, combinational and sequential commands. A new switching and commanding device called by us quantor is proposed. Some of the constructive and operating characteristics of this device are presented, showing that the proposed device offers improvement over conventional relays. The proposed devices are very attractive for the implementation of multiple and combinational commands using pulsed switches. We also present the methodology for the design of switching circuits used for the implementation of simple and combinational commands. Also for the sequential commands we present a design methodology using biased relays.

O presente trabalho descreve o desenvolvimento de um protótipo de microscópio fotoacústico, equipamento que permite a obtenção de imagens superficiais e subsuperficiais de materiais sólidos. O equipamento desenvolvido é útil para teste não destrutivo de materiais. O desenvolvimento do protótipo requereu o desenvolvimento de uma câmara fotoacústica apropriada, um sistema de deflexão x,y para um feixe de Laser, além de uma parte computacional que são as interfaces entre o sistema físico e o computador. O sistema é gerenciado por um programa responsável pelo controle, aquisição de dados e geração ou imagem. No equipamento desenvolvido uma amostra é encerrada no interior de uma câmara fotoacústica, cujo sinal fornece informacdes sobre as propriedades óticas e térmicas da região excitada da amostra. O computador a partir destes dados e das coordenadas do ponto-sobre a superfície da amostra, gera no terminal de vídeo uma imagem da superfície da amostra, através de níveis de cinza / In the present work, we describe the development of photoacoustic microscope. The developed equipment allows to analyse surface and subsurface characteristics of solid materiais. The developed instrument is an one useful equipment for non destructive testing of defects, and other properties of materiais. The development of this prototipe included the development of a photoacoustical chamber, a Laser scanner, and the interfaces betwen the physical system and the computer. To control the data aquisition and image generation, a dedicated software was writen. In the developed equipment one sample is put inside a photoacoustical chamber, which provides informations about the thermal and optical properties of the excited region. With the aquired data and its coordinates the computer generates in video a screen with the optical and/ar thermal caracteristics of the sample

A qualidade do suprimento de energia elétrica, suprida pelas companhias distribuidoras, não é perfeitamente adequada para a alimentação de sistemas computacionais. Interrupções no processamento podem ser provocadas por essa falta de compatibilidade. A gravidade dessas interrupções depende da natureza do processamento, e podem resultar na perda de dados importantes, no tempo de restabelecimento do sistema, além de perdas financeiras. Neste trabalho é apresentado um sistema automático de testes desenvolvido para estudar o efeito dos distúrbios da rede elétrica sobre a operação de computadores. Esse estudo permite a adoção de medidas custo-efetivas para a solução do problema. Isto é de grande importância em sistemas de baixo custo que devem operar com alta confiabilidade em ambientes desfavoráveis, como é o caso dos microcomputadores utilizados em sistemas para controle industrial. Os resultados obtidos mostraram que o sistema desenvolvido é bastante adequado para a finalidade proposta. Adicionalmente, constatou-se que os distúrbios caracterizados por uma falta de energia são os maiores causadores de paradas no processamento / The quality of energy supplied by public electric networks is not totally adequate to computer systems. Processing stops can be caused by this lack of compatibility. The gravity of these stops depends on the processing and the consequences can be loss of data, time to recover the system and financial loss. An automatic test system, developed to study the effect of electric supply disturbances on computer performance, is presented in this paper. This study will allow the adoption of cost-effective solutions for the problem. This is of great importance for low cost systems, like microcomputers, which should operate with high reliability in hostile environments, such as industrial control. Results indicate that the test system can be effectively used for its designed purpose. In addition, disturbances caused by lack of energy were found to be more troublesome than those caused by energy surges

Este trabalho tem por objetivo servir de referência inicial às pessoas interessadas em Programação Lógica, mostrando os conceitos básicos necessários para um entendimento de tal tipo de programação. A linguagem de programação lógica PROLOG é usada no desenvolvimento do presente trabalho. Mostramos algumas aplicações e os programas correspondentes, a fim de ilustrar o estilo declarativo de programação deste tipo de linguagens. / This work Intende to serve as an initlal reference to those interested In Logic Programming, showing the basic concepts for an understanging of this type of programming. The programming language PROLOG is used In the development of trile work. Some applications and the corresponding programs are shown in order to Ilustrate the declarative programming style of this type of language.

Não disponível / Suppose the second-order equation x + g(x, x) = O has a periodic solution x0 , where g ∈ C2. The main concern of this work is to study the existence of periodic solutions of the.perturbed equation &xuml; + g(x, x) = ε (t, x ,x, ε) near x0 for small lel ,where Ι ε Ι, where f ∈ C1 and f is a periodic function. In this work we use the Liapunov Schmidt Reduction Method and the Implicit Function Theorem.

Não disponível / In the Sarkovskii\'s sequence 1 < 2 < 4 < ... < 22 .5 < 22.3 <....< 2.5 < 2.3 <.....7< 5<3, is a special order defined upon the positive integers, which represent periods of orbits. This sequence has been recently extended to 1 < 2 < 4 < 7 < 5 < 3 <4e < 5e < ... where ne- represents the period of one typical and different n-periodic orbit. Our principal result is an extension of this new sequence, in which we inserted, between any two of its periods, except among the harmonics 1 < 2 < 4 < ... < 2k , infinitely many sequences of new orbit\'s periods.

Esta dissertação apresenta a macrometodologia MINO OFB, composta de módulos para controle de projetos, especificação e projeto de Sistemas de Informação. A metodologia para especificação, denominada REMORA é apresentada com mais detalhes e uma ferramenta de apoio ao uso dessa metodologia foi desenvolvida. A ferramenta, denominada MIND AID, foi escrita em Prolog e apresenta facilidades para a especificação de um sistema em REMORA, análises de consistência da base de dados que representa o sistema, bem como vários relatórios para apoio na fase de especificação e nas fases do ciclo de vida. / Here are shown the macromethodology MINO-8F8 which is the integration of three methodologies and the methodology REMORA which is one of those three methodologies. Afterwards Is given a description of a CASE called MIND AID, proposed to help the designer using the methodology REMORA. This CASE, composed of 11 modules and written In Prolog, permits a coherent specification the model\'s elements and reporte generation.

Não disponível / Consider the two-point boundary value problem (1; &lambda;, &mu;) x\" + g ( t, x, x,\', &lambda;, &mu;) = 0 Mx(0) + Nx(b) = K where x = (x, x\')t; M, N are 2x2 matrices such that the rank (M, N) = 2; K = (K1, K2)t is constant; &lambda; &mu; are real parameters and g is a sufficiently smooth function of its five variables. If x0 = x0(t) is a solution of (1; 0,0), we study the local bifurcation of solutions of (1, &lambda;, &mu;) near x0. There is a special emphasis on the case where g(t, x, x\', 0, 0) = g (x, x\') is autonomous under b-periodic boundary conditions, i.e., M = -N = I, K = 0. The case g(t, x, x\', &lambda; &mu;) =g(x, x\') + &lambda;f1(t) + &lambda;f2 (t), with fj(t+b) = fj(t), j = 1, 2 is studied together with similar versions which include a forced Lotka-Volterra predator-prev model for two species.

Não disponível / This dissertation is concerned with the Trapezoidal Product Integration Method to resolve Generalized Abel Linear Integral Equations of first -kind. Special attention is given to theorem of the convergence of the trapezoidal method. Mathematical results and a discussion about the existence and uniqueness of the solutions of the Generalized Abel Linear Integral. Equations are presented in chapter one. Theorems related with the convergence of the trapezoidal method are shown in chapters two and three. In chapter four it is analized the implicit backward difference product integration methods, proved its convergence,and also it is applied a sufficient condition to the root condition of the trapezoidal method. Numerical result is shown in chapter five.

Neste trabalho apresentamos a construção e implementação do Núcleo de um Sistema Especialista que usa raciocínio por \"default\" e representa o conhecimento usando \"frames\". O raciocínio \"default\" está associado com conhecimento incompleto, isto é, possíveis hipóteses (defaults) podem ser usadas para raciocinar, sempre que elas forem consistentes com os demais conhecimentos do problema em questão. A idéia geral utilizada é que os seres humanos constroem uma \"teoria científica\' para predizer observações e que esta teoria pode ser justificada. Mostramos também uma forma simples de selecionar estas teorias a fim de obter aprendizagem ou diagnose. O sistema tem sido implementado em uma extensão da linguagem de programação lógica PROLOG. / In this work we show how to Dulia and implement an Expert System inference engine using default reasonlng and frames as knowledge representation. Default reasoning is associated with lncompete knowledge where possible hypothesis (default) can be used to reason, provided they are conslstent with the knowledge in the Knowledge Base. The general ideia is that human beings try to build a scientific theory to predict observations and furthermore, thls theory can be justified. We also show a simple approach to select from these theories such that we can obtaln learnlng or diagnosis. The Implementation language is an extension of the logic programming language PROLOG.