A real-time software architecture for robotics and automation

This paper describes a software architecture for real-world robotic applications. We discuss issues of software reliability, testing and realistic off-line simulation that allows the majority of the automation system to be tested off-line in the laboratory before deployment in the field. A recent project, the automation of a very large mining machine is used to illustrate the discussion.

Applications of real-time machine vision to the control of mining equipment

The mining industry presents us with a number of ideal applications for sensor based machine control because of the unstructured environment that exists within each mine. The aim of the research presented here is to increase the productivity of existing large compliant mining machines by retrofitting with enhanced sensing and control technology. The current research focusses on the automatic control of the swing motion cycle of a dragline and an automated roof bolting system. We have achieved: * closed-loop swing control of an one-tenth scale model dragline; * single degree of freedom closed-loop visual control of an electro-hydraulic manipulator in the lab developed from standard components.

A dynamic real time scheduling methodology for the emergency department

This project constructs a scheduling solution for the Emergency Department. The schedules are generated in real-time to adapt to new patient arrivals and changing conditions. An integrated scheduling formulation assigns patients to beds and treatment tasks to resources. The schedule efficiency is assessed using waiting time and total care time experienced by patients. The solution algorithm incorporates dispatch rules, meta-heuristics and a new extended disjunctive graph formulation which provide high quality solutions in a fast time-frame for real time decision support. This algorithm can be implemented in an electronic patient management system to improve patient flow in the Emergency Department.

Dynamic, invivo, real-time detection of retinal oxidative status in a model of elevated intraocular pressure using a novel, reversibly responsive, profluorescent nitroxide probe

Changes to the redox status of biological systems have been implicated in the pathogenesis of a wide variety of disorders including cancer, Ischemia-reperfusion (I/R) injury and neurodegeneration. In times of metabolic stress e.g. ischaemia/reperfusion, reactive oxygen species (ROS) production overwhelms the intrinsic antioxidant capacity of the cell, damaging vital cellular components. The ability to quantify ROS changes in vivo, is therefore essential to understanding their biological role. Here we evaluate the suitability of a novel reversible profluorescent probe containing a redox-sensitive nitroxide moiety (methyl ester tetraethylrhodamine nitroxide, ME-TRN), as an in vivo, real-time reporter of retinal oxidative status. The reversible nature of the probe's response offers the unique advantage of being able to monitor redox changes in both oxidizing and reducing directions in real time. After intravitreal administration of the ME-TRN probe, we induced ROS production in rat retina using an established model of complete, acute retinal ischaemia followed by reperfusion. After restoration of blood flow, retinas were imaged using a Micron III rodent fundus fluorescence imaging system, to quantify the redox-response of the probe. Fluorescent intensity declined during the first 60 min of reperfusion. The ROS-induced change in probe fluorescence was ameliorated with the retinal antioxidant, lutein. Fluorescence intensity in non-Ischemia eyes did not change significantly. This new probe and imaging technology provide a reversible and real-time response to oxidative changes and may allow the in vivo testing of antioxidant therapies of potential benefit to a range of diseases linked to oxidative stress

Inertial sensor real-time feedback enhances the learning of cervical spine manipulation: A prospective study

Background Cervical Spinal Manipulation (CSM) is considered a high-level skill of the central nervous system because it requires bimanual coordinated rhythmical movements therefore necessitating training to achieve proficiency. The objective of the present study was to investigate the effect of real-time feedback on the performance of CSM. Methods Six postgraduate physiotherapy students attending a training workshop on Cervical Spine Manipulation Technique (CSMT) using inertial sensor derived real-time feedback participated in this study. The key variables were pre-manipulative position, angular displacement of the thrust and angular velocity of the thrust. Differences between variables before and after training were investigated using t-tests. Results There were no significant differences after training for the pre-manipulative position (rotation p = 0.549; side bending p = 0.312) or for thrust displacement (rotation p = 0.247; side bending p = 0.314). Thrust angular velocity demonstrated a significant difference following training for rotation (pre-training mean (sd) 48.9°/s (35.1); post-training mean (sd) 96.9°/s (53.9); p = 0.027) but not for side bending (p = 0.521). Conclusion Real-time feedback using an inertial sensor may be valuable in the development of specific manipulative skill. Future studies investigating manipulation could consider a randomized controlled trial using inertial sensor real time feedback compared to traditional training.

Real-time wind speed estimation and compensation for improved flight

This paper presents the development and experimental validation of a prototype system for online estimation and compensation of wind disturbances onboard small Rotorcraft unmanned aerial systems (RUAS). The proposed approach consists of integrating a small pitot-static system onboard the vehicle and using simple but effective algorithms for estimating the wind speed in real time. The baseline flight controller has been augmented with a feed-forward term to compensate for these wind disturbances, thereby improving the flight performance of small RUAS in windy conditions. The paper also investigates the use of online airspeed measurements in a closed-loop for controlling the RUAS forward motion without the aid of a global positioning system (GPS). The results of more than 80 flights with a RUAS confirm the validity of our approach.

Multiplex real-time PCR for the detection and differentiation of equid herpesvirus 1 (EHV-1) and equid herpesvirus 4 (EHV-4).

A multiplex real-time PCR was designed to detect and differentiate equid herpesvirus 1 (EHV-1) and equid herpesvirus 4 (EHV-4). The PCR targets the glycoprotein B gene of EHV-1 and EHV-4. Primers and probes were specific to each equine herpesvirus type and can be used in monoplex or multiplex PCRs, allowing the differentiation of these two closely related members of the Alphaherpesvirinae. The two probes were minor-groove binding probes (MGB?) labelled with 6-carboxy-fluorescein (FAM?) and VIC® for detection of EHV-1 and EHV-4, respectively. Ten EHV-1 isolates, six EHV-1 positive clinical samples, one EHV-1 reference strain (EHV-1.438/77), three EHV-4 positive clinical samples, two EHV-4 isolates and one EHV-4 reference strain (EHV-4 405/76) were included in this study. EHV-1 isolates, clinical samples and the reference strain reacted in the EHV-1 real-time PCR but not in the EHV-4 real-time PCR and similarly EHV-4 clinical samples, isolates and the reference strain were positive in the EHV-4 real-time PCR but not in the EHV-1 real-time PCR. Other herpesviruses, such as EHV-2, EHV-3 and EHV-5 were all negative when tested using the multiplex real-time PCR. When bacterial pathogens and opportunistic pathogens were tested in the multiplex real-time PCR they did not react with either system. The multiplex PCR was shown to be sensitive and specific and is a useful tool for detection and differentiation of EHV-1 and EHV-4 in a single reaction. A comprehensive equine herpesvirus disease investigation procedure used in our laboratory is also outlined. This procedure describes the combination of alphaherpesvirus multiplex real-time PCR along with existing gel-based PCRs described by other authors.

Real-time wide-area loading margin sensitivity (WALMS) in power systems

Loading margin sensitivity (LMS) has been widely used in applications in the realm of voltage stability assessment and control. Typically, LMS is derived based on system equilibrium equations near bifurcation and therefore requires full detailed system model and significant computation effort. Availability of phasor measurement units (PMUs) due to the recent development of wide-area monitoring system (WAMS) provides an alternative computation-friendly approach for calculating LMS. With such motivation, this work proposes measurement-based wide-area loading margin sensitivity (WALMS) in bulk power systems. The proposed sensitivity, with its simplicity, has great potential to be embedded in real-time applications. Moreover, the calculation of the WALMS is not limited to low voltage near bifurcation point. A case study on IEEE 39-bus system verifies the proposed sensitivity. Finally, a voltage control scenario demonstrates the potential application of the WALMS.

Rapid in situ processing for real-time holographic interferometry

Experiments are described which show that a monobath can be used for rapid in situ processing in a liquid gate for real-time holographic interferometry. This also permits utilization of a very simple solution handling system. Changes in emulsion thickness are reduced to an acceptable level and problems of matching refractive indices are eliminated by exposing and viewing the holograms in water. Excellent null patterns are obtained and real-time holographic interferometry can be carried out over long periods of time.

Power Aware Real Time Scheduling in Constrained Devices

Real-time scheduling algorithms, such as Rate Monotonic and Earliest Deadline First, guarantee that calculations are performed within a pre-defined time. As many real-time systems operate on limited battery power, these algorithms have been enhanced with power-aware properties. In this thesis, 13 power-aware real-time scheduling algorithms for processor, device and system-level use are explored.

A real-time algorithm for simulation of flexible objects and hyper-redundant manipulators

Flexible objects such as a rope or snake move in a way such that their axial length remains almost constant. To simulate the motion of such an object, one strategy is to discretize the object into large number of small rigid links connected by joints. However, the resulting discretised system is highly redundant and the joint rotations for a desired Cartesian motion of any point on the object cannot be solved uniquely. In this paper, we revisit an algorithm, based on the classical tractrix curve, to resolve the redundancy in such hyper-redundant systems. For a desired motion of the `head' of a link, the `tail' is moved along a tractrix, and recursively all links of the discretised objects are moved along different tractrix curves. The algorithm is illustrated by simulations of a moving snake, tying of knots with a rope and a solution of the inverse kinematics of a planar hyper-redundant manipulator. The simulations show that the tractrix based algorithm leads to a more `natural' motion since the motion is distributed uniformly along the entire object with the displacements diminishing from the `head' to the `tail'.

Real-time kinematic positioning over long baselines using triple-frequency BeiDou signals

The BeiDou system is the first global navigation satellite system in which all satellites transmit triple-frequency signals that can provide the positioning, navigation, and timing independently. A benefit of triple-frequency signals is that more useful combinations can be formed, including some extrawide-lane combinations whose ambiguities can generally be instantaneously fixed without distance restriction, although the narrow-lane ambiguity resolution (NL AR) still depends on the interreceiver distance or requires a long time to achieve. In this paper, we synthetically study decimeter and centimeter kinematic positioning using BeiDou triple-frequency signals. It starts with AR of two extrawide-lane signals based on the ionosphere-free or ionosphere-reduced geometry-free model. For decimeter positioning, one can immediately use two ambiguity-fixed extrawide-lane observations without pursuing NL AR. To achieve higher accuracy, NL AR is the necessary next step. Despite the fact that long-baseline NL AR is still challenging, some NL ambiguities can indeed be fixed with high reliability. Partial AR for NL signals is acceptable, because as long as some ambiguities for NL signals are fixed, positioning accuracy will be certainly improved.With accumulation of observations, more and more NL ambiguities are fixed and the positioning accuracy continues to improve. An efficient Kalman-filtering system is established to implement the whole process. The formulated system is flexible, since the additional constraints can be easily applied to enhance the model's strength. Numerical results from a set of real triple-frequency BeiDou data on a 50 km baseline show that decimeter positioning is achievable instantaneously.With only five data epochs, 84% of NL ambiguities can be fixed so that the real-time kinematic accuracies are 4.5, 2.5, and 16 cm for north, east, and height components (respectively), while with 10 data epochs more than 90% of NL ambiguities are fixed, and the rea- -time kinematic solutions are improved to centimeter level for all three coordinate components.

Conflict-Tolerant Real-Time Features

This paper addresses the problem of detecting and resolving conflicts due to timing constraints imposed by features in real-time systems. We consider systems composed of a base system with multiple features or controllers, each of which independently advise the system on how to react to input events so as to conform to their individual specifications. We propose a methodology for developing such systems in a modular manner based on the notion of conflict tolerant features that are designed to continue offering advice even when their advice has been overridden in the past. We give a simple priority based scheme for composing such features. This guarantees the maximal use of each feature. We provide a formal framework for specifying such features, and a compositional technique for verifying systems developed in this framework.

Supervisory Control for Real-Time Systems Based on Conflict-Tolerant Controllers

This paper addresses the problem of detecting and resolving conflicts due to timing constraints imposed by features in real-time and hybrid systems. We consider systems composed of a base system with multiple features or controllers, each of which independently advise the system on how to react to input events so as to conform to their individual specifications. We propose a methodology for developing such systems in a modular manner based on the notion of conflict-tolerant features that are designed to continue offering advice even when their advice has been overridden in the past. We give a simple priority-based scheme forcomposing such features. This guarantees the maximal use of each feature. We provide a formal framework for specifying such features, and a compositional technique for verifying systems developed in this framework.

Real-time image denoising algorithm in teleradiology systems - art.no.606304

Denoising of medical images in wavelet domain has potential application in transmission technologies such as teleradiology. This technique becomes all the more attractive when we consider the progressive transmission in a teleradiology system. The transmitted images are corrupted mainly due to noisy channels. In this paper, we present a new real time image denoising scheme based on limited restoration of bit-planes of wavelet coefficients. The proposed scheme exploits the fundamental property of wavelet transform - its ability to analyze the image at different resolution levels and the edge information associated with each sub-band. The desired bit-rate control is achieved by applying the restoration on a limited number of bit-planes subject to the optimal smoothing. The proposed method adapts itself to the preference of the medical expert; a single parameter can be used to balance the preservation of (expert-dependent) relevant details against the degree of noise reduction. The proposed scheme relies on the fact that noise commonly manifests itself as a fine-grained structure in image and wavelet transform allows the restoration strategy to adapt itself according to directional features of edges. The proposed approach shows promising results when compared with unrestored case, in context of error reduction. It also has capability to adapt to situations where noise level in the image varies and with the changing requirements of medical-experts. The applicability of the proposed approach has implications in restoration of medical images in teleradiology systems. The proposed scheme is computationally efficient.