6 resultados para propositional linear-time temporal logic
em Universitätsbibliothek Kassel, Universität Kassel, Germany
Resumo:
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.
Resumo:
Self-adaptive software provides a profound solution for adapting applications to changing contexts in dynamic and heterogeneous environments. Having emerged from Autonomic Computing, it incorporates fully autonomous decision making based on predefined structural and behavioural models. The most common approach for architectural runtime adaptation is the MAPE-K adaptation loop implementing an external adaptation manager without manual user control. However, it has turned out that adaptation behaviour lacks acceptance if it does not correspond to a user’s expectations – particularly for Ubiquitous Computing scenarios with user interaction. Adaptations can be irritating and distracting if they are not appropriate for a certain situation. In general, uncertainty during development and at run-time causes problems with users being outside the adaptation loop. In a literature study, we analyse publications about self-adaptive software research. The results show a discrepancy between the motivated application domains, the maturity of examples, and the quality of evaluations on the one hand and the provided solutions on the other hand. Only few publications analysed the impact of their work on the user, but many employ user-oriented examples for motivation and demonstration. To incorporate the user within the adaptation loop and to deal with uncertainty, our proposed solutions enable user participation for interactive selfadaptive software while at the same time maintaining the benefits of intelligent autonomous behaviour. We define three dimensions of user participation, namely temporal, behavioural, and structural user participation. This dissertation contributes solutions for user participation in the temporal and behavioural dimension. The temporal dimension addresses the moment of adaptation which is classically determined by the self-adaptive system. We provide mechanisms allowing users to influence or to define the moment of adaptation. With our solution, users can have full control over the moment of adaptation or the self-adaptive software considers the user’s situation more appropriately. The behavioural dimension addresses the actual adaptation logic and the resulting run-time behaviour. Application behaviour is established during development and does not necessarily match the run-time expectations. Our contributions are three distinct solutions which allow users to make changes to the application’s runtime behaviour: dynamic utility functions, fuzzy-based reasoning, and learning-based reasoning. The foundation of our work is a notification and feedback solution that improves intelligibility and controllability of self-adaptive applications by implementing a bi-directional communication between self-adaptive software and the user. The different mechanisms from the temporal and behavioural participation dimension require the notification and feedback solution to inform users on adaptation actions and to provide a mechanism to influence adaptations. Case studies show the feasibility of the developed solutions. Moreover, an extensive user study with 62 participants was conducted to evaluate the impact of notifications before and after adaptations. Although the study revealed that there is no preference for a particular notification design, participants clearly appreciated intelligibility and controllability over autonomous adaptations.
Resumo:
Die vorliegende Arbeit beschäftigt sich mit den Einflüssen visuell wahrgenommener Bewegungsmerkmale auf die Handlungssteuerung eines Beobachters. Im speziellen geht es darum, wie die Bewegungsrichtung und die Bewegungsgeschwindigkeit als aufgabenirrelevante Reize die Ausführung von motorischen Reaktionen auf Farbreize beeinflussen und dabei schnellere bzw. verzögerte Reaktionszeiten bewirken. Bisherige Studien dazu waren auf lineare Bewegungen (von rechts nach links und umgekehrt) und sehr einfache Reizumgebungen (Bewegungen einfacher geometrischer Symbole, Punktwolken, Lichtpunktläufer etc.) begrenzt (z.B. Ehrenstein, 1994; Bosbach, 2004, Wittfoth, Buck, Fahle & Herrmann, 2006). In der vorliegenden Dissertation wurde die Gültigkeit dieser Befunde für Dreh- und Tiefenbewegungen sowie komplexe Bewegungsformen (menschliche Bewegungsabläufe im Sport) erweitert, theoretisch aufgearbeitet sowie in einer Serie von sechs Reaktionszeitexperimenten mittels Simon-Paradigma empirisch überprüft. Allen Experimenten war gemeinsam, dass Versuchspersonen an einem Computermonitor auf einen Farbwechsel innerhalb des dynamischen visuellen Reizes durch einen Tastendruck (links, rechts, proximal oder distal positionierte Taste) reagieren sollten, wobei die Geschwindigkeit und die Richtung der Bewegungen für die Reaktionen irrelevant waren. Zum Einfluss von Drehbewegungen bei geometrischen Symbolen (Exp. 1 und 1a) sowie bei menschlichen Drehbewegungen (Exp. 2) zeigen die Ergebnisse, dass Probanden signifikant schneller reagieren, wenn die Richtungsinformationen einer Drehbewegung kompatibel zu den räumlichen Merkmalen der geforderten Tastenreaktion sind. Der Komplexitätsgrad des visuellen Ereignisses spielt dabei keine Rolle. Für die kognitive Verarbeitung des Bewegungsreizes stellt nicht der Drehsinn, sondern die relative Bewegungsrichtung oberhalb und unterhalb der Drehachse das entscheidende räumliche Kriterium dar. Zum Einfluss räumlicher Tiefenbewegungen einer Kugel (Exp. 3) und einer gehenden Person (Exp. 4) belegen unsere Befunde, dass Probanden signifikant schneller reagieren, wenn sich der Reiz auf den Beobachter zu bewegt und ein proximaler gegenüber einem distalen Tastendruck gefordert ist sowie umgekehrt. Auch hier spielt der Komplexitätsgrad des visuellen Ereignisses keine Rolle. In beiden Experimenten führt die Wahrnehmung der Bewegungsrichtung zu einer Handlungsinduktion, die im kompatiblen Fall eine schnelle und im inkompatiblen Fall eine verzögerte Handlungsausführung bewirkt. In den Experimenten 5 und 6 wurden die Einflüsse von wahrgenommenen menschlichen Laufbewegungen (freies Laufen vs. Laufbandlaufen) untersucht, die mit und ohne eine Positionsveränderung erfolgten. Dabei zeigte sich, dass unabhängig von der Positionsveränderung die Laufgeschwindigkeit zu keiner Modulation des richtungsbasierten Simon Effekts führt. Zusammenfassend lassen sich die Studienergebnisse gut in effektbasierte Konzepte zur Handlungssteuerung (z.B. die Theorie der Ereigniskodierung von Hommel et al., 2001) einordnen. Weitere Untersuchungen sind nötig, um diese Ergebnisse auf großmotorische Reaktionen und Displays, die stärker an visuell wahrnehmbaren Ereignissen des Sports angelehnt sind, zu übertragen.
Resumo:
In the theory of the Navier-Stokes equations, the proofs of some basic known results, like for example the uniqueness of solutions to the stationary Navier-Stokes equations under smallness assumptions on the data or the stability of certain time discretization schemes, actually only use a small range of properties and are therefore valid in a more general context. This observation leads us to introduce the concept of SST spaces, a generalization of the functional setting for the Navier-Stokes equations. It allows us to prove (by means of counterexamples) that several uniqueness and stability conjectures that are still open in the case of the Navier-Stokes equations have a negative answer in the larger class of SST spaces, thereby showing that proof strategies used for a number of classical results are not sufficient to affirmatively answer these open questions. More precisely, in the larger class of SST spaces, non-uniqueness phenomena can be observed for the implicit Euler scheme, for two nonlinear versions of the Crank-Nicolson scheme, for the fractional step theta scheme, and for the SST-generalized stationary Navier-Stokes equations. As far as stability is concerned, a linear version of the Euler scheme, a nonlinear version of the Crank-Nicolson scheme, and the fractional step theta scheme turn out to be non-stable in the class of SST spaces. The positive results established in this thesis include the generalization of classical uniqueness and stability results to SST spaces, the uniqueness of solutions (under smallness assumptions) to two nonlinear versions of the Euler scheme, two nonlinear versions of the Crank-Nicolson scheme, and the fractional step theta scheme for general SST spaces, the second order convergence of a version of the Crank-Nicolson scheme, and a new proof of the first order convergence of the implicit Euler scheme for the Navier-Stokes equations. For each convergence result, we provide conditions on the data that guarantee the existence of nonstationary solutions satisfying the regularity assumptions needed for the corresponding convergence theorem. In the case of the Crank-Nicolson scheme, this involves a compatibility condition at the corner of the space-time cylinder, which can be satisfied via a suitable prescription of the initial acceleration.
Resumo:
Web services from different partners can be combined to applications that realize a more complex business goal. Such applications built as Web service compositions define how interactions between Web services take place in order to implement the business logic. Web service compositions not only have to provide the desired functionality but also have to comply with certain Quality of Service (QoS) levels. Maximizing the users' satisfaction, also reflected as Quality of Experience (QoE), is a primary goal to be achieved in a Service-Oriented Architecture (SOA). Unfortunately, in a dynamic environment like SOA unforeseen situations might appear like services not being available or not responding in the desired time frame. In such situations, appropriate actions need to be triggered in order to avoid the violation of QoS and QoE constraints. In this thesis, proper solutions are developed to manage Web services and Web service compositions with regard to QoS and QoE requirements. The Business Process Rules Language (BPRules) was developed to manage Web service compositions when undesired QoS or QoE values are detected. BPRules provides a rich set of management actions that may be triggered for controlling the service composition and for improving its quality behavior. Regarding the quality properties, BPRules allows to distinguish between the QoS values as they are promised by the service providers, QoE values that were assigned by end-users, the monitored QoS as measured by our BPR framework, and the predicted QoS and QoE values. BPRules facilitates the specification of certain user groups characterized by different context properties and allows triggering a personalized, context-aware service selection tailored for the specified user groups. In a service market where a multitude of services with the same functionality and different quality values are available, the right services need to be selected for realizing the service composition. We developed new and efficient heuristic algorithms that are applied to choose high quality services for the composition. BPRules offers the possibility to integrate multiple service selection algorithms. The selection algorithms are applicable also for non-linear objective functions and constraints. The BPR framework includes new approaches for context-aware service selection and quality property predictions. We consider the location information of users and services as context dimension for the prediction of response time and throughput. The BPR framework combines all new features and contributions to a comprehensive management solution. Furthermore, it facilitates flexible monitoring of QoS properties without having to modify the description of the service composition. We show how the different modules of the BPR framework work together in order to execute the management rules. We evaluate how our selection algorithms outperform a genetic algorithm from related research. The evaluation reveals how context data can be used for a personalized prediction of response time and throughput.
Resumo:
Time-resolved diffraction with femtosecond electron pulses has become a promising technique to directly provide insights into photo induced primary dynamics at the atomic level in molecules and solids. Ultrashort pulse duration as well as extensive spatial coherence are desired, however, space charge effects complicate the bunching of multiple electrons in a single pulse.Weexperimentally investigate the interplay between spatial and temporal aspects of resolution limits in ultrafast electron diffraction (UED) on our highly compact transmission electron diffractometer. To that end, the initial source size and charge density of electron bunches are systematically manipulated and the resulting bunch properties at the sample position are fully characterized in terms of lateral coherence, temporal width and diffracted intensity.Weobtain a so far not reported measured overall temporal resolution of 130 fs (full width at half maximum) corresponding to 60 fs (root mean square) and transversal coherence lengths up to 20 nm. Instrumental impacts on the effective signal yield in diffraction and electron pulse brightness are discussed as well. The performance of our compactUEDsetup at selected electron pulse conditions is finally demonstrated in a time-resolved study of lattice heating in multilayer graphene after optical excitation.