Using Form and Function Analogy Object Boxes to Teach Human Body Systems

This study compares the use of form and function analogy object boxes to more traditional lecture and worksheet instruction during a 10th‐grade unit on human body systems. The study was conducted with two classes (N= 32) of mixed ability students at a high‐needs rural high school in central New York State. The study used a pretest/posttest design, in which the two classes alternated between conditions for the four systems (skeletal, digestive, immune, nervous). Both conditions involved students in quality instruction addressing the same concepts for the same amount of time. Additionally, all students participated in hands‐on labs. The experimental condition presented students with a set of objects analogous in form and function to parts of a human body system. Students matched objects with cards describing body system parts, mapped the analogies on a chart, generated alternative objects that could be used for the analogy, and finally, created new analogies for other body system parts. Students made significantly higher posttest and gain scores on material learned in the experimental condition, with a mean gain score average of 12.4 points out of 25, compared to 6.2 points in the control condition. Cohen's Effect Size was large, 1.36.     

An approach to deciding the observational equivalence of Algol-like languages

We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function f_M. Given any such f_M, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable.     

On a class of preconditioners for solving the Helmholtz equation

In 1983, a preconditioner was proposed [J. Comput. Phys. 49 (1983) 443] based on the Laplace operator for solving the discrete Helmholtz equation efficiently with CGNR. The preconditioner is especially effective for low wavenumber cases where the linear system is slightly indefinite. Laird [Preconditioned iterative solution of the 2D Helmholtz equation, First Year's Report, St. Hugh's College, Oxford, 2001] proposed a preconditioner where an extra term is added to the Laplace operator. This term is similar to the zeroth order term in the Helmholtz equation but with reversed sign. In this paper, both approaches are further generalized to a new class of preconditioners, the so-called “shifted Laplace” preconditioners of the form Δφ−k²φ with . Numerical experiments for various wavenumbers indicate the effectiveness of the preconditioner. The preconditioner is evaluated in combination with GMRES, Bi-CGSTAB, and CGNR.     

Electron transfer induced dissociations of 2- and 4-alkyl cyclohexadienones

Several 2- and 4-alkylcyclohexadienones were prepared and shown to accept electrons to produce ketyl radical anions that dissociated rapidly at room temperature to release carbon-centered radicals and an aromatic phenoxide type anion. In the PET process with benzyl-substituted cyclohexadienones, initiated with triethylamine, the benzyl radicals dimerised or abstracted an H-atom from solvent. In electrochemical reductions, and in reductions with alkali metals in liquid ammonia, the benzyl radicals were further reduced to anions.     

The evolution of a truncated gaussian probability density through time—modelling animal liveweights after selection

The form of the probability density derived from the evolution in time of a previously truncated frequency distribution of animal Liveweights is of interest in animal husbandry. Truncated frequency distributions arise when the heavier animals are sold for slaughter and the lighter animals retained. The demands of modern quality assurance schemes require that, given information on animal growth, the farmer is able to estimate the number of animals that would meet the specifications at some time in the future after truncation. Assuming that animal growth can be described by a linear stochastic differential equation, we derive an explicit expression for the probability density of animal Liveweights at any time after the truncation of an initial Gaussian density. It is shown that this probability density converges rapidly to a Gaussian density, so that after about 20 days of typical growth rates for lambs, the resulting density is practically indistinguishable from Gaussian.     

Performance of a CW pumped Nd:YVO4 amplifier with kHz pulses

Until recently, simple and reliable high repetition-rate laser sources with nanosecond pulses much shorter than from conventional A-O Q-switch lasers were not available. However over the past 2 years we have developed such lasers based on proprietary fast E-O switching technology, which allows designs delivering 1 ns pulses and subnanosecond jitter for good synchronisation. The technology provides pulses with multi-kW peak power and repetition-rates to >100 kHz.Most recently, the performance of these short pulse lasers has been developed further by implementing oscillator/amplifier (master oscillator and power amplifier, MOPA) technology which increases the output to >1 W average power. Here we report on a simple model that has been used to predict the performance of the CW pumped Nd:YVO₄ amplifier used in the MOPA laser. The model is based on the well-known expressions for the saturated gain applying to laser pulses, but more usually applied to pulse-excited amplifiers. The model is shown to allow a good interpretation of the amplifier behaviour for kHz pulses and to be a useful tool for predicting the performance of the MOPA laser.     

Determination of flutter derivatives via a neural network approach

A neural-network-based method is offered to determine the flutter derivatives of section models under smooth and turbulent flows. The approach uses the observed dynamic responses to train an appropriate neural network. Subsequently, the modal parameters of the model for different mean velocities of wind flow are directly estimated using weight matrices in the neural network. The flutter derivatives can then be determined accurately. The validity of the present method is verified through numerical studies. Finally, the procedure is employed to process experimental data from an inverted-U-type section model, obtained from wind tunnel tests.     

Multi-Item Scheduling by Benders' Decomposition

Scheduling the production of several items requires the determination of production quantities in different periods in the presence of resource constraints. Several approximate and heuristic algorithms have been proposed to solve this problem. However, no method for finding an optimal solution has as yet been developed. It is shown that the problem may be solved advantageously using Benders' decomposition. The subproblem in Benders' decomposition is shown to be a transportation problem, and some strategies for solving the master problem are indicated. The paper concludes with a sample problem demonstrating the application of the method.