Systèmes réactifs
CSP dynamiques pour la génération de tests de systèmes réactifs
... de systèmes réactifs critiques : les langages synchrones disposent d’une sémantique formelle dans laquelle les calculs à chaque cycle sont déterministes en fonction des en- trées successives du ...
11
Propriétés thermodynamiques des systèmes réactifs solide/gaz
... des systèmes réactifs solide/gaz Considérons un système constitué de N 0 moles de solide S 0 , de N 1 moles de solide S 1 , de N 2 moles de gaz réactif G et de N 3 moles de gaz inerte (air par ...
12
Dynamique microscopique et propriétés macroscopiques de systèmes réactifs structurés : fronts d'onde chimiques exothermiques et prise du plâtre
... 4.2 Méthode DSMC 4.2.1 Description microscopique L'approche macroscopique de la propagation d'un front chimique peut s'avérer insu sante. Ainsi l'absence de uctuations de densité ou encore l'approximation maxwellienne ...
137
Systèmes réactifs et programmation synchrone
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
19
Vers une conception de systèmes réactifs synchrones sûrs
... Dans ce papier nous offrons d’une part, un cadre de description de composants r´ eactifs synchrones ´ el´ ementaires dans un formalisme adapt´ e pour la v´ erification formelle de propri[r] ...
18
Expression et validation de contraintes temporelles pour la spécification des systèmes réactifs
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
156
Injection de systèmes réactifs : détermination de lois cinétiques et rhéologiques et modélisation
... Cette température est basse pour éviter que la réaction n’ait le temps de trop avancer avant que la matière entre dans le moule.. Cette température est un bon compromis entre une réacti[r] ...
261
Conception et évaluation d'outils décisionnels pour des systèmes réactifs d'aide à la mobilité
... La seconde tendance correspond à l’utilisation croissance des STIC Sciences et Technologies de l'Information et de la Communication dans la gestion de la mobilité : les dispositifs de gu[r] ...
199
Optimisation de la dispersion d’un silicate lamellaire dans un système hybride de polymères réactifs.
... 28 sont assez efficaces alors que celui à base de calcium n’a révélé aucune activité dans la promotion des échanges entre les deux polymères [57]. De plus, Fiorini et al. [81] ont rapporté que les catalyseurs basés sur ...
159
Développement et caractérisation de sources de neutres réactifs pour l’étude des interactions plasmas-surfaces
... neutres réactifs, comme l’essentiel des réactions de fragmentation du gaz plasmagène s’effectue par collisions avec les électrons, il est primordial de contrôler parfaitement la densité et l’énergie de ces ...
112
Additions catalytiques énantiosélectives de réactifs diorganozinciques utilisant un ligand diphosphine monoxydé
... En d’autres mots, nous nous sommes servis de la réaction d’addition catalytique énantiosélective du diéthylzinc sur les imines utilisant le BozPHOS comme modèle, car elle est très sensib[r] ...
415
Milieux granulaires réactifs : dynamique et structure autour de grains en transformation
... les systèmes granulaires auto-entretenus qui ont fait l’objet de ce type ...de systèmes on peut citer les tremblements de terre [137], les avalanches neigeuses [138], les milieux granulaires lentement ...
151
Contribution des réactifs oxygénés à la réponse immunitaire innée contre le virus Influenza
... Ces réactifs oxygénés ainsi produits vont soit entrer dans le phagosome pour agir directement sur l’agent pathogène phagocyté soit stimuler la production de ROS par le phagosome via NOX2 ...
85
Étude électrique et spectroscopique des décharges à barrière diélectrique à la pression atmosphérique en milieux réactifs
... Le mémoire est présenté en trois chapitres. Un premier chapitre propose une synthèse des principes généraux et de la littérature sur les DBD homogènes à la pression atmosphérique en se focalisant sur l’hélium comme gaz ...
117
Chimie du glycérol pour la synthèse de dérivés du glycérol applicables comme solvants ou diluants réactifs
... B. Synthèse de 3-alkoxypropan-1,2-diol et de 1,3-alkoxypropan-2-ol à partir de glycérol et de sulfates de dialkyle La synthèse des éthers de glycérol retenus pour l’application « solvant » à partir de glycérol a été ...
224
Caractérisation des interactions phage-minerai et développement de bio-réactifs potentiels pour les procédés de flottation
... Afin de développer des réactifs de flottation efficaces, il est essentiel d’identifier des ligands sélectifs par rapport aux différents minerais. Bien que quelques travaux aient été publiés sur le sujet [5, 6, 8, ...
105
Modélisation et optimisation des canaux réactifs de microréacteurs et des piles à combustible à hydrogène
... les systèmes auxiliaires), ce qui les compare avantageusement aux MCI, ces derniers requérant des entretiens réguliers pour éviter l’usure des pièces (pistons, cylindres, soupapes, courroies, ...
257
Sels de tétraarylphosphonium : groupe de contrôle de solubilité utilisé pour le support de catalyseurs et de réactifs oxydants
... La chimie en phase fluorée est une des autres méthodes basées sur la séparation en phase liquide-liquide.8° Elle consiste en un système biphasique dans lequel deux phases non miscibles, [r] ...
152
De l'étude de l'initiation de nanolaminés réactifs Al/CuO par point chaud à l'intégration de pyroMEMS pour la sécurité
... deux systèmes pyrotechniques MEMS à base de nanothermites que nous allons développer dans la thèse : l’inflammateur pour initier un secondaire afin de générer du gaz et un micro actionneur pour sectionner des ...
226
Développement de méthodes analytiques pour l'identification et la caractérisation de métabolites réactifs et leurs adduits protéiques par spectrométrie de masse
... Le deuxième projet présenté démontre une autre méthode de dépistage mais cette fois-ci , une méthode semi-automatisée qui a pour but de détecter spécifiquement des [r] ...
202