THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION

This article presents a novel application of grammatical inference techniques to the synthesis of behavior models of software systems. This synthesis is used for the elicitation of software requirements. This problem is formulated as a deterministic finite-state automaton induction problem from positive and negative scenarios provided by an end user of the software-to-be. A query-driven state merging (QSM) algorithm is proposed. It extends the Regular Positive and Negative Inference (RPNI) and blue-fringe algorithms by allowing membership queries to be submitted to the end user. State merging operations can be further constrained by some prior domain knowledge formulated as fluents, goals, domain properties, and models of external software components. The incorporation of domain knowledge both reduces the number of queries and guarantees that the induced model is consistent with such knowledge. The proposed techniques are implemented in the ISIS tool and practical evaluations on standard requirements engineering test cases and synthetic data illustrate the interest of this approach.     

Trust-based security for the OLSR routing protocol

The trust is always present implicitly in the protocols based on cooperation, in particular, between the entities involved in routing operations in Ad hoc networks. Indeed, as the wireless range of such nodes is limited, the nodes mutually cooperate with their neighbors in order to extend the remote nodes and the entire network. In our work, we are interested by trust as security solution for OLSR protocol. This approach fits particularly with characteristics of ad hoc networks. Moreover, the explicit trust management allows entities to reason with and about trust, and to take decisions regarding other entities.In this paper, we detail the techniques and the contributions in trust-based security in OLSR. We present trust-based analysis of the OLSR protocol using trust specification language, and we show how trust-based reasoning can allow each node to evaluate the behavior of the other nodes. After the detection of misbehaving nodes, we propose solutions of prevention and countermeasures to resolve the situations of inconsistency, and counter the malicious nodes. We demonstrate the effectiveness of our solution taking different simulated attacks scenarios. Our approach brings few modifications and is still compatible with the bare OLSR.     

Convex inner approximations of nonconvex semialgebraic sets applied to fixed-order controller design

We describe an elementary algorithm to build convex inner approximations of nonconvex sets. Both input and output sets are basic semialgebraic sets given as lists of defining multivariate polynomials. Even though no optimality guarantees can be given (e.g. in terms of volume maximisation for bounded sets), the algorithm is designed to preserve convex boundaries as much as possible, while removing regions with concave boundaries. In particular, the algorithm leaves invariant a given convex set. The algorithm is based on Gloptipoly 3, a public-domain Matlab package solving nonconvex polynomial optimisation problems with the help of convex semidefinite programming (optimisation over linear matrix inequalities, or LMIs). We illustrate how the algorithm can be used to design fixed-order controllers for linear systems, following a polynomial approach.     

Surface enrichment of biomimetic apatites with biologically-active ions Mg2+ and Sr2+: A preamble to the activation of bone repair materials

The surface activation of calcium phosphate-based biomaterials for bone repair is an emerging route for improving bone regeneration processes. One way for such activation is through the exchange of surface calcium ions with biologically-active cations such as Mg²⁺ or Sr²⁺. In this work, the interactions of non-carbonated and carbonated nanocrystalline apatites with Mg²⁺ and Sr²⁺ were investigated by means of ion exchange experiments in solution. Langmuir-type isotherms were determined. For both Sr and Mg, a greater uptake was observed on the carbonated sample, and on both types of apatites the maximum strontium uptake was greater than that of magnesium. Inverse exchanges showed that the proportion of reversibly fixed ions after surface exchange was close to 85% for Mg and 75–80% for Sr. The results are related to the presence of a surface hydrated layer on the nanocrystals and possible exchange mechanisms are discussed. Our results favor the hypothesis of hetero-ionic surface exchanges (Mg²⁺↔Ca²⁺, Sr²⁺↔Ca²⁺) within the hydrated layer, and some analogy with octacalcium phosphate (OCP) is considered. This work should prove helpful for the control and understanding of the activation of synthetic apatite-based powders or scaffolds with bioactive elements, as well as for the global understanding of biomineralization processes.     

简单MicroBlaze微控制器的理念

MicroBlaze是一款基于构造的的嵌入式微处理器，它的显著优势在于能满足复杂应用的需求，在除了运行简单的通用应用以外，还能运行操作系统。     

Finite element modelling of passive damping with resistively shunted piezocomposites

This work aims at modelling passive damping in structures made of composites with embedded resistively shunted piezoelectric ceramic fibres. To this end, a 3D material model is implemented in the finite element (FE) code ABAQUS. Academical test cases as well as a structural case study are presented.     

Design of dedicated seven-port star dividers for sectored circular antenna array feeding

In order to mitigate the multipath propagation problems for high rate wlans such as Hiperlan (5 GHz) [2], we study an approach based on electronic beam steering over 360° in azimuth with the help of circular arrays of monopoles [3]. Design simplicity and size constraints intended for potential low-cost applications on the terminals has led us to favor a beam switching topology, using a single feeding-port [4]. Two competing configurations of the microstrip feeding circuit are presented and their principle of operation is experimentally validated through passive circuit configurations. The power distribution is achieved in the first one with the help of a pseudo-divider based on a modified 7-branch star junction, whose specific advantage is its very small size. Unfortunately, this design does not preserve the circular permutation invariance of the radiation patterns. The second circuit bypasses this problem in achieving a power distribution through a virtual point junction, at the cost of an appreciable increase in the circuit size.     

Overview of the MPEG Reconfigurable Video Coding Framework

Video coding technology in the last 20 years has evolved producing a variety of different and complex algorithms and coding standards. So far the specification of such standards, and of the algorithms that build them, has been done case by case providing monolithic textual and reference software specifications in different forms and programming languages. However, very little attention has been given to provide a specification formalism that explicitly presents common components between standards, and the incremental modifications of such monolithic standards. The MPEG Reconfigurable Video Coding (RVC) framework is a new ISO standard currently under its final stage of standardization, aiming at providing video codec specifications at the level of library components instead of monolithic algorithms. The new concept is to be able to specify a decoder of an existing standard or a completely new configuration that may better satisfy application-specific constraints by selecting standard components from a library of standard coding algorithms. The possibility of dynamic configuration and reconfiguration of codecs also requires new methodologies and new tools for describing the new bitstream syntaxes and the parsers of such new codecs. The RVC framework is based on the usage of a new actor/ dataflow oriented language called CAL for the specification of the standard library and instantiation of the RVC decoder model. This language has been specifically designed for modeling complex signal processing systems. CAL dataflow models expose the intrinsic concurrency of the algorithms by employing the notions of actor programming and dataflow. The paper gives an overview of the concepts and technologies building the standard RVC framework and the non standard tools supporting the RVC model from the instantiation and simulation of the CAL model to software and/or hardware code synthesis.     

Net N immobilisation during the biodegradation of mucilage in soil as affected by repeated mineral and organic fertilisation

Repeated fertilisation of crops with manure commonly increases both the amount and the quality of soil organic matter, the mineralisation of which strongly determines the availability of N to plants. In the rhizosphere, the microbial mineralisation/immobilisation of N is enhanced due to rhizodeposition (release of organic compounds from roots). In this work, we studied N transformations during incubation of maize root mucilage in soils that had been previously fertilized with composted pig manure or with ammonium nitrate for 7 years. Our work revealed mucilage was rapidly mineralised (average half-life of 3 days), inducing a rapid N immobilisation of 94 mg N g⁻¹ of mucilage C, followed by a slow remineralisation. Fertilisation with manure induced a persistent stimulation of the soil organic matter mineralisation, leading to an enhanced content of soil inorganic N (+23% in 58 days of incubation). Due to this stimulation of microbial activity in the soil fertilized with manure, the decrease in inorganic N during the biodegradation of mucilage lasted a shorter time as compared to the mineral fertilisation. However, the type of fertilisation did not significantly change the amount of N immobilised.     

Effect of the activation procedure on the performance of Mo/H-MFI catalysts for the non-oxidative conversion of methane to aromatics

The effect of pre-treatment on the performance of Mo/H-MFI zeolite catalysts applied to the non-oxidative conversion of methane to aromatics has been investigated. It is demonstrated that catalyst performance depends on activation conditions. Activation of the Mo-oxide/H-MFI precursor with an n-butane/hydrogen mixture results in higher catalyst stability and benzene selectivity which are tentatively attributed to the formation of the -MoC_1−x carbide, with f.c.c. structure as revealed by XRD.