5 resultados para Stateless Roaming Credentials

em Universitätsbibliothek Kassel, Universität Kassel, Germany


Relevância:

20.00% 20.00%

Publicador:

Resumo:

We study cooperating distributed systems (CD-systems) of restarting automata that are very restricted: they are deterministic, they cannot rewrite, but only delete symbols, they restart immediately after performing a delete operation, they are stateless, and they have a read/write window of size 1 only, that is, these are stateless deterministic R(1)-automata. We study the expressive power of these systems by relating the class of languages that they accept by mode =1 computations to other well-studied language classes, showing in particular that this class only contains semi-linear languages, and that it includes all rational trace languages. In addition, we investigate the closure and non-closure properties of this class of languages and some of its algorithmic properties.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We study cooperating distributed systems (CD-systems) of stateless deterministic restarting automata with window size 1 that are governed by an external pushdown store. In this way we obtain an automata-theoretical characterization for the class of context-free trace languages.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

It is known that cooperating distributed systems (CD-systems) of stateless deterministic restarting automata with window size 1 accept a class of semi-linear languages that properly includes all rational trace languages. Although the component automata of such a CD-system are all deterministic, in general the CD-system itself is not, as in each of its computations, the initial component and the successor components are still chosen nondeterministically. Here we study CD-systems of stateless deterministic restarting automata with window size 1 that are themselves completely deterministic. In fact, we consider two such types of CD-systems, the strictly deterministic systems and the globally deterministic systems.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In the Democratic Republic of the Congo (DRC), pigs are raised almost exclusively by smallholders either in periurban areas of major cities such as Kinshasa or in rural villages. Unfortunately, little information is available regarding pig production in the Western part of the DRC, wherefore a survey was carried out to characterize and compare 319 pig production systems in their management and feeding strategies, along a periurban - rural gradient inWestern provinces of the DRC. Pig breeding was the main source of income (43%) and half of respondents were active in mixed pig and crop production, mainly vegetable garden. Depending on the location, smallholders owned on average 18 pigs, including four sows. Piglet mortality rate varied from 9.5 to 21.8% while average weaned age ranged between 2.2 and 2.8 months. The major causes of mortality reported by the farmers were African swine fever 98 %, swine erysipelas (60 %), erysipelas trypanosomiasis (31 %), swine worm infection (17 %), and diarrhoea (12 %). The majority of the pigs were reared in pens without free roaming and fed essentially with locally available by-products and forage plants whose nature varied according with the location of the farm. The pig production systems depended on the local environment; particularly in terms of workforces, herd structure and characteristics, production parameters, pig building materials, selling price and in feed resources. It can be concluded that an improvement of Congolese pig production systems should consider (1) a reduction of inbreeding, (2) an improvement in biosafety to reduce the incidence of African swine fever and the spread of other diseases, and (3) an improvement in feeding practices.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Inadequate quantity and quality of livestock feed is a persistent constraint to productivity for mixed crop-livestock farming in eastern Democratic Republic of Congo. To assess on-farm niches of improved forages, demonstration trials and participatory on-farm research were conducted in four different sites. Forage legumes included Canavalia brasiliensis (CIAT 17009), Stylosanthes guianensis (CIAT 11995) and Desmodium uncinatum (cv. Silverleaf), while grasses were Guatemala grass (Tripsacum andersonii), Napier grass (Pennisetum purpureum) French Cameroon, and a local Napier line. Within the first six months, forage legumes adapted differently to the four sites with little differences among varieties, while forage grasses displayed higher variability in biomass production among varieties than among sites. Farmers’ ranking largely corresponded to herbage yield from the first cut, preferring Canavalia, Silverleaf desmodium and Napier French Cameroon. Choice of forages and integration into farming systems depended on land availability, soil erosion prevalence and livestock husbandry system. In erosion prone sites, 55–60% of farmers planted grasses on field edges and 16–30% as hedgerows for erosion control. 43% of farmers grew forages as intercrop with food crops such as maize and cassava, pointing to land scarcity. Only in the site with lower land pressure, 71% of farmers grew legumes as pure stand. When land tenure was not secured and livestock freely roaming, 75% of farmers preferred to grow annual forage legumes instead of perennial grasses. Future research should develop robust decision support for spatial and temporal integration of forage technologies into diverse smallholder cropping systems and agro-ecologies.