325 research outputs found

    Modalities and Parametric Adjoints

    Get PDF

    Destructive harvesting of wild honey in Miombo woodlands affects keystone elements in the ecosystem

    Get PDF
    Protected areas cover 13% of the world's terrestrial surface. With increasing demands on land and with challenges of land degradation and climate change, conflicts between conservation and use are on the rise, particularly in developing countries. Effective management of these conflicts requires viable livelihood options for local land users which are in line with nature conservation goals. Consolidation of nature conservation guidelines with local land use practices may be particularly challenging where keystone species are affected or where land uses have the potential for leading to ecosystem changes. This can be an issue even in ecosystems like savannahs, where fire largely defines ecosystem structure. The Miombo woodlands, covering around 2.4 million km2 of land, harbour important diversity and are crucial for livelihoods of around 75 million people in southern Africa. As a result of various pressures, cover and biomass of Miombo woodlands are declining throughout their range. Honey harvesting is an important land use in Miombo areas, both economically and culturally. Wild bees use cavities in trees for their colonies. Harvesting practices in some places include felling of trees with honeycombs to collect the honey and setting fire for pacifying bees. This leads to starvation and death of bee colonies. Given that most tree species are bee pollinated, trees with cavities colonised by wild bees can be classified as keystone elements in these ecosystems. Although ecologically far reaching, the effects of this harvesting practice on tree population structures in Miombo woodlands have seldom been studied. We characterised the ecological effects of destructive harvesting of wild honey on tree population structure and tree species distribution in Miombo woodlands in the Niassa wildlife reserve in Mozambique. The results show that forest structure and tree diversity differed along honey harvesting intensity gradients, with the highest number of fire tolerant tree species in areas with high honey harvesting intensity, which also showed the lowest tree regeneration density and Shannon diversity. Options for reconciling livelihoods with ecosystem maintenance do exist and include non-destructive harvesting based on climbing trees with locally produced ropes and leaving larval combs behind so the colony could continue to grow

    Integrated Application of Active Controls (IAAC) technology to an advanced subsonic transport project: Current and advanced act control system definition study. Volume 2: Appendices

    Get PDF
    The current status of the Active Controls Technology (ACT) for the advanced subsonic transport project is investigated through analysis of the systems technical data. Control systems technologies under examination include computerized reliability analysis, pitch axis fly by wire actuator, flaperon actuation system design trade study, control law synthesis and analysis, flutter mode control and gust load alleviation analysis, and implementation of alternative ACT systems. Extensive analysis of the computer techniques involved in each system is included

    Minimising medicine use in organic dairy herds through animal health and welfare planning

    Get PDF
    Livestock is important in many organic farming systems, and it is an explicit goal to ensure high levels of animal health and welfare (AHW) through good management. This will lead to reduced medicine use and better quality of animal products. In two EU network projects NAHWOA & SAFO it was concluded that this is not guaranteed merely by following organic standards. Both networks recommended implementation of individual animal health plans to stimulate organic farmers to improve AHW. These plans should include a systematic evaluation of AHW and be implemented through dialogue with each farmer in order to identify goals and plan improvements. 15 research institutions in 8 European countries are involved in the proposed project with the main objective to minimise medicine use in organic dairy herds through active and well planned AHW promotion and disease prevention. The project consists of 5 work packages, 4 of which comprise research activities building on current research projects, new applications across borders, exchange of knowledge, results and conclusions between participating countries, and adopting them to widely different contexts. International and national workshops facilitate this exchange. Focus areas are animal health planning, AHW assessment using animal based parameters and development of advisory systems and farmer groups. Epidemiological analyses of the effect on AHW from reduced medicine use and herd improvements are planned in all participating countries

    Relearning traditional knowledge to achieve sustainability: honey gathering in the miombo woodlands of northern Mozambique

    Get PDF
    Mozambique’s Niassa Reserve contains Africa’s best preserved miombo woodlands. Half of the households there gather wild honey from natural hives for consumption and income. However, most collectors used destructive techniques: setting fire to the grasses under the hive tree to create smoke and then felling the tree. Cutting trees to obtain honey was the principal source of tree mortality. Trees grow very slowly, about 0.25 cm diameter [dbh]/yr, meaning an average hive tree was nearly 200 years old. Furthermore, of the trees > 20 cm dbh of species important for nectar and hives, only about 15% had cavities. Although fire is intrinsic to miombo woodlands, the increased frequency resulting from anthropogenic sources impedes regeneration of some tree species as well as affecting bees, other wildlife and villages. A few people in the reserve had learned from earlier generations how to gather honey in a nondestructive way, using certain plant species to keep bees from stinging and climbing the trees using ropes to take the honey combs out of the hives. Traditional practices included leaving the larval combs behind so the colony continued to grow. Previously, the older men who had this knowledge had not been willing to share it with younger men. The project arranged for one of the traditional honey hunters to participate in an international conference on honey collection with other indigenous collectors from around the world. This helped him recognize the value of his knowledge. The project team then arranged for him to demonstrate these traditional techniques to groups of honey hunters in nine communities within the Reserve. A yearlater, monitoring revealed that many collectors had adopted these nondestructive techniques. They found them less time consuming, and appreciated that they allowed collectors to return to the same trees repeatedly to obtain honey. Sharing traditional knowledge made honey hunting compatible with the conservation of miombo woodlands

    Partial Description of Quantum States

    Full text link
    One of the most central and controversial element of quantum mechanics is the use of non zero vectors of a Hilbert space (or, more generally, of one dimension subspaces) for representing the state of a quantum system. In particular, the question whether such a representation is complete has been debated since almost the early days of quantum mechanics. In this article, we develop an alternate way to formalize knowledge about the state of quantum systems, based solely on experimentally accessible elements, namely on outcomes of finite measurements. We introduce what we call partial description which, given a feasible measurement, indicates some outcomes which are known to be impossible (i.e. known to have a probability equal to 0 to occur) and hence have to be discarded. Then, we introduce partial states (which are partial descriptions providing as much information as possible) and compare this way to describe quantum states to the orthodox one, using vector rays. Finally, we show that partial states allow to describe quantum states in a strictly more expressive way that the orthodox description does

    Quantum probabilities as Dempster-Shafer probabilities in the lattice of subspaces.

    Get PDF
    yesThe orthocomplemented modular lattice of subspaces L[H(d)] , of a quantum system with d-dimensional Hilbert space H(d), is considered. A generalized additivity relation which holds for Kolmogorov probabilities is violated by quantum probabilities in the full lattice L[H(d)] (it is only valid within the Boolean subalgebras of L[H(d)] ). This suggests the use of more general (than Kolmogorov) probability theories, and here the Dempster-Shafer probability theory is adopted. An operator D(H1,H2) , which quantifies deviations from Kolmogorov probability theory is introduced, and it is shown to be intimately related to the commutator of the projectors P(H1),P(H2) , to the subspaces H 1, H 2. As an application, it is shown that the proof of the inequalities of Clauser, Horne, Shimony, and Holt for a system of two spin 1/2 particles is valid for Kolmogorov probabilities, but it is not valid for Dempster-Shafer probabilities. The violation of these inequalities in experiments supports the interpretation of quantum probabilities as Dempster-Shafer probabilities

    Secure Code Update for Embedded Devices via Proofs of Secure Erasure

    Get PDF
    Abstract. Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previously proposed re-mote attestation techniques assisted by specialized secure hardware are effective, they not yet viable for low-cost embedded devices. One no-table alternative is software-based attestation, that is both less costly and more efficient. However, recent results identified weaknesses in some proposed software-based methods, thus showing that security of remote software attestation remains a challenge. Inspired by these developments, this paper explores an approach that relies neither on secure hardware nor on tight timing constraints typi-cal of software-based technqiques. By taking advantage of the bounded memory/storage model of low-cost embedded devices and assuming a small amount of read-only memory (ROM), our approach involves a new primitive – Proofs of Secure Erasure (PoSE-s). We also show that, even though it is effective and provably secure, PoSE-based attestation is not cheap. However, it is particularly well-suited and practical for two other related tasks: secure code update and secure memory/storage erasure. We consider several flavors of PoSE-based protocols and demonstrate their feasibility in the context of existing commodity embedded devices.

    Lower and upper probabilities in the distributive lattice of subsystems

    Get PDF
    yesThe set of subsystems ∑ (m) of a finite quantum system ∑(n) (with variables in Ζ(n)) together with logical connectives, is a distributive lattice. With regard to this lattice, the ℓ(m | ρn) = Tr ((m) ρn ) (where (m) is the projector to ∑(m)) obeys a supermodularity inequality, and it is interpreted as a lower probability in the sense of the Dempster–Shafer theory, and not as a Kolmogorov probability. It is shown that the basic concepts of the Dempster–Shafer theory (lower and upper probabilities and the Dempster multivaluedness) are pertinent to the quantum formalism of finite systems
    corecore