Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Wikipédia est une ressource embarquée dans de nombreuses applications du traite- ment des langues naturelles. Pourtant, aucune étude à notre connaissance n’a tenté de mesurer la qualité de résolution de coréférence dans les textes de Wikipédia, une étape préliminaire à la compréhension de textes. La première partie de ce mémoire consiste à construire un corpus de coréférence en anglais, construit uniquement à partir des articles de Wikipédia. Les mentions sont étiquetées par des informations syntaxiques et séman- tiques, avec lorsque cela est possible un lien vers les entités FreeBase équivalentes. Le but est de créer un corpus équilibré regroupant des articles de divers sujets et tailles. Notre schéma d’annotation est similaire à celui suivi dans le projet OntoNotes. Dans la deuxième partie, nous allons mesurer la qualité des systèmes de détection de coréférence à l’état de l’art sur une tâche simple consistant à mesurer les mentions du concept décrit dans une page Wikipédia (p. ex : les mentions du président Obama dans la page Wiki- pédia dédiée à cette personne). Nous tenterons d’améliorer ces performances en faisant usage le plus possible des informations disponibles dans Wikipédia (catégories, redi- rects, infoboxes, etc.) et Freebase (information du genre, du nombre, type de relations avec autres entités, etc.). / Wikipedia is a resource of choice exploited in many NLP applications, yet we are not aware of recent attempts to adapt coreference resolution to this resource, a prelim- inary step to understand Wikipedia texts. The first part of this master thesis is to build an English coreference corpus, where all documents are from the English version of Wikipedia. We annotated each markable with coreference type, mention type and the equivalent Freebase topic. Our corpus has no restriction on the topics of the documents being annotated, and documents of various sizes have been considered for annotation. Our annotation scheme follows the one of OntoNotes with a few disparities. In part two, we propose a testbed for evaluating coreference systems in a simple task of measuring the particulars of the concept described in a Wikipedia page (eg. The statements of Pres- ident Obama the Wikipedia page dedicated to that person). We show that by exploiting the Wikipedia markup (categories, redirects, infoboxes, etc.) of a document, as well as links to external knowledge bases such as Freebase (information of the type, num- ber, type of relationship with other entities, etc.), we can acquire useful information on entities that helps to classify mentions as coreferent or not.

La cristallographie des rayons-X à ultra-haute résolution permet d'analyser la distribution de charge des molécules et d'étudier les interactions intermoléculaires avec précision. Des études structurales de plusieurs composés à base de thiophène ont été menées à bien, et le phénomène de désordre a été discuté. Des analyses expérimentales et théoriques de la densité de charge de deux molécules importantes ont été réalisées en utilisant le modèle d'atome multipolaire. Un nouveau modèle d'atomes virtuels est également testé : il permet le calcul rapide des propriétés électrostatiques. La liaison hydrogène avec l'oxygène comme accepteur est étudiée par l'analyse extensive de plus de 500.000 structures cristallines. Les résultats de stéréochimie sont comparés avec la densité électronique des atomes d'oxygène dans différents environnement chimiques, ce qui permet de montrer la dépendance directionnelle des liaisons hydrogène et des formes et orientations des paires d'électrons libres. Finalement, il est montré qu'en l'absence de données de diffraction des rayons X à haute résolution, le principe de transférabilité des paramètres de la densité électronique peut être exploité pour étudier les propriétés électrostatiques et les interactions intermoléculaires. Ce principe a été utilisé avec succès sur une petite molécule à base de thiophène et sur la protéine FAD-dépendante Cholestérol oxydase / Ultra high resolution X-ray crystallography allows for analyzing the charge distribution in the molecules and provides methods to study the intermolecular interactions at a deeper level. Structural studies of several thiophene based compounds have been carried out and the phenomenon of disorder has been discussed. Experimental and theoretical charge density analysis of two important molecules was performed using a multipolar atom model. A new virtual atom model is also tested which allows for a rapid calculation of the electrostatic properties. The hydrogen bonding with oxygen atom acceptor is studied through an extensive survey of more than 500,000 crystal structures. The stereo chemical results are compared with the electron density of the oxygen atoms in different chemical environments which give conclusive evidences for the dependence of directionality of hydrogen bonds on the shape and orientation of the electrons lone pairs. Finally, it has been shown that how in the absence of high resolution X-rays data, principle of transferability of electron density parameters between molecules can be used to study the electrostatic properties and the intermolecular interactions. This principle has been successfully applied to a small thiophene based molecule and the large FAD binding protein Cholesterol oxidase

Actuellement, l’industrie chimique est confrontée au défi de la production durable qui exige une évolution depuis la réduction de polluants pour les procédés existants vers une écologie industrielle qui permet l’équilibre entre le développement économique, sociale et environnemental. Ajouté aux exigences actuelles pesant sur la conception des procédés, la prise en compte des contraintes environnementales dès la phase amont du processus de conception. Cette exigence clé couplée aux enjeux actuels pour la conception préliminaire ont conduit à des changements par rapport à la conception classique des procédés, il y a un accent accru sur la recherche d’innovation et d’écoinnovation pour développer des nouveaux concepts, de nouvelles technologies et de nouveaux procédés. La question centrale sur la façon d’améliorer la créativité dans la phase de conception préliminaire nécessite des recherches plus poussées sur les méthodologies d’aide à la génération de solutions innovante et éco-innovante. Ainsi, dans le cadre de cette thèse, nous avons développé une méthodologie pour la formulation et la résolution de problèmes d’éco-innovation basée sur une approche à base de conflits. Ce cadre permet de traiter les exigences multi-objectifs et la nature combinatoire complexe de la phase de recherche de concepts de solutions. La méthodologie développée reflète la nature des problèmes à traiter avec de nombreuses contradictions (conflits) à résoudre simultanément. Dans ce contexte, les méthodes actuelles atteignent rapidement leurs limites car elles ne résolvent qu’un seul conflit à la fois. Or il devient très difficile (voire impossible) de faire émerger une contradiction unique des situations problématiques complexes telles que nous en rencontrons en génie des procédés. La méthodologie proposée pour traiter la problématique de multi-contradictions pour l’écoconception se divise en deux étapes principales. D’un part, une première cadre d’analyse pour la formulation des contradictions en s’appuyant sur une version adaptée d’OTSM-TRIZ. Il permet la représentation graphique d’un problème et intégré une méthode pour limiter la situation aux contradictions principales. D’un autre part, la résolution des contradictions principales se décompose en deux sous étapes. Dans un premier temps, la résolution individuelle de chaque contradiction au travers d’un outil alliant la simplicité conceptuelle des contradictions de TRIZ et les solutions concrètes que proposent les effets et phénomènes de la physique, chimie, biologie. Dans un deuxième temps, nous proposons un processus d’agrégation des solutions afin d’obtenir une solution finale plus intégrée. Un cas d’étude sur la réduction des polluants en sortie d’étape de gazéification de la biomasse est présenté afin d’illustrée l’approche. / In recent years, the chemical industry is facing the challenge of sustainable production in order to create a balance between the economic, social and environmental development. This shift requires an evolution from the reduction of pollutants for existing processes to industrial ecology. In the design process, this shift demands that the current requirements and the environmental constraints should be taken into account in the early stages. At these stages, however, there is an increased emphasis on innovation and eco-innovation to develop new concepts, new technologies and new processes, thereby limiting the problem-solving ability of the traditional design methodologies. Hence, there is a great necessity for new methodologies in order to develop innovative and eco-innovative solutions. Consequently, in this research, we developed a methodology for the formulation and solution of ecoinnovation problems based on a conflict approach. This framework can handle multi-objective requirements with the combinatorial complexity of the search phase of solution concepts. Thus, the methodology considers the problem of solving many contradictions (conflicts) simultaneously. In this context, current approaches quickly reach their limits because they solve one conflict at a time or it is very difficult to define only one contradiction in complex problems, such as those in process engineering. The proposed methodology for treating the problem of multi-contradictions for eco-design is divided into two main steps. On one hand, an analytical framework for the formulation of contradictions based on an adapted version of OTSM-TRIZ, which provides a graphical representation of a problem and integrated method to reduce the problem situation to the main contradictions. On the other hand, the resolution of contradictions which is itself divided into two sub-steps. At first, the resolution of each individual contradiction through a tool that combines conceptual simplicity of TRIZ contradictions and the practical solutions using the physics, chemical and biological effects and phenomena. In a second step, we propose an aggregation process solution to obtain a more integrated final solution. A case study about the reduction of pollutants at output stage gasification of biomass is presented to illustrate this approach.

La liaison halogène est une interaction intermoléculaire très directionnelle. Elle est observée dans les systèmes C-Hal•••X, où l'atome d'halogène (Hal), qui est lié à un atome de carbone, interagit avec un autre halogène (X = Hal) ou avec une base de Lewis (X = base de Lewis). L'objectif principal de cette thèse est de mieux comprendre ces interactions. Le travail présenté est consacré principalement à l'étude de la densité électronique et du potentiel électrostatique des composés halogénés par diffraction X haute résolution. Dans ce travail quatre composés chlorés, contenant des interactions Hal•••X (Hal = Cl, X = Cl, O, H, C?), ont été analysés dans leur phase cristalline pour étudier la liaison halogène. Parmi les résultats les plus importants issus de cette étude, il faut signaler la détermination expérimentale de la distribution électronique anisotrope de l'atome d'halogène. Cette anisotropie génère des régions électrophiles et nucléophiles autour du noyau de l'halogène qui sont à l'origine de l'interaction très particulière que cet atome réalise avec l'environnement moléculaire. / Halogen bonding is a highly directional intermolecular interaction. It is observed in systems C-Hal•••X, where the halogen atom (Hal) is bound to a carbon atom and interacts with another halogen (X = Hal) or a Lewis base (X = Lewis base). The main objective of this thesis is to better understand these interactions. The thesis is mainly devoted to the study of the electron density and the electrostatic potential of halogenated compounds by high resolution X-ray diffraction. In this work, four chlorinated compounds, containing interactions Hal•••X (Hal = Cl, X = Cl, O, H, C?) were analyzed in their crystalline phase to study the halogen bond. Among the most important results from this work, we report the experimental determination of the anisotropic electronic distribution of the halogen atom. This anisotropy generates electrophilic and nucleophilic regions around the halogen nucleus that are responsible for the interaction that this kind of atom establishes with the environment.

Les logiques hybrides accroissent les logiques modales avec des éléments pour décrire et raisonner à propos de l'identité, ce qui est crucial dans certaines situations. Les logiques modales que l'on connaît comme ``hybrides'' aujourd'hui remontent au travaux de Prior dans les années 1960, mais leur étude systématique n'a commencé qu'au bout des années 1990. Elles sont intéressantes en grande partie car elles comblent un manque en matière d'expressivité dans les logiques modales. D'ailleurs, elles sont connues parfois comme des ``logiques modales avec égalité''. L'un des thèmes centraux de cette thèse est le problème de la satisfiabilité pour celle qui est probablement la mieux connue des logiques hybrides: le système H(@,dwn), et pour certaines de ses sous-logiques. La satisfiabilité est le problème fondamental en raisonnement automatique. Dans le cas des logiques hybrides, elle a été étudiée essentiellement par la méthode des tableaux. Dans cette thèse, nous essayons de compléter le panorama en explorant la satisfiabilité des logiques hybrides par d'autres méthodes: la résolution du premier ordre et des variantes de calcul de résolution qui manipulent directement des formules hybrides. Nous présentons un certain nombre de traductions en temps linéaire de H(@,dwn) à la logique de premier ordre qui préservent la satisfiabilité. Elles sont conçues de façon telle qu'elles réduisent l'espace de recherche. Ensuite nous dirigeons notre attention vers les calculs qui manipulent directement des formules hybrides. En particulier, nous considérons le calcul de résolution directe. Inspirés par la résolution du premier ordre, nous transformons ce calcul en un calcul de résolution ordonnée avec des fonctions de sélection, et nous prouvons qu'il a la propriété de réduction des contre-exemples. Nous concluons ainsi qu'il est réfutationnellement complet et qu'il est compatible avec le fameux critère standard de redondance. Nous montrons également qu'une version raffinée de ce calcul constitue un procédure de décision pour H(@), un fragment décidable de H(@,dwn). Dans la dernière partie de cette thèse, nous explorons certaines formes normales des logiques hybrides et d'autres logiques modales étendues. Nous nous intéressons aux formes normales où certaines modalités ne sont jamais présentes dans la portée d'autres opérateurs modaux. Nous montrons qu'il est possible de profiter de ce type de transformations sous la forme d'un prétraitement, dans le but de réduire le nombre d'inférences nécessaires pour un prouveur modal. En nous efforçant de formuler ces résultats en tenant compte d'autres logiques modales étendues, nous arrivons à une formulation de la sémantique modale par un nouveau type de modèles définis de façon coinductif. Plusieurs logiques modales étendues (dont les logiques hybrides) peuvent être définies par des classes de modèles coinductifs. Ainsi, des résultats qui étaient habituellement prouvés séparément pour chaque langage (mais dont la preuve n'était souvent que de routine) peuvent être démontrés d'une façon générale. / Hybrid logics augment classical modal logics with machinery for describing and reasoning about identity, which is crucial in many settings. Although modal logics we would today call ``hybrid'' can be traced back to the work of Prior in the 1960's, their systematic study only began in the late 1990's. Part of their interest comes from the fact they fill an important expressivity gap in modal logics. In fact, they are sometimes referred to as ``modal logics with equality''. One of the unifying themes of this thesis is the satisfiability problem for the arguably best-known hybrid logic, H(@,dwn), and some of its sublogics. Satisfiability is the basic problem in automated reasoning. In the case of hybrid logics it has been studied fundamentally using the tableaux method. In this thesis we attempt to complete the picture by investigating satisfiability for hybrid logics using first-order resolution (via translations) and variations of a resolution calculus that operates directly on hybrid formulas. We present firstly several satisfiability-preserving, linear-time translations from H(@,dwn) to first-order logic. These are conceived in a way such that they tend to reduce the search space of a resolution-based theorem prover for first-order logic. We then move our attention to resolution-based calculi that work directly on hybrid formulas. In particular, we will consider the so-called direct resolution calculus. Inspired by first-order logic resolution, we turn this calculus into a calculus of ordered resolution with selection functions and prove that it possesses the reduction property for counterexamples from which it follows its completeness and that it is compatible with the well-known standard redundancy criterion. We also show that certain refinement of this calculus constitutes a decision procedure for H(@), a decidable fragment of H(@,dwn). In the last part of this thesis we investigate certain normal forms for hybrid logics and other extended modal logics. We are interested in normal forms where certain modalities can be guaranteed not to occur under the scope of other modal operators. We will see that these kind of transformations can be exploited in a pre-processing step in order to reduce the number of inferences required by a modal prover. In an attempt to formulate these results in a way that encompasses also other extended modal logics, we arrived at a formulation of modal semantics in terms of a novel type of models that are coinductively defined. Many extended modal logics (such as hybrid logics) can be defined in terms of classes of coinductive models. This way, results that had to be proved separately for each different language (but whose proofs were known to be mere routine) now can be proved in a general way.

Les microscopies optiques super-résolues aident à mieux comprendre certains mécanismes biomoléculaires, notamment au sein des neurones. Nous avons construit un tel microscope de type STED (STimulated Emission Depletion) pour observer des défauts azote-lacune (NV) fluorescents dans le diamant, et avons atteint une résolution de 50 nm. À plus long terme, cet instrument permettra d’étudier l’organisation macromoléculaire de protéines impliquées dans la plasticité synaptique, et marquées avec des nanodiamants (ND) fluorescents. Dans cette perspective, nous avons étudié la limite de résolution du STED pour des ND de tailles sub-longueur d’onde. Nos expériences, menées avec l’équipe de Stefan Hell (Max Planck Institute for Biophysical Chemistry) ont montré que la taille du spot STED d’un NV dans un ND pouvait atteindre 10 nm, performance similaire à celle obtenue dans un diamant macroscopique. Nous pouvons aussi résoudre plusieurs centres NV dans un ND séparés de seulement ~15 nm. Ces résultats sont en accord avec les simulations numériques faites par l’équipe de Jean-Jacques Greffet (Laboratoire Charles Fabry). En parallèle, nous avons démontré l’internalisation spontanée de ND fluorescents dans des neurones corticaux d’embryons de souris en culture primaire, et étudié leur colocalisation avec des vésicules du réseau trans-Golgi. Enfin, nous avons débuté l’étude du trafic des vésicules contenant les ND et montré qu’il dépend du réseau de microtubules. Les paramètres du mouvement sont compatibles avec ceux des moteurs moléculaires, mais nous nous attendons à ce qu’ils soient différents dans le cas de la surexpression de protéines impliquées dans le trafic (travail en cours). / Super resolution microscopy techniques are a useful tool to understand some biomolecular mechanisms, particularly in neurons. We have built such a STED (STimulated Emission Depletion) microscope for observing Nitrogen-Vacancy (NV) fluorescent defect in diamond, and have reached a resolution of 50 nm. In the longer term, this instrument will study the macromolecular organization of proteins involved in synaptic plasticity and marked with fluorescent nanodiamonds (ND). In this context, we studied the resolution limit of STED for ND of subwavelength size. Our experiments, conducted with the team of Stefan Hell (Max Planck Institute for Biophysical Chemistry) showed that the STED spot size of an NV in ND could reach 10 nm, which is similar to performances obtained in a macroscopic diamond. We can also resolve several NV centers, which are separated from only ~15 nm in the same ND. These results are in agreement with numerical simulations carried out by the team of Jean-Jacques Greffet (Laboratoire Charles Fabry). In parallel, we have demonstrated the spontaneous internalization of fluorescent ND in primary culture of cortical neurons from mouse embryos, and studied their colocalization with vesicles of the trans-Golgi network. Finally, we started the study of trafficking vesicles containing ND and showed that it depends on the microtubule network. The motion parameters are compatible with those of molecular motors, but we expect them to be different in the case of overexpression of proteins involved in traffic (work in progress).

Cette thèse s'inscrit dans le cadre de la gestion d'énergie d'un Véhicule Hybride Électrique. Pour ce type de véhicule, l'optimisation énergétique est un enjeu majeur. Cela consiste à calculer les commandes optimales minimisant la consommation énergétique du véhicule sous un nombre fini de contraintes. Deux types de méthodes peuvent être utilisées pour résoudre ce problème d'optimisation. La première méthode et la plus utilisée, la méthode numérique, utilisant des modèles cartographiques basés sur des données. Elle présente deux inconvénients majeurs: temps de calcul et mémoire importants. La deuxième méthode, appelée analytique, qui permet de remédier à ces deux problèmes, a été utilisée dans cette thèse. Plus l'architecture du véhicule devient complexe (plusieurs machines électriques, moteur thermique, élévateur de tension), plus l'intérêt de cette approche sera important. La méthodologie analytique, proposée dans cette thèse, est composée principalement de trois étapes : la modélisation convexe, le calcul analytique des commandes et la validation des commandes analytiques sur un simulateur de véhicule. Cette méthodologie a été appliquée sur les trois configurations possibles du véhicule étudié : parallèle, bi-parallèle et série. Finalement, l'ajout de l'élévateur de tension dans la gestion d'énergie ainsi que l'étude de son impact sur la consommation énergétique du véhicule sont présentés dans le dernier chapitre. Les résultats obtenus en simulation montrent que la méthode analytique a permis de réduire considérablement le temps de calcul tout en ayant une sous-optimalité très faible. / This thesis focuses on the energy management of Hybrid Electric Vehicle. In this type of vehicle, energy optimization is a major challenge. It consists of calculating optimal commands that minimize the vehicle’s energy consumption under a finite number of constraints. The optimization issue could be solved using a digital method or an analytical method. This choice depends on the nature of energy models that monitor the optimization criteria: analytical or maps of experimental measurements. However, this method presents numerous disadvantages. Its calculation is extremely time-consuming for instance. Therefore, the works presented in this thesis were directed in order to develop an analytical solution where the calculation is lesstime consuming. The architecture of the vehicle is complex. In fact, the vehicle contains two electrical machines, a thermal engine and a step-up. These components have all a straight impact on the vehicle’s energy consumption so several optimization variables were defining. Consequently, working on an analytical solution was a natural choice. The proposed analytical methodology consists of three steps: convex modeling, the command analytical calculation as well as the analytical command validation on a vehicle simulator. This methodology was applied to three possible configurations of the studied vehicle: parallel, biparallel and in serial. Finally, the step-up addition to the energy management as well as the study of itsimpact on the vehicle’s energy consumption are presented in the last chapter. The simulation results show that the analytical method reduces considerably the computing time and has an extremely low suboptimality.

Les crayons combustibles au sein des Réacteurs à Eau Pressurisée (REP) sont constitués de pastilles de céramique (UO2 ou (U-Pu)O2) empilées dans des gaines en alliage de zirconium, le Zircaloy. Avant l'irradiation, il existe un jeu de fabrication entre les pastilles et la gaine de l'ordre d'une centaine de microns. Au cours de l'irradiation, ce jeu est rapidement réduit ou totalement rattrapé du fait des différentes déformations que subissent les pastilles et la gaine. La connaissance de la nature de ce contact pastille-gaine à chaud, nécessaire pour comprendre les phénomènes et valider les modélisations de l'évolution de l'état de l’interface en fonction du taux de combustion, est accessible aujourd’hui exclusivement à partir de mesures destructives effectuées en laboratoire de haute activité, après retour à froid des combustibles. Pour obtenir un plus grand nombre d’informations sur des zones d’intérêt étendues, ou sur un tronçon de crayon avant refabrication pour ré-irradiation en réacteur expérimental, un moyen de caractérisation non destructif de l’interface pastille-gaine est nécessaire. C'est dans ce contexte que l'Institut d'Electronique et des Systèmes UMR CNRS 5214 de l'Université de Montpellier développe, dans le cadre d'une collaboration avec le Commissariat à l'Energie Atomique et aux Energies Alternatives, et en partenariat avec EDF et Framatome, un microscope acoustique adapté aux géométries cylindriques. Le travail mené au cours de cette thèse inclut la conception et l’adaptation d’une tête de mesure sur un banc prototype et la démonstration de la faisabilité de l’acquisition d’images haute résolution (quelques dizaines de microns) sur tubes de gaine, l’enjeu étant de conserver la focalisation sur l’ensemble des zones imagées sur un même tube de diamètre externe de l’ordre de 10 mm et de longueur de 100 à 500 mm. La difficulté à reproduire les conditions de contact pastille-gaine en laboratoire ont orienté le choix des échantillons simulants, élaborés à partir de tubes de gaine avec ou sans zircone et chargés localement de colle. Les acquisitions réalisées sur ces échantillons simulants montrent la capacité de la méthode à détecter les changements de structure de la surface interne de la gaine. La mesure est ainsi sensible à la présence d’une couche de zircone interne d’épaisseur de 10 $mu$m, et à la présence de matériau adhérent à l’intérieur du tube. Ces résultats montrent l’intérêt de poursuivre ces études, pour améliorer grâce à du traitement du signal l’interprétation des images avec pour objectif final l’adaptation de la méthode et sa qualification sur un banc sur crayon irradié. / Pressurized Water Reactor (PWR) fuel rods are made of ceramic pellets (UO2,(U,Pu)O2 or gadolinium fuel) assembled in a zirconium alloy cladding tube. By design, an initial gap, filled with helium, exists between these two elements. However during irradiation this gap decreases gradually, on the one hand, owing to a variation in cladding diameter, due to creepdown caused by pressure from the coolant, and, on the other hand, increased pellet diameter, due to thermal expansion, and swelling. In hot conditions, during the second or third cycle of irradiation, the pellet/cladding gap is closed. However, during the return to cooler conditions, the gap can reopen. At a high burnup (generally beyond the 3rd cycle of irradiation) an inner zirconia layer of the order of 10 to 15 $mu$m is developed by oxidation leading to a chemical bonding between the pellet and the cladding. This bonding layer may contribute to a non-reopening of the pellet-cladding gap.Currently, only destructive examinations, after cutting fuel rods, allow the visualization of this area, however, they require a preliminary preparation of the samples in a hot cell. This limits the number of tests and measurements on the fuel rods. In this context, the Institute of Electronic and Systems of Montpellier University (IES - UMR CNRS 5214), in collaboration with the Alternative Energies and Atomic Energy Commission (CEA), Electricité de France (EDF) and Framatome, is developing a high frequency acoustic microscope adapted to the control and imaging of the pellet/cladding interface by taking into account the complexity of the structure's cladding which has a tubular form. Because the geometrical, chemical and mechanical nature of the contact interface is neither axially nor radially homogeneous, the ultrasonic system must allow the acquisition of 2D images of this interface by means of controlled displacements of the sample rod along both its axis and its circumference. The final objective of the designed acoustic microscope is to be introduced in hot cells.