WorldCat Identities

Université de Nancy I.

Overview
Works: 8,278 works in 9,936 publications in 1 language and 14,483 library holdings
Genres: Academic theses 
Roles: Degree grantor, Other, Organizer of meeting, Editor, Publishing director, 985
Classifications: QE431.6.P6, 500
Publication Timeline
.
Most widely held works by Université de Nancy I.
24ème congrès National d'Analyse Numérique 25-28 Mai 1992, Vittel, Palais des congrès [et] Club Méditerranée by Congrès national d'analyse numérique( Book )

1 edition published in 1992 in French and held by 15 WorldCat member libraries worldwide

Étude et classification des bigrammaires : applications à l'étude des systèmes transformationnels by Pierre Marchand( )

1 edition published in 1974 in French and held by 11 WorldCat member libraries worldwide

"Le but de ce travail était primitivement de faciliter l'étude de la sémantique des langages de programmation en étudiant des règles d'équivalence permettant de réduire un langage évolué et complexe en un langage noyau [...]. Après avoir développé les quelques idées qui sont sousjacentes à ce travail, nous pouvons maintenant indiquer un plan commenté et un résumé des résultats obtenus. Le chapitre 0 est consacré à des rappels sur les notions de langage, grammaire, bilangage et treillis. Dans le chapitre 1, on introduit la notion de polynôme qui est fondamentale pour la suite. Ces polynômes serviront à la fois pour décrire les productions d'une bigrammaire et les transformations des systèmes transformationnels. Dans le chapitre 2, nous donnons les définitions concernant les bigrammaires et des propositions élémentaires et générales à propos de l'utilisation de ces bigrammaires. Le chapitre 3 contient diverses généralisations aux bigrammaires de la notion de grammaire algébrique. Nous introduisons trois types de bigrammaires : les bigrammaires à contexte libre de degré zéro, les bigrammaires régulières et les bigrammaires à contexte libre de degré un. Dans chacun de ces cas on étudie les bilangages engendrés et les différents langages associés à ces bilangages (langage des mots racines, langages des mots de feuilles, langages des chemins). Pour ces trois types de bigrammaires, on montre l'existence de systèmes à point fixe associés dont les solutions minimales coïncident avec les bilangages engendrés par les bigrammaires. Dans le cas des bigrammaires régulières, on montre que les bilangages engendrés sont les bilangages réguliers déjà étudiés par d'autres méthodes. Une nouvelle caractérisation algébrique de ces bilangages réguliers permet de montrer que l'intersection d'un bilangage régulier et d'un bilangage engendré par une bigrammaire à contexte libre. Une généralisation aux bilangages engendrés par les bigrammaires à contexte libre de degré un du théorème des paires itérantes donne une idée précise de la puissance de ces bigrammaires et permet en particulier de montrer que ces bigrammaires ne sont pas aussi puissantes que les grammaires contextuelles. Le chapitre 4 aborde l'étude des bigrammaires contextuelles et strictement contextuelles. Ces bigrammaires sont une généralisation des grammaires contextuelles. Cette étude est surtout faite en vue de son application au chapitre 5. C'est pourquoi on étudie les langages engendrés par ces grammaires en imposant des conditions restrictives aux productions de façon qu'elles puissent être utilisées dans les systèmes transformationnels contrôlés. Malgré cela on montre que les langages engendrés gardent un grand caractère de généralité. En particulier pour les bigrammaires contextuelles onn montre que les langages engendrés avec ces restrictions sont tous les langages récursivement énumérables bien que les bilangages engendrés par de telles grammaires restent décidables. Dans le chapitre 5, on définit le concept de système transformationnel et on applique les résultats obtenus dans les paragraphes précédents. En particulier on utilise le résultat concernant l'intersection d'un bilangage régulier et d'un bilangage engendré par une grammaire à contexte libre, pour démontrer des résultats de décidabilité à propos des systèmes transformationnels dont les transformations sont du même type que les productions des bigrammaires à contexte libre. Les résultats du chapitre 4 nous permettent de démontrer que les problèmes de traduction sont indécidables même si on impose des conditions assez fortes sur les transformationels particuliers où l'on peut lever l'indécidabilité des problèmes posés."
Etude géologique de la bordure des Mogods du pays de Bizerte et du Nord des Hédil (Tunisie septentrionale) by Norbert Crampon( )

1 edition published in 1971 in French and held by 10 WorldCat member libraries worldwide

"Le plan de l'ouvrage a été conçu en trois parties. La première correspond essentiellement à l'étude stratigraphique et à des essais de reconstitution paléogéographique, la seconde portera sur le complexe salifère et la troisième sera consacrée à l'étude structurale régionale. Bien qu'ils aient été à l'origine de ce travail, les problèmes miniers et métallogéniques n'ont pas été repris dans le cadre de cette étude, afin de ne paas l'alourdir démesurément."
Optimisation stochastique dans un espace de Hilbert et analyse fonctionnelle by Jean-Pierre Bertran( )

1 edition published in 1975 in French and held by 9 WorldCat member libraries worldwide

Le cadre fonctionnel envisagé permet d'étudier des problèmes de contrôle et d'identification dans les systèmes gouvernés pour des équations aux derivées partielles. Pour traiter d'un point de vue stochastique les problèmes d'optimisation sans contrainte, on envisage trois grands types de méthodes : les méthodes de gradient avec projection, les méthodes de pénalisation, les méthodes de dualité
Contribution à l'étude de l'humus marin et de ses relations avec les kérogènes by A. Y Huc( )

1 edition published in 1973 in French and held by 9 WorldCat member libraries worldwide

"Dans le cadre de ce travail, en nous servant des méthodes utilisées en pédologie et géochimie organique des dépôts anciens, nous avons abordés l'étude de la matière organique des sédiments marins récents dans trois optiques différentes. Caractérisation, à l'aide de techniques simples, des composés humiques sous-marins, destiné à les comparer à ceux des sols terrestres, et aussi à tenter de définir des critères de classification des échantillons entre eux. Etude des mécanismes de l'évolution précoce de ces composés dans les premiers mètres du sédiment ; phénomène que l'on pourrait assimiler à l'étude de l'humification des résidus naturels, incorporés dans les sols, au cours de pédogenèses actuelles. Dans le cas de sédiments marins, cette investigation rencontre des conditions extrêmement favorables, car les différents stades de l'évolution peuvent se suivre le long d'une même carotte en fonction de leur enfouissement. Cela évite, en particulier, les phénomènes de surimposition des pédogénèses que l'on peut observer dans des sols ayant suivi des évolutions polycycliques. Recherche des liens génétiques entre une matière organique n'ayant pas encore subi les contraintes physicochimiques de la lithification, et un kérogène ayant des aptitudes plus ou moins grandes à fournir des hydrocarbures."
Représentation d'une série sédimentaire par un modèle probabiliste application aux processus d'Ambarzoumian et étude de la structure de Chemery by Paul Joathon( Book )

1 edition published in 1971 in French and held by 9 WorldCat member libraries worldwide

Couverts forestiers et facteurs du climat leurs interactions, conséquences écophysiologiques chez quelques résineux by Gilbert Aussenac( Book )

1 edition published in 1975 in French and held by 8 WorldCat member libraries worldwide

Étude de l'influence modificatrice du couvert forestier sur le climat (température, eau) : le microclimat forestier. Action du microclimat sur la croissance et le développement des jeunes arbres. Conséquences pratiques de la connaissance des interactions forêt-climat pour l'exploitation et l'aménagement du milieu naturel
Méthode d'optimisation par interpolation de la fonction objectif application à un problème de contrôle optimal by Van Tuan Nguyen( Book )

1 edition published in 1973 in French and held by 8 WorldCat member libraries worldwide

Il s'agit de déterminer un optimum local d'une fonction réelle. En ce qui concerne le cas sans contrainte, il existe principalement deux familles de méthodes: la première est celle des méthodes d'approximation du premier ordre dont les principales sont celles du gradient et ses variantes et la seconde est celle des méthodes d'approximation du second ordre. On étudie deux techniques susceptibles d'améliorer les méthodes de la seconde famille: méthode de quadratisation par interpolation et méthode de quadratisation partielle. On applique cette derniere méthode à la recherche d'un optimum sans contraintes. On donne deux exemples d'application aux problèmes de commande optimale
Phosphures ternaires de lithium : polyphosphures by Abdallah el Maslout( )

1 edition published in 1974 in French and held by 8 WorldCat member libraries worldwide

"A la suite des recherches effectuées dans le laboratoire sur les nitrures ternaires à caractère salin, une extension était indiquée sur les composés ternaires avec d'autres éléments de la colonne V (P et Sb notamment). Le présent travail s'intéresse, en particulier, aux phosphures ternaires à caractère ionique. Les travaux de Juza ont montré l'existence de nombreuses combinaisons ternaires entre le lithium, le phosphore et divers métaux. La structure antifluorine est de règle dans ces composés où le caractère salin de Li₃P est conservé. En cherchant à étendre cette série, nous nous sommes plus particulièrement attachés aux composés dont la structure appartient à l'antifluorine ou en dérivé : par déformation du réseau, par remplissage des sites cationiques vacants. Ainsi, nous avons d'abord montré que l'étain et le cadmium pouvaient conduire à deux phosphures ternaires de lithium: Li₅SnP₃ et LiCdP, de structure antilfuorine, avec répartition statistique des cations pour le premier et répartition ordonnée pour le second. La première partie de ce travail sera donc consacrée à l'étude de ces composés. Avec le béryllium, nous avons obtenu un composé LiBeP où une déformation quadratique de la structure antifluorine apparaît. Par ailleurs, au cours de l'étude de LiBep, nous avons été amenés à déterminer la structure du binaire dont il procède : Be₃P₂. Aussi l'étude de ces deux phosphures constitue-t-elle la seconde partie de ce travail. D'autre part, après avoir montré dans le cas des ternaires avec l'étain qu'un excès de lithium s'introduit dans les sites octaédriques vacants de l'antifluorine, en même temps que les cations tétraédriques s'ordonnent, nous avons fait appel à la spéctrométrie Mössbauer et à la RMN du solide afin de compléter l'étude cristallographique de cet arrangement ordonné, et d'obtenir des indications sur la nature des liaisons dans ces phases non stoechiométriques de formule Li₈SnP₄ [barre au-dessus] et Li₉Sn₀,₇₅P₄ [barre au-dessus]. Dans le cas des éléments des terres rares tétravalents nous avons mis en évidence un nouveau type de combinaison ternaire. Ces composés de formule Li₂LnP₂ ont pu être préparés avec le cérium et le praséodyme. Ils cristallisent dans un système type La₂O₃ et peuvent être encore rattachés à l'antifluorine. Nous avons enfin étudié les réactions des divers phosphures préparés avec la vapeur de phosphore. Nous avons constaté que dans la plupart des cas il n'était pas possible d'incorporer du phosphore dans le réseau des divers combinaisons ternaires. En particulier, en ce qui concerne les phosphures de lithium et d'un métal divalent, la réaction avec le phosphure conduit à des polyphosphures binaires. Nous avons mis ainsi en évidence deux composés nouveaux : BeP₂ et MgP₄ dont l'étude constitue la dernière partie de ce travail."
Étude théorique et expérimentale des grandeurs d'excès gE et hE de mélanges de liquides organiques by Jean-Louis Gustin( )

in French and held by 7 WorldCat member libraries worldwide

"Ce mémoire est constitué d'une étude théorique et d'une étude expérimentale dont on pourrait penser qu'elles sont étrangères l'une à l'autre. Il donne au contraire l'occasion de constater l'intéraction qui existe entre les modèles et les données expérimentales. L'apparition de mesures précises conduit à recherches des modèles thermodynamiques capables de fournir une meilleure représentation de ces mesures. Inversement l'existence de ce modèle enlève tout intérêt à des détermination pléthoriques peu précises et limitées à des conditions de température ou de pression trop uniformes. Le modèle permet de sélectionner parmi les déterminations expérimentales à effectuer celles qui seront obtenues le plus facilement et celles qui apporteront le maximum d'information sur les fonctions d'excès avec le minimum d'effort de la part de l'expérimentateur. La recherche de modèles dont les paramètres peu nombreux peuvent être déterminés à l'aide d'une information expérimentale réduite permet d'alléger encore le travail expérimental mais pose, comme on le verra le problème de la qualité des mesures."
Description formelle, représentation, interrogation des informations complexes, système pivoines by Marion Créhange( )

1 edition published in 1975 in French and held by 7 WorldCat member libraries worldwide

Etude d'un générateur de programmes. Un des buts de notre étude est que l'auteur d'un système de données, aussi complexe soit-il, n'ait à fournir à l'ordinateur que des renseignements sur le genre et la représentation des informations que ce système doit traiter et que, pour chaque mise en oeuvre du système, l'utilisateur n'ait à transmettre que l'énoncé de cette mise en oeuvre
Détermination automatique des transmissivités dans un horizon aquifère isotope d'après les données piézométriques by Michel Clouet d'Orval( Book )

1 edition published in 1971 in French and held by 7 WorldCat member libraries worldwide

Étude de la nature et de la concentration des défauts créés dans les métaux par bombardement d'ions by Jean-Luc Flament( )

1 edition published in 1976 in French and held by 7 WorldCat member libraries worldwide

"Cette étude nous a permis de mettre en évidence les effets du bombardement des métaux par des particules chargées, gonflement et formation de cloques."
Documents de travaux dirigés : les lichens by E Kiffer( Book )

1 edition published in 1985 in French and held by 7 WorldCat member libraries worldwide

Contribution par simulations numériques à la théorie des effets d'irradiation dans les solides cristallins by Dang Dinh Cung( Book )

1 edition published in 1975 in French and held by 7 WorldCat member libraries worldwide

"Le but de cette thèse est d'examiner les possibilités de la simulation numérique dans l'explication et la prévision des effets d'irradiation dans un solide cristallin. La simulation numérique est une méthode utilisée fréquemment en sciences humaines et en sciences naturelles ; une autre méthode très couramment pratiquée dans ces sciences est l'analyse factorielle. Appliquée aux études de simulation, nous verrons que l'analyse factorielle permet de simplifier un problème complexe et d'orienter les recherches théoriques dans les directions les plus intéressantes."
Etude d'une équation différentielle fonctionnelle non linéaire régissant les mouvements instationnaires de fluides simples by Michel Lucius( Book )

2 editions published in 1970 in French and held by 7 WorldCat member libraries worldwide

"Le problème est envisagé selon deux points de vue : d'une part en le considérant sous l'aspect mathématique et d'autre part en regardant son origine mécanique. L'utilisation combinée des équations fondamentales de la dynamique et de la loi de comportement des fluides simples conduit à l'écriture d'une équation différentielle fonctionnelle non linéaire qui régit le mouvement considéré. Le problème mathématique étudié consiste à établir un ensemble de conditions suffisantes portant sur la fonctionnelle tangentielle de réponse du milieu pour assurer l'existence et l'unicité de la solution de cette équation qui satisfait à des conditions initiales et aux limites données. A ce propos est développée une méthode originale de résolution que l'on peut considérer comme une généralisation des méthodes d'approximations successives à des problèmes bi-dimensionnels (espace, temps). Cette méthode est exposée au début du chapitre II. L'application de ce procédé et l'utilisation de certains résultats d'analyse fonctionnelle conduit à l'existence de solutions liées à des problèmes linéaires "héréditaires" c'est-à-dire pour lesquels le passé tout entier influence sensiblement le comportement présent. Une étude générale de ces équations est développée dans la seconde moitié du chapitre II. Dans cette partie apparaissent de façon naturelle des considérations sur l'énergie dissipée par frottement interne au sein du milieu en mouvement ; à ce propos, nous avons été amené à démontrer certaines inégalités originales. Nous les retrouverons aussi dans cette seconde partie du chapitre II. Le chapitre III porte essentiellement sur l'existence et l'unicité de la solution du problème envisagé. Un ensemble d'estimations à priori permet de situer la solution dans un espace fonctionnel de type Sobolev d'ordre un. Enfin, la recherche du comportement assymptotique de la solution permet de rejoindre des résultats déjà connus pour des écoulements viscométriques stationnaires. La seconde partie de cette étude (chapitre IV) apparait comme une application de la partie théorique et porte sur la possibilité de détermination expérimentale de certaines fonctions matérielles caractéristiques du milieu considéré. Envisagé ici sous l'aspect mécanique, le problème apparait en quelque sorte comme l'inverse du problème mathématique, En effet pour ce dernier, toutes les fonctions ou fonctionnelles qui figurent dans les équations sont supposées connues. En pratique il n'en est pas ainsi, et nous avons voulu montrer comment la théorie précédemment exposée permettait de réaliser une telle détermination. Afin de montrer que la méthode de résolution du chapitre II n'était nullement liée au type de mouvement choisi nous l'avons appliqué à d'autres modes d'écoulement (plan-cône, cisaillement simple)."
Une Technique numérique de résolution d'équations de convolution : application au traitement des scintigraphies numériques by Nearkasen Chau( )

1 edition published in 1976 in French and held by 7 WorldCat member libraries worldwide

Résolution d'équations de convolution a x r = o ou r et o sont des fonctions données. Cas d'une variable : cas ou r est une fonction quelconque, cas ou r est paire. Cas de deux variables : r paire et r quelconque. On adapte la méthode au problème de lissage et de correction de résolution des scintigraphies numériques et on fait l'étude comparative de la méthode à adapter avec les autres méthodes
Étude morphologique des milieux poreux et automatisation des mesures en plaques minces by Pierre Delfiner( )

1 edition published in 1971 in French and held by 7 WorldCat member libraries worldwide

"La morphologie mathématique intéresse l'étude des roches réservoirs à double titre: par le progrès qu'elle peut apporter à la pétrographie sédimentaire en y introduisant des concepts objectifs, précis et mesurables ; par la caractérisation mathématique de la géométrie du réseau poreux, dont dépendent les grandeurs physiques essentielles du milieu réservoir : porosité, perméabilité, forces capillaires. Un exposé critique de la formule de Kozeny-Carman montre la difficulté d'expliciter les liens entre la perméabilité et cette géométrie des pores."
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.91 (from 0.68 for Étude et ... to 0.95 for Étude de ...)

Languages
French (21)