Дисертації з теми "UvrC"
Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: UvrC.
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 дисертацій для дослідження на тему "UvrC".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.
1
Walters, Robin George. "The organisation, expression and function of the UVRC gene of Escherichia coli." Thesis, University of Liverpool, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.237558.
Повний текст джерела
2
Rizzini, Luca [Verfasser], and Roman [Akademischer Betreuer] Ulm. "UVR8: a plant UV-B photoreceptor = UVR8: ein pflanzlicher UV-B Photorezeptor." Freiburg : Universität, 2011. http://d-nb.info/1123457891/34.
Повний текст джерела
3
Findlay, Kirsten. "UVR8 function in a natural solar environment." Thesis, University of Glasgow, 2016. http://theses.gla.ac.uk/8264/.
Повний текст джерела
4
Rose, Robert Michael. "Computer control of gelation in UVPC compounding." Thesis, University of Bradford, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.292425.
Повний текст джерела
5
Albrighton, Rachel Mary. "Mutational analysis of the DNA repair protein, UvrA." Thesis, University of Bristol, 2006. http://hdl.handle.net/1983/9fcda510-baf1-44c9-8eb5-f03b5c5a9ba8.
Повний текст джерела
6
PREVOST, DONALD. "Retines artificielles stochastiques : algorithmes et mise en uvre." Paris 11, 1995. http://www.theses.fr/1995PA112505.
Повний текст джерелаАнотація:
Cette these traite de problemes de vision bas-niveau, lesquels entrent dans la classe des problemes inverses mal-poses au sens mathematique. Leur resolution est envisagee sous l'angle de l'approche bayesienne sur champ de markov. Specifiquement, nous etudions les algorithmes d'optimisation applicables a des fonctions d'energie semi-quadratiques, telles que rencontrees en vision bas-niveau (detection de contours, segmentation des textures, determination de mouvement ou stereovision). Ces energies sont definies sur un champ de markov couple. Notre premier objectif est de determiner des approches algorithmiques avantageuses selon les criteres de l'optimalite de la solution ; de la qualite de la restauration, des perspectives de parallelisation et de realisation materielle. Notre demarche consiste a considerer une tache simple: la restauration d'images avec prise en compte des discontinuites. Nous avons compare differents algorithmes dedies a cette tache, puis nous avons propose une methode stochastique, simple et parallelisable, que nous avons appelee relaxation quasi-statique (rqs). Le second objectif releve de l'implantation materielle optoelectronique. Nous proposons une architecture parallele de mise en uvre pour l'algorithme rqs. Celle-ci reflete la structure du champ de markov couple: elle est base sur l'operation conjuguee d'un reseau de resistance stochastique et d'un module binaire. Afin de demontrer la faisabilite de machines d'optimisation stochastique operant a cadence video, nous avons concu et teste un systeme realisant des calculs de monte-carlo sur le probleme du verre de spin. Ce systeme utilise un circuit integre cmos optoelectronique (collaboration avec l'ief, contrat dret n 92-139) et un generateur optique de figures de speckle
7
Wright, Caradee Yael, and n/a. "UVR exposure of NZ schoolchildren." University of Otago. Dunedin School of Medicine, 2007. http://adt.otago.ac.nz./public/adt-NZDU20070817.093312.
Повний текст джерелаАнотація:
Excess exposure to solar ultraviolet radiation (UVR) is the only readily modifiable skin cancer risk factor, and childhood exposure is implicated in melanoma aetiology. To assist the design and evaluation of child sun protection interventions in the school and community context, this first comprehensive study used electronic monitors to record time-stamped, second-by-second UVR exposure of 325 children (from 28 randomly selected New Zealand primary schools) who kept a diary record of concurrent activities and sun-protective practices and completed a sun-related knowledge, attitudes and usual behaviours questionnaire. School principals and Health promoters (HPs) were interviewed about school and community sun protection efforts.
Using the Haddon matrix and Ottawa Charter of Health Promotion to guide research, four potential domains of influence were identified: the physical and social environments, protective products, and host (child). Two key outcomes identified were child UVR exposure and sun-protective practices. A path model was developed where potential influences on these outcomes included school, community, host factors (demographics, skin type, sun-related attitudes, and sun-related knowledge), and pattern of concurrent outdoor activity. Seven specific hypotheses were defined to investigate the effects of host, school and community factors on UVR exposure, sun-protective practices, and sun-related knowledge, attitudes and behaviours.
To test for the effects of host factors, day of the week and activity on UVR exposure and sun-protective practices, linear mixed models containing these factors and interactions between Year level-sex, activity-Year level and activity-sex, accounting for clustering within schools and allowing for repeated measures, were applied. Logistic regression with a random school effect was used to assess differences in scored student questionnaire items. Structural equation modelling was implemented to consider associations between sun-related knowledge, attitudes and behaviours, and other explanatory factors for variations in UVR exposure and sun-protective practices.
Three of the seven specific hypotheses were supported. There were statistically significant differences in UVR exposure by sex, skin type, day of the week and activity, and sex-activity and Year level-activity interactions. Passive pursuits were associated with the highest UVR exposure rates compared to outdoor active, travel and unclassified pursuits.
There were statistically significant differences in sun-protective practices by sex, ethnicity and skin type, and sex-activity and Year level-activity interactions. Girls tended to have higher sun protection scores than boys, but were more likely to sunbathe and use sunscreen. Children identifying with Pacific Island ethnicities had higher scores than children with other ethnicities, and children with Fitzpatrick skin types I and II had higher scores than children with skin types III, IV and V.
School and community factors were not associated with UVR exposure, sun-protective practices, sun-related knowledge, attitudes and behaviours, but school and HPs� scores were relatively high, reflecting the significant time and effort spent promoting youth sun protection.
Trends for Year level indicated that whereas child sun-related knowledge increased with Year level, attitudes and behaviours supportive of sun protection declined. When considering sun-related knowledge, attitudes and behaviours simultaneously, knowledge was only significantly associated with behaviours when mediated by attitudes. The study findings have implications for child sun protection interventions.
8
Carsberg, Catherine Jane. "Mechanisms underlying UVR-induced melanogenesis." Thesis, University of Liverpool, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.385314.
Повний текст джерела
9
Zhang, Zixin. "UVR transmission through clothing fabrics." Thesis, Queensland University of Technology, 1994. https://eprints.qut.edu.au/37170/1/37170_Zhang_1994.pdf.
Повний текст джерелаАнотація:
A new fabric transmission measuring system (FTMS) utilising a solar UV simulator and a broad band radiometer, has been designed and developed for fast assessment of the protection levels of clothing fabrics against the biological damage caused by sunlight. The
radiometer has a spectral response similar to the erythema action spectrum for human skin. The advantages of the FTMS are simplicity, reliability, low cost and, most importantly, time-efficiency. It has a capacity to process sixty-five clothing samples in about twenty-five minutes. The FTMS was calibrated against a spectroradiometer. The error of the results obtained by the FTMS is estimated within ±8%. The FTMS was employed to study the effects of the parameters and conditions of clothing fabrics on the result of the erythema effective transmittance, i.e. the transmittance of irradiance weighted with the erythema action spectrum for human skin. It was observed that weave structure of clothing fabrics could change the transmittance by up to 11.2
times even though all other factors such as the colour and the dryness condition were maintained at constant. The variations of transmittance with various colours were up to about 200% for polyester(65%)/cotton(35%) samples, and 600% for cotton samples in the studies. A variation as high as about 20 times in transmittance was recorded by stretching lycra clothing fabrics. Wetness of clothing fabrics could change the erythema effective transmittance in either directions, i.e. increase and decrease, depending on the types of clothing fabrics. An increase of transmittance of about 3.1 times and a decrease
of about 70% due to the wetness conditions were observed.
A model was proposed to correlate the UV transmittance and the characteristics of clothing fabrics. The model was preliminarily tested and a correlation coefficient of 0.902 for the UV transmittance measured with the FTMS and the UV transmittance calculated by the model was obtained. The UV transmission through clothing fabrics is not only determined by the uncovered area of clothing fabrics, but also by the UVR scattering of clothing fabrics. Taking into account of the effects of UVR scattering by clothing fabrics would improve the results.
10
LEGENDRE, STEPHANE. "Modeles en dynamique des populations mise en uvre informatique." Paris 6, 1996. http://www.theses.fr/1996PA066744.
Повний текст джерелаАнотація:
Le devenir des populations depend des capacites intrinseques des individus a survivre et a se reproduire et de leurs interactions avec l'environnement (climat, ressources, autres populations). Une synthese des modeles mathematiques en temps discret integrant ces facteurs est faite et la realisation du logiciel ulm (unified life models), destine a etudier ces modeles de facon tres generale, est exposee. Des quantites fondamentales telles que le taux de croissance et la probabilite d'extinction peuvent etre calculees, permettant au biologiste de repondre a des questions pratiques (gestion, conservation des especes) et theoriques (demographie evolutive). 1) dans le modele de base, les individus sont decrits par le cycle de vie qui integre les traits d'histoire de vie. Aux transitions entre les stades du cycle sont associes les parametres demographiques (survie, reproduction). La dynamique de la population structuree par les stades est connue par iteration du cycle dans le temps. Ce modele conduit au formalisme matriciel et des proprietes algebriques de la matrice (valeurs propres, vecteurs propres) donnent des informations demographiques essentielles. La stochasticite demographique est introduite en considerant que les transitions du cycle de vie sont des realisations de lois de probabilite a valeurs entieres. Les composantes regulatrices (densite-dependance) et aleatoires (stochasticite environnementale) sont prises en compte en alterant les parametres demographiques par des fonctions appropriees. 2) le fonctionnement du programme est explicite, notamment la gestion symbolique des objets. Les modeles, definis a l'aide d'un langage simple, peuvent etre etudies interactivement au moyen de commandes qui produisent des resultats numeriques et des representations graphiques. 3) des applications biologiques variees sont presentees : strategies de reintroduction du vautour fauve, etude d'une population de viperes en declin, interactions du virus c de la drosophile et de son hote.
11
Sunyé, Gerson. "Mise en uvre de patterns de conception : un outil." Paris 6, 1999. http://www.theses.fr/1999PA066489.
Повний текст джерелаАнотація:
Les patterns de conception representent des connaissances des concepteurs de logiciels relatives a la description de problemes recurrents de conception et de leurs solutions. Toutefois, ces connaissances sont insuffisantes pour etre directement mises en uvre. En effet, il reste a effectuer un certain nombre de choix d'implementation, fortement lies a la specificite de l'environnement retenu pour la realisation du logiciel. De plus, suivant le contexte applicatif dans lequel la mise en uvre du pattern doit etre integree, un certain nombre de contraintes doivent etre respectees. La combinaison de ces choix d'implementation et de ces contraintes entraine la possibilite d'un grand nombre d'implementations differentes pour un meme pattern. D'autre part, chacune de ces implementations est trop specifique pour etre reutilisee dans des situations similaires. Cette these offre un apercu des fonctionnalites d'un outil de generation automatique de code utilisant les patterns de conception. Cet outil permettra d'expliciter les instances de patterns utilisables durant la conception. Chaque instance specifique d'un pattern integre les compromis d'implementation lies aux classes qui le composent. Grace a des bases de regles de production, l'outil peut suggerer des changements de conception et generer le code source de la variante d'implementation la plus indiquee pour chaque cas.
12
Mordant, Nicolas. "Mesure lagrangienne en turbulence : mise en uvre et analyse." Lyon, École normale supérieure (sciences), 2001. http://www.theses.fr/2001ENSL0199.
Повний текст джерелаАнотація:
Le but de cette these est l'etude experimentale de la turbulence du point de vue lagrangien. On cherche donc a suivre une particule de fluide pendant un temps superieur au temps caracteristique des grandes echelles. Pour ce faire, nous avons mis au point une nouvelle technique de mesure de vitesse lagrangienne dans un ecoulement turbulent a haut nombre de reynolds. Le principe choisi est base sur l'utilisation de l'effet doppler d'une onde ultrasonore monochromatique diffusee par une petite particule solide. Le signal diffuse est recu par un reseau de recepteurs et mis en forme par une electronique rapide et ultra faible bruit concue specialement au cours de ce travail. Pour extraire la modulation de frequence due a la vitesse, nous avons developpe un algorithme d'estimation spectrale base sur une methode de maximum de vraisemblance approche couple a un filtre de kalman. Nous avons ainsi acces a la vitesse lagrangienne sur des echelles temporelles englobant le regime inertiel et les grandes echelles de l'ecoulement. Le champ de vitesse est gaussien a decorrelation temporelle exponentielle. On obtient ainsi un spectre temporel a decroissance conforme a la prediction de la theorie de kolmogorov 41. Le regime inertiel lagrangien se prolonge jusqu'a des echelles temporelles inferieures au temps de kolmogorov. On observe une intermittence lagrangienne plus intense (en termes de courbure des exposants de structure) que pour le champ eulerien et dont l'intensite ne peut etre reproduite par le modele usuel base sur la dissipation. Cette intermittence est liee a l'existence de correlations temporelles tres longues de la valeur absolue des increments temporels de vitesse.
13
Creveuil, Christian. "Techniques d'analyse et de mise en uvre des programmes gamma." Rennes 1, 1991. http://www.theses.fr/1991REN10121.
Повний текст джерелаАнотація:
Le sujet de cette these est le developpement d'une methode formelle de mise en uvre sequentielle des programmes gamma. Le langage gamma est un langage de haut niveau qui permet de decrire des algorithmes a un niveau d'abstraction tres eleve: la seule structure de donnees est le multi-ensemble et le calcul consiste en une succession d'applications de regles de reaction. Chaque regle selectionne un sous-ensemble d'elements du multi-ensemble verifiant une condition de reaction, et les remplace par de nouveaux elements. Le calcul s'arrete quand aucune regle ne peut plus s'appliquer. Les reactions peuvent s'executer dans n'importe quel ordre, et meme en parallele si elles agissent sur des sous-ensembles disjoints d'elements. Dans une premiere etape, nous developpons un schema general de mise en uvre qui est base sur la generation systematique de toutes les combinaisons d'elements. Nous montrons ensuite qu'en detectant certaines proprietes dans le programme a mettre en uvre, il est possible d'optimiser le schema. Une premiere optimisation permet de diminuer le nombre de combinaisons et une deuxieme vise a imposer un ordre sur les reactions de facon a terminer le calcul le plus rapidement possible. Enfin dans une derniere etape nous nous attachons a raffiner les multi-ensembles en des structures de donnees de plus bas niveau et plus efficaces
14
Li, Xiankun. "Dynamics and Mechanism of Light Perception by UV Photoreceptor UVR8." The Ohio State University, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=osu1511801451939622.
Повний текст джерела
15
Kronschläger, Martin. "Prevention of Experimental Cataract Induced by UVR." Doctoral thesis, Uppsala universitet, Oftalmiatrik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-232955.
Повний текст джерелаАнотація:
Cataract is the leading cause of blindness in the world and is defined by opacification of the normally transparent lens of the eye. The major avoidable cause of cataract is ultraviolet radiation (UVR), but no current strategies have been developed to prevent the onset of cataract. Apoptosis and internal and external antioxidant systems that inhibit apoptosis have been shown to play a significant role in cataractogenesis. The main purposes of this thesis were to study the time evolution of apoptosis, to develop the concept of a protection factor (PF), and to investigate the effect of thioltransferase (Grx1) and topical caffeine in UVR cataract development. Further, to elucidate pharmacokinetics and influence on iris diameter of topical caffeine. Sprague Dawley rats were exposed to UVR and TUNEL staining of the lens sections was analysed. Grx1+/+ and Grx1-/- mice were exposed to 5 sub-doses of UVR. Based on the difference of light scattering between Grx1+/+ and Grx1-/- mice, the concept of the PF was developed. Topical caffeine and a placebo were applied to the eyes of separate groups of Sprague Dawley rats that were exposed to sub-doses of UVR and protective effect was evaluated. Penetration of topical caffeine in Sprague Dawley rats to lens and blood was analysed by high performance liquid chromatography. Pupil diameter was measured in groups of unilaterally and bilaterally caffeine-treated ketamine/xylazine anesthetized Sprague Dawley rats. TUNEL-labeling peaked between 5 and 120 hours after UVR exposure. The PF of Grx1 was 1.3. Moreover, topically administered caffeine protected against UVR-induced cataract development with a PF of 1.23. Topical caffeine peaked at 30 min in the lens, increased up to 120 min in the blood and antagonized ketamine/xylazine-induced mydriasis. In conclusion, UVR induces apoptosis, which is evidenced by the peak of TUNEL-labeling at 24 hours after UVR exposure. The PF is an objective relative measure of protective properties that allows the comparison of different antioxidant systems and administered antioxidant substances. Grx1 and caffeine are protective against UVR-induced cataract. Topically administered caffeine penetrates to the lens and inhibits UVR-induced apoptosis. Additionally, a miotic effect of caffeine is described for the first time.
16
Leonard, Andrew, Iva Segalman, Mark Leick, Melissa Zaverton, and Mensah Folly. "DEVELOPMENT OF A UVC MILK PURIFYING DEVICE." Thesis, The University of Arizona, 2009. http://hdl.handle.net/10150/192965.
Повний текст джерела
17
Latimer, Jennifer Anne. "Determining the action spectrum of UVR-induced mitochondrial DNA damage, and related UVR-induced cellular effects in human skin." Thesis, University of Newcastle upon Tyne, 2013. http://hdl.handle.net/10443/2219.
Повний текст джерелаАнотація:
Biological responses of human skin to ultraviolet radiation (UVR) are largely wavelength-dependent as shown by the action spectrum of UVR-induced erythema and nuclear DNA (nDNA) damage. As mitochondrial DNA (mtDNA) damage has been shown to be a reliable and sensitive biomarker of UVR exposure in human skin, the aim of this study was to determine the action spectrum for UVR-induced mtDNA damage in human skin cells. This involved the irradiation of both HaCaT (immortalised keratinocytes) and HDFn (human fibroblasts) cell lines and primary human keratinocyte cells with increasing doses of UVR. A wide variety of UVR sources were chosen for their unique overlapping UVR profiles, covering the entire UVA and UVB spectrum. Overall UVR induced mtDNA damage was assessed using a quantitative long real time PCR to amplify an 11 kb segment of the mitochondrial genome. Specific UVR-induced mtDNA deletions (3895 bp and 4977 bp) were investigated, as was the effect on cellular respiration using the novel Seahorse extracellular flux analyzer. Furthermore investigations sought to determine UVR-induced nDNA damage: This included the induction of p53 mutations, generation of the oxidative stress marker 8-OHdG, photoproduct production as well as differential gene expression. For investigations of general UVR-induced mtDNA damage, dose curves were produced for each of the UVR sources and cell types. From this an action spectrum was determined by a method known as de-convolution. A higher sensitivity was seen in the fibroblast cell type. The overall trend of the action spectrum of the UVR-induced mtDNA damage followed that of various previously determined action spectra with the most detrimental effects occurring over the shorter wavelengths of UVR. This was also shown for the production of photoproducts and with the differential gene expression analysis. UVA and UVB both also affected cellular respiration and gene expression. The UVR exposures used in the study were not effective in inducing detectable levels of either of the mtDNA specific deletions, mutations within the p53 gene or levels of 8-OHdG and this may have been affected by limitations of the analytical techniques. Further experiments saw that the addition of antioxidant type entities provided protection and the possible reversal of some of the UVR damaging effects.
18
Gilonne, Yves. "La rheÌtorique du sublime dans l'Å“uvre de Maurice Blanchot." Thesis, University of Nottingham, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.438289.
Повний текст джерела
19
LEMAITRE, DAVID. "Conception et mise en uvre des interfaces pour les applications medicales." Paris 6, 1995. http://www.theses.fr/1995PA066139.
Повний текст джерелаАнотація:
Cette these propose d'etudier les problemes lies aux interfaces utilisateur des applications medicales. Dans un premier temps, l'interface utilisateur est abordee au travers de la definition de la station de travail du professionnel de sante. Un etat de l'art sur les systemes d'interfaces, les outils de construction et les methodes d'evaluation est ensuite effectue. Dans un deuxieme temps le systeme de developpement d'interfaces developpe pendant mes travaux est presente en detail. La presentation d'une application medicale realisee avec cet outil ainsi que son evaluation constituent la derniere partie de ce travail
20
Sanchez, Philippe. "Mise en uvre et illustrations de la theorie exacte des poutres." Cachan, Ecole normale supérieure, 2001. http://www.theses.fr/2001DENS0001.
Повний текст джерелаАнотація:
La theorie exacte des poutres est batie sur le principe de saint-venant. L'idee principale repose sur une decomposition de la solution 3d de reference en une partie a grande longueur de variation et une partie a courte longueur de variation. Cette decomposition, independante de l'elancement, met en evidence des grandeurs generalisees ainsi que divers operateurs caracteristiques du materiau et de la geometrie de la section droite. Cette theorie est qualifiee d'exacte au sens ou les grandeurs generalisees introduites sont communes a la solution de reference et a l'effet a grande longueur de variation, appele solution de saint-venant. Cette nouvelle approche du calcul des poutres droites est mise en uvre numeriquement par la methode des elements finis. Le logiciel mis au point utilise la logistique des elements finis 3d pour le calcul des operateurs et des grandeurs generalisees. Les corrections localisees sont, elles aussi, calculees par la methode des elements finis. Cette mise en uvre numerique permet d'obtenir des illustrations de la theorie exacte des poutres, ainsi que des comparaisons aux theories classiques des poutres.
21
Chaput, Emmanuel. "Mise en uvre de la synchronisation dans les systemes distribues hypermedias." Toulouse 3, 1998. http://www.theses.fr/1998TOU30045.
Повний текст джерелаАнотація:
La mise en uvre des contraintes de synchronisation hypermedias a une echelle globale (i. E. Sur l'internet) pose des problemes lies d'une part a la repartition des donnees gerees par un systeme distribue multimedia dont les divers constituants sont sources d'asynchronisme, et d'autre part a la qualite de service best-effort offerte par les protocoles utilises actuellement pour realiser la communication au sein de l'internet. Le but de ces travaux est de definir, de concevoir et de valider des mecanismes applicatifs contribuant a ameliorer la qualite de service percue par l'utilisateur dans un tel environnement best effort n'offrant a-priori aucune garantie de qualite de service. Ces mecanismes reposent sur un modele formel permettant d'exprimer de facon complete et precise les principaux parametres de qualite de service associes a une application hypermedia mais egalement de formaliser des contraintes temps-reel laches et ainsi de prendre en compte simultanement l'asynchronisme des systemes de communication et la variabilite temporelle admissible des flux d'information multimedias. Ainsi ces travaux abordent de facon ascendante et proposent des solutions pour mettre en uvre effectivement les 4 niveaux fondamentaux de synchronisation mis en jeu dans un systeme hypermedia, a savoir : la synchronisation intra-flux continue, la synchronisation inter-flux continue, la synchronisation inter-flux discrete et les interactions utilisateur.
22
GERVAT, SOPHIE. "Synthese et mise en uvre de materiaux organiques pour modulateurs electrooptiques." Paris 6, 1991. http://www.theses.fr/1991PA066501.
Повний текст джерелаАнотація:
L'ensemble des travaux presentes est l'etude, la synthese et la mise en uvre de materiaux organiques electrooptiques sous forme de molecules actives greffees sur les polyurethannes. L'essentiel de ce travail est la synthese de molecules polyfonctionnelles qui possedent, outre le systeme transmetteur et les groupes classiques donneur et accepteur leur conferant les proprietes recherchees, des fonctions alcools permettant une polymerisation simple et rapide. Trois types de transmetteurs ont ete etudies: les styrenes, les biphenyles et les tolanes. Les styrenes sont obtenus par une reaction de condensation en milieu anhydre d'un aldehyde aromatique et d'un methane substitue par un ou plusieurs attracteurs dans des conditions catalytiques en acide et en base compatibles avec les fonctions presentes. Les biphenyles sont obtenus par une reaction de couplage d'un halogenure aromatique avec un acide boronique en presence d'un catalyseur au palladium; l'etude menee sur la charge du catalyseur a permis d'ameliorer cette etape delicate. Une nouvelle methode d'halogenation regioselective, simple et performante des amines aromatiques a ete mise au point: elle consiste en l'addition de brome ou de chlorure d'iode en presence de quantites catalytiques de sel d'ammonium quaternaire et de methanol. Elle contribue a une meilleure facilite d'acces a ce type de molecules. Les tolanes sont obtenus facilement par les procedes classiques de couplage d'acetyleniques terminaux avec des halogenures dans des conditions reactionnelles convenant bien aux groupes fonctionnels presents. Leur elaboration simple et avec de bons rendements beneficie egalement de la mise au point de la nouvelle methode d'halogenation des amines aromatiques. Les trois types de monomeres ainsi prepares sont copolymerises avec des diisocyanates commerciaux; les materiaux obtenus sont aisement deposables en couches minces. Les premieres mesures de coefficient electro-optique sont encourageantes
23
Drury, Georgina E. "UVC-induced programmed cell death in Arabidopsis thaliana." Thesis, University of Manchester, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.678199.
Повний текст джерела
24
Heilmann, Monika. "Structure-function studies of the UV-B photoreceptor UVR8 in Arabidopsis thaliana." Thesis, University of Glasgow, 2013. http://theses.gla.ac.uk/4067/.
Повний текст джерелаАнотація:
UV-B radiation is an integral component of natural sunlight reaching the Earth’s surface. Although being a potentially harmful and damaging agent, UV-B is a key environmental signal for plants initiating diverse responses that affect their metabolism, development and viability. The majority of these responses involve the differential regulation of gene expression and all require accurate perception of the effective light quality by a photoreceptor. The recent identification of UV RESISTANCE LOCUS8 (UVR8) as a UV B photoreceptor has been an important milestone in plant UV B research (Rizzini et al., 2011; Christie et al., 2012; Wu et al., 2012). The aim of this study was to investigate how the structure of the UVR8 protein determines its function in the UV-B response in Arabidopsis.
25
DREAN, MICHEL. "Etude experimentale et numerique de la mise en uvre de boulons sertis." Clermont-Ferrand 2, 1999. http://www.theses.fr/1999CLF22090.
Повний текст джерелаАнотація:
Les boulons sertis de qualite 10. 9 sont apparus il y a une dizaine d'annees en construction metallique. Leur mise en uvre consiste a laminer une bague lisse sur la tige filetee du boulon pour y former un filet complementaire ce qui a pour consequence de permettre une installation automatique de la precontrainte. Des essais comparatifs avec des boulons a haute resistance a serrage controle ont montre que les boulons sertis peuvent pretendre a concurrencer les boulons traditionnels dans les conditions normales de tolerance des pieces assemblees. Par contre, ils sont assez sensibles aux defauts geometriques. C'est pour mieux comprendre le mecanisme de mise en precontrainte lors de la pose et mieux apprehender la sensibilite aux defauts geometriques qu'il a ete decide de realiser un modele numerique de calcul par elements finis. Concu en axisymetrie pour le logiciel lagamine, ce modele s'appuie sur une analyse en grands deplacements, grandes deformations et contacts frottants. Il montre une bonne capacite a rendre compte de l'installation d'un boulon serti comparativement a divers essais de mise en uvre que nous avons realises. Il permet de comprendre que la precontrainte resulte de l'action de deux efforts, celui applique sur la bague par l'outil hydraulique de pose et celui developpe par l'expansion de la bague lors de son sertissage. Une etude parametrique balaye un large champ des facteurs d'influence du modele, permettant de retrouver des comportements mecaniques previsibles ou des resultats experimentaux de la litterature. Enfin, ce modele est exploite dans deux directions plus particulieres : la mise en uvre sur plaques deformees et la mise en traction du boulon parallelement a son axe. Les resultats montrent une bonne correlation avec les resultats experimentaux.
26
KERMAD, CHAFIK DJALAL. "Segmentation d'images : recherche d'une mise en uvre automatique par cooperation de methodes." Rennes 1, 1997. http://www.theses.fr/1997REN10109.
Повний текст джерелаАнотація:
Dans le cadre de ce memoire, nous avons developpe un systeme de segmentation adapte a l'analyse de plusieurs types d'images, riches en details et dont les regions peuvent etre de nature uniforme et/ou texturee. Un interet tout particulier a ete accorde a l'aspect automatique et non-supervise du dispositif. Ceci implique, d'une part, la multiplication des traitements, et d'autre part, l'adoption d'une demarche progressive ou la formation des primitives s'opere de maniere cooperative et guidee. Le systeme mis au point entre dans le cadre des methodes cooperatives. L'architecture du systeme propose combine deux concepts. Le premier, fonde sur un procede d'integration d'informations issues de differentes methodes, permet de tirer parti des avantages de chacune d'elles. Le second concept s'inspire de la perception active par l'introduction d'une boucle de retour dans le systeme afin de corriger et d'ajuster les parametres de controle des differentes techniques de segmentation. Le principe de la cooperation proposee introduit un mecanisme de verification de la coherence par comparaison des resultats des methodes qui cooperent. Cet aspect fait defaut a un bon nombre d'approches cooperatives. Le systeme developpe est compose de deux modules. Le premier est dedie a l'extraction de regions uniformes ou faiblement texturees. Le principe est fonde sur une cooperation iterative entre une methode de detection de contours et une methode d'agregation de points. Ces deux methodes sont iterees avec des criteres de plus en plus tolerants jusqu'a la convergence vers des resultats coherents et stables. La coherence est realisee en minimisant une distance de similarite entre les contours et les regions. Le but est ainsi de fournir une solution optimale au sens de la compatibilite entre les deux segmentations. Le second module localise les primitives textures afin de reactualiser et corriger les primitives contours et regions extraites par le premier module. Cette localisation s'appuie sur une classification automatique par multi-seuillage exploitant certains mecanismes de la perception visuelle, et sur une fusion des regions multi-seuillees minimisant un critere de similarite. L'efficacite de notre approche s'est traduite, dans la plupart des cas examines, par une detection coherente des elements representatifs de l'image. Elle a ete particulierement constatee lors de la comparaison avec d'autres methodes. Mots-cles : segmentation d'images, cooperation de methodes, detection de contours, analyse de textures, perception du contraste, adaptativite, mesure de la coherence, distance entre images de contours, evaluation des resultats de segmentation.
27
CABILLIC, GILBERT. "Execution d'applications paralleles sur architectures distribuees heterogenes : proposition et mise en uvre." Rennes 1, 1996. http://www.theses.fr/1996REN10120.
Повний текст джерелаАнотація:
Un parc informatique comprend generalement outre les stations de travail, de nombreuses architectures possedant leurs propres caracteristiques: des serveurs dedies (serveurs de fichiers, serveur de licences,), des machines monoprocesseur de forte puissance ou des machines multiprocesseurs a memoire distribuee ou a memoire partagee. Un tel parc est caracterise par son heterogeneite tant au niveau materiel que logiciel. De plus, la probabilite d'une defaillance s'accroit lorsque le nombre de machine augmente. Enfin, la charge des machines fait l'objet de fluctuations. Ce travail propose deux mecanismes permettant d'exploiter au mieux les caracteristiques d'un tel parc pour l'execution d'applications paralleles de longue duree. D'autre part, nous proposons un mecanisme permettant la communication entre les processus s'executant sur un ensemble de machines heterogenes. Cette communication peut se faire soit par echanges de messages, soit au moyen d'une memoire virtuelle partagee. D'autre part, nous introduisons un mecanisme de reconfiguration d'applications. Ce dernier permet soit d'arreter l'application, puis de reprendre son execution plus tard, soit de migrer l'application vers d'autres architectures (migration heterogene). Il permet la reconfiguration en extension (accroissement du nombre de processus de l'application durant l'execution) ou une reconfiguration en concentration (diminution du nombre de processus de l'application durant son execution). Afin d'exploiter ce mecanisme de reconfiguration, nous lui associons un algorithme de gestion de charge qui repartit de maniere automatique la charge de chaune des machines du parc informatique. Nous evoluons les mecanismes proposes a l'aide d'un prototype nomme stardust implementant les mecanismes decrits sur un reseau interconnectant une machine paragon d'intel et une plate-forme atm de machines compatibles pc
28
BOUALI, AMAR. "Etudes et mises en uvre d'outils de verification basee sur la bisimulation." Paris 7, 1993. http://www.theses.fr/1993PA077022.
Повний текст джерелаАнотація:
On etudie la mise en uvre d'outils de verification automatique dans le cadre des processus paralleles et communiquants representes par des systemes de transitions. Le principe de verification repose sur des notions d'equivalences comportementales entre ces systemes de transitions, rassembles sous le terme de bisimulation. On s'interesse a la minimisation de ces systemes par ces equivalences et l'on presente dans un premier temps quelques ameliorations de l'algorithmique classique du calcul de ces equivalences que l'on met en uvre a travers un outil appele fctool. Dans un deuxieme temps, on s'interesse aux reseaux de processus et l'on concentre notre travail sur le probleme de l'explosion combinatoire que l'on rencontre lors du calcul d'un systeme de transitions global lie a un reseau: on contourne le probleme en introduisant une algorithmique originale basee sur la representation implicite des entites composant un systeme de transitions. On utilise une structure de donnees permettant ce type de representation et surtout, une algorithmique efficace pour la manipulation symbolique de ces systemes: celle-ci est connue sous le nom de bdd (pour binary decision diagramm). On etudie la mise en uvre de ces techniques par l'implementation d'un outil que l'on appelle hoggar
29
Puaut, Isabelle. "Gestion d'objets actifs dans les systemes distribues : problematique et mise en uvre." Rennes 1, 1993. http://www.theses.fr/1993REN10001.
Повний текст джерелаАнотація:
La realisation de langages de programmation concurrents a objets au-dessus d'architectures distribuees est facilitee par un support de la notion d'objet au niveau du systeme d'exploitation. Nos travaux ont consiste a etudier la gestion d'objets actifs, c'est-a-dire possedant leurs propres fils de controle, dans les systemes d'exploitation distribues. Dans la premiere partie du document, nous procedons a un tour d'horizon des mecanismes de gestion d'objets dans les systemes d'exploitation distribues. Deux mecanismes de gestion d'objets actifs dans les systemes d'exploitation distribues sont presentes dans la deuxieme partie du document: une memoire virtuelle distribuee s'appuyant directement sur la notion d'objet, et une technique de ramasse-miettes prenant en compte le caractere actif des objets. La memoire virtuelle distribuee d'objets permet un acces aux objets quels que soient leurs lieux de stockage, et ainsi autorise un placement dynamique des calculs. L'originalite de notre approche reside dans le fait que la coherence maintenue sur les objets tient compte des specificites du modele de calcul considere (modele d'objet actif) et de la synchronisation entre objets. Le ramasse-miettes propose s'execute en concurrence avec l'execution des objets, et permet de detruire les cycles d'objets inutiles. L'originalite de ce ramasse-miettes est qu'il ne necessite pas dans le cadre general de synchronisation globale au systeme, meme dans le cas de cycles distribues d'objets inutiles. La troisieme partie du document est consacree a la presentation du systeme d'exploitation distribue a objets gothic, qui integre les mecanismes de gestion d'objets proposes. Cette troisieme partie permet notamment d'evaluer les performances des mecanismes de gestion d'objets proposes
30
CASTIEL, SYLVIE. "Structuration, conception, mise en uvre et interoperabilite d'applications client/serveur objets reparties." Paris 6, 1998. http://www.theses.fr/1998PA066059.
Повний текст джерелаАнотація:
Nos travaux s'inscrivent dans le cadre de la conception, de la mise en uvre et de l'etude d'interoperabilite d'applications objets reparties. Notre demarche est basee sur le principe de structuration d'une telle application en un ensemble de composants logiciels qui interagissent. Le schema d'interaction sur lequel nous nous appuyons est le modele client/serveur. Dans ce contexte nous modelisons notre application en termes de composants client et serveur. Entre ces composants client et serveur existe une couche logicielle, appelee mediateur, qui apporte une solution a certains problemes, comme par exemple l'interoperabilite et la transparence d'acces et de localisation. Cependant, une telle couche logicielle n'est utilisable dans notre contexte materiel et logiciel, que si son impact sur le temps d'execution global de l'application est negligeable. Pour repondre a cette problematique nous adoptons une demarche qui vise a decoupler notre architecture logicielle en deux points de vue : _ le point de vue fonctionnel (definition des fonctionnalites des composants de l'application) ; _ le point de vue operationnel (projection des fonctionnalites sur une architecture materielle). L'implementation nous permet de realiser des calculs de performances et de faire des test d'interoperabilite au niveau du mediateur employe. Nous focalisons notre etude de l'interoperabilite au niveau des mediateurs parce que c'est un element essentiel de la conception d'application objet repartie s'appuyant sur le modele client/serveur. Notre objectif est d'integrer de maniere standardisee une fonction de calcul scientifique a un prototype qui est en cours d'elaboration. Outre les avantages offerts par la technologie objet (modularite et reutilisabilite), nous demontrons que l'utilisation d'un mediateur objet entraine un surcout en temps negligeable par rapport au temps d'acces a la base de donnees orientee objet utilisee et que l'interoperabilite de ces couches logicielles n'est pas toujours triviale. Nous etablissons un bilan tant au niveau conceptuel et pratique que theorique.
31
Casadessus, Patrick, and Claude Girault. "Conception et mise en uvre d'un noyau transactionnel dans un environnement parallele." Paris 6, 1994. http://www.theses.fr/1994PA066520.
Повний текст джерелаАнотація:
Nous presentons dans ce memoire une experience de conception et d'implantation d'un noyau transactionnel assurant la gestion de la memoire, le controle de concurrence et la reprise sur panne dans un environnement parallele. Nous montrons que l'organisation des structures de donnees est primordiale pour garantir un reel parallelisme et donc un gain de performances. Nous analysons les choix effectues dans chaque composant du noyau transactionnel et les evaluons, en termes de performances, par une serie de mesures specifiques. Le noyau transactionnel est integre dans le prototype dbs3 (database system for shared store) mis en uvre sur des architectures paralleles de type memoire partagee. Ce prototype a ete implante sur les machines encore multimax (10 processeurs) et ksr1 (72 processeurs). L'architecture memoire virtuellement partagee de la ksr1 nous a permis d'effectuer des mesures de performances particulierement interessantes grace au benchmark du wisconsin
32
PERRIN, ESTELLE GARDAN Y. "UNE NOUVELLE APPROCHE POUR LES OPERATIONS BOOLEENNES : FORMALISATION ET MISE EN UVRE /." [S.l.] : [s.n.], 1995. ftp://ftp.scd.univ-metz.fr/pub/Theses/1995/Perrin.Estelle.SMZ9519.pdf.
Повний текст джерела
33
Sperotto, Valentina. "Le scepticisme comme méthode dans l'Å“uvre de Denis Diderot." Doctoral thesis, Università degli studi di Trento, 2015. https://hdl.handle.net/11572/369187.
Повний текст джерелаАнотація:
Skepticism as method in the work of Denis Diderot.
The aim of this research is to point out the characteristics of the reception of Skepticism in Diderot’s work, through an analysis of the Skeptic arguments and rhetorical devices
that can be identified in Diderot’s writingsΠτur investigation reveals the presence of recurring Skeptic elements both in the early works and in the maturity, including the contributions to the Encyclopédie. Another essential topic is the use of Skepticism as a
method that does not consist only in the preliminary application of skeptic’s arguments to the subject discussed by the philosopherΠWe also show that Diderot’s Skeptic
method entails not only the use of some typical arguments, but also the adoption of peculiar stylistic choices. We claim that this Skeptic streak explains some singularities
of Diderot’s philosophy and of his materialismΠA deeper understanding of the central role played by the Skeptic themes in Diderot’s thinking makes a significant contribution to the studies on Skepticism in the Enlightenment, which emerges like a plurality of
positions and forms of philosophical heritages. For these reasons we do not only present a comparison between Diderot and his skeptic sources, but also with others Enlightenment philosophers like εontesquieu, Voltaire, D’Alembert and David Hume.
34
McNulty, Liam. "Development and applications of a small-scale UVR detector." Thesis, University of Manchester, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.498673.
Повний текст джерелаАнотація:
A small, battery-powered ultraviolet radiation detector was developed using three spectrally distinct photodiodes housed in a weatherproof enclosure (cylinder with r=16mm, h=15mm) under an acrylic window. Each induced photocurrent (plus a temperature reading) was amplified and conditioned electronically, converted to a digital number and stored in a non-volatile memory space, contained in another small enclosure (cuboid, 100x70x30mm). Each reading was time-stamped. The detector was characterised in the laboratory to determine its spectral sensitivity, angular response, linear response, temperature dependency and dark current. It was calibrated in natural sunlight, at a range of solar zenith angles, ozone column amounts and cloud conditions, against a Bentham DTM300 spectroradiometer. The results showed it to approximate the irradiance weighted by four distinct biological action spectra with an overall accuracy of 20%. It was tested in a number of field settings and shown to operate in a range of environmental conditions and provide data that had scientific relevance. A number of the detectors were used in two personal dosimetry experiments. The data revealed distinct exposure patterns between occupational and recreational days, and highlighted the strong influence of behavior on both ultraviolet exposure rates and integrated doses. Further, it was shown that the relative balance of previtamin D photosynthesis and erythemally weighted irradiance is not dependent on solar zenith angle when one considers a population with varying behaviors in a variable climate.
35
Sachsenmaier, C. [Verfasser]. "Wachstumsfaktor-Rezeptoren als Vermittler UVC-induzierter Genexpression / C. Sachsenmaier." Karlsruhe : KIT-Bibliothek, 1994. http://d-nb.info/113116881X/34.
Повний текст джерела
36
Chana, Kamaldeep. "Natural genetic variation underlying UVR sensitivity in Drosophila melanogaster." Thesis, University of Leicester, 2015. http://hdl.handle.net/2381/42537.
Повний текст джерелаАнотація:
Solar ultraviolet radiation has been a major environmental factor throughout the evolution of life. Nature has evolved a plethora of defence mechanisms against this biologically harmful agent, and the genes underlying these mechanisms (e.g. DNA repair) have been the direct target of natural selection. The main aim of this study was to assess the level of genetic diversity in Drosophila, and phenotypic variation in Ultraviolet Radiation (UVR) sensitivity amongst a naturally-derived panel of fly strains (DGRP), and to evaluate the extent of genetic variation underlying this trait. The DGRP strains were screened for UVR-sensitivity using simulated solar radiation, and substantial phenotypic variation was identified. A genome-wide association analysis detected 114 SNPs across all three major chromosomes, at a FDR of 0.0001. Some of these SNPs lie within known UV response genes (Xpac, hay), and some novel UVR-associated genes were identified (TwdIB, raw). Subsequently, a significant association, SNP 3R:12383617 in gene CG42342 was validated using complementation tests. In addition, enriched network analysis detected both novel UVR-associated pathways (e.g. GPCRs), and pathways wholly implicated in UV response. In parallel, a candidate gene focussed approach was taken to identify natural phenotypic variation in an allelic series of p53 strains (27 congenic strains) derived from European populations. These strains exhibited both phenotypic and genotypic variation. Association analysis revealed single intronic SNP (3R:18875989), which was associated with UVR-induced oxidative stress. Another set of experiments addressed the role of BTK, a kinase triggered by UVR, in ageing. Two BTK inhibitors (X and Y) were tested as potential novel anti-ageing drugs. The drugs were administrated at different doses in the food, and both extended lifespan, in a p53-dependent manner. The treated flies also showed a weight gain and improved motor function. Patents are currently pending for these two drugs in anti-ageing therapy.
37
Kaculini, Stefan. "Tomographie de sismique reflexion avant stack : developpement de methodologies de mise en uvre." Paris 6, 1992. http://www.theses.fr/1992PA066520.
Повний текст джерелаАнотація:
On s'attend a ce que la tomographie de sismique reflection avant stack soit particulierement efficace dans les bassins qui contiennent de fortes anomalies de vitesse. Toutefois, le resultat d'une inversion globale n'est pas exact si l'on est en presence de fortes anomalies de vitesse et si les donnees ont un faible rapport offset/profondeur. Les anomalies estimees dans ce cas ne sont pas exactes, ce qui a pour consequence de generer de fausses structures. Je propose deux methodologies d'application de la tomographie dans de telles situations. La premiere peut etre appliquee dans les bassins matures ou l'on a suffisamment de connaissances a priori. La deuxieme ne necessite aucune connaissance a priori donc, elle peut etre appliquee dans toutes les situations. Utilisant des donnees synthetiques et reelles, j'etudie et j'illustre l'efficacite de la tomographie de sismique reflexion pour l'estimation du macro-modele geologique. Ces exemples ont permis de montrer l'importance d'une methodologie adequate
38
BATIS, CHRISTOPHE. "Etude et realisation de systemes d'acquisition mettant en uvre un reseau local industriel." Paris 6, 1996. http://www.theses.fr/1996PA066021.
Повний текст джерелаАнотація:
L'objet du travail de cette these concerne la mise en uvre de systemes d'acquisition utilisant un reseau local industriel. L'utilisation d'un reseau pose de nombreux problemes dans le domaine de l'acquisition de signal car jusqu'a present l'echantillonnage par le capteur n'etait fonction que de la vitesse d'acquisition et de traitement d'un poste central. Avec l'utilisation d'un reseau, le multiplexage des donnees des divers equipements connectes sur le meme medium de communication, diminue le nombre de scrutations d'un capteur. Les problemes sont essentiellement de deux natures: d'une part, il faut adapter l'acquisition par les capteurs a ce nouvel environnement, d'autre part, il faut pouvoir configurer la communication de telle sorte que les contraintes de l'acquisition et des autres types de trafic soient respectees. Le premier travail a ete de choisir un protocole de communication satisfaisant les applications envisagees. L'etude menee a montre l'interet de retenir le protocole fip parmi les normes de communication existantes. Ensuite, la mise en place et les performances du trafic fip sont analyses avec l'objectif de respecter les contraintes liees a l'echantillonnage. La repartition des differents flux d'informations sur les divers services fip est donnee. Pour achever la realisation de systemes d'acquisition, la description du developpement d'une gamme d'interfaces compatible avec le protocole fip est detaillee. Ceci permet d'obtenir les stations de mesure du systeme. Enfin, des applications industrielles realisees grace aux divers resultats obtenus tout au long de cette etude sont exposees. L'etude effectuee permet de poursuivre le travail vers une plus grande automatisation de la phase de mise en uvre de tels systemes ce qui est rendu necessaire par le nombre croissant d'equipements mis en jeu
39
PIERNOT, PHILIPPE. "Un systeme d'aide pour la mise en uvre de la programmation par demonstration." Paris 6, 1995. http://www.theses.fr/1995PA066434.
Повний текст джерелаАнотація:
Cette these decrit la conception et l'implantation d'aide ainsi que la recherche qui a aboutie a son developpement. Aide est le premier squelette d'application destine a aider les developpeurs a integrer les techniques de la programmation par demonstration dans leurs applications. Spii, un prototype d'editeur graphique developpe avec aide est ensuite presente afin d'illustrer l'utilisation d'aide. Enfin une evaluation d'aide a ete effectuee: dans le cas de l'application spii, l'utilisation d'aide a fait gagner un facteur 10 en terme du nombre de lignes de code pour supporter la programmation par demonstration
40
Dupont, de Dinechin Florent. "Systemes structures d'equations recurrentes : mise en uvre dans le langage alpha et applications." Rennes 1, 1997. http://www.theses.fr/1997REN10007.
Повний текст джерелаАнотація:
Le formalisme des equations recurrentes affines est bien adapte a la synthese de materiel et de logiciel paralleles. Le langage alpha est derive de ce formalisme, et l'environnement associe procure des outils automatiques pour l'analyse et la transformation de programmes alpha. Ainsi une specification algorithmique de haut niveau peut etre transformee, par raffinements successifs, en une implementation fonctionnellement equivalente. Cette these presente des extensions au formalisme qui y apportent les avantages bien connus de la programmation structuree. Ces extensions sont de deux types : d'une part on definit des systemes d'equations parametres par un nombre quelconque de parametres de taille, d'autre part on introduit un nouvel operateur qui permet de construire des hierarchies de tels systemes parametres. La syntaxe et la semantique de ces deux extensions sont donnees dans le cadre de alpha, et validees par une implementation dans l'environnement. On montre en particulier que ces extensions n'enlevent rien a la puissance du formalisme en termes de raffinement de programmes. Ces extensions du langage alpha rendent egalement possibles de nouveaux outils de l'environnement. Deux applications en sont decrites en detail : un outil d'analyse statique de programmes structures dans un but de detection d'erreurs, et une transformation de programmes, pour la synthese d'architectures au niveau du bit a partir d'une specification sur des types de donnees abstraits.
41
HAKIMI, MANSOUREH. "Implication de la robotique dans la mise en uvre des analyses industrielles normalisees." Paris 6, 1990. http://www.theses.fr/1990PA066532.
Повний текст джерелаАнотація:
L'objet de cette these est l'etude de la faisabilite de l'automatisation et la robotisation de processus normalises de type afnor. Pour cela nous avons le dosage de l'acide maleique dans l'anhydride maleique. Le travail est divise en 3 chapitres. Le premier chapitre concerne l'etude bibliograhique de la structure des robots industriels et plus particulierement de ceux reserves a l'analyse chimique. Dans le deuxieme chapitre, le robot de laboratoire retenu est decrit en detail ainsi que son mode de programmation. Le robot multisoft a ete integre a un processus automatise gere par un automate programmable. Dans le troisieme chapitre, le dosage entierement automatise selon la norme afnor, est aborde. Le robot intervient pour gerer l'introduction de l'anhydride maleique, sous forme solide. La commande est faite selon une structrure mixte: un ordinateur gere l'ensemble du sequentiel, fait l'acquisition des donnees, trace des courbes de dosage et calcule la concentration en acide maleique. Un autre ordinateur gere le robot. Le deroulement du dosage ainsi automatise est ensuite decrit. Cette premiere tentative en robotique demontre que l'automatisation des processus normalises est possible et que les resultats sont comparables a ceux obtenus lors des essais manuels
42
MOGUEROU, GERSAN. "Etude comparative et mises en uvre hierarchiques de methodes de recalage d'images numeriques." Rennes 1, 1992. http://www.theses.fr/1992REN10152.
Повний текст джерелаАнотація:
Apres avoir presente le probleme du recalage d'images numeriques, differentes fonctions de correlation exposees dans la litterature sont etudiees et leurs resultats sur differents types d'images sont compares. En general, cette comparaison n'a pas ete faite, les articles sur ce sujet n'etant illustres que par des images de meme type. Dans un deuxieme temps, la these montre comment, en fonction du type d'image et des distorsions previsibles entre images d'une meme famille, selectionner des zones caracteristiques dans l'image et choisir la methode de correlation. La mise en uvre des methodes de correlation est en general tres couteuse en temps de calcul. La litterature presente quelques solutions a ce probleme, ces solutions ont ete mises en uvre et comparees, puis des solutions originales sont proposees. La these presente enfin des exemples d'applications dans des domaines varies
43
BAIXERAS, OLIVIER. "Modelisation et mise en Œuvre experimentale du sechage sous-vide discontinu du chene." Paris, ENSAM, 1995. http://www.theses.fr/1995ENAM0020.
Повний текст джерелаАнотація:
Dans ce travail, une modelisation du sechage sous-vide discontinu du chene est proposee. Les resultats, numeriques et experimentaux, mettent en evidence le fort couplage qui existe entre le produit et le procede. Les equations qui regissent le modele sont presentees et leur validite discutee. Un modele complet est developpe au niveau du produit pour tenir compte de maniere explicite des effets dus aux gradients de pression a l'interieur du materiau et l'accent est mis sur l'ecriture nouvelle des conditions aux limites qui doit traduire le fort couplage observe experimentalement. Enfin, dans la perspective de l'elaboration de tables de sechage, un critere rheologique simple de qualite mecanique est introduit. L'etude de sensibilite qui est menee au niveau des commandes du sechoir nous permet de degager les parametres pertinents en vue d'une conduite optimale du procede, et ce, en termes de rapidite et de qualite du sechage
44
GRYL, AGNES. "Analyse et modelisation des processus discursifs mis en uvre dans la description d'itineraires." Paris 11, 1995. http://www.theses.fr/1995PA112467.
Повний текст джерелаАнотація:
Notre travail a consiste a analyser et a modeliser les processus discursifs mis en uvre dans la description d'itineraires. Nous avons recueilli deux corpus de descriptions d'itineraires pedestres, en langage naturel, portant sur des environnements urbains. L'analyse de ces corpus a permis de mettre en evidence deux elements essentiels de ce type de descriptions: les reperes et les actions exprimes respectivement par des expressions verbales et des expressions nominales. Nous proposons une categorisation de chacune de ces expressions. Les expressions verbales sont categorisees relativement a leur contenu semantique. Quatre classes d'expressions verbales ont ete isolees selon qu'elles concernent la progression, l'orientation, la localisation de l'individu ou la localisation d'un referent. Les expressions nominales ont ete categorisees relativement aux elements auxquels elles se rapportent. Deux categories ont ete definies: la structure routiere et la structure architecturale. De plus, nous avons montre que les descriptions d'itineraires etaient structurees en descriptions locales et en chemins. Ces resultats, ainsi que ceux issus des analyses portant sur les types de propositions utilises dans les corpus et sur les strategies de choix, nous permettent d'envisager la construction d'un generateur de descriptions d'itineraires en langage naturel. Celui-ci est structure en trois etapes. La premiere etape etablit une representation du parcours entre les points de depart et d'arrivee selon une strategie de choix d'un chemin. La seconde etape introduit des reperes dans la representation creee a l'etape precedente en fonction de contraintes liees a l'environnement et au deplacement. La derniere etape construit une structure prelinguistique de l'itineraire en utilisant des mecanismes de raisonnement spatial qualitatif. Chacune de ces etapes integre les resultats obtenus lors de l'analyse des corpus ainsi que divers resultats de recherches en psychologie cognitive, en linguistique et en intelligence artificielle
45
Patel, Isha Rameshbhai. "Evaluation of the role of BarA-UvrY two-component system in escherichia coli." College Park, Md. : University of Maryland, 2004. http://hdl.handle.net/1903/1564.
Повний текст джерелаАнотація:
Thesis (M.S.) -- University of Maryland, College Park, 2004.Thesis research directed by: Virginia-Maryland Regional College of Veterinary Medicine. Maryland Campus. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.
46
DUPONT, DE DINECHIN FLORENT Quinton Patrice. "SYSTEMES STRUCTURES D'EQUATIONS RECURRENTES : MISE EN UVRE DANS LE LANGAGE ALPHA ET APPLICATIONS /." [S.l.] : [s.n.], 1997.
Знайти повний текст джерела
47
Wee, Hong Chin, and weehong_chin@yahoo com au. "Greywater treatment by Fenton, Photo-Fenton and UVC/H2O2 processes." RMIT University. Civil, Environmental and Chemical Engineering, 2009. http://adt.lib.rmit.edu.au/adt/public/adt-VIT20091127.145052.
Повний текст джерелаАнотація:
Advanced oxidation processes (AOPs) have been used to treat drinking water and wastewater but their application to greywater is limited to photocatalysis. Therefore, three homogeneous AOPs were investigated in this project: Fenton, photo-Fenton, and UVC/H2O2 processes. Alum and ferrous sulphate coagulation were also compared and their supernatants were treated by UVC/H2O2. The process comparisons were based on the removal of chemical oxygen demand (COD), treatment type (physical separation versus chemical oxidation), sludge formation, complexity in operation, required pH, visual aesthetic of effluent and energy requirement. Treating greywaters collected from the researcher's home or laboratory, alum coagulation achieved 73% COD removal and was more effective than ferrous sulphate coagulation (49%) and the Fenton process (45%). The photo-Fenton process removed 83% COD, compared with 87% by overnight settlement and subsequent UVC/H2O2 treatment. Using ferrous sulphate and alum, sequential coagulation and UVC/H2O2 treatment removed 91% and 98% COD, respectively. Overnight settlement generated little sludge and the subsequent UVC/H2O2 treatment removed most organic contaminants by oxidation. All other processes produced a large quantity of chemical sludge from coagulation which requires appropriate disposal. Also, the residual iron in some treated water was not aesthetically desirable. The Fenton and photo-Fenton processes were complex and involved the optimisation of multiple parameters. Their requirement for different procedures according to the greywater type presents a major challenge to process design and operation. Due to the non-selectivity of the hydroxyl radicals (●OH), the UVC/H2O2 process was capable of treating all greywaters collected by the researcher, and its operation was moderate in complexity. The COD removal was modelled as a pseudo first-order reaction in terms of H2O2 dosage: The rate constant (k´) increased linearly up to 10 mM H2O2, above which the excess H2O2 scavenged the ●OH and reduced the rate. The overall kinetics of COD removal followed a second-order equation of r = 0.0637 [COD][H2O2]. In contrast to the literature, operation of UVC/H2O2 in acidic conditions was not required and the enhanced COD removal at the initial pH of 10 was attributed to the dissociation of H2O2 to O2H-. Maintaining the pH at 10 or higher resulted in poorer COD removal due to the increased decomposition rate of H2O2 to O2 and H2O. The performance of the UVC/H2O2 treatment was unaffected for initial pH 3 - 10 with the initial total carbonate concentration (cT) of 3 mM. For initial cT ≥ 10 mM, operating between pH 3 and 5 was essential. After 3 hours of the UVC/H2O2 treatment, the effluent met the requirement of Class B reclaimed water specified by the Environment Protection Authority of Victoria, and less than 1 org/100 mL of Escherichia coli survived. A subsequent treatment such as filtration may be required to meet more requirements for biochemical oxygen demand (BOD5), turbidity and total suspended solids. Since the biodegradability (as BOD5:COD) of the greywater was increased from 0.22 to 0.41 with 2 hours of UVC/H2O2 treatment, its integration with a subsequent biological treatment may be viable to reduce the costs and energy consumption associated with the UVC/H2O2 process.
48
Ayala, Marcelo. "Influence of exposure patterns and oxidation in UVR-induced cataract /." Stockholm : Karolinska institutet, 2005. http://diss.kib.ki.se/2005/91-7140-263-2/.
Повний текст джерела
49
Crand, Samuel. "Mise en uvre de methodes de synthese haut niveau pour l'implantation de recepteurs multicapteurs." Nantes, 1997. http://www.theses.fr/1997NANT2084.
Повний текст джерелаАнотація:
Le travail effectue propose et met en uvre des techniques de synthese haut niveau pour l'implantation des algorithmes de traitement du signal utilises dans les systemes multicapteurs pour communications radiomobiles. Dans un premier temps, nous nous sommes interesses a la synthese haut niveau et aux differents outils permettant de realiser un cycle complet de conception d'un circuit specifique (asic, fpga). L'application est decrite a un niveau algorithmique, puis retranscrite de facon automatique en vhdl avec ou sans partage de ressources. Une etape d'estimation et d'analyse statique est associee a cet outil. Cette phase permet de caracteriser l'algorithme a implanter. Il est utile de pouvoir estimer le rapport cout/performances simplement et rapidement, afin de reduire le temps de conception tout en optimisant les performances. En regle generale, la surface de silicium necessaire est liee a l'importance du flot de donnees present dans l'algorithme considere. Pour le reduire, on est amene a effectuer un partage de ressources. Une estimation precise du taux d'utilisation des operateurs, permet de delimiter l'espace de recherche. En effet, pour un algorithme constitue majoritairement d'operateurs arithmetiques, il existe une grande variete de solutions d'implantation. De plus, les phases d'analyse statique et d'estimation permettent d'identifier les transformations adequates en vue d'ameliorer le rapport cout/performances. Afin de valider la chaine de conception, deux applications completes ont ete etudiees. La premiere a consiste a developper un systeme permettant d'experimenter un reseau d'antennes en emission. La seconde a permis d'implanter un recepteur multicapteur pour des applications amrc (acces multiple par repartition de codes) a partir d'une description algorithmique. Dans ce travail, nous avons cree un outil de conception haut niveau permettant de generer un circuit specifique en ayant prealablement specifie, valide et optimise l'application au niveau algorithmique. Cet outil a montre tout son interet pour la conception de systemes dedies aux communications radiomobiles.
50
CROISSANT, ARMELLE. "Modelisation du systeme auditif peripherique et mise en uvre d'un outil de simulation adapte." Paris 11, 1993. http://www.theses.fr/1993PA112277.
Повний текст джерелаАнотація:
Le but de cette etude est de modeliser les differentes transformations subies par le son entre le champ libre et la membrane basilaire et de proposer un outil de simulation adapte. Cet outil doit permettre d'analyse l'influence de traitements divers sur la parole. La tete et l'oreille externe sont modelisees par une sphere rigide et des tuyaux acoustiques sans pertes. L'ensemble est considere comme une antenne acoustique suivie d'une structure de guidage. En champ libre, cette approche permet de representer la tete et l'oreille externe, illuminees par une onde plane, par un generateur de pression equivalent alimentant l'entree de l'oreille externe. Les caracteristiques de ce generateur equivalent (pression a vide et son impedance acoustique interne) dependent des dimensions de la tete et de l'oreille externe ainsi que de l'angle d'incidence de l'onde. L'oreille moyenne est modelisee par un quadripole dont les valeurs des elements sont ajustees de maniere a retrouver les resultats de mesures. Le modele de l'oreille interne est un modele de type macromecanique uni-dimensionnel. Les parametres du modele sont determines a partir de resultats de mesure et des resultats theoriques obtenus par un traitement asymptotique du probleme. Les resultats obtenus avec le modele complet sont en accord avec les resultats de mesure disponibles dans la litterature. De plus, deux types de resolutions des equations representant le modele sont proposes, une resolution frequentielle et une resolution temporelle, ce qui permet d'etudier la reponse du systeme auditif peripherique pour des signaux stationnaires mais aussi pour des signaux non stationnaires