A deadlock detection tool for concurrent Java programs

This paper presents some issues related to the design and implementation of a concurrency analysis tool able to detect deadlock situations in Java programs that make use of multithreading mechanisms. An abstract formal model is generated from the Java source using the Java2Spin translator. The model is expressed in the PROMELA language, and the SPIN tool is used to perform its formal analysis. The paper mainly focuses on the design of the Java2Spin translator. A set of experiments, carried out to evaluate the performances of the analysis tool, is also presented. Copyright © 1999 John Wiley & Sons, Ltd.     

Characterisation of white vinegars of different sources with artificial neural networks

Wine and cider vinegars currently attract growing interest from consumers, giving rise to a consequent increase in supply. A full appreciation of their quality is only possible, however, through recognition of their superior quality when compared with vinegars produced from raw materials of inferior quality. Therefore, it is necessary to pinpoint the parameters that define the quality of these products. Chemico-physical and sensory analysis has been used to draw up artificial neural networks (ANNs), on the basis of a vast sampling of vinegars from various countries, produced from a variety of raw materials, that was already subjected to multivariate statistical analysis. Among the chemical parameters, polyalcohols and other elements such as pH, tartaric acid and proline proved to be highly reliable, whereas other volatile substances and the results of sensory analysis were not very discriminating and could not be used to re-classify samples of unknown origin. The positive results obtained indicate that ANNs are a powerful mathematical tool, since they can be used to construct models that predict the botanical origin of the product and to re-classify samples of unknown origin, without any initial restrictive hypothesis. © 1998 Society of Chemical Industry.     

Three methodologies for the calibration of industrial manipulators: Experimental results on a SCARA robot

This article presents and compares three algorithms for the geometric parameter identification of industrial robots to increase its accuracy (static calibration). The estimation is based on the measure of the gripper pose errors when the robot follows suitable trajectories. The algorithms are general and can be applied to any robot providing that its kinematics is known. After a theoretical introduction to the general methodologies, these are applied to a selective compliance assembly robot arm (SCARA) robot analyzing its performance (precision, efficiency). Experimental results obtained with three methodologies are presented and discussed. The measure of the gripper pose error is based on a laser triangulation technique whose working principles are also recalled. © 2000 John Wiley & Sons, Inc.     

Redispersible Polymer Powders with High Bio-Based Content from Core–Shell Nanoparticles

Redispersible polymer powders (RDPPs), i.e., additives obtained from core–shell nanoparticles and commercialized in the form of a dry powder, find intensive application in the concrete industry. However, they are mainly produced from fossil resources. Therefore, the development of bio-based RDPPs is important to reduce the carbon footprint of these additives. In this work, two types of core–shell nanoparticles with a high percentage of bio-based content are synthesized and show to be good candidates as RDPPs. In the first case, up to 75% of bio-based content is obtained by combining lauryl acrylate, derived from coconut and palm kernel oil, as main core material, with isobornyl methacrylate, coming from pine resin, exploited to create the outer harder shell. In the second case, a degradable macromonomer obtained by the ring opening polymerization of lactide using 2-hydroxyethyl methacrylate as initiator is used as the core-forming monomer to obtain degradable RDPPs. In both cases, the particles are synthesized with a two-step emulsion polymerization process conducted in one pot and then spray-dried to obtain the RDPPs of interest. The morphology and redispersibility of the powders are characterized. Finally, their use as concrete additives is preliminarily assessed by evaluating their effect on changes in the surface morphologies of concrete specimens.     

On-field test campaign performance of VDE-SAT Link ID 20 over Norsat-2 LEO satellite

The latest technical recommendation by the International Telecommunication Union (ITU) for a data exchange system in the VHF maritime mobile band defines a random access channel (RAC) for communications on the uplink channel between vessels and satellites. The physical layer frame for random uplink channel is designed to allow for a more efficient use of the power amplifiers and includes features to assist the satellite receivers to resolve overlapping reception of multiple messages. This paper presents the performance results of an over-the-air test campaign carried out exploiting the NorSat-2 Low Earth orbit (LEO) satellite. After a review of the VDE-SAT RAC and Link ID 20 burst, a possible demodulator implementation is shown. Then, the VDE-SAT transmitter platform, located in Pisa, Italy, emulating a population of vessels transmitting to the NorSat-2 LEO satellite is introduced, and the test cases are described. Afterward, the analysis of the recorded signals is provided. The post-analysis first focuses on the demodulation performance in terms of probability of successful demodulation of the interfering bursts. Further investigation has also been carried out to better understand the interference environment in this frequency band for satellite signal reception. Tests indicate promising results of successfully detecting and demodulating up to 22 overlapping RAC messages, confirming the robustness of the protocol. Finally, capitalizing on the above analysis, conclusions suggest possible improvements.     

A continuous flow reactor for the flexible production of different formulations: CFD-aided design

The increasing need to improve the sustainability of industrial processes requires more flexible and intensified solutions. For this purpose, nowadays lots of efforts are made to switch from batch to continuous processes, the latter being able to ensure the same processing history to all fluid elements, with a consequent better control of the operating conditions and product quality. The present work aims at developing a continuous flow reactor for the production of several fine chemicals, including medical-surgical aids, but also other substances for specific industrial sectors. The plant is basically an inline reactor equipped with various static mixers and side inlets, and it is conceived to ensure on-site production. This is an important feature also in light of the recent COVID-19 pandemic, which asked for flexible and distributed production of chemicals. Numerical simulations based on computational fluid dynamics are employed to study the performance, in terms of pressure drops and degree of mixing, of different static mixers, that is, the Lightnin Inliner Series 50 and Ross low pressure drop (LPD), combining various elements of mixing and injections in different operating conditions in both laminar and turbulent regimes. The results highlighted how numerical simulations may represent a valid tool for supporting the detailed design of such flow reactors by allowing the evaluation of the optimal design solutions.     

Revealing Site Occupancy in a Complex Oxide: Terbium Iron Garnet

Complex oxide films stabilized by epitaxial growth can exhibit large populations of point defects which have important effects on their properties. The site occupancy of pulsed laser-deposited epitaxial terbium iron garnet (TbIG) films with excess terbium (Tb) is analyzed, in which the terbium:iron (Tb:Fe)ratio is 0.86 compared to the stoichiometric value of 0.6. The magnetic properties of the TbIG are sensitive to site occupancy, exhibiting a higher compensation temperature (by 90 K) and a lower Curie temperature (by 40 K) than the bulk Tb₃Fe₅O₁₂ garnet. Data derived from X-ray core-level spectroscopy, magnetometry, and molecular field coefficient modeling are consistent with occupancy of the dodecahedral sites by Tb³⁺, the octahedral sites by Fe³⁺, Tb³⁺ and vacancies, and the tetrahedral sites by Fe³⁺ and vacancies. Energy dispersive X-ray spectroscopy in a scanning transmission electron microscope provides direct evidence of Tb_Fe antisites. A small fraction of Fe²⁺ is present, and oxygen vacancies are inferred to be present to maintain charge neutrality. Variation of the site occupancies provides a path to considerable manipulation of the magnetic properties of epitaxial iron garnet films and other complex oxides, which readily accommodate stoichiometries not found in their bulk counterparts.     

On the extension of k−ω−SST corrections to predict flow separation on thick airfoils with leading-edge roughness

Modern wind turbines employ thick airfoils in the outer region of the blade with strong adverse pressure gradients and high sensitivity to flow separation, which can be anticipated by leading-edge roughness. However, Reynolds average Navier-Stokes simulations currently overpredict the Reynolds shear stresses near the surface, and the flow separation is not correctly predicted. Hence, these methods are not representative enough to optimize the blade design to avoid flow separation, which becomes relevant for rough blades. While several eddy-viscosity corrections in the $k-\omega -SST$ turbulence model have been previously studied to predict flow separation over smooth airfoils, the present study aims to extend their applicability to airfoils with leading-edge roughness. Two corrections, whose effect on flow physics has not been empirically quantified, are addressed. Particle image velocimetry measurements have been performed on a 30% thick airfoil to quantify the impact of these corrections. The reduction of the eddy viscosity introduced by the corrections leads to a shift of the peak location of the Reynolds shear stresses away from the surface, which, in turn, promotes flow separation and improves the prediction of the mean velocity and the pressure-coefficient distribution. Besides, the ratio between the main turbulent shear stress and turbulent kinetic energy is demonstrated to be lower than the standard value used in the $k-\omega -SST$ turbulence model at the boundary-layer outer edge. Adjusting this ratio for an angle of attack of 0° decreases the error on the predicted lift and drag coefficients from 75% to 3% and from 58% to 39%, respectively.