Deciding bisimilarity is<Emphasis Type="Italic">P</Emphasis>-complete

In finite labelled transition systems the problems of deciding strong bisimilarity, observation equivalence and observation congruence areP-complete under many—oneNC-reducibility. As a consequence, algorithms for automated analysis of finite state systems based on bisimulation seem to be inherently sequential in the following sense: the design of anNC algorithm to solve any of these problems will require an algorithmic breakthrough, which is exceedingly hard to achieve.     

Initial stages of tin electrodeposition from sulfate baths in the presence of gluconate

Tin electrodeposition in its initial stages in acid sulfate/gluconate baths was studied with varying tin and gluconate concentrations using potential-controlled electrochemical techniques. The deposit morphology was observed by scanning electron microscopy (SEM). A comparison with tin electrodeposition from acid sulfate baths in the absence of gluconate was also carried out. Use of a highly acidic bath leads to nonuniform deposits, even in the presence of gluconate; at pH 4 deposits are uniform, brilliant and suitable for finishing applications. Tin crystallites have a well defined morphology which depends on bath agitation conditions. In the absence of agitation, the crystallites have the same tetragonal shape as in a sulfate bath without gluconate.     

The role of the surface free energy in the selection of a suitable excipient in the course of a wet-granulation method

Pellets containing metronidazole were produced in a centrifugal granulator, with hydroxypropylcellulose (Klucel LF®) as binding agent, and corn starch, microcrystalline cellulose (Vivapur 101®) and lactose as excipients. The wettability of the pharmaceutical powders was assessed by means of contact angle measurements, and the dispersive and polar surface energies were determined. The spreading coefficients, the work of adhesion and the work of cohesion were calculated and correlated with the pellet properties (friability, bulk and tapped density, and porosity). The aim was to investigate the role of the surface free energy of one- and two-component powder compositions in pellet production. The interactions between the particles were found to be connected with the measured pellet parameters. It was concluded that, in the course of the growth of the pellets, the particle sizes of the pharmaceutical powders and the interactions between them are important. If the work of cohesion of the binder is lower than the work of cohesion of the substrate and the work of adhesion, then the optimal amount of the binding agent is that which coats the particles uniformly in minimal quantity and in continuous layer.     

Application of the classical levels of intelligence to structuring the control system in an automated distribution centre

Traditional management and control models can benefit from added levels of intelligence to increase their capability to adapt to the continuous changes in global markets. After reviewing the classical definition of intelligence and its levels, this paper provides a new approach to help increase the responsiveness of management and control to changes and disturbances in the manufacturing supply chain. The ancient concept of the “Tertium Quid” has inspired a three-level community of agents (MAS-TRIO) that is proposed to improve the coordination of all actors involved. The proposed model combines Multi-Agent Systems (MAS) with Radio-Frequency Identification (RFID) to make possible a certain level of Autonomous Intelligence in the decision-taking process. This paper analyses how these levels of intelligence can be applied to management and control, and the performance of the proposed model has been tested at low and mid-levels on an experimental platform representing the facilities of a distribution centre controlled by a network of programmable logic controllers (PLCs).     

Event-driven,pattern-based methodology for cost-effective development of standardized personal health devices

Experiences applying standards in personal health devices (PHDs) show an inherent trade-off between interoperability and costs (in terms of processing load and development time). Therefore, reducing hardware and software costs as well as time-to-market is crucial for standards adoption. The ISO/IEEE11073 PHD family of standards (also referred to as X73PHD) provides interoperable communication between PHDs and aggregators. Nevertheless, the responsibility of achieving inexpensive implementations of X73PHD in limited resource microcontrollers falls directly on the developer. Hence, the authors previously presented a methodology based on patterns to implement X73-compliant PHDs into devices with low-voltage low-power constraints. That version was based on multitasking, which required additional features and resources. This paper therefore presents an event-driven evolution of the patterns-based methodology for cost-effective development of standardized PHDs. The results of comparing between the two versions showed that the mean values of decrease in memory consumption and cycles of latency are 11.59% and 45.95%, respectively. In addition, several enhancements in terms of cost-effectiveness and development time can be derived from the new version of the methodology. Therefore, the new approach could help in producing cost-effective X73-compliant PHDs, which in turn could foster the adoption of standards.     

A New Nonlinear Controller for Trajectory Tracking of the Longitudinal Dynamics of a Small Scale Helicopter

A nonlinear control scheme is proposed for the trajectory tracking problem of a small scale helicopter’s longitudinal dynamics. The control scheme is based on a control design procedure that constructs static feedback regulators for nonlinear systems which are linearizable by dynamic feedback. Besides, the flatness characteristics of the helicopter’s longitudinal dynamics are used to design the desired trajectory. The controller proposed is based on the longitudinal model of the small scale helicopter including the main rotor and stabilizer bar dynamics. Sufficient conditions are given to guarantee asymptotic convergence to zero of the tracking error and to keep the main rotor thrust always negative assuming that all the helicopter’s parameters are known and that all helicopter’s states are measured. Numerical simulations are given to show the performance of the controller in the presence of the main rotor and stabilizer bar dynamics.     

Autocalibration with the Minimum Number of Cameras with Known Pixel Shape

In 3D reconstruction, the recovery of the calibration parameters of the cameras is paramount since it provides metric information about the observed scene, e.g., measures of angles and ratios of distances. Autocalibration enables the estimation of the camera parameters without using a calibration device, but by enforcing simple constraints on the camera parameters. In the absence of information about the internal camera parameters such as the focal length and the principal point, the knowledge of the camera pixel shape is usually the only available constraint. Given a projective reconstruction of a rigid scene, we address the problem of the autocalibration of a minimal set of cameras with known pixel shape and otherwise arbitrarily varying intrinsic and extrinsic parameters. We propose an algorithm that only requires 5 cameras (the theoretical minimum), thus halving the number of cameras required by previous algorithms based on the same constraint. To this purpose, we introduce as our basic geometric tool the six-line conic variety (SLCV), consisting in the set of planes intersecting six given lines of 3D space in points of a conic. We show that the set of solutions of the Euclidean upgrading problem for three cameras with known pixel shape can be parameterized in a computationally efficient way. This parameterization is then used to solve autocalibration from five or more cameras, reducing the three-dimensional search space to a two-dimensional one. We provide experiments with real images showing the good performance of the technique.     

Parameter Identification in Photothermal Imaging

We propose a technique to reconstruct the geometry of inclusions and their material parameters in thermal scattering near surfaces. The imaging problem is reformulated as a constrained optimization problem with a finite number of stationary constraints. The unknown domains and their parameters are the design variables. A descent method combining topological derivative analysis to find improved guesses of the objects and gradient iterations to correct their material parameters provides reasonable reconstructions.     

Synthesis of deuterated cyclopropene fatty esters structurally related to palmitic and myristic acids

To develop a synthesis of tritiated cyclopropene fatty acids (CPFA), compounds that should prove useful for affinity labeling of desaturases in insect pheromone biosynthetic studies, a series of novel, selectively deuterated CPFA analogues was prepared and characterized. In methyl [16-²H]12,13-methylene-12-hexadecenoate, the incorporation of deuterium was achieved by treatment of the corresponding ω-chloro derivative with sodium borodeuteride in dimethylsulfoxide at 70°C for 24 h (67% yield) following conventional procedures. Alkylation of the tetrahydropyranyl derivative of 13-tridecynol in the presence of lithium diisopropylamide in tetrahydrofuran at −20°C with 1-chloro-3-iodopropane in hexamethylphosphoramide, followed by Jones oxidation of the crude product, yielded 16-chloro-12-hexadecynoic acid (54%), which was esterified to the corresponding methyl ester by treatment with potassium carbonate and methyl iodide in dimethylformamide. Treatment of this acetylenic ester with ethyldiazoacetate in the presence of activated copper-bronze as catalyst followed by hydrolysis in KOH solution at room temperature yielded 16-chloro-12,13-(carboxymethylene)-12-hexadecenoic acid. This diacid was treated with excess oxalyl chloride to give the corresponding diacyl chloride, which was decarbonylated in a diethyl ether solution with zinc chloride, and the cyclopropenium ions thus formed were added at −40°C to a methanolic sodium hydroxide solution of sodium borohydride to give methyl 16-chloro-12,13-methylene-12-hexadecenoate. Analogous procedures were followed to prepare methyl [17-²H]10,11-methylene-10-hexadecenoate, methyl [17-²H]11,12-methylene-11-hexadecenoate and methyl [17-²H]12,13-methylene-12-hexadecenoate from the corresponding diacids using sodium borodeuteride in the reduction of the cyclopropenium ions. Alternatively, methyl [2,2,3,3-²H₄]hexadecynoate, prepared by reaction of methyl 2,11-hexadecadiynoate with magnesium in deuterated methanol at room temperature, was submitted to the above cyclopropenylation and reductive decarbonylation sequence to give methyl [2,2,3,3,17-²H₅]-11,12-methylene-11-hexadecenoate. In summary, complementary methods for the selective incorporation of one to five deuterium atoms into cyclopropene fatty acids, at different sites, in moderate to high yields have been developed. The methods should easily be applicable to the preparation of the corresponding tritiated analogues.