On the engineering of crucial software

The various aspects of the conventional software development cycle are examined. This cycle was the basis of the augmented approach contained in the original grant proposal. This cycle was found inadequate for crucial software development, and the justification for this opinion is presented. Several possible enhancements to the conventional software cycle are discussed. Software fault tolerance, a possible enhancement of major importance, is discussed separately. Formal verification using mathematical proof is considered. Automatic programming is a radical alternative to the conventional cycle and is discussed. Recommendations for a comprehensive approach are presented, and various experiments which could be conducted in AIRLAB are described

Optimization of controlled environments for hydroponic production of leaf lettuce for human life support in CELSS

A research project in the food production group of the Closed Ecological Life Support System (CELSS) program sought to define optimum conditions for photosynthetic productivity of a higher plant food crop. The effects of radiation and various atmospheric compositions were studied

The implementation and use of Ada on distributed systems with high reliability requirements

The use and implementation of Ada in distributed environments in which reliability is the primary concern were investigated. In particular, the concept that a distributed system may be programmed entirely in Ada so that the individual tasks of the system are unconcerned with which processors they are executing on, and that failures may occur in the software or underlying hardware was examined. Progress is discussed for the following areas: continued development and testing of the fault-tolerant Ada testbed; development of suggested changes to Ada so that it might more easily cope with the failure of interest; and design of new approaches to fault-tolerant software in real-time systems, and integration of these ideas into Ada

Self-consistency of relativistic observables with general relativity in the white dwarf-neutron star binary pulsar PSR J1141-6545

Here we report timing measurements of the relativistic binary pulsar PSR J1141-6545 that constrain the component masses and demonstrate that the orbital period derivative \dot Pb = (-4+/-1)x10^-13 is consistent with gravitational wave emission as described by the general theory of relativity. The mass of the neutron star and its companion are 1.30+/-0.02 Mo and 0.986+/-0.020 Mo respectively, suggesting a white dwarf companion, and extending the range of systems for which general relativity provides a correct description. On evolutionary grounds, the progenitor mass of PSR J1141-6545 should be near the minimum for neutron star production. Its mass is two standard deviations below the mean of the other neutron stars, suggesting a relationship between progenitor and remnant masses.Comment: 10 pages, 2 figures, revised version to Ap J Letter

An Economic analysis of the potential for precision farming in UK cereal production

The results from alternative spatial nitrogen application studies are analysed in economic terms and compared to the costs of precision farming hardware, software and other services for cereal crops in the UK. At current prices, the benefits of variable rate application of nitrogen exceed the returns from a uniform application by an average of £22 ha−1 The cost of the precision farming systems range from £5 to £18 ha−1 depending upon the system chosen for an area of 250 ha. The benefits outweigh the associated costs for cereal farms in excess of 80 ha for the lowest price system to 200–300 ha for the more sophisticated systems. The scale of benefits obtained depends upon the magnitude of the response to the treatment and the proportion of the field that will respond. To be cost effective, a farmed area of 250 ha of cereals, where 30% of the area will respond to variable treatment, requires an increase in crop yield in the responsive areas of between 0·25 and 1.00 t ha−1 (at £65 t−1) for the basic and most expensive precision farming systems, respectively

Discovery of Five Recycled Pulsars in a High Galactic Latitude Survey

We present five recycled pulsars discovered during a 21-cm survey of approximately 4,150 deg^2 between 15 deg and 30 deg from the galactic plane using the Parkes radio telescope. One new pulsar, PSR J1528-3146, has a 61 ms spin period and a massive white dwarf companion. Like many recycled pulsars with heavy companions, the orbital eccentricity is relatively high (~0.0002), consistent with evolutionary models that predict less time for circularization. The four remaining pulsars have short spin periods (3 ms < P < 6 ms); three of these have probable white dwarf binary companions and one (PSR J2010-1323) is isolated. PSR J1600-3053 is relatively bright for its dispersion measure of 52.3 pc cm^-3 and promises good timing precision thanks to an intrinsically narrow feature in its pulse profile, resolvable through coherent dedispersion. In this survey, the recycled pulsar discovery rate was one per four days of telescope time or one per 600 deg^2 of sky. The variability of these sources implies that there are more millisecond pulsars that might be found by repeating this survey.Comment: 15 pages, 3 figures, accepted for publication in Ap

Cavity-enhanced optical Hall effect in two-dimensional free charge carrier gases detected at terahertz frequencies

The effect of a tunable, externally coupled Fabry-P\'{e}rot cavity to resonantly enhance the optical Hall effect signatures at terahertz frequencies produced by a traditional Drude-like two-dimensional electron gas is shown and discussed in this communication. As a result, the detection of optical Hall effect signatures at conveniently obtainable magnetic fields, for example by neodymium permanent magnets, is demonstrated. An AlInN/GaN-based high electron mobility transistor structure grown on a sapphire substrate is used for the experiment. The optical Hall effect signatures and their dispersions, which are governed by the frequency and the reflectance minima and maxima of the externally coupled Fabry-P\'{e}rot cavity, are presented and discussed. Tuning the externally coupled Fabry-P\'{e}rot cavity strongly modifies the optical Hall effect signatures, which provides a new degree of freedom for optical Hall effect experiments in addition to frequency, angle of incidence and magnetic field direction and strength

Care, control and the electroconvulsive therapy (ECT) ritual: Making sense of polarised patient narratives

Despite evidence of short-term effectiveness of ECT (electroconvulsive therapy), both positive and negative patient reports are common. However, research examining these polarized accounts has not adequately elucidated why such divergences occur. We thus sought to examine opposing patient narratives to better understand underlying meanings. Eighteen interviews were conducted with UK-based people who had experienced the treatment. Our analysis revealed that the quality of relations with staff, ECT artefacts (e.g. the ECT suite), and perceived outcomes all play a role in divergent accounts. Positive reflections on ECT emerged alongside narratives of trust in staff, comfort with ECT, and perception of sufficient personal control. Conversely, where negative evaluations of ECT predominated, there was anger associated with a lack of control, and a belief that ECT made little sense, and was linked to past abuses and/or the unacceptability of side effects. We discuss the implications of our findings for professionals