Observations on the Publicity and Usage of Parallel Programming Systems and Languages: A Survey Approach

In this publication, we report on an online survey that was carried out among parallel programmers. More than 250 people worldwide have submitted answers to our questions, and their responses are analyzed here. Although not statistically sound, the data we provide give useful insights about which parallel programming systems and languages are known and in actual use. For instance, the collected data indicate that for our survey group MPI and (to a lesser extent) C are the most widely used parallel programming system and language, respectively.

Design, implementation and application of a generic framework for integrated regional land-use modeling

Land use is a crucial link between human activities and the natural environment and one of the main driving forces of global environmental change. Large parts of the terrestrial land surface are used for agriculture, forestry, settlements and infrastructure. Given the importance of land use, it is essential to understand the multitude of influential factors and resulting land use patterns. An essential methodology to study and quantify such interactions is provided by the adoption of land-use models. By the application of land-use models, it is possible to analyze the complex structure of linkages and feedbacks and to also determine the relevance of driving forces. Modeling land use and land use changes has a long-term tradition. In particular on the regional scale, a variety of models for different regions and research questions has been created. Modeling capabilities grow with steady advances in computer technology, which on the one hand are driven by increasing computing power on the other hand by new methods in software development, e.g. object- and component-oriented architectures. In this thesis, SITE (Simulation of Terrestrial Environments), a novel framework for integrated regional sland-use modeling, will be introduced and discussed. Particular features of SITE are the notably extended capability to integrate models and the strict separation of application and implementation. These features enable efficient development, test and usage of integrated land-use models. On its system side, SITE provides generic data structures (grid, grid cells, attributes etc.) and takes over the responsibility for their administration. By means of a scripting language (Python) that has been extended by language features specific for land-use modeling, these data structures can be utilized and manipulated by modeling applications. The scripting language interpreter is embedded in SITE. The integration of sub models can be achieved via the scripting language or by usage of a generic interface provided by SITE. Furthermore, functionalities important for land-use modeling like model calibration, model tests and analysis support of simulation results have been integrated into the generic framework. During the implementation of SITE, specific emphasis was laid on expandability, maintainability and usability. Along with the modeling framework a land use model for the analysis of the stability of tropical rainforest margins was developed in the context of the collaborative research project STORMA (SFB 552). In a research area in Central Sulawesi, Indonesia, socio-environmental impacts of land-use changes were examined. SITE was used to simulate land-use dynamics in the historical period of 1981 to 2002. Analogous to that, a scenario that did not consider migration in the population dynamics, was analyzed. For the calculation of crop yields and trace gas emissions, the DAYCENT agro-ecosystem model was integrated. In this case study, it could be shown that land-use changes in the Indonesian research area could mainly be characterized by the expansion of agricultural areas at the expense of natural forest. For this reason, the situation had to be interpreted as unsustainable even though increased agricultural use implied economic improvements and higher farmers' incomes. Due to the importance of model calibration, it was explicitly addressed in the SITE architecture through the introduction of a specific component. The calibration functionality can be used by all SITE applications and enables largely automated model calibration. Calibration in SITE is understood as a process that finds an optimal or at least adequate solution for a set of arbitrarily selectable model parameters with respect to an objective function. In SITE, an objective function typically is a map comparison algorithm capable of comparing a simulation result to a reference map. Several map optimization and map comparison methodologies are available and can be combined. The STORMA land-use model was calibrated using a genetic algorithm for optimization and the figure of merit map comparison measure as objective function. The time period for the calibration ranged from 1981 to 2002. For this period, respective reference land-use maps were compiled. It could be shown, that an efficient automated model calibration with SITE is possible. Nevertheless, the selection of the calibration parameters required detailed knowledge about the underlying land-use model and cannot be automated. In another case study decreases in crop yields and resulting losses in income from coffee cultivation were analyzed and quantified under the assumption of four different deforestation scenarios. For this task, an empirical model, describing the dependence of bee pollination and resulting coffee fruit set from the distance to the closest natural forest, was integrated. Land-use simulations showed, that depending on the magnitude and location of ongoing forest conversion, pollination services are expected to decline continuously. This results in a reduction of coffee yields of up to 18% and a loss of net revenues per hectare of up to 14%. However, the study also showed that ecological and economic values can be preserved if patches of natural vegetation are conservated in the agricultural landscape. -----------------------------------------------------------------------

On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata

This paper contributes to the study of Freely Rewriting Restarting Automata (FRR-automata) and Parallel Communicating Grammar Systems (PCGS), which both are useful models in computational linguistics. For PCGSs we study two complexity measures called 'generation complexity' and 'distribution complexity', and we prove that a PCGS Pi, for which the generation complexity and the distribution complexity are both bounded by constants, can be transformed into a freely rewriting restarting automaton of a very restricted form. From this characterization it follows that the language L(Pi) generated by Pi is semi-linear, that its characteristic analysis is of polynomial size, and that this analysis can be computed in polynomial time.

The role of ligneous vegetation for livestock nutrition in the sub-Sahelian and Sudanian zones of West Africa: Potential effects of climate change

Climate change and variability in sub-Saharan West Africa is expected to have negative consequences for crop and livestock farming due to the strong dependence of these sectors on rainfall and natural resources, and the low adaptive capacity of crops farmers, agro-pastoralist and pastoralists in the region. The objective of this PhD research was to investigate the anticipated impacts of expected future climate change and variability on nutrition and grazing management of livestock in the prevailing extensive agro-pastoral and pastoral systems of the Sahelian and Sudanian zones of Burkina Faso. To achieve this, three studies were undertaken in selected village territories (100 km² each) in the southern Sahelian (Taffogo), northern Sudanian (Nobere, Safane) and southern Sudanian (Sokouraba) zone of the country during 2009 and 2010. The choice of two villages in the northern Sudanian zone was guided by the dichotomy between intense agricultural land use and high population density near Safane, and lower agricultural land use in the tampon zone between the village of Nobere and the National Park Kaboré Tambi of Pô. Using global positioning and geographical information systems tools, the spatio-temporal variation in the use of grazing areas by cattle, sheep and goats, and in their foraging behaviour in the four villages was assessed by monitoring three herds each per species during a one-year cycle (Chapter 2). Maximum itinerary lengths (km/d) were observed in the hot dry season (March-May); they were longer for sheep (18.8) and cattle (17.4) than for goats (10.5, p<0.05). Daily total grazing time spent on pasture ranged from 6 - 11 h with cattle staying longer on pasture than small ruminants (p<0.05). Feeding time accounted for 52% - 72% of daily time on pasture, irrespective of species. Herds spent longer time on pasture and walked farther distances in the southern Sahelian than the two Sudanian zones (p<0.01), while daily feeding time was longer in the southern Sudanian than in the other two zones (p>0.05). Proportional time spent resting decreased from the rainy (June - October) to the cool (November - February) and hot dry season (p<0.05), while in parallel the proportion of walking time increased. Feeding time of all species was to a significantly high proportion spent on wooded land (tree crown cover 5-10%, or shrub cover >10%) in the southern Sahelian zone, and on forest land (tree crown cover >10%) in the two Sudanian zones, irrespective of season. It is concluded that with the expansion of cropland in the whole region, remaining islands of wooded land, including also fields fallowed for three or more years with their considerable shrub cover, are particularly valuable pasturing areas for ruminant stock. Measures must be taken that counteract the shrinking of wooded land and forests across the whole region, including also active protection and (re)establishment of drought-tolerant fodder trees. Observation of the selection behaviour of the above herds of cattle and small ruminant as far as browse species were concerned, and interviews with 75 of Fulani livestock keepers on use of browse as feed by their ruminant stock and as remedies for animal disease treatment was undertaken (Chapter 3) in order to evaluate the consequence of climate change for the contribution of browse to livestock nutrition and animal health in the extensive grazing-based livestock systems. The results indicated that grazing cattle and small ruminants do make considerable use of browse species on pasture across the studied agro-ecological zones. Goats spent more time (p<0.01) feeding on browse species than sheep and cattle, which spent a low to moderate proportion of their feeding time on browsing in any of the study sites. As far as the agro-ecological zones were concerned, the contribution of browse species to livestock nutrition was more important in the southern Sahelian and northern Sudanian zone than the southern Sudanian zone, and this contribution is higher during the cold and hot dry season than during the rainy season. A total of 75 browse species were selected on pasture year around, whereby cattle strongly preferred Afzelia africana, Pterocarpus erinaceus and Piliostigma sp., while sheep and goats primarily fed on Balanites aegyptiaca, Ziziphus mauritiana and Acacia sp. Crude protein concentration (in DM) of pods or fruits of the most important browse species selected by goats, sheep and cattle ranged from 7% to 13% for pods, and from 10% to 18% for foliage. The concentration of digestible organic matter of preferred browse species mostly ranged from 40% to 60%, and the concentrations of total phenols, condensed tannins and acid detergent lignin were low. Linear regression analyses showed that browse preference on pasture is strongly related to its contents (% of DM) of CP, ADF, NDF and OM digestibility. Interviewed livestock keepers reported that browse species are increasingly use by their grazing animals, while for animal health care use of tree- and shrub-based remedies decreased over the last two decades. It is concluded that due to climate change with expected negative impact on the productivity of the herbaceous layer of communal pastures browse fodder will gain in importance for animal nutrition. Therefore re-establishment and dissemination of locally adapted browse species preferred by ruminants is needed to increase the nutritional situation of ruminant stock in the region and contribute to species diversity and soil fertility restoration in degraded pasture areas. In Chapter 4 a combination of household surveys and participatory research approaches was used in the four villages, and additionally in the village of Zogoré (southern Sahelian zone) and of Karangasso Vigué (northern Sudanian zone) to investigate pastoralists’ (n= 76) and agro-pastoralists’ (n= 83) perception of climate change, and their adaptation strategies in crop and livestock production at farm level. Across the three agro-ecological zones, the majority of the interviewees perceived an increase in maximum day temperatures and decrease of total annual rainfall over the last two decades. Perceptions of change in climate patterns were in line with meteorological data for increased temperatures while for total rainfall farmers’ views contrasted the rainfall records which showed a slight increase of precipitation. According to all interviewees climate change and variability have negative impacts on their crop and animal husbandry, and most of them already adopted some coping and adaptation strategies at farm level to secure their livelihoods and reduce negative impacts on their farming system. Although these strategies are valuable and can help crop and livestock farmers to cope with the recurrent droughts and climate variability, they are not effective against expected extreme climate events. Governmental and non-governmental organisations should develop effective policies and strategies at local, regional and national level to support farmers in their endeavours to cope with climate change phenomena; measures should be site-specific and take into account farmers’ experiences and strategies already in place.

Systems of Parallel Communicating Restarting Automata

In der vorliegenden Dissertation werden Systeme von parallel arbeitenden und miteinander kommunizierenden Restart-Automaten (engl.: systems of parallel communicating restarting automata; abgekürzt PCRA-Systeme) vorgestellt und untersucht. Dabei werden zwei bekannte Konzepte aus den Bereichen Formale Sprachen und Automatentheorie miteinander vescrknüpft: das Modell der Restart-Automaten und die sogenannten PC-Systeme (systems of parallel communicating components). Ein PCRA-System besteht aus endlich vielen Restart-Automaten, welche einerseits parallel und unabhängig voneinander lokale Berechnungen durchführen und andererseits miteinander kommunizieren dürfen. Die Kommunikation erfolgt dabei durch ein festgelegtes Kommunikationsprotokoll, das mithilfe von speziellen Kommunikationszuständen realisiert wird. Ein wesentliches Merkmal hinsichtlich der Kommunikationsstruktur in Systemen von miteinander kooperierenden Komponenten ist, ob die Kommunikation zentralisiert oder nichtzentralisiert erfolgt. Während in einer nichtzentralisierten Kommunikationsstruktur jede Komponente mit jeder anderen Komponente kommunizieren darf, findet jegliche Kommunikation innerhalb einer zentralisierten Kommunikationsstruktur ausschließlich mit einer ausgewählten Master-Komponente statt. Eines der wichtigsten Resultate dieser Arbeit zeigt, dass zentralisierte Systeme und nichtzentralisierte Systeme die gleiche Berechnungsstärke besitzen (das ist im Allgemeinen bei PC-Systemen nicht so). Darüber hinaus bewirkt auch die Verwendung von Multicast- oder Broadcast-Kommunikationsansätzen neben Punkt-zu-Punkt-Kommunikationen keine Erhöhung der Berechnungsstärke. Desweiteren wird die Ausdrucksstärke von PCRA-Systemen untersucht und mit der von PC-Systemen von endlichen Automaten und mit der von Mehrkopfautomaten verglichen. PC-Systeme von endlichen Automaten besitzen bekanntermaßen die gleiche Ausdrucksstärke wie Einwegmehrkopfautomaten und bilden eine untere Schranke für die Ausdrucksstärke von PCRA-Systemen mit Einwegkomponenten. Tatsächlich sind PCRA-Systeme auch dann stärker als PC-Systeme von endlichen Automaten, wenn die Komponenten für sich genommen die gleiche Ausdrucksstärke besitzen, also die regulären Sprachen charakterisieren. Für PCRA-Systeme mit Zweiwegekomponenten werden als untere Schranke die Sprachklassen der Zweiwegemehrkopfautomaten im deterministischen und im nichtdeterministischen Fall gezeigt, welche wiederum den bekannten Komplexitätsklassen L (deterministisch logarithmischer Platz) und NL (nichtdeterministisch logarithmischer Platz) entsprechen. Als obere Schranke wird die Klasse der kontextsensitiven Sprachen gezeigt. Außerdem werden Erweiterungen von Restart-Automaten betrachtet (nonforgetting-Eigenschaft, shrinking-Eigenschaft), welche bei einzelnen Komponenten eine Erhöhung der Berechnungsstärke bewirken, in Systemen jedoch deren Stärke nicht erhöhen. Die von PCRA-Systemen charakterisierten Sprachklassen sind unter diversen Sprachoperationen abgeschlossen und einige Sprachklassen sind sogar abstrakte Sprachfamilien (sogenannte AFL's). Abschließend werden für PCRA-Systeme spezifische Probleme auf ihre Entscheidbarkeit hin untersucht. Es wird gezeigt, dass Leerheit, Universalität, Inklusion, Gleichheit und Endlichkeit bereits für Systeme mit zwei Restart-Automaten des schwächsten Typs nicht semientscheidbar sind. Für das Wortproblem wird gezeigt, dass es im deterministischen Fall in quadratischer Zeit und im nichtdeterministischen Fall in exponentieller Zeit entscheidbar ist.