Agent-oriented techniques for network supervision

This paper presents the results of the Réseau futé (smart net) project, the goal of which is to use distributed AI and multi-agent techniques for network management and supervision. More precisely, these techniques have been applied to the partial automation of the dynamic processing (what is known about a network is always incomplete and can change at any time) of alarms and of various event notifications received by network management platforms. The system that we propose is able for example to automatically handle some alarms or to filter events of no-interest for a given operator. To achieve this goal, an assistant, or interface agent according to the model proposed by Patti Maes [MK93], has been realized. The goal of the assistant is first to learn, by observation, the behavior of the network supervision operator and second to reproduce such a behavior when the conditions in which the behavior has been learned are detected again. The learned information are stored using chronicles [Gha94]. A chronicle is a data-structure allowing programmers to represent sequences of events while taking temporal knowledge into account. Our assistant has been implemented and tested within Magenta which is a program, written in Smalltalk, that simulates (in a simplified way) a network management platform. This program respects roughly the gdmo and cmis standards.     

Josephson junction with an amorphous silicon barrier

A Josephson junction Nb/Si/Nb with a 10 nm thick amorphous silicon barrier is studied. The upper electrode contains a 2 nm thick sublayer of amorphous phase adjacent to the barrier, as revealed by cross-sectional TEM. Thus, the junction can be considered as a S-I-N-S system with the N layer represented by amorphous niobium. Peculiarities in the I–V and Δ(T) dependencies are observed and explained as a consequence of a proximity effect present in the upper electrode.     

Neuronal migration disorders: heterotopic neocortical neurons in CA1 provide a bridge between the hippocampus and the neocortex

Neuronal migration disorders have been involved in various pathologies, including epilepsy, but the properties of the neural networks underlying disorders have not been determined. In the present study, patch clamp recordings were made from intrahippocampal heterotopic as well as from neocortical and hippocampal neurons from brain slices of rats with prenatally methylazoxymethanol-induced cortical malformation. We report that heterotopic neurons have morphometrical parameters and cellular properties of neocortical supragranular neurons and are integrated in both neocortical and hippocampal networks. Thus, stimulation of the white matter induces both antidromic and orthodromic response in heterotopic and neocortical neurons. Stimulation of hippocampal afferents evokes a monosynaptic response in the majority of heterotopic neurons and a polysynaptic all-or-none epileptiform burst in the presence of bicuculline to block gamma-aminobutyric acid type A inhibition. Furthermore, hippocampal paroxysmal activity generated by bath application of bicuculline can spread directly to the neocortex via the heterotopia in methylazoxymethanol-treated but not in naive rats. We conclude that heterotopias form a functional bridge between the limbic system and the neocortex, providing a substrate for pathological conditions.     

Implicit induction in conditional theories

We propose a new procedure for proof by induction in conditional theories where case analysis is simulated by term rewriting. This technique reduces considerably the number of variables of a conjecture to be considered for applying induction schemes. Our procedure is presented as a set of inference rules whose correctness has been formally proved. Moreover, when the axioms are ground convergent and the functions are completely defined, it is possible to apply the system for refuting conjectures. The procedure is even refutationally complete for conditional equations with Boolean preconditions over free constructors. The method is entirely implemented in the proverSPIKE. This system has solved interesting problems in a completely automatic way, that is, without interaction with the user and without ad hoc heuristics. It has also proved the challenging Gilbreath card trick, with only two easy lemmas.Preliminary versions of the results have been presented at the 13th International Joint Conference on Artificial Intelligence, Chambéry (France), 1993 (Bouhoula and Rusinowith, 1993).     

Mechanically driven syntheses of carbides and silcides

Most metal carbides or slicides may be synthesized at room temperature, by ball milling mixtures of elemental powders for some tens of hours with a vibratory mill. Both stable and metastable compounds containing a high density of defects can be obtained. In general, phases stable at low temperatures are synthesized. This observation allows us to confirm recent estimations for the maximum temperature (600 K) attained in these powders during mechanical alloying. Exceptions are found for some MSi₂ suicides with M = titanium, iron or molybdenum for which both low- and high-temperature phases are formed.     

Challenges and opportunities of multimodal data in human learning: The computer science students' perspective

Multimodal data have the potential to explore emerging learning practices that extend human cognitive capacities. A critical issue stretching in many multimodal learning analytics (MLA) systems and studies is the current focus aimed at supporting researchers to model learner behaviours, rather than directly supporting learners. Moreover, many MLA systems are designed and deployed without learners' involvement. We argue that in order to create MLA interfaces that directly support learning, we need to gain an expanded understanding of how multimodal data can support learners' authentic needs. We present a qualitative study in which 40 computer science students were tracked in an authentic learning activity using wearable and static sensors. Our findings outline learners' curated representations about multimodal data and the non-technical challenges in using these data in their learning practice. The paper discusses 10 dimensions that can serve as guidelines for researchers and designers to create effective and ethically aware student-facing MLA innovations.     

Oxidative dimerisation of propene to 1,5-hexadiene on Bi-Zn-O catalysts

The oxidative dimerisation of propene to 1,5-hexadiene has been investigated on Bi-Zn-O catalysts. The Bi₄₈ZnO₇₃ phase, observed in the catalysts calcined at 700 ° C is an active and selective catalyst for the formation of 1,5-hexadiene. The best catalytic performance (1,5-hexadiene selectivity 64%) has been obtained at 525 ° C, with a propene to oxygen ratio of 26, on a catalyst formed by Bi₄₈ZnO₇₃ with a small excess of ZnO.     

Polylactide films formed by immersion precipitation: Effects of additives,nonsolvent, and temperature

The influence of nonsolvent, crystallinity of the polymer film, and addition of dodecane (a poor solvent for the polymer and for the nonsolvent) on the morphology of polylactides films has been investigated and was related to phase separation behavior. Both amorphous poly‐DL ‐lactide (PDLLA) and crystalline poly‐L ‐lactide (PLLA) were dissolved in dichloromethane, and subsequently films were made by immersion in nonsolvent baths. PDLLA gave dense films without any internal structure, since the structure was not solidified by crystallization or glassification. PLLA films show varying structure depending on the nonsolvent. With methanol, asymmetric morphologies were observed as a result from combined liquid‐liquid demixing and crystallization, while with water symmetric spherulitic structures were formed. As a next step, dodecane was added, which is not miscible with the nonsolvent, and we found it to have a strong influence on the morphology of the films. The PDLLA films with dodecane did not collapse: a closed cell structure was obtained. In PLLA films, dodecane speeds up phase separation and induces faster crystallization in the films, and the porosity, size of the pores, and interconnectivity increased. When the PLLA solutions were subjected to a heat pretreatment, crystallization could be postponed, which yielded a cellular structure around dodecane, which did not contain spherulites anymore. © 2007 Wiley Periodicals, Inc. J Appl Polym Sci 104: 959–971, 2007     

Effect of Adding Transition Metals to Copper on the Dehydrogenation Reaction of Ethanol

The present work aims to investigate the effect adding Ag, Co, Ni, Cd and Pt to copper on ethanol dehydrogenation. The catalysts synthesized by deposition–precipitation method were characterized using various physicochemical methods such as N₂ adsorption–desorption, TPR, SEM–EDX, XRD, XPS and TGA–DSC-MS. Catalytic evaluation results revealed that the predominant product of the reaction was acetaldehyde. Monometallic copper or mixed with Cd, Ag or Co show good catalytic performances. Adding nickel to copper improves the process conversion but reduces acetaldehyde selectivity, giving rise to methane in produced hydrogen. Pt-Cu/SiO₂ catalyst guides the reaction towards diethyl ether. Time on stream tests performed during 12 h at 260 °C, showed that adding Cd to Cu enhances its stability by over 30% of conversion, this is explained by the reduction of copper crystallites sintering, which makes Cd-Cu/SiO₂ a promising catalyst for the production of acetaldehyde by ethanol dehydrogenation.

Graphic Abstract

     

Stability of nonlinear 2D systems described by the continuous-time Roesser model

This paper considers systems with two-dimensional dynamics (2D systems) described by the continuous-time nonlinear state-space Roesser model. The sufficient conditions of exponential stability in terms of vector Lyapunov functions are established. These conditions are then applied to analysis of the absolute stability of a certain class of systems comprising a linear continuous-time plant in the form of the Roesser model with a nonlinear characteristic in the feedback loop, which satisfies quadratic constraints. The absolute stability conditions are reduced to computable expressions in the form of linear matrix inequalities. The obtained results are extended to the class of continuous-time systems governed by the Roesser model with Markovian switching. The problems of absolute stability and stabilization via state- and output-feedback are solved for linear systems of the above class. The solution procedures for these problems are in the form of algorithms based on linear matrix inequalities.