SubCM: A tool for improved visibility of software change in an industrial setting

Software Configuration Management is the discipline of managing large collections of software development artefacts from which software products are built. Software configuration management tools typically deal with artefacts at fine levels of granularity - such as individual source code files - and assist with coordination of changes to such artefacts. This paper describes a lightweight tool, designed to be used on top of a traditional file-based configuration management system. The add-on tool support enables users to flexibly define new hierarchical views of product structure, independent of the underlying artefact-repository structure. The tool extracts configuration and change data with respect to the user-defined hierarchy, leading to improved visibility of how individual subsystems have changed. The approach yields a range of new capabilities for build managers, and verification and validation teams. The paper includes a description of our experience using the tool in an organization that builds large embedded software systems.

Procedure compilation in the refinement calculus

High-level language program compilation strategies can be proven correct by modelling the process as a series of refinement steps from source code to a machine-level description. We show how this can be done for programs containing recursively-defined procedures in the well-established predicate transformer semantics for refinement. To do so the formalism is extended with an abstraction of the way stack frames are created at run time for procedure parameters and variables.

Making Fedora easier to implement with Fez: A free open source content model and workflow management front-end to Fedora

The University of Queensland, Australia has developed Fez, a world-leading user-interface and management system for Fedora-based institutional repositories, which bridges the gap between a repository and users. Christiaan Kortekaas, Andrew Bennett and Keith Webster will review this open source software that gives institutions the power to create a comprehensive repository solution without the hassle..

Theory manual to OctVCE – a cartesian cell CFD code with special application to blast wave problems, Department of Mechanical Engineering Report 2007/12

OctVCE is a cartesian cell CFD code produced especially for numerical simulations of shock and blast wave interactions with complex geometries, in particular, from explosions. Virtual Cell Embedding (VCE) was chosen as its cartesian cell kernel for its simplicity and sufficiency for practical engineering design problems. The code uses a finite-volume formulation of the unsteady Euler equations with a second order explicit Runge-Kutta Godonov (MUSCL) scheme. Gradients are calculated using a least-squares method with a minmod limiter. Flux solvers used are AUSM, AUSMDV and EFM. No fluid-structure coupling or chemical reactions are allowed, but gas models can be perfect gas and JWL or JWLB for the explosive products. This report also describes the code’s ‘octree’ mesh adaptive capability and point-inclusion query procedures for the VCE geometry engine. Finally, some space will also be devoted to describing code parallelization using the shared-memory OpenMP paradigm. The user manual to the code is to be found in the companion report 2007/13.

User guide for shock and blast simulation with the OctVCE code (version 3.5+), Department of Mechanical Engineering Report 2007/13

OctVCE is a cartesian cell CFD code produced especially for numerical simulations of shock and blast wave interactions with complex geometries. Virtual Cell Embedding (VCE) was chosen as its cartesian cell kernel as it is simple to code and sufficient for practical engineering design problems. This also makes the code much more ‘user-friendly’ than structured grid approaches as the gridding process is done automatically. The CFD methodology relies on a finite-volume formulation of the unsteady Euler equations and is solved using a standard explicit Godonov (MUSCL) scheme. Both octree-based adaptive mesh refinement and shared-memory parallel processing capability have also been incorporated. For further details on the theory behind the code, see the companion report 2007/12.

A state-contingent production approach to principal-agent problems with an application to point-source pollution control

Two basic representations of principal-agent relationships, the 'state-space' and 'parameterized distribution' formulations, have emerged. Although the state-space formulation appears more natural, analytical studies using this formulation have had limited success. This paper develops a state-space formulation of the moral-hazard problem using a general representation of production under uncertainty. A closed-form solution for the agency-cost problem is derived. Comparative-static results are deduced. Next we solve the principal's problem of selecting the optimal output given the agency-cost function. The analysis is applied to the problem of point-source pollution control. (C) 1998 Published by Elsevier Science S.A. All rights reserved.

High-frequency acousto-electric single-photon source

We propose a single optical photon source for quantum cryptography based on the acoustoelectric effect. Surface acoustic waves (SAWs) propagating through a quasi-one-dimensional channel have been shown to produce packets of electrons that reside in the SAW minima and travel at the velocity of sound. In our scheme, the electron packets are injected into a p-type region, resulting in photon emission. Since the number of electrons in each packet can be controlled down to a single electron, a stream of single- (or N-) photon states, with a creation time strongly correlated with the driving acoustic field, should be generated.

Historical PCDD Inputs and Their Source Implications from Dated Sediment Cores in Queensland (Australia)

Recent investigations have demonstrated the presence of an unidentified source of polychlorinated dibenzo-p-dioxins (PCDDs) in the coastal zone of Queensland (Australia). The present study provides new information on the possible PCDD sources and their temporal input to this environment. Two estuarine sediment cores were collected in northern Queensland for which radiochemical chronologies were established. Core sections from different depositional ages, up to three centuries, have been analyzed for 2,3,7,8-substituted PCDDs and polychlorinated dibenzofurans (PCDFs). Variations of PCDD concentrations in the sediment cores over several centuries of depositional history were relatively small, and elevated PCDD levels were still present in sediment slices from the early 17th century. PCDD/F isomer patterns and congener profiles in sediments deposited during the last 350 years were almost identical and correlated well to the characteristic profiles observed in surface sediments and soils from the entire Queensland coastline. Profiles were dominated by higher chlorinated PCDDs, in particular octachlorodibenzodioxin (OCDD), whereas PCDF concentrations were below or near the limit of detection. These results indicate the presence of a PCDD source prior to industrialization and production of commercial organochlorine products. Further, the present study demonstrates that PCDD input patterns have been similar along an extensive but localized area over at least several centuries, contributing relatively high concentrations of PCDDs to the coastal system of Queensland.

Evidence for the presence of a widespread PCDD source in coastal sediments and soils from Queensland, Australia

Recent studies have demonstrated the occurrence of elevated levels of higher chlorinated PCDDs in the coastal environment of Queensland, Australia. This study presents new data for OCDD contamination and full PCDD/F profile analysis in the environment of Queensland. Marine sediments, irrigation drain sediments and topsoil were collected from sites that were expected to be influenced by specific land-use types. High OCDD concentrations were associated mainly with sediments collected near the mouth of rivers which drain into large catchments in the tropical and subtropical regions. Further, analysis of sediments from irrigation drains could be clearly differentiated on the basis of OCDD contamination, with high concentrations in samples from sugarcane drains collected from coastal regions, and low concentrations in drain sediments from drier inland cotton growing areas. PCDD/F congener-specific analysis demonstrated almost identical congener profiles in all samples collected along the coastline. This indicates the source to be widespread. Profiles were dominated by higher chlorinated PCDDs, in particular OCDD whereas 2,3,7,8-substituted PCDFs were below the limit of quantification in the majority of samples. The full PCDD/F profile analysis of samples strongly resemble those reported for lake sediments from Mississippi and kaolinite samples from Germany, Strong similarities to these samples with respect to congener profiles and isomer patterns may indicate the presence of a similar source and/or formation process that is yet unidentified. (C) 2001 Elsevier Science Ltd. All rights reserved.

Code-switching in Bangladesh

A survey of hybridization in proper names and commercial signs. CODE-SWITCHING is commonly seen as more typical of the spoken language. But there are some areas of language use, including business names (e.g. restaurants), where foreign proper names, common nouns and sometimes whole phrases are imported into the written language too. These constitute a more stable variety of code-switching than the spontaneous and more unpredictable code-switching in the spoken language.