Active state estimation for nonlinear systems: a neural approximation approach.

In this paper, we consider the problem of actively providing an estimate of the state of a stochastic dynamic system over a (possibly long) finite time horizon. The active estimation problem (AEP) is formulated as a stochastic optimal control one, in which the minimization of a suitable uncertainty measure is carried out. Toward this end, the use of the Renyi entropy as an information measure is proposed and motivated. A neural control scheme, based on the application of the extended Ritz method (ERIM) and on the use of a Gaussian sum filter (GSF), is then presented. Simulation results show the effectiveness of the proposed approach.     

Large band simulation of the wind speed for real time wind turbine simulators

In this paper, the authors propose two modeling procedures for wind speed simulation. These procedures could be implemented on the structure of a wind turbine simulator during studies concerning stand-alone or hybrid wind systems. The evolution of a horizontal wind speed has been synthesized taking into account two components. The medium- and long-term component is described by a power spectrum associated to a specific site. The turbulence component is assumed to be dependent on the medium- and long-term wind speed evolution. It is considered as a nonstationary process. Two simulation methods for this component, using rational and nonrational filters are proposed. In both procedures, the turbulence model is defined by two parameters, which are either obtained experimentally, or adopted a priori, according to information from the considered site. Numerical results and implementation aspects are also discussed.     

Timing and causality in process algebra

 There has been considerable controversy in concurrency theory between the ‘interleaving’ and ‘true concurrency’ schools. The former school advocates associating a transition system with a process which captures concurrent execution via the interleaving of occurrences; the latter adopts more complex semantic structures to avoid reducing concurrency to interleaving. In this paper we show that the two approaches are not irreconcilable. We define a timed process algebra where occurrences are associated with intervals of time, and give it a transition system semantics. This semantics has many of the advantages of the interleaving approach; the algebra admits an expansion theorem, and bisimulation semantics can be used as usual. Our transition systems, however, incorporate timing information, and this enables us to express concurrency: merely adding timing appropriately generalises transition systems to asynchronous transition systems, showing that time gives a link between true concurrency and interleaving. Moreover, we can provide a complete axiomatisation of bisimulation for our algebra; a result that is often problematic in a timed setting. Another advantage of incorporating timing information into the calculus is that it allows a particularly simple definition of action refinement; this we present. The paper concludes with a comparison of the equivalence we present with those in the literature, and an example system specification in our formalism. Received December 20, 1993/February 23, 1995     

DYRE: a DYnamic REconfigurable solution to increase GPGPU’s reliability

The Journal of Supercomputing - General-purpose graphics processing units (GPGPUs) are extensively used in high-performance computing. However, it is well known that these devices’...     

Structural Investigation and Molecular Modeling Studies of Strobilurin-Based Fungicides Active against the Rice Blast Pathogen Pyricularia oryzae

The increasing emergence of fungicide-resistant pathogens requires urgent solutions for crop disease management. Here, we describe a structural investigation of new fungicides obtained by combining strobilurin and succinate dehydrogenase inhibitor pharmacophores. We identified compounds endowed with very good activity against wild-type Pyricularia oryzae, combined in some cases with promising activity against strobilurin-resistant strains. The first three-dimensional model of P. oryzae cytochrome bc1 complex containing azoxystrobin as a ligand was developed. The model was validated with a set of commercially available strobilurins, and it well explains both the resistance mechanism to strobilurins mediated by the mutation G143A and the activity of metyltetraprole against strobilurin-resistant strains. The obtained results shed light on the key recognition determinants of strobilurin-like derivatives in the cytochrome bc1 active site and will guide the further rational design of new fungicides able to overcome resistance caused by G143A mutation in the rice blast pathogen.     

Proinflammatory Interleukin-33 Induces Dichotomic Effects on Cell Proliferation in Normal Gastric Epithelium and Gastric Cancer

Interleukin (IL)-33 is a member of the interleukin (IL)-1 family of cytokines linked to the development of inflammatory conditions and cancer in the gastrointestinal tract. This study is designed to investigate whether IL-33 has a direct effect on human gastric epithelial cells (GES-1), the human gastric adenocarcinoma cell line (AGS), and the gastric carcinoma cell line (NCI-N87) by assessing its role in the regulation of cell proliferation, migration, cell cycle, and apoptosis. Cell cycle regulation was also determined in ex vivo gastric cancer samples obtained during endoscopy and surgical procedures. Cell lines and tissue samples underwent stimulation with rhIL-33. Proliferation was assessed by XTT and CFSE assays, migration by wound healing assay, and apoptosis by caspase 3/7 activity assay and annexin V assay. Cell cycle was analyzed by means of propidium iodine assay, and gene expression regulation was assessed by RT-PCR profiling. We found that IL-33 has an antiproliferative and proapoptotic effect on cancer cell lines, and it can stimulate proliferation and reduce apoptosis in normal epithelial cell lines. These effects were also confirmed by the analysis of cell cycle gene expression, which showed a reduced expression of pro-proliferative genes in cancer cells, particularly in genes involved in G0/G1 and G2/M checkpoints. These results were confirmed by gene expression analysis on bioptic and surgical specimens. The aforementioned results indicate that IL-33 may be involved in cell proliferation in an environment- and cell-type-dependent manner.     

Novel approaches to developing carbon nanotube based polymer composites: fundamental studies and nanotech applications

The adsorption of several types of conducting polymers on carbon nanotubes is investigated by electrical transport measurements. We report the optoelectronic properties occurring in single-walled carbon nanotubes (SWNTs) conjugated polymer, poly(3-octylthiophene), composites. Al/polymer-nanotube composite/indium-tin oxide diodes show photovoltaic behavior proposing that the main reason for this increase is the photoinduced electron transfer at the polymer/nanotube interface. Interesting results were obtained in the case of poly(o-anisidine) (POAS)-multi-walled nanotubes (MWNTs) composites where the increment of monolayers results in a significant improvement of the specific conductivity. POAS-coated MWNTs thin films demonstrated their potentiality as a new class of materials for inorganic vapors detection for environmental applications.     

Solvent and oxygen effects on the free radical polymerization of 6-O-vinyladipoyl-d-glucopyranose

The vinyl ester-type glycomonomer 6-O-vinyladipoyl-d-glucopyranose was polymerized in water and alcohol solutions. In all cases, long polymerization times were necessary to achieve reasonable conversions. Depending on the nature of the solvent, polydisperse glycopolymers were obtained possessing a molecular weight ranging between 10,000 and 122,000 Da (PS equivalent). Higher alcohols appeared to act as chain transfer agents and oligomers with DP_n between 2 and 6 were indeed obtained when 2-propanol was the solvent. Also, thorough oxygen removal from the reaction mixture proved to be essential for the success of the experiment, plain nitrogen sparging being ineffective in most cases.     

Learning control in spatial coordinates for the path-following of autonomous vehicles

We prove the existence of a P-type (proportional-type) space-learning control, which, on the basis of a kinematic third order nonlinear model of an autonomous nonholonomic vehicle and by a proper choice of the proportional control gain, guarantees asymptotic tracking of planar curves whose uncertain curvature is L$L$-periodic in the curvilinear abscissa. The behavior of a human driver, who repetitively learns the correct action from the past experience in the space, is mathematically reproduced. A stability analysis is presented while simulation results demonstrate the effectiveness of the presented approach.