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.

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

¡Porque ni putas, ni peluqueras, ni nada… somos ciudadanas!’: Reflexiones sobre ciudadanía desde un grupo trans en la ciudad de Bogotá

‘¡Porque ni putas, ni peluqueras, ni nada… somos ciudadanas!’. Se pregunta por cómo se puede entender la ciudadanía desde las acciones comunitarias que llevaron a cabo un grupo de mujeres trans en la ciudad de Bogotá . Según informes nacionales y a nivel Latinoamérica son las mujeres trans pertenecientes al sector LGBT las que dijeron sentir, en mayor número, vulnerados sus derechos entorno a trabajo, salud y educación en la capital del país en comparación a la población LGB. La causa de tal vulneración pareció coincidir con su identidad de género, por ejemplo, al no poder encontrar trabajo por las expresiones de género que utilizaban. Por ende era necesario abordar cómo se entiende la ciudadanía desde corporalidades que no han tenido un óptimo acceso a la ciudad teniendo como referencia sus experiencias personales. Siendo el tránsito un proceso que se hace a lo largo del tiempo.

Las cárceles como espacios de violación a los derechos humanos, estudio de caso: Cárcel Modelo de Bogotá (2002-2010)

Esta investigación tiene como objetivo estudiar la relación que existe entre política criminal y los derechos humanos carcelarios durante el desarrollo del gobierno de Álvaro Uribe Vélez (2002-2010), y su incidencia en la cárcel Modelo de Bogotá. Pues en Colombia, al amparo de un discurso meramente punitivo, la pena privativa de la libertad se ha vuelto el fin último del aparato judicial, lo que ha ocasionado altos índices de hacinamiento y, colateralmente, violaciones a los derechos fundamentales de la población reclusa en Colombia. Esta investigación se centra en el análisis de la política criminal, entendida como el estudio del conjunto de medidas empleadas por los órganos de gobierno para hacer frente a la criminalidad que afecta a un Estado. En este sentido, se pretende demostrar que la política criminal se ha enfocado en la pena más que en la prevención y/o la reinserción.

Las reparaciones simbólicas en escenarios de justicia transicional

Resumen Cuando una sociedad intenta hacer una transición de situaciones de conflicto armado a paz o de regímenes dictatoriales a democracias, debe tomar decisiones políticas que garanticen los estándares internacionales en materia de derechos de las víctimas de violaciones a derechos humanos, pero que permitan pactos entre las partes implicadas. En este contexto el derecho a la reparación es el centro de álgidos debates. Por eso, en este artículo se propone visibilizar las reparaciones simbólicas como parte de la reparación integral y como importante mecanismo para que las sociedades en transición logren superar los hechos victimizantes sin olvidarlos y para que estos no se repitan; entonces, los simbolismos reparadores buscarán nombrar y dignificar a las víctimas, recordar la verdad y solicitar perdón asumiendo responsabilidades. Abstract When a society tries to make the transition from armed conflict to peace, or dictatorships to democracies, political decisions must be taken to ensure international standards concerning the rights of victims of human rights violations, but allowing agreements between the parts involved. In this context, the right to reparation is the peak center of discussions.So, this article proposes to visualize the symbolic reparations as part of the internal reparation and as an important mechanism so that societies in transition can overcome the victimizing facts without forgetting them, and in order to stop them too. Then, the repairing symbolism would seek to appoint and dignify the victims, to remember the truth, taking responsibilities, and asking for forgiveness.

Terra e Sviluppo: impatti di genere delle acquisizioni di terra su larga scala in Africa

Secondo il Report IFAD sulla povertà rurale, nel 2008, circa due terzi della popolazione africana viveva nelle aree rurali ed era in qualche modo coinvolta in attività agricole commerciali o di sussistenza (IFAD, 2011). L’agricoltura rappresenta il più importante settore economico per la popolazione africana e le donne risultano cruciali per la produzione agricola: rappresentano infatti il 62,8 per cento della forza lavoro (FAO, 2014). Dopo la crisi alimentare del 2007-2008 si è andato intensificando il fenomeno delle acquisizione di terre su larga scala in paesi del Sud del mondo, in particolare nel continente africano, da parte di multinazionali, governi, aziende nazionali e singoli soggetti privati. Questo processo è stato denominato anche land grabbing dalle principali organizzazioni internazionali e della società civile e ha avuto grande impatto mediatico a livello internazionale. L'intensificarsi del fenomeno ha portato a una progressiva perdita di controllo e accesso ad ampie porzioni di territorio da parte delle comunità locali, che non possono più disporre delle risorse naturali collegate alla terra. La cessione di ampi terreni avviene in molti casi senza trasparenza informativa, con violazione dei diritti umani e senza il consenso delle comunità che vi abitano e che coltivano tali aree, e a cui viene imposto un cambio radicale di vita. La terra è una risorsa centrale per l'identità, il sostentamento e la sicurezza alimentare di una comunità, dunque le conseguenze sono molteplici a livello sociale, culturale, economico e politico. Gli impatti sulle relazioni di genere e in particolare sulle donne delle comunità rurali risultano essere cruciali nel discorso sullo sviluppo. L’obiettivo di questo lavoro è indagare come le relazioni di genere, a seguito delle trasformazioni nella gestione della terra, si modificano amplificando squilibri già esistenti e creando conseguenze sulle logiche di potere delle comunità rurali e sulle vite delle persone che ne fanno parte.