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.

Hierarchical Bayesian modelling of plant pest invasions with human-mediated dispersal

Hierarchical Bayesian models can assimilate surveillance and ecological information to estimate both invasion extent and model parameters for invading plant pests spread by people. A reliability analysis framework that can accommodate multiple dispersal modes is developed to estimate human-mediated dispersal parameters for an invasive species. Uncertainty in the observation process is modelled by accounting for local natural spread and population growth within spatial units. Broad scale incursion dynamics are based on a mechanistic gravity model with a Weibull distribution modification to incorporate a local pest build-up phase. The model uses Markov chain Monte Carlo simulations to infer the probability of colonisation times for discrete spatial units and to estimate connectivity parameters between these units. The hierarchical Bayesian model with observational and ecological components is applied to a surveillance dataset for a spiralling whitefly (Aleurodicus dispersus) invasion in Queensland, Australia. The model structure provides a useful application that draws on surveillance data and ecological knowledge that can be used to manage the risk of pest movement.

Gene expression evidence for off-target effects caused by RNA interference-mediated gene silencing of Ubiquitin-63E in the cattle tick Rhipicephalus microplus.

Knowledge of cattle tick (Rhipicephalus (Boophilus) microplus; Acari: Ixodidae) molecular and cellular pathways has been hampered by the lack of an annotated genome. In addition, most of the tick expressed sequence tags (ESTs) available to date consist of similar to 50% unassigned sequences without predicted functions. The most common approach to address this has been the application of RNA interference (RNAi) methods to investigate genes and their pathways. This approach has been widely adopted in tick research despite minimal knowledge of the tick RNAi pathway and double-stranded RNA (dsRNA) uptake mechanisms. A strong knockdown phenotype of adult female ticks had previously been observed using a 594 bp dsRNA targeting the cattle tick homologue for the Drosophila Ubiquitin-63E gene leading to nil or deformed eggs. A NimbleGen cattle tick custom microarray based on the BmiGI.V2 database of R. microplus ESTs was used to evaluate the expression of mRNAs harvested from ticks treated with the tick Ubiquitin-63E 594 bp dsRNA compared with controls. A total of 144 ESTs including TC6372 (Ubiquitin-63E) were down-regulated with 136 ESTs up-regulated following treatment. The results obtained substantiated the knockdown phenotype with ESTs identified as being associated with ubiquitin proteolysis as well as oogenesis, embryogenesis, fatty acid synthesis and stress responses. A bioinformatics analysis was undertaken to predict off-target effects (OTE) resulting from the in silico dicing of the 594 bp Ubiquitin-63E dsRNA which identified 10 down-regulated ESTs (including TC6372) within the list of differentially expressed probes on the microarrays. Subsequent knockdown experiments utilising 196 and 109 bp dsRNAs, and a cocktail of short hairpin RNAs (shRNA) targeting Ubiquitin-63E, demonstrated similar phenotypes for the dsRNAs but nil effect following shRNA treatment. Quantitative reverse transcriptase PCR analysis confirmed differential expression of TC6372 and selected ESTs. Our study demonstrated the minimisation of predicted OTEs in the shorter dsRNA treatments (similar to 100-200 bp) and the usefulness of microarrays to study knockdown phenotypes.

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.

Ionophore-mediated transmembrane movement of divalent cations in small unilamellar liposomes: An evaluation of the chlortetracycline fluorescence technique and correlations with black lipid membrane studies

Conceptual advances in the field of membrane transport have, in the main, utilized artificial membranes, both planar and vesicular. Systems of biological interest,viz., cells and organelles, resemble vesicles in size and geometry. Methods are, therefore, required to extend the results obtained with planar membranes to liposome systems. In this report we present an analysis of a fluorescence technique, using the divalent cation probe chlortetracycline, in small, unilamellar vesicles, for the study of divalent cation fluxes. An ion carrier (X537 A) and a pore former (alamethicin) have been studied. The rate of rise of fluorescence signal and the transmembrane ion gradient have been related to transmembrane current and potential, respectively. A second power dependence of ion conduction-including the electrically silent portion thereof — on X537 A concentration, has been observed. An exponential dependence of ldquocurrentrdquo on ldquotransmembrane potentialrdquo in the case of alamethicin is also confirmed. Possible errors in the technique are discussed.

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.

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.

The role of pollen in the changing environmental conditions of Scots pine

Rapid change in climate is challenge for the adaptation of forest trees in the future. In wind pollinated tree species pollen mediated long distance gene flow may provide alleles that are (pre)adapted to a future climate. In order to examine the long distance pollen flow in Scots pine (Pinus sylvestris L.), we measured the amount and viability of airborne pollen and flowering phenology in central, northern, and northernmost Finland during four years. Viable airborne pollen grains were detected during female flowering and before local pollen shedding in all study sites. The situation when there was nonlocal pollen in the air lasted from one to four days depending on the year and study site. The amount of nonlocal airborne pollen varied also between years and study sites, the total amount of nonlocal viable pollen in the air was 2.3% from all detected viable pollen grains. The effect of pollen origin on seeds siring ability was studied with artificial pollination experiments. Pollen genotypes originating from southern Finland sired 76% and 48 % of the analysed seeds in competition studies where both pollen origin were introduced simultaneously into the female strobili. We examined the importance of arrival order of pollen grains in to the strobili in a study where pollen genotypes of different origin were introduced in two hours interval. Northern genotypes sired 76% of the analysed seeds when it was injected first, but in the "southern first" experiment both pollen types sired equal amount of seeds. The first pollen grain in the pollen chamber do not always fertilizes the ovum, instead there likely is more complex way of competition between pollen grains. To examine chemically mediated pollen-pollen interactions we conducted in vitro germination experiment where different pollen genotypes had chemical but not physical contact. Both positive and negative effects of interactions were found. We found highly negative effects in germinability of northern pollen grains when they were germinating with southern pollen, and increase in the germinability of southern pollen. There were no variation in the size of the dry pollen grains between pollen origins, and minor variation between different genotypes. After hydration and germination northern pollen grains were larger than southern pollen. Pollen genotypes having high hydration rates had low germinability and tube growth rate, however, germinated pollen grains were larger in size than nongerminated. This supports the suggestion that the early germination and growth of pollen tube is dependent on pollen storage materialsand less dependent on water intake and hydration. Long distance pollen movements and good competition ability of southern pollen makes gene flow possible, although rising temperature and timing of pollen movements may affect pollen competition and the amount of gene flow.

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.