Neale Fulton

Learn More
We describe the operational in-orbit calibration of the Geostationary Operational Environmental Satellite (GOES)-8 and-9 imagers and sounders. In the infrared channels the calibration is based on observations of space and an onboard blackbody. The calibration equation expresses radiance as a quadratic in instrument output. To suppress noise in the blackbody(More)
This paper discusses the need for informed decision making with respect to the management of the risks Unmanned Aerial System (UAS) operations present to people and property on the ground. In the absence of a wealth of experience in the hazards of UAS operations, an understanding of the risks can be gained through a formal risk analysis. This paper proposes(More)
Formal methods are considered to be an important technique towards achieving the levels of assurance needed for high integrity systems. Formal speciica-tion is the essential part of the formal development process. The use of formal speciication techniques on critical systems has shown signiicant growth in the last few years. In particular, there are number(More)
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct result at the right time is the fundamental goal of such systems. Formally specifying the system functions and the timing requirements is the crucial step towards achieving such a goal. Aviation systems often need to be(More)
We study optimal cooperative collision avoidance strategies for two participants with unequal linear speeds, but equal turn capabilities, in a planar close proximity encounter. Previous research showed that bang-bang strategies are optimal for participants with equal linear speeds. However, for participants with unequal linear speeds, bang-bang strategies(More)
Residual ovine nematode pasture infections were assessed by grazing groups of ewes and their lambs on permanent sheep and cattle pastures and by the use of tracer lambs. Ostertagia spp., Cooperia oncophora, Nematodirus spp., Chabertia ovina and Trichuris spp. eggs and/or larvae survived on pastures overwinter. Second generation Ostertagia larvae were(More)
  • 1