Th.--Sci. phys.--Lille 1, 1977. N°: 390.

Th. doct.-ing.--Génie chimique--Toulouse--I.N.P., 1983. N°: 288.

Th. 3e cycle--Math.--Besançon, 1982. N°: 383.

Thèses (M.Sc.)--Université de Sherbrooke (Canada), 1997. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.

Th. Univ.--Métallurgie--Paris 6, 1989. / Bibliogr. p. 127-130.

reproduction de : Thèse de doctorat : Physique : Metz : 2008. / Titre provenant de l'écran-titre. Notes bibliographiques. Index.

Thèse de doctorat : Physique et Chimie de la Matière et des Matériaux : Nancy 1 : 2008. / Titre provenant de l'écran-titre.

Les travaux présentés dans ce mémoire sont motivés principalement par le désir de comprendre l'influence de différents paramètres de la structure moléculaire de mésogènes au niveau de la détermination du polymorphisme liquide cristallin, plus particulièrement ceux qui favorisent l'émergence de la phase SmC. La phase SmC est une phase liquide cristalline particulièrement intéressante. Les chercheurs s'y intéressent pour son possible potentiel à générer un matériau avec des propriétés en optique non-linéaire. Les mésogènes qui y sont étudiés comportent un sulfinate d'ester et un éther en périphérie d'un corps rigide possédant trois cycles aromatiques. Deux de ces cycles sont pontés d'un ester qui possèdera un carbonyle soit parallèle ou antiparallèle au sulfinyle du sulfinate d'ester. En 2006 au laboratoire, la stabilisation de la phase SmC a été observée pour une orientation antiparallèle de cet ester au sein de mésogènes comportant un ester en périphérie du corps rigide. La simulation atomistique a permis de comprendre cet effet en termes d'une étude des potentiels électrostatiques à longue portée. Dans cette étude, il a été démontré qu'un fort potentiel électrostatique obtenu par simulation était corrélé avec la présence expérimentale de la phase SmC au sein d'une série de diagrammes de phases. Au moment de confronter ce modèle de simulation atomistique au polymorphisme liquide cristallin d'une série de mésogènes comportant un sulfinate d'ester, les résultats ne se sont pas avérés concluant. La simulation prévoyait une phase SmC pour l'orientation de l'ester central antiparallèle au sulfinate d'ester tandis qu'expérimentalement le contraire était obtenu. Dans le cadre de ce mémoire, cette famille de mésogène a été étudiée par l'entremise de diagrammes de phases binaire et comparés systématiquement la simulation ainsi qu'aux résultats expérimentaux obtenus pour la série comportant un ester périphérique. À toute fin pratique, ces travaux ont permis de réaliser que l'influence de la variation des paramètres structuraux sur la stabilisation thermique de la phase SmC est indépendante de la nature du groupement terminal ester ou sulfinate d'ester à quelques différences près. La corrélation entre la simulation atomistique et l'effet de l'orientation de l'ester central sur l'émergence de la phase SmC a pu être faite levant ainsi l'ambiguïté qui perdurait depuis 2006.

Cette thèse propose un nouveau type de systèmes de ré-écriture, appelé les systèmes de réécriture fonctionnels. Nous montrons que notre modèle a la puissance d'expression des systèmes de ré-écriture et qu'il est bien adapté à l'étude de propriétés de sûreté et de propriétés de logique temporelle de modèles.Nous avons mis en évidence une sous classe de systèmes fonctionnels, les élémentaires et les élémentaires à droite, préservant la puissance d'expression des systèmes fonctionnels et des techniques d'accélération des calculs aboutissant à un outil de vérification symbolique efficace.Dans la partie expérimentale, nous avons comparé notre outil, d'une part avec des outils de ré-écriture tels que Timbuk, Maude et TOM, d'autre part avec des outils de vérification tels que SPIN, NuSMV, SMART, HSDD. Nos benchmarks démontrent l'efficacité des systèmes fonctionnels élémentaires pour la vérification de modèles.

La RI personnalisée est une direction de recherche qui permet la mise en oeuvre de systèmes d'accès à l'information centrés utilisateurs, non dans le sens d'un utilisateur générique mais d'un utilisateur spécifique et ce, en vue d'adapter son fonctionnement à son contexte précis. L'objet de cette thèse est de proposer un modèle formel capable d'intégrer l'utilisateur dans le processus d'accès à l'information. Nous avons orienté nos travaux vers l'utilisation des diagrammes d'influence comme support théorique nous permettant de formaliser l'utilité des décisions associées à la pertinence des documents compte tenu de la requête et du pro- fil de l'utilisateur. L'idée de base est de substituer à la fonction de pertinence classique qui mesure le degré d'appariement requête-document une fonction intégrant l'utilisateur. Dans notre approche, le profil utilisateur comprend ses centres d'intérêt à court terme et long terme. Le profil repose sur une représentation à deux dimensions corrélées : historique des interactions et centres d'intérêts. Le processus de définition du profil est fondé sur l'interaction des phases de construction et d'évolution. Plus précisément, le profil est construit et évolue à partir des informations collectées sur les documents jugés implicitement ou explicitement pertinents lors des interactions de l'utilisateur avec un SRI. Nous utilisons pour cela un opérateur d'agrégation d'informations ainsi qu'une méthode statistique qui permet de scruter le changement dans les centres d'intérêt de l'utilisateur, au cours du temps. N'ayant pas de cadre standard d'évaluation, nous proposons un cadre d'évaluation adapté à l'accès personnalisé à l'information en augmentant les collections de la campagne TREC par des profils utilisateurs simulés. Nous validons notre contribution par comparaison au modèle de recherche Bayésien classique.