6,593 research outputs found
Simulating Foodborne Pathogens in Poultry Production and Processing to Defend Against Intentional Contamination
There is a lack of data in recent history of food terrorism attacks, and as such, it is difficult to predict its impact. The food supply industry is one of the most vulnerable industries for terrorist threats while the poultry industry is one of the largest food industries in the United States. A small food terrorism attack against a single poultry processing center has the potential to affect a much larger human population than its immediate consumers. In this work, the spread of foodborne pathogens is simulated in a poultry production and processing system to defend against intentional contamination. An agent-based simulated environment that represents the farm, processing plant, homes, and restaurants is developed, which contains both poultry and human agents that move through the system and possibly infect each other. The simulation is run by varying several parameters that include probability of infection if exposed for both poultry and humans. The simulation predicts the number of infected poultry and humans over time
Use of a hydrological model for environmental management of the Usangu Wetlands, Tanzania
Wetlands / Rivers / Ecology / Environmental effects / Remote sensing / Hydrology / Simulation models / Water budget / Irrigated sites / Land cover / Time series analysis / Tanzania / Usangu Wetlands / Great Ruaha River
Loops under Strategies ... Continued
While there are many approaches for automatically proving termination of term
rewrite systems, up to now there exist only few techniques to disprove their
termination automatically. Almost all of these techniques try to find loops,
where the existence of a loop implies non-termination of the rewrite system.
However, most programming languages use specific evaluation strategies, whereas
loop detection techniques usually do not take strategies into account. So even
if a rewrite system has a loop, it may still be terminating under certain
strategies.
Therefore, our goal is to develop decision procedures which can determine
whether a given loop is also a loop under the respective evaluation strategy.
In earlier work, such procedures were presented for the strategies of
innermost, outermost, and context-sensitive evaluation. In the current paper,
we build upon this work and develop such decision procedures for important
strategies like leftmost-innermost, leftmost-outermost,
(max-)parallel-innermost, (max-)parallel-outermost, and forbidden patterns
(which generalize innermost, outermost, and context-sensitive strategies). In
this way, we obtain the first approach to disprove termination under these
strategies automatically.Comment: In Proceedings IWS 2010, arXiv:1012.533
Identification of plastic constitutive parameters at large deformations from three dimensional displacement fields
The aim of this paper is to provide a general procedure to extract the constitutive parameters of a plasticity model starting from displacement measurements and using the Virtual Fields Method. This is a classical inverse problem which has been already investigated in the literature, however several new features are developed here. First of all the procedure applies to a general three-dimensional displacement field which leads to large plastic deformations, no assumptions are made such as plane stress or plane strain although only pressure-independent plasticity is considered. Moreover the equilibrium equation is written in terms of the deviatoric stress tensor that can be directly computed from the strain field without iterations. Thanks to this, the identification routine is much faster compared to other inverse methods such as finite element updating. The proposed method can be a valid tool to study complex phenomena which involve severe plastic deformation and where the state of stress is completely triaxial, e.g. strain localization or necking occurrence. The procedure has been validated using a three dimensional displacement field obtained from a simulated experiment. The main potentialities as well as a first sensitivity study on the influence of measurement errors are illustrated
Wind-US Code Physical Modeling Improvements to Complement Hypersonic Testing and Evaluation
This report gives an overview of physical modeling enhancements to the Wind-US flow solver which were made to improve the capabilities for simulation of hypersonic flows and the reliability of computations to complement hypersonic testing. The improvements include advanced turbulence models, a bypass transition model, a conjugate (or closely coupled to vehicle structure) conduction-convection heat transfer capability, and an upgraded high-speed combustion solver. A Mach 5 shock-wave boundary layer interaction problem is used to investigate the benefits of k- s and k-w based explicit algebraic stress turbulence models relative to linear two-equation models. The bypass transition model is validated using data from experiments for incompressible boundary layers and a Mach 7.9 cone flow. The conjugate heat transfer method is validated for a test case involving reacting H2-O2 rocket exhaust over cooled calorimeter panels. A dual-mode scramjet configuration is investigated using both a simplified 1-step kinetics mechanism and an 8-step mechanism. Additionally, variations in the turbulent Prandtl and Schmidt numbers are considered for this scramjet configuration
Pinning/depinning of crack fronts in heterogeneous materials
The fatigue fracture surfaces of a metallic alloy, and the stress corrosion
fracture surfaces of glass are investigated as a function of crack velocity. It
is shown that in both cases, there are two fracture regimes, which have a well
defined self-affine signature. At high enough length scales, the universal
roughness index 0.78 is recovered. At smaller length scales, the roughness
exponent is close to 0.50. The crossover length separating these two
regimes strongly depends on the material, and exhibits a power-law decrease
with the measured crack velocity , with . The exponents and characterising the dependence of
and upon the pulling force are shown to be close to and
.Comment: 4 pages, latex, and 4 encapsulated postscript figure
Climate and southern Africa's water-energy-food nexus
In southern Africa, the connections between climate and the water-energy-food nexus are strong. Physical and socioeconomic exposure to climate is high in many areas and in crucial economic sectors. Spatial interdependence is also high, driven for example, by the regional extent of many climate anomalies and river basins and aquifers that span national boundaries. There is now strong evidence of the effects of individual climate anomalies, but associations between national rainfall and Gross Domestic Product and crop production remain relatively weak. The majority of climate models project decreases in annual precipitation for southern Africa, typically by as much as 20% by the 2080s. Impact models suggest these changes would propagate into reduced water availability and crop yields. Recognition of spatial and sectoral interdependencies should inform policies, institutions and investments for enhancing water, energy and food security. Three key political and economic instruments could be strengthened for this purpose; the Southern African Development Community, the Southern African Power Pool, and trade of agricultural products amounting to significant transfers of embedded water
- …