Não disponível / Suppose an autonomous functional differential equation has an orbit Γ which is homoclinic to a hyperbolic equilibrium point. Our aim is to study a procedure for determining the behavior of solutions, close to Γ, of a functional differential equation which is a nonautonomous periodic perturbation of the original one. This procedure uses exponential dichotomies and the Fredholm alternative.

Os métodos de pontos interiores primal-dual c preditor-corretor são desenvolvidos para o problema, de fluxo de potência ótimo AC e a estrutura, matricial resultante é estudada. Foi adotada a, representação do problema, através de coordenadas cartesianas das tensões uma vez que neste modelo a Hessiana do problema é constante e a expansão em Taylor é exata para o termo de ordem dois. Além disso, o cálculo do termo de correção do método preditor-corretor pode ser feito de forma menos custosa computacionalmente. Por outro lado, a vantagem em se trabalhar com coordenadas polares, que modelam mais facilmente os limites de magnitude de tensão, perde importância devido ao tratamento de desigualdades eficiente proporcionado pelos métodos de pontos interiores, permitindo uma, revisão dos procedimentos geralmente adotados. Assim, a utilização de coordenadas cartesianas surge como uma abordagem natural, pois apresenta uma formulação mais simples que as coordenadas polares. A aplicação do método de Newton às condições de otimalidade leva a um método de pontos interiores primal-dual específico para, este modelo. As condições de otimalidade por sua, vez podem ser obtidas através da função lagrangiana, do problema onde; as restrições de desigualdade são representadas por funções de barreira logarítmicas das variáveis de folga. Antes da aplicação do método, o número de variáveis do problema é reduzido através da, eliminação de variáveis duais livres, que serão calculadas no final. Esta redução não altera, a estrutura esparsa do problema. O sistema linear resultante pode então ser reduzido a duas vezes a quantidade do número de barras da rede de transmissão. Além disso, a matriz resultante é simétrica em estrutura. Esta característica pode ser explorada de forma eficiente reduzindo o esforço computacional por iteração. / The primal-dual interior point methods are developed to the AC optimal power flow and lhe resulting matricial structure is studied. The representation of the tensions through eartesian coordinates is adopted, once that Hessian of the problem is constant and the expansion in Taylor is accurate for the second order term. The advantage of working with polar coordinates, that easily model the tension magnitudes, lose importance due to lhe efficient treatment of inequalities proportionated by the interior point methods. These methods are developed applying Newton\'s methods to the optimality conditions of the problem. Before the application of the method, the number of variables of the problem is reduced through the elimination of free dual variables. This reduction does not modify the sparse pattern of the problem. The linear system obtained can be reduced to the dimension of twice the number of buses. Moreover, such matrix is symmetric in structure. This feature can be explored reducing the computational effort per iteration.

O Aprendizado de Máquina é uma importante área de pesquisa em Inteligência Artificial pois a capacidade de aprender é essencial para um comportamento inteligente. Em particular, um dos objetivos da pesquisa em Aprendizado de Máquina é o de auxiliar o processo de aquisição de conhecimento facilitando a construção de Sistemas Baseados em Conhecimento. Uma das formas de aprendizagem é por generalizações, isto é, através de processos indutivos. São várias as estratégias desenvolvidas para Aprendizado de Máquina por Indução. Uma delas está baseada na construção de árvores de decisão. Esta estratégia abrange uma determinada família de sistemas de aprendizado por indução: a família TDIDT - Top Down Decision Trees. Neste trabalho são apresentadas algumas estratégias de Aprendizado de Máquina, dando ênfase aos sistemas da família TDIDT, bem como detalhes da implementação realizada. Mostra-se que é possível realizar uma implementação geral dos algoritmos desta família. Mostra-se também a importância dos diversos mecanismos de poda em árvores de decisão. Um método de poda específico é usado para podar árvores geradas em diversos domínios. Os resultados obtidos evidenciam que este método reduz a complexidade da árvore e produz ganhos significativos na classificação por ela realizada. / Machine Learning is an important research area of Artificial Intelligence, since the ability to learn is central to intelligent bahavior. Making generalizations - induction - is the means by which humans learn most of their knowledge. In this work we describe several approaches to Machine Learning and concetrate our attention on a family of learning systems called TDIDT - Top Down Induction Decision Trees. The task of these systems in to induce general descriptions of concepts, from examples of this concepts, using decision trees as a knowledge formlism. Although decision trees are a simple formalismm the learning methodologies used by the TDIDT family are less complex than the mehodologies used by other systems that employ a more powerful language to express the results of the learning process. Nevertheless, decision trees are capable of capturing knowledge which is useful to solve difficult problems. In general, TDIDT family\'s algorithms develops a decision tree from a set of examples in three main stages: construction of the tree to classify the examples, pruning such a tree to give statistical reliability and processing of the pruned tree to improve understandability. In this work the first two stages are considered. Related to the first stage, we propose an efficient Prolog implementation for the construction of decision trees. The decision tree is grown by choosing, at each node, the attribute which divides \"best\" the set of examples considered. In this particular implementation the attribute is chosen by an entropy measure, although it is simple to redefine and implement in the system another kind of measure. Related to the second stage we propose a pruning method which estimates the classification errors in the nodes of the decision tree peviously constructed and then, considering this errors, decides whether to prune certain subtrees. This method was applied to several domaiins and sets of data to measure the size of the pruned tree and its accuracy. Results show that the complexity of the pruned decision tree decreases while its accuracy invreases; both measures are heavily dependent on the domain.

Não disponível / Not available

A construção do Núcleo de um Sistema Especialista pode ser facilitada se for realizada dentro de um ambiente que permita articular, bem como alterar os diversos subsistemas que o constituem tal que estes possuam características apropriadas para manipular Bases de Conhecimentos com características diferentes. Neste trabalho é apresentada a implementação de cada um dos subsistemas que constitui este ambiente. As implementações realizadas são abertas, ou seja, é permitido que o projetista do SE se utilize tanto de um subconjunto das facilidades fornecidas, bem como respeitando algumas condições que troque algumas estruturas e redefina e/ou incremente o código dos subsistemas. O usuário pode interagir com este ambiente, de maneira a adequar o Núcleo de Sistema Especialista à manipulação da Base de Conhecimento de seu interesse. Este ambiente, implementado na linguagem de programação lógica Prolog para microcomputadores IBM PC - compatível, leva em consideração a maioria dos problemas encontrados na construção de núcleos específicos e é dirigido a usuários não leigos em Sistemas Especialistas e Prolog. / The process of constructing Expert Systems can be simplified if it is developed modularly as an independent knowledge base plus augmented meta-interpreters which can be tailored and combined as required. In this work we describe a tool based on this idea which is part of an environment for developing Expert Systems. This tool allows the user to choose the facilities needed to manipulate an especific knowledge base from several meta-interpreters that perform different functions. Eventually, when the system is debugged and ready for regular use, the collection of knowledge base and meta-interpreters can be mixed into an efficient program. We also discuss inherent problems in manipulating this tool and how they may be solved in order to achieve the final environment. The system has been written in Prolog and is currently running in Arity Prolog version 5.1 on IBM-PC based microcomputers.

Nesta dissertação é estudada a classe dos métodos de Runge-Kutta e também do tipo Rosenbrock para a solução de Equações Diferenciais Ordinárias. Atenção especial é dedicada aos métodos de Rosenbrock-Wanner (ROW) métodos, os quais são extensões dos métodos clássicos de Rosenbrock. Um procedimento é apresentado para a obtenção dos métodos de Rosenbrock-Wanner de quarta ordem A-estáveis e um método com estas propriedades é mostrado. Isto é confirmado por resultados numéricos. Todo o estudo, aqui apresentado, baseia-se na teoria dos grafos ao estilo de J.C.Butcher. / This work is concerned with Runge-Kutta and Rosenbrock methods for numerical solution of Ordinary Differential Equations. Special attention is devoted to an extension of the classical Rosenbrock method, namely the Rosenbrock-Wanner (ROW) methods. A procedure for obtaining forth order A-stable ROW methods is presented and a method with these properties is exhibited. This is confirmed by numerical results. The whole study is based on graphs theory in Butcher\'s like style.

Este trabalho aborda, apenas, sistemas de Equações Algébrico-Diferenciais(EAD) de índice zero ou um. Estudaremos as propriedades de ordem e convergência do método diferenças para trás (BDF) e principalmente do método de Runge-Kutta Implícito (RKI), Também, descreveremos os algoritmos provenientes destes métodos, quando aplicados em sistemas de EAD de índice zero ou um. Por último, faremos uma comparação numérica entre os método BDF e método de Runge-Kutta Implícito usando dois códigos representativos, sendo eles DAS SL e RADAUS, respectivamente. / This work is concerned With the numerical solution of DifferentialAlgebraic Equations (DAE) of index zero and one. Among the numerical methods for solving DAE\'s we give special attention to Backward DifferentiationFormulas (BDF) and Implicit Runge- Kutta (IRK) methods. A defailed study of order of convergence for these methods is presented. A description of the algorithms employed for solving DAE\'s of index zero and one is also considered. Finally we compare the performance of the two methods by using two known codes: DAS SL and RADAUS. Numerical results are presented.

Este trabalho discute tópicos fundamentais relacionados com a conceituação básica sobre simulação de sistemas discretos e geradores de aplicação. O desenvolvimento de programas de simulação pode consistir em uma tarefa árdua, exigindo conhecimentos não apenas sobre o problema em estudo, como também de técnicas de modelagem, análise e implementação. A utilização de ferramentas capazes de automatizar parte significativa do trabalho envolvido no desenvolvimento de \"software\" apresenta inúmeras vantagens, principalmente em relação aos aspectos de qualidade e produtividade. Com base nos estudos realizados foi desenvolvido um gerador de aplicação para simulação de sistemas discretos, cujo principal atrativo é possibilitar ao usuário o desenvolvimento de programas de simulação sem se preocupar com detalhes da implementação do mesmo. / This MSc dissertation discusses the basic concepts and applications of discret systems simulation and applicationgenerator systems. Analysis of many applications fields demonstrates that the development of simulation programs can become a very hard task, requiring the knowledge of both the problem under study and modelling techniques together with skills on implementation and analysis of results.The adºption of tools able to produce software automatically shows many attractions mainly in terms of software productivityand quality. Therefore, this dissertation addresses the development, implementation and validation of an application generator for discret systems simulation programs. This generator allows its users to develop simulationprograms in a transparent fashion; i. e., users do not get envolved with implementation details. The dissertation discusses implementation details for the application generator system and presents several examples of automatically generated simulation programs.

Realizamos o crescimento de monocristais de PbI2 e de PbI2:TlI com a composição de TlI variando de 1000, 5000 e 10000ppm. Os cristais de PbI2 puro e dopado com TlI foram crescidos pela técnica de Bridgman. As características dos cristais foram determinadas por difração de raios-X, absorção óptica, fotoluminescência e análise do decaimento da corrente elétrica com tempo. A largura da banda proibida determinada para os cristais de PbI2 puro e dopado fbi de 2,3 eV. Os espectros de fotoluminescência obtidos mostraram três linhas de emissão em 2,493 eV, 2,498 eV e 2,429 eV, os quais foram associados a recombinação de excitons ligados, recombinação de excitons livres e recombinação de níveis de defeitos, respectivamente. Nós determinamos quatro principais níveis de armadilhas com 0,66 eV, 0,68 eV, 0,72 eV e 0,76 eV, a temperatura ambiente, para ambos PbI2 puro e dopado. Também determinamos a resistividade no escuro, a temperatura ambiente, e os valores foram de 1011 .cm e 1012.cm para o PbI2 puro e de 109.cm e 1010.cm para o PbI2 :TlI. Os testes de detetores de radiação ionizante, os quais foram fabricados com nossos cristais de iodeto de chumbo não mostraram resposta espectrométrica, mesmo sendo estes transparentes e de boa qualidade cristalina / The Pure and TlI doped PbI2 single crystals were grown by Bridgman technique. The TlI nominal composition used was of 1000, 5000 and 10000ppm. The crystals characterization of was done by X-ray diffraction, optical absorption, photoluminescence and electrical current-time decay analysis. The gap energy of pure and doped PbI2 crystals was determined as 2.3 eV. The photoluminescence spectra was obtained and it showed three ernission lines at 2.493 eV, 2.498 eV and 2.429 eV, which were associated to a bound exciton recombination, a free exciton recombination and a defect leve1 recombination, respectively. We have determined four main trapping levels at 0.66 eV, 0.68 eV, 0.72 eV and 0.76 eV eV, at room temperature for both pure and doped PbI2. We have also determined the dark resistivity at room temperature, and the measured values were 1011 .cm, 1012.cm for PbI2 and 109.cm, 1010.cm for PbI2 :TlI. Tests in radiation detectors, which were made with lead iodide crystals, were performed. The results didn\'t show any spectrometric response even when single and transparent crystals were used

Tecnologias recentes, como a de assistentes pessoais digitais (PDAs), trazem uma série de questões no que tange novos recursos, limitações, possibilidades de utilização e, fatores técnicos relacionados o que frequentemente demanda amplo tempo de aprendizado. Além de lidar com essas questões, pessoas ligadas à produção de sistemas de software para PDAs precisam também conviver com a diversidade de possibilidades de desenvolvimento e, principalmente com a velocidade com que a tecnologia se modifica. Em tal conjuntura, pesquisas que auxiliem no processo de desenvolvimento, equacionando tempo gasto e resultados efetivos constituem contribuições importantes. Neste trabalho, propõe-se a ferramenta mCards, com mecanismos visuais de interação, que permite a criação de aplicações, baseadas em cards, para assistentes pessoais digitais. / Recent technologies such as PDAs (personal digital assistants) bring new issues with respect to available resources, limitations, possible use, to name a few. These issues, combined with the several software development platforms available, result in many demands relative to learning time and skills, for instance. In this scenario, there is an opportunity for research that support the software development for such platforms. We present mCards, a tool that exploits visual interaction to support the development of card-based applications for PDAs.