DFL: A Data Flow Language

Many novel computer architectures like array and multiprocessors which achieve high performance through the use of concurrency exploit variations of the von Neumann model of computation. The effective utilization of the machines makes special demands on programmers and their programming languages, such as the structuring of data into vectors or the partitioning of programs into concurrent processes. In comparison, the data flow model of computation demands only that the principle of structured programming be followed. A data flow program, often represented as a data flow graph, is a program that expresses a computation by indicating the data dependencies among operators. A data flow computer is a machine designed to take advantage of concurrency in data flow graphs by executing data independent operations in parallel. In this paper, we discuss the design of a high level language (DFL: Data Flow Language) suitable for data flow computers. Some sample procedures in DFL are presented. The implementation aspects have not been discussed in detail since there are no new problems encountered. The language DFL embodies the concepts of functional programming, but in appearance closely resembles Pascal. The language is a better vehicle than the data flow graph for expressing a parallel algorithm. The compiler has been implemented on a DEC 1090 system in Pascal.

Improving Flow-Insensitive Solutions for Non-Separable Dataflow Problems

Flow-insensitive solutions to dataflow problems have been known to be highly scalable; however also hugely imprecise. For non-separable dataflow problems this solution is further degraded due to spurious facts generated as a result of dependence among the dataflow facts. We propose an improvement to the standard flow-insensitive analysis by creating a generalized version of the dominator relation that reduces the number of spurious facts generated. In addition, the solution obtained contains extra information to facilitate the extraction of a better solution at any program point, very close to the flow-sensitive solution. To improve the solution further, we propose the use of an intra-block variable renaming scheme. We illustrate these concepts using two classic non-separable dataflow problems --- points-to analysis and constant propagation.

New reagents 3: aluminium iodide - a highly regioselective ether-cleaving reagent with novel cleavage pattern

AlI3 is an easily accessible and versatile ether-cleaving reagent.

Spatial and diurnal pattern of protein foraging by Bactrocera tryoni (Froggatt) on a host plant

Background: Queensland fruit fly, Bactrocera tryoni, is the major pest fruit fly in Australia. Protein bait sprays, where insecticides are mixed with spot applications of a protein based food lure, are one of the sustainable pre-harvest fruit fly management strategies used in Australia. Although protein bait sprays do manage fruit fly infestation in the field, there is little science underpinning this technique and so improving its efficacy is difficult. Lacking information includes where and when to apply protein bait in order to best target foraging B. tryoni. As part of new work in this area, we investigated the effect of height of protein on tree and host plant fruiting status on the spatial and temporal protein foraging patterns of B. tryoni. MEthod: The work was conducted in the field using nectarine and guava plants and wild B. tryoni at Redland Bay, Queensland, Australia. Spot sprays of protein bait were applied to the foliage of randomly selected fruiting and non-fruiting trees. Each tree received protein bait spot sprays on the lower and higher foliage at 0530hrs. The number, sex and species of flies that fed on each protein spot were recorded hourly from 0600hrs through to 1800hrs.Results: For nectarines, there was a significant difference in the number of B. tryoni feeding on protein bait placed at different locations within the tree (ANOVA, F = 8.898, p = 0.001). More flies fed on protein placed on higher foliage relative to lower, irrespective of the fruiting status of the nectarine trees. A significant difference was also observed in the diurnal protein feeding pattern of B. tryoni (ANOVA, F = 2.164, p = 0.024), with more flies feeding at 1600hrs. Results for guava are still being collected and will be presented at the meeting.Conclusions: We conclude that B. tryoni effectively forages for protein at heights higher than 1.3m from ground, indicating greater efficacy of protein bait when applied at foliage higher in the canopy. Bactrocera tryoni actively forages for protein throughout the day, with a highest feeding peak at 1600hrs. The lack of significant difference in the spatial protein foraging pattern between fruiting and non-fruiting nectarine trees may be a real result, or may have resulted from the fruiting tree being very close (within 1 – 2 metres) of the non-fruiting tree. This hypothesis is being tested in the guava trial.

Susceptibility variants for male-pattern baldness on chromosome 20p11

We carried out a genome-wide association study in 296 individuals with male-pattern baldness (androgenetic alopecia) and 347 controls. We then investigated the 30 best SNPs in an independent replication sample and found highly significant association for five SNPs on chromosome 20p11 (rs2180439 combined P = 2.7 x 10(-15)). No interaction was detected with the X-chromosomal androgen receptor locus, suggesting that the 20p11 locus has a role in a yet-to-be-identified androgen-independent pathway.

Real-fluid effects in flow cavitation

The possible role of reaj fluid effects in two aspects of flow cavitation namely inception and separation is discussed. This is primarily qualitative in the case of inception whereas some quantitative results are presented in the case of separation. Existing evidence clearly indicates that in particular viscous effects can play a significant role in determining the conditions for cavitation inception and in determining the location of cavitation separation from smooth bodies.

A four-variable model for the pattern-forming mechanism in Hydra

A generalized Gierer-Meinhardt model has been used to account for the transplantation experiments in Hydra. In this model, a cross inhibition between the two organizing centres (namely, head and foot) are assumed to be the only mode of interaction in setting up a stable morphogen distribution for the pattern formation in Hydra.

On the unsteady flow of a fairly concentrated suspension due to contracting or expanding walls of a tube

Consummating our earlier work [1], the unsteady flow of a fairly concentrated suspension due to a single contraction or expansion of the walls of a tube is studied. A comparison of the results obtained by using two different formulae for the additional drag terms in the governing equations has been made. A region of circulation in the flow field is observed when the volume fraction Z greater-or-equal, slanted 0.3, the Schmidt number Sc < 1 and the density ratio (density of the particulate phase/density of the fluid phase) > 1.

Design and Performance Evaluation of EXMAN: An EXtended MANchester Data Flow Computer

Data flow computers are high-speed machines in which an instruction is executed as soon as all its operands are available. This paper describes the EXtended MANchester (EXMAN) data flow computer which incorporates three major extensions to the basic Manchester machine. As extensions we provide a multiple matching units scheme, an efficient, implementation of array data structure, and a facility to concurrently execute reentrant routines. A simulator for the EXMAN computer has been coded in the discrete event simulation language, SIMULA 67, on the DEC 1090 system. Performance analysis studies have been conducted on the simulated EXMAN computer to study the effectiveness of the proposed extensions. The performance experiments have been carried out using three sample problems: matrix multiplication, Bresenham's line drawing algorithm, and the polygon scan-conversion algorithm.

R-parameter: A local truncation error based adaptive framework for finite volume compressible flow solvers

A residual-based strategy to estimate the local truncation error in a finite volume framework for steady compressible flows is proposed. This estimator, referred to as the -parameter, is derived from the imbalance arising from the use of an exact operator on the numerical solution for conservation laws. The behaviour of the residual estimator for linear and non-linear hyperbolic problems is systematically analysed. The relationship of the residual to the global error is also studied. The -parameter is used to derive a target length scale and consequently devise a suitable criterion for refinement/derefinement. This strategy, devoid of any user-defined parameters, is validated using two standard test cases involving smooth flows. A hybrid adaptive strategy based on both the error indicators and the -parameter, for flows involving shocks is also developed. Numerical studies on several compressible flow cases show that the adaptive algorithm performs excellently well in both two and three dimensions.

Pulsatile blood flow in a rigid pulmonary alveolar sheet with porous walls

This paper deals with the pulsatile blood flow in the lung alveolar sheets by idealizing each of them as a channel covered by porous media. As the blood flow in the lung is of low Reynolds number, a creeping flow is assumed in the channel. The analytical and numerical results for the velocity and pressure distribution in the porous medium are presented. The effect of an imposed slip condition is also studied. Comparisons with the corresponding results for the steady-state case are made at the end.