A conceptual framework for evaluating traffic safety system measures.

National Highway Safety Bureau, Washington, D.C.

Development of additional Federal Outdoor Impact Laboratory (FOIL) facilities.

"June 1990."

Conceptual design of a lunar colony.

"NASA grant NGT 44-005-114."

Endothelial cell serine proteases expressed during vascular morphogenesis and angiogenesis

Many serine proteases play important regulatory roles in complex biological systems, but only a few have been linked directly with capillary morphogenesis and angiogenesis. Here we provide evidence that serine protease activities, independent of the plasminogen activation cascade, are required for microvascular endothelial cell reorganization and capillary morphogenesis in vitro. A homology cloning approach targeting conserved motifs present in all serine proteases, was used to identify candidate serine proteases involved in these processes, and revealed 5 genes (acrosin, testisin, neurosin, PSP and neurotrypsin), none of which had been associated previously with expression in endothelial cells. A subsequent gene-specific RT-PCR screen for 22 serine proteases confirmed expression of these 5 genes and identified 7 additional serine protease genes expressed by human endothelial cells, urokinase-type plasminogen activator, protein C,TMPRSS2, hepsin, matriptase/ MT-SPI, dipepticlylpepticlase IV, and seprase. Differences in serine protease gene expression between microvascular and human umbilical vein endothelial cells (HUVECs) were identified and several serine protease genes were found to be regulated by the nature of the substratum, ie. artificial basement membrane or fibrillar type I collagen. mRNA transcripts of several serine protease genes were associated with blood vessels in vivo by in situ hybridization of human tissue specimens. These data suggest a potential role for serine proteases, not previously associated with endothelium, in vascular function and angiogenesis.

Design and implementation of a windows-based parallel computing environment for large scale optimization

A parallel computing environment to support optimization of large-scale engineering systems is designed and implemented on Windows-based personal computer networks, using the master-worker model and the Parallel Virtual Machine (PVM). It is involved in decomposition of a large engineering system into a number of smaller subsystems optimized in parallel on worker nodes and coordination of subsystem optimization results on the master node. The environment consists of six functional modules, i.e. the master control, the optimization model generator, the optimizer, the data manager, the monitor, and the post processor. Object-oriented design of these modules is presented. The environment supports steps from the generation of optimization models to the solution and the visualization on networks of computers. User-friendly graphical interfaces make it easy to define the problem, and monitor and steer the optimization process. It has been verified by an example of a large space truss optimization. (C) 2004 Elsevier Ltd. All rights reserved.

Phase equilibria in the Fe-Zn-O system at conditions relevant to zinc sintering and smelting

Zincite and spinel phases are present in the complex slag systems encountered in zinc/lead sintering and zinc smelting processes. These phases form extensive solid solutions and are stable over a wide range of compositions, temperatures and oxygen partial pressures. Accurate information on the stability of these phases is required in order to develop thermodynamic models of these slag systems. Phase equilibria in the Fe–Zn–O system have been experimentally studied for a range of conditions, between 900°C and 1580°C and oxygen partial pressures (pO2) between air and metallic iron saturation, using equilibration and quenching techniques. The compositions of the phases were measured using Electron probe X-ray microanalysis (EPMA). The ferrous and ferric bulk iron concentrations were determined using a specially developed wet-chemical analysis procedure based on the use of ammonium metavanadate. XRD was used to confirm phase identification. A procedure was developed to overcome the problems associated with evaporation of zinc at low pO2 values and to ensure the achievement of equilibria. An isothermal section of the system FeO–Fe2O3–ZnO at high ZnO concentrations at 1200°C was constructed. The maximum solubilities of iron and zinc in zincite and spinel phases in equilibrium were determined at pO2 = 1 × 10-6 atm at 1200°C and 1300°C. The morphology of the zincite crystals sharply changes in air between 1200–1300°C from rounded to plate-like. This is shown to be associated with significant increase in total iron concentration, the additional iron being principally in the form of ferric iron. Calculations performed by FactSage with a thermodynamically optimised database have been compared with the experimental results.

Entanglement measure for rank-2 mixed states

We provide an easily computable formula for a bipartite mixed-state entanglement measure. Our formula can be applied to readily calculate the entanglement for any rank-2 mixed state of a bipartite system. We use this formula to provide a tight upper bound for the entanglement of formation for rank-2 states of a qubit and a qudit. We also outline situations where our formula could be applied to study the entanglement properties of complex quantum systems.

A reassessment of genetic limits to evolutionary change

An absence of genetic variance in traits under selection is perhaps the oldest explanation for a limit to evolutionary change, but has also been the most easily dismissed. We review a range of theoretical and empirical results covering single traits to more complex multivariate systems, and show that an absence of genetic variance may be more common than is currently appreciated. From a single-trait perspective, we highlight that it is becoming clear that some trait types do not display significant levels of genetic variation, and we raise the possibility that species with restricted ranges may differ qualitatively from more widespread species in levels of genetic variance in ecologically important traits. A common misconception in many life-history studies is that a lack of genetic variance in single traits, and genetic constraints as a consequence of bivariate genetic correlations, are different causes of selection limits. We detail how interpretations of bivariate patterns are unlikely to demonstrate genetic limits to selection in many cases. We advocate a multivariate definition of genetic constraints that emphasizes the presence (or otherwise) of genetic variance in the multivariate direction of selection. For multitrait systems, recent results using longer term studies of organisms, in which more is understood concerning what traits may be under selection, have indicated that selection may exhaust genetic variance, resulting in a limit to the selection response.

Flexible synthesis of enantiomerically pure 2,8-dialkyl-1,7-dioxaspiro[5.5]undecanes and 2,7-dialkyl-1,6-dioxaspiro[4.5]decanes from propargylic and homopropargylic alcohols

A new approach to enantiomerically pure 2,8-dialkyl-1,7-dioxaspiro[5.5]undecanes and 2,7-dialkyl-1,6-dioxaspiro [4.5] decanes is described and utilizes enantiomerically pure homopropargylic alcohols obtained from lithium acetylide opening of enantiomerically pure epoxides, which are, in turn, acquired by hydrolytic kinetic resolution of the corresponding racemic epoxides. Alkyne carboxylation and conversion to the Weinreb amide may be followed by triple-bond manipulation prior to reaction with a second alkynyllithium derived from a homo- or propargylic alcohol. In this way, the two ring components of the spiroacetal are individually constructed, with deprotection and cyclization affording the spiroacetal. The procedure is illustrated by acquisition of (2S,5R,7S) and (2R,5R,7S)-2-n-butyl-7-methyl-1,6-dioxaspiro[4.5]-decanes (1), (2S,6R,8S)-2-methyl-8-n-pentyl-1,7-dioxaspiro[5.5]undecane (2), and (2S,6R,8S)-2-methyl-8-n-propyl-1,7-dioxaspiro[5.5]undecane (3). The widely distributed insect component, (2S,6R,8S)-2,8-dimethyl-1,7-dioxaspiro[5.5]undecane (4), was acquired by linking two identical alkyne precursors via ethyl formate. In addition, [H-2(4)]-regioisomers, 10,10,11,11-[H-2(4)] and 4,4,5,5-[H-2(4)] of 3 and 4,4,5,5-[H-2(4)]-4, were acquired by triple-bond deuteration, using deuterium gas and Wilkinson's catalyst. This alkyne-based approach is, in principle, applicable to more complex spiroacetal systems not only by use of more elaborate alkynes but also by triple-bond functionalization during the general sequence.

The co-evolutionary dynamics of IS engagement

In this paper we consider the co-evolutionary dynamics of IS engagement where episodic change of implementation increasingly occurs within the context of linkages and interdependencies between systems and processes within and across organisations. Although there are many theories that interpret the various motors of change be it lifecycle, teleological, dialectic or evolutionary, our paper attempts to move towards a unifying view of change by studying co-evolutionary dynamics from a complex systems perspective. To understand how systems and organisations co-evolve in practice and how order emerges, or fails to emerge, we adopt complex adaptive systems theory to incorporate evolutionary and teleological motors, and actor-network theory to incorporate dialectic motors. We illustrate this through the analysis of the implementation of a novel academic scheduling system at a large research-intensive Australian university.

The development of a new compiler-compiler front-end

The increasing cost of developing complex software systems has created a need for tools which aid software construction. One area in which significant progress has been made is with the so-called Compiler Writing Tools (CWTs); these aim at automated generation of various components of a compiler and hence at expediting the construction of complete programming language translators. A number of CWTs are already in quite general use, but investigation reveals significant drawbacks with current CWTs, such as lex and yacc. The effective use of a CWT typically requires a detailed technical understanding of its operation and involves tedious and error-prone input preparation. Moreover, CWTs such as lex and yacc address only a limited aspect of the compilation process; for example, actions necessary to perform lexical symbol valuation and abstract syntax tree construction must be explicitly coded by the user. This thesis presents a new CWT called CORGI (COmpiler-compiler from Reference Grammar Input) which deals with the entire `front-end' component of a compiler; this includes the provision of necessary data structures and routines to manipulate them, both generated from a single input specification. Compared with earlier CWTs, CORGI has a higher-level and hence more convenient user interface, operating on a specification derived directly from a `reference manual' grammar for the source language. Rather than developing a compiler-compiler from first principles, CORGI has been implemented by building a further shell around two existing compiler construction tools, namely lex and yacc. CORGI has been demonstrated to perform efficiently in realistic tests, both in terms of speed and the effectiveness of its user interface and error-recovery mechanisms.

The realisation of JSD specifications in object oriented languages

Jackson System Development (JSD) is an operational software development method which addresses most of the software lifecycle either directly or by providing a framework into which more specialised techniques can fit. The method has two major phases: first an abstract specification is derived that is in principle executable; second the specification is implemented using a variety of transformations. The object oriented paradigm is based on data abstraction and encapsulation coupled to an inheritance architecture that is able to support software reuse. Its claims of improved programmer productivity and easier program maintenance make it an important technology to be considered for building complex software systems. The mapping of JSD specifications into procedural languages typified by Cobol, Ada, etc., involves techniques such as inversion and state vector separation to produce executable systems of acceptable performance. However, at present, no strategy exists to map JSD specifications into object oriented languages. The aim of this research is to investigate the relationship between JSD and the object oriented paradigm, and to identify and implement transformations capable of mapping JSD specifications into an object oriented language typified by Smalltalk-80. The direction which the transformational strategy follows is one whereby the concurrency of a specification is removed. Two approaches implementing inversion - an architectural transformation resulting in a simulated coroutine mechanism being generated - are described in detail. The first approach directly realises inversions by manipulating Smalltalk-80 system contexts. This is possible in Smalltalk-80 because contexts are first class objects and are accessible to the user like any other system object. However, problems associated with this approach are expounded. The second approach realises coroutine-like behaviour in a structure called a `followmap'. A followmap is the results of a transformation on a JSD process in which a collection of followsets is generated. Each followset represents all possible state transitions a process can undergo from the current state of the process. Followsets, together with exploitation of the class/instance mechanism for implementing state vector separation, form the basis for mapping JSD specifications into Smalltalk-80. A tool, which is also built in Smalltalk-80, supports these derived transformations and enables a user to generate Smalltalk-80 prototypes of JSD specifications.

Molecular regulation of iron uptake in pseudomonas aeruginosa

The microbial demand for iron is often met by the elaboration of siderophores into the surrounding medium and expression of cognate outer membrane receptors for the ferric siderophore complexes. Conditions of iron limitation, such as those encountered in vivo, cause Pseudomonas aeruginosa to express two high-affinity iron-uptake systems based on pyoverdin and pyochelin. These systems will operate both in the organism's natural habitat, soil and water, where the solubility of iron at neutral pH is extremely low, and in the human host where the availability of free iron is too low to sustain bacterial growth due to the iron-binding glycoproteins transferrin and lactoferrin. Cross-feeding and radiolabelled iron uptake experiments demonstrated that pyoverdin biosynthesis and uptake were highly heterogeneous amongst P.aeruginosa strains, that growth either in the presence of pyoverdin or pyochelin resulted in induction of specific IROMPs, and that induction of iron uptake is siderophore-specific. The P.aeruginosa Tn5 mutant PH1 is deficient in ferripyoverdin uptake and resistant to pyocin Sa, suggesting that the site of interaction of pyocin Sa is a ferripyoverdin receptor. Additional Tn5 mutants appeared to exploit different strategies to achieve pyocin Sa-resistance, involving modifications in expression of pyoverdin-mediated iron uptake, indicating that complex regulatory systems exist to enable these organisms to compete effectively for iron. Modulation of expression of IROMPs prompted a study of the mechanism of uptake of a semi-synthetic C(7) α-formamido substituted cephalosporin BRL 41897A. Sensitivity to this agent correlated with expression of the 75 kDa ferri-pyochelin receptor and demonstrated the potential of high-affinity iron uptake systems for targeting of novel antibiotics. Studies with ferri-pyoverdin uptake-deficient mutant PH1 indicated that expression of outer membrane protein G (OprG), which is usually expressed under iron-rich conditions and repressed under iron-deficient conditions, was perturbed. Attempts were made to clone the oprG gene using a degenerate probe based on the N-terminal amino acid sequence. A strongly hybridising HindIll restriction fragment was cloned and sequenced, but failed to reveal an open reading frame correspondmg to OprG. However, there appears to be good evidence that a part of the gene codmg for the hydrophilic membrane-associated ATP-binding component of a hitherto uncharacterised periplasmic- binding-protein-dependent transport system has been isolated. The full organisation and sequence of the operon, and substrate for this putative transport system, are yet: to be elucidated,

Predicting and diagnosing faults in wastewater treatment process by Bayesian Belief Networks

Diagnosing faults in wastewater treatment, like diagnosis of most problems, requires bi-directional plausible reasoning. This means that both predictive (from causes to symptoms) and diagnostic (from symptoms to causes) inferences have to be made, depending on the evidence available, in reasoning for the final diagnosis. The use of computer technology for the purpose of diagnosing faults in the wastewater process has been explored, and a rule-based expert system was initiated. It was found that such an approach has serious limitations in its ability to reason bi-directionally, which makes it unsuitable for diagnosing tasks under the conditions of uncertainty. The probabilistic approach known as Bayesian Belief Networks (BBNS) was then critically reviewed, and was found to be well-suited for diagnosis under uncertainty. The theory and application of BBNs are outlined. A full-scale BBN for the diagnosis of faults in a wastewater treatment plant based on the activated sludge system has been developed in this research. Results from the BBN show good agreement with the predictions of wastewater experts. It can be concluded that the BBNs are far superior to rule-based systems based on certainty factors in their ability to diagnose faults and predict systems in complex operating systems having inherently uncertain behaviour.

The application of contact mechanics to the numerical simulation of particulate material

Particulate solids are complex redundant systems which consist of discrete particles. The interactions between the particles are complex and have been the subject of many theoretical and experimental investigations. Invetigations of particulate material have been restricted by the lack of quantitative information on the mechanisms occurring within an assembly. Laboratory experimentation is limited as information on the internal behaviour can only be inferred from measurements on the assembly boundary, or the use of intrusive measuring devices. In addition comparisons between test data are uncertain due to the difficulty in reproducing exact replicas of physical systems. Nevertheless, theoretical and technological advances require more detailed material information. However, numerical simulation affords access to information on every particle and hence the micro-mechanical behaviour within an assembly, and can replicate desired systems. To use a computer program to numerically simulate material behaviour accurately it is necessary to incorporte realistic interaction laws. This research programme used the finite difference simulation program `BALL', developed by Cundall (1971), which employed linear spring force-displacement laws. It was thus necessary to incorporate more realistic interaction laws. Therefore, this research programme was primarily concerned with the implementation of the normal force-displacement law of Hertz (1882) and the tangential force-displacement laws of Mindlin and Deresiewicz (1953). Within this thesis the contact mechanics theories employed in the program are developed and the adaptations which were necessary to incorporate these laws are detailed. Verification of the new contact force-displacement laws was achieved by simulating a quasi-static oblique contact and single particle oblique impact. Applications of the program to the simulation of large assemblies of particles is given, and the problems in undertaking quasi-static shear tests along with the results from two successful shear tests are described.