Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate

This paper presents ALIAS, an agent architecture based on intelligent logic agents, where the main form of agent reasoning is abduction. The system is particularly suited for solving problems where knowledge is incomplete, where agents may need to make reasonable hypotheses about the problem domain and other agents, and where the raised hypotheses have to be consistent for the overall set of agents. ALIAS agents are pro-active, exhibiting a goal-directed behavior, and autonomous, since each one can solve problems using its own private knowledge base. ALIAS agents are also social, because they are able to interact with other agents, in order to cooperatively solve problems. The coordination mechanisms are modeled by means of LAILA, a logic-based language which allows to express intra-agent reasoning and inter-agent coordination. As an application, we show how LAILA can be used to implement inter-agent dialogues, e.g., for negotiation. In particular, LAILA is well-suited to coordinate the process of negotiation aimed at exchanging resources between agents, thus allowing them to execute the plans to achieve their goals.     

Dynamics of coupled and uncoupled two-phase flows in a slab mold

Two-phase flows in a mold of a slab caster are studied using water modeling, particle-image velocimetry (PIV), and computational fluid-dynamics techniques. Two-way coupled flows are observed in liquidgas systems, because both phases influence each other’s momentum transfer. In addition to this concept, PIV measurements indicate the existence of structurally coupled flows, where the velocity vectors of both phases observe similar orientations. When the drag forces of the liquid, exerted on the bubbles, exceed a certain value of the inertial forces of the liquid phase, at high mass loads of gas (ratio of mass flow rates of the gas phase and the liquid phase), the flow becomes structurally coupled. These types of flows promote large oscillations of the meniscus level. Two jets, liquid and bubble, were identified; the latter always reported larger angles than the first, independent of the gas load. Thus, a gas-rich jet is located closer to the lower edge of the submerged entry nozzle (SEN) port, and the liquid-rich jet is found above this position. The liquid-jet angle approaches that of the SEN port when the flow becomes structurally coupled. Structurally uncoupled flows report gas jets that follow torrent-type patterns which are well explained using a multiphase fluid-dynamics model. Structurally coupled flows yield gas jets with a continuous pattern.     

Residual stress-affected diffusion during plasma nitriding of tool steels

Plasma nitriding of tool materials is common practice to improve the wear resistance and lifetime of tools. Machining-induced compressive residual stresses in shallow layers of some tenths of microns are observed accompanied by other characteristic properties of machined surfaces in these high-strength materials. After plasma nitriding of M2 high-speed steel, previously induced compressive residual stresses remain stable and the depth of diffusion layers decreases with increasing compressive residual stresses. This article reports investigations of plasma nitrided samples with different levels of residual stresses induced prior to the nitriding process. For comparison, experiments with bending load stresses during plasma nitriding have also been carried out. The plasma nitriding treatment was performed at constant temperature of 500 °C with a gas mixture of 5 vol pct N₂ in hydrogen. Nitriding time was varied from 30 to 120 minutes. All samples were characterized before and after plasma nitriding concerning microstructure, roughness, microhardness, chemical composition, and residual stress states. Experimental results are compared with analytical calculations on (residual) stress effects in diffusion and show a clear effect of residual and load stresses in the diffusion of nitrogen in a high-strength M2 tool steel.     

Specification and Verification of Agent Interaction using Social Integrity Constraints

In this paper we propose a logic-based social approach to the specification and verification of agent interaction. We firstly introduce integrity constraints about social acts (called Social Integrity Constraints) as a formalism to express interaction protocols and to give a social semantics to the behavior of agents, focusing on communicative acts. Then, we discuss several possible kinds of verification of agent interaction, and we show how social integrity constraints can be used to verify some properties in this respect. We focus our attention on static verification of compliance of agent specifications to interaction protocols, and on run-time verification, based on agents' observable behavior. We adopt as a running example the NetBill security transaction protocol for the selling and delivery of information goods.     

Modelling of Bird Strike on an Aircraft Wing Leading Edge Made from Fibre Metal Laminates – Part 2: Modelling of Impact with SPH Bird Model

Fibre Metal Laminates with layers of aluminium alloy and high strength glass fibre composite have been reported to possess excellent impact properties and be suitable for aircraft parts likely to be subjected to impacts such as runway debris or bird strikes. In a collaborative research project, aircraft wing leading edge structures with a glass-based FML skin have been designed, built, and subjected to bird strike tests that have been modelled with finite element analysis. In this second part of a two-part paper, a finite element model is developed for simulating the bird strike tests, using Smooth Particle Hydrodynamics (SPH) for modelling the bird and the material model developed in Part 1 of the paper for modelling the leading edge skin. The bird parameters are obtained from a system identification analysis of strikes on flat plates. Pre-test simulations correctly predicted that the bird did not penetrate the leading edge skin, and correctly forecast that one FML lay-up would deform more than the other. Post test simulations included a model of the structure supporting the test article, and the predicted loads transferred to the supporting structure were in good agreement with the experimental values. The SPH bird model showed no signs of instability and correctly modelled the break-up of the bird into particles. The rivets connecting the skin to the ribs were found to have a profound effect on the performance of the structure.     

Intra- and interspecific mineral composition variability of commercial instant coffees and coffee substitutes: Contribution to mineral intake

The present paper reports the amount and estimated daily mineral intake of nine elements (Ca, Mg, K, Na, P, Fe, Mn, Cr and Ni) in commercial instant coffees and coffee substitutes (n = 49). Elements were quantified by high-resolution continuum source flame (HR-CS-FAAS) and graphite furnace (HR-CS-GFAAS) atomic absorption spectrometry, while phosphorous was evaluated by a standard vanadomolybdophosphoric acid colorimetric method.Instant coffees and coffee substitutes are rich in K, Mg and P (>100 mg/100 g dw), contain Na, Ca and Fe in moderate amounts (>1 mg/100 g), and trace levels of Cr and Ni. Among the samples analysed, plain instant coffees are richer in minerals (p < 0.001), except for Na and Cr. Blends of coffee substitutes (barley, malt, chicory and rye) with coffee (20–66%) present intermediate amounts, while lower quantities are found in substitutes without coffee, particularly in barley.From a nutritional point of view the results indicate that the mean ingestion of two instant beverages per day (total of 4 g instant powder), either with or without coffee, cannot be regarded as important sources of minerals to the human diet, although providing a supplementation of some minerals, particularly Mg and Mn in instant coffees. Additionally, and for authentication purposes, the correlations observed between some elements and the coffee percentage in the blends, with particular significance for Mg amounts, provides a potential tool for the estimation of coffee in substitute blends.     

Integrated membrane operations in the ethylene oxide production

Petrochemical industry, highly energy and capital intensive, might significantly benefit from the implementation of membrane operations for meeting stringent environmental standards, controlling production cost and final product's quality. Membrane units have been proved effective for improving the efficiency of different industrial productions. Ethylene oxide (EO), an important petrochemical intermediate, is produced by selective catalytic oxidation of ethylene, a valuable hydrocarbon feedstock. In this study, the EO manufacturing cycle is redesigned by integrating different membrane operations. Both the conversion and separation sections of the plant are investigated, considering the use of membrane reactors (MRs) for the separate feeding of the oxidant, membrane contactors (MCs) for the absorption of EO and carbon dioxide, and gas separation (GS) membrane units for the hydrocarbon recovery before their being recycled to the reactor. Design considerations are provided, and the benefits coming from each membrane operation, as well as from their synergic integration, are outlined with particular attention to environmental impact, raw materials and energy consumption.     

Effects of ozonized water and heat treatment on the papaya fruit epidermis

This study examined the effects of O₃ and hot water treatments on the epidermis of Golden papaya fruit. Heat treatments were applied in a hot water brushing (HWB) system. Papayas were brushed under a pressurized hot water rinse stage at 45, 55 and 65 °C for 60 s. In the HWB treatment, 4 ppm ozone was applied to the papayas for 1 or 2 min. The results show that ozone applications did not affect the fruit's cuticular surface, while heat treatments allowed natural fissures on the fruit epidermis to recover. Several crystalloid forms were identified on the epidermis of the papayas after the heat treatments. The predominant crystalloid forms on papayas are tubular and there is a positive response to temperature; the higher the temperature, the larger and more frequent the tubular crystalloids.     

Discovery of an Allosteric Ligand Binding Site in SMYD3 Lysine Methyltransferase

SMYD3 is a multifunctional epigenetic enzyme with lysine methyltransferase activity and various interaction partners. It is implicated in the pathophysiology of cancers but with an unclear mechanism. To discover tool compounds for clarifying its biochemistry and potential as a therapeutic target, a set of drug-like compounds was screened in a biosensor-based competition assay. Diperodon was identified as an allosteric ligand; its R and S enantiomers were isolated, and their affinities to SMYD3 were determined (K_D=42 and 84 μM, respectively). Co-crystallization revealed that both enantiomers bind to a previously unidentified allosteric site in the C-terminal protein binding domain, consistent with its weak inhibitory effect. No competition between diperodon and HSP90 (a known SMYD3 interaction partner) was observed although SMYD3–HSP90 binding was confirmed (K_D=13 μM). Diperodon clearly represents a novel starting point for the design of tool compounds interacting with a druggable allosteric site, suitable for the exploration of noncatalytic SMYD3 functions and therapeutics with new mechanisms of action.