SAR imaging of buried objects from MoM modelled scattered field

Synthetic aperture radar (SAR) images of resonant buried objects are modelled in the presence of ground surface clutter. The method of moments (MoM) is used to model scattered fields from a resonant buried conductor and clutter is modelled as a bivariant Gaussian distribution. A diffraction stack SAR imaging technique is applied to the ultra-wideband waveforms to give a bipolar signal image. A number of examples have been computed to illustrate the combined effects of SAR processing with resonant targets and clutter. SAR images of different targets show differences which may facilitate target identification. To maximise the peak signal-to-clutter ratio, an image correlation technique is applied and the results are shown.

Tracing the fate of N-15-enriched feed in an intensive shrimp system

The fate of N-15-nitrogen-enriched formulated feed fed to shrimp was traced through the food web in shallow, outdoor tank systems (1000 1) stocked with shrimp. Triplicate tanks containing shrimp water with and without sediment were used to identify the role of the natural biota in the water column and sediment in processing dietary nitrogen (N). A preliminary experiment demonstrated that N-15-nitrogen-enriched feed products could be detected in the food web. Based on this, a 15-day experiment was conducted. The ammonium (NH4+) pool in the water column became rapidly enriched (within one day) with N-15-nitrogen after shrimp were fed N-15-enriched feed. By day 15, 6% of the added N-15-nitrogen was in this fraction in the 'sediment' tanks compared with 0.4% in the 'no sediment' tanks. The particulate fraction in the water column, principally autotrophic nanoflagellates, accounted for 4-5% of the N-15-nitrogen fed to shrimp after one day. This increased to 16% in the 'no sediment' treatment, and decreased to 2% in the 'sediment' treatment by day 15. It appears that dietary N was more accessible to the phytoplankton community in the absence of sediment. The difference is possibly because a proportion of the dietary N was buried in the sediment in the 'sediment' treatment, making it unavailable to the phytoplankton. Alternatively, the dietary N was retained in the NH4+ pool in the water column since phytoplankton growth, and hence, N utilization was lower in the 'sediment' treatment. The lower growth of phytoplankton in the 'sediment' treatment appeared to be related to higher turbidity, and hence, lower light availability for growth. The percentage N-15-nitrogen detected in the sediment was only 6% despite the high capacity for sedimentation of the large biomass of plankton detritus and shrimp waste. This suggests rapid remineralization of organic waste by the microbial community in the sediment resulting in diffusion of inorganic N sources into the water column. It is likely that most of the dietary N will ultimately be removed from the tank system by water discharges. Our study showed that N-15-nitrogen derived from aquaculture feed can be processed by the microbial community in outdoor aquaculture systems and provides a method for determining the effect of dietary N on ecosystems. However, a significant amount of the dietary N was not retained by the natural biota and is likely to be present in the soluble organic fraction. (C) 2002 Elsevier Science B.V. All rights reserved.

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Marine palaeo-ecological and depositional processes on the shallow-waters of the Azores archipelago: the mobile Ostracoda (Crustacea) and the sessile Bryozoa as case-studies

Tese de Doutoramento, Biologia (Taxonomia Zoológica), 11 de Outubro de 2013, Universidade dos Açores.

Dosimetric effect by shallow air cavities in high energy electron beams

This study evaluates the dosimetric impact caused by an air cavity located at 2 mm depth from the top surface in a PMMA phantom irradiated by electron beams produced by a Siemens Primus linear accelerator. A systematic evaluation of the effect related to the cavity area and thickness as well as to the electron beam energy was performed by using Monte Carlo simulations (EGSnrc code), Pencil Beam algorithm and Gafchromic EBT2 films. A home-PMMA phantom with the same geometry as the simulated one was specifically constructed for the measurements. Our results indicate that the presence of the cavity causes an increase (up to 70%) of the dose maximum value as well as a shift forward of the position of the depthedose curve, compared to the homogeneous one. Pronounced dose discontinuities in the regions close to the lateral cavity edges are observed. The shape and magnitude of these discontinuities change with the dimension of the cavity. It is also found that the cavity effect is more pronounced (6%) for the 12 MeV electron beam and the presence of cavities with large thickness and small area introduces more significant variations (up to 70%) on the depthedose curves. Overall, the Gafchromic EBT2 film measurements were found in agreement within 3% with Monte Carlo calculations and predict well the fine details of the dosimetric change near the cavity interface. The Pencil Beam calculations underestimate the dose up to 40% compared to Monte Carlo simulations; in particular for the largest cavity thickness (2.8 cm).

Towards a Unified Theory of Health-Disease: I. Health as a complex model-object

Theory building is one of the most crucial challenges faced by basic, clinical and population research, which form the scientific foundations of health practices in contemporary societies. The objective of the study is to propose a Unified Theory of Health-Disease as a conceptual tool for modeling health-disease-care in the light of complexity approaches. With this aim, the epistemological basis of theoretical work in the health field and concepts related to complexity theory as concerned to health problems are discussed. Secondly, the concepts of model-object, multi-planes of occurrence, modes of health and disease-illness-sickness complex are introduced and integrated into a unified theoretical framework. Finally, in the light of recent epistemological developments, the concept of Health-Disease-Care Integrals is updated as a complex reference object fit for modeling health-related processes and phenomena.

Coordinated transportation of a large object by a team of three robots

Dynamical systems theory in this work is used as a theoretical language and tool to design a distributed control architecture for a team of three robots that must transport a large object and simultaneously avoid collisions with either static or dynamic obstacles. The robots have no prior knowledge of the environment. The dynamics of behavior is defined over a state space of behavior variables, heading direction and path velocity. Task constraints are modeled as attractors (i.e. asymptotic stable states) of the behavioral dynamics. For each robot, these attractors are combined into a vector field that governs the behavior. By design the parameters are tuned so that the behavioral variables are always very close to the corresponding attractors. Thus the behavior of each robot is controlled by a time series of asymptotical stable states. Computer simulations support the validity of the dynamical model architecture.

Coordinated transportation of a large object by a team of two robots

In this paper dynamical systems theory is used as a theoretical language and tool to design a distributed control architecture for a team of two robots that must transport a large object and simultaneously avoid collisions with obstacles (either static or dynamic). This work extends the previous work with two robots (see [1] and [5]). However here we demonstrate that it’s possible to simplify the architecture presented in [1] and [5] and reach an equally stable global behavior. The robots have no prior knowledge of the environment. The dynamics of behavior is defined over a state space of behavior variables, heading direction and path velocity. Task constrains are modeled as attractors (i.e. asymptotic stable states) of a behavioral dynamics. For each robot, these attractors are combined into a vector field that governs the behavior. By design the parameters are tuned so that the behavioral variables are always very close to the corresponding attractors. Thus the behavior of each robot is controlled by a time series of asymptotic stable states. Computer simulations support the validity of the dynamical model architecture.

Object transportation by multiple mobile robots controlled by attractor dynamics: theory and implementation

Dynamical systems theory is used as a theoretical language and tool to design a distributed control architecture for teams of mobile robots, that must transport a large object and simultaneously avoid collisions with (either static or dynamic) obstacles. Here we demonstrate in simulations and implementations in real robots that it is possible to simplify the architectures presented in previous work and to extend the approach to teams of n robots. The robots have no prior knowledge of the environment. The motion of each robot is controlled by a time series of asymptotical stable states. The attractor dynamics permits the integration of information from various sources in a graded manner. As a result, the robots show a strikingly smooth an stable team behaviour.

Using attractor dynamics to generate decentralized motion control of two mobile robots transporting a long object in coordination

Dynamical systems theory is used here as a theoretical language and tool to design a distributed control architecture for a team of two mobile robots that must transport a long object and simultaneously avoid obstacles. In this approach the level of modeling is at the level of behaviors. A “dynamics” of behavior is defined over a state space of behavioral variables (heading direction and path velocity). The environment is also modeled in these terms by representing task constraints as attractors (i.e. asymptotically stable states) or reppelers (i.e. unstable states) of behavioral dynamics. For each robot attractors and repellers are combined into a vector field that governs the behavior. The resulting dynamical systems that generate the behavior of the robots may be nonlinear. By design the systems are tuned so that the behavioral variables are always very close to one attractor. Thus the behavior of each robot is controled by a time series of asymptotically stable states. Computer simulations support the validity of our dynamic model architectures.

A type system for access control in an object-oriented language

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Analysis of support for modularity in object teams based on design patterns

Dissertação de Mestrado em Engenharia Informática

Land use / land cover change detection: an object oriented approach, Münster, Germany

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies