Inspection Methods in Programming

The work reported here lies in the area of overlap between artificial intelligence software engineering. As research in artificial intelligence, it is a step towards a model of problem solving in the domain of programming. In particular, this work focuses on the routine aspects of programming which involve the application of previous experience with similar programs. I call this programming by inspection. Programming is viewed here as a kind of engineering activity. Analysis and synthesis by inspection area prominent part of expert problem solving in many other engineering disciplines, such as electrical and mechanical engineering. The notion of inspections methods in programming developed in this work is motivated by similar notions in other areas of engineering. This work is also motivated by current practical concerns in the area of software engineering. The inadequacy of current programming technology is universally recognized. Part of the solution to this problem will be to increase the level of automation in programming. I believe that the next major step in the evolution of more automated programming will be interactive systems which provide a mixture of partially automated program analysis, synthesis and verification. One such system being developed at MIT, called the programmer's apprentice, is the immediate intended application of this work. This report concentrates on the knowledge are of the programmer's apprentice, which is the form of a taxonomy of commonly used algorithms and data structures. To the extent that a programmer is able to construct and manipulate programs in terms of the forms in such a taxonomy, he may relieve himself of many details and generally raise the conceptual level of his interaction with the system, as compared with present day programming environments. Also, since it is practical to expand a great deal of effort pre-analyzing the entries in a library, the difficulty of verifying the correctness of programs constructed this way is correspondingly reduced. The feasibility of this approach is demonstrated by the design of an initial library of common techniques for manipulating symbolic data. This document also reports on the further development of a formalism called the plan calculus for specifying computations in a programming language independent manner. This formalism combines both data and control abstraction in a uniform framework that has facilities for representing multiple points of view and side effects.

Review of inspection techniques based on the elastic and inelastic scattering of X-rays and their potential in the food and agricultural industry

C.R. Bull, R. Zwiggelaar and R.D. Speller, 'Review of inspection techniques based on the elastic and inelastic scattering of X-rays and their potential in the food and agricultural industry', Journal of Food Engineering 33 (1-2), 167-179 (1997)

Inspection of teats by colour image analysis for automatic milking systems

C.R. Bull, N.J.B. McFarlane, R. Zwiggelaar, C.J. Allen and T.T. Mottram, 'Inspection of teats by colour image analysis for automatic milking systems', Computers and Electronics in Agriculture 15 (1), 15-26 (1996)

Effects of Environmentally Relevant Concentrations of Poultry Litter Associated Contaminates on the Sexual Development of Xenopus laevis

Poultry litter contains high levels of natural sex hormones, nitrogen, phosphorous, and trace amounts of heavy metals. Poultry litter runoff from poultry and farming operations in the Delmarva region can have serious impacts on frog development in the Chesapeake Bay Watershed. In this study, we investigated potential effects of litter compounds on Xenopus laevis development when exposed to environmental levels (0.35 and 0.70 g/L) of litter solution. We found that despite rapid hormone degradation, poultry litter solution still affected X. laevis development. Hormones were also more persistent in the lower poultry litter concentration, leading to even greater effects. Slowed growth and increased female gonadal abnormalities were observed after exposure to 0.35 g/L but not to 0.70 g/L of litter solution, and increased male gonadal abnormalities were observed after treatment to both litter concentrations. The developmental impacts examined in this study may have greater environmental impacts on frog reproduction and survival.

Development and validation of a lateral flow device for the detection of nicarbazin contamination in poultry feeds

Concentrations of the coccidiostat nicarbazin as low as 2 mg/kg in feed can result in violative drug residues arising in poultry liver. A lateral flow device (LFD) was developed for the detection of contaminating concentrations of nicarbazin following solvent extraction of poultry feeds. Test results, as determined by both visual and instrumental measurement, are available within minutes. For 22 feed samples, nicarbazin-free and fortified at 2 mg/kg, the % relative inhibition ranged from 0 to 45% and from 53 to 85%, respectively. Nicarbazin contamination at the critical concentration (2 mg/kg) can be determined in all cases providing the sampling is representative. A wide range of feed samples taken at a mill that incorporated nicarbazin into poultry feed were analyzed. Data generated for these samples by both the LFDs and a mass spectrometric method were compared, and a significant correlation was achieved.

A Virtual Inspection Technique for Assessing the Dimensional Accuracy of Forged Compressor Blades Using FE Modeling and CMM Inspection

This paper presents research for developing a virtual inspection system that evaluates the dimensional tolerance of forged aerofoil blades formed using the finite element (FE) method. Conventional algorithms adopted by modern coordinate measurement processes have been incorporated with the latest free-form surface evaluation techniques to provide a robust framework for the dimensional inspection of FE aerofoil models. The accuracy of the approach had been verified with a strong correlation obtained between the virtual inspection data and coordinate measurement data from corresponding aerofoil components.