151 |
Spectroscopie transitoire et photo-commutation des propriétés optiques non linéaires de second ordre de cristaux photochromes d'anils, corrélation structure-propriétésSliwa, Michel 09 December 2005 (has links) (PDF)
Une série d'anils originaux, de groupe d'espace non centrosymétrique actifs en génération de second harmonique (GSH) et photochromes à l'état cristallin, a été obtenue. Un des composés présente une GSH de 11 (vs urée), un deuxième une photo conversion de 16% sous irradiation UV et un troisième une quasi bistabilité (durée de vie de 460 j pour la forme métastable). La photo commutation réversible de la GSH peut aller jusqu'à 50%. Des études sur monocristaux orientés sous microscope confocal ont permis de corréler anisotropie de GSH et structure déterminée par diffraction de rayons X, via des calculs ZINDO. Elles ont aussi montré que la réaction photo induite créait un désordre dans le cristal, entraînant la commutation de GSH, mais que l'ordre initial était recréé après réaction retour. La spectroscopie a mis en évidence le mécanisme du photochromisme et un temps de commutation de 250 ps à l'état solide, montrant ainsi le potentiel de ces matériaux comme interrupteurs optiques rapides.
|
152 |
Contribution à la conception des formes complexes : la surface d'usinage en fraisage 5 axes isocrêteTournier, Christophe 12 December 2001 (has links) (PDF)
La qualité de réalisation des moules et matrices dépend de l'aptitude de chacune des activités du processus de conception et de fabrication à modéliser ou produire la géométrie attendue. Malgré l'intégration des contraintes de fabrication liées aux procédés d'obtention, il est difficile d'atteindre le niveau de qualité recherché car de nouvelles erreurs sont introduites lors de la génération des trajectoires. En effet, l'extraction de la géométrie nominale et sa remodélisation sous forme de trajets d'usinage introduit de nombreuses approximations. La surface d'usinage apporte une évolution du processus de conception des formes en intégrant les spécifications fonctionnelles au calcul du trajet d'usinage. Nous menons une démarche d'identification de la surface d'usinage pour le fraisage à 5 axes en bout avec un outil torique. Cette nouvelle modélisation est utilisée pour implémenter une stratégie d'usinage particulière dite à hauteur de crête constante en fraisage 3 et 5 axes. Celle ci améliore la qualité des surfaces usinées et permet d'augmenter la productivité de l'usinage et abaisser les coûts.
|
153 |
Réseaux de preuve et génération pour les grammaires de types logiquesPogodalla, Sylvain 27 September 2001 (has links) (PDF)
L'étude de la relation entre syntaxe et sémantique qu'établissent les grammaires de types<br />logiques a essentiellement privilégié le sens de l'analyse - syntaxe vers sémantique. Cette thèse souligne le profit que la génération - sémantique vers syntaxe - tire de l'étroitesse de cette relation.<br /><br />Elle s'appuie sur l'étude logique de ces modèles grammaticaux et met en avant l'utilisation de la logique linéaire et de ses réseaux de preuve. Autour du calcul de Lambek, un fragment intuitionniste de la logique linéaire non commutative, nous étudions le comportement des extensions de ce calcul en tant que modèles syntaxiques, notamment avec le calcul ordonné. Nous montrons par exemple qu'un fragment de ce dernier permet d'engendrer la même classe de langage que les grammaires d'arbres adjoints.<br /><br />D'autre part, l'adéquation de la syntaxe, portée par la notion de preuve, à la sémantique de Montague, portée par la notion de lambda-terme, s'illustre dans la correspondance de Curry-Howard. L'utilisation des réseaux de preuve nous permet de montrer que, pour le calcul de Lambek et pour des représentations sémantiques linéaires avec une constante au moins, le problème de génération est décidable et que ces grammaires sont intrinsèquement réversibles. Nous caractérisons les formes sémantiques permettant une réalisation syntaxique polynomiale. Aussi pouvons-nous proposer une méthode complète de génération dans ce cadre.<br /><br />Ces résultats, de même que l'implémentation dont ils ont fait l'objet, exploitent la théorie de la démonstration sous-jacente et en particulier les réseaux de preuve sous forme de graphes. Nous obtenons ainsi un cadre uniforme pour l'analyse et la génération. Pour le conserver, dans l'optique d'une prise en compte sémantique de termes non linéaires grâce aux connecteurs exponentiels de la logique linéaire, nous donnons une nouvelle syntaxe et un nouveau critère de correction pour les réseaux avec exponentiels sous forme de graphes.
|
154 |
Génération automatique de scénarios de tests à partir de propriétés temporelles et de modèles comportementauxCabrera Castillos, Kalou 28 November 2013 (has links) (PDF)
Les travaux proposés dans cette thèse, effectuée dans le cadre du projet ANR TASCCC, présentent une technique de génération de tests à partir de modèles comportementaux en UML/OCL et de proprié- tés temporelles. Pour cela, nous décrivons un langage de propriétés temporelles inspiré des patrons de propriétés introduits par M. Dwyer et al.. Une propriété est définie comme la combinaison d'une portée, qui représente les exécutions du système dans laquelle un motif doit être satisfait. Nous associons à chaque portée et motif une sémantique à base d'automates particuliers, les automates de substitution. Par un mécanisme de substitution d'un automate de motif dans un automate de portée, nous obtenons un automate représentant la sémantique de la propriété. Nous avons ensuite défini des critères de couverture nominaux, inspirés des critères de couverture classiques sur les automates, spécifiques à nos automates de propriété. Ces critères se concentrent sur les informations supplémentaires apportées par la propriété originale, telles que ses évènements, sa portée et son motif. En complément, nous avons défini un critère de couverture qui, par le biais de mutation d'évènements de certaines transitions, permet de cibler des exécutions potentiellement dangereuses du système en tentant de provoquer les évènements interdits de la propriété. Ensuite, nous avons défini pour chaque critère un algorithme qui permet d'extraire des chemins dans l'automate, ciblant les éléments du critère considéré. Ces chemins sont traduits en scénarios dans un langage que nous avons défini. Enfin, un dépliage combinatoire de ces scénarios, éventuellement guidé par des directives de pilotage intégrées à celui-ci, permet la génération de cas de tests abstraits. Finalement, cette approche a été validée par une expérimentation sur une étude de cas dans ce document et sur GlobalPlatform, l'étude de cas de taille industrielle dans le cadre du projet TASCCC.
|
155 |
Quand les étudiants universitaires communiquent à propos de la routine : entre milieu d'origine et nouvelles cohabitationsTomulescu, Raluca Ioana 07 1900 (has links) (PDF)
Lorsqu'on évoque la routine, ce qui nous vient d'emblée à l'esprit, ce sont les notions de paralysie, d'opposition au progrès ou au perfectionnement. Celles-ci s'inscrivent sans doute dans la situation socio-économique des sociétés occidentales d'aujourd'hui, qualifiées par certains auteurs (le premier étant Balandier) de surmodernes, qui voient le rapport au temps et à l'espace des individus, fondements des rapports sociaux et au monde, profondément modifiés : ils sont de plus en plus caractérisés par l'instantanéité, la mobilité, la vitesse, et le changement. Ainsi, s'éloignent les perceptions cycliques d'autrefois, reliées à la lenteur, à l'enracinement, à la durée et à la routine. Dans la littérature, le concept de routine n'a pourtant pas si mauvaise presse : les auteurs lui reconnaissent certes un sens péjoratif, hérité des principes de division du travail des époques smithienne puis fordienne, mais en décèlent tout autant les bienfaits. Ainsi, malgré que la routine puisse, dans certains cas, entraîner engourdissement ou torpeur, elle procure, grâce à la répétition du rythme des pratiques, structure, sécurité et ainsi stabilité et prévisibilité. Prenant assise sur ces considérations, la recherche a pour but d'explorer la place de la routine et les représentations dont elle fait l'objet dans un processus de (re)construction identitaire, ces représentations participant à la nature des interactions entre les individus. Plus précisément, les expériences de quatre jeunes adultes québécois de la génération « Y » ayant quitté le domicile parental, vivant en colocation et poursuivant leurs études, sont recueillies, grâce à une démarche qualitative et des entretiens semi-dirigés, sous forme de récits de vie thématiques. En effet, le processus de (re)construction identitaire entraîné par l'installation dans un nouvel environnement s'avère un terrain fertile pour la mise en place de routines, d'où sa pertinence d'étude. Pour ce qui est de la dimension générationnelle, elle nous permet de relier ces représentations de la routine à la situation socio-économique abordée plus tôt, puisque les jeunes adultes de la génération « Y » sont les premiers à avoir vécu quasi totalement dans le contexte de modification des rapports au temps et à l'espace évoqués précédemment. À partir du croisement des récits des quatre collaborateurs et des concepts retenus lors de la démarche théorique, plusieurs constats se dégagent, en ce qui concerne les jeunes adultes : 1) leur rapport à la routine est ambivalent : bien qu'existante, elle est inavouée ou contestée; 2) la routine, suivie tel un parcours, mène aux activités essentielles de l'existence; 3) la routine permet la ventilation mentale et la résistance au chaos; 4) la routine permet l'hygiène mentale, voire une certaine harmonisation des composantes de l'identité. Enfin, le repérage de ces constats nous a permis de comprendre que le contexte socio-économique ne pèse pas aussi lourd que nous l'aurions pensé dans le passage à l'action de routine des jeunes adultes; celui-ci est davantage en lien avec l'étape de vie qu'ils sont en train de traverser, entre-deux séparant l'adolescence de l'âge adulte, axée sur l'exploration. L'appropriation de l'univers quotidien est alors priorisée afin de « tâter » le maximum de possibilités avant la prochaine étape, la véritable entrée dans la vie adulte.
______________________________________________________________________________
MOTS-CLÉS DE L’AUTEUR : Routine, temps, espace, génération « Y », identité, théorisation ancrée
|
156 |
Quelle prise en compte des dynamiques urbaines dans la prévision de la demande de transport ?Cabrera Delgado, Jorge 01 July 2013 (has links) (PDF)
Dans la pratique de la planification urbaine, la prévision de la demande de transport fait en général appel au modèle à quatre étapes (génération, distribution, répartition modale et affectation), malgré des avancées théoriques considérables dans le domaine.Cette persistance s'explique par une facilité relative de mise en œuvre, liée notamment à la forme des données disponibles et susceptibles d'alimenter les modèles. Cependant, la nature statique de l'approche pose des interrogations quant à sa pertinence pour faire des prévisions de moyen-long terme. Cette thèse étudie, la validité de l'hypothèse de stabilité temporelle des trois premières étapes du modèle de prévision. Pour ce faire, en prenant l'agglomération lyonnaise comme terrain d'étude, nous avons codifié des réseaux routiers et de transports en commun à différentes dates (1985, 1995 et 2006). Cette donne, généralement indisponible, combinée aux enquêtes ménages déplacements correspondantes,nous permet de calibrer les trois premières étapes du modèle traditionnel et de tester leur capacité prédictive. Pour les modèles de génération, on note des prévisions acceptables à un horizon de 10 ans. À 20 ans, certaines évolutions dans les styles de vie se sont traduites paru ne baisse du nombre moyen de sorties pour le motif travail, que les modèles traditionnels ne permettent pas de prévoir complètement. Au niveau de la distribution, l'allongement des distances entre lieux de réalisation de certaines activités et le lieu de domicile peut être relativement bien reproduit par des modèles gravitaires avec des paramètres stables dans le temps. Au niveau de la répartition modale, les paramètres ne sont pas stables et les modèles estimés n'auraient pas permis de prévoir le regain de parts de marché des transports en commun observé ces dernières années.
|
157 |
The development of an expedient method for the synthesis of a diverse series of cyclopropane [alpha]-amino acidsWurz, Ryan P. January 2004 (has links)
Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.
|
158 |
Réponses des neurones du noyau sensoriel principal du trijumeau à la stimulation de leurs afférences primairesPastor Bernier, Alexandre January 2007 (has links)
Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal
|
159 |
Contributions à l'automatisation raisonnée de différents processus du test logicielDu Bousquet, Lydie 03 November 2010 (has links) (PDF)
Le test constitue aujourd'hui la principale activité de validation d'un logiciel. Dans un contexte où l'on cherche à réduire les coûts et augmenter la qualité, il est essentiel de proposer des solutions de test automatisées et de veiller à la productivité des ingénieurs de test. Les travaux présentés dans ce mémoire ont l'ambition de contribuer à ces objectifs. Ces travaux se déclinent selon trois axes. Le premier axe concerne la génération de tests. L'originalité du travail se situe dans l'établissement de principes pour la production combinatoire de suites de test, à partir d'expressions abstraites. Ces principes ont été implantés dans un outil appelé Tobias. Lorsque de grandes suites de test sont produites, il est important d'automatiser l'oracle des tests. Un deuxième axe vise à évaluer l'utililisabilité des assertions pour établir le verdict des tests pour des applications domotiques. Les résultats montrent que les assertions sont effectivement utilisables, mais que l'exécution de ces applications dans un environnement réel non complètement contrôlable ou observable peut conduire en l'émission de verdicts biaisés. Ainsi, l'automatisation de la génération et de l'oracle permet de réduire le coût de la phase de test. Mais, pour réduire le coût du test, il est aussi important de considérer les facteurs internes au logiciel relatifs à la testabilité. De nombreuses métriques ont été proposées pour prédire et estimer la testabilité d'un système. Un troisième axe de recherche concerne l'évaluation la validation expérimentale de ces métriques. Les résultats des expérimentations démontrent que les métriques étudiées ne sont pas directement utilisables pour prédire le coût du test.
|
160 |
De la modélisation littérale à la simulation numérique certifiéePapegay, Yves 22 June 2012 (has links) (PDF)
Ce mémoire, a pour objet de présenter une synthèse de mes travaux de recherche et de les mettre en perspective avec l'objectif général de la conception et du développement d'un environnement logiciel pour la modélisation et la simulation. Ils sont présentés selon trois axes thématiques : - bien modéliser pour mieux simuler, - calculer efficacement, précisément et juste, - générer un code de calcul dédié. Un dernier chapitre, plus technique, présente les contours et les fonctionnalités de cet environnement logiciel intégré pour la modélisation et la simulation, dont la conception a été le cadre général et le fil conducteur de l'essentiel de mes travaux.
|
Page generated in 1.2448 seconds