Portail HAL Ensta
Not a member yet
11080 research outputs found
Sort by
Caractérisation et modélisation de la rupture dans le domaine de la transition ductile-fragile de matériaux tubulaires utilisés dans la fabrication de générateurs de gaz pour airbags
No full textThis work deals with the characterization of the ductile and brittle failure mechanisms of tubular materials used for the manufacture of airbag gas generators. During a crash, airbag cushion is inflated in a few milliseconds by a gas generator. In case of gas generator failure, a ductile failure mode must be ensured up to temperatures of -60°C. A Charpy ring test has been proposed to quantify the risk of brittle failure of gas generator materials. However, this modification of the Charpy test raises two issues: to what extent does this test allow to characterize the ductile-fragile transition and how can the risk of brittle failure of an operating gas generator be deduced from the results of the Charpy test? To answer these questions, an approach combining experiments and numerical simulations was implemented. Various experimental configurations were developed in order to characterize material behavior and ductile damage. The ductile failure is modeled with a local approach. Then, ductile to brittle transition was characterized by a Charpy ring test campaign performed for temperatures between -160°C and 23°C. A numerical study of this test was carried out. Coupled with the Charpy tests, it allowed to set up a model of the brittle failure. The risk of gas generators brittle failure is finally evaluated. The influence of the manufacturing process on the risk of brittle failure was also studied.Ce travail porte sur la caractérisation des mécanismes de rupture, ductile et fragile, de matériaux tubulaires utilisés pour la fabrication de générateurs de gaz pour airbag. Lors d’un accident, le coussin d’un airbag est gonflé en quelques millisecondes par un générateur de gaz. En cas de défaillance de ce dernier, un mode de rupture ductile doit être assuré jusqu’à des températures de -60°C. Un essai Charpy sur éprouvette anneau a été proposé pour quantifier le risque de rupture fragile des matériaux des générateurs de gaz. Cependant, cette modification de l’essai Charpy soulève deux problématiques : dans quelle mesure cet essai permet de caractériser la transition ductile-fragile et comment déduire le risque de rupture fragile d’un générateur de gaz en fonctionnement à partir des résultats des essais Charpy ? Pour répondre à ces questions, une approche combinant essais et simulations numériques a été mise en place. Différents essais ont été développés afin de caractériser le comportement et l’endommagement ductile du matériau de l’étude. Une approche locale de la rupture ductile a été adoptée pour la modélisation. Ensuite, une campagne d’essais Charpy sur anneau effectuée pour des températures comprises entre -160°C et 23°C a permis de caractériser la transition ductile-fragile. Une étude numérique de cet essai a été menée puis couplées aux essais Charpy, cela a permis de mettre en place une modélisation de la rupture fragile. Le risque de rupture fragile des éléments structuraux de générateurs de gaz est enfin évalué. L’influence du procédé de fabrication sur le risque de rupture fragile a aussi été étudiée
Coinciding local bifurcations in the Navier-Stokes equations
No full textInternational audienceGenerically, a local bifurcation only affects a single solution branch. However, branches that are quite different may nonetheless share certain eigenvectors and eigenvalues, leading to coincident bifurcations. For the fluidic pinball, two supercritical pitchfork bifurcations, of the equilibrium and the periodic solutions, occur at nearly the same Reynolds number. The mechanism of this kind of non-generic coincidence is modelled and explained
Prototyping FPGA through overlays
No full textInternational audienceEFPGAs give designers the flexibility to make changes at any point in the chip's life span, even in the customers' systems. Though, eFPGA are not efficient from an integration perspective, making proper dimensionning and tailoring mandatory. Unfortunately, designing an eFPGA is a complex and error-prone task. Even though automatic generation from high level models can produce correct-by-construction layouts, integration remains complex due to process variation. A key point is then to reduce the technology dependency.This paper presents the ELNATH project in which three implementations of the same architecture have been addressed: overlay, eFPGA, and 55 nm FPGA thanks to an open-source integrated tool flow that supports defining, implementing and programming reconfigurable architectures
Towards Objective Corneal Transparency Assessment in the Clinical Setting: Correction of Acquisition Artifacts in Spectral-domain OCT Images
No full textInternational audienc
Effective model for elastic waves in a substrate supporting a array of plates/beams with flexural and longitudinal resonances
No full textInternational audienceIn a previous study [1] we have studied the effect of an array of plates or beams over an elastic ground on the propagation of waves hitting the interface. The study was restricted to the low frequency regime where only flexural resonances take place. The present study presents a generalization to higher frequencies which allows us to account for both flexural and longitudinal resonances and to evaluate their interplay. An effective model is obtained using asymptotic analysis and homogenization techniques, which can be expressed in terms of the ground alone with an effective dynamic (frequency-dependent) boundary conditions of the Robin's type. For an inplane wave at oblique incidence, the scattered displacement fields and the reflection coefficients are obtained in closed forms and their effectiveness to reproduce the actual scattering is inspected by comparison with direct numerics in a two-dimensional setting
Fédération de modèles pour l’analyse de cybersécurité du point de vue d’un attaquant
No full textCybersecurity encompasses multiple problem areas. One of those, "Cyber Threat Analysis" (CTA), intersects various domains, system modeling, attacker modeling and threat description, where each one evolves independently. CTA is covered by multiple approaches, such as penetration testing or fault injection testing. To consider a-priori analysis methods, models are required. In this manuscript, we focus on the attacker viewpoint modeling approaches. Abundance of cybersecurity's standards must be taken into account in our work. Indeed, using various Domain Specific Modeling Languages (DSMLs), the CTA's experts describe their models in a language relevant to their problem area.In this modeling context, we must consider several open research questions. Firstly, how to address the interoperability problem between heterogeneous DSMLs. Secondly, how to handle, in our modeling context, the evolving nature of CTA's methods and knowledge due to the effervescence of the research domain. To tackle these issues, in this manuscript we propose a role-based federation approach to create dynamic and adaptive attacker's viewpoints linked to existing source models. First, we define and model the attacker's viewpoint in a CTA context. Based on cybersecurity standards as source models, our definition covers all attacker's concerns in this scope. To take into account the necessity to adapt and to evolve this definition, we propose a modeling framework based on several viewpoints representing different concerns. Additionally, we construct viewpoints on viewpoints in order to represent specific concerns or interpret specific attacker behavior. Then, we present our modeling language to express viewpoints, named Role4All. The concept of role is central to our approach, allowing us to represent and to federate various DSMLs in order to generate viewpoints. Interoperability between the domain models is crucial to apply dedicated algorithms and interpretations on the attacker's viewpoints. In our work, dedicated viewpoints are used by security analysis tools to simulate attacks on a system. A case study on development and on interpretation of attacker's viewpoint validates our approach. Our case study is based on the federation of multiple domain models describing, as an example, vulnerability definition, architectures description or configuration management. In particular, we highlight the use of roles to dynamically adapt attacker's perception on the attacked system.La cybersécurité est un domaine de recherche très étendu qui couvre de nombreux aspects. L’un d’entre eux, la modélisation et l’analyse de menaces, regroupe différents domaines qui évoluent indépendamment les uns des autres : la modélisation de systèmes, la modélisation d’attaquants et la description de menaces. Il existe un grand nombre d’approches dédiées à la modélisation et à l’analyse de la menace, telles que, des tests de pénétration ou des tests d’injection de fautes. Cependant, si l’on souhaite utiliser des approches d’analyses proactives, il est nécessaire d’utiliser des modèles pour raisonner sur ceux-ci. Dans ce manuscrit, nous nous concentrons sur l’une de ces approches : la modélisation du point de vue d’un attaquant. La littérature autour de la cybersécurité comporte un grand nombre de normes et de standards qui doivent être pris en considération dans nos travaux. Cette prolifération de solutions est particulièrement notable lorsque des experts, soumis à des problématiques spécifiques, décrivent différents modèles pour un même système. Et ce, à l’aide de langages de modélisation spécifiques à leurs domaines (DSML).Dans ce contexte de modélisation, nous devons considérer plusieurs questions de recherche, premièrement, comment résoudre le problème d’interopérabilité entre des DSMLs hétérogènes, et deuxièmement, comment gérer, dans notre contexte de modélisation, la nature évolutive des méthodes et des connaissances propres à ce domaine de recherche. Pour résoudre ces problématiques, nous proposons dans ce manuscrit une approche de fédération fondée sur les rôles. Cette dernière permet de créer des points de vue d’attaquants qui sont dynamiques, adaptatifs et en lien avec les modèles existants. Tout d’abord, nous définissons et modélisons le point de vue d’un attaquant dans le domaine de modélisation et d’analyse de la menace. La définition proposée découle des normes et des standards de la cybersécurité, elle couvre, l’ensemble des préoccupations d’un attaquant dans notre domaine d’étude. Pour tenir compte de la nécessité d’adapter et de faire évoluer notre définition, nous proposons un cadre de modélisation basé sur plusieurs points de vue représentant différents ensembles de préoccupations. De plus, nous permettons la construction de points de vue sur des points de vue, cette fonctionnalité est utilisée pour représenter des préoccupations spécifiques et pour interpréter le comportement d’un attaquant spécifique. Par la suite, nous présentons Role4All, notre langage de modélisation de points de vue. Le concept de rôle est au coeur de notre approche, car il nous permet de générer des points de vue représentant et fédérant différents DSMLs. L’interopérabilité entre les modèles est indispensable pour appliquer des algorithmes et des interprétations sur le point de vue d’un attaquant. C’est pourquoi, dans notre approche, des points de vue dédiés sont utilisés par des outils d’analyse de sécurité afin de fédérer les informations nécessairespour simuler des attaques sur un système. Nous validons notre approche au travers d’une étude de cas sur le développement et l’interprétation du point de vue d’un attaquant. Cette étude est basée sur la fédération de nombreux modèles décrivant, par exemple, des vulnérabilités, des architectures ou des configurations. En particulier, nous mettons en évidence l’utilisation des rôles pour adapter dynamiquement la perception qu’un attaquant à d’un système
Kinked crack paths in polycarbonate samples printed by fused deposition modelling using criss-cross patterns
No full textInternational audienceAdditive manufacturing is unquestionably gaining importance in industry. Due to the layer by layer deposit process, it usually leads to an anisotropic material. A question of importance to assess their resistance to fracture is whether Linear Elastic Fracture Mechanics can be used. In this paper, we investigate this point on polycarbonate printed by Fused Deposition Modelling focusing on a criss-crossed deposit pattern. Thanks to tensile and fracture experiments instrumented by Digital Image Correlation, the material is evidenced to be linear elastic until fracture, nearly isotropic in the 2D printing plane but with a strong fracture anisotropy, leading to systematic crack kinking along the weakest plane. The Stress Intensity Factors evolution is measured across the kink and shown to be in agreement with Amestoy-Leblond's formula. The fracture toughness is observed to be larger than the bulk value, in agreement with irreversible damage and plasticity that are clearly observable at the scale of the threads
ROUGH PATHS AND REGULARIZATION
No full textInternational audienceCalculus via regularizations and rough paths are two methods to approach stochastic integration and calculus close to pathwise calculus. The origin of rough paths theory is purely deterministic, calculus via regularization is based on deterministic techniques but there is still a probability in the background. The goal of this paper is to establish a connection between stochastically controlled-type processes, a concept reminiscent from rough paths theory, and the so-called weak Dirichlet processes. As a by-product, we present the connection between rough and Stratonovich integrals for càdlàg weak Dirichlet processes integrands and continuous semimartingales integrators
Smoothness of densities for path-dependent SDEs under Hörmander's condition
No full textInternational audienceWe establish the existence of smooth densities for solutions to a broad class of path-dependent SDEs under a Hörmander-type condition. The classical scheme based on the reduced Malliavin matrix turns out to be unavailable in the path-dependent context. We approach the problem by lifting the given n-dimensional path-dependent SDE into a suitable Lp-type Banach space in such a way that the lifted Banach-space-valued equation becomes a state-dependent reformulation of the original SDE. We then formulate Hörmander’s bracket condition in Rnfor non-anticipative SDE coefficients defining the Lie brackets in terms of vertical derivatives in the sense of the functional Itô calculus. Our pathway to the main result engages an interplay between the analysis of SDEs in Banach spaces, Malliavin calculus, and rough path techniques
