The transaction pattern through automating TrAM

Transaction Agent Modelling (TrAM) has demonstrated how the early requirements of complex enterprise systems can be captured and described in a lucid yet rigorous way. Using Geerts and McCarthy’s REA (Resource-Events-Agents) model as its basis, the TrAM process manages to capture the ‘qualitative’ dimensions of business transactions and business processes. A key part of the process is automated model-checking, which CG has revealed to be beneficial in this regard. It enables models to retain the high-level business concepts yet providing a formal structure at that high-level that is lacking in Use Cases. Using a conceptual catalogue informed by transactions, we illustrate the automation of a transaction pattern from which further specialisations impart a tested specification for system implementation, which we envisage as a multi-agent system in order to reflect the dynamic world of business activity. It would furthermore be able to interoperate across business domains as they would share the generalised TM as a pattern.</p

A low-numerical dissipation, patch-based adaptive-mesh-refinement method for large-eddy simulation of compressible flows

This paper describes a hybrid finite-difference method for the large-eddy simulation of compressible flows with low-numerical dissipation and structured adaptive mesh refinement (SAMR). A conservative flux-based approach is described with an explicit centered scheme used in turbulent flow regions while a weighted essentially non-oscillatory (WENO) scheme is employed to capture shocks. Three-dimensional numerical simulations of a Richtmyer-Meshkov instability are presented

A Better Definition of the Kilogram

This article reviews several recent proposed redefinitions of the kilogram, and compares them with respect to practical realizations, uncertainties (estimated standard deviations), and educational aspects.Comment: 10 pages, no figure

Low-thrust chemical propulsion system propellant expulsion and thermal conditioning study

Thermal conditioning systems for satisfying engine net positive suction pressure (NPSP) requirements, and propellant expulsion systems for achieving propellant dump during a return-to-launch site (RTLS) abort were studied for LH2/LO2 and LCH4/LO2 upper stage propellant combinations. A state-of-the-art thermal conditioning system employing helium injection beneath the liquid surface shows the lowest weight penalty for LO2 and LCH4. A technology system incorporating a thermal subcooler (heat exchanger) for engine NPSP results in the lowest weight penalty for the LH2 tank. A preliminary design of two state-of-the-art and two new technology systems indicates a weight penalty difference too small to warrant development of a LH2 thermal subcooler. Analysis results showed that the LH2/LO2 propellant expulsion system is optimized for maximum dump line diameters, whereas the LCH4/LO2 system is optimized for minimum dump line diameter (LCH4) and maximum dump line diameter (LO2). The primary uncertainty is the accurate determination of two-phase flow rates through the dump system; experimentation is not recommended because this uncertainty is not considered significant

Low-thrust chemical propulsion system propellant expulsion and thermal conditioning study. Executive summary

Preferred techniques for providing abort pressurization and engine feed system net positive suction pressure (NPSP) for low thrust chemical propulsion systems (LTPS) were determined. A representative LTPS vehicle configuration is presented. Analysis tasks include: propellant heating analysis; pressurant requirements for abort propellant dump; and comparative analysis of pressurization techniques and thermal subcoolers

Length Scales of Acceleration for Locally Isotropic Turbulence

Length scales are determined that govern the behavior at small separations of the correlations of fluid-particle acceleration, viscous force, and pressure gradient. The length scales and an associated universal constant are quantified on the basis of published data. The length scale governing pressure spectra at high wave numbers is discussed. Fluid-particle acceleration correlation is governed by two length scales; one arises from the pressure gradient, the other from the viscous force.Comment: 2 figures, 4 pages. Physical Review Letters, accepted August 200

Dispersion of biased swimming microorganisms in a fluid flowing through a tube

Classical Taylor-Aris dispersion theory is extended to describe the transport of suspensions of self-propelled dipolar cells in a tubular flow. General expressions for the mean drift and effective diffusivity are determined exactly in terms of axial moments, and compared with an approximation a la Taylor. As in the Taylor-Aris case, the skewness of a finite distribution of biased swimming cells vanishes at long times. The general expressions can be applied to particular models of swimming microorganisms, and thus be used to predict swimming drift and diffusion in tubular bioreactors, and to elucidate competing unbounded swimming drift and diffusion descriptions. Here, specific examples are presented for gyrotactic swimming algae.Comment: 20 pages, 4 figures. Published version available at http://rspa.royalsocietypublishing.org/content/early/2010/02/09/rspa.2009.0606.short?rss=

Insecticide ear tags numerically improve grazing cattle performance

Stocker cattle grazing pastures during the summer months face challenges due to horn flies, which can result in reduced weight gains and less efficient use of forages. One strategy for controlling horn flies is insecticide-impregnated ear tags. The use of pesticide ear tags may be an effective management practice to improve overall productivity during a grazing season. The objective of this study was to evaluate the efficacy of insecticide ear tags as a means of improving growth of stocker calves grazing native pastures in the Flint Hills region of Kansas

Emission Line Galaxies in the STIS Parallel Survey II: Star Formation Density

We present the luminosity function of [OII]-emitting galaxies at a median redshift of z=0.9, as measured in the deep spectroscopic data in the STIS Parallel Survey (SPS). The luminosity function shows strong evolution from the local value, as expected. By using random lines of sight, the SPS measurement complements previous deep single field studies. We calculate the density of inferred star formation at this redshift by converting from [OII] to H-alpha line flux as a function of absolute magnitude and find rho_dot=0.043 +/- 0.014 Msun/yr/Mpc^3 at a median redshift z~0.9 within the range 0.46<z<1.415 (H_0 = 70 km/s/Mpc, Omega_M=0.3, Omega_Lambda=0.7. This density is consistent with a (1+z)^4 evolution in global star formation since z~1. To reconcile the density with similar measurements made by surveys targeting H-alpha may require substantial extinction correction.Comment: 16 preprint pages including 5 figures; accepted for publication in Ap