Entwicklung und/oder Demokratie

Der Staat und die von ihm geschaffenen Rahmenbedingungen nehmen unter den Einflussfaktoren, die Entwicklung bestimmen, eine besondere Stellung ein. Da die Wechselwirkungen zwischen Entwicklung und Herrschaftsverhältnis sehr stark von der politischen Geschichte und von wirtschaftlichen und gesellschaftlichen Gegebenheiten eines Landes abhängig sind, werden sie in dieser Arbeit anhand eines konkreten Beispiels analysiert. Die ostafrikanische Republik Uganda eignet sich dafür aufgrund der seit der Machtübernahme Yoweri Musevenis parallel verlaufenden Entwicklungs- und Demokratisierungstendenzen. Ihre koloniale Vergangenheit, die nachfolgenden neopatrimonialen Systeme, und die gegenwärtigen Fortschritte machen eventuell auch Vergleiche mit anderen afrikanischen Ländern südlich der Sahara möglich. Obwohl in manchen Regionen autoritäre Regierungssysteme beachtliche Entwicklungsfortschritte vorweisen konnten, trifft dies keineswegs auf alle zu. Uganda ist ein Beispiel für jene Länder, in denen entwicklungspolitische Erfolge erst mit dem Einsetzen eines Demokratisierungsprozesses erzielt werden konnten, beziehungsweise diese Fortschritte zuvor jahrzehntelang durch neopatrimoniale Systeme blockiert wurden. Das Movement-System, die „Kein-Parteien-Demokratie“ Ugandas, ermöglichte mit der Besonderheit der Local Councils erstmals eine breit angelegte politische Partizipation, verbot andererseits politischen Parteien bei Wahlen zu kandidieren. 2005 wurde dies im Zuge des zweiten Referendums zu diesem Thema geändert. Entwicklungspolitische Erfolge, wie sie im Kampf gegen Armut und Hunger und bei der Senkung der HIV/Aids-Rate die in den letzten anderthalb Jahrzehnten in Uganda erzielt wurden, sind die wichtigste Legitimationsgrundlage für die amtierende Regierung. Durch sie ist zumindest relative politische Stabilität gewährleistet, die eine Grundlage für weitere Entwicklung und Demokratisierung darstellt

Flashix: modular verification of a concurrent and crash-safe flash file system

The Flashix project has developed the first realistic verified file system for Flash memory. This paper gives an overview over the project and the theory used. Specification is based on modular components and subcomponents, which may have concurrent implementations connected via refinement. Functional correctness and crash-safety of each component is verified separately. We highlight some components that were recently added to improve efficiency, such as file caches and concurrent garbage collection. The project generates 18K of C code that runs under Linux. We evaluate how efficiency has improved and compare to UBIFS, the most recent flash file system implementation available for the Linux kernel

Towards fully automated inspection of large components with UAVs: offline path planning

Automation mechanisms are increasingly established in the field of visual inspections. UAVs can be used for particularly large components, such as those used in ship production and for critical infrastructures. This paper concentrates on the problem of visual inspection in the field of perspective-dependent route planning. It is shown how the requirements for such a system can be implemented and elaborated. Furthermore we investigate how sensor positions can be calculated offline, based on optical and geometrical requirements and how a trajectory can be planned which contains the found sensor positions for each given area on the component. It is shown how the systems architecture can be designed in order to be able to adapt it to different requirements for the planning of sensor positions and trajectory. The implementation was tested in a simulation environment, evaluated using a benchmark data set and it was shown how above-average results can be achieved on this data set

Towards a modeling language for Systems-Theoretic Process Analysis (STPA) : Proposal for a domain specific language (DSL) for model driven Systems-Theoretic Process Analysis (STPA) based on UML

Dieser Artikel schlägt eine modellbasierte domänen-spezifische Sprache zur Modellierung von Sicherheitsanalyse nach der STAMP/STPA Methode vor. Im Dokument werden die einzelnen Modellierungskonstrukte detailliert beschrieben, sowie deren Zusammenhänge definiert.The article proposes a model-based domain-specific language for the STAMP/STPA safety analysis technique. The document describes the modeling artefacts and their relationships in detail

UAV inspection of large components: indoor navigation relative to structures

The inspection of large structures is increasingly carried out with the help of Unmanned Aerial Vehicles (UAVs). When navigating relative to the structure, multiple data sources can be used to determine the position of the UAV. Examples include track data from an installed camera and sensor data from the orientation sensors of the UAV. This paper deals with the fusion of this data and its use for navigation alongside the structure. For the sensor fusion, a concept is developed using a Kalman filter and evaluated simulatively in a prototype. The calculated position data are also fed into a vector flight control system, which dynamically calculates and flies a trajectory along the component using the potential field method. This is done taking into account obstacles detected by the onboard sensors of the UAV. The established concept is then implemented with the Robot Operating System (ROS) and evaluated simulatively

Does adult ADHD interact with COMT val 158 met genotype to influence working memory performance?

Peer reviewedPostprin