Documents disponibles chez cet éditeur

Matrices et fonctions en logique symbolique / Sanchez, Elie 

Public ISBD Titre : Matrices et fonctions en logique symbolique Type de document : texte imprimé Auteurs : Sanchez, Elie, Auteur ; Beaufils, R., Directeur de thèse Editeur : Université d'Aix-Marseille II Année de publication : 1972 Importance : 104 f. Format : 27 cm. Note générale : Thèse d’État : Mathématiques Appliquées : Marseille, Université d'Aix-Marseille II : 1972 Annexe f. 105 - 113 . Bibliogr. [1] f Langues : Français (fre) Mots-clés : Matrices  ;  Logique  symbolique  ;  Anneaux  --  Boole  Minterms  ;  Matrices  booléennes  ;  Fonctions  booléennes  ;  Équations  matricielles  ;  Logique  ternaire Index. décimale : D000972 Résumé : C'est à la suite des travaux de R.S. sur l'interprétation du calcul propositionnel à la Biologie et à la Médecine, que nous avons orienté notre application. Le premier chapitre est consacré aux anneaux de Boole, aux algébres d'ensemble et à leur atomicité, au corps de Boole; les fonctions caractéristiques, fondamentales au chapitre suivant, y sont introduites. Le second chapitre est relatif à l'étude des minterms que nous définisons sur des anneaux de Boole quelconques, pour retrouver les propriétés classiques sur les anneaux de Boole finis. Nous y trouvons différentes formes du théorème de SHANNON relatives à la décomposition des fonctions booléennes suivant des minterms. Le troisième chapitre introduit les modules et espaces vectoriels booléens; ces derniers seront normés au cinquième chapitre. Nous y énonçons surtout des théorèmes sur la dimension des modules booléens en y faisant intervenir des bases adéquates. Après cette mise en place de quelques structures booléennes, nous abordons au quatrième chapitre la résoltuion d'équations matricielles booléennes. Le cinquième chapitre aborde en un premier temps la représentation des fonctions booléennes, puis la décomposition des fonctions booléennes (l'étude des travaux de E.PANDEFF y est reprise), puis la simplification des fonctions booléennes, enfin la factorisation des fonctions booléennes suivant des fonctions données. Les solutions antécédentes et conséquentes nous permettent de rejoindre la décomposition des fonctions booléennes par le biais d'une étude matricielle telle qu'elle est exposés par R.S.LEDLEY. Il nous paraît intéressant de signaler l'ouvrage sur la logique à seuil, où sont traitées des décompositions de fonctions booléennes avec des points "don't care" qui introduisent une valeur supplémentaire au corps de Boole. Inspiré par les travaux de R.S.LEDLEY le sixième chapitre reprend dans une logique ternaire, d'une manière analogue au quatrième chapitre, l'étude faite sur les résolution d'équations matricielles booléennes; grâce à l'introduction d'une nouvelle opération matricielle, pratiquement tous les théorèmes s'y retrouvent. Avec les mêmes sources qu'au chapitre précédent, le septième chapitre traite la résolution d'équations matricielles à opération quelconque en logique de POST à m + 1 valeurs. En interprétant -dans le cadre d'une spécialité médicale donnée- les signes (ou syndromes), les diagnostics (ou groupement de diagnostics) comme des variables booléennes, il est possible de traduire un certain aspect de la "connaissance médicale" en termes de fonctions booléennes. Décomposer ou factoriser ces fonctions en séparant signes et diagnostics, peut alors constituer une première approche de l'assistance à l'acte médical, c'est ce que nous illustrons dans un exemple d'application au domaine médical. Matrices et fonctions en logique symbolique [texte imprimé] / Sanchez, Elie, Auteur ; Beaufils, R., Directeur de thèse . - [S.l.] : Université d'Aix-Marseille II, 1972 . - 104 f. ; 27 cm. Thèse d’État : Mathématiques Appliquées : Marseille, Université d'Aix-Marseille II : 1972 Annexe f. 105 - 113 . Bibliogr. [1] f Langues : Français (fre) Mots-clés : Matrices  ;  Logique  symbolique  ;  Anneaux  --  Boole  Minterms  ;  Matrices  booléennes  ;  Fonctions  booléennes  ;  Équations  matricielles  ;  Logique  ternaire Index. décimale : D000972 Résumé : C'est à la suite des travaux de R.S. sur l'interprétation du calcul propositionnel à la Biologie et à la Médecine, que nous avons orienté notre application. Le premier chapitre est consacré aux anneaux de Boole, aux algébres d'ensemble et à leur atomicité, au corps de Boole; les fonctions caractéristiques, fondamentales au chapitre suivant, y sont introduites. Le second chapitre est relatif à l'étude des minterms que nous définisons sur des anneaux de Boole quelconques, pour retrouver les propriétés classiques sur les anneaux de Boole finis. Nous y trouvons différentes formes du théorème de SHANNON relatives à la décomposition des fonctions booléennes suivant des minterms. Le troisième chapitre introduit les modules et espaces vectoriels booléens; ces derniers seront normés au cinquième chapitre. Nous y énonçons surtout des théorèmes sur la dimension des modules booléens en y faisant intervenir des bases adéquates. Après cette mise en place de quelques structures booléennes, nous abordons au quatrième chapitre la résoltuion d'équations matricielles booléennes. Le cinquième chapitre aborde en un premier temps la représentation des fonctions booléennes, puis la décomposition des fonctions booléennes (l'étude des travaux de E.PANDEFF y est reprise), puis la simplification des fonctions booléennes, enfin la factorisation des fonctions booléennes suivant des fonctions données. Les solutions antécédentes et conséquentes nous permettent de rejoindre la décomposition des fonctions booléennes par le biais d'une étude matricielle telle qu'elle est exposés par R.S.LEDLEY. Il nous paraît intéressant de signaler l'ouvrage sur la logique à seuil, où sont traitées des décompositions de fonctions booléennes avec des points "don't care" qui introduisent une valeur supplémentaire au corps de Boole. Inspiré par les travaux de R.S.LEDLEY le sixième chapitre reprend dans une logique ternaire, d'une manière analogue au quatrième chapitre, l'étude faite sur les résolution d'équations matricielles booléennes; grâce à l'introduction d'une nouvelle opération matricielle, pratiquement tous les théorèmes s'y retrouvent. Avec les mêmes sources qu'au chapitre précédent, le septième chapitre traite la résolution d'équations matricielles à opération quelconque en logique de POST à m + 1 valeurs. En interprétant -dans le cadre d'une spécialité médicale donnée- les signes (ou syndromes), les diagnostics (ou groupement de diagnostics) comme des variables booléennes, il est possible de traduire un certain aspect de la "connaissance médicale" en termes de fonctions booléennes. Décomposer ou factoriser ces fonctions en séparant signes et diagnostics, peut alors constituer une première approche de l'assistance à l'acte médical, c'est ce que nous illustrons dans un exemple d'application au domaine médical.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Spécialité	Etat_Exemplaire
D000972	D000972	Papier	Bibliothèque centrale	Thèse de Doctorat	Disponible

Documents numériques

SANCHEZ.Elie.pdf URL

Cinétiques des premiers stades de la nitruration thermique directe de Si (100) et des films minces de SiO₂ par l'ammoniac / Djaffar Saidi 

Public ISBD Titre : Cinétiques des premiers stades de la nitruration thermique directe de Si (100) et des films minces de SiO₂ par l'ammoniac Type de document : texte imprimé Auteurs : Djaffar Saidi, Auteur ; A. Glachant, Directeur de thèse Editeur : Université d'Aix-Marseille II Année de publication : 1985 Importance : 112 f. Présentation : ill. Format : 27 cm. Note générale : Thèse de Doctorat : Sciences des Matériaux : Marseille, Université d'Aix-Marseille II : 1985 Bibliogr. f. 113 - 115 Langues : Français (fre) Mots-clés : Spectroscopie  Auger Diffraction  --  électrons  lents Spectrométrie  --  masse Bombardement  ionique Cinétiques  --  croissance  de  films  minces  sur  Si(100) Formation  --  oxynitrure  --  surface Index. décimale : D006185 Résumé : Dans la première partie de ce mémoire (chapitre III), nous avons reporté les résultats concernant l'étude de la cinétique des premiers stades de croissance de films minces (20 A°) de nitrure par réaction chimique du silicium Si (100) avec l'ammoniac. On a montré que: - A hautes températures (T > 8000°C), la croissance de films minces de nitrure de silicium se fait couche après couche. La vitesse de croissance de la première couche est relativement faible et dépend de la pression et de la température (une molécule de NH₃ sur cent contribue réellement à la croissance du film). Après le state de la première couche, la vitesse de croissance est limitée par la diffusion des espèces réagissantes à travers la couche déjà formée. L'interface film/Si(100) est abrupt (absence de nitrures intermédiaires). On a essayé d'adapter le modèle théorique de croissance de films minces de J. F. Delord au cas des films minces de nitrure sur silicium: l'accord avec l'expérience est qualitativement bon, mais les valeurs de la mobilité et du coefficient de diffusion des espèces réagissantes ne sont pas satisfaisantes, l'amélioration du modèle est en cours. - A basses températures (T < 600°C), la vitesse de croissance est limitée par un taux de dissociation et/ou un coefficient de collage de NH₃ presque négligeable et une faible mobilité des espèces réagissantes (en particulier à la température ambiante). La vitesse de croissance à la température ambiante est activée par le bombardement électronique de la surface en présence de NH₃; ce bombardement a pour effet de provoquer la dissociation de NH₃ et l'ionisation de la couche K de l'azote. Dans la deuxième partie (chapitre IV) qui concerne la nitruration de SiO₂ par NH₃, on a obtenu quelques résultats préliminaires qui peuvent être résumés de la façon suivante: - Nous avons mis en évidence un pic Auger caractéristique d'un oxynitrure de surface. - L'espèce nitrurante migre facilement à travers SiO₂ vers l'interface SiO₂/Si(100) où elle réagit préférentiellement. - La nitruration de SiO₂ à hautes températures pendant des temps très courts semble favoriser la création d'un oxynitrure de surface riche en azote, qui empêche par la suite l'azote de diffuser vers l'interface SiO₂/Si(100). Cinétiques des premiers stades de la nitruration thermique directe de Si (100) et des films minces de SiO₂ par l'ammoniac [texte imprimé] / Djaffar Saidi, Auteur ; A. Glachant, Directeur de thèse . - [S.l.] : Université d'Aix-Marseille II, 1985 . - 112 f. : ill. ; 27 cm. Thèse de Doctorat : Sciences des Matériaux : Marseille, Université d'Aix-Marseille II : 1985 Bibliogr. f. 113 - 115 Langues : Français (fre) Mots-clés : Spectroscopie  Auger Diffraction  --  électrons  lents Spectrométrie  --  masse Bombardement  ionique Cinétiques  --  croissance  de  films  minces  sur  Si(100) Formation  --  oxynitrure  --  surface Index. décimale : D006185 Résumé : Dans la première partie de ce mémoire (chapitre III), nous avons reporté les résultats concernant l'étude de la cinétique des premiers stades de croissance de films minces (20 A°) de nitrure par réaction chimique du silicium Si (100) avec l'ammoniac. On a montré que: - A hautes températures (T > 8000°C), la croissance de films minces de nitrure de silicium se fait couche après couche. La vitesse de croissance de la première couche est relativement faible et dépend de la pression et de la température (une molécule de NH₃ sur cent contribue réellement à la croissance du film). Après le state de la première couche, la vitesse de croissance est limitée par la diffusion des espèces réagissantes à travers la couche déjà formée. L'interface film/Si(100) est abrupt (absence de nitrures intermédiaires). On a essayé d'adapter le modèle théorique de croissance de films minces de J. F. Delord au cas des films minces de nitrure sur silicium: l'accord avec l'expérience est qualitativement bon, mais les valeurs de la mobilité et du coefficient de diffusion des espèces réagissantes ne sont pas satisfaisantes, l'amélioration du modèle est en cours. - A basses températures (T < 600°C), la vitesse de croissance est limitée par un taux de dissociation et/ou un coefficient de collage de NH₃ presque négligeable et une faible mobilité des espèces réagissantes (en particulier à la température ambiante). La vitesse de croissance à la température ambiante est activée par le bombardement électronique de la surface en présence de NH₃; ce bombardement a pour effet de provoquer la dissociation de NH₃ et l'ionisation de la couche K de l'azote. Dans la deuxième partie (chapitre IV) qui concerne la nitruration de SiO₂ par NH₃, on a obtenu quelques résultats préliminaires qui peuvent être résumés de la façon suivante: - Nous avons mis en évidence un pic Auger caractéristique d'un oxynitrure de surface. - L'espèce nitrurante migre facilement à travers SiO₂ vers l'interface SiO₂/Si(100) où elle réagit préférentiellement. - La nitruration de SiO₂ à hautes températures pendant des temps très courts semble favoriser la création d'un oxynitrure de surface riche en azote, qui empêche par la suite l'azote de diffuser vers l'interface SiO₂/Si(100).

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Spécialité	Etat_Exemplaire
D006185	D006185	Papier	Bibliothèque centrale	Thèse de Doctorat	Disponible

Documents numériques

SAIDI.Djaffar.pdf URL