[pt] Neste trabalho defenderemos a tese de que funções e continuações como valores de primeira classe constituem uma boa base para construção de abstrações que se beneficiem do comportamento assíncrono da programação distribuída orientada a eventos.Propomos e desenvolvemos o sistema ORFEO, baseado na linguagem LUA 34, que atribui às funções remotas o mesmo status de primeira classe de funções locais.O sistema também possui a propriedade de tratar continuações como valores de primeira classe, permitindo capturar o que resta a ser executado do processamento de um evento.A aplicação dessas duas propriedades, funções remotas e continuações como valores de primeira classe, em um contexto de comunicação por eventos permite que um desenvolvedor possa construir abstrações de objetos distribuídos e de sincronização sem precisar de primitivas especiais no sistema.O resultado une a expressividade de uma linguagem procedural de técnicas funcionais e mecanismos de extensão presentes na linguagem LUA.

[pt] Linguagens de programação tem tradicionalmente sido classificadas como estaticamente tipadas ou dinamicamente tipadas, estas últimas também sendo conhecidas como linguagens de scripting. Linguagens com tipagem dinâmica são bastante populares para a escrita de programas menores, um cenário onde a facilidade de uso e flexibilidade da linguagem são altamente valorizados. No entanto, com o passar do tempo, pequenos scripts podem se tornar grandes sistemas e a flexibilidade da linguagem pode passar a ser uma fonte de defeitos no programa. Para estes sistemas maiores, a tipagem estática, que oferece detecção de erros em tempo de compilação, melhor documentação e oportunidades de otimização, passa a ser mais atrativa. Como reescrever todo o sistema em uma linguagem estática não é ideal do ponto de um vista da engenharia de software, encontrar formas de adicionar tipos estáticos em programas dinamicamente tipados já existentes tem sido uma área de pesquisa bem rica. Nesse trabalho, nós apresentamos uma perspectiva histórica dessa pesquisa. Nos focamos em abordagens que não são específicas para uma única linguagem de programação, como as Type Hints de Common LISP, o Soft Typing de Fagan et al e o Gradual Typing de Siek et al, contrastando essas diferentes soluções a partir de uma perspectiva moderna. / [en] Programming languages have traditionally been classified as either statically typed or dynamically typed, the latter often being known as scripting languages. Dynamically typed languages are very popular for writing smaller programs, a setting where ease of use and flexibility of the language are highly valued. However, with time, small scripts tend to evolve into large systems and the flexibility of the dynamic language may become a source of program defects. For these larger systems, static typing, which offers compile-time error detection, improved documentation and optimization opportunities, becomes more attractive. Since rewriting the whole system in a statically typed language is not ideal from a software engineering point of view, investigating ways of adding static types to existing dynamically typed programs has been a thriving research area. In this work, we present a historical overview of this research. We focus on general approaches that apply to multiple programming languages, such as the Type Hints of Common LISP, the Soft Typing of Fagan et al and the Gradual Typing of Siek et al, contrasting these different solutions from a modern perspective.

[pt] Existe um crescente interesse na introdução de serviços integrados no ambiente de comunicações móveis e sem fio. Estes serviços podem incluir, em alguns casos, informação na forma de áudio, vídeo, imagens e dados simultaneamente junto com o serviço existente de voz nas redes celulares. Devido à necessidade por maior faixa, o aumento da capacidade da interface rádio continuará sendo um dos principais requisitos para a introdução destes novos serviços. Para atender esta necessidade, vários métodos de acesso estão sendo propostos. Esta tese propõe um novo protocolo de acesso, D-RAMA, que visa extender os métodos de acesso determinísticos TRAMA e FRAMA. A validação do algoritmo é feita por meio de simulação considerando diversas interfaces rádio, assim como diferentes tipos de tráfegos. / [en] Third generation systems will present several new enhancements while compared with current second generation technologies. Some of the most important ones are the support of integrated services (audio, video, data) as well as speech, operation in different radio environments with several propagation conditions and increased capacity. These features demand an efficient media access control (MAC) protocol, supporting both Constant Bit Rate (CBR) and Variable Bit Rate (VBR) traffic types with different Quality of Service (QoS) requeriments. In order to supply this demand, several packet access methods are being proposed. This thesis presents a new media access protocol, D-RAMA (Dynamic Priorities Resource Auction Multiple Access) and FRAMA (Fair resource Auction Multiple Access) methods, and is designed to fulfill the requirements of third generation systems. The protocol is validated through simulations, considering several radio interfaces and traffic sources.

[pt] Este trabalho, apresenta o estudo de uma lei de comando, proposta para um regulador extremal, capaz de regular três tipos de sistemas, ou seja: N-L, L-n, e L-N-nl, onde L é uma sistema linear de primeira ordem, e N é um sistema Não Linear que apresenta características parabólica, os blocos estão ligados em cascata, e é suposto que apenas a entrada e saída do conjunto, sejam acessíveis. O estudo foi feito por simulação analógica. No computador IBM-1130, utilizando para tanto o programa CSMP (continuous system modeling program). São apresentados e discutidos, os resultados gráficos, ilustrando as trajetórias e o comportamento dos três sistemas estudados, Quando sujeitos à lei de comando imposta pelo regulador. Estes resultados, levaram a concluir que, utilizando a lei de comando proposta, é possível, partindo de quaisquer condições iniciais, conduzir e faze com que os sistemas estudados, fiquem trabalhando no extremo da característica não linear, e que as oscilações, tanto em regime transitório como em regime permanente, são de amplitude dessprezível. / [en] This work presents the study of a control law for na extreme control regulator with the capability of controlling three types of systems, namely N-L, L-N, L-N and L-N-L, where L is a first-order linear system and N is a non-linear system that possesses a parabolic characteristic. The system blocks are interconnected in series and it is assumed that only the input and output terminals of the complete system are accessible. The study was made by an analogue simulation on the IBM-1130 computer, utilizing the CSMP (continuous system modeling program). The results are presented and discussed graphically and the curves illustrate the performance of the three systems when subject to the control law imposed by the regulator, these results lead to the conclusion that using the proposed control law it is possible to achieve control for any set of initial conditions. The transient and steady state responses show a very small amplitude of oscillation.

[pt] Neste trabalho, os sistemas solitônicos amplificados são estudados utilizando simulações numéricas. A inserção periódica de simplificadores ópticos (EDFAs), para compensar as perdas na fibra, limita o desempenho dos sistemas devido, principalmente, ao ruído de emissão espontânea amplificada (ASE) gerado pelo próprio amplificador. As decorrentes limitações impostas aos sistemas - efeito Gordon-Haus, acúmulo de ruído ASE, espaçamento entre amplificadores e interações entre pulsos adjacentes - são detalhadamente analisadas. Neste cenário, o desempenho destes sistemas é inferior ao de sistemas NRZ em uso. Visando melhorar o desempenho dos sistemas, diferentes técnicas de controle de sólitons - gerenciamento de dispersão, filtragem espectral em freqüências fixa e deslizante - são descritas e investigadas. Os inúmeros resultados obtidos e apresentados permitem avaliar com segurança a aplicabilidade dos sistemas solitônicos em comunicação ópticas de longa distância e/ou altas taxas de transmissão. / [en] This thesis presents a study of single channel amplified soliton systems base don numerical simulations. In these systems, the losses of the optical fibers are compensated by the periodic insertion of Erbium-doped fiber amplifiers (EDFAs). As the amplifiers generate noise in the form of spontaneous amplified emission (ASE noise), their presence limits the systems performance. The resulting limitations - the Gordon-Haus effect, ASE noise accumulation, length of the amplifier span and interaction between neighborinhg pulses - are analyzed in detail. When taken into account, these limitations make the performance of amplied soliton systems inferior to that of classical linear NZR systems currently in use. Different techniques to improve the performance of soliton systems are investigated, mainly the dispersion management tecnique and spectral flitering, using both fixed and sliding frequencies. The results obtained through extensive numerical simulations allow a sound evaluation of the applicability of amplified soliton systems to long distance and/or high rate transmissions.

[pt] Uma das fases importantes no planejamento dos Sistemas Elétricos de Potência é a verificação do seu comportamento dinâmico. Sob este aspecto é conveniente que se tenha uma modelagem mais real possível de todos os componentes do sistema, havendo particular interesse numa boa representação principalmente das máquinas (geradores e síncronos). Ultimamente, os Compensadores Estáticos (SVS) tem sido um elemento valioso no controle da potência reativa dos sistemas Elétricos de EAT. Desta forma, os programas digitais até então utilizados tiveram que ser convenientemente modificados a fim de considerar este novo equipamento. A finalidade deste trabalho é apresentar a representação dos SVS nos programas de estabilidade. O enfoque principal será dados aos SVS controlados a tiristores (TCR, TCT, TSC ou mistos) nos quais há intervenção de sistemas específicos de controle. Com base na modelagem proposta, é feita uma análise da operação dos SVS a tiristores em regime permanente e, em transitório. Conjuntamente com a apresentação dos vários tipos de SVS a tiristores, é introduzida uma metodologia para a determinação de seus valores nominais, suas principais características operativas, fazendo-se, sempre que possível, uma comparação com outros tipos de Compensadores Estáticos e, com os Compensadores Síncronos atualmente em operação. / [en] One of the most important phases of power systems planning, is the examination of its dynamic behavior. It is convenient under this aspect, to have the models of all components pertaining the system, as close as possible to the real conditions of operation being of particular interest a good representation, mainly of the machines (generators and synchronous compensators). Lately, the static compensators (SVS), have been an important component in the control of reactive power for the UHV electrical systems. Due to this fact, the digital programs used until then, had to be conveniently modified so as to consider this new equipment. The purpose of the present work, is to introduce the representation of the SVS in the stability programs. Special care will be give to the SVS controlled by thyristors (TCR, TCT, TSC or mixed), in which the intervention of specific control systems takes place. Based upon the proposed models, an analysis of the operation of the thyristors SVS in permanent and transient regimes is performed. Together with the presentation of various types of thyristors SVS, it is introduced methods to determine nominal values, main operational characteristics, always comparing, when possible, to other types of static compensators, as well as, with the synchronous compensators in operation.

[pt] Com o aumento das interligações elétricas entre países, surgiram vários desafios para reguladores e operadores do setor elétrico desses países. Um dos desafios mais importantes consiste em definir qual o custo pelo uso da transmissão de um país a outro país. O principal problema, neste caso, é que a informação elétrica de um país não está disponível para outros países, o que dificulta a devida alocação internacional pelo uso da transmissão. Este trabalho tem como objetivo analisar possíveis soluções para o problema da alocação de custos pelo uso da transmissão em sistemas multiárea. Para isso, alguns métodos representativos pelo uso da transmissão serão combinados com diferentes técnicas para criar sistemas elétricos equivalentes, representando um país (ou uma área). São analisados os métodos Prorata, divisão proporcional (PS-Proportional Sharing), Zbus e EBE (E-quivalent Bilateral Exchange). Para gerar os equivalentes são considerados os seguintes modelos: equivalente baseado em uma rede otimizada equivalente (ROE), que cria linhas fictícias a partir das barras de fronteira de cada país e das tensões destas barras definidas no caso base; equivalente Ward, em que cada país estabelece seu sistema equivalente com o uso da técnica de fatoração da matriz de admitância nodal e; finalmente, o equivalente REI (Radial Equivalent Indepen-dent), no qual uma rede elétrica é reduzida a um equivalente radial. As análises dos métodos de alocação de custos pelo uso da transmissão junto aos sistemas equivalentes foram realizadas com os sistemas 9 barras e IEEE 24 barras, ambos com três áreas. / [en] With the increase of the electrical interconnections among countries, there were several challenges for regulators and operators in these countries. One of the most important challenges is to define what is the transmission cost usage from one country to another country. The main problem in this case is due to the elec-trical information of one country which is not available to another country, which makes difficult the multiarea transmission cost allocation. The main objective of this dissertation is to examine possible solutions for the multiarea transmission cost allocation problem. To do this, some representative methods for transmission cost allocation will be combined with techniques to create equivalent electrical systems, which will represent a country (or area). The transmission cost allocation methods used are: methods Pro-rata, proportional sharing (PS), Zbus and EBE (Equivalent Bilateral Exchange). To generate the equivalents are considered the following models: equivalent based on an optimized network equivalent (ONE), which creates fictitious lines based on the optimization problem considering the interconnection buses of the frontier of the country and voltage in these buses es-tablished for the base case; The Ward equivalent, in which each country creates an equivalent system based on the internal information of its area and, finally, the REI equivalent (Radial Equivalent Independent), in which the power grid is repre-sented by a radial system. Analyses of those transmission cost allocation methods and equivalent systems were performed for 9 bus and IEEE 24 bus, both with three areas.

[pt] Sistemas multi-agentes abertos são freqüentemente caracterizados como sistemas distribuídos onde agentes, que podem não ser conhecidos a priori, podem entrar ou sair do sistema a qualquer momento. Uma abordagem de governança estabelece regras de interação que precisam ser seguidas pelos agentes de um determinado sistema. O uso destas regras permite uma maior previsibilidade e controle sobre o comportamento observável do sistema. Nesta tese, apresenta-se uma abordagem de governança de sistemas multi-agentes abertos como adequada para lidar não apenas com o monitoramento e controle do comportamento dos agentes, mas também com aspectos de fidedignidade. Um software é dito fidedigno quando se pode confiar no mesmo através de verificações formais ou informais assumindo riscos de danos compatíveis com o serviço prestado pelo software. A incorporação de aspectos de fidedignidade em uma abordagem de governança tem como principal benefício a geração de uma tecnologia integrada que possui as vantagens de uma abordagem de governança e ao mesmo tempo lida com especificações de instrumentos de fidedignidade tais como prevenção e tolerância a faltas. A abordagem proposta é ilustrada através de um estudo de caso no contexto de controle de tráfego aéreo. / [en] Open multi-agent systems are frequently characterized by having little or no control over the behavior of the agents. The internal implementation and architecture of agents usually are inaccessible, and different teams may have developed them but with no coordination between them. Furthermore, agents may enter or leave the system at their will. A governance approach defines the interaction rules that must be obeyed by the agents. These rules allow for a greater control and predictability of the observable system behavior. In this thesis, we propose a governance approach to deal not only with the monitoring and control of agents` behavior but also to deal with dependability concerns. The original definition of dependability is the ability to deliver service that can justifiably be trusted. A governance approach that also deals with dependability has as main benefit the reuse of the monitoring and enforcement present in the governance infrastructure for dependability. We present a case study in the context of an air traffic control system to illustrate our approach.

[pt] Os sistemas de gerência de workflow são freqüentemente utilizados para modelagem, monitoramento e execução coordenada de atividades realizadas por grupos de usuários em diferentes contextos. Com a atual proliferação de computadores portáteis e seu crescente poder de computação, os sistemas tradicionalmente desenvolvidos têm se mostrado, muitas vezes, excessivamente rígidos, limitando o grau de autonomia dos usuários. O objetivo deste trabalho é identificar e analisar diferentes técnicas de flexibilização e mecanismos que possam ser empregados em um sistema de gerência de work-flow destinado a dar suporte à operação desconectada. O principal desafio é garantir um nível de independência satisfatório entre grupos de pessoas trabalhando de forma conjunta que possibilite a realização coordenada de tarefas, com um objetivo global comum, em ambientes com desconexão. Para testar a viabilidade das idéias discutidas nesta dissertação, foi construído um sistema cujo projeto levou em conta os vários requisitos apresentados e que permite explorar características específicas de diferentes tipos de work-flow, buscando flexibilizar sua execução, sem comprometer a estruturação preestabelecida. / [en] Workflow management systems are frequently used for modeling, monitoring and controlling the coordinated execution of activities performed by workgroups in a variety of contexts. With the widespread use of portable computers and their growing computational power, conventional systems have often proved to be overly restrictive, effectively limiting the level of autonomy of the users involved. The primary goal of this work is to identify and analyze different flexibilization techniques and mechanisms that can be employed in a workflow management system aimed at supporting disconnected operation. The main challenge is to provide a satisfactory degree of independence among individuals in cooperating teams who share a common goal and work in disconnected environments. In order to test the viability of the ideas discussed in this dissertation, a system was built whose design met the requirements presented in the text and which allows the exploration of specific features of different kinds of workflow so as to enhance execution flexibility, without compromising the predefined structure.

[pt] Diversas tecnologias de implementação de software são discutidas na literatura. Duas dessas tecnologias são a orientação a objetos, que se encontra consolidada, e a orientação a agentes, que vem sendo objeto de muitos estudos e experimentos. Esses estudos indicam a orientação a agentes como muito promissora e como uma evolução da orientação a objetos. No entanto, há poucos trabalhos comparando essas duas técnicas e os poucos trabalhos se baseiam em comparações ideológicas e qualitativas. Essa dissertação tem por objetivo desenvolver e avaliar modos sistemáticos de avaliação de duas arquiteturas de implementação de sistemas. As duas tecnologias apresentadas foram comparadas e foi determinado se a utilização de uma tecnologia trouxe benefícios, desvantagens ou foi indiferente face à outra. A comparação foi realizada tomando por base um problema real, ou seja, foram criadas duas implementações que solucionam o problema de modo similar cada uma usando uma tecnologia. Para o desenvolvimento desse trabalho foi criado um plano de medição com base na técnica Goal Question Metric. O plano de medição foi aplicado às duas implementações e resultados obtidos foram avaliados definindo os benefícios de cada técnica. Por fim, foi feita uma crítica da utilização do modelo GQM em um projeto real. / [en] There are several software development technologies currently in the literature. Two such technologies are object orientation, which is consolidated, and agent orientation, which has been the subject of many studies and experiments. These studies indicate the agent orientation as very promising and an evolution of object orientation. However, there is only a few studies comparing these two techniques and these studies have been based on ideological and qualitative comparisons. This dissertation aims to develop and evaluate methods of systematic evaluation of two architectures for implementing systems. The two technologies presented were compared and determined whether the use of technology has brought benefits, disadvantages or was indifferent to the other. The comparison was performed based on taking a real problem; in other words, two implementations have been created that address the problem similarly each using a technology. To develop this work, it was created a measurement plan based on the technique Goal Question Metric. The measurement plan was applied to both implementations and results were evaluated by defining the benefits of each technique. Finally was done a discussion about the use of the GQM model in a real project.