Acesso à informação e intimidade : um dilema do Estado Democrático de Direito

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Direito, Programa de Pós-Graduação em Direito, 2016.

Real-time load-side control of electric power systems

Two trends are emerging from modern electric power systems: the growth of renewable (e.g., solar and wind) generation, and the integration of information technologies and advanced power electronics. The former introduces large, rapid, and random fluctuations in power supply, demand, frequency, and voltage, which become a major challenge for real-time operation of power systems. The latter creates a tremendous number of controllable intelligent endpoints such as smart buildings and appliances, electric vehicles, energy storage devices, and power electronic devices that can sense, compute, communicate, and actuate. Most of these endpoints are distributed on the load side of power systems, in contrast to traditional control resources such as centralized bulk generators. This thesis focuses on controlling power systems in real time, using these load side resources. Specifically, it studies two problems.

(1) Distributed load-side frequency control: We establish a mathematical framework to design distributed frequency control algorithms for flexible electric loads. In this framework, we formulate a category of optimization problems, called optimal load control (OLC), to incorporate the goals of frequency control, such as balancing power supply and demand, restoring frequency to its nominal value, restoring inter-area power flows, etc., in a way that minimizes total disutility for the loads to participate in frequency control by deviating from their nominal power usage. By exploiting distributed algorithms to solve OLC and analyzing convergence of these algorithms, we design distributed load-side controllers and prove stability of closed-loop power systems governed by these controllers. This general framework is adapted and applied to different types of power systems described by different models, or to achieve different levels of control goals under different operation scenarios. We first consider a dynamically coherent power system which can be equivalently modeled with a single synchronous machine. We then extend our framework to a multi-machine power network, where we consider primary and secondary frequency controls, linear and nonlinear power flow models, and the interactions between generator dynamics and load control.

(2) Two-timescale voltage control: The voltage of a power distribution system must be maintained closely around its nominal value in real time, even in the presence of highly volatile power supply or demand. For this purpose, we jointly control two types of reactive power sources: a capacitor operating at a slow timescale, and a power electronic device, such as a smart inverter or a D-STATCOM, operating at a fast timescale. Their control actions are solved from optimal power flow problems at two timescales. Specifically, the slow-timescale problem is a chance-constrained optimization, which minimizes power loss and regulates the voltage at the current time instant while limiting the probability of future voltage violations due to stochastic changes in power supply or demand. This control framework forms the basis of an optimal sizing problem, which determines the installation capacities of the control devices by minimizing the sum of power loss and capital cost. We develop computationally efficient heuristics to solve the optimal sizing problem and implement real-time control. Numerical experiments show that the proposed sizing and control schemes significantly improve the reliability of voltage control with a moderate increase in cost.

Une analyse du processus de justice transitionnelle au Pérou à la lumière du Droit international

Le droit international, notamment le droit international des droits de l’homme, a établi des obligations étatiques pour affronter les défis des sociétés en transition : la recherche de la vérité autour des crimes du passé, la poursuite et la sanction pénale aux auteurs de ces crimes, et la réparation aux victimes. Les limitations politiques, sociales et juridiques de la justice transitionnelle sont énormes et elles représentent de grands défis pour les États et pour la communauté internationale en général. Cette recherche a pour but l’analyse du processus de la justice transitionnelle au Pérou après le conflit armé interne et le régime autoritaire de l’ex-présidente Alberto Fujimori à la lumière du droit international. L’étude conclut que le Pérou a accompli les obligations imposées par le droit international en utilisant une approche intégrale de la justice de transition. Néanmoins, il reste encore quelques défis à surmonter liés aux facteurs politiques et sociaux de la réalité péruvienne.

Methods for Modeling and Analyzing Concurrent Software

Concurrent software executes multiple threads or processes to achieve high performance. However, concurrency results in a huge number of different system behaviors that are difficult to test and verify. The aim of this dissertation is to develop new methods and tools for modeling and analyzing concurrent software systems at design and code levels. This dissertation consists of several related results. First, a formal model of Mondex, an electronic purse system, is built using Petri nets from user requirements, which is formally verified using model checking. Second, Petri nets models are automatically mined from the event traces generated from scientific workflows. Third, partial order models are automatically extracted from some instrumented concurrent program execution, and potential atomicity violation bugs are automatically verified based on the partial order models using model checking. Our formal specification and verification of Mondex have contributed to the world wide effort in developing a verified software repository. Our method to mine Petri net models automatically from provenance offers a new approach to build scientific workflows. Our dynamic prediction tool, named McPatom, can predict several known bugs in real world systems including one that evades several other existing tools. McPatom is efficient and scalable as it takes advantage of the nature of atomicity violations and considers only a pair of threads and accesses to a single shared variable at one time. However, predictive tools need to consider the tradeoffs between precision and coverage. Based on McPatom, this dissertation presents two methods for improving the coverage and precision of atomicity violation predictions: 1) a post-prediction analysis method to increase coverage while ensuring precision; 2) a follow-up replaying method to further increase coverage. Both methods are implemented in a completely automatic tool.

¿Es la democracia deliberativa una moralización de la política?

En el presente artículo intentaremos realizar un análisis crítico de las interpretaciones que ven a la democracia deliberativa como una moralización de la política. No sólo intentaremos contestar a esta lectura, sino que además nos ocuparemos de mostrar la manera en la que la perspectiva deliberativa capta la moralidad en política, la cual no consiste en proponer una concepción ética densa para el espacio político.

¿Es la democracia deliberativa una moralización de la política?

En el presente artículo intentaremos realizar un análisis crítico de las interpretaciones que ven a la democracia deliberativa como una moralización de la política. No sólo intentaremos contestar a esta lectura, sino que además nos ocuparemos de mostrar la manera en la que la perspectiva deliberativa capta la moralidad en política, la cual no consiste en proponer una concepción ética densa para el espacio político.

¿Es la democracia deliberativa una moralización de la política?

En el presente artículo intentaremos realizar un análisis crítico de las interpretaciones que ven a la democracia deliberativa como una moralización de la política. No sólo intentaremos contestar a esta lectura, sino que además nos ocuparemos de mostrar la manera en la que la perspectiva deliberativa capta la moralidad en política, la cual no consiste en proponer una concepción ética densa para el espacio político.

Une analyse du processus de justice transitionnelle au Pérou à la lumière du Droit international

Le droit international, notamment le droit international des droits de l’homme, a établi des obligations étatiques pour affronter les défis des sociétés en transition : la recherche de la vérité autour des crimes du passé, la poursuite et la sanction pénale aux auteurs de ces crimes, et la réparation aux victimes. Les limitations politiques, sociales et juridiques de la justice transitionnelle sont énormes et elles représentent de grands défis pour les États et pour la communauté internationale en général. Cette recherche a pour but l’analyse du processus de la justice transitionnelle au Pérou après le conflit armé interne et le régime autoritaire de l’ex-présidente Alberto Fujimori à la lumière du droit international. L’étude conclut que le Pérou a accompli les obligations imposées par le droit international en utilisant une approche intégrale de la justice de transition. Néanmoins, il reste encore quelques défis à surmonter liés aux facteurs politiques et sociaux de la réalité péruvienne.

Funeral Board News

The South Carolina Board of Funeral Service publishes a newsletter of interest to funeral directors and morticians. Some topics covered are a message from the president of the South Carolina Board of Funeral Service, board meeting dates, information about new members, fines for inspection violations and continuing education.

Funeral Board News

The South Carolina Board of Funeral Service publishes a newsletter of interest to funeral directors and morticians. Some topics covered are a message from the president of the South Carolina Board of Funeral Service, board meeting dates, information about new members, fines for inspection violations and continuing education.

South Carolina funeral service news

The South Carolina Board of Funeral Service publishes a newsletter of interest to funeral directors and morticians. Some topics covered are a message from the president of the South Carolina Board of Funeral Service, board meeting dates, information about new members, fines for inspection violations and continuing education.

South Carolina Traffic Collision Report Form (TR- 310) and Supplement Truck and Bus Report Form Instruction Manual

The instructions in this manual have been prepared to provide guidance for completing the South Carolina Traffic Collision Report Form TR-310 and the Supplemental Bus and Truck Collision Report Form. It lists traffic laws and definitions and gives examples of traffic collision report forms.

2015 Annual Safety and Security Report

The information contained in this Annual Safety and Security Report is provided to new and prospective students and employees, as well as their families, and all current members of the campus community. It contains Public Safety Services and Programming,Building Threat and Vulnerability Assessment Program,Campus Security authorities, Annual Preparation of Crime Statistics, Disclosure of Crime Statistics, Daily Crime Log, How to Report a Crime, Suspicious Activity or Emergency, Silent Witness Program, Relationship with Local Authorities, Off-Campus Violations & Criminal Activity, Confidential Reporting, Timely Warning Procedures, Emergency Response, Notification and Evacuation Procedures Activation Authority, Available Communications Media, Emergency Notification Tests, Emergency Evacuation Procedures, Shelter-in-Place Procedures,Crime Prevention and Safety Awareness Programs, Emergency Telephones, Access To Facilities, Maintenance of Buildings and Grounds, Alcohol and Other Drugs, Domestic Violence, Dating Violence, Sexual Assault, and Stalking, Sex Offender Registration, Weapons on Campus, Referrals for Disciplinary Action, Crime Information: Definitions and Statistics, Uniform Crime Reporting Definitions, Reporting Areas. Crime Statistics

Les méthodes d’adaptation du Centre des droits de l’homme "Memorial" aux mesures étatiques russes- Les principes d’action d’une ONG de défense des droits de l’homme russe

En raison du virage semi-autoritaire de l’État russe au début des années 2000, l’adaptation aux mesures contraignantes de l’État, qu’elle soit consciente ou inconsciente, constitue un aspect fondamental du quotidien des ONG de défense des droits de l’homme russes. Cependant, il s’agit d’une question jusqu’ici négligée dans la littérature scientifique. Ainsi, ce mémoire a pour objet d’examiner la démarche d’adaptation d’une ONG particulièrement active sur la scène russe, le Centre des droits de l’homme Memorial, entre 1999 et 2014. La recherche révèle que cette ONG emploie deux méthodes afin de s’adapter aux mesures étatiques et que celles-ci sont, en fait, des principes d’action adoptés par l’organisation au moment de sa création. Le premier principe d’action s’appuie sur la coopération et la solidarité développées par le Centre des droits de l’homme Memorial avec d’autres ONG russes, des ONG internationales et des organisations internationales. En partenariat avec ces organisations, le Centre des droits de l’homme Memorial élabore des activités de recherche et de plaidoyer et mène des missions de surveillance des droits de l’homme. Ce principe d’action renforce considérablement la capacité d’adaptation de l’ONG et favorise l’exercice de son rôle de contrepouvoir. Le second principe d’action se fonde sur la recherche de collaboration constructive avec l’État. Lors d’interactions ponctuelles avec les autorités, l’organisation exerce un rôle d’expert en matière de droits de l’homme et tente de réduire les entraves posées à la société civile. Outre sa propriété adaptative, cette méthode d’adaptation combine deux fonctions inhérentes à la société civile, soit la représentation des intérêts des citoyens auprès des instances étatiques et l’établissement d’un partenariat avec l’État dans le but d’amener ce dernier à adopter des pratiques démocratiques. Ce mémoire montre la capacité du Centre des droits de l’homme Memorial à se mouvoir d’une méthode d’adaptation à l’autre afin de maximiser son action.

Estudio de caso del análisis de los alcances y limitaciones frente a la justicia, verdad y reparación de las víctimas de las masacres de Trujillo, Valle del Cauca y el Salado, Bolívar

Colombia ha sido escenario de disputas violentas por poder político y económico entre diferentes sectores. Del mismo modo, el país también ha manifestado una debilidad muy significativa en cuanto a su memoria histórica, hecho que se ha traducido en la segmentación del país entre quienes tienen conocimiento y conciencia acerca del conflicto interno armado y aquellos que parecen considerarlo como una serie de eventos violentos que se da en un contexto ajeno, en una suerte de país paralelo. Por lo tanto, el interés de este trabajo es el de participar en la construcción de una memoria histórica que permita al lector evidenciar y dimensionar el alcance de las acciones gubernamentales en relación a la verdad, justicia y reparación de las víctimas de violaciones a los derechos humanos