2,578 research outputs found

    How explicit are the barriers to failure in safety arguments?

    Get PDF
    Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnerable components of a system. For safety certification, it is the analysis of these barriers that provide confidence in the safety of the system. The explicit representation of hazard barriers can provide additional insight for the design and evaluation of system safety. They can be identified in a hazard analysis to allow analysts to reflect on particular design choices. Barrier existence in a live system can be mapped to abstract barrier representations to provide both verification of barrier existence and a basis for quantitative measures between the predicted barrier behaviour and performance of the actual barrier. This paper explores the first stage of this process, the binding between explicit mitigation arguments in hazard analysis and the barrier concept. Examples from the domains of computer-assisted detection in mammography and free route airspace feasibility are examined and the implications for system certification are considered

    The quantitative soil pit method for measuring belowground carbon and nitrogen stocks

    Get PDF
    Many important questions in ecosystem science require estimates of stocks of soil C and nutrients. Quantitative soil pits provide direct measurements of total soil mass and elemental content in depth-based samples representative of large volumes, bypassing potential errors associated with independently measuring soil bulk density, rock volume, and elemental concentrations. The method also allows relatively unbiased sampling of other belowground C and nutrient stocks, including roots, coarse organic fragments, and rocks. We present a comprehensive methodology for sampling these pools with quantitative pits and assess their accuracy, precision, effort, and sampling intensity as compared to other methods. At 14 forested sites in New Hampshire, nonsoil belowground pools (which other methods may omit, double-count, or undercount) accounted for upward of 25% of total belowground C and N stocks: coarse material accounted for 4 and 1% of C and N in the O horizon; roots were 11 and 4% of C and N in the O horizon and 10 and 3% of C and N in the B horizon; and soil adhering to rocks represented 5% of total B-horizon C and N. The top 50 cm of the C horizon contained the equivalent of 17% of B-horizon carbon and N. Sampling procedures should be carefully designed to avoid treating these important pools inconsistently. Quantitative soil pits have fewer sources of systematic error than coring methods; the main disadvantage is that because they are time-consuming and create a larger zone of disturbance, fewer observations can be made than with cores

    A rigorous evaluation of crossover and mutation in genetic programming

    Get PDF
    The role of crossover and mutation in Genetic Programming (GP) has been the subject of much debate since the emergence of the field. In this paper, we contribute new empirical evidence to this argument using a rigorous and principled experimental method applied to six problems common in the GP literature. The approach tunes the algorithm parameters to enable a fair and objective comparison of two different GP algorithms, the first using a combination of crossover and reproduction, and secondly using a combination of mutation and reproduction. We find that crossover does not significantly outperform mutation on most of the problems examined. In addition, we demonstrate that the use of a straightforward Design of Experiments methodology is effective at tuning GP algorithm parameters

    Kappa symmetric OSp(2|2) WZNW model

    Full text link
    We construct a kappa symmetric WZNW model for the OSp(2|2) supergroup, whose bosonic part is AdS3xS1 space. The field equation gives the chiral current conservation and the right/left factorization is shown after the kappa symmetry is fixed. The right-moving modes contain both bosons and fermions while the left-moving modes contain only bosons.Comment: 18 pages; reference and comments added, version to appear in JHE

    A wider Europe? The view from Russia, Belarus and Ukraine

    Get PDF
    On the evidence of national surveys conducted between 2000 and 2006, there is a declining sense of European self-identity in the three Slavic post-Soviet republics of Russia, Belarus and Ukraine. Attitudes towards the European Union and the possibility of membership are broadly supportive, but with a substantial proportion who find it difficult to express a view, and substantial proportions are poorly informed in comparison with the general public in EU member or prospective member countries. Those who are better informed are more likely to favour EU membership and vice versa. Generally, socioeconomic characteristics (except for age and region) are relatively poor predictors of support for EU membership as compared with attitudinal variables. But ‘Europeanness’ should not be seen as a given, and much will depend on whether EU member countries emphasize what is common to east and west or establish ‘new dividing lines’ in place of those of the cold war
    • …
    corecore