COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL

In open societies of agents, where agents are autonomous and heterogeneous, it is not realistic to assume that agents will always act so as to comply with interaction protocols. Thus, the need arises for a formalism to specify constraints on agent interaction, and for a tool able to observe and check for agent compliance with interaction protocols. In this paper we present a JAVA-PROLOG software component built on logic programming technology, which can be used to verify compliance of agent interaction to protocols, and that has been integrated with the PROSOCS platform.     

Data-driven and adaptive control applications to a wind turbine benchmark model

Wind turbines are complex dynamic systems forced by stochastic wind disturbances, as well as gravitational, centrifugal, and gyroscopic loads. Since their aerodynamics are nonlinear, wind turbine modelling is thus challenging. Moreover, accurate models should contain many degrees of freedom to capture the most important dynamic effects. Therefore, the design of control algorithms for wind turbines should account for these complexities. However, these algorithms must capture the most important turbine dynamics without being too complex and unwieldy. The main purpose of this study is thus to give two examples of viable and practical designs of control schemes with application to a wind turbine prototype model. Extensive simulations on the benchmark process and Monte-Carlo analysis are the tools for assessing experimentally the main features of the proposed control schemes, in the presence of modelling and measurement errors. These developed control methods are also compared with other different approaches, in order to evaluate advantages and drawbacks of the considered solutions. Finally, Hardware-In-the-Loop simulations serve to highlight the potential application of the proposed control strategies to real wind turbines.     

Analysis of multispectral fields of satellite IR measurements: Using statistics of second spatial differential of spectral fields for measurement characterization

An approach using spatial analysis of satellite IR spectral measurements for quality assessment is presented. The second spatial differential is used as a model of measurement noise for spatially smooth radiative fields. Spatial differentiation significantly magnifies the noise contribution and reduces the physical signal amplitude because of differences in spatial distributions of instrument noise and atmospheric thermal fields. The second spatial differential represents a convenient and effective tool for numerical analysis of satellite IR measurements. This paper demonstrates that statistics of the second spatial differential are informative predictors for data‐quality characterization. Statistics of the second spatial differential are used for identifying anomalies in spectral channel data caused by detector noise, sensitivity loss to spatial shortwave thermal variations, and spatially (temporally) correlated noise.     

Susceptibility of Listeria monocytogenes isolated from food in Italy to antibiotics

The susceptibility of 148 strains of Listeria monocytogenes isolated from food to antibiotics currently used in veterinary and human therapy was determined by standard agar dilution and disk diffusion methods. The antibiotics included amikacin, amoxicillin, cefazolin, chloramphenicol, erythromycin, flumequine, fosfomycin, gentamicin, kanamycin, lincomycin, oxytetracycline, rifampicin, spiramycin, streptomycin, tetracycline, tobramycin and vancomycin. Soussy's breakpoints and MIC(50)-MIC(90) values were used to classify the strains into sensitive, moderately sensitive and resistant groups.This work is part of a wider surveillance program on listeriosis started in Italy in 1995.     

User modeling in an OAM support system

This paper outlines studies relative to a research project on the development of a system that permits different people of an enterprise, with different roles and experience, to gain an adequate and personalized vision of the real status of the network and managed systems. What has been achieved is an easy to handle system, which permits quick and simple queries without utilizing complex man machine languages, and tailors personalized answers on the basis of the characteristics of the user. To achieve these results, User Modeling aspects have been considered and pursued.     

Synthetic Peroxides Promote Apoptosis of Cancer Cells by Inhibiting P-Glycoprotein ABCB5

This article discloses a new horizon for the application of peroxides in medical chemistry. Stable cyclic peroxides are demonstrated to have cytotoxic activity against cancer cells; in addition a mechanism of cytotoxic action is proposed. Synthetic bridged 1,2,4,5-tetraoxanes and ozonides were effective against HepG2 cancer cells and some ozonides selectively targeted liver cancer cells (the selectivity indexes for compounds 11 b and 12 a are 8 and 5, respectively). In some cases, tetraoxanes and ozonides were more selective than paclitaxel, artemisinin, and artesunic acid. Annexin V flow-cytometry analysis revealed that the active ozonides 22 a and 23 a induced cell death of HepG2 by apoptosis. Further study showed that compounds 22 a and 23 a exhibited a strong inhibitory effect on P-glycoprotein (P-gp/ABCB5)-overexpressing HepG2 cancer cells. ABCB5 is a key player in the multidrug-resistant phenotype of liver cancer. Peroxides failed to demonstrate a direct correlation between oxidative potential and their biological activity. To our knowledge this is the first time that peroxide diastereoisomers have been found to show stereospecific antimalarial action against the chloroquine-sensitive 3D7 strain of Plasmodium falciparum. Stereoisomeric ozonide 12 b is 11 times more active than stereoisomeric ozonide 12 a (IC₅₀=5.81 vs 65.18 μm ). Current findings mean that ozonides merit further investigation as potential therapeutic agents for drug-resistant hepatocellular carcinoma.     

Efficient analysis and experimental verification of substrate‐integrated slab waveguides for wideband microwave applications

This article presents a substrate integrated waveguide, named the substrate‐integrated slab waveguide (SISW), which exhibits a wide operation bandwidth. It consists of an integrated rectangular waveguide filled with a periodically perforated dielectric medium. An efficient procedure has been developed for the calculation of the dispersion diagram of SISWs, based on the Floquet theorem, in conjunction with the segmentation technique and the boundary‐integral–resonant‐mode‐expansion (BI‐RME) method. Numerical and experimental results confirm the performance of these waveguides and the efficiency of the analysis method. © 2005 Wiley Periodicals, Inc. Int J RF and Microwave CAE, 2005.