117 research outputs found
Coupling two cell-centered finite volume schemes for solving anisotropic diffusion and fluid dynamics on unstructured moving meshes
International audienceIn our work we intend to model the physical phenomenons occuring during the atmospheric re-entry of a spacecraft at a low altitude. We developped a cell-centered ïŹnite volume scheme for solving anisotropic diffusion on unstructured moving meshes in order to model the thermal transfers occuring in the re-entry vehicule. We also developped a cell-centered ïŹnite volume scheme for solving the Navier-Stokes equations in order to model the hypersonic ïŹuid ïŹow around the vehicle. In this talk we will focus on the modelisation of the ablation phenomenon which introduce a coupling between the ïŹow and the thermal transfers
Entretien avec Philippe Claudel
Si Philippe Claudel a fait paraĂźtre Meuse lâoubli (Balland, 1999), Jâabandonne (Balland, 2000), Les Ămes grises (Stock, 2003), ou Le Rapport Brodeck (Stock, 2007, prix Goncourt des lycĂ©ens) avant de passer Ă la rĂ©alisation avec Il y a longtemps que je tâaime en 2008, le cinĂ©ma reprĂ©sente nĂ©anmoins lâune de ses premiĂšres passions, lâun des socles de son Ćuvre. PrĂ©alablement Ă ce film, il avait collaborĂ© avec le rĂ©alisateur Yves Angelo en Ă©crivant pour lui le scĂ©nario de Sur le bout des doigts,..
Simple Isolation for an Actor Abstract Machine
Part 5: Efficient Verification TechniquesInternational audienceThe actor model is an old but compelling concurrent programming model in this age of multicore architectures and distributed services. In this paper we study an as yet unexplored region of the actor design space in the context of concurrent object-oriented programming. Specifically, we show that a purely run-time, annotation-free approach to actor state isolation with reference passing of arbitrary object graphs is perfectly viable. In addition, we show, via a formal proof using the Coq proof assistant, that our approach indeed enforces actor isolation
Identifier, détecter et localiser les centralités économiques : une proposition inspirée de l'algorithme DBSCAN
En sciences rĂ©gionales, la notion de centre(s) revĂȘt une importance capitale pour plusieurs modĂšles thĂ©oriques et cadres conceptuels. Les dynamiques urbaines et locales ont conduit Ă une multiplication des centres rendant le polycentrisme la norme dans la plupart des aires mĂ©tropolitaines. Or, la localisation du centre (ou des centres) est souvent postulĂ©e comme exogĂšne, dĂ©terminĂ©e Ă lâavance. Elle sâavĂšre souvent un intrant nĂ©cessaire afin dâidentifier les multiples centres. Cette note de recherche propose de dĂ©velopper un algorithme permettant dâidentifier, de dĂ©tecter et de localiser les diffĂ©rents centres Ă partir dâune typologie issue de critĂšres Ă©conomiques (unitĂ©s de logements et commerciales). Afin de prĂ©senter son implĂ©mentation, deux applications fictives sont dĂ©veloppĂ©es. Une premiĂšre sur une ville monocentrique, et une seconde sur une ville polycentrique. Une application empirique permet dâidentifier et de localiser les centralitĂ©s de 31 rĂ©gions mĂ©tropolitaines de recensement (RMR) et agglomĂ©rations de recensement (AR) du QuĂ©bec Ă partir dâinformation sur les unitĂ©s dâĂ©valuation contenues dans les rĂŽles dâĂ©valuations municipaux
Croissance de semi-conducteurs Ă grand gap
La modĂ©lisation et la simulation des procĂ©dĂ©s de croissance tel que le transport physique en phase vapeur (PVT), le dĂ©pĂŽt chimique en phase vapeur (CVD ou HTCVD) et les techniques hybrides (CFPVT), sont suffisamment au point pour ĂȘtre utilisĂ©es comme des outils de comprĂ©hension des phĂ©nomĂšnes physiques couplĂ©s et comme des outils de conception de nouveaux procĂ©dĂ©s et d'optimisation de procĂ©dĂ©s existants. La modĂ©lisation des procĂ©dĂ©s d'Ă©laboration rassemble plusieurs voies physico-chimiques de complexitĂ© variable, depuis des Ă©tudes thermodynamiques et/ou cinĂ©tiques jusqu'aux transferts simultanĂ©s de matiĂšre et de chaleur couplĂ©es avec les bases de donnĂ©es et propriĂ©tĂ©s thermodynamiques et/ou cinĂ©tiques et de transport. DiffĂ©rentes voies de modĂ©lisation sont utilisĂ©es, thermodynamiques, cinĂ©tique ou transfert de masse, de façon couplĂ©e ou dĂ©couplĂ©e, permettant de visualiser l'Ă©volution de la croissance et ainsi comprendre le rĂŽle complexe et fortement couplĂ© des phĂ©nomĂšnes
Caractérisation du comportement mécanique de panneaux de contreplaqué sous sollicitation de flexion et de flexion-compression
Not availableLes sollicitations combinées de flexion et de compression sur les structures à base de bois sont reproduites en laboratoire grùce à un dispositif spécifique, placé dans une machine de traction classique. Le dispositif est constitué de biellettes articulées dont les dimensions et l'agencement déterminent le rapport des efforts de flexion et de compression sur l'éprouvette. Le dimensionnent a été réalisé par simulations numériques. Les essais sont effectués sur des panneaux de contreplaqué de différentes épaisseurs et différentes essences (okoumé, okoumé-peuplier, pin des Landes et balsa). Le suivi de l'endommagement a été réalisé par acquisition des signaux d'émission acoustique. L'analyse de la forme des ondes permet aprÚs filtrage de détecter l'apparition d'événements représentatifs de l'endommagement. La prévision des scénarios d'endommagement est faite à partir d'une étude analytique et de simulations numériques
- âŠ