Portail HAL Ensta
Not a member yet
11080 research outputs found
Sort by
Security property modeling
No full textInternational audienceWith the increasing number of cyber-attacks on cyber-physical systems, many security precautions and solutions have been suggested. However, most of these solutions aim to prevent the access of an adversary to the system. Though, with the increasing number of elements used in a system, and thus vulnerabilities, it is essential to study the risks introduced to the system to make the system itself efficient enough to react to the attacks once an attacker has obtained access. Analyzing and discovering the risks is the first step to making the system more resilient. This paper proposes a methodology that combines the qualitative risk analysis with formal methods (model checking) to identify the risks that were not recognized during testing or functional modeling phases. To examine this methodology, a car reservation system is modeled with an attacker, and then its security properties are verified using UPPAAL model checking tool. As a result, some risks were identified and tested for the possibility of them occurring and their effects on the system
Fabrication and electromechanical performance of carbon nanotube based conductive membrane and its application in real-time multimode strain detection in composites
No full textInternational audienceIn this study, a flexible conductive membrane (CM) consisting of a network of carbon nanotubes is produced and the electromechanical behavior of this CM was studied experimentally and the gauge factor (GF) of CM was in the 8–8.25 range. Then, a multi-mode strain detection is carried out in composites using this CM sensor. The CM is embedded gradually at directions i.e. 0°, +45°, 90°, −45° between the plies for real-time/in-situ strain monitoring. The composite specimens are then cut in star profile and then tested under tensile and bending cyclic loading. There is a good reproducibility in the results and the mechanical response of composite correlated perfectly with the electrical resistance of the CM sensor however, a sensor in each position showed distinct behavior. The results established that the CM sensor exhibited good potential as a flexible strain sensor for in-situ monitoring of composites and can provide detection over a large section and unapproachable locations
Gaussian beams formalism for high frequency scattering problems by metallic targets
No full textInternational audienceThe aim of this paper is to apply the Gaussian beam formalism for computing high frequency wave propagation problems. Unlike standard ray theory, Gaussian beams method overcome the difficulties of singular regions. The performance of the method is illustrated with several numerical examples
Single-stage few-cycle nonlinear compression of Ti:Sa femtosecond pulses in a multipass cell
No full textInternational audienc
Cyclobutanes and cyclopropanes: Methodological studies toward kingianin natural products
No full textInternational audienc
Study of the entanglement Rate Influence in a Quantum Illumination Radar Scheme: Information Theory Approach
No full textInternational audienceThe conventional radar theory relies on the classical electromagnetic wave theory to run. On the contrary, a quantum radar will relie on the quantum mechanic theory to run. A quantum radar that uses the quantum illumination based on photon entanglement enables to get a better detection sensitivity. In this paper, we highlight the influence of the propagation environment on the quantum illumination radar scheme. Our approach consists in describing the quantum information evolution inside the radar and the entanglement rate with a mathematical parameter which represents the interaction strength of the propagation medium on the quantum system used by the radar
Multivariate and location-specific correlates of fuel consumption: A test track study
No full textInternational audienc
Symposium. (Se) Co-construire avec ces autres en formation
No full textInternational audienceDans le cadre de ce symposium, un collectif d’enseignants chercheurs, de formateurs et de professionnels engagés dans les champs de métiers de haute technologie (ingénieurs en Intelligence Artificielle, ingénieurs innovateurs) et des métiers d’intervention sur autrui (soins, travail social, éducation pastorale) se propose de penser et de « disputer » en écho, autour de questions centrales identifiées, leurs travaux de recherche et leurs pratiques professionnelles sous la focale de l’« autre ». Cet « autre » s’entend ici à la fois en tant qu’autrui (Bourgeois, 2018, 2006 ; Cifali, 2019, 2018 ; Dubar, 2010 ; Levinas, 1990) ou tiers (Fabre, 2011), qu’espaces de formations et professionnels (Barbier, 2011, 2006) et espaces temps - moments de conflits entre temps idéal, temps actuel et temps passé - (Idem) . Outre les formateurs professionnels et institutionnels, d’« autres » participent des processus de transmissions, favorisent ou non les apprentissages, et au-delà l’appropriation. Ces activités de formations, implicites ou non, participent ainsi à la co-construction de ces « autres », et cela tout autant dans le cadre d’ espaces d’activités que des temps dédiés ou de situations inattendues. Ces « autres », la plupart du temps effacés ou désincarnés, surtout dans cette période de positionnement « post-positiviste » et cette période de pandémie, sont bien présents et ne peuvent être oubliés. La recherche d'une meilleure compréhension et d’une prise en compte plus explicite de ces "autres" en formation, considérée ici comme un environnement global – un écosystème - pourrait être une piste heuristique tant du point de vue de la recherche en sciences de l’éducation sur les processus de formation qu’au niveau du développement didactique, d’actions et de leviers de formation.Éléments bibliographiquesBarbier, J. M. (2011). Vocabulaire d’analyse d’activités. Paris : PUF, coll. Formation & pratiques professionnelles.Barbier, J. M. (2006). Problématique identitaire et engagement des sujets dans les activités. In J. M. Barbier & al. (Eds). Constructions identitaires et mobilisation des sujets en formation (pp. 15-64). Paris : L’Harmattan, coll. Action & Savoir.Bourgeois, E. (2018). Le désir d’apprendre, formation et construction du sujet. Paris : PUF, coll. Formation & pratiques professionnelles.Bourgeois, E. (2006). Tensions identitaires et engagement en formation. In J. M. Barbier & al. (Eds). Constructions identitaires et mobilisation des sujets en formation (pp. 65-120). Paris : L’Harmattan, coll. Action & Savoir.Cifali, M. (2019). Préserver un lien : éthique des métiers de la relation. Paris : PUF.Cifali, M. (2018). S’engager pour accompagner : valeurs des métiers de la formation. Paris : PUF.Dubar, C. (2010). La socialisation. Construction des identités sociales et professionnelles. Paris : Armand Colin.Fabre, M. & al. (Eds). (2015). Le tiers éducatif. Une nouvelle relation pédagogique. Figures et fonctions du tiers en éducation et formation. Bruxelles : De Boeck, coll. Perspectives en éducation & formation.Levinas, E. (1990). Totalité et Infini. Essai sur l’extériorité. Paris : Le livre de Poche, coll. Biblio essais
