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

Atwood ratio dependence of Richtmyer-Meshkov flows under reshock conditions using large-eddy simulations

We study the shock-driven turbulent mixing that occurs when a perturbed planar density interface is impacted by a planar shock wave of moderate strength and subsequently reshocked. The present work is a systematic study of the influence of the relative molecular weights of the gases in the form of the initial Atwood ratio A. We investigate the cases A = ± 0.21, ±0.67 and ±0.87 that correspond to the realistic gas combinations air–CO_2, air–SF_6 and H_2–air. A canonical, three-dimensional numerical experiment, using the large-eddy simulation technique with an explicit subgrid model, reproduces the interaction within a shock tube with an endwall where the incident shock Mach number is ~1.5 and the initial interface perturbation has a fixed dominant wavelength and a fixed amplitude-to-wavelength ratio ~0.1. For positive Atwood configurations, the reshock is followed by secondary waves in the form of alternate expansion and compression waves travelling between the endwall and the mixing zone. These reverberations are shown to intensify turbulent kinetic energy and dissipation across the mixing zone. In contrast, negative Atwood number configurations produce multiple secondary reshocks following the primary reshock, and their effect on the mixing region is less pronounced. As the magnitude of A is increased, the mixing zone tends to evolve less symmetrically. The mixing zone growth rate following the primary reshock approaches a linear evolution prior to the secondary wave interactions. When considering the full range of examined Atwood numbers, measurements of this growth rate do not agree well with predictions of existing analytic reshock models such as the model by Mikaelian (Physica D, vol. 36, 1989, p. 343). Accordingly, we propose an empirical formula and also a semi-analytical, impulsive model based on a diffuse-interface approach to describe the A-dependence of the post-reshock growth rate

Large-eddy simulation and multiscale modelling of a Richtmyer–Meshkov instability with reshock

Large-eddy simulations of the Richtmyer–Meshkov instability with reshock are pre- sented and the results are compared with experiments. Several configurations of shocks initially travelling from light (air) to heavy (sulfur hexafluoride, SF6) have been simulated to match previous experiments and good agreement is found in the growth rates of the turbulent mixing zone (TMZ). The stretched-vortex subgrid model used in this study allows for subgrid continuation modelling, where statistics of the unresolved scales of the flow are estimated. In particular, this multiscale modelling allows the anisotropy of the flow to be extended to the dissipation scale, eta, and estimates to be formed for the subgrid probability density function of the mixture fraction of air/SF6 based on the subgrid variance, including the effect of Schmidt number

Mission safety evaluation report for STS-37, postflight edition

STS-37/Atlantis was launched on April 5, 1991 from Kennedy Space Center launch complex 39B at 9:23 a.m. Eastern Standard Time (EST). Launch was delayed 4 minutes 45 seconds because of safety concerns about the low cloud ceiling and the wind direction in the potential blast area. Based on the limited number and type of inflight anomalies encountered, the Space Shuttle operated satisfactorily throughout the STS-37 mission. A contingency EVA was performed by the crew on Flight Day (FD) 3 to free a sticky Gamma Ray Observatory (GRO) high gain antenna, after which the GRO primary payload was successfully deployed by the Orbiter's Remote Manipulator System. The GRO, which weighed just over 35,000 lbs, was the heaviest NASA science satellite ever deployed by the Space Shuttle into low Earth orbit. The scheduled entry/landing on FD 6 was waved off for one day due to high wind conditions at Edwards Air Force Base. Atlantis landed on FD 7, 11 April 1991 on Edwards AFB lakebed runway 33 at 9:55 a.m. Eastern Daylight Time

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

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

Monte Carlo tomographic reconstruction in SPECT impact of bootstrapping and number of generated events

In Single Photon Emission Computed Tomography (SPECT), 3D images usually reconstructed by performing a set of bidimensional (2D) analytical or iterative reconstructions can also be reconstructed using an iterative reconstruction algorithm involving a 3D projector. Accurate Monte Carlo (MC) simulations modeling all the physical effects that affect the imaging process can be used to estimate this projector. However, the accuracy of the projector is affected by the stochastic nature of MC simulations. In this paper, we study the accuracy of the reconstructed images with respect to the number of simulated histories used to estimate the MC projector. Furthermore, we study the impact of applying the bootstrapping technique when estimating the projectorComment: 15 pages, 9 figures, 2 table