Signals,timers, and continuations for multithreaded user‐level protocols

Precise timing and asynchronous I/O are appealing features for many applications. Unix kernels provide such features on a per‐process basis, using signals to communicate asynchronous events to applications. Per‐process signals and timers are grossly inadequate for complex multithreaded applications that require per‐thread signals and timers that operate at finer granularity. To respond to this need, we present a scheme that integrates asynchronous (Unix) signals with user‐level threads, using the ARIADNE system as a platform. This is done with a view towards support for portable, multithreaded, and multiprotocol distributed applications, namely the CLAM (connectionless, lightweight, and multiway) communications library. In the same context, we propose the use of continuations as an efficient mechanism for reducing thread context‐switching and busy‐wait overheads in multithreaded protocols. Our proposal for integrating timers and signal‐handling mechanisms not only solves problems related to race conditions, but also offers an efficient and flexible interface for timing and signalling threads. Copyright © 2006 John Wiley & Sons, Ltd.     

Influence of pH on nickel electrodeposition at low nickel(II) concentrations

The effect of pH on the nucleation stages of nickel electrodeposition on vitreous carbon has been analysed using low nickel concentrations, without additives. The experimental results indicated that there was a change in the electrochemical response of the system at 4 < pH < 4.5. A predischarge adsorption ascribed to nickel(II) species was observed with a different surface coverage depending on the pH. Moreover, different inhibition and 3D nucleation processes were detected in varying experimental conditions.     

Micron-Scale Soft Actuators Fabricated from Multi-Shell Polystyrene Particle-Gold Nanoparticle Nanohybrids

Actuators made of soft matter are needed for a variety of fields ranging from biomedical devices to soft robotics to microelectromechanical systems. While there are a variety of excellent methods of soft actuation known, the field is still an area of intense research activity as new niches and needs emerge with new technology development. Here, a soft actuation system is described, based on a core-multi-shell particle, which moves via photothermal expansion. The system consists of a novel polystyrene-based thermally expandable microsphere, with a secondary shell of a silicate-silane graft copolymer, to which gold nanoparticles are covalently linked. The gold nanoparticles act as photothermal nano-transducers, converting light energy into the thermal energy necessary for microsphere expansion, which in turn results in material movement. Actuation is shown in isolated particles in thermal and photothermal regimes using metal ceramic heaters or 520 nm laser illumination, respectively. Macroscale actuation is demonstrated by making a composite material of particles suspended in the transparent elastomer polydimethylsiloxane. The sample demonstrates an inchworm-like movement by starting from an arched geometry. Overall, this work describes a new particle-based actuation method for soft materials, and demonstrates its utility in driving the movement of a composite elastomer.     

Analysing neurobiological models using communicating automata

Two important issues in computational modelling in cognitive neuroscience are: first, how to formally describe neuronal networks (i.e. biologically plausible models of the central nervous system), and second, how to analyse complex models, in particular, their dynamics and capacity to learn. We make progress towards these goals by presenting a communicating automata perspective on neuronal networks. Specifically, we describe neuronal networks and their biological mechanisms using Data-rich Communicating Automata, which extend classic automata theory with rich data types and communication. We use two case studies to illustrate our approach. In the first case study, we model a number of learning frameworks, which vary in respect of their biological detail, for instance the Backpropagation (BP) and the Generalized Recirculation (GeneRec) learning algorithms. We then used the SPIN model checker to investigate a number of behavioral properties of the neural learning algorithms. SPIN is a well-known model checker for reactive distributed systems, which has been successfully applied to many non-trivial problems. The verification results show that the biologically plausible GeneRec learning is less stable than BP learning. In the second case study, we presented a large scale (cognitive-level) neuronal network, which models an attentional spotlight mechanism in the visual system. A set of properties of this model was verified using Uppaal, a popular real-time model checker. The results show that the asynchronous processing supported by concurrency theory is not only a more biologically plausible way to model neural systems, but also provides a better performance in cognitive modelling of the brain than conventional artificial neural networks that use synchronous updates. Finally, we compared our approach with several other related theories that apply formal methods to cognitive modelling. In addition, the practical implications of the approach are discussed in the context of neuronal network based controllers.     

EXPERIMENTAL STUDIES OF NUCLEATION PHENOMENA WITHIN THERMAL BOUNDARY LAYERS—INFLUENCE ON CHEMICAL VAPOR DEPOSITION RATE PROCESSES

In carrying out partial vapor condensations using actively cooled surfaces it is known that 'mist' formation can occur within thermal boundary layers (Rosner and Epstein, 1968), dramatically modifying total deposition fluxes. Using a combination of flash-evaporation (Rosner and Liang, 1986) and laser probing techniques, we report new experimental results on binary alkali salt (K₂SO₄ + Na₂SO₄) deposition from combustion gases showing that the deposition rate of potassium sulfate first increases with the addition of sodium sulfate until the concentration of Na₂SO₄ reaches a (target surface temperature dependent) 'threshold' value. Further increases in the concentration of Na₂SO₄ dramatically decrease the total deposition rate of K₂SO₄, implying that potassium sulfate-containing microdroplets are formed within the thermal boundary layer, which, despite their thermophoretic drift toward the target, are not collected as effectively as the 'parent' K₂SO₄-vapor species. Laser light scattering measurements clearly reveal that suspended particles exist near the deposition surface under these conditions. Our experimental results on mass transfer rate and light scattering are consistent with those predicted using laminar boundary layer theory (Castillo and Rosner, 1989b) coupling both binary salt vapor deposition with particle vapor scavenging and deposition. Comparisons of our observed mist onset conditions (implying critical supersaturations near unity) with those expected using homogeneous nucleation theory suggest that the binary alkali sulfate mist nucleation mechanism is, instead, heterogeneous, even in our relatively 'clean' combustion products. Because of the; well-known vapor pressure reduction phenomenon associated here with the formation of non-ideal solutions, binary systems are shown to provide convenient 'vehicles' to investigate BL mist formation onset conditions and CVD-rate consequences without requiring the more extreme surface coolings characteristic of unary condensible vapor systems. An understanding of this dramatic phenomenon, obtained via such laboratory experiments and calculations, will allow its inclusion in future deposition rate calculations of engineering importance.     

Camera calibration in sport event scenarios

The main goal of this paper is the design of a novel and robust methodology for calibrating cameras from a single image in sport scenarios, such as a soccer field, or a basketball or tennis court. In these sport scenarios, the only references we use to calibrate the camera are the lines and circles delimiting the different regions. The first problem we address is the extraction of image primitives, including the challenging problems of shaded regions and lens distortion. From these primitives, we automatically recognise the location of the sport court in the scene by estimating the homography which matches the actual court with its projection onto the image. This is achieved even when only a few primitives are available. Finally, from this homography, we recover the camera calibration parameters. In particular, we estimate the focal length as well as the position and orientation in the 3D space. We present some experiments on models and real courts which illustrate the accuracy of the proposed methodology.     

Effect of different acids with Δ9,12-dienoic structures on Δ9 desaturation activity in rat liver microsomes

The effect of oral administration, for 24 or 48 hr, of different octadeca fatty acids containing a 9,12-dienoic structure on the fatty acid composition and Δ9 desaturation activity of liver microsomes of rat fed a fat-free diet was studied. The ethyl esters of linoelaidic and γ-linolenic acids, the methyl ester of linoleic acid and free columbinic acid were administered to rats maintained on a fat-free diet. The supplementation of the fat-free diet with linoelaidate produced no relevant changes in the fatty acid composition pattern of liver microsomes and did not modify the percentage of conversion of palmitic to palmitoleic acid. The addition of linoleate or γ-linolenate to the fat-free diet returned liver microsome Δ9 desaturation activity toward the control and partially restored the liver microsome fatty acid spectrum found in the fat-free diet. Columbinic acid (5-trans-9-cis,12-cis-18∶3), which cannot be transformed into arachidonic acid, also decreased the Δ9 desaturation activity enhanced by the fat-free diet and evoked changes in the microsomal fatty acid composition similar to those produced by the ω6 fatty acids. These results suggest that the modulation of Δ9 desaturase activity evoked by dietary administration of unsaturated acids of ω6 series would depend on thecis double bond configuration of these acids.     

High-voltage surge protection by a varistor-filled air gap

The electric discharge across a varistor granule filled air gap under a fast-rising voltage pulse was investigated for surge protection applications. The effects of temperature and pressure on the arc and the electrical conduction were analyzed by the characteristic changes in voltage waveforms triggered by a fast-rising high voltage pulse. In addition to the gap size, experimental results show that competing mechanisms among arc conduction, conduction through the varistor granule network, thermionic emission from Joule heating at granule-to-granule contact points, and the magnitude of the switching voltage dictate the maximum surge protection voltage for the filled air gap. Experimental evidence indicated that accumulated degradation was created at small contact points between varistor granules by repetitive assaults from longer duration, high voltage pulses. The uniqueness of using varistor over other dielectric granules in an air gap for surge protection is identified and discussed.     

Ultra-low noise front-end electronics for air-coupled ultrasonic non-destructive evaluation

Air-coupled ultrasonic inspection has been demonstrated to be a non-contact method of great interest in non-destructive evaluation (NDE) applications. The absence of direct contact or a liquid couplant provides this technique very attractive benefits in front of the well-known and well-developed liquid-coupled ultrasonic inspection systems. A wide range of defects can be detected by means of ultrasound coupled to and harvested from the specimen in absence of contact when using appropriate transducers designed for their operation in air.This paper presents an easy way to integrate air-coupled piezoelectric transducers in conventional ultrasonic NDE equipment. The design of a specific front-end electronics by using an ultra-low noise amplifier enables existing inspection systems to be used for the dry-coupled ultrasonic test of materials and structures. The amplifier provides the receiver with a signal-to-noise ratio large enough for good quality signal processing and imaging. System dynamic ranges of more than 100 dB are achieved.