A Narrowing-based Instantiation Rule for Rewriting-based Fold/Unfold Transformations

In this paper we show how to transfer some developments done in the field of functionallogic programming (FLP) to a pure functional setting (FP). More exactly, we propose a complete fold/unfold based transformation system for optimizing lazy functional programs. Our main contribution is the definition of a safe instantiation rule which is used to enable effective unfolding steps based on rewriting. Since instantiation has been traditionally considered problematic in FP, we take advantage of previous experiences in the more general setting of FLP where instantiation is naturally embedded into an unfolding rule based on narrowing. Inspired by the so called needed narrowing strategy, our instantiation rule inherits the best properties of this refinement of narrowing. Our proposal optimizes previous approaches (that require more transformation effort) defined in the specialized literature of pure FP by anticipating bindings on unifiers used to instantiate a given program rule and by generating redexes at different positions on instantiated rules in order to enable subsequent unfolding steps. As a consequence, our correct/complete technique avoids redundant rules and preserves the natural structure of programs.     

Dynamic Simulation of Multi-Body Systems on Internet Using CORBA,Java and XML

In this paper a prototype of a computer program for multi-bodysimulation based on the use of CORBA, Java and XML is presented. Thisprototype makes use of a recursive dynamic formalism which outperformsmany implementations based on global formulations. The prototypepresented has been implemented using distributed Object OrientedProgramming techniques. The definition of the multi-body system is donethrough a data file defined using XML (eXtendible Markup Language). Thisprototype implements a `simulation service' on a network of computers,following a client-server scheme. This `simulation service' can operatein two different ways: offering a remote simulation on the server, orproviding a Java compiled code for local simulation on the client. Thepaper describes the practical implementation of such a service. The useof recursive functions and OOP permits the implementation of ageneral-purpose simulation code, which is compact, clear, clean,re-usable and easy to maintain. Once this Java code is compiled, it isstored in less than 125 Kbytes (including the numerical integrators).The Java programming language is used in order to assure compatibilitybetween different platforms. Finally, practical examples which make useof this approach are shown.     

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.     

Nonlinear properties of tapered laser cavities

The nonlinear phenomena accompanying the process of light generation in high-power tapered semiconductor lasers are studied using a combination of simulation and experiment. Optical pumping, electrical overpumping, filamentation, and spatial hole burning are shown to be the key nonlinear phenomena influencing the operation of tapered lasers at high output powers. In the particular tapered laser studied, the optical pumping effect is found to have the largest impact on the output beam quality. The simulation model used in this study employs the wide-angle finite-difference beam propagation method for the analysis of the optical propagation within the cavity. Quasi-three-dimensional (3-D) thermal and electrical models are used for the calculation of the 3-D distributions of the temperature, electrons, holes, and electrical potential. The simulation results reproduce key features and the experimental trends.     

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.     

iCanCloud: A Flexible and Scalable Cloud Infrastructure Simulator

Simulation techniques have become a powerful tool for deciding the best starting conditions on pay-as-you-go scenarios. This is the case of public cloud infrastructures, where a given number and type of virtual machines (in short VMs) are instantiated during a specified time, being this reflected in the final budget. With this in mind, this paper introduces and validates iCanCloud, a novel simulator of cloud infrastructures with remarkable features such as flexibility, scalability, performance and usability. Furthermore, the iCanCloud simulator has been built on the following design principles: (1) it’s targeted to conduct large experiments, as opposed to others simulators from literature; (2) it provides a flexible and fully customizable global hypervisor for integrating any cloud brokering policy; (3) it reproduces the instance types provided by a given cloud infrastructure; and finally, (4) it contains a user-friendly GUI for configuring and launching simulations, that goes from a single VM to large cloud computing systems composed of thousands of machines.     

Thiophene‐ and silarylene‐containing polyesters. Resonance effect on conductivity after polarization in an external electric field

Polyesters were synthesized by direct polycondensation of thiophene‐2,5‐dicarboxylic acid and five different silarylene‐containing diphenols using a tosyl chloride/pyridine/N,N‐dimethylformamide system as a condensing agent. Polymers were obtained in good yields and were characterized using Fourier transform infrared and NMR (¹H, ¹³C, 135‐DEPT and ²⁹Si) spectroscopy and elemental analysis. All polymers were completely soluble in aprotic organic polar solvents such as dimethylformamide, dimethylsulfoxide and N‐methyl‐2‐pyrrolidone. The range of effective mass of the polymers (m/z) was 1 × 10⁵–2 × 10⁵, determined using electrospray ionization mass spectrometry. Asymmetry and steric hindrance prevented dense packing of the polymeric chains, showing glass transition temperatures between ? 78 and ? 51 °C and loss of thermal stability at 177–199 °C (10% weight loss). Additionally, the melting points of the polyesters were found to be in the range 62–67 °C. Because of this, the samples were semi‐solid at room temperature. The optical band gaps of the polymers were observed between 4.54 and 4.48 eV, corresponding in all cases to insulator behavior. The molecular structure of the samples was studied using X‐ray diffraction, showing a degree of order that was associated with two monoclinic lattices. Additionally, the conductivity was studied using a two‐point method with contacts on top of polymer films. Prior to the electrical measurement, the samples were polarized in an external electric field of 0.8 to 6.4 V cm^?1, and the alignment of the dipoles increased the electrical conductivity. Copyright © 2012 Society of Chemical Industry