Programs as paths: An approach to timing constraint analysis

A program can be decomposed into a set of possible execution paths. These can be described in terms of primitives such as assignments, assumptions and coercions, and composition operators such as sequential composition and nondeterministic choice as well as finitely or infinitely iterated sequential composition. Some of these paths cannot possibly be followed (they are dead or infeasible), and they may or may not terminate. Decomposing programs into paths provides a foundation for analyzing properties of programs. Our motivation is timing constraint analysis of real-time programs, but the same techniques can be applied in other areas such as program testing. In general the set of execution paths for a program is infinite. For timing analysis we would like to decompose a program into a finite set of subpaths that covers all possible execution paths, in the sense that we only have to analyze the subpaths in order to determine suitable timing constraints that cover all execution paths.

The use of transcriptional profiles to predict adult mosquito age under field conditions

Age is a critical determinant of an adult female mosquito's ability to transmit a range of human pathogens. Despite its central importance, relatively few methods exist with which to accurately determine chronological age of field-caught mosquitoes. This fact is a major constraint on our ability to fully understand the relative importance of vector longevity to disease transmission in different ecological contexts. It also limits our ability to evaluate novel disease control strategies that specifically target mosquito longevity. We report the development of a transcriptional profiling approach to determine age of adult female Aedes aegypti under field conditions. We demonstrate that this approach surpasses current cuticular hydrocarbon methods for both accuracy of predicted age as well as the upper limits at which age can be reliably predicted. The method is based on genes that display age-dependent expression in a range of dipteran insects and, as such, is likely to be broadly applicable to other disease vectors.

Bimanual aiming and overt attention: one law for two hands

Reaching to interact with an object requires a compromise between the speed of the limb movement and the required end-point accuracy. The time it takes one hand to move to a target in a simple aiming task can be predicted reliably from Fitts' law, which states that movement time is a function of a combined measure of amplitude and accuracy constraints (the index of difficulty, ID). It has been assumed previously that Fitts' law is violated in bimanual aiming movements to targets of unequal ID. We present data from two experiments to show that this assumption is incorrect: if the attention demands of a bimanual aiming task are constant then the movements are well described by a Fitts' law relationship. Movement time therefore depends not only on ID but on other task conditions, which is a basic feature of Fitts' law. In a third experiment we show that eye movements are an important determinant of the attention demands in a bimanual aiming task. The results from the third experiment extend the findings of the first two experiments and show that bimanual aiming often relies on the strategic co-ordination of separate actions into a seamless behaviour. A number of the task specific strategies employed by the adult human nervous system were elucidated in the third experiment. The general strategic pattern observed in the hand trajectories was reflected by the pattern of eye movements recorded during the experiment. The results from all three experiments demonstrate that eye movements must be considered as an important constraint in bimanual aiming tasks.

Intercepting a moving target: effects of temporal precision constraints and movement amplitude

The effects of temporal precision constraints and movement amplitude on performance of an interceptive aiming task were examined. Participants were required to strike a moving target object with a 'bat' by moving the bat along a straight path (constrained by a linear slide) perpendicular to the path of the target. Temporal precision constraints were defined in terms of the time period (or window) within which contact with the target was possible. Three time windows were used (approx. 35, 50 and 65 ms) and these were achieved either by manipulating the size of the bat (experiment 1a), the size of the target (experiment 1b) or the speed of the target (experiment 2). In all experiments, movement time (MT) increased in proportion to movement amplitude but was only affected by differences in the temporal precision constraint if this was achieved by variation in the target's speed. In this case the MT was approximately inversely proportional to target speed. Peak movement speed was affected by temporal accuracy constraints in all three experiments: participants reached higher speeds when the temporal precision required was greater. These results are discussed with reference to the speed-accuracy trade-off observed for temporally constrained aiming movements. It is suggested that the MT and speed of interceptive aiming movements may be understood as responses to the spatiotemporal constraints of the task.

Optical study of a light diaphragm rupture process in an expansion tube

Rupture of a light cellophane diaphragm in an expansion tube has been studied by an optical method. The influence of the light diaphragm on test flow generation has long been recognised, however the diaphragm rupture mechanism is less well known. It has been previously postulated that the diaphragm ruptures around its periphery due to the dynamic pressure loading of the shock wave, with the diaphragm material at some stage being removed from the flow to allow the shock to accelerate to the measured speeds downstream. The images obtained in this series of experiments are the first to show the mechanism of diaphragm rupture and mass removal in an expansion tube. A light diaphragm was impulsively loaded via a shock wave and a series of images was recorded holographically throughout the rupture process, showing gradual destruction of the diaphragm. Features such as the diaphragm material, the interface between gases, and a reflected shock were clearly visualised. Both qualitative and quantitative aspects of the rupture dynamics were derived from the images and compared with existing one-dimensional theory.

Undergraduate teaching of ideal and real fluid flows: The value of real-world experimental projects

This study describes the pedagogical impact of real-world experimental projects undertaken as part of an advanced undergraduate Fluid Mechanics subject at an Australian university. The projects have been organised to complement traditional lectures and introduce students to the challenges of professional design, physical modelling, data collection and analysis. The physical model studies combine experimental, analytical and numerical work in order to develop students’ abilities to tackle real-world problems. A first study illustrates the differences between ideal and real fluid flow force predictions based upon model tests of buildings in a large size wind tunnel used for research and professional testing. A second study introduces the complexity arising from unsteady non-uniform wave loading on a sheltered pile. The teaching initiative is supported by feedback from undergraduate students. The pedagogy of the course and projects is discussed with reference to experiential, project-based and collaborative learning. The practical work complements traditional lectures and tutorials, and provides opportunities which cannot be learnt in the classroom, real or virtual. Student feedback demonstrates a strong interest for the project phases of the course. This was associated with greater motivation for the course, leading in turn to lower failure rates. In terms of learning outcomes, the primary aim is to enable students to deliver a professional report as the final product, where physical model data are compared to ideal-fluid flow calculations and real-fluid flow analyses. Thus the students are exposed to a professional design approach involving a high level of expertise in fluid mechanics, with sufficient academic guidance to achieve carefully defined learning goals, while retaining sufficient flexibility for students to construct there own learning goals. The overall pedagogy is a blend of problem-based and project-based learning, which reflects academic research and professional practice. The assessment is a mix of peer-assessed oral presentations and written reports that aims to maximise student reflection and development. Student feedback indicated a strong motivation for courses that include a well-designed project component.

A study of the stability of subcycling algorithms in structural dynamics

Algorithms for explicit integration of structural dynamics problems with multiple time steps (subcycling) are investigated. Only one such algorithm, due to Smolinski and Sleith has proved to be stable in a classical sense. A simplified version of this algorithm that retains its stability is presented. However, as with the original version, it can be shown to sacrifice accuracy to achieve stability. Another algorithm in use is shown to be only statistically stable, in that a probability of stability can be assigned if appropriate time step limits are observed. This probability improves rapidly with the number of degrees of freedom in a finite element model. The stability problems are shown to be a property of the central difference method itself, which is modified to give the subcycling algorithm. A related problem is shown to arise when a constraint equation in time is introduced into a time-continuous space-time finite element model. (C) 1998 Elsevier Science S.A.

Role of CeO2 in Ni/CeO2-Al2O3 catalysts for carbon dioxide reforming of methane

Ni catalysts supported on gamma-Al2O3, CeO2 and CeO2-A1(2)O(3) systems were tested for catalytic CO2 reforming of methane into synthesis gas. Ni/CeO2-Al2O3 catalysts showed much better catalytic performance than either CeO2- or gamma-Al2O3-supported Ni catalysts. CeO2 as a support for Ni catalysts produced a strong metal-support interaction (SMSI), which reduced the catalytic activity and carbon deposition. However, CeO2 had positive effect on catalytic activity, stability, and carbon suppression when used as a promoter in Ni/gamma-Al2O3 catalysts for this reaction. A weight loading of 1-5 wt% CeO2 was found to be the optimum. Ni catalysts with CeO2 promoters reduced the chemical interaction between nickel and support, resulting in an increase in reducibility and stronger dispersion of nickel. The stability and less coking on CeO2-promoted catalysts are attributed to the oxidative properties of CeO2. (C) 1998 Elsevier Science B.V. All rights reserved.

Effects of beta-escin and saponin on the transverse-tubular system and sarcoplasmic reticulum membranes of rat and toad skeletal muscle

Mechanically skinned skeletal muscle fibres from rat and toad were exposed to the permeabilizing agents beta-escin and saponin. The effects of these agents on the sealed transverse tubular system (t-system) and sarcoplasmic reticulum (SR) were examined by looking at changes in the magnitude of the force responses to t-system depolarization, the time course of the fluorescence of fura-2 trapped in the sealed t-system, and changes in the magnitude of caffeine-induced contractures following SR loading with Ca2+ under defined conditions. In the presence of 2 mu g ml(-1) beta-escin and saponin, the response to t-system depolarization was not completely abolished, decreasing to a plateau, and a large proportion of fura-2 remained in the sealed t-system. At 10 mu g ml(-1), both agents abolished the ability of both rat and toad preparations to respond to t-system depolarization after 3 min of exposure, but a significant amount of fura-2 remained in sealed t-tubules even after exposure to 100 mu g ml(-1) beta-escin and saponin for 10 min. beta-Escin took longer than saponin to reduce the t-system depolarizations and fura-2 content of the sealed t-system to a similar level. The ability of the SR to load Ca2+ was reduced to a lower level after treatment with beta-escin than saponin. This direct effect on the SR occurred at much lower concentrations for rat (2 mu g ml(-1) beta-escin and 10 mu g ml(-1) saponin) than toad (10 mu g ml(-1) beta-escin and 150 mu g ml(-1) saponin). The reverse order in sensitivities to beta-escin and saponin of t-system and SR membranes indicates that the mechanisms of action of beta-escin and saponin are different in the two types of membrane. In conclusion, this study shows that: (1) beta-escin has a milder action on the surface membrane than saponin; (2) beta-escin is a more potent modifier of SR function; (3) simple permeabilization of membranes is not sufficient to explain the effects of beta-escin and saponin on muscle membranes; and (4) the t-system network within muscle fibres is not a homogeneous compartment.

Photolytic manipulation of [Ca2+](i) reveals slow kinetics of potassium channels underlying the afterhyperpolarization in hipppocampal pyramidal neurons

The identity of the potassium channel underlying the slow, apamin-insensitive component of the afterhyperpolarization current (sl(AHP)) remains unknown. We studied sl(AHP) in CA1 pyramidal neurons using simultaneous whole-cell recording, calcium fluorescence imaging, and flash photolysis of caged compounds. Intracellular calcium concentration ([Ca2+](i)) peaked earlier and decayed more rapidly than sl(AHP). Loading cells with low concentrations of the calcium chelator EGTA slowed the activation and decay of sl(AHP). In the presence of EGTA, intracellular calcium decayed with two time constants. When [Ca2+](i) was increased rapidly after photolysis of DM-Nitrophen, both apamin-sensitive and apamin-insensitive outward currents were activated. The apamin-sensitive current activated rapidly (<20 msec), whereas the apamin-insensitive current activated more slowly (180 msec). The apamin-insensitive current was reduced by application of serotonin and carbachol, confirming that it was caused by sl(AHP) channels. When [Ca2+](i) was decreased rapidly via photolysis of diazo-2, the decay of sl(AHP) was similar to control (1.7 sec). All results could be reproduced by a model potassium channel gated by calcium, suggesting that the channels underlying sl(AHP) have intrinsically slow kinetics because of their high affinity for calcium.

A comprehensive study on carbon dioxide reforming of methane over Ni/gamma-Al2O3 catalysts

Carbon dioxide reforming of methane into syngas over Ni/gamma-Al2O3 catalysts was systematically studied. Effects of reaction parameters on catalytic activity and carbon deposition over Ni/gamma-Al2O3 catalysts were investigated. It is found that reduced NiA1204, metal nickel, and active species of carbon deposited were the active sites for this reaction. Carbon deposition on Ni/gamma Al2O3 varied depending on the nickel loading and reaction temperature and is the major cause of catalyst deactivation. Higher nickel loading produced more coke on the catalysts, resulting in rapid deactivation and plugging of the reactor. At 5 wt % Ni/gamma-Al2O3 catalyst exhibited high activity and much lesser magnitude of deactivation in 140 h. Characterization of carbon deposits on the catalyst surface revealed that there are two kinds of carbon species (oxidized and -C-C-) formed during the reaction and they showed different reactivities toward hydrogenation and oxidation. Kinetic studies showed that the activation energy for CO production in this reaction amounted to 80 kJ/mol and the rate of CO production could be described by a Langmuir-Hinshelwood model.

A comparative study of N2O conversion to N-2 over Co/AC and Cu/AC catalysts

Catalytic conversion of N2O to N-2 over Cu- and Co-impregnated activated carbon catalysts (Cu/AC and Co/AC) was investigated. Catalytic activity measurements were carried out in a fixed-bed flow reactor at atmospheric pressure. The catalysts were characterized by N-2 adsorption, X-ray diffraction (XRD) and thermogravimetric analysis (TGA). This study aimed to provide insights into the following aspects: the metal dispersion, changes in pore structure, influence of catalyst loading on reaction, and reaction mechanism. Increasing loading of Co or Cu led to decreasing dispersion, but 20 wt % loading was an upper limit for optimal activities in both cases, with too high loading causing sintering of metal. Co exhibited a relatively better dispersion than Cu. Impregnation of metal led to a large decrease in surface area and pore volume, especially for 30 wt % of loading. 20 wt % of loading has proved to be the optimum for both Cu and Co, which shows the highest activity. Both N2O-Co/AC and -Cu/AC reactions are based upon a redox mechanism, but the former is limited by the oxygen transfer from catalysts to carbon, while N2O chemisorption on the surface of Cu catalyst controls the latter. The removal of oxygen from cobalt promotes the activity of Co/AC, but it is beneficial for Cu/AC to keep plenty of oxygen to maintain the intermediate oxidation of copper-Cu1+. The different nature of the two catalysts and their catalytic reaction mechanisms are closely related to their different electronegativities.