La stabilité est un facteur très important dans tous les modes de fonctionnement pour un Système à Puissance Distribué (SPD). En SPD, les charges sont connectées au bus DC à travers d’un filtre entré LC. La plupart des charges de SPD d'avions présents une caractéristique de charge à puissance constante dans un domaine de fonctionnement dans laquelle ils sont étroitement contrôlés. Ainsi, elles peuvent être modélisées comme une résistance négative. Changement de la charge dans un sous-système peut conduire un système stable dans l'instabilité.Une solution pratique pour diminuer le risque d'instabilité est présentée dans cette thèse qui consiste à modifier le contrôle des convertisseurs ou système onduleur-moteur connecté au bus DC. Cette solution permet de stabiliser le système, même avec un condensateur plus petit. Dans la première partie de la thèse, une méthode linéaire est présentée qui permet étudier la stabilité locale d'un système onduleur-moteur connecté au réseau par un filtre LC et un redresseur. Une technique de compensation d’oscillation est utilisée pour améliorer la marge de stabilité du système et la taille de la capacité dc-link sans modifier la structure des boucles de courant ou de couple. Cette technique consiste à superposer une puissance stabilisant sur la puissance absorbée par le drive. Bien que les modèles linéaires puissent être employées avec succès pour décrire le comportement d'un système physique au niveau local, ils échouent souvent de fournir une caractérisation satisfaisante de large-signal. Dans la deuxième partie, deux méthodes pour la stabilisation large-signal du système électrique sont présentées. Dans la dernière partie, une nouvelle méthode, basée sur les spécifications dynamiques est proposée pour étudier la stabilité d'un système électrique en cascade / Stability is the first and very important factor in all modes of operation for a Distributed Power System (DPS). In DPS, loads are connected to the DC-bus through an input LC filter. Most of the loads in DPS of aircraft present a constant power load characteristic within a domain of operation in which they are tightly controlled. So they can be modeled as negative resistance. Change of the load in one subsystem may lead a stable system into instability. A practical solution to decrease the risk of instability presented in this thesis which consists in modifying the control of the converters or inverter-motor drive system connected to the DC-bus. This solution permits to stabilize the system even with a smaller size of capacitor. In the first part of the thesis, a linear method is presented which allows investigating local stability of an inverter-motor-drive system connected to the grid through an LC filter and a rectifier. An oscillation compensation technique is used to improve the stability margin of the system and the size of the dc-link capacitance without modifying structure of the torque or current loops. This technique consists in superposing a stabilizing power on the absorbed power by the drive. Although linear models can be successfully employed to locally describe the behavior of a physical system, they often fail to provide a satisfactory large signal characterization. In the second part, two methods for the large signal stabilization of the electrical system are presented. In the last part, a new method, based on dynamic specifications, is proposed to study the stability of a cascaded electric system

Neste trabalho estudamos a estabilidade assintótica de Lagrange para duas classes de sistemas, sob as hipóteses de detetabilidade fraca e de limitação do custo medio a longo prazo. Para sistemas lineares com saltos markovianos com rudo aditivo, a equivalência entre estabilidade e as condições mencionadas sera provada. Para sistemas dinâmicos generalizados, provaremos a estabilidade sob uma condição adicional / In this work we study Lagrange asymptotic stability for two classes of systems, under conditions of weak detectability and boundedness of the long run average cost. For Markov jump linear systems with additive noise, the equivalence between stability and the aforementioned conditions is proved. For generalized dynamical systems, we prove stability under an additional condition

Esta tese aborda o problema de regulação para sistemas lineares sujeitos a saltos Markovianos de tempo discreto com matrizes de transição incertas. Considera-se que as incertezas são limitadas em norma e os estados da cadeia de Markov podem não ser completamente observados pelo controlador. No cenário com observação completa dos estados, a solução é deduzida com base em um funcional quadrático dado em termos das probabilidades de transição incertas. Enquanto que no cenário sem observação, a solução é obtida por meio da reformulação do sistema Markoviano como um sistema determinístico, independente da cadeia de Markov. Três modelos são propostos para essa reformulação: um modelo é baseado no primeiro momento do sistema Markoviano, o segundo é obtido a partir da medida de Dirac e resulta em um sistema aumentado, e o terceiro fornece um sistema aumentado singular. Os reguladores recursivos robustos são projetados a partir de critérios de custo quadrático, dados em termos de problemas de otimização restritos. A solução é derivada da técnica de mínimos quadrados regularizados robustos e apresentada em uma estrutura matricial. A recursividade é estabelecida por equações de Riccati, que se assemelham às soluções dos reguladores clássicos, para essa classe de sistemas, quando não estão sujeitos a incertezas. / This thesis deals with regulation problem for discrete-time Markovian jump linear systems with uncertain transition matrix. The uncertainties are assumed to be normbounded type. The states of the Markov chain can not be completely observed by the controller. In the scenario with complete observation of the states, the solution is deduced based on a quadratic functional given in terms of uncertain transition probabilities. While in the scenario without observation, the solution is obtained from reformulation of the Markovian system as a deterministic system, independent of the Markov chain. Three models are proposed for the reformulation process: a model is based on the first moment of the Markovian system, the second is obtained from Dirac measure which results in an augmented system, and the third provides a singular augmented system. Recursive robust regulators are designed from quadratic cost criteria given in terms of constrained optimization problems. The solution is derived from the robust regularized least-square approach, whose framework is given in terms of a matrix structure. The recursiveness is established by Riccati equations which resemble the solutions of standard regulators for this class of systems, when they are not subject to uncertainties.

Neste trabalho estudamos as noções de alcançabilidade e controlabilidade para sistemas lineares a tempo contínuo com perturbações aditivas e saltos nos parâmetros sujeitos a uma cadeia de Markov geral. Definimos conceitos de alcançabilidade e controlabilidade médios de maneira natural exigindo que os valores esperados dos gramianos correspondentes sejam definidos positivos. Visando obter uma condição testável para ambos os conceitos, introduzimos conjuntos de matrizes de alcançabilidade e de controlabilidade para esta classe de sistemas e usamos certas propriedades de invariância para mostrar que: o sistema é alcançável em média, e, analogamente, controlável em média, se e somente se as matrizes respectivas, de alcançabilidade e de controlabilidade, têm posto completo. Usamos alcançabilidade média de sistemas para mostrar que a matriz de segundo momento do estado é definida positiva com uma margem uniforme. Uma consequência deste resultado no problema de estimação linear do estado é que a matriz de covariância do erro de estimação é positiva definida em média, no sentido que existe um nível mínimo de ruído nas estimativas. Na sequência, para estimadores lineares markovianos, estudamos a limitação do valor esperado da matriz de covariância do erro para mostrar que o filtro é estável num certo sentido, sendo esta uma propriedade desejável em aplicações reais. Quanto às aplicações da controlabilidade média, usamos este conceito para estabelecer condições necessárias e suficientes que garantem a existência de um processo de controle que leva a componente contínua do estado do sistema para a origem em tempo finito e com probabilidade positiva. / In this work we study the reachability and controllability notions for continuous-time linear systems with exogenous inputs and jump parameters driven by a quite general Markov chain. We define a rather natural average reachability and controllability concepts by requiring that the associated gramians are average positive definite, respectively. Aiming at testable conditions for each concept, we introduce certain sets of matrices linked with the gramians, and employ some invariance properties to find rank-based conditions. We show for average reachable systems that the state second moment is positive definite. One consequence of this result in the context of linear estimation for reachable systems is that the expectation of the error covariance matrix is positive definite. Moreover, for linear markovian filters we study the average boundedness of the error covariance matrix to show that the filter is stable in an appropriate sense, which consists in a property that is desirable in real applications. Regarding the average controllability concept, we show that it is a necessary and sufficient condition for the feasibility of the following control problem: find a control process that drives the continuous component of the state to zero in finite time with positive probability.

Este trabalho apresenta a aplicação de técnicas de Decomposição de Domínio e Processamento Paralelo na solução de grandes sistemas de equações algébricas lineares provenientes da modelagem de fenômenos eletromagnéticos pelo Método de Elementos Finitos. Foram implementadas as técnicas dos tipos Complemento de Schur e o Método Aditivo de Schwarz, adaptadas para a resolução desses sistemas em cluster de computadores do tipo Beowulf e com troca de mensagens através da Biblioteca MPI. A divisão e balanceamento de carga entre os processadores são feitos pelo pacote METIS. Essa metodologia foi testada acoplada a métodos, seja iterativo (ICCG), seja direto (LU) na etapa de resolução dos sistemas referentes aos nós internos de cada partição. Para a resolução do sistema envolvendo os nós de fronteira, no caso do Complemento de Schur, utilizou-se uma implementação paralisada do Método de Gradientes Conjugados (PCG). S~ao discutidos aspectos relacionados ao desempenho dessas técnicas quando aplicadas em sistemas de grande porte. As técnicas foram testadas na solução de problemas de aplicação do Método de Elementos Finitos na Engenharia Elétrica (Magnetostática, Eletrocinética e Magnetodinâmica), sejam eles de natureza bidimensional com malhas não estruturadas, seja tridimensional, com malhas estruturadas. / This work presents the study of Domain Decomposition and Parallel Processing Techniques applied to the solution of systems of algebraic equations issued from the Finite Element Analysis of Electromagnetic Phenomena. Both Schur Complement and Schwarz Additive techniques were implemented. They were adapted to solve the linear systems in Beowulf clusters with the use of MPI library for message exchange. The load balance among processors is made with the aid of METIS package. The methodology was tested in association to either iterative (ICCG) or direct (LU) methods in order to solve the system related to the inner nodes of each partition. In the case of Schur Complement, the solution of the system related to the boundary nodes was performed with a parallelized Conjugated Gradient Method (PCG). Some aspects of the peformance of these techniques when applied to large scale problems have also been discussed. The techniques has been tested in the simulation of a collection of problems of Electrical Engineering, modelled by the Finite Element Method, both in two dimensions with unstructured meshes (Magnetostatics) and three dimensions with structured meshes (Electrokinetics).

Made available in DSpace on 2016-04-27T16:57:05Z (GMT). No. of bitstreams: 1 Ana Lucia Infantozzi Jordao.pdf: 18356730 bytes, checksum: c3f5c774b9aa562268413a5827470593 (MD5) Previous issue date: 2011-05-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The present study describes a qualitative research whose aim is to design, implement and analyze a didactic sequence that approaches the algebraic and graphical solutions of linear-quadratic systems with the aid of educational software Winplot. The didactic sequence was applied to students in the 2nd year of Colégio Madre Alix High School, a private institution located in Sao Paulo. Our objective was to answer the following research question: Can the high school students understand the resolution of 3 by 3 linear systems when using an approach that favors the conversion and processing of representation register coupled with a computing environment? In order to support our research process, we rely on Raymond Duval s Theory of Semiotic Representation Registers (2003) as we believe in the relevance of the records conversion while approaching to this subject in order to build the students knowledge. The chosen methodology was Artigue s Didactics Engineering assumptions (1996), as it is used in Mathematical Didactics Researches including an experimental part. The results of our research show the relevance of using the educational software Winplot as contributing to the visualization and understanding of solving linear systems in 3D. We hope that our research points towards further studies on the conversion of graphic record as a starting record. This study generated a product that contains a didactic sequence for teaching through activities that address the study of 2 by 2 and 3 by 3 linear systems where we contemplate the records and representations of natural language, algebraic, table and graphs which may better equip teachers / O presente trabalho relata uma pesquisa qualitativa, cujo objetivo é elaborar, aplicar e analisar uma sequência didática que aborda a resolução algébrica e gráfica dos sistemas lineares quadrados com o auxílio do software educacional Winplot. A sequência didática foi aplicada para alunos do 2º ano do Ensino Médio do Colégio Madre Alix, uma instituição privada localizada na cidade de São Paulo. Nossa pretensão foi responder à seguinte questão de pesquisa: Os alunos do Ensino Médio conseguem compreender a resolução desses sistemas lineares 3x3 quando de uma abordagem que favorece a conversão e o tratamento de registro de representação aliados a um ambiente computacional? Para fundamentar o processo de nossa pesquisa, baseamo-nos na Teoria dos Registros de Representação Semiótica de Raymond Duval (2003) por acreditamos na relevância da conversão de registros, quando da abordagem desse assunto, para a construção do conhecimento do aluno. Como metodologia, optamos pelos pressupostos da Engenharia Didática, segundo descrição feita por Artigue (1996), visto que é usada nas pesquisas de Didática da Matemática, que incluem uma parte experimental. Os resultados de nossa pesquisa mostram a relevância do uso do software educacional Winplot como contribuição para a visualização e compreensão da resolução de sistemas lineares em 3D. Esperamos que nossa pesquisa aponte caminhos para novos estudos sobre a conversão do registro gráfico como registro de partida. Esta dissertação gerou um produto a parte que contém uma sequência didática desenvolvida, aplicada e analisada, mediante atividades que abordam o estudo de sistemas lineares 2x2 e 3x3 em que contemplamos os registros e representações da língua natural, algébrico, tabela e gráficos, que poderão melhor instrumentalizar os professores

Cette thèse s’intéresse à la commande et l’observation d’une classe de systèmes linéaires à commutations (SLC). La classe considérée regroupe les systèmes pouvant être représentés par un modèle Hamiltonien à ports. Récemment, plusieurs travaux ont utilisé la théorie des systèmes dynamiques hybrides pour traiter les problèmes de stabilité, de commandabilité et d’observabilité des systèmes linéaires à commutations. Cependant, certains verrous scientifiques demeurent et nécessitent d’être levés tels que la synthèse d’observateurs pour des SLC présentant des modes de fonctionnement inobservables ou la commande hybride de systèmes possédant un nombre réduit d’entrées de commutations et un nombre élevé de variables d’état à contrôler. Dans ce travail, nous nous intéressons à la synthèse d’observateurs s’appuyant sur la modélisation moyenne et la modélisation hybride de SLC ayant une topologie Hamiltonienne à ports particulière. Ce formalisme possède les outils nécessaires pour établir des preuves de stabilité des erreurs d’observation. Dans un premier temps, nous proposons un observateur non linéaire reposant sur le modèle moyen de la classe des SLC considérée. Ensuite, nous traitons le problème de synthèse d’un observateur hybride où nous proposons un observateur commuté prenant en compte les modes de fonctionnement inobservables. Le problème de la commande des SLC est abordé par la suite. Au départ, la théorie de Lyapunov est utilisée pour proposer deux lois de commandes : La première est synthétisée à partir du modèle moyen et la deuxième exploite le modèle hybride. Une commande optimale hybride est élaborée en utilisant le principe du maximum de Pontryagin et une approche utilisant la recherche d’arcs singuliers. Finalement, une commande prédictive hybride est établie à partir d’un modèle discrétisé du système. Des résultats de simulation et une mise en œuvre expérimentale sur un convertisseur DC-DC SEPIC sont donnés pour montrer l’efficacité des méthodes proposées. L’étude d’un tel circuit est motivée par sa topologie particulière qui contient à la fois un mode de fonctionnement observable et un mode de fonctionnement inobservable. En outre, il possède une seule entrée de commutations et quatre variables d’état ce qui lui vaut la réputation être difficile à commander. / This thesis is dedicated to the control and the observation of a class of switched linear systems (SLS). This class contains the systems that can be represented by a port-Hamiltonian model. A lot of works have been studied SLS for several years using an average modeling approach. Recently, various works have shown that hybrid system theory allows to cope with stabilization, controllability, and observability problems of switched linear systems. However, several problems are still open and need more development such as the design of hybrid observers for SLS that have unobservable modes or the control of systems with reduced number of switching inputs and numerous variable states to control. In this work, we are interested in the design of state observers for a particular class of SLS using both the average and the hybrid port-Hamiltonian models. This formalism has the necessary tools to study and establish the stability of the observation errors. At the beginning, a nonlinear observer based on the average modeling is proposed. Next, a hybrid observer is designed for switched linear systems. This observer takes into account the unobservable operating modes of the system. The second point of our work concerns the design of control laws for the considered class of SLS. At first, two Lyapunov-based control laws have been established using either an average model or a hybrid model of the system. A hybrid optimal control based on the maximum principle of Pontryagin and the computation of singular arcs has been also proposed. Finally, a hybrid predictive control based on a discrete model of the system is synthesized. Simulation results and an experimental implementation on a SEPIC converter are given to show the efficiency of the proposed methods. Our motivation to study such a converter is mainly due to its particular topology that includes observable and unobservable subsystems. It is also known to be difficult to be controlled because only one switching input is used to control four state variables.

Nesta tese de doutorado são apresentados sistemas globais de estimativa baseados em modelos Markovianos aplicados na área de reabilitação robótica. Os sistemas propostos foram desenvolvidos para estimar as posições angulares dos elos de exoesqueletos para membros inferiores, desenvolvidos para reabilitação motora em pacientes que sofreram Acidente Vascular Cerebral (AVC) ou lesão medular. Filtros baseados no filtro de Kalman, um nominal e outro considerando incertezas no modelo, foram utilizados em estratégias de fusão de dados de sensores provenientes de sensores inerciais, possibilitando estimativas de posicionamentos angulares. Algoritmos genéticos são utilizados na otimização dos filtros, ajustando as matrizes de peso destes. Em oposição as modelagens tradicionais, via estimativa local, utilizando somente uma unidade inercial para cada modelo, propõe-se um sistema global de estimativa, obtendo-se a melhor informação de cada sensor combinando-os em um modelo Markoviano. Resultados experimentais com um exoesqueleto foram utilizados para comparar a abordagem Markoviana às convencionais. / In this thesis are presented global estimation systems based on Markov models applied in robotic rehabilitation area. The proposed systems have been developed to estimate the angular positions of the exoskeletons for lower limbs, designed to provide motor rehabilitation of stroke and spinal cord injured people. Filters based on the Kalman filter, one nominal and other considering uncertainties in the model, were used in sensor data fusion strategies from inertial sensors, to estimate angular positions. Genetic algorithms are used to the optimization of filters, tuning the weighting matrices. In opposition to these modelling via local estimation, using only one inertial unit, we also chose a global modelling getting the best information from each sensor, combining them in a Markov model. Experimental results with an exoskeleton were used to compare the Markovian approach to conventional.

Submitted by Franciele Moreira (francielemoreyra@gmail.com) on 2018-03-19T13:29:18Z No. of bitstreams: 2 Dissertação - Ana Maria Alves da Silva - 2018.pdf: 3230446 bytes, checksum: c48f203ce76ba32ab0a57f302c79d375 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-03-20T10:20:02Z (GMT) No. of bitstreams: 2 Dissertação - Ana Maria Alves da Silva - 2018.pdf: 3230446 bytes, checksum: c48f203ce76ba32ab0a57f302c79d375 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-03-20T10:20:02Z (GMT). No. of bitstreams: 2 Dissertação - Ana Maria Alves da Silva - 2018.pdf: 3230446 bytes, checksum: c48f203ce76ba32ab0a57f302c79d375 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-03-07 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / In this work we will study limit cycles in piecewise smooth linear systems. We begin studying the case where the separation curve is a polygonal and we give an example of a system having seven limit cycles. The existence of an arbitrary number of limit cycles is also proved for these systems, as well as an example of a system with 10 limit cycles. The existence of n limit cycles, n 2 N, is also studied through a perturbation in the separation curve. Finally, we study limit cycles in planar piecewise linear systems presenting a twofold singularity in R2, as well as limit cycles sorrounding a T-singularity. / Neste trabalho estudaremos ciclos limite em sistemas lineares suaves por partes. Iniciamos estudando o caso em que a zona de descontinuidade é uma poligonal e fornecemos um exemplo de um sistema com sete ciclos limite. A existência de uma quantidade arbitrária n de ciclos limite para tais sistemas também é provada, assim como fornecemos um exemplo de um sistema com 10 ciclos limite. A existência de n ciclos limite, n 2 N, também é estudada através de uma pertubação na zona de descontinuidade. Por fim, estudamos ciclos limite em sistemas lineares suaves planares com equilíbrios do tipo dobra-dobra em R2, bem como ciclos limite em torno de uma T-singularidade.

O estudo dos métodos intervalares é importante para a resolução de sistemas de equações lineares, pois os métodos intervalares produzem resultados dentro de limites confiáveis (do intervalo solução) e provam a existência ou não existência de soluções, portanto produzem resultados confiáveis, o que os métodos pontuais podem não proporcionar. Outro aspecto a destacar é o campo de utilizando de sistemas de equações lineares em problemas das engenharias e outras ciências, o que mostra a aplicabilidade desses métodos e por conseguinte a necessidade de elaboração de ferramentas que possibilitem a implementação desses métodos intervalares. O objetivo deste trabalho não é a elaboração de novos métodos intervalares, mas sim o de realizar uma descrição e implementação de alguns dos métodos intervalares encontrados na bibliografia pesquisada. A versão intervalar dos métodos pontuais não é simples e o calculo por métodos intervalares pode ser dispendioso, uma vez que se está tratando com vetores e matrizes de intervalos. A implementação dos métodos intervalares são foi possível graças a existência de ferramentas, como o compilador Pascal-XSC, que incorpora as suas características aspectos importantes como a aritmética intervalar, a verificação automática do resultado, o produto escalar Ótimo e a aritmética de alta exatidão. Este trabalho é dividido em duas etapas. A primeira apresenta um estudo dos métodos intervalares para a resolução de sistemas de equações lineares. São caracterizadas as metodologias de desenvolvimento desses métodos. Metodologias estas, que foram divididas em três grupos de métodos: métodos intervalares baseados em operações algébricas intervalares ou métodos diretos, métodos intervalares baseados em refinamento ou métodos híbridos e métodos intervalares baseados em interacões. São definidas as características, os métodos que as compõe e a aplicabilidade desses métodos na resolução de sistemas de equações lineares. A segunda etapa é caracterizada pela elaboração dos algoritmos referentes aos métodos intervalares estudados e sua respectiva implementação, dando origem a uma biblioteca aplicativa intervalar para a resolução de sistemas de equações lineares, implementada no PC-486 e utilizando o compilador Pascal-XSC. Para este desenvolvimento foi realizado, previamente, um estudo sobre este compilador e sobre bibliotecas disponíveis que são utilizadas na implementação da biblioteca aplicativa intervalar. A biblioteca selintp é organizada em quatro módulos: o módulo dirint (referente aos métodos diretos); o modulo refint (referente aos métodos baseados em refinamento); o módulo itrint (referente aos métodos iterativos) e o modulo equalg (para sistemas de equações de ordem 1). Por fim, através daquela biblioteca foram realizadas comparações entre os resultados obtidos (resultados pontuais, intervalares, seqüenciais e vetoriais) a rim de se realizar uma analise de desempenho quantitativa (exatidão) e uma comparação entre os resultados obtidos. Esses resultados sendo comparados com os obtidos com a biblioteca biblioteca esta que esta sendo desenvolvida para o ambiente do supercomputador Cray Y-MP do CESUP/UFRGS, como parte do projeto de Aritmética Vetorial Intervalar do Grupo de Matemática Computacional da UFRGS. / The study of interval methods is important for resolution of linear equation systems, because such methods produce results into reliable bounds and prove the existence or not existence of solutions, therefore they produce reliable results that, the punctual methods can non present,save that there is an exhaustive analysis of errors. Another aspect to emphasize is the field of utilization of linear equation systems in engineering problems and other sciences, in which is showed the applicability of that methods and, consequently, the necessity of tools elaboration that make possible the implementation of that interval methods. The goal of this work is not the elaboration of new interval methods, but to accomplish a description and implementation of some interval methods found in the searched bibliography. The interval version of punctual methods is not simple, and the calculus by interval methods can be expensive, respecting is treats of vectors and matrices of intervals. The implementation of interval methods was only possible due to the existence of tools, as the Pascal-XSC compiler, which incorporates to their features, important aspects such as the interval arithmetic, the automatic verification of the result, the optimal scalar product and arithmetic of high accuracy. This work is divided in two stages. The first presents a study of the interval methods for resolution of linear equation systems, in which are characterized the methodologies of development of that methods. These methodologies were divided in three method groups: interval methods based in interval algebraic operations or direct methods, interval methods based in refinament or hybrid methods, and interval methods based in iterations, in which are determined the features, the methods that compose them, and the applicability of those methods in the resolution of linear equation systems. The second stage is characterized for the elaboration of the algorithms relating to the interval methods studied and their respective implementation, originating a interval applied library for resolution of linear equation systems, selintp, implemented in PC-486 and making use of Pascal-XSC compiler. For this development was previously accomplished a study about compiler and avaiable libraries that are used in the inplementation of the interval applied library. The library selintp is organized in four modules: the dirint module (regarding to the direct methods); the refint module (regarding to the methods based in refinament); the itrint module (regarding to the iterative methods) and equalg module(for equation systems of order 1). At last, throu gh this library, comparisons were developed among the results obtained (punctual, interval, sequential and vectorial results) in order to be accomplished an analysis of quantitative performance (accuracy) and a comparison among the results obtained with libselint a library, that is been developed for the Cray Y-MP supercomputer environment of CESUP/UFRGS, as part of the Interval Vectorial Arithmetic project of Group of Computational Mathematics of UFRGS.