The Aurora Abstract Machine and its Emulator

Aurora is a prototype Or-Parallel implementation of the full Prolog language fot shared-memory multiprocessors, developed as part of an informal research collaboration known as the "Gigalips Project". This report describes the abstract machine of the implementation, expressed in terms of a Prolog engine adapted for Or-Parallel execution by means of the SRI model. An algorithms interface defining the communication between the engine and sheduler components of each Aurora process is described, and enables different engine and scheduler components to be used interchangeably. Both the interface and the engine are Fundamentally revised versions of those used in previous generations of the implementation

A coupled homogenisation-damage model for masonry cracking

Cracking is responsible for the vast majority of masonry non-linear behaviour, due to the low tensile strength of the material. Masonry features orthotropic behaviour with material axes normal and parallel to the bed joints, being the response straightforward for tension normal to the bed joints and rather complex for tension parallel to the bed joints. This paper addresses the formulation and implementation of coupling between a micro-mechanical homogenisation model and an isotropic damage model for the masonry components. The non-linear homogenisation formulation requires an improved internal deformation mode of the masonry basic cell, with respect to previous works. Finally, the model is validated with a comparison with numerical results available in the literature, using interface modelling

User's guide to the Reliability Estimation System Testbed (REST)

The Reliability Estimation System Testbed is an X-window based reliability modeling tool that was created to explore the use of the Reliability Modeling Language (RML). RML was defined to support several reliability analysis techniques including modularization, graphical representation, Failure Mode Effects Simulation (FMES), and parallel processing. These techniques are most useful in modeling large systems. Using modularization, an analyst can create reliability models for individual system components. The modules can be tested separately and then combined to compute the total system reliability. Because a one-to-one relationship can be established between system components and the reliability modules, a graphical user interface may be used to describe the system model. RML was designed to permit message passing between modules. This feature enables reliability modeling based on a run time simulation of the system wide effects of a component's failure modes. The use of failure modes effects simulation enhances the analyst's ability to correctly express system behavior when using the modularization approach to reliability modeling. To alleviate the computation bottleneck often found in large reliability models, REST was designed to take advantage of parallel processing on hypercube processors

Construction and Software Design for a Microcomputer Controlled pH/Ion Titrator

The construction of an automated titration device is described. The major components include an Apple II+ Microcomputer and 8-bit parallel interface. Fisher Accumet, Model 520 Digital pH/lon Meter, Gilmont Micrometer Buret of 2.5 mL capacity, Sigma stepper motor, power supply and driver to operate the buret, and a constant temperature bath of ± 0.005 °C stability. The limitations of the system are 0.001 pH/0.1 mv for the pH/ion sensing system, and 0.125 μL per step for the buret. The system as described is designed to determine equilibrium constants for metal ion-amino acid complexes. By changing the software a variety of different pH and redox titration experiments may be performed. A computer program used to operate the stepper motor driven syringe buret and record the pH from a digital pH meter is described. The program uses both Apple BASIC and assembly language. This is a closed loop operation in which the data from the pH meter is used to control the amount of reagent delivered by the buret. The results are displayed graphically as the titration proceeds. The variance of the pH readings are calculated using an assembly language subroutine and the calculations are done with zero round-off error

A disposable continuum endoscope using piston-driven parallel bellow actuator

This paper presents a novel low cost disposable continuum endoscope based on a piston-driven parallel bellow actuator design. The parallel bellow actuator achieves motion by being pressurized via displacement-controlled pistons. The displacements are generated by rack-and-pinion mechanisms using inexpensive stepper motors. The design concept provides a potential alternative solution to upper gastrointestinal (UGI) diagnosis. The modularity and the use of inexpensive components allow for low fabrication costs and disposability. The use of robotic assistance could facilitate the development of an easier interface for the gastroenterologists, avoiding the nonintuitive manipulation mapping of the traditional UGI endoscopes. We adapt existing kinematic solutions of multi-backbone continuum robots to model continuum parallel bellow actuators. An actuation compensation strategy is presented and validated to address the pneumatic compressibility through the transmission lines. The design concept was prototyped and tested with a custom control platform. The experimental validation shows that the actuation compensation was demonstrated to significantly improve orientation control of the endoscope end-effector. This paper shows the feasibility of the proposed design and lays the foundation toward clinical scenarios

An Object-Oriented Programming Environment for Parallel Genetic Algorithms

This thesis investigates an object-oriented programming environment for building parallel applications based on genetic algorithms (GAs). It describes the design of the Genetic Algorithms Manipulation Environment (GAME), which focuses on three major software development requirements: flexibility, expandability and portability. Flexibility is provided by GAME through a set of libraries containing pre-defined and parameterised components such as genetic operators and algorithms. Expandability is offered by GAME'S object-oriented design. It allows applications, algorithms and genetic operators to be easily modified and adapted to satisfy diverse problem's requirements. Lastly, portability is achieved through the use of the standard C++ language, and by isolating machine and operating system dependencies into low-level modules, which are hidden from the application developer by GAME'S application programming interfaces. The development of GAME is central to the Programming Environment for Applications of PArallel GENetic Algorithms project (PAPAGENA). This is the principal European Community (ESPRIT III) funded parallel genetic algorithms project. It has two main goals: to provide a general-purpose tool kit, supporting the development and analysis of large-scale parallel genetic algorithms (PGAs) applications, and to demonstrate the potential of applying evolutionary computing in diverse problem domains. The research reported in this thesis is divided in two parts: i) the analysis of GA models and the study of existing GA programming environments from an application developer perspective; ii) the description of a general-purpose programming environment designed to help with the development of GA and PGA-based computer programs. The studies carried out in the first part provide the necessary understanding of GAs' structure and operation to outline the requirements for the development of complex computer programs. The second part presents GAME as the result of combining development requirements, relevant features of existing environments and innovative ideas, into a powerful programming environment. The system is described in terms of its abstract data structures and sub-systems that allow the representation of problems independently of any particular GA model. GAME's programming model is also presented as general-purpose object-oriented framework for programming coarse-grained parallel applications. GAME has a modular architecture comprising five modules: the Virtual Machine, the Parallel Execution Module, the Genetic Libraries, the Monitoring Control Module, and the Graphic User Interface. GAME's genetic-oriented abstract data structures, and the Virtual Machine, isolates genetic operators and algorithms from low-level operations such as memory management, exception handling, etc. The Parallel Execution Module supports GAME's object- oriented parallel programming model. It defines an application programming interface and a runtime library that allow the same parallel application, created within the environment, to run on different hardware and operating system platforms. The Genetic Libraries outline a hierarchy of components implemented as parameterised versions of standard and custom genetic operators, algorithms and applications. The Monitoring Control Module supports dynamic control and monitoring of simulations, whereas the Graphic User Interface defines a basic framework and graphic 'widgets' for displaying and entering data. This thesis describes the design philosophy and rationale behind these modules, covering in more detail the Virtual Machine, the Parallel Execution Module and the Genetic Libraries. The assessment discusses the system's ability to satisfy the main requirements of GA and PGA software development, as well as the features that distinguish GAME from other programming environments

CO-0.30-0.07: A Peculiar Molecular Clump with an Extremely Broad Velocity Width

The high velocity dispersion compact cloud CO-0.30-0.07 is a peculiar molecular clump discovered in the central moleculr zone of the Milky Way, which is characterized by its extremely broad velocity emissions ($\sim 145\ \rm{km s^{-1}}$) despite the absence of internal energy sources. We present new interferometric maps of the cloud in multiple molecular lines in frequency ranges of 265--269 GHz and 276--280 GHz obtained using the Sumbmillimeter Array, along with the single-dish images previously obtained with the ASTE 10-m telescope. The data show that the characteristic broad velocity emissions are predominantly confined in two parallel ridges running through the cloud center. The central ridges are tightly anti-correlated with each other in both space and velocity, thereby sharply dividing the entire cloud into two distinct velocity components (+15 km s$^{-1}$ and +55 km s$^{-1}$). This morphology is consistent with a model in which the two velocity components collide with a relative velocity of 40 $\mathrm{km s^{-1}}$ at the interface defined by the central ridges, although an alternative explanation with a highly inclined expanding-ring model is yet to be fully invalidated. We have also unexpectedly detected several compact clumps ($\lesssim 0.1\$pc in radius) likely formed by shock compression. The clumps have several features in common with typical star-forming clouds: high densities ($10^{6.5-7.5}\ \mathrm{cm^{-3}}$), rich abundances of hot-core-type molecular species, and relatively narrow velocity widths apparently decoupled from the furious turbulence dominating the cloud. The cloud CO-0.30-0.07 is possibly at an early phase of star formation activity triggered by the shock impact.Comment: 29 pages, 10 figures, accepted for publication in Ap