Assessing the SALSA architecture for developing agent-based ambient computing applications

We have proposed the use of autonomous agents for coping with some of the challenges of creating ambient computing systems. The motivation of this research is that ambient computing environments are characterized by the distribution, reactivity, collaboration and adaptation of their artifacts, which are also characteristics attributed to software agents. To assist developers in creating the software entities of an ambient computing environment, the Simple Agent Library for Smart Ambients (SALSA) was created. The SALSA middleware and architecture enables the creation of autonomous agents reactive to the context of the ambient computing environment. SALSA agents can represent users, resources, or wrap complex system functionality of the environment. The aim of this paper is to provide evidence that SALSA facilitates the implementation of ambient computing services through autonomous agents. Unfortunately, the literature on Ubicomp development frameworks has, aside from a few exceptions, not reported experimental evaluation of their usability. The evaluations of Ubicomp development platforms have not addressed this issue since their evaluations have been mostly focused on performance and to prove feasibility. We present the results of an empirical evaluation conducted to assess the use of SALSA. This study included in-lab programming experiments and design exercises to evaluate the programming facilities provided by SALSA agents. Even though for some of the evaluation participants the use of autonomous agents as an abstraction for the development of ubiquitous computing systems was not innate, the evaluation results demonstrate that the execution model of SALSA and its facilities to implement Ubicomp systems are comprehensible.     

Synthesis, structure, and field emission properties of sulfur-doped nanocrystalline diamond

The synthesis and properties of sulfur-doped nanocrystalline diamond films were investigated. The films were deposited by hot-filament chemical vapor deposition on Mo substrates using methane, hydrogen, and hydrogen disulfide. The nanocrystalline nature of the material arises from the induction of continuous secondary nucleation in the chemical vapor deposition environment. Complementary characterization tools were employed in order to obtain a comprehensive and coherent understanding of the correlations between the structural and electronic properties. In particular, sulfur-doped nanocrystalline diamond films show n-type Hall conductivity, enhanced field emission properties, and insensitivity to ion radiation. It was found that n-type doping of the tetragonally-bonded carbon matrix together with a nano network of trigonally-bonded carbon are crucial elements for enhanced field emission from nanocrystalline diamond. These conclusions and the corresponding supporting evidence are discussed.     

Modular proofs for key exchange: rigorous optimizations in the Canetti–Krawczyk model

Various optimizations in the Canetti–Krawczyk model for secure protocol design are proven to preserve security. In particular it is shown that multiple authenticators may be safely used together; that certain message components generated by authenticators may be reordered (to be sent at a different time) or replaced with other values with certain precautions; and that protocols may be defined in the ideal world with session identifiers constructed during protocol runs. Consequently protocol designers now have a set of clear rules to optimize and customize their designs without fear of breaking the security proof. In order to obtain the required proofs, we find it necessary to slightly revise the authenticated links part of the Canetti–Krawczyk model. Research funded by Australian Research Council through Discovery Project DP0345775     

Selection of Strategies for Collision-free Motion in Multi-manipulator Systems

Strategy-based path planning was introduced by the authors as a way to give robotic manipulators some sort of reactive behaviour in dynamic and unpredictable environments. This approach is based on making robots react to moving obstacles using a restricted subset of the configuration space, and on using an off-line pre-planning stage to choose the restricted subset. In this paper, strategy-based path planning is applied and explored, focusing our attention on the off-line stage. It is applied to the joint motion of two and three robots that perform pick and place tasks sharing common working areas.     

Outlier Detection and Data Cleaning in Multivariate Non-Normal Samples: The PAELLA Algorithm

A new method of outlier detection and data cleaning for both normal and non-normal multivariate data sets is proposed. It is based on an iterated local fit without a priori metric assumptions. We propose a new approach supported by finite mixture clustering which provides good results with large data sets. A multi-step structure, consisting of three phases, is developed. The importance of outlier detection in industrial modeling for open-loop control prediction is also described. The described algorithm gives good results both in simulations runs with artificial data sets and with experimental data sets recorded in a rubber factory. Finally, some discussion about this methodology is exposed.     

Accurate Deterministic Numerical Simulation of p-n Junctions

In this work some variants of a deterministic simulation of p-n junctions are considered. From a mathematical point of view, this will be done by means of the numerical resolution of the corresponding Boltzmann transport’s equations (BTE’s): one for the electrons and another one for the holes, coupled by the Poisson equation for the potential, from which the electric field is calculated. In order to improve the efficiency of the Finite-Difference Weighted Essentially Non-Oscillatory (FD-WENO) code, we will consider the two transport equations in the depletion zone and only the corresponding BTE equation for the majority carrier in each one of the neutral zones, instead of solving the two BTE’s in the entire length of the device.     

Comparison of Fe-Ni based alloys prepared by ball milling and rapid solidification

Mechanical alloying (MA) and rapid solidification (RS) are two important routes to obtain amorphous alloys. An Fe-Ni based metal-metalloid alloy (Fe₅₀Ni₃₀P₁₄Si₆) prepared by these two different processing routes was studied by differential scanning calorimetry, scanning electron microscopy with microanalysis, inductive coupled plasma, X-ray diffraction (XRD) and transmission Mössbauer spectroscopy (TMS). The results were compared with that obtained from other Fe-Ni based alloys of similar compositions. The structural analyses show that the materials obtained by mechanical alloying are not completely disordered after 40 h of milling whereas fully amorphous alloys were obtained by rapid solidification. TMS analyses show that, independent of the composition, after milling for 40 h, about 7% of the Fe remains unreacted. Furthermore, the thermal stability of mechanically alloyed samples is lower than that of the analogous material prepared by rapid solidification. In the MA alloys, a broad exothermic process associated to structural relaxation begins at low temperature. XRD patterns of crystallized alloys indicate that the crystallization products are bcc(Fe,Ni), fcc(Ni,Fe), and (Fe,Ni)-phosphides and -silicides.     

Anomalous Excess Heat Capacities of Ethanol + Alkane Mixtures

A thermodynamic study at atmospheric pressure on the ethanol + n-dodecane and ethanol + n-tridecane binary systems near their liquid-liquid critical points has been carried out. To this end, densities and speeds of sound were determined in the temperature range from 288.15 to 308.15 K, whereas differential scanning calorimetry was used to obtain isobaric heat capacities per unit volume from 288.15 to 303.15 K as well as liquid-liquid equilibrium curves. All these results for the mentioned properties were obtained over the complete composition range. They were used to obtain molar volumes, isentropic compressibilities, isobaric thermal expansivities, isothermal compressibilities, isochoric heat capacities, and the excess quantities of all these properties. An untypical behavior of the excess heat capacities at the lowest measuring temperatures resulting from the critical behavior of the isobaric heat capacity is observed. No clear anomalies for the excess volumetric properties are detected.     

Influence of the gasket materials on the clamping pressure distribution in a PEM water electrolyzer: Bolt torques and operation mode in pre-conditioning

To keep optimally connected, all electrolysis cell elements is one of the most important design criteria. The optimal distribution of the clamping points is crucial to increasing cell performance. In this work, the compression pressure distribution inside of a 25 cm² PEM electrolysis cell was evaluated, using different materials: Teflon®, Viton®, ethylene propylene diene monomer rubber (EPDM), and nitrile rubber. Sealing material evaluation was performed taking as performance indicators: total compressed area (%) and compression pressure, for different torques applied. Pressure distribution was obtained by using pressure-sensitive films, analyzing the distribution of pressure points from three-dimensional plots (3D), and quantifying intensities of the images obtained. Results showed that pressure points distribution depends on the stiffness and thickness of the gasket materials. For a tightening torque of 3.70 N m, a pressure of 2.23 MPa is obtained with 85% of the membrane area compressed using nitrile rubber-EPDM gaskets.     

Improved Accuracy of the Inherent Shrinkage Method for Fast and More Reliable Welding Distortion Calculations

This paper describes the implementation of a simple strategy adopted for the inherent shrinkage method (ISM) to predict welding-induced distortion. This strategy not only makes it possible for the ISM to reach accuracy levels similar to the detailed transient analysis method (considered the most reliable technique for calculating welding distortion) but also significantly reduces the time required for these types of calculations. This strategy is based on the sequential activation of welding blocks to account for welding direction and transient movement of the heat source. As a result, a significant improvement in distortion prediction is achieved. This is demonstrated by experimentally measuring and numerically analyzing distortions in two case studies: a vane segment subassembly of an aero-engine, represented with 3D-solid elements, and a car body component, represented with 3D-shell elements. The proposed strategy proves to be a good alternative for quickly estimating the correct behaviors of large welded components and may have important practical applications in the manufacturing industry.