Suchergebnisse

In drei Artikeln wird die politische, wirtschaftliche und soziale Situation in Angola untersucht, nachdem die UNITA am 20.9.93 einen einseitigen Waffenstillstand erklärt hat. Ein Artikel schildert die Lage in Kuito, wo sich Regierungstruppen und UNITA gegenüberstehen und sich die Gesundheits- und Nahrungsmittelversorgung extrem zuspitzt. Die beiden anderen Artikel untersuchen einerseits die Bemühungen und Chancen für einen Frieden, zum anderen beschreiben sie das Los der Zivilbevölkerung und die wirtschaftliche Krise des Landes. (DÜI-Sbd)

Englisch

A formação de consciência ambientalista envolve a procura e aquisição de conhecimentos dos aspectos locais da ecologia, da cultura, e da sociedade por meio da Educação Ambiental. Desta forma, a Agenda 21 Escolar é um recurso didático para a escola e a sociedade, servindo para reabilitar o ensino e a melhoria na qualidade de vida no ambiente escolar e social. É um documento, ou melhor, um plano de ação que apresenta as problemáticas a serem debatidas pelas assembléias e, até mesmo, as possíveis soluções para os problemas. Para o desenvolvimento do projeto, foram realizadas atividades de forma direta, as assembléias com as próprias pessoas envolvidas, e de forma indireta, os abaixo assinados encaminhados à Câmara Municipal ou à Assembléia Legislativa Estadual cobrando providências para a escola e a localidade em questão.

Ein Überblick über die gegenwärtige politische und wirtschaftliche Lage in Botswana und eine Diskussion über die Perspektiven. Nach einem kurzen historischen Überblick wird der Frage nach den Hintergründen für die (im afrikanischen Kontext) ungewöhnliche politische Stabilität Botswanas nachgegangen. Eine der Hauptursachen dafür liegt in der positiven Wirtschaftsentwicklung, die dem Land eine bescheidene, aber stabile Grundlage zur Einkommenssicherung gibt. Die Hauptstütze der Wirtschaft ist der Diamantensektor; ein Artikel schildert u.a. die Entwicklung und Perspektiven in diesem Bereich. Die Notwendigkeit zu weiterer Industrialisierung und die Kontroverse um den Bau eines Luftwaffenstützpunktes sind weitere Themen. (DÜI-Spl)

VII Brazilian Symposium on Computing Systems Engineering (SBESC 2017), Session 10: Development and Tools - B, . ; Cyber-Physical Systems (CPS) are known to be highly complex systems which can be applied to a variety of different environments, covering both civil and military application domains. As CPS are typically complex systems, its design process requires strong guarantees that the specified functional and non-functional properties are satisfied on the designed application. Model-Driven Engineering (MDE) and high-level specification languages are a valuable asset to help the design and evaluation of such complex systems. However, when looking at the existing MDE tool-support, it is observed that there is still little support for the automated integration of formal verification techniques in these tools. Given that formal verification is necessary to ensure the levels of reliability required by safety critical CPS, this paper presents an approach that aims to integrate the Model Checking technique in the CPS design process for the purpose of correctly analyzing temporal and safety characteristics. A tool named ECPS Verifier was designed to support the model checking integration into the design process, providing the generation of timed automata models from high-levels specifications in AADL. The proposed method is illustrated by means of the design of an Unmanned Aerial Vehicle, from where we derive the timed automata models to be analyzed in the UPPAAL tool. ; info:eu-repo/semantics/publishedVersion

In fünf Einzelbeiträgen wird die momentane Ausbreitung von AIDS in Afrika thematisiert, dabei auch die Zusammenhänge zwischen AIDS und der Ausbreitung anderer Krankheiten, insbesondere der Tuberkulose. Des weiteren werden soziale Folgeprobleme und Übertragungswege geschildert und Ansatzpunkte präventiver Maßnahmen in der Sexualaufklärung diskutiert. Den Abschluß bildet ein Interview mit einer Anti-AIDS-Aktivistin aus Simbabwe über die Ziele ihrer Arbeit. (DÜI-Spl)

Überblick über die Kriegsereignisse, in erster Linie über Menschrechtsverletzungen und kriegsbedingte Hungersnöte. Neue Friedenshoffnungen entstanden durch die Ankündigung eines Treffens zwischen Chissano und Dhlakama (Renamo-Führer). Ein Beitrag widmet sich den bisherigen Entwicklungen bei den Friedensverhandlungen. Für die Wirtschaftsentwicklung sind das Nkomati-Abkommen von 1984 , das "Programme for Economic Rehabilitation" von 1987 und das Engagement von IWF und Weltbank von Bedeutung. Auch dieser Thematik ist ein Beitrag gewidmet. (DÜI-Spl)