Localização Ótima de Aparelhos de Corte Normalmente Abertos e Normalmente Fechados em Redes de Distribuição

Tipicamente as redes elétricas de distribuição apresentam uma topologia parcialmente malhada e são exploradas radialmente. A topologia radial é obtida através da abertura das malhas nos locais que otimizam o ponto de operação da rede, através da instalação de aparelhos de corte que operam normalmente abertos. Para além de manterem a topologia radial, estes equipamentos possibilitam também a transferência de cargas entre saídas, aquando da ocorrência de defeitos. As saídas radiais são ainda dotadas de aparelhos de corte que operam normalmente fechados, estes têm como objetivo maximizar a fiabilidade e isolar defeitos, minimizando a área afetada pelos mesmos. Assim, na presente dissertação são desenvolvidos dois algoritmos determinísticos para a localização ótima de aparelhos de corte normalmente abertos e fechados, minimizando a potência ativa de perdas e o custo da energia não distribuída. O algoritmo de localização de aparelhos de corte normalmente abertos visa encontrar a topologia radial ótima que minimiza a potência ativa de perdas. O método é desenvolvido em ambiente Matlab – Tomlab, e é formulado como um problema de programação quadrática inteira mista. A topologia radial ótima é garantida através do cálculo de um trânsito de potências ótimo baseado no modelo DC. A função objetivo é dada pelas perdas por efeito de Joule. Por outro lado o problema é restringido pela primeira lei de Kirchhoff, limites de geração das subestações, limites térmicos dos condutores, trânsito de potência unidirecional e pela condição de radialidade. Os aparelhos de corte normalmente fechados são localizados ao longo das saídas radiais obtidas pelo anterior algoritmo, e permite minimizar o custo da energia não distribuída. No limite é possível localizar um aparelho de corte normalmente fechado em todas as linhas de uma rede de distribuição, sendo esta a solução que minimiza a energia não distribuída. No entanto, tendo em conta que a cada aparelho de corte está associado um investimento, é fundamental encontrar um equilíbrio entre a melhoria de fiabilidade e o investimento. Desta forma, o algoritmo desenvolvido avalia os benefícios obtidos com a instalação de aparelhos de corte normalmente fechados, e retorna o número e a localização dos mesmo que minimiza o custo da energia não distribuída. Os métodos apresentados são testados em duas redes de distribuição reais, exploradas com um nível de tensão de 15 kV e 30 kV, respetivamente. A primeira rede é localizada no distrito do Porto e é caraterizada por uma topologia mista e urbana. A segunda rede é localizada no distrito de Bragança e é caracterizada por uma topologia maioritariamente aérea e rural.

Analysis and implementation of a multi-ratio switched capacitor DC-DC converter for a supercapacitor power supply

An energy harvesting system requires an energy storing device to store the energy retrieved from the surrounding environment. This can either be a rechargeable battery or a supercapcitor. Due to the limited lifetime of rechargeable batteries, they need to be periodically replaced. Therefore, a supercapacitor, which has ideally a limitless number of charge/discharge cycles can be used to store the energy; however, a voltage regulator is required to obtain a constant output voltage as the supercapacitor discharges. This can be implemented by a Switched-Capacitor DC-DC converter which allows a complete integration in CMOS technology, although it requires several topologies in order to obtain a high efficiency. This thesis presents the complete analysis of four different topologies in order to determine expressions that allow to design and determine the optimum input voltage ranges for each topology. To better understand the parasitic effects, the implementation of the capacitors and the non-ideal effect of the switches, in 130 nm technology, were carefully studied. With these two analysis a multi-ratio SC DC-DC converter was designed with an output power of 2 mW, maximum efficiency of 77%, and a maximum output ripple, in the steady state, of 23 mV; for an input voltage swing of 2.3 V to 0.85 V. This proposed converter has four operation states that perform the conversion ratios of 1/2, 2/3, 1/1 and 3/2 and its clock frequency is automatically adjusted to produce a stable output voltage of 1 V. These features are implemented through two distinct controller circuits that use asynchronous time machines (ASM) to dynamically adjust the clock frequency and to select the active state of the converter. All the theoretical expressions as well as the behaviour of the whole system was verified using electrical simulations.

Genetic algorithm for shipping route estimation with long-range tracking data : automatic reconstruction of shipping routes based on the historical ship positions for maritime safety applications

Ship tracking systems allow Maritime Organizations that are concerned with the Safety at Sea to obtain information on the current location and route of merchant vessels. Thanks to Space technology in recent years the geographical coverage of the ship tracking platforms has increased significantly, from radar based near-shore traffic monitoring towards a worldwide picture of the maritime traffic situation. The long-range tracking systems currently in operations allow the storage of ship position data over many years: a valuable source of knowledge about the shipping routes between different ocean regions. The outcome of this Master project is a software prototype for the estimation of the most operated shipping route between any two geographical locations. The analysis is based on the historical ship positions acquired with long-range tracking systems. The proposed approach makes use of a Genetic Algorithm applied on a training set of relevant ship positions extracted from the long-term storage tracking database of the European Maritime Safety Agency (EMSA). The analysis of some representative shipping routes is presented and the quality of the results and their operational applications are assessed by a Maritime Safety expert.

Multifunctional converter to interface renewable energy sources and electric vehicles with the power grid in smart grids context

This paper proposes a multifunctional converter to interface renewable energy sources (e.g., solar photovoltaic panels) and electric vehicles (EVs) with the power grid in smart grids context. This multifunctional converter allows deliver energy from the solar photovoltaic panels to an EV or to the power grid, and exchange energy in bidirectional mode between the EV and the power grid. Using this multifunctional converter are not required multiple conversion stages, as occurs with the traditional solutions, where are necessary two power converters to integrate the solar photovoltaic system in the power grid and also two power converters to integrate an off-board EV battery charger in the power grid (dc-dc and dc-ac power converters in both cases). Taking into account that the energy provided (or delivered) from the power grid in each moment is function of the EV operation mode and also of the energy produced from the solar photovoltaic system, it is possible to define operation strategies and control algorithms in order to increase the energy efficiency of the global system and to improve the power quality of the electrical system. The proposed multifunctional converter allows the operation in four distinct cases: (a) Transfer of energy from the solar photovoltaic system to the power grid; (b) Transfer of energy from the solar photovoltaic system and from the EV to the power grid; (c) Transfer of energy from the solar photovoltaic system to the EV or to the power grid; (d) Transfer of energy between the EV and the power grid. Along the paper are described the system architecture and the control algorithms, and are also presented some computational simulation results for the four aforementioned cases. It is also presented a comparative analysis between the traditional and the proposed solution in terms of operation efficiency and estimated cost of implementation.

Short-term corneal changes with gas-permeable contact lens wear in keratoconus subjects: a comparison of two fitting approaches

Purpose: To evaluate changes in anterior corneal topography and higher-order aberrations (HOA) after 14-days of rigid gas-permeable (RGP) contact lens (CL) wear in keratoconus subjects comparing two different fitting approaches. Methods: Thirty-one keratoconus subjects (50 eyes) without previous history of CL wear were recruited for the study. Subjects were randomly fitted to either an apical-touch or three-pointtouch fitting approach. The lens’ back optic zone radius (BOZR) was 0.4 mm and 0.1 mm flatter than the first definite apical clearance lens, respectively. Differences between the baseline and post-CL wear for steepest, flattest and average corneal power (ACP) readings, central corneal astigmatism (CCA), maximum tangential curvature (KTag), anterior corneal surface asphericity, anterior corneal surface HOA and thinnest corneal thickness measured with Pentacam were compared. Results: A statistically significant flattening was found over time on the flattest and steepest simulated keratometry and ACP in apical-touch group (all p < 0.01). A statistically significant reduction in KTag was found in both groups after contact lens wear (all p < 0.05). Significant reduction was found over time in CCA (p = 0.001) and anterior corneal asphericity in both groups (p < 0.001). Thickness at the thinnest corneal point increased significantly after CL wear (p < 0.0001). Coma-like and total HOA root mean square (RMS) error were significantly reduced following CL wearing in both fitting approaches (all p < 0.05). Conclusion: Short-term rigid gas-permeable CL wear flattens the anterior cornea, increases the thinnest corneal thickness and reduces anterior surface HOA in keratoconus subjects. Apicaltouch was associated with greater corneal flattening in comparison to three-point-touch lens wear.

Importance of contact lens power and thickness in oxygen transmissibility

PURPOSE: The aim of this work was to study the central and peripheral thickness of several contact lenses (CL) with different powers and analyze how thickness variation affects CL oxygen transmissibility. METHODS: Four daily disposable and five monthly or biweekly CL were studied. The powers of each CL were: the maximum negative power of each brand; -6.00 D; -3.00 D; zero power (-0.25 D or -0.50 D), +3.00 D and +6.00 D. Central and peripheral thicknesses were measured with an electronic thickness gauge. Each lens was measured five times (central and 3mm paracentral) and the mean value was considered. Using the values of oxygen permeability given by the manufacturers and the measured thicknesses, the variation of oxygen transmissibility with lens power was determined. RESULTS: For monthly or biweekly lenses, central thickness changed between 0.061 ± 0.002 mm and 0.243 ± 0.002 mm, and peripheral thickness varied between 0.084 ± 0.002 mm and 0.231 ± 0.015 mm. Daily disposable lenses showed central values ranging between 0.056 ± 0.0016 mm and 0.205 ± 0.002 mm and peripheral values between 0.108 ± 0.05 and 0.232 ± 0.011 mm. Oxygen transmissibility (in units) of monthly or biweekly CL ranged between 39.4 ± 0.3 and 246.0 ± 14.4 and for daily disposable lenses the values range between 9.5 ± 0.5 and 178.1 ± 5.1. CONCLUSIONS: The central and peripheral thicknesses change significantly when considering the CL power and this has a significant impact on the oxygen transmissibility. Eyecare practitioners must have this fact in account when high power plus or minus lenses are fitted or when continuous wear is considered.

La carte postale et la représentation des espaces public et intime

La carte postale est un kaléidoscope de vues, d’ornements et de couleurs, qui consacre un tout petit espace au message. C’est à la photographie et aux procédés de reproduction photomécaniques que revient le mérite d’avoir industrialisé la production de la carte postale. Et ce sont les clichés de villes, avec leurs monuments et leurs paysages, qui confèrent à la carte postale son statut de moyen de communication de masse et qui lui concèdent une affinité avec l’industrie du tourisme. La carte postale s’est ainsi emparée de l’ambition photographique de reproduire le monde, s’alliant aux « besoins de l’exploration, des expéditions et des relevés topographiques » du médium photographique à ses débuts. Ayant comme point de départ la carte postale, notre objectif est de montrer les conséquences culturelles de la révolution optique, commencée au milieu du XIXe siècle, avec l’invention de l’appareil photo, et consumée dans la seconde moitié du XXe siècle, avec l’apparition de l’ordinateur. En effet, depuis l’apparition de l’appareil photographique et des cartes postales jusqu’au flux de pixels de Google Images et aux images satellite de Google Earth, un entrelacement de territoire, puissance et technique a été mis en oeuvre, la terre devenant, en conséquence, de plus en plus auscultée par les appareils de vision, ce qui impacte sur la perception de l’espace. Nous espérons pouvoir montrer avec cette étude que la lettre traditionnelle est à l’email ce que la carte postale est au post que l’on publie dans un blog ou dans des réseaux comme Facebook et Twitter. À notre sens, les cartes postales correspondent à l’ouverture maximale du système postal moderne, qui d’universel devient dépendant et partie intégrante des réseaux télématiques d’envoi. Par elles sont annoncés, en effet, la vitesse de transmission de l’information, la brièveté de la parole et l’hégémonie de la dimension imagétique du message, et pour finir, l’embarras provoqué par la fusion de l’espace public avec l’espace privé.

Pinterest: um estudo de eye tracking

Dissertação de mestrado em Média Interativos

Encryption methods using formal power series rings

Recently there has been a great deal of work on noncommutative algebraic cryptography. This involves the use of noncommutative algebraic objects as the platforms for encryption systems. Most of this work, such as the Anshel-Anshel-Goldfeld scheme, the Ko-Lee scheme and the Baumslag-Fine-Xu Modular group scheme use nonabelian groups as the basic algebraic object. Some of these encryption methods have been successful and some have been broken. It has been suggested that at this point further pure group theoretic research, with an eye towards cryptographic applications, is necessary.In the present study we attempt to extend the class of noncommutative algebraic objects to be used in cryptography. In particular we explore several different methods to use a formal power series ring R && x1; :::; xn && in noncommuting variables x1; :::; xn as a base to develop cryptosystems. Although R can be any ring we have in mind formal power series rings over the rationals Q. We use in particular a result of Magnus that a finitely generated free group F has a faithful representation in a quotient of the formal power series ring in noncommuting variables.

Helminth parasites of fishes from the hydroeletric power station of eletrosul (Brazil). I: Procamallanus petterae n. sp. and Spirocamallanus pintoi n. sp. (Nematoda, Camallanidae) from the reservoir of Salto Osório

Procamallanus petterae n. sp. from Plecostomus albopunctarus and Spirocamallanus pintoi n. sp. from Corydoras paleatus are described. procamallanus petterae n. sp. differs from all other species of the genus by having a buccal capsule without spiral bands, with five teeth-like structures on its base and four plate-like structures near the anterior margin; length ratio of oesophagus muscular/glandular 1:1.4; spicules short, 21µ m and 16µ m long and tails ending abruptly in a sharp point, in both sexes. Spirocamallanus pintoi n. sp. is characterized by having 6 to 8 spiral thickenings in the buccal capsule of male and 9 to 10 in female, occupying 2/3 of the length of the capsule; length of glandular oesophagus more than twice the muscular; spicules short, the right 94µ m and the left 82µ m long.

Price level convergence, purchasing power parity and multiple structural breaks: an application to US cities

This article provides a fresh methodological and empirical approach for assessing price level convergence and its relation to purchasing power parity (PPP) using annual price data for seventeen US cities. We suggest a new procedure that can handle a wide range of PPP concepts in the presence of multiple structural breaks using all possible pairs of real exchange rates. To deal with cross-sectional dependence, we use both cross-sectional demeaned data and a parametric bootstrap approach. In general, we find more evidence for stationarity when the parity restriction is not imposed, while imposing parity restriction provides leads toward the rejection of the panel stationar- ity. Our results can be embedded on the view of the Balassa-Samuelson approach, but where the slope of the time trend is allowed to change in the long-run. The median half-life point estimate are found to be lower than the consensus view regardless of the parity restriction.

First use of multiple substances: Identification of meaningful patterns

Context: Understanding the process through which adolescents and young adults are trying legal and illegal substances is a crucial point for the development of tailored prevention and treatment programs. However, patterns of substance first use can be very complex when multiple substances are considered, requiring reduction into a few meaningful number of categories. Data: We used data from a survey on adolescent and young adult health conducted in 2002 in Switzerland. Answers from 2212 subjects aged 19 and 20 were included. The first consumption ever of 10 substances (tobacco, cannabis, medicine to get high, sniff (volatile substances, and inhalants), ecstasy, GHB, LSD, cocaine, methadone, and heroin) was considered for a grand total of 516 different patterns. Methods: In a first step, automatic clustering was used to decrease the number of patterns to 50. Then, two groups of substance use experts, three social field workers, and three toxicologists and health professionals, were asked to reduce them into a maximum of 10 meaningful categories. Results: Classifications obtained through our methodology are of practical interest by revealing associations invisible to purely automatic algorithms. The article includes a detailed analysis of both final classifications, and a discussion on the advantages and limitations of our approach.

Point-occurrence self-similarity in crackling-noise systems and in other complex systems

It has been recently found that a number of systems displaying crackling noise also show a remarkable behavior regarding the temporal occurrence of successive events versus their size: a scaling law for the probability distributions of waiting times as a function of a minimum size is fulfilled, signaling the existence on those systems of self-similarity in time-size. This property is also present in some non-crackling systems. Here, the uncommon character of the scaling law is illustrated with simple marked renewal processes, built by definition with no correlations. Whereas processes with a finite mean waiting time do not fulfill a scaling law in general and tend towards a Poisson process in the limit of very high sizes, processes without a finite mean tend to another class of distributions, characterized by double power-law waiting-time densities. This is somehow reminiscent of the generalized central limit theorem. A model with short-range correlations is not able to escape from the attraction of those limit distributions. A discussion on open problems in the modeling of these properties is provided.

Advanced mapping of environmental data: Geostatistics, Machine Learning and Bayesian Maximum Entropy

This book combines geostatistics and global mapping systems to present an up-to-the-minute study of environmental data. Featuring numerous case studies, the reference covers model dependent (geostatistics) and data driven (machine learning algorithms) analysis techniques such as risk mapping, conditional stochastic simulations, descriptions of spatial uncertainty and variability, artificial neural networks (ANN) for spatial data, Bayesian maximum entropy (BME), and more.

A study on the expressive power of some fragments of the modal µ-Calculus

Résumé Le μ-calcul est une extension de la logique modale par des opérateurs de point fixe. Dans ce travail nous étudions la complexité de certains fragments de cette logique selon deux points de vue, différents mais étroitement liés: l'un syntaxique (ou combinatoire) et l'autre topologique. Du point de vue syn¬taxique, les propriétés définissables dans ce formalisme sont classifiées selon la complexité combinatoire des formules de cette logique, c'est-à-dire selon le nombre d'alternances des opérateurs de point fixe. Comparer deux ensembles de modèles revient ainsi à comparer la complexité syntaxique des formules as¬sociées. Du point de vue topologique, les propriétés définissables dans cette logique sont comparées à l'aide de réductions continues ou selon leurs positions dans la hiérarchie de Borel ou dans celle projective. Dans la première partie de ce travail nous adoptons le point de vue syntax¬ique afin d'étudier le comportement du μ-calcul sur des classes restreintes de modèles. En particulier nous montrons que: (1) sur la classe des modèles symétriques et transitifs le μ-calcul est aussi expressif que la logique modale; (2) sur la classe des modèles transitifs, toute propriété définissable par une formule du μ-calcul est définissable par une formule sans alternance de points fixes, (3) sur la classe des modèles réflexifs, il y a pour tout η une propriété qui ne peut être définie que par une formule du μ-calcul ayant au moins η alternances de points fixes, (4) sur la classe des modèles bien fondés et transitifs le μ-calcul est aussi expressif que la logique modale. Le fait que le μ-calcul soit aussi expressif que la logique modale sur la classe des modèles bien fondés et transitifs est bien connu. Ce résultat est en ef¬fet la conséquence d'un théorème de point fixe prouvé indépendamment par De Jongh et Sambin au milieu des années 70. La preuve que nous donnons de l'effondrement de l'expressivité du μ-calcul sur cette classe de modèles est néanmoins indépendante de ce résultat. Par la suite, nous étendons le langage du μ-calcul en permettant aux opérateurs de point fixe de lier des occurrences négatives de variables libres. En montrant alors que ce formalisme est aussi ex¬pressif que le fragment modal, nous sommes en mesure de fournir une nouvelle preuve du théorème d'unicité des point fixes de Bernardi, De Jongh et Sambin et une preuve constructive du théorème d'existence de De Jongh et Sambin. RÉSUMÉ Pour ce qui concerne les modèles transitifs, du point de vue topologique cette fois, nous prouvons que la logique modale correspond au fragment borélien du μ-calcul sur cette classe des systèmes de transition. Autrement dit, nous vérifions que toute propriété définissable des modèles transitifs qui, du point de vue topologique, est une propriété borélienne, est nécessairement une propriété modale, et inversement. Cette caractérisation du fragment modal découle du fait que nous sommes en mesure de montrer que, modulo EF-bisimulation, un ensemble d'arbres est définissable dans la logique temporelle Ε F si et seulement il est borélien. Puisqu'il est possible de montrer que ces deux propriétés coïncident avec une caractérisation effective de la définissabilité dans la logique Ε F dans le cas des arbres à branchement fini donnée par Bojanczyk et Idziaszek [24], nous obtenons comme corollaire leur décidabilité. Dans une deuxième partie, nous étudions la complexité topologique d'un sous-fragment du fragment sans alternance de points fixes du μ-calcul. Nous montrons qu'un ensemble d'arbres est définissable par une formule de ce frag¬ment ayant au moins η alternances si et seulement si cette propriété se trouve au moins au n-ième niveau de la hiérarchie de Borel. Autrement dit, nous vérifions que pour ce fragment du μ-calcul, les points de vue topologique et combina- toire coïncident. De plus, nous décrivons une procédure effective capable de calculer pour toute propriété définissable dans ce langage sa position dans la hiérarchie de Borel, et donc le nombre d'alternances de points fixes nécessaires à la définir. Nous nous intéressons ensuite à la classification des ensembles d'arbres par réduction continue, et donnons une description effective de l'ordre de Wadge de la classe des ensembles d'arbres définissables dans le formalisme considéré. En particulier, la hiérarchie que nous obtenons a une hauteur (ωω)ω. Nous complétons ces résultats en décrivant un algorithme permettant de calculer la position dans cette hiérarchie de toute propriété définissable.