A mission control system for an autonomous underwater vehicle

The presented work focuses on the theoretical and practical aspects concerning the design and development of a formal method to build a mission control system for autonomous underwater vehicles bringing systematic design principles for the formal description of missions using Petri nets. The proposed methodology compounds Petri net building blocks within it to de_ne a mission plan for which it is proved that formal properties, such as reachability and reusability, hold as long as these same properties are also guaranteed by each Petri net building block. To simplify the de_nition of these Petri net blocks as well as their composition, a high level language called Mission Control Language has been developed. Moreover, a methodology to ensure coordination constraints for teams of multiple robots as well as the de_nition of an interface between the proposed system and an on-board planner able to plan/replan sequences of prede_ned mission plans is included as well. Results of experiments with several real underwater vehicles and simulations involving an autonomous surface craft and an autonomous underwater vehicles are presented to show the system's capabilities.

A proposal to estimate the motion of an underwater vehicle through visual mosaicking

This thesis proposes a solution to the problem of estimating the motion of an Unmanned Underwater Vehicle (UUV). Our approach is based on the integration of the incremental measurements which are provided by a vision system. When the vehicle is close to the underwater terrain, it constructs a visual map (so called "mosaic") of the area where the mission takes place while, at the same time, it localizes itself on this map, following the Concurrent Mapping and Localization strategy. The proposed methodology to achieve this goal is based on a feature-based mosaicking algorithm. A down-looking camera is attached to the underwater vehicle. As the vehicle moves, a sequence of images of the sea-floor is acquired by the camera. For every image of the sequence, a set of characteristic features is detected by means of a corner detector. Then, their correspondences are found in the next image of the sequence. Solving the correspondence problem in an accurate and reliable way is a difficult task in computer vision. We consider different alternatives to solve this problem by introducing a detailed analysis of the textural characteristics of the image. This is done in two phases: first comparing different texture operators individually, and next selecting those that best characterize the point/matching pair and using them together to obtain a more robust characterization. Various alternatives are also studied to merge the information provided by the individual texture operators. Finally, the best approach in terms of robustness and efficiency is proposed. After the correspondences have been solved, for every pair of consecutive images we obtain a list of image features in the first image and their matchings in the next frame. Our aim is now to recover the apparent motion of the camera from these features. Although an accurate texture analysis is devoted to the matching pro-cedure, some false matches (known as outliers) could still appear among the right correspon-dences. For this reason, a robust estimation technique is used to estimate the planar transformation (homography) which explains the dominant motion of the image. Next, this homography is used to warp the processed image to the common mosaic frame, constructing a composite image formed by every frame of the sequence. With the aim of estimating the position of the vehicle as the mosaic is being constructed, the 3D motion of the vehicle can be computed from the measurements obtained by a sonar altimeter and the incremental motion computed from the homography. Unfortunately, as the mosaic increases in size, image local alignment errors increase the inaccuracies associated to the position of the vehicle. Occasionally, the trajectory described by the vehicle may cross over itself. In this situation new information is available, and the system can readjust the position estimates. Our proposal consists not only in localizing the vehicle, but also in readjusting the trajectory described by the vehicle when crossover information is obtained. This is achieved by implementing an Augmented State Kalman Filter (ASKF). Kalman filtering appears as an adequate framework to deal with position estimates and their associated covariances. Finally, some experimental results are shown. A laboratory setup has been used to analyze and evaluate the accuracy of the mosaicking system. This setup enables a quantitative measurement of the accumulated errors of the mosaics created in the lab. Then, the results obtained from real sea trials using the URIS underwater vehicle are shown.

Estimates of Avian Mortality Attributed to Vehicle Collisions in Canada

Although mortality of birds from collisions with vehicles is estimated to be in the millions in the USA, Europe, and the UK, to date, no estimates exist for Canada. To address this, we calculated an estimate of annual avian mortality attributed to vehicular collisions during the breeding and fledging season, in Canadian ecozones, by applying North American literature values for avian mortality to Canadian road networks. Because owls are particularly susceptible to collisions with vehicles, we also estimated the number of roadkilled Barn owls (Tyto alba) in its last remaining range within Canada. (This species is on the IUCN red list and is also listed federally as threatened; Committee on the Status of Endangered Wildlife in Canada 2010, International Union for the Conservation of Nature 2012). Through seven Canadian studies in existence, 80 species and 2,834 specimens have been found dead on roads representing species from 14 orders of birds. On Canadian 1 and 2-lane paved roads outside of major urban centers, the unadjusted number of bird mortalities/yr during an estimated 4-mo (122-d) breeding and fledging season for most birds in Canada was 4,650,137 on roads traversing through deciduous, coniferous, cropland, wetlands and nonagricultural landscapes with less than 10% treed area. On average, this represents 1,167 birds killed/100 km in Canada. Adjusted for scavenging, this estimate was 13,810,906 (3,462 dead birds/100 km). For barn owls, the unadjusted number of birds killed annually on 4-lane roads during the breeding and fledging season, within the species geographic range in southern British Columbia, was estimated as 244 owls and, when adjusted for scavenging and observer bias (3.6 factor), the total was 851 owls.

A Generic Deformable Model for Vehicle Recognition

This paper reports the development of a highly parameterised 3-D model able to adopt the shapes of a wide variety of different classes of vehicles (cars, vans, buses, etc), and its subsequent specialisation to a generic car class which accounts for most commonly encountered types of car (includng saloon, hatchback and estate cars). An interactive tool has been developed to obtain sample data for vehicles from video images. A PCA description of the manually sampled data provides a deformable model in which a single instance is described as a 6 parameter vector. Both the pose and the structure of a car can be recovered by fitting the PCA model to an image. The recovered description is sufficiently accurate to discriminate between vehicle sub-classes.

Model-based vehicle detection and classification using orthographic approximations

This paper reports the current state of work to simplify our previous model-based methods for visual tracking of vehicles for use in a real-time system intended to provide continuous monitoring and classification of traffic from a fixed camera on a busy multi-lane motorway. The main constraints of the system design were: (i) all low level processing to be carried out by low-cost auxiliary hardware, (ii) all 3-D reasoning to be carried out automatically off-line, at set-up time. The system developed uses three main stages: (i) pose and model hypothesis using 1-D templates, (ii) hypothesis tracking, and (iii) hypothesis verification, using 2-D templates. Stages (i) & (iii) have radically different computing performance and computational costs, and need to be carefully balanced for efficiency. Together, they provide an effective way to locate, track and classify vehicles.

On the question of proportionality of the count of observed Scrapie cases and the size of holding

Background: The present paper investigates the question of a suitable basic model for the number of scrapie cases in a holding and applications of this knowledge to the estimation of scrapie-ffected holding population sizes and adequacy of control measures within holding. Is the number of scrapie cases proportional to the size of the holding in which case it should be incorporated into the parameter of the error distribution for the scrapie counts? Or, is there a different - potentially more complex - relationship between case count and holding size in which case the information about the size of the holding should be better incorporated as a covariate in the modeling? Methods: We show that this question can be appropriately addressed via a simple zero-truncated Poisson model in which the hypothesis of proportionality enters as a special offset-model. Model comparisons can be achieved by means of likelihood ratio testing. The procedure is illustrated by means of surveillance data on classical scrapie in Great Britain. Furthermore, the model with the best fit is used to estimate the size of the scrapie-affected holding population in Great Britain by means of two capture-recapture estimators: the Poisson estimator and the generalized Zelterman estimator. Results: No evidence could be found for the hypothesis of proportionality. In fact, there is some evidence that this relationship follows a curved line which increases for small holdings up to a maximum after which it declines again. Furthermore, it is pointed out how crucial the correct model choice is when applied to capture-recapture estimation on the basis of zero-truncated Poisson models as well as on the basis of the generalized Zelterman estimator. Estimators based on the proportionality model return very different and unreasonable estimates for the population sizes. Conclusion: Our results stress the importance of an adequate modelling approach to the association between holding size and the number of cases of classical scrapie within holding. Reporting artefacts and speculative biological effects are hypothesized as the underlying causes of the observed curved relationship. The lack of adjustment for these artefacts might well render ineffective the current strategies for the control of the disease.

Timing and the holding periods of institutional real estate

Literature on investors' holding periods for securities suggests that high transaction costs are associated with longer holding periods. Return volatility, by contrast, is associated with shorter holding periods. In real estate, high transaction costs and illiquidity imply longer holding periods. Research on depreciation and obsolescence suggests that there might be an optimal holding period. Sales rates and holding periods for U.K. institutional real estate are analyzed, using a proportional hazards model, over an 18-year period. The results show longer holding periods than those claimed by investors, with marked differences by type of property and over time. The results shed light on investor behavior.

Optimal kinematic control of an autonomous underwater vehicle

This note investigates the motion control of an autonomous underwater vehicle (AUV). The AUV is modeled as a nonholonomic system as any lateral motion of a conventional, slender AUV is quickly damped out. The problem is formulated as an optimal kinematic control problem on the Euclidean Group of Motions SE(3), where the cost function to be minimized is equal to the integral of a quadratic function of the velocity components. An application of the Maximum Principle to this optimal control problem yields the appropriate Hamiltonian and the corresponding vector fields give the necessary conditions for optimality. For a special case of the cost function, the necessary conditions for optimality can be characterized more easily and we proceed to investigate its solutions. Finally, it is shown that a particular set of optimal motions trace helical paths. Throughout this note we highlight a particular case where the quadratic cost function is weighted in such a way that it equates to the Lagrangian (kinetic energy) of the AUV. For this case, the regular extremal curves are constrained to equate to the AUV's components of momentum and the resulting vector fields are the d'Alembert-Lagrange equations in Hamiltonian form.

Learning enhanced 3D models for vehicle tracking

This paper presents an enhanced hypothesis verification strategy for 3D object recognition. A new learning methodology is presented which integrates the traditional dichotomic object-centred and appearance-based representations in computer vision giving improved hypothesis verification under iconic matching. The "appearance" of a 3D object is learnt using an eigenspace representation obtained as it is tracked through a scene. The feature representation implicitly models the background and the objects observed enabling the segmentation of the objects from the background. The method is shown to enhance model-based tracking, particularly in the presence of clutter and occlusion, and to provide a basis for identification. The unified approach is discussed in the context of the traffic surveillance domain. The approach is demonstrated on real-world image sequences and compared to previous (edge-based) iconic evaluation techniques.

Holding periods and investment performance: analysing UK office returns 1983-2003

Drawing on a unique database of office properties constructed for Gerald Eve by IPD, this paper examines the holding periods of individual office properties sold between 1983 and 2003. It quantifies the holding periods of sold properties and examines the relationship between the holding period and investment performance. Across the range of holding periods, excess returns (performance relative to the market) are evenly distributed. There are as many winners as there are losers. The distribution of excess returns over different holding periods is widely spread with the risk of under-performance greater over short holding periods. Over the longer term, excess performance is confined to a narrow range and individual returns are more likely to perform in line with the market as a whole.

Production and evaluation of dry alginate-chitosan microcapsules as an enteric delivery vehicle for probiotic bacteria

This study investigates the production of alginate microcapsules, which have been coated with the polysaccharide chitosan, and evaluates some of their properties with the intention of improving the gastrointestinal viability of a probiotic (Bifidobacterium breve) by encapsulation in this system. The microcapsules were dried by a variety of methods, and the most suitable was chosen. The work described in this Article is the first report detailing the effects of drying on the properties of these microcapsules and the viability of the bacteria within relative to wet microcapsules. The pH range over which chitosan and alginate form polyelectrolyte complexes was explored by spectrophotometry, and this extended into swelling studies on the microcapsules over a range of pHs associated with the gastrointestinal tract. It was shown that chitosan stabilizes the alginate microcapsules at pHs above 3, extending the stability of the capsules under these conditions. The effect of chitosan exposure time on the coating thickness was investigated for the first time by confocal laser scanning microscopy, and its penetration into the alginate matrix was shown to be particularly slow. Coating with chitosan was found to increase the survival of B. breve in simulated gastric fluid as well as prolong its release upon exposure to intestinal pH.