Détection de fissures dans les poutres d'acier : une nouvelle approche par balayage de mesures de vibrations

In the last few years, the techniques of detection and identification of damage in structures benefited from important research efforts. Several methods of non-destructive damage detection, such as techniques based on modal analysis, were developed in addition to the traditional methods. The difficulties encountered by these techniques are their low performance, considering the industrial requirements to detect cracks as early as possible.     

Computing reachable sets for uncertain nonlinear monotone systems

We address nonlinear reachability computation for uncertain monotone systems, those for which flows preserve a suitable partial orderings on initial conditions. In a previous work Ramdani (2008) [22], we introduced a nonlinear hybridization approach to nonlinear continuous reachability computation. By analysing the signs of off-diagonal elements of system’s Jacobian matrix, a hybrid automaton can be obtained, which yields component-wise bounds for the reachable sets. One shortcoming of the method is induced by the need to use whole sets for addressing mode switching. In this paper, we improve this method and show that for the broad class of monotone dynamical systems, component-wise bounds can be obtained for the reachable set in a separate manner. As a consequence, mode switching no longer needs to use whole solution sets. We give examples which show the potentials of the new approach.     

Highly enantioselective aza Morita-Baylis-Hillman reaction catalyzed by bifunctional beta-isocupreidine derivatives

The aza-MBH reaction of imines 1 and beta-naphthyl acrylate 2 in the presence of C-6' modified beta-isocupreidine derivative 1c (0.1 equiv) and beta-naphthol 5 (0.1 equiv) afforded the corresponding (3S)-aza-MBH adducts 4 in high yield and excellent enantiomeric excess. These catalytic conditions allowed the aliphatic imines to be employed for the first time as electrophilic partners of the aza-MBH reaction. The coexistence of two H-bond donors with different acidic strengths was found to be crucial for the observed high enantioselectivity.     

Thermal design of a spherical electronic device naturally cooled by means of water–copper nanofluid saturated porous media

Journal of Thermal Analysis and Calorimetry - The present work deals with thermal regulation of a spherical electronic device used in naval navigation techniques. Cooling is achieved by means of...     

A CSP Versus a Zonotope-Based Method for Solving Guard Set Intersection in Nonlinear Hybrid Reachability

Computing the reachable set of hybrid dynamical systems in a reliable and verified way is an important step when addressing verification or synthesis tasks. This issue is still challenging for uncertain nonlinear hybrid dynamical systems. We show in this paper how to combine a method for computing continuous transitions via interval Taylor methods and a method for computing the geometrical intersection of a flowpipe with guard sets, to build an interval method for reachability computation that can be used with truly nonlinear hybrid systems. Our method for flowpipe guard set intersection has two variants. The first one relies on interval constraint propagation for solving a constraint satisfaction problem and applies in the general case. The second one computes the intersection of a zonotope and a hyperplane and applies only when the guard sets are linear. The performance of our method is illustrated on examples involving typical hybrid systems.     

Scorpion digestive lipase: kinetic study using monomolecular film technique

Using the classical emulsified system and the monomolecular film technique, we compared the interfacial properties of the scorpion digestive lipase (SDL) with those of higher animals'. In the absence of bile slats, SDL does not hydrolyse efficiently pure tributyrin, as well as dicaprin films maintained at low surface pressure. The preincubation of bile salts with tributyrin seems to be a better substrate for SDL than the pure tributyrin. A kinetic study on the surface pressure dependency, stereospecificity and regioselectivity of SDL was performed using monomolecular films of either three dicaprin isomers or three pairs of didecanoyl-deoxyamino-O-methyl glycerol enantiomers (DDG) containing a single hydrolysable decanoyl ester bond. With all diacylglycerol isomers, SDL has a surface pressure threshold of about 15 m Nm(-1), below which enzymatic activity is undetectable. SDL seems to prefer vicinal ester groups of the diacylglycerol isomers, with preference for sn-1 position at both 15 and 23 m Nm(-1). Furthermore, the maximum SDL activity is measured with DDG having a primary ester bond (1,3DDG, SII). This shows that SDL has a preference for the sn-1 position of this diacylglycerol analogue. Moreover, this was in line with the fact that SDL is inactive on sn-2 position of both DDG isomers and a triacylglycerol. With diacylglycerol analogue isomers, SDL shows a preference for distal isomers contrary to what has been observed with diacylglycerol isomers. SDL interacts with egg-phosphatidyl choline (egg-PC) monomolecular films. The critical surface pressure value (13 m Nm(-1)) is comparable to those of pancreatic lipases.     

Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques

We investigate solution techniques for numerical constraint-satisfaction problems and validated numerical set integration methods for computing reachable sets of nonlinear hybrid dynamical systems in the presence of uncertainty. To use interval simulation tools with higher-dimensional hybrid systems, while assuming large domains for either initial continuous state or model parameter vectors, we need to solve the problem of flow/sets intersection in an effective and reliable way. The main idea developed in this paper is first to derive an analytical expression for the boundaries of continuous flows, using interval Taylor methods and techniques for controlling the wrapping effect. Then, the event detection and localization problems underlying flow/sets intersection are expressed as numerical constraint-satisfaction problems, which are solved using global search methods based on branch-and-prune algorithms, interval analysis and consistency techniques. The method is illustrated with hybrid systems with uncertain nonlinear continuous dynamics and nonlinear invariants and guards.