[pt] A maioria das linguagens de programação modernas fornece ferramentas para programação concorrente sem restringir seu uso. Assim, fica a cargo do programador evitar a ocorrência de condições de corrida. Nessa dissertação, revisitamos o modelo de monitores, projetados para prevenir condições de corrida ao limitar o acesso à variáveis compartilhadas, e mostramos que monitores podem ser implementados em linguagens de programação com semântica referencial, dadas as regras de tipagem apropriadas. Nós descrevemos a linguagem de programação Aria, projetada com monitores nativos seguindo a proposta original do modelo. Através da resolução de problemas clássicos de concorrência, nós avaliamos o uso de monitores em Aria para sincronização em diferentes níveis de granularidade, e extendemos a linguagem com novos recursos a fim de contemplar as limitações do modelo envolvendo desempenho e expressividade. / [en] Most current programming languages do not restrict the use of the concurrency primitives they provide, leaving it to the programmer to detect data races. In this dissertation, we revisit the monitor model, which guards against data races by guaranteeing that accesses to shared variables occur only inside monitors, and show that this concept can be implemented in a programming language with referential semantics, given appropriate typing rules. We describe the Aria programming language, designed with native monitors according to these rules. Through the discussion of classic concurrency problems, we evaluate the use of Aria monitors for synchronization at different levels of granularity and extend the language with new features to address the limitations of monitors regarding performance and expressiveness.

As increasingly large displays are integrated into personal workspaces, mouse-based interaction becomes more problematic. Users must repeatedly "clutch" the mouse for long distance movements [61]. The visibility of the cursor is also problematic in large screens, since the percentage of the screen space that the cursor takes from the whole display gets smaller. We test multi-scale approaches to mouse interaction that utilize dynamic speed and size techniques to grow the cursor larger and faster for long movements. Using Fitts' Law methods, we experimentally compare different implementations to optimize the mouse design for large displays and to test how they scale to large displays. We also compare them to techniques that integrate absolute pointing with head tracking. Results indicate that with some implementation level modifications the mouse device can scale well up to even a 100 megapixel display with lower mean movement times as compared to integrating absolute pointing techniques to mouse input while maintaining fast performance of the typical mouse configuration on small screens for short distance movements. Designs that have multiple acceleration levels and 4x maximum acceleration reduced average number of clutching to less than one per task in a 100 megapixel display. Dynamic size cursors statistically improve pointing performance. Results also indicated that dynamic speed transitions should be as smooth as possible without steps of more than 2x increase in speed. / Master of Science

Esta dissertação tem como objetivo inicial reapresentar e difundir o Método das Posições de Falta (MPF) como um meio analítico para se determinar as tensões remanescentes, em todas as barras constituintes de um Sistema de Distribuição (SD), quando da ocorrência de afundamentos de tensão. Pela aplicação de tal método, é possível construir a Matriz de Tensão Durante a Falta (MTDF), denotando assim, a influência e a propagação dos afundamentos de tensão sobre toda a rede. A fim de validar o MPF, será realizada uma comparação dos resultados obtidos com os provenientes de simulações computacionais dispondo do software ATP (Alternative Transients Program). Desta comparação, ilustra-se que a ferramenta indicada mantém a previsão dos resultados em limites aceitáveis, mesmo considerando certa simplificação nos procedimentos de cálculo e na modelagem computacional dos componentes do sistema. A partir dos resultados encontrados, é realizado um mapeamento das áreas de risco que equipamentos eletroeletrônicos sensíveis estarão submetidos, através da delimitação e análise da área afetada e da área exposta ou de vulnerabilidade. Em complementação ao trabalho, é apresentada uma proposta baseada em um algoritmo branch and bound que determinará o número ótimo de medidores de qualidade de energia, bem como as barras onde os mesmos devam ser instalados para monitorar os afundamentos de tensão, com o objetivo de garantir que ao menos um dos medidores seja sensibilizado para cada um dos curtos-circuitos simulados. / This dissertation aims to initially reintroduce and spread the Fault Positions Method (FPM) as an analytic means to determine the remaining voltage in all bus bar constituents of a Distribution System (DS), upon the occurrence of voltage sags. By applying this method, it is possible to formulate the during fault voltage matrix, thus denoting the influence and propagation of voltage sags around the network as a whole. In order to legitimate the FPM, the results obtained are compared to those from computer simulations by use of the ATP (Alternative Transients Program) software. This comparison demonstrates that the tool has maintained the predicted results within acceptable limits, even though some simplification in the procedure for calculating and computer modeling of the system components. Based on such results, a detailed mapping of areas of risk, to which sensitive electronic equipment is subjected, has been carried out through the outlining and analyzing of the affected area and of the exposed or vulnerability area. Adding up to the work, a proposal based on a branch and bound algorithm is presented as a means to determine the optimum number of power quality monitors, and the bus where they should be installed to measure voltage sags, in order to ensure that at least one of the meters is sensitized for each of the simulated short-circuits.

Como as Variações de Tensão de Curta Duração (VTCDs) estão entre as perturbações mais difíceis de serem monitoradas, uma vez que são ocasionadas por fatores aleatórios e imprevisíveis, a monitoração do Sistema de Distribuição (SD) representa uma providência essencial para a obtenção de informações representativas para a regulamentação de novos indicadores relativos a esses distúrbios. Neste cenário, este trabalho busca garantir a completa observabilidade das VTCDs em SD, quando da incidência de qualquer tipo de curto-circuito, através da alocação ótima de medidores. Para a determinação da magnitude da tensão em cada nó do SD é utilizado o método das posições de falta, denotando assim, a influência e a propagação das VTCDs sobre a rede como um todo. Na sequência, é determinada uma matriz binária resultante que observa os afundamentos de tensão de forma simultânea para todos os tipos de faltas. Posteriormente, é proposta a redução desta matriz para diminuir o esforço computacional em SDs de grande porte. Ainda, é analisada a vulnerabilidade de cada nó do SD para estabelecer a sua posterior ponderação no processo de otimização. Os resultados revelam que a metodologia de alocação apresentada torna o processo de obtenção da solução ótima ágil e direto, pois menos execuções computacionais são necessárias para obter diferentes soluções ótimas e garantir a monitoração dos afundamentos de tensão para todos os tipos de curtos-circuitos. Além disso, pela metodologia, tem-se também a prioridade de instalação dos medidores conforme a maior observabilidade dos afundamentos de tensão, possibilitando a escolha do melhor arranjo de medidores que atenda aos limites orçamentários das distribuidoras de energia. / Short Duration Voltage Variations (SDVVs) are among the most difficult disturbances to be monitored, since they are caused by random and unpredictable factors. Hence, the Distribution System (DS) monitoring is an essential step for obtaining representative information for the regulation of new power quality indices for these disturbances. In this scenario, this work aims to ensure the entire observability of SDVVs, considering any short circuit occurrence in the DS, based on algorithm to achieve the monitors\' optimal allocation. In order to determine the voltage magnitude at each node, the fault positions method is used, showing the influence and propagation of SDVVs on the DS. Subsequently, a resulting binary matrix is determined. This matrix observes the voltage sags, simultaneously, for all fault types. Then, the downsizing of this matrix is proposed in order to reduce the computational effort in large DSs. Furthermore, the vulnerability of each DS node is analyzed to establish the relative weighting in the optimization process. The results show a faster and more direct allocation methodology to obtain the optimal solution, because fewer computational executions are needed for different optimal solutions and to ensure the voltage sags monitoring for all short circuits types. Moreover, the power quality monitor installation priority is performed according to the higher observability of the voltage sags, making it possible to choose the best arrangement of monitors that meets the budget constraints of the power utilities.

Problemas ocasionados por perturbações na qualidade da energia elétrica (QEE) podem provocar sérios prejuízos, tanto de cunho social, quanto financeiros, aos clientes conectados ao sistema elétrico de potência como um todo. Neste contexto, os clientes que mais sofrem são os clientes industriais, pois estes possuem cargas sensíveis a vários distúrbios associados à falta da QEE. Sendo assim, para adoções de medidas preventivas, ou corretivas, que melhorem os índices de QEE, faz-se necessário um monitoramento dos sistemas elétricos que permita um melhor acompanhamento da ocorrência dos distúrbios. Nesta pesquisa é proposta a modelagem do problema de alocação ótima de monitores de QEE em sistemas de distribuição com múltiplos objetivos, os quais são: minimização do custo do monitoramento, minimização da ambiguidade topológica, maximização do monitoramento das cargas, maximização da quantidade de ramais monitorados, minimização da quantidade de afundamentos não monitorados, e maximização da redundância do monitoramento dos afundamentos. Na resolução do problema foi utilizado o Algoritmo Evolutivo Multiobjetivo com Tabelas (AEMT), adotado por ter boa capacidade de resolução com muitos objetivos. Os resultados obtidos permitiram observar que o AEMT forneceu as fronteiras de Pareto com soluções diversificadas e bem distribuídas ao longo da mesma, mostrando-se de grande relevância para o planejamento de sistemas de monitoramento da QEE em sistemas de distribuição de energia. A principal contribuição desta tese é o fornecimento de um modelo que permite às empresas de energia avaliar os investimentos que farão nos seus sistemas de monitoramento considerando seis critérios distintos, permitindo uma maior flexibilidade no estabelecimento do plano de monitoramento e uma melhor análise do custo/benefício considerando os seis aspectos abordados. / Problems arising from disturbances in power quality (PQ) can cause serious damage, both social, and financial, to customers connected to the electrical power distribution systems as a whole. In this context, the customers who suer most are industrial customers, as they have loads sensitive to various disturbances associated with the lack of PQ. Thus, in order to adopt preventive or corrective measures to improve PQ rates, it is necessary to monitor electrical systems to allow better oversight of the occurrence of disturbances. In this research, the proposal is to model the problem of optimal allocation of power quality monitors in distribution systems with multiple objectives. The multiple objectives are: minimizing the monitoring cost, minimizing ambiguities in topology, maximizing the load monitoring, maximizing the area monitoring, minimizing the voltage sag unmonitored, and maximizing the redundancy in the sag monitoring. In solving the problem, a Multiobjective Evolutionary Algorithm with Tables (MEAT) was adopted due to ability to deal with many objectives. The results show that the AMET finds a set of ecient solutions that are diversified and well-distributed along the Pareto Front, and that they are highly relevant for planning of PQ monitoring systems in electrical power distribution systems. The main contribution of this thesis is to provide a model that allows utilities better evaluate investments that they will make in their monitoring systems comprising six dierent criteria, allowing greater flexibility in establishing the monitoring plan and a better analysis of cost/benefit considering the six aspects.

Esta dissertação tem como objetivo inicial reapresentar e difundir o Método das Posições de Falta (MPF) como um meio analítico para se determinar as tensões remanescentes, em todas as barras constituintes de um Sistema de Distribuição (SD), quando da ocorrência de afundamentos de tensão. Pela aplicação de tal método, é possível construir a Matriz de Tensão Durante a Falta (MTDF), denotando assim, a influência e a propagação dos afundamentos de tensão sobre toda a rede. A fim de validar o MPF, será realizada uma comparação dos resultados obtidos com os provenientes de simulações computacionais dispondo do software ATP (Alternative Transients Program). Desta comparação, ilustra-se que a ferramenta indicada mantém a previsão dos resultados em limites aceitáveis, mesmo considerando certa simplificação nos procedimentos de cálculo e na modelagem computacional dos componentes do sistema. A partir dos resultados encontrados, é realizado um mapeamento das áreas de risco que equipamentos eletroeletrônicos sensíveis estarão submetidos, através da delimitação e análise da área afetada e da área exposta ou de vulnerabilidade. Em complementação ao trabalho, é apresentada uma proposta baseada em um algoritmo branch and bound que determinará o número ótimo de medidores de qualidade de energia, bem como as barras onde os mesmos devam ser instalados para monitorar os afundamentos de tensão, com o objetivo de garantir que ao menos um dos medidores seja sensibilizado para cada um dos curtos-circuitos simulados. / This dissertation aims to initially reintroduce and spread the Fault Positions Method (FPM) as an analytic means to determine the remaining voltage in all bus bar constituents of a Distribution System (DS), upon the occurrence of voltage sags. By applying this method, it is possible to formulate the during fault voltage matrix, thus denoting the influence and propagation of voltage sags around the network as a whole. In order to legitimate the FPM, the results obtained are compared to those from computer simulations by use of the ATP (Alternative Transients Program) software. This comparison demonstrates that the tool has maintained the predicted results within acceptable limits, even though some simplification in the procedure for calculating and computer modeling of the system components. Based on such results, a detailed mapping of areas of risk, to which sensitive electronic equipment is subjected, has been carried out through the outlining and analyzing of the affected area and of the exposed or vulnerability area. Adding up to the work, a proposal based on a branch and bound algorithm is presented as a means to determine the optimum number of power quality monitors, and the bus where they should be installed to measure voltage sags, in order to ensure that at least one of the meters is sensitized for each of the simulated short-circuits.

Problemas ocasionados por perturbações na qualidade da energia elétrica (QEE) podem provocar sérios prejuízos, tanto de cunho social, quanto financeiros, aos clientes conectados ao sistema elétrico de potência como um todo. Neste contexto, os clientes que mais sofrem são os clientes industriais, pois estes possuem cargas sensíveis a vários distúrbios associados à falta da QEE. Sendo assim, para adoções de medidas preventivas, ou corretivas, que melhorem os índices de QEE, faz-se necessário um monitoramento dos sistemas elétricos que permita um melhor acompanhamento da ocorrência dos distúrbios. Nesta pesquisa é proposta a modelagem do problema de alocação ótima de monitores de QEE em sistemas de distribuição com múltiplos objetivos, os quais são: minimização do custo do monitoramento, minimização da ambiguidade topológica, maximização do monitoramento das cargas, maximização da quantidade de ramais monitorados, minimização da quantidade de afundamentos não monitorados, e maximização da redundância do monitoramento dos afundamentos. Na resolução do problema foi utilizado o Algoritmo Evolutivo Multiobjetivo com Tabelas (AEMT), adotado por ter boa capacidade de resolução com muitos objetivos. Os resultados obtidos permitiram observar que o AEMT forneceu as fronteiras de Pareto com soluções diversificadas e bem distribuídas ao longo da mesma, mostrando-se de grande relevância para o planejamento de sistemas de monitoramento da QEE em sistemas de distribuição de energia. A principal contribuição desta tese é o fornecimento de um modelo que permite às empresas de energia avaliar os investimentos que farão nos seus sistemas de monitoramento considerando seis critérios distintos, permitindo uma maior flexibilidade no estabelecimento do plano de monitoramento e uma melhor análise do custo/benefício considerando os seis aspectos abordados. / Problems arising from disturbances in power quality (PQ) can cause serious damage, both social, and financial, to customers connected to the electrical power distribution systems as a whole. In this context, the customers who suer most are industrial customers, as they have loads sensitive to various disturbances associated with the lack of PQ. Thus, in order to adopt preventive or corrective measures to improve PQ rates, it is necessary to monitor electrical systems to allow better oversight of the occurrence of disturbances. In this research, the proposal is to model the problem of optimal allocation of power quality monitors in distribution systems with multiple objectives. The multiple objectives are: minimizing the monitoring cost, minimizing ambiguities in topology, maximizing the load monitoring, maximizing the area monitoring, minimizing the voltage sag unmonitored, and maximizing the redundancy in the sag monitoring. In solving the problem, a Multiobjective Evolutionary Algorithm with Tables (MEAT) was adopted due to ability to deal with many objectives. The results show that the AMET finds a set of ecient solutions that are diversified and well-distributed along the Pareto Front, and that they are highly relevant for planning of PQ monitoring systems in electrical power distribution systems. The main contribution of this thesis is to provide a model that allows utilities better evaluate investments that they will make in their monitoring systems comprising six dierent criteria, allowing greater flexibility in establishing the monitoring plan and a better analysis of cost/benefit considering the six aspects.

Como as Variações de Tensão de Curta Duração (VTCDs) estão entre as perturbações mais difíceis de serem monitoradas, uma vez que são ocasionadas por fatores aleatórios e imprevisíveis, a monitoração do Sistema de Distribuição (SD) representa uma providência essencial para a obtenção de informações representativas para a regulamentação de novos indicadores relativos a esses distúrbios. Neste cenário, este trabalho busca garantir a completa observabilidade das VTCDs em SD, quando da incidência de qualquer tipo de curto-circuito, através da alocação ótima de medidores. Para a determinação da magnitude da tensão em cada nó do SD é utilizado o método das posições de falta, denotando assim, a influência e a propagação das VTCDs sobre a rede como um todo. Na sequência, é determinada uma matriz binária resultante que observa os afundamentos de tensão de forma simultânea para todos os tipos de faltas. Posteriormente, é proposta a redução desta matriz para diminuir o esforço computacional em SDs de grande porte. Ainda, é analisada a vulnerabilidade de cada nó do SD para estabelecer a sua posterior ponderação no processo de otimização. Os resultados revelam que a metodologia de alocação apresentada torna o processo de obtenção da solução ótima ágil e direto, pois menos execuções computacionais são necessárias para obter diferentes soluções ótimas e garantir a monitoração dos afundamentos de tensão para todos os tipos de curtos-circuitos. Além disso, pela metodologia, tem-se também a prioridade de instalação dos medidores conforme a maior observabilidade dos afundamentos de tensão, possibilitando a escolha do melhor arranjo de medidores que atenda aos limites orçamentários das distribuidoras de energia. / Short Duration Voltage Variations (SDVVs) are among the most difficult disturbances to be monitored, since they are caused by random and unpredictable factors. Hence, the Distribution System (DS) monitoring is an essential step for obtaining representative information for the regulation of new power quality indices for these disturbances. In this scenario, this work aims to ensure the entire observability of SDVVs, considering any short circuit occurrence in the DS, based on algorithm to achieve the monitors\' optimal allocation. In order to determine the voltage magnitude at each node, the fault positions method is used, showing the influence and propagation of SDVVs on the DS. Subsequently, a resulting binary matrix is determined. This matrix observes the voltage sags, simultaneously, for all fault types. Then, the downsizing of this matrix is proposed in order to reduce the computational effort in large DSs. Furthermore, the vulnerability of each DS node is analyzed to establish the relative weighting in the optimization process. The results show a faster and more direct allocation methodology to obtain the optimal solution, because fewer computational executions are needed for different optimal solutions and to ensure the voltage sags monitoring for all short circuits types. Moreover, the power quality monitor installation priority is performed according to the higher observability of the voltage sags, making it possible to choose the best arrangement of monitors that meets the budget constraints of the power utilities.

As an object at the boundary between virtual and physical reality, the screen exists both as a displayer and as a thing displayed, thus functioning as a mediator. The screen's virtual imagery produces a sense of immersion in its viewer, yet at the same time the materiality of the screen produces a sense of rejection from the viewer's complete involvement in the virtual world. The experience of the screen is thus an oscillation between these two states of immersion and rejection. Nowadays, as interactivity becomes a central component of the relationship between viewers and many artworks, the viewer experience of the screen is changing. Unlike the screen experience in non-interactive artworks, such as the traditional static screen of painting or the moving screen of video art in the 1970s, interactive media screen experiences can provide viewers with a more immersive, immediate, and therefore, more intense experience. For example, many digital media artworks provide an interactive experience for viewers by capturing their face or body though real-time computer vision techniques. In this situation, as the camera and the monitor in the artwork encapsulate the interactor's body in an instant feedback loop, the interactor becomes a part of the interface mechanism and responds to the artwork as the system leads or even provokes them. This thesis claims that this kind of direct mirroring in interactive screen-based media artworks does not allow the viewer the critical distance or time needed for self-reflection. The thesis examines the previous aesthetics of spatial and temporal perception, such as presentness and instantaneousness, and the notions of passage and of psychological perception such as reflection, reflexiveness and auratic experience, looking at how these aesthetics can be integrated into new media screen experiences. Based on this theoretical research, the thesis claims that interactive screen spaces can act as a site for expression and representation, both through a doubling effect between the physical and virtual worlds, and through manifold spatial and temporal mappings with the screen experience. These claims are further supported through exploration of screen-based media installations created by the author since 2003.

Avec l'avènement des systèmes intégrés complexes, la vérification par assertions(Assertion Based Verification ou ABV) s'est imposée comme une solution pour la vérification semi-formelle des circuits. L'ABV permet de valider qu'un circuit satisfait ou non une propriété(ou assertion). Des travaux antérieurs ont montré qu'il était possible de synthétiser ces propriétés sous la forme de moniteurs matériels. Ces derniers peuvent ainsi être embarqués à demeure sur un circuit afin qu'ils assurent une tâche de monitoring. Avec un objectif de surveillance et de sûreté, l'utilisation de tels moniteurs est un plus. Néanmoins, ces derniers sont aussi sensibles que les circuits surveillés à une dégradation environnementale(tension, température, vieillissement, …). Afin de réduire le risque de dysfonctionnement des moniteurs, initialement conçus comme des circuits synchrones, une variante asynchrone(quasi-insensible aux délais) est proposée dans cette thèse. Ces travaux s'inscrivent dans le cadre du projet ANR SFINCS(Thalès, Dolphin Integration, TIMA) et ont mené à la définition d'une méthode de synthèse de moniteurs asynchrones matériels tirant parti de la robustesse et de la modularité des implémentations asynchrones. Les études menées se focalisent en premier lieu sur la conception d'une bibliothèque de moniteurs élémentaires asynchrones et sur une méthode d'interconnexion ad hoc permettant de constituer des moniteurs complexes. Afin de garantir les bonnes propriétés de robustesse de ces moniteurs, une étude a été menée à l'aide de l'outil de vérification formelle RAT. Il a notamment été prouvé que la connexion d'un moniteur asynchrone avec un circuit synchrone(à surveiller) était un point particulièrement délicat car les hypothèses du circuit synchrone contraignent le moniteur asynchrone. Il a donc été proposé d'introduire un dispositif de contrôle de l'horloge du circuit synchrone, appelé « clock stretching », afin de relaxer les hypothèses temporelles synchrones qui sont appliquées à la partie asynchrone. / With the advent of complex integrated systems, the assertion based verification(ABV) has emerged as a solution for the semi-formal circuits verification. The ABV is used to validate that a circuit satisfies a property(or assertion). Previous work has shown that it is possible to synthesize these properties in the form of hardware monitors. These can then be embeddded permanantly on a circuit so that they provide monitoring task. With a goal of security and surveillance, the use of such monitors is a plus. Nevertheless, they are as sensitive as the monitored circuits to environmental degradation(voltage, temperature, age, ...). To reduce the risk of failure in monitors, originally designed as synchronous circuits, an asynchronous variant(quasi-delay insensitive) is proposed in this thesis. This work is part of the ANR project SFINCS(Thales, Dolphin Integration, TIMA) and led to the definition of a method for synthesizing asynchronous hardware monitors leveraging the robustness and modularity of asynchronous implementations. The studies focus primarily on the design of a library of basic asynchronous monitors and an ad hoc method of interconnection to build complex monitors. To ensure the robustness of these monitors, a study was conducted using formal verification tool RAT. In particular it was proved that the connection of an asynchronous monitor with a synchronous circuit(to watch) was particularly tricky because the timing assumptions of synchronous circuit impact the asynchronous monitor. It was therefore proposed to introduce a devicet, called "clock stretching", for controlling the clock of the synchronous circuit and relax synchronous timing assumptions that are applied to the asynchronous monitor.