A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
37 résultat(s) recherche sur le tag 'simulation'
Affiner la recherche Interroger des sources externesConception et Réalisation du Préprocesseur Hiérarchique du Simulateur Logique et de Fautes FLOGMOS / GUILHE
Titre : Conception et Réalisation du Préprocesseur Hiérarchique du Simulateur Logique et de Fautes FLOGMOS Type de document : texte imprimé Auteurs : GUILHE, Auteur Langues : Français (fre) Tags : SIMULATION LOGIQUE TEST C.A.O. DEFAUT Index. décimale : THE Thèses de doctorat Note de contenu : LAMM 85051 Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité THE-85 / 2897 Non renseigné THESES NON CLASSES Disponible
Titre : Conception et Réalisation du Préprocesseur du Simulateur Concurrent de Fautes LOFSCATE Type de document : texte imprimé Auteurs : ALLALI, Auteur Langues : Français (fre) Tags : SIMULATION C.A.O. CIRCUIT Index. décimale : THE Thèses de doctorat Note de contenu : LAMM 87041 Conception et Réalisation du Préprocesseur du Simulateur Concurrent de Fautes LOFSCATE [texte imprimé] / ALLALI, Auteur . - [s.d.].
Langues : Français (fre)
Tags : SIMULATION C.A.O. CIRCUIT Index. décimale : THE Thèses de doctorat Note de contenu : LAMM 87041 Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité THE-87 / 3090 Non renseigné THESES NON CLASSES Disponible
Titre : Conception et Réalisation d'un Simulateur Logique et Concurrent de Fautes pour Circuits Intégrés VLSI Type de document : texte imprimé Auteurs : GUIRAUDOU, Auteur Langues : Français (fre) Tags : SIMULATION LOGIQUE TEST C.A.O. DEFAUT Index. décimale : THE Thèses de doctorat Note de contenu : LAMM 85054 Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité THE-85 / 2900 Non renseigné THESES NON CLASSES Disponible
Titre : Etude de la Faisabilité d'un Processeur Matériel Spécialisé pour la Simulation Concurrente de Fautes Type de document : texte imprimé Auteurs : MARCON, Auteur Langues : Français (fre) Tags : SIMULATION MATERIEL Index. décimale : THE Thèses de doctorat Note de contenu : LAMM 86037 Etude de la Faisabilité d'un Processeur Matériel Spécialisé pour la Simulation Concurrente de Fautes [texte imprimé] / MARCON, Auteur . - [s.d.].
Langues : Français (fre)
Tags : SIMULATION MATERIEL Index. décimale : THE Thèses de doctorat Note de contenu : LAMM 86037 Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité THE-86 / 2964 Non renseigné THESES NON CLASSES Disponible
Titre : Du Grafcet aux Réseaux de Petri (2ème Edition Revue et Augmentée) Type de document : texte imprimé Auteurs : R. DAVID, Auteur ; H. ALLA, Auteur Année de publication : 1997 Langues : Inconnue (und) Tags : SIMULATION SEQUENTIEL PETRI PARALLELISME Index. décimale : A2 A2 - Automatique Discrète - Informatique Industrielle Du Grafcet aux Réseaux de Petri (2ème Edition Revue et Augmentée) [texte imprimé] / R. DAVID, Auteur ; H. ALLA, Auteur . - 1997.
Langues : Inconnue (und)
Tags : SIMULATION SEQUENTIEL PETRI PARALLELISME Index. décimale : A2 A2 - Automatique Discrète - Informatique Industrielle Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité A2 / 3657 Papier OUVRAGES ROBOTIQUE Disponible A2 / 3657-2 Papier OUVRAGES ROBOTIQUE Disponible A2 / 3657-3 Papier OUVRAGES ROBOTIQUE Disponible
Titre : MOSLAM : Un Simulateur Logique de Fautes pour Circuits Intégrés Basé sur une Analyse Préliminaire des Chemins de Conduction Type de document : texte imprimé Auteurs : TABUSSE, Auteur Langues : Français (fre) Tags : SIMULATION LOGIQUE TEST C.A.O. DEFAUT Index. décimale : THE Thèses de doctorat Note de contenu : LAMM 85050 MOSLAM : Un Simulateur Logique de Fautes pour Circuits Intégrés Basé sur une Analyse Préliminaire des Chemins de Conduction [texte imprimé] / TABUSSE, Auteur . - [s.d.].
Langues : Français (fre)
Tags : SIMULATION LOGIQUE TEST C.A.O. DEFAUT Index. décimale : THE Thèses de doctorat Note de contenu : LAMM 85050 Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité THE-85 / 2896 Non renseigné THESES NON CLASSES Disponible
Titre : Architecture et Validation Comportementale en VHDL d'un Calculateur Parallèle Dédié à la Vision Type de document : texte imprimé Auteurs : T. COLLETTE, Auteur Année de publication : 1992 Langues : Français (fre) Tags : V.L.S.I. SIMULATION ARCHITECTURE VISION TRAITEMENT D'IMAGES DE MOYEN NIVEAU PARALLELISME RESEAU MULTIPROCESSEUR SIMULATION COMPORTEMENTALE CONCEPTION ELECTRONIQUE SIMD VHDL SYMPATI Index. décimale : THE Thèses de doctorat Note de contenu : LAMM 92031 Président du jury : BASILLE J.L. Rapporteur(s) : GALLICE J.;LANDRAULT C. Examinateur(s) : COURTOIS B.;GUYOT A.;JUVIN D.;KAISER J. Date de soutenance : 14/09/1992 Architecture et Validation Comportementale en VHDL d'un Calculateur Parallèle Dédié à la Vision [texte imprimé] / T. COLLETTE, Auteur . - 1992.
Langues : Français (fre)
Tags : V.L.S.I. SIMULATION ARCHITECTURE VISION TRAITEMENT D'IMAGES DE MOYEN NIVEAU PARALLELISME RESEAU MULTIPROCESSEUR SIMULATION COMPORTEMENTALE CONCEPTION ELECTRONIQUE SIMD VHDL SYMPATI Index. décimale : THE Thèses de doctorat Note de contenu : LAMM 92031 Président du jury : BASILLE J.L. Rapporteur(s) : GALLICE J.;LANDRAULT C. Examinateur(s) : COURTOIS B.;GUYOT A.;JUVIN D.;KAISER J. Date de soutenance : 14/09/1992 Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité THE-92 / 3625 Papier THESES MICRO-ELECTRONIQUE Disponible
Titre : L'Assemblage de Programmes au Sein de Plateformes Logicielles : Syntaxe, Sémantique et Pragmatique. Application aux Plateformes dédiées aux Simulations en Agronomie Type de document : texte imprimé Auteurs : Pierre MARTIN, Auteur Année de publication : 2009 Langues : Français (fre) Tags : INTERACTION COUPLAGE SIMULATION SYSTEMES COMPLEXES LINGUISTIQUE Index. décimale : THE Thèses de doctorat Résumé : Les systèmes envisagés par les sciences du vivant (génétique, agronomie, écologie etc.) sont pour la plupart des systèmes complexes. Depuis les années 1960, l'informatique permet aux équipes de recherche de représenter es systèmes qu'ils étudient sous la forme de programmes de simulation numérique. L'idée de réutiliser les programmes et de les assembler a donné naissance aux plateformes logicielles. Pour l'agronomie, l'enjeu des plateformes est de répondre aux questions posées par le Développement Durable impliquant durabilité écologique, viabilité économique et équité sociale. La thèse traite de questions sémantiques générées par l'assemblage de programmes. Pour notre étude, nous avons mis au point une trame d'analyse originale établie sur la base de travaux en cybernétique, ingénierie logicielle et intelligence artificielle. La trame considère les niveaux morphologique, syntaxique et sémantique des langages d'assemblage. Au travers de l'analyse d'exemples (MODCOM, OpenMI, VLE, APES, DSSAT et SEAMLESS-IF) nous montrons que les règles syntaxiques inhérentes aux langages d'assemblages limitent leur aptitude à représenter les systèmes complexes. Nous montrons aussi que l'efficience des métadonnées et ontologies, destinées à faire coïncider les entrées / sorties des programmes, dépend des aspects implicites ayant prévalu à la représentation des systèmes. Afin d'accéder à l'implicite nous proposons de décrire le contenu du programme de façon formelle. Un modèle de description a été établi à partir de la linguistique pragmatique et de travaux en morphosyntaxe. L'interrogation partielle en mode direct permet de conférer une structure de description détaillée, basée sur les sept pronoms et adverbes que propose la langue française. Ce travail débouche sur la proposition d'un langage déclaratif de description de systèmes complexes. Directeur(s) de thèse : LIBOUREL T. Co-directeur(s) de thèse : REITZ P. Rapporteur(s) : ROUSSEAUX F.;SOULE-DUPUY C. Examinateur(s) : ACUTIS M.;DURU M.;HUCHARD M.;PRINCE V. Date de soutenance : 16/12/2009 L'Assemblage de Programmes au Sein de Plateformes Logicielles : Syntaxe, Sémantique et Pragmatique. Application aux Plateformes dédiées aux Simulations en Agronomie [texte imprimé] / Pierre MARTIN, Auteur . - 2009.
Langues : Français (fre)
Tags : INTERACTION COUPLAGE SIMULATION SYSTEMES COMPLEXES LINGUISTIQUE Index. décimale : THE Thèses de doctorat Résumé : Les systèmes envisagés par les sciences du vivant (génétique, agronomie, écologie etc.) sont pour la plupart des systèmes complexes. Depuis les années 1960, l'informatique permet aux équipes de recherche de représenter es systèmes qu'ils étudient sous la forme de programmes de simulation numérique. L'idée de réutiliser les programmes et de les assembler a donné naissance aux plateformes logicielles. Pour l'agronomie, l'enjeu des plateformes est de répondre aux questions posées par le Développement Durable impliquant durabilité écologique, viabilité économique et équité sociale. La thèse traite de questions sémantiques générées par l'assemblage de programmes. Pour notre étude, nous avons mis au point une trame d'analyse originale établie sur la base de travaux en cybernétique, ingénierie logicielle et intelligence artificielle. La trame considère les niveaux morphologique, syntaxique et sémantique des langages d'assemblage. Au travers de l'analyse d'exemples (MODCOM, OpenMI, VLE, APES, DSSAT et SEAMLESS-IF) nous montrons que les règles syntaxiques inhérentes aux langages d'assemblages limitent leur aptitude à représenter les systèmes complexes. Nous montrons aussi que l'efficience des métadonnées et ontologies, destinées à faire coïncider les entrées / sorties des programmes, dépend des aspects implicites ayant prévalu à la représentation des systèmes. Afin d'accéder à l'implicite nous proposons de décrire le contenu du programme de façon formelle. Un modèle de description a été établi à partir de la linguistique pragmatique et de travaux en morphosyntaxe. L'interrogation partielle en mode direct permet de conférer une structure de description détaillée, basée sur les sept pronoms et adverbes que propose la langue française. Ce travail débouche sur la proposition d'un langage déclaratif de description de systèmes complexes. Directeur(s) de thèse : LIBOUREL T. Co-directeur(s) de thèse : REITZ P. Rapporteur(s) : ROUSSEAUX F.;SOULE-DUPUY C. Examinateur(s) : ACUTIS M.;DURU M.;HUCHARD M.;PRINCE V. Date de soutenance : 16/12/2009 Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité THE-09 / 13822 Papier THESES INFORMATIQUE Disponible
Titre : Automated Guided Vehicle Systems: International Trends in Manufacturing Technology Type de document : texte imprimé Editeur : Springer Verlag Année de publication : 1987 Langues : Inconnue (und) Tags : AUTOMATIQUE PRODUCTION COORDINATION MOBILE SIMULATION Index. décimale : A4 A4 - Robotique Automated Guided Vehicle Systems: International Trends in Manufacturing Technology [texte imprimé] . - [S.l.] : Springer Verlag, 1987.
Langues : Inconnue (und)
Tags : AUTOMATIQUE PRODUCTION COORDINATION MOBILE SIMULATION Index. décimale : A4 A4 - Robotique Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité A4 / 3068 Papier OUVRAGES ROBOTIQUE Disponible
Titre : Computer Aided-Design of Digital Systems Type de document : texte imprimé Auteurs : LEWIN, Auteur Editeur : Arnold Année de publication : 1977 Langues : Inconnue (und) Tags : LOGIQUE C.A.O. SIMULATION SPECIFICATION TEST Index. décimale : E4 E4 - CAO Computer Aided-Design of Digital Systems [texte imprimé] / LEWIN, Auteur . - [S.l.] : Arnold, 1977.
Langues : Inconnue (und)
Tags : LOGIQUE C.A.O. SIMULATION SPECIFICATION TEST Index. décimale : E4 E4 - CAO Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité E4 / 2425 Papier OUVRAGES MICRO-ELECTRONIQUE Disponible
