Refine
Document Type
- Report (5) (remove)
Has Fulltext
- yes (5)
Is part of the Bibliography
- no (5)
Year of publication
- 2016 (5) (remove)
Keywords
- Ameisenbasiertes Computing (1)
- Ant-based computing (1)
- Benutzer (1)
- Biocomputer (1)
- Buen vivir (1)
- Chemical computing (1)
- Chemisches Rechnen (1)
- Conjoint Measurement (1)
- Cottbus <2015> (1)
- DNA Computing (1)
- DNA computing (1)
- Gewässergüte (1)
- Gutes Leben (1)
- Integration <Regionale Politik> (1)
- Konferenzschrift (1)
- Lebensqualität (1)
- Membrane Computing (1)
- Membrane computing (1)
- Migration (1)
- Model Checking (1)
- Model checking (1)
- Molecular computing (1)
- Molekulare Bioinformatik (1)
- Molekulares Rechnen (1)
- Nährstoffretention (1)
- Online-Publikation (1)
- Peru (1)
- Petri nets (1)
- Petri-Netz (1)
- Regionale Indikatoren (1)
- Räumliche Regression (1)
- Stickstoff (1)
- Stickstoffbelastung (1)
- Stickstofflimitation (1)
- Umfrage (1)
- Universitätsbibliothek Cottbus (1)
- Universitätsbibliothek Cottbus-Senftenberg (1)
MARCIE manual
(2016)
This manual gives an overview on MARCIE – Model Checking And Reachability analysis done effiCIEntly. MARCIE was originally developed as a symbolic model checker for stochastic Petri nets, building on its predecessor – IDDMC – Interval Decision Diagram based Model Checking – which has been previously developed for the qualitative analysis of bounded Place/Transition nets extended by special arcs. Over the last years the tool has been enriched to allow also quantitative analysis of extended stochastic Petri nets. We concentrate here on the user viewpoint. For a detailed introduction to the relevant formalisms, formal definitions and algorithms we refer to related literature.
Molekulares Rechnen etabliert sich als interdisziplinär geprägtes Wissensgebiet mit hohem Anwendungspotential. Es beschäftigt sich mit Prinzipien biologischer Informationsverarbeitung. Moleküle bzw. molekulare Systeme übernehmen die Rolle eines Datenträgers, auf dem biochemische Prozesse oder physische Wechselwirkungen operieren. Facetten sind unter anderem DNA-Computing, chemisches Rechnen, Membrane Computing und ameisenbasiertes Computing. Vier studentische Beiträge stellen diese Forschungsrichtungen anhand eingängiger Beispiele anschaulich vor.
„Das gute Leben ist lokal – Das Konzept des »Guten Lebens in Harmonie« und die Sorben/Wenden“ lautete der Titel der Tagung an der BTU Cottbus-Senftenberg im Dezember 2015, welche diesem Band zu Grunde liegt. Diese Tagung steht in einer Reihe von durch die Herausgeber organisierten Veranstaltungen am Lehrstuhl für Sozialwissenschaftliche Umweltfragen, die sich mit aktuellen gesellschaftspolitischen Diskursen und den Perspektiven für die Minderheit der Sorben und Wenden in der Lausitz auseinandersetzt. In diesem Band sind zwei Beiträge versammelt, die im Zusammenhang mit der Tagung entstanden sind.
Die nachfolgenden Auswertungen sind Teil des DFG-geförderten Projekts ProSeBiCA an der Universität Bielefeld, das in Kooperation mit der BTU Cottbus erfolgt. Im Rahmen dieses Projekts wird ein umfassender Analyse- und Simulationsrahmen für wissenschaftliche Bibliotheken entwickelt, der auf Basis von Präferenzmessungen (mittels Conjoint-Analyse) eine fundierte Strategieplanung für die gezielte Weiterentwicklung des Dienstleistungsspektrums ermöglicht. Die hier vorgestellte dritte Untersuchung innerhalb des Projekts erfolgte mittels einer Adaptiven Conjoint Analyse (ACA) und einer Choice-Based Conjoint Analyse (CBC) an der BTU Cottbus im Zeitraum vom 03.11.2005 bis 04.01.2006. Dabei handelt es sich um eine Online- Befragung, die vor allem auf der Homepage der IKMZ Cottbus verlinkt war. Insgesamt 1127 Personen haben die Befragung komplett absolviert, 350 davon haben die CBC-Befragung ausgefüllt. Letztgenannte werden hier nicht weiter betrachtet, sondern in einem separaten Arbeitsbericht eingehend analysiert.
NITROLIMIT hat gezeigt, dass nicht nur Phosphor (P), sondern auch Stickstoff (N) eine relevante Steuergröße des Phytoplanktons und damit des ökologischen Zustandes von Gewässern darstellt. Eine Minderung der N-konzentration lässt insbesondere für viele Flachseen und Flussseen eine Verbesserung des ökologischen Zustandes erwarten. Bedenken, wonach Maßnahmen zur Minderung der N-konzentrationen in Gewässern nicht zielführend sind, weil sie durch N2-Fixierung von Cyanobakterien ausgeglichen werden oder weil sinkende Nitratkonzentrationen die Freisetzung von P aus den Gewässersedimenten steigern, konnten für die Untersuchungsgewässer in NITROLIMIT weitgehend ausgeräumt werden.
N2-fixierende Cyanobakterien (Nostocales) gelangen nicht oder nur selten zur Dominanz und ihr Beitrag zum jährlichen Eintrag von Stickstoff ist gering. Langfristig führt eine Senkung der N-Fracht jedoch zu einer Abnahme ihres Biovolumens. Nitrat beeinflusst die Bindung bzw. Freisetzung von P aus dem Sediment meist nur in geringem Maße. Hier spielen andere Prozesse (redoxunabhängige P‐Bindungsmechanismen), an denen Nitrat nicht beteiligt ist, eine größere Rolle. Auf den ökologischen Zustand von Fließgewässern wie der Elbe hätte eine N-Reduktion zunächst keinen Einfluss, da andere Faktoren die Biomasse des Phytoplanktons begrenzen. Eine Verminderung der N-Einträge in Fließgewässer ist dennoch anzustreben, um den trophischen Zustand der Küstengewässer zu verbessern. NITROLIMIT konnte zeigen: Stickstoffreduktion ist ökologisch sinnvoll.
Da sich eine große Zahl von Seen in Deutschland nicht im guten ökologischen Zustand befindet, sind weitere Anstrengungen notwendig, um die Ziele der EU‐WRRL zu erreichen. Dabei sollten auch Maßnahmen zur Reduktion der N‐Einträge berücksichtigt werden. Hier schließt sich die Frage an, ob N‐Reduktion wirtschaftlich vertretbar ist. In drei Fallstudien wurden Möglichkeiten, Kosten, Nutzen und Akzeptanz von N-Reduktionsmaßnahmen analysiert. Am Beispiel der Berliner Unterhavel wurden Kosten für N‐Reduktionsmaßnahmen mit dem Nutzen in Form der Zahlungsbereitschaft von Bürgern für den guten ökologischen Zustand gegenübergestellt. Danach ist der Nutzen einer Verbesserung der Gewässergüte größer als die damit verbundenen Kosten. Auch der Wert der Gewässer für Freizeit und Erholung spricht für weitere Bemühungen. Für Gewässer in Berlin wurde belegt, dass urbane Maßnahmen zur Nährstoffreduktion Erfolge zeigen, aber häufig nicht zum Erreichen des guten ökologischen Zustandes ausreichen. Für ein ländliches Einzugsgebiet (Storkower Seenkette) wurde gezeigt, dass für die Verbesserung des ökologischen Zustandes vor allem N-Einträge aus landwirtschaftlichen Flächen reduziert werden müssen. Möglichkeiten hierzu bestehen durch eine Ausweitung der Umsetzung von Agrarumweltmaßnahmen. In Brandenburg und Berlin wurden jedoch entsprechende Fördermöglichkeiten bisher nicht ausgeschöpft. Hier gilt es daher, die Rahmenbedingungen und die Anreize zur Teilnahme zu verbessern.