A new algorithm for horizontal capture trajectories

An algorithm which transfers an aircraft from an initial position and heading to a final position and heading was developed for onboard synthesis of horizontal flight paths. The algorithm finds all solutions possible, and selects the one with minimum path length. Degenerate conditions in which one or more of the basic segments is missing are handled without difficulty. The solution to this problem is derived, and a FORTRAN listing of the algorithm is provided

The Use of Proof Planning for Cooperative Theorem Proving

AbstractWe describebarnacle: a co-operative interface to theclaminductive theorem proving system. For the foreseeable future, there will be theorems which cannot be proved completely automatically, so the ability to allow human intervention is desirable; for this intervention to be productive the problem of orienting the user in the proof attempt must be overcome. There are many semi-automatic theorem provers: we call our style of theorem provingco-operative, in that the skills of both human and automaton are used each to their best advantage, and used together may find a proof where other methods fail. The co-operative nature of thebarnacleinterface is made possible by the proof planning technique underpinningclam. Our claim is that proof planning makes new kinds of user interaction possible.Proof planning is a technique for guiding the search for a proof in automatic theorem proving. Common patterns of reasoning in proofs are identified and represented computationally as proof plans, which can then be used to guide the search for proofs of new conjectures. We have harnessed the explanatory power of proof planning to enable the user to understand where the automatic prover got to and why it is stuck. A user can analyse the failed proof in terms ofclam's specification language, and hence override the prover to force or prevent the application of a tactic, or discover a proof patch. This patch might be to apply further rules or tactics to bridge the gap between the effects of previous tactics and the preconditions needed by a currently inapplicable tactic

Fuel-conservative guidance system for powered-lift aircraft

A concept for automatic terminal area guidance, comprising two modes of operation, was developed and evaluated in flight tests. In the predictive mode, fuel efficient approach trajectories are synthesized in fast time. In the tracking mode, the synthesized trajectories are reconstructed and tracked automatically. An energy rate performance model derived from the lift, drag, and propulsion system characteristics of the aircraft is used in the synthesis algorithm. The method optimizes the trajectory for the initial aircraft position and wind and temperature profiles encountered during each landing approach. The design theory and the results of simulations and flight tests using the Augmentor Wing Jet STOL Research Aircraft are described

Wireworm Control using Fodder Rape and Mustard – evaluating the use of brassica green manures for the control of wireworm (Agriotes spp.) in organic crops

In a field experiment at ADAS Pwllpeiran in 2001, brassica green manures were grown for 6 weeks and dug in before planting King Edward potatoes, to see if they suppressed wireworm in the crop. There was a trend for potatoes grown after mustard to suffer less damage from both wireworms and slugs than potatoes grown after fodder rape or no green manure, but the differences were not significant. Further trials, with longer green manuring periods, are needed to establish if there is a benefit, and whether the breakdown products of brassica green manures are toxic to wireworms

The envirome and the connectome: exploring the structural noise in the human brain associated with socioeconomic deprivation

Complex cognitive functions are widely recognized to be the result of a number of brain regions working together as large-scale networks. Recently, complex network analysis has been used to characterize various structural properties of the large scale network organization of the brain. For example, the human brain has been found to have a modular architecture i.e. regions within the network form communities (modules) with more connections between regions within the community compared to regions outside it. The aim of this study was to examine the modular and overlapping modular architecture of the brain networks using complex network analysis. We also examined the association between neighborhood level deprivation and brain network structure – modularity and grey nodes. We compared network structure derived from anatomical MRI scans of 42 middle-aged neurologically healthy men from the least (LD) and the most deprived (MD) neighborhoods of Glasgow with their corresponding random networks. Cortical morphological covariance networks were constructed from the cortical thickness derived from the MRI scans of the brain. For a given modularity threshold, networks derived from the MD group showed similar number of modules compared to their corresponding random networks, while networks derived from the LD group had more modules compared to their corresponding random networks. The MD group also had fewer grey nodes – a measure of overlapping modular structure. These results suggest that apparent structural difference in brain networks may be driven by differences in cortical thicknesses between groups. This demonstrates a structural organization that is consistent with a system that is less robust and less efficient in information processing. These findings provide some evidence of the relationship between socioeconomic deprivation and brain network topology

Computer program to calculate three-dimensional boundary layer flows over wings with wall mass transfer

A system of computer programs for calculating three dimensional transonic flow over wings, including details of the three dimensional viscous boundary layer flow, was developed. The flow is calculated in two overlapping regions: an outer potential flow region, and a boundary layer region in which the first order, three dimensional boundary layer equations are numerically solved. A consistent matching of the two solutions is achieved iteratively, thus taking into account viscous-inviscid interaction. For the inviscid outer flow calculations, the Jameson-Caughey transonic wing program FLO 27 is used, and the boundary layer calculations are performed by a finite difference boundary layer prediction program. Interface programs provide communication between the two basic flow analysis programs. Computed results are presented for the NASA F8 research wing, both with and without distributed surface suction

Use of multiple discrete wall jets for delaying boundary layer separation

The effectiveness of a spanwise array of small discrete blowing nozzles in preventing separation of a turbulent boundary layer was investigated experimentally. The spacing, axial location, and momentum flux of the nozzles were varied in a systematic way, and overall performance was measured for each combination. Extensive mean velocity profiles were measured for one selected combination. Overall diffusion achieved before separation was correlated successfully with a momentum flux excess parameter, and in terms of this parameter discrete nozzles, when advantageously placed, were found to perform somewhat better than an optimally placed two-dimensional jet slot

The use of feed blocks as supplementation for theupland hill flock: (1) Improving organic ewe productivity and performance

This report was presented at the UK Organic Research 2002 Conference of the Colloquium of Organic Researchers (COR). Maintaining ewe performance in winter poses particular problems for organic farming in the uplands where the availability of both grazing and home produced forage may be restricted. This trial evaluated approved non-organic feed blocks as dietary supplement for ewes grazing pastures between 300 and 550 m

The use of feed blocks as supplementation for the upland hill flock: (2) Cost effective lamb production

This report was presented at the UK Organic Research 2002 Conference of the Colloquium of Organic Researchers (COR).Under EU organic livestock regulations introduced in 2000, new restrictions were placed on the use of bought-in feedstuffs in hill systems. These reduced the non-organic annual percentage previously allowed in LFAs from 20% to 10% of annual dry matter intake. A further stepping down of these allowances may be introduced ahead of a complete ban in 2005. Bought-in feed supplements must therefore, be used strategically and offer “best value for money” in terms of ewe performance and lamb growth. The economic cost of supplementing the diet of twin-rearing ewes post lambing with either an approved non-organic feed block + half ration of commercial concentrate mix (B+CCM) or full ration commercial concentrate mix (CCM) was investigated. Lambs reared by ewes receiving the B+CCM diet had a greater liveweight gain than those reared by ewes receiving the CCM diet per kg of ewe supplementary feed. The costs in terms of kg lamb liveweight were lower for the B+CCM ewes than the CCM ewe