Effet de la pression sur la transition ruisselant-pulsé dans les réacteurs catalytiques à lit fixe arrosé

The effect of pressure on transition displacement between trickle and pulsed regimes (TPR: trickle-pulsed transition) in catalytic trickle bed reactors (CTBR) is not properly predicted by existing theoretical models and empirical correlations. Based on high pressure TPR data available to date, a modified Charpentier diagram is proposed to quantify directly the effect of pressure in non-foaming systems.     

Representations by Contact and Intersection of Segments

A necessary and sufficient condition is given for a connected bipartite graph to be the incidence graph of a contact family of segments and points. We deduce that any four-connected three-colorable plane graph is the contact graph of a family of segments and that any four-colored planar graph without an induced C₄ using four colors is the intersection graph of a family of straight line segments.     

Engineering Model of a Nonisobaric Heavily Laden Gas‐Particle Jet

An axisymmetrical model of a rapid nonisobaric heavily laden gas‐particle jet is developed. The model is based on the general functions for both axial and radial pressure distributions, which were discovered by a numerical study of rapid gas‐particle jets by the CFD code. The model equations were solved analytically. The results obtained by the model developed are in good agreement with those computed by the CFD code for a wide range of flow parameters.     

Outbreak of trichinosis in France associated with eating horse meat

The investigation of a trichinosis outbreak in Auvergne, France identified 23 cases in 12 households living in two cities-Clermont-Ferrand and Montlu?on-between 15 February and 7 March 1991. One patient required intensive care, 15 had major symptoms, and seven had minor or no symptoms. Two case control studies demonstrated a significant (p < 0.01) association between eating horse meat and acute trichinosis. Veterinary services found that three supermarkets where the patients had bought horse meat during the suspected period had been supplied by a single wholesaler. The analysis of the wholesaler's records revealed that the implicated horse meat had been imported from a slaughterhouse in the United States. This outbreak occurred despite a requirement in France for all meat from horses slaughtered in France and in countries exporting meat to France to be examined systematically for trichinella.     

Globally Optimal Point Set Registration by Joint Symmetry Plane Fitting

The present work proposes a solution to the challenging problem of registering two partial point sets of the same object with very limited overlap. We leverage the fact that most objects found in man-made environments contain a plane of symmetry. By reflecting the points of each set with respect to the plane of symmetry, we can largely increase the overlap between the sets and therefore boost the registration process. However, prior knowledge about the plane of symmetry is generally unavailable or at least very hard to find, especially with limited partial views. Finding this plane could strongly benefit from a prior alignment of the partial point sets. We solve this chicken-and-egg problem by jointly optimizing the relative pose and symmetry plane parameters. We present a globally optimal solver by employing the branch-and-bound paradigm and thereby demonstrate that joint symmetry plane fitting leads to a great improvement over the current state of the art in globally optimal point set registration for common objects. We conclude with an interesting application of our method to dense 3D reconstruction of scenes with repetitive objects.

     

A code tagging approach to software product line development

Software product line engineering seeks to systematise reuse when developing families of similar software systems so as to minimise development time, cost and defects. To realise variability at the code level, product line methods classically advocate usage of inheritance, components, frameworks, aspects or generative techniques. However, these might require unaffordable paradigm shifts for developers if the software was not thought at the outset as a product line. Furthermore, these techniques can be conflicting with a company’s coding practices or external regulations. These concerns were the motivation for the industry–university collaboration described in this paper in which we developed a minimally intrusive coding technique based on tags. The approach was complemented with traceability from code to feature diagrams which were exploited for automated configuration. It is supported by a toolchain and is now in use in the partner company for the development of flight-grade satellite communication software libraries.     

What can you verify and enforce at runtime?

The underlying property, its definition, and representation play a major role when monitoring a system. Having a suitable and convenient framework to express properties is thus a concern for runtime analysis. It is desirable to delineate in this framework the sets of properties for which runtime analysis approaches can be applied to. This paper presents a unified view of runtime verification and enforcement of properties in the Safety-Progress classification. First, we extend the Safety-Progress classification of properties in a runtime context. Second, we characterize the set of properties which can be verified (monitorable properties) and enforced (enforceable properties) at runtime. We propose in particular an alternative definition of ??property monitoring?? to the one classically used in this context. Finally, for the delineated sets of properties, we define specialized verification and enforcement monitors.