Tensor products of subspace lattices and rank one density

We show that, if M is a subspace lattice with the property that the rank one subspace of its operator algebra is weak* dense, L is a commutative subspace lattice and P is the lattice of all projections on a separable Hilbert space, then L⊗M⊗P is reflexive. If M is moreover an atomic Boolean subspace lattice while L is any subspace lattice, we provide a concrete lattice theoretic description of L⊗M in terms of projection valued functions defined on the set of atoms of M . As a consequence, we show that the Lattice Tensor Product Formula holds for AlgM and any other reflexive operator algebra and give several further corollaries of these results.

European Recommendations for Primary Prevention of Congenital Anomalies: A Joined Effort of EUROCAT and EUROPLAN Projects to Facilitate Inclusion of This Topic in the National Rare Disease Plans

Congenital anomalies (CA) are the paradigm example of rare diseases liable to primary prevention actions due to the multifactorial etiology of many of them, involving a number of environmental factors together with genetic predispositions. Yet despite the preventive potential, lack of attention to an integrated preventive strategy has led to the prevalence of CA remaining relatively stable in recent decades. The 2 European projects, EUROCAT and EUROPLAN, have joined efforts to provide the first science-based and comprehensive set of recommendations for the primary prevention of CA in the European Union. The resulting EUROCAT-EUROPLAN 'Recommendations on Policies to Be Considered for the Primary Prevention of Congenital Anomalies in National Plans and Strategies on Rare Diseases' were issued in 2012 and endorsed by EUCERD (European Union Committee of Experts on Rare Diseases) in 2013. The recommendations exploit interdisciplinary expertise encompassing drugs, diet, lifestyles, maternal health status, and the environment. The recommendations include evidence-based actions aimed at reducing risk factors and at increasing protective factors and behaviors at both individual and population level. Moreover, consideration is given to topics specifically related to CA (e.g. folate status, teratogens) as well as of broad public health impact (e.g. obesity, smoking) which call for specific attention to their relevance in the pre- and periconceptional period. The recommendations, reported entirely in this paper, are a comprehensive tool to implement primary prevention into national policies on rare diseases in Europe.

Can(Plan)+: Extending the Operational Semantics of the BDI Architecture to deal with Uncertain Information

The BDI architecture, where agents are modelled based on their beliefs, desires and intentions, provides a practical approach to develop large scale systems. However, it is not well suited to model complex Supervisory Control And Data Acquisition (SCADA) systems pervaded by uncertainty. In this paper we address this issue by extending the operational semantics of Can(Plan) into Can(Plan)+. We start by modelling the beliefs of an agent as a set of epistemic states where each state, possibly using a different representation, models part of the agent's beliefs. These epistemic states are stratified to make them commensurable and to reason about the uncertain beliefs of the agent. The syntax and semantics of a BDI agent are extended accordingly and we identify fragments with computationally efficient semantics. Finally, we examine how primitive actions are affected by uncertainty and we define an appropriate form of lookahead planning.

PICan: An integromics framework for dynamic cancer biomarker discovery

Modern cancer research on prognostic and predictive biomarkers demands the integration of established and emerging high-throughput technologies. However, these data are meaningless unless carefully integrated with patient clinical outcome and epidemiological information. Integrated datasets hold the key to discovering new biomarkers and therapeutic targets in cancer. We have developed a novel approach and set of methods for integrating and interrogating phenomic, genomic and clinical data sets to facilitate cancer biomarker discovery and patient stratification. Applied to a known paradigm, the biological and clinical relevance of TP53, PICan was able to recapitulate the known biomarker status and prognostic significance at a DNA, RNA and protein levels.

Dynamic Modeling and Interaction of Hybrid Natural Gas and Electricity Supply System in Microgrid

Natural gas (NG) network and electric network are becoming tightly integrated by microturbines in the microgrid. Interactions between these two networks are not well captured by the traditional microturbine (MT) models. To address this issue, two improved models for single-shaft MT and split-shaft MT are proposed in this paper. In addition, dynamic models of the hybrid natural gas and electricity system (HGES) are developed for the analysis of their interactions. Dynamic behaviors of natural gas in pipes are described by partial differential equations (PDEs), while the electric network is described by differential algebraic equations (DAEs). So the overall network is a typical two-time scale dynamic system. Numerical studies indicate that the two-time scale algorithm is faster and can capture the interactions between the two networks. The results also show the HGES with a single-shaft MT is a weakly coupled system in which disturbances in the two networks mainly influence the dc link voltage of the MT, while the split-shaft MT is a strongly coupled system where the impact of an event will affect both networks.

An approach to determine the local boundary of small disturbance voltage stability region in a cut-set power space:基于微扰的割集电压稳定域局部边界求解方法

A new approach to determine the local boundary of voltage stability region in a cut-set power space (CVSR) is presented. Power flow tracing is first used to determine the generator-load pair most sensitive to each branch in the interface. The generator-load pairs are then used to realize accurate small disturbances by controlling the branch power flow in increasing and decreasing directions to obtain new equilibrium points around the initial equilibrium point. And, continuous power flow is used starting from such new points to get the corresponding critical points around the initial critical point on the CVSR boundary. Then a hyperplane cross the initial critical point can be calculated by solving a set of linear algebraic equations. Finally, the presented method is validated by some systems, including New England 39-bus system, IEEE 118-bus system, and EPRI-1000 bus system. It can be revealed that the method is computationally more efficient and has less approximation error. It provides a useful approach for power system online voltage stability monitoring and assessment. This work is supported by National Natural Science Foundation of China (No. 50707019), Special Fund of the National Basic Research Program of China (No. 2009CB219701), Foundation for the Author of National Excellent Doctoral Dissertation of PR China (No. 200439), Tianjin Municipal Science and Technology Development Program (No. 09JCZDJC25000), National Major Project of Scientific and Technical Supporting Programs of China During the 11th Five-year Plan Period (No. 2006BAJ03A06). ©2009 State Grid Electric Power Research Institute Press.

Finite element modeling of debonding failures in FRP-strengthened RC beams: A dynamic approach

This paper is concerned with the finite element simulation of debonding failures in FRP-strengthened concrete beams. A key challenge for such simulations is that common solution techniques such as the Newton-Raphson method and the arc-length method often fail to converge. This paper examines the effectiveness of using a dynamic analysis approach in such FE simulations, in which debonding failure is treated as a dynamic problem and solved using an appropriate time integration method. Numerical results are presented to show that an appropriate dynamic approach effectively overcomes the convergence problem and provides accurate predictions of test results.

Detection of Bridge Dynamic Parameters using an Instrumented Vehicle

Highway structures such as bridges are subject to continuous degradation primarily due to ageing and environmental factors. A rational transport policy requires the monitoring of this transport infrastructure to provide adequate maintenance and guarantee the required levels of transport service and safety. In Europe, this is now a legal requirement - a European Directive requires all member states of the European Union to implement a Bridge Management System. However, the process is expensive, requiring the installation of sensing equipment and data acquisition electronics on the bridge. This paper investigates the use of an instrumented vehicle fitted with accelerometers on its axles to monitor the dynamic behaviour of bridges as an indicator of its structural condition. This approach eliminates the need for any on-site installation of measurement equipment. A simplified half-car vehicle-bridge interaction model is used in theoretical simulations to test the possibility of extracting the dynamic parameters of the bridge from the spectra of the vehicle accelerations. The effect of vehicle speed, vehicle mass and bridge span length on the detection of the bridge dynamic parameters are investigated. The algorithm is highly sensitive to the condition of the road profile and simulations are carried out for both smooth and rough profiles

Participation of Smallholders in Agroforestry Agri-Environmental Scheme: A lesson from the rural Mount Kenya region

The likelihood of smallholder farmers not participating in agroforestry agri-environmental schemes and payments for ecosystem services (PES) may be due to limited farmland endowment and formal credit constraints. These deficits may lead to an ‘exclusive club’ of successful farmers, which are not necessarily poor, enjoying the benefits of agri-environmental schemes and PES although agrienvironmental schemes and PES have been devised as a means of fostering rural sustainable development and improving the livelihood of poor smallholder farmers. Smallholder farmers in parts of rural Kenya continue to enroll in ‘The International Small Group Tree Planting Programme’ (TIST), an agri-environmental scheme, promoting agroforestry, carbon sequestration and conservation agriculture (CA). The question remains if these farmers are really poor? This study examines factors that determine the participation of smallholder farmers in TIST in parts of rural Kenya. We use survey data compiled in 2013 on 210 randomly selected smallholder farmers from Embu, Meru and Nanyuki communities; the sample consists of TIST and non-TIST members. A random utility model and logit regression were used to test a set of non-monetary and monetary factors that influence participation in the TIST. The utility function is conceptualized to give non-monetary factors, particularly the common medium of communication in rural areas – formal and informal – a central role. Furthermore, we investigate other factors (incl. credit accessibility and interest rate) that reveal the nature of farmers participating in TIST. The findings suggest that spread of information via formal and informal networks is a major driver of participation in the TIST program. Furthermore, variables such credit constrains, age and labour supply positively correlate with TIST participation, while for education the opposite is true. It is important to mention that these correlations, although somewhat consistent, were all found to be weak. The results indicate that participation in the TIST program is not influenced by farm size; therefore we argue that the TIST scheme is NOT an ‘exclusive club’ comprising wealthy and successful farmers. Older farmers’ being more likely to join the TIST is an argument for their long- rather than widely assumed short-term planning horizon and a new contribution to the literature. Given the importance of poverty alleviation and climate smart agriculture in developing countries, sustainable policy should strengthening the social and human capital as well as informal networks in rural areas. Extension services should effectively communicate benefits to less educated and credit constrained farmers.

Characterizing and Extending Answer Set Semantics using Possibility Theory

Answer Set Programming (ASP) is a popular framework for modelling combinatorial problems. However, ASP cannot be used easily for reasoning about uncertain information. Possibilistic ASP (PASP) is an extension of ASP that combines possibilistic logic and ASP. In PASP a weight is associated with each rule, whereas this weight is interpreted as the certainty with which the conclusion can be established when the body is known to hold. As such, it allows us to model and reason about uncertain information in an intuitive way. In this paper we present new semantics for PASP in which rules are interpreted as constraints on possibility distributions. Special models of these constraints are then identified as possibilistic answer sets. In addition, since ASP is a special case of PASP in which all the rules are entirely certain, we obtain a new characterization of ASP in terms of constraints on possibility distributions. This allows us to uncover a new form of disjunction, called weak disjunction, that has not been previously considered in the literature. In addition to introducing and motivating the semantics of weak disjunction, we also pinpoint its computational complexity. In particular, while the complexity of most reasoning tasks coincides with standard disjunctive ASP, we find that brave reasoning for programs with weak disjunctions is easier.

Development of a Vehicle-Bridge-Soil Dynamic Interaction Model for Scour Damage Modelling

Damage detection in bridges using vibration-based methods is an area of growing research interest. Improved assessment
methodologies combined with state-of-the-art sensor technology are rapidly making these approaches applicable for real-world
structures. Applying these techniques to the detection and monitoring of scour around bridge foundations has remained
challenging; however this area has gained attraction in recent years. Several authors have investigated a range of methods but
there is still significant work required to achieve a rounded and widely applicable methodology to detect and monitor scour.This
paper presents a novel Vehicle-Bridge-Soil Dynamic Interaction (VBSDI) model which can be used to simulate the effect of scour
on an integral bridge. The model outputs dynamic signals which can be analysed to determine modal parameters and the variation
of these parameters with respect to scour can be examined.The key novelty of this model is that it is the first numerical model for
simulating scour that combines a realistic vehicle loadingmodel with a robust foundation soil responsemodel.This paper provides a
description of the model development and explains the mathematical theory underlying themodel. Finally a case study application
of the model using typical bridge, soil, and vehicle properties is provided.

Appropriate complexity for the prediction of coastal and estuarine geomorphic behaviour at decadal to centennial scales

Coastal and estuarine landforms provide a physical template that not only accommodates diverse ecosystem functions and human activities, but also mediates flood and erosion risks that are expected to increase with climate change. In this paper, we explore some of the issues associated with the conceptualisation and modelling of coastal morphological change at time and space scales relevant to managers and policy makers. Firstly, we revisit the question of how to define the most appropriate scales at which to seek quantitative predictions of landform change within an age defined by human interference with natural sediment systems and by the prospect of significant changes in climate and ocean forcing. Secondly, we consider the theoretical bases and conceptual frameworks for determining which processes are most important at a given scale of interest and the related problem of how to translate this understanding into models that are computationally feasible, retain a sound physical basis and demonstrate useful predictive skill. In particular, we explore the limitations of a primary scale approach and the extent to which these can be resolved with reference to the concept of the coastal tract and application of systems theory. Thirdly, we consider the importance of different styles of landform change and the need to resolve not only incremental evolution of morphology but also changes in the qualitative dynamics of a system and/or its gross morphological configuration. The extreme complexity and spatially distributed nature of landform systems means that quantitative prediction of future changes must necessarily be approached through mechanistic modelling of some form or another. Geomorphology has increasingly embraced so-called ‘reduced complexity’ models as a means of moving from an essentially reductionist focus on the mechanics of sediment transport towards a more synthesist view of landform evolution. However, there is little consensus on exactly what constitutes a reduced complexity model and the term itself is both misleading and, arguably, unhelpful. Accordingly, we synthesise a set of requirements for what might be termed ‘appropriate complexity modelling’ of quantitative coastal morphological change at scales commensurate with contemporary management and policy-making requirements: 1) The system being studied must be bounded with reference to the time and space scales at which behaviours of interest emerge and/or scientific or management problems arise; 2) model complexity and comprehensiveness must be appropriate to the problem at hand; 3) modellers should seek a priori insights into what kind of behaviours are likely to be evident at the scale of interest and the extent to which the behavioural validity of a model may be constrained by its underlying assumptions and its comprehensiveness; 4) informed by qualitative insights into likely dynamic behaviour, models should then be formulated with a view to resolving critical state changes; and 5) meso-scale modelling of coastal morphological change should reflect critically on the role of modelling and its relation to the observable world.

Detecting obfuscated malware using reduced opcode set and optimised runtime trace

The research presented, investigates the optimal set of operational codes (opcodes) that create a robust indicator of malicious software (malware) and also determines a program’s execution duration for accurate classification of benign and malicious software. The features extracted from the dataset are opcode density histograms, extracted during the program execution. The classifier used is a support vector machine and is configured to select those features to produce the optimal classification of malware over different program run lengths. The findings demonstrate that malware can be detected using dynamic analysis with relatively few opcodes.