Uma abordagem de teste estrutural de integração contextual para programas OO e OA escritos em Java e AspectJ é apresentada. A finalidade dessa abordagem é descobrir defeitos que possam existir nas interfaces entre uma determinada unidade (método ou adendo) e todas as outras que interagem diretamente com ela, bem como descobrir defeitos que possam ocorrer na hierarquia de chamadas dessas unidades. Para programas OO, esse tipo de teste envolve testar a interação entre métodos; já para programas OA, o teste estrutural de integração nível um (como também pode ser chamado) deve considerar as interações método-método, método-adendo, adendo-adendo e adendo-método. Para efetuar o teste estrutural de integração nível um deve-se considerar todo o fluxo de execução (fluxo de controle e de dados) que ocorre entre uma unidade chamadora e as unidades que interagem diretamente com ela. Para isso é definido o grafo Def-Uso IN1P, que é uma abstração formada pela integração dos grafos Def-Uso Orientado a Aspectos (AODU) da unidade chamadora e das unidades que ela chama ou que a afeta. Além disso, são propostos três critérios para derivar os requisitos de teste, dois baseados em fluxo de controle (todos-nós-integrados-N1 e todas-arestas-integradas-N1) e um baseado em fluxo de dados (todos-usos-integrados-N1). A ferramenta JaBUTi/AJ foi estendida para dar apoio à abordagem de teste de integração proposta. Exemplos são apresentados para ilustrar o uso da ferramenta para o teste de profundidade um e também seu uso no contexto de uma abordagem que leva em consideração também o teste de unidades e o teste baseado em conjuntos de junção / A Contextual structural integration testing for OO and OA programs written in Java and AspectJ is presented. The purpose of this approach is to discover faults that may exist in the interfaces between a particular unit (method or advice) and all others that interact directly with it, as well as to discover defects that may occur in the call hierarchy of these units. In OO programs, this type of test involves testing the interaction among methods. For OA programs, the structural integration testing at the depth of one (as it can also be called) should consider the method-method, method-advice, advice-advice and advice-method interactions. To perform structural integration testing at the depth of one level the whole execution flow (control and data flow) that occurs among a caller unit and the units that interact directly with it it must be considered. The IN1P Def-Use graph has been defined as an abstraction formed by the integration of the Aspect-Oriented Def-Use (AODU) graphs of the caller unit and of the units that it calls or affects it. Also, three criteria to derive test requirements are proposed, two of which are based on control flow all-integrated-nodes-N1 and all-integrated-edges-N1 and one is based on data flowall-integrated-uses-N1. The tool JaBUTi/AJ was extended to support the proposed integration testing approach. Examples are presented to illustrate the use of the tool for depth 1 testing as well as its use in the context of an approach that also takes into account unit testing and pointcut-based testing

Made available in DSpace on 2016-12-23T14:05:55Z (GMT). No. of bitstreams: 1 1- Capa.pdf: 18716 bytes, checksum: 1dddf42a26f2caa98fb2c3c97cb02a55 (MD5) Previous issue date: 2004-04-06 / O estudo realizado nesta dissertação é motivado principalmente pelo interesse em se avaliar a resposta térmica e tensional em estruturas de concreto massa nas primeiras idades considerando a viscoeleasticidade linear do material. Neste trabalho desenvolvem-se modelos numérico-computacionais e implementam-se os softwares PFEM_2DT e PFEM_2DAT, de análise térmica e de tensões no domínio bidimensional, respectivamente. Inicialmente, foi realizada uma revisão bibliográfica do problema termomecânico considerando os mecanismos e modelos físicos para a representação do mesmo, utilizando-se de ferramentas matemáticas e artifícios numéricos para a resolução do problema. Foram pesquisados ainda os parâmetros influentes na análise de temperaturas e de tensões no concreto massa, destacando-se as propriedades viscoelásticas de fluência e retração onde de forma resumida, porém esclarecedora, foram descritos seus principais conceitos, causas e efeitos bem como alguns dos principais modelos de representação dessas deformações diferidas. Por meio desses estudos teóricos e das conseqüentes implementações computacionais, foram analisadas diferentes estruturas de concreto através dos programas computacionais desenvolvidos e, posteriormente, realizadas comparações com resultados experimentais e numéricos obtidos por outros pesquisadores objetivando validar os aplicativos. Na elaboração deste software fez-se uso do novo paradigma de programação Programação Orientada a Objetos, associado à resolução de sistemas de equações lineares pelo Método dos Gradientes Conjugados. Analisou-se o comportamento das temperaturas de diferentes estruturas sujeitas ao calor interno gerado no concreto sob a influência das condições ambientais, que permitem que esse calor seja dissipado, gerando como conseqüência, distribuições de temperatura não-lineares no interior da estrutura. Nos estudos tensionais das estruturas de concreto massa analisadas nesta dissertação pôde-se avaliar a evolução das tensões de origem térmica considerando o material viscoelástico linear, comparando-as com a resistência à tração do material. Por fim, efetuaram-se estudos comparativos de tensões em um bloco de concreto massa utilizando os modelos elástico e viscoelástico linear, avaliando o nível de importância e o grau de magnitude da consideração dos efeitos diferidos associados quando da análise do comportamento termomecânico de estruturas maciças de concreto em fase de construção. / The study accomplished in this dissertation is motivated mainly by the interest in evaluating the temperature and stress field in mass concrete structures at first ages considering material s linear viscoeleasticity. The development and implementation of numeric-computational models are also scope of this work by means the softwares PFEM_2DT and PFEM_2DAT, of thermal stress analysis in the two-dimensional domain. Initially at first step, the bibliographic revision of the thermomechanical problem was accomplished considering physical mechanisms and models for its representation, using mathematical tools and numeric artifices for the resolution of the problem. The influential parameters in the analysis of temperatures and stresses in the mass concrete were also researched, standing out to the creep and shrinkage rheological properties, where in a summarized and elucidated way, its main concepts, causes and effects were described, as well as some of the main representation models of those differed deformations. Considering theoretical studies and the consequent computer implementations, different concrete structures were analyzed through the developed softwares, and compared with experimental and numeric results obtained by other researchers with the objective of validating the applications. In the elaboration of this software was made use of the new programming paradigm Object-Oriented Programming, associated to the resolution of linear systems equations for the Method of the Conjugated Gradients. The temperature field s behavior of different structures subject to the internal heat into the concrete was analyzed, under the influence of the environmental conditions, that allows the heat to be dissipated, generating as consequence, non- linear temperature distributions inside the structure. The termomechanic problems studied in mass concrete structures were analyzed in this dissertation, where the thermal stresses behaviour could be evaluated considering the linear viscoelasticity properties of the material, comparing them with the tensile strength of the material. Finally, comparative studies of the stresses in a mass concrete block were executed using elastic models and linear viscoelasticity, evaluating the importance and magnitude levels of the associated differed effects in the termomechanic behavior analysis of solid concrete structures in a construction stage.

Ce mémoire vise à recenser les avantages et les inconvénients de l'utilisation du langage de programmation fonctionnel dynamique Scheme pour le développement de jeux vidéo. Pour ce faire, la méthode utilisée est d'abord basée sur une approche plus théorique. En effet, une étude des besoins au niveau de la programmation exprimés par ce type de développement, ainsi qu'une description détaillant les fonctionnalités du langage Scheme pertinentes au développement de jeux vidéo sont données afin de bien mettre en contexte le sujet. Par la suite, une approche pratique est utilisée en effectuant le développement de deux jeux vidéo de complexités croissantes: Space Invaders et Lode Runner. Le développement de ces jeux vidéo a mené à l'extension du langage Scheme par plusieurs langages spécifiques au domaine et bibliothèques, dont notamment un système de programmation orienté objets et un système de coroutines. L'expérience acquise par le développement de ces jeux est finalement comparée à celle d'autres développeurs de jeux vidéo de l'industrie qui ont utilisé Scheme pour la création de titres commerciaux. En résumé, l'utilisation de ce langage a permis d'atteindre un haut niveau d'abstraction favorisant la modularité des jeux développés sans affecter les performances de ces derniers. / This master's thesis aims at pinpointing the pros and cons of using the dynamic functionnal language Scheme for developing video games. The method used is first based on a theoretical approach. Indeed, the specific requirements for video game programming and a detailed description of relevant Scheme features are presented. Then, a practical approach is taken by presenting two video games developed using the Scheme language: Space Invaders and Lode Runner. Their development resulted in the creation of various domain-specific languages and libraries, such as an objec- oriented system and a coroutine system. Each of these are presented separately in their respective chapter. Finally, the experience achieved in this process is compared to the experience acquired by some video game companies that also used Scheme for the developpement of their titles. The use of Scheme allowed us to perform various high-level abstractions that improved the modularity of the video games developed, without affecting their performance.

Modern software is built by teams of developers that work in a collaborative environment. The goal of this kind of development is that multiple developers can work in parallel. They can alter a set of shared artifacts and inspect and integrate the source code changes of other developers. For example, bug fixes, enhancements, new features or adaptations due to changing environment might be integrated into the system release. At a technical level, a collaborative development process is supported by version control systems. Since these version control systems allow developers to work in their own branch, merging and integration have become an integral part of the development process. These systems use automatic and advanced merging techniques to help developers to merge their modifications in the development repositories. However, these techniques do not guarantee to have a functional system. While the use of branching in the development process offers numerous advantages, the activity of merging and integrating changes is hampered by the lack of comprehensive support to assist developers in these activities. For example, the integration of changes can have an unexpected impact on the design or behavior of the system, leading to the introduction of subtle bugs. Furthermore, developers are not supported when integrating changes across branches (cherry picking), when dealing with branches that have diverged, when finding the dependencies between changes, or when assessing the potential impact of changes. In this dissertation we present an approach that aims at alleviating these problems by providing developers and, more precisely, integrators with semi-automated support for assisted integration within a branch and across branches. We focus on helping integrators with their information needs when understanding and integrating changes by means of characterizations of changes and streams of changes (i.e., sequence of successive changes within a branch) together with their dependencies. These characterizations rely on the first-class representation of systems' histories and changes based on program entities and their relationships rather than on files and text. For this, we provide a family of meta-models (Ring, RingH, RingS and RingC) that offer us the representation of program entities, systems' histories, changes and their dependencies, along with analyses for version comparison, and change and dependency identification. Instances of these meta-models are then used by our proposed tool support to enable integrators to analyze the characterizations and changes. Torch, a visual tool, and JET, a set of tools, actually provide the information needs to assist integration within a branch and across branches by means of the characterization of changes and streams of changes respectively.

[pt] O ensino de computação gráfica aplicada é de muita importância no processo de simulação computacional de problemas de engenharia. Atualmente, muitos programas de computador, de fácil utilização, têm melhorado este trabalho, como é o caso do MATLAB. A geração e manipulação de um modelo geométrico, que é a forma mais realista e apropriada de representar o problema a ser estudado, são etapas muito importantes na simulação computacional. O uso do mouse permite que estas etapas se tornem mais interativas e de fácil compreensão. Por este motivo, neste trabalho desenvolve-se uma classe genérica no contexto da programação orientada a objetos, no ambiente MATLAB, que permite gerenciar eventos de mouse em um canvas. O objetivo desta classe é ser utilizada no desenvolvimento de programas gráficos e interativos em MATLAB, principalmente para fins educacionais. Visando atender a essas expectativas, adotou-se a Orientação a Objetos, que possibilita a criação de códigos reutilizáveis. Aliada a essa técnica, utiliza-se a Unified Modeling Language, uma linguagem gráfica que permite a visualização, construção e documentação do desenvolvimento de um sistema computacional orientado a objetos. Para determinar o correto funcionamento e praticidade da classe desenvolvida, são implementadas duas aplicações interativas no software MATLAB; a primeira para desenhar pórticos planos em 2D e a segunda para demostrar o funcionamento do círculo de Mohr para estado plano de tensões. / [en] Teaching of applied computer graphics is of great importance in computational simulation of engineering problems. Currently, many user- friendly computer programs have improved this work, as is the case with MATLAB. The generation and manipulation of a geometric model, which is a more realistic and appropriate way to represent the problem to be studied, are very important steps in the computational simulation. The use of the mouse allows these steps to become more interactive and easy to understand. For this reason, in this work a generic class is developed in the context of object-oriented programming (OOP) in the MATLAB environment, which allows managing mouse events in a canvas. The goal of this OOP class is to be used as a base class in the development of graphics and interactive programs in MATLAB, mainly for educational purposes. In order to meet these expectations, an OOP paradigm was adopted, which enables the creation of reusable codes. Together to this technique, the Unified Modeling Language (UML) is used, a graphic language that allows the visualization, construction and documentation of the development of an object oriented computational system. To determine the correct functioning and practicality of the developed class, two interactive applications are implemented in MATLAB; the first to draw frame structures in 2D and the second to demonstrate the Mohr circle for stress state.

The phenomena studied in Fracture Mechanics can be observed either in Nature, the most sophisticated systems or ordinary structures. As a consequence, Engineers need to be alert for investigating the variety of complex mechanisms, related with fracture processes, which are capable of appearing in these systems. The possibility of failure is a real premise has to be considered not only in the design of structures, but also throughout their life. Undoubtedly, in this context Fracture Mechanics should be used to carry out prognostics of potential crack propagation patterns, verifying if there exists or not risk of keeping a structure in service usage. An alternative formulation widely applied to simulate fracture behavior is the Cohesive Zone Modeling (CZM) approach. It is a scientific branch of Fracture Mechanics originally proposed by Barenblatt (1959, 1962) and Dugdale (1960), and which after Xu and Needleman s works (1993, 1994) has acquired a great acceptance in scientific community. For this reason, the present work employs Xu and Needleman s model to simulate dynamic crack propagation in brittle materials, introducing the Software for Simulation of Dynamic Cohesive Fracture (DyCOH), which is based on Object-Oriented Programming (OOP) paradigm for facilitating future reuse and extension of implemented code. Using DyCOH software two numerical applications are shown. First, for verification purpose, the classical Xu and Needleman s problem is simulated and the response of DyCOH is compared with literature results. Second, for didactic aspiration, a simpler problem is studied in order to understand the influence of loading speed on fracture patterns of a tie-bar. / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Os fenômenos estudados pela Mecânica da Fratura podem ser observados na própria Natureza, em sistemas de altíssimo padrão tecnológico, bem como em estruturas mais tradicionais. Dessa forma, os engenheiros devem estar alerta para investigar a variedade de mecanismos complexos, relacionados aos processos de fratura, que podem surgir nesses sistemas. Nesse sentido, a possibilidade de falha precisa ser encarada como uma premissa real a ser observada não somente nas etapas de projeto, mas durante toda vida útil das estruturas. Sem dúvida, para auxiliar nessa tarefa, a Mecânica da Fratura pode ser utilizada através da realização de prognósticos dos potenciais padrões de propagação de trincas, verificando a existência ou não de risco de manter determinada estrutura em serviço. Uma formulação alternativa que vem sendo amplamente empregada para a simulação do comportamento a fratura é a de Modelos de Zona Coesiva. Estes formam um ramo da Mecânica da Fratura originalmente proposto por Barenbllat (1959, 1962) e Dugdale (1960), e que depois dos trabalhos de Xu e Needleman (1993, 1994) tem recebido uma grande aceitação no meio científico. Assim sendo, o presente trabalho emprega o modelo coesivo de Xu e Needleman para simulação da propagação dinâmica de fraturas em matérias frágeis, dando início a construção do DyCOH (Software for Simulation of Dynamic Cohesive Fracture ). Este é concebido com base nos conceitos de programação orientada a objetos, visando facilitar o reuso e a extensibilidade do código base. Através do DyCOH, duas aplicações numéricas são realizadas. Na primeira, o problema clássico de Xu e Needleman é simulado e os resultados obtidos pelo DyCOH são comparados com os disponíveis na literatura técnica, de forma a realizar a verificação numérica do código. No segundo, um problema mais simples é estudado com objetivo de entender a influência da velocidade de aplicação do carregamento no padrão de fraturamento de um tirante, permitindo observar a capacidade do DyCOH em reproduzir um exemplo mais didático.

Formal specification of software systems has been very promising. Critics against the end results of formal methods, that is, producing quality software products, is certainly rare. Instead, reasons have been formulated to justify why the adoption of the technique in industry remains limited. Some of the reasons are: • Steap learning curve; formal techniques are said to be hard to use. • Lack of a step-by-step construction mechanism and poor guidance. • Difficulty to integrate the technique into the existing software processes. Z is, arguably, one of the successful formal specification techniques that was extended to Object-Z to accommodate object-orientation. The Z notation is based on first-order logic and a strongly typed fragment of Zermelo-Fraenkel set theory. Some attempts have been made to couple Z with semi-formal notations such as UML. However, the case of coupling Object-Z (and also Z) and the Use Case Maps (UCMs) notation is still to be explored. A Use Case Map (UCM) is a scenario-based visual notation facilitating the requirements definition of complex systems. A UCM may be generated either from a set of informal requirements, or from use cases normally expressed in natural language. UCMs have the potential to bring more clarity into the functional description of a system. It may furthermore eliminate possible errors in the user requirements. But UCMs are not suitable to reason formally about system behaviour. In this dissertation, we aim to demonstrate that a UCM can be transformed into Z and Object-Z, by providing a transformation framework. Through a case study, the impact of using UCM as an intermediate step in the process of producing a Z and Object-Z specification is explored. The aim is to improve on the constructivity of Z and Object-Z, provide more guidance, and address the issue of integrating them into the existing Software Requirements engineering process. / Computer Science / M. Sc. (Computer Science) / D. Phil. (Computer Science)

Dentre as práticas da Programação Extrema, ou eXtreme Programming (XP), destaca-se a Programação em Par, ou Pair Programming (PP). Nesta prática duas pessoas trabalham de forma colaborativa na mesma tarefa – projeto, algoritmo, código ou teste – e em um único computador. O objetivo geral deste trabalho é investigar a eficácia da Programação em Par versus Programação individual perante tarefas de modelagem e construção de software orientado a objetos. A eficácia da prática é avaliada por meio de atributos relacionados à qualidade de software, são eles: (i) tamanho dos métodos, (ii) complexidade estrutural dos métodos, (iii) acoplamento/dependência entre pacotes e, por fim, (iv) falta de coesão dos métodos por classe. Para isso, foi realizada uma pesquisa experimental envolvendo atividades práticas e aplicação de questionários junto a alunos voluntários de três instituições de ensino superior da cidade de Curitiba. A partir dessa pesquisa, conclui-se que Programação em Par mostrou-se mais eficaz perante tarefas de modelagem e construção de software que a programação individual, isso considerando tamanho e complexidade dos métodos. E mais, os alunos perceberam mais benefícios do que desafios (ou desvantagens) quando se adota a PP para realizar tais tarefas. / Among eXtreme Programming (XP) practices, Pair Programming(PP) stands out from the rest. It consists of two individuals cooperating, working in the same task - design, algorithm, code or test - in the same computer. The general objective of this study is to scrutinize the efficacy of Pair Programming versus individual programming relating to modeling tasks and object oriented software development. The efficacy of the process is evaluated through the following software quality related attributes: (i) method size, (ii) structural complexity of the methods, (iii) linkage/dependency among packages and finally (iv) lack of cohesion of the methods by class. Therefore, an experimental research was performed, involving practical activities and surveys answered by volunteer students from three different higher education institutions in Curitiba. This research showed that pair programming is more efficient when working with modeling tasks and software development than individual programming, taking into account size and complexity of methods. Furthermore, more pros than cons were found by students when pair programming was chosen to accomplish such tasks.

Uma abordagem de teste estrutural de integração contextual para programas OO e OA escritos em Java e AspectJ é apresentada. A finalidade dessa abordagem é descobrir defeitos que possam existir nas interfaces entre uma determinada unidade (método ou adendo) e todas as outras que interagem diretamente com ela, bem como descobrir defeitos que possam ocorrer na hierarquia de chamadas dessas unidades. Para programas OO, esse tipo de teste envolve testar a interação entre métodos; já para programas OA, o teste estrutural de integração nível um (como também pode ser chamado) deve considerar as interações método-método, método-adendo, adendo-adendo e adendo-método. Para efetuar o teste estrutural de integração nível um deve-se considerar todo o fluxo de execução (fluxo de controle e de dados) que ocorre entre uma unidade chamadora e as unidades que interagem diretamente com ela. Para isso é definido o grafo Def-Uso IN1P, que é uma abstração formada pela integração dos grafos Def-Uso Orientado a Aspectos (AODU) da unidade chamadora e das unidades que ela chama ou que a afeta. Além disso, são propostos três critérios para derivar os requisitos de teste, dois baseados em fluxo de controle (todos-nós-integrados-N1 e todas-arestas-integradas-N1) e um baseado em fluxo de dados (todos-usos-integrados-N1). A ferramenta JaBUTi/AJ foi estendida para dar apoio à abordagem de teste de integração proposta. Exemplos são apresentados para ilustrar o uso da ferramenta para o teste de profundidade um e também seu uso no contexto de uma abordagem que leva em consideração também o teste de unidades e o teste baseado em conjuntos de junção / A Contextual structural integration testing for OO and OA programs written in Java and AspectJ is presented. The purpose of this approach is to discover faults that may exist in the interfaces between a particular unit (method or advice) and all others that interact directly with it, as well as to discover defects that may occur in the call hierarchy of these units. In OO programs, this type of test involves testing the interaction among methods. For OA programs, the structural integration testing at the depth of one (as it can also be called) should consider the method-method, method-advice, advice-advice and advice-method interactions. To perform structural integration testing at the depth of one level the whole execution flow (control and data flow) that occurs among a caller unit and the units that interact directly with it it must be considered. The IN1P Def-Use graph has been defined as an abstraction formed by the integration of the Aspect-Oriented Def-Use (AODU) graphs of the caller unit and of the units that it calls or affects it. Also, three criteria to derive test requirements are proposed, two of which are based on control flow all-integrated-nodes-N1 and all-integrated-edges-N1 and one is based on data flowall-integrated-uses-N1. The tool JaBUTi/AJ was extended to support the proposed integration testing approach. Examples are presented to illustrate the use of the tool for depth 1 testing as well as its use in the context of an approach that also takes into account unit testing and pointcut-based testing

Made available in DSpace on 2016-08-17T14:52:56Z (GMT). No. of bitstreams: 1 Jorge Isaac Rodriguez Rodriguez.pdf: 1323419 bytes, checksum: 4200a77bd6a2f02a314bd07b92e57da8 (MD5) Previous issue date: 2005-02-28 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / In this work a framework for development of electric energy systems applications is proposed, on which several methodologies of analysis can be integrated or be adapted. An application of that framework has been developed to quantify the economic aspect for the improvement of power systems dynamic security based on preventive control. The following methodologies have been integrated for this objective: power systems dynamic security assessment, calculation of preventive control measures for dynamic security improvement and economic quantification of the impact caused by the application of those measures. Dynamic security assessment function uses a fast methodology based on transient energy function for contingencies dynamic ranking and a time-domain based methodology for the dynamic evaluation of contingencies. This last function has been implemented using a distributed processing environment. The power system dynamic security level is defined according to heuristic criteria which will determine the need of application of some control measure. The preventive control measures are defined when establishing the maximum limits of generation; those measures are calculated with fast methods without the use of sensitivities. Power system operation feasibility considering the new generation limits is obtained using a non linear optimal power flow program (OPF) with an objective function of load shedding minimization. The new operation condition of the power system is calculated following technical and economic considerations with the use of an OPF for several objective functions. The framework was projected using object-oriented methodology and CORBA (common object request broker architecture) architecture and has been coded in C++ and Java languages. Complete implementation of the described methodologies has been successfully tested with the Anderson-Fouad WECC-3 generators system and with a configuration of 44 generators of the interconnected Brazilian system. Analysis of results indicates that preventive control allows an improvement of power system dynamic security and a corresponding reduction in the economic impact after the occurrence of severe disturbances. / Neste trabalho é proposto um framework para desenvolvimento de aplicações elétricas, sobre o qual podem ser implementadas ou adaptadas distintas metodologias de análise, conseguindo que trabalhem em forma integrada para a quantificação do impacto econômico da melhoria da segurança dinâmica de sistemas elétricos. As metodologias incluem a avaliação da segurança dinâmica de sistemas de energia elétrica, o cálculo de medidas de controle preventivas para a melhoria dos níveis de segurança dinâmica e a quantificação do impacto econômico produzido pela aplicação de ditas medidas. Na avaliação da segurança dinâmica utiliza-se uma metodologia baseada na função de energia transitória para o ordenamento dinâmico de contingências e uma metodologia baseada no domínio do tempo para a avaliação dinâmica de contingências, esta última dentro de um ambiente de processamento paralelo. O nível de segurança dinâmica do sistema é estabelecido seguindo critérios heurísticos que determinarão a necessidade da aplicação de alguma medida de controle. As medidas de controle preventivo são definidas ao estabelecer os limites máximos de geração, calculados com métodos rápidos, sem o uso de sensibilidades. A factibilidade da operação do sistema considerando estes novos limites de geração é obtida com a utilização de um fluxo de potência ótimo não linear (FPO) e uma função objetivo de minimização de corte de carga. O novo ponto de operação é calculado segundo considerações técnico - econômicas com a utilização de um FPO para diferentes funções objetivo. O framework foi projetado utilizando metodologia orientada a objetos e uma arquitetura CORBA (common object request broker architecture), e codificado nas linguagens C++ e Java. A implementação total das metodologias descritas foi testada com sucesso no sistema Anderson-Fouad WECC de 3 geradores e numa configuração do sistema interligado brasileiro de 44 geradores. A análise dos resultados indica que o controle preventivo permite uma melhoria da segurança dinâmica do sistema de potência e uma correspondente diminuição no impacto econômico após a ocorrência de perturbações severas.