Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

commissariat a l x27 energie atomique

? CEA-R- COMMISSARIAT A L'ENERGIE ATOMIQUE F ETUDE D'UN LANGAGE ET REALISATION D'UN SYSTEME DE SIMULATION NUMERIQUE MUNI D'UNE DERIVATION FORMELLE APPLICATIONS AUX REACTEURS NUCLEAIRES AU LANGAGE-COMMANDE ET AUX RESEAUX ELECTRONIQUES par Michel NAKHLE Centre d'Etudes Nucléaires de Saclay Rapport CEA-R- M B HB C E N - SACLAY B P n - GIF-sur-YVETTE ? France SERVICE DE DOCUMENTATION Ni PLAN DE CLASSIFICATION DES RAPPORTS ET BIBLIOGRAPHIES CEA Classification du système international de documentation nucléaire SIDON INIS A II Physique théorique A Physique atomique et moléculaire A Physique de l'état condensé A Physique des plasmas et réactions thermonucléaires A Astrophysique cosmologie et rayonnements cosmiques A Conversion directe d'énergie A Physique des basses températures A Physique des hautes énergies A Physique neutronique et physique nucléaire B Analyse chimique et isotopique B Chimie minérale chimie organique et physico-chimie B Radiochimie et chimie nucléaire B Chimie sous rayonnement B Corrosion B Traitement du combustible B Métaux et alliages production et fabrication B Métaux et alliages structure i propriétés physiques B Céramiques et cermets B Matières plastiques et autres matériaux B Effets des rayonnements sur les propriétés physiques des matériaux B Sciences de la terre C Action de l'irradiation externe en biologie C Action des radioisotopes et leur cinétique C Utilisation des traceurs dans les sciences de la vie C Sciences de la vie autres études C Radioprotection et environnement D Isotopes et sources de rayonnements D Applications des isotopes et des rayonnements Thermodynamique et mécanique des fluides Cryogénie Installations pilotes et laboratoires Explosions nucléaires Installations pour manipulation de matériaux radioactifs Accélérateurs Essais des matériaux Réacteurs nucléaires en général Réacteurs nucléaires types Instrumentation Effluents et déchets radioactifs Economie Législation nucléaire Documentation nucléaire Sauvegarde et contrôle Méthodes mathématiques et codes de calcul Divers E E E E E E E E E JO E E SO F F F F F F Rapport CEA-R- Cote-matière de ce rapport F DESCRIPTION-MATIERi Imots clefs exu iits du thesaurus SIDON INIS en français LANGAGES DE PROGRAMMATION TRAITEMENT DE L'INFORMATION INFORMATION CODES POUR ORDINATEURS LANGAGE PLI EQUATIONS DE CINETIQUE DE REACTEUR GENERATEURS DE VAPEUR en anglais PROGRAMMING LANGUAGES DATA PROCESSING INFORMATION COMPUTER CODES PLI LANGUAGE REACTOR KINETICS EQUATIONS VAPOR GENERATORS ORSAY N d'ordre THESE PRESENTEE A L'UNIVERSITE DE PARIS-SUD CENTRE D'ORSAY POUR OBTENIR LE GRADE DE DOCTEUR ES SCIENCES INFORMATIQUE Michel NAKHLE ETUDE D'UN LANGAGE ET REALISATION D'UN SYSTEME DE SIMULATION NUMERIQUE MUNI D'UNE DERIVATION FORMELLE APPLICATIONS AUX REACTEURS NUCLEAIRES AU LANGAGE-COMMANDE ET AUX RESEAUX ELECTRONIQUES Soutenus le février devant la Commission d'Examen MM L MALAVARD Président P A Y B J J DEBRAINE LAPLACE MONSEF PICINBONO POTTIER VIGNES Examinateurs A BONNEMAY Mambre invité II' - Rapport CEA-R- - Centre d'Etudes Nucléaires de Saday Services d'Electronique de Saclay ETUDE D'UN LANGAGE ET REALISATION D'UN SYSTEME DE SIMULATION NUMERIQUE MUNI D'UNE DERIVATION FORMELLE APPLICATIONS AUX REACTEURS NUCLEAIRES AU LANGAGE OMMANDE ET AUX RESEAUX ELECTRONIQUES par Michel NAKHLE - Juin - I Je remercie vivement Monsieur le Professeur L A LA VA BD de n'avoir faiz l'hon ? neur de présider