Download or read book Etude de l architecture du processeur d une machine pour les applications temps r el en intelligence artificielle written by Pascal Clere and published by . This book was released on 1989 with total page 211 pages. Available in PDF, EPUB and Kindle. Book excerpt: MAIA est un projet développé conjointement par les Laboratoires de Marcoussis et le Centre National d'Etudes des Télécommunications à Lannion. MAlA est un poste de travail qui répond essentiellement à deux types d'applications qui sont la station de travail pour le développement de logiciels dédiés au traitement symbolique et le poste de supervision/conduite de processus en temps réel. MAIA est une machine-langage spécialisée pour l'exécution de LISP et de PROLOG grâce à un jeu d'instructions spécialisé pour la manipulation de listes et du matériel spécifique pour la vérification dynamique du type des objets manipulés, pour le ramasse miettes et la gestion des piles d'évaluation LISP. Le logiciel comprend un compilateur et un interprète LISP et de PROLOG, un noyau temps réel multi-tâche, un ramasse-miettes basé sur l'algorithme de Moon et un gestionnaire de mémoire virtuelle.

Download or read book International Workshop Expert Systems Their Applications written by and published by . This book was released on with total page 262 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Conception r alisation et valuation d un processeur symbolique written by Olivier Thibault (docteur en informatique) and published by . This book was released on 1991 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: LE LANGAGE PROLOG PERMET LA REALISATION RAPIDE ET FIABLE D'APPLICATIONS EN INTELLIGENCE ARTIFICIELLE, EN BASES DE DONNEES ET EN TRAITEMENTS NON NUMERIQUES COMPLEXES SOUVENT NON DETERMINISTES. L'IMPLANTATION DE PROLOG SUR DES MACHINES CONVENTIONNELLES SOUFFRE D'UN MANQUE DE PERFORMANCES ESSENTIELLEMENT DU AU TRAITEMENT D'INFORMATIONS SYMBOLIQUES ET AU CONTROLE D'EXECUTION INHERENT AU LANGAGE. PROLOG, PLUS QUE TOUT AUTRE LANGAGE, OFFRE DE MULTIPLES OPPORTUNITES POUR DEVELOPPER UNE STRUCTURE MATERIELLE OPTIMISANT SON EXECUTION. CETTE THESE SE PROPOSE DE MONTRER CES OPPORTUNITES, DES CHOIX DE CONCEPTION POSSIBLES ET DES IMPLANTATIONS, QUI SERONT EVALUES ET COMPARES. ON COMMENCE PAR L'EXPOSE D'UNE MACHINE DE BASE, ICM3, QUI INTRODUIT DES CONCEPTS ESSENTIELS A L'EXECUTION OPTIMALE DE PROLOG: CONTROLE ET CHEMINS DE DONNEES PRENANT EN COMPTE DES OPERATIONS PRIMITIVES TELLES QUE L'UNIFICATION, LE BACKTRACKING, ETC., ET LES DONNEES TAGGEES. DES RESULTATS DE SIMULATIONS REALISEES POUR EVALUER CETTE ARCHITECTURE SONT PRESENTES. DE CETTE EXPERIENCE, UNE SECONDE ARCHITECTURE, PLUS OPERATIONNELLE ET PLUS PERFORMANTE, A ETE DEFINIE ET REALISEE DANS LE CADRE DU PROJET KCM (KNOWLEDGE CRUNCHING MACHINE). TROIS PROTOTYPES, PUIS 50 MACHINES DE PRESERIE ONT ETE REALISES, SOUS LA FORME D'UN SYSTEME BACK-END CONNECTE A UNE STATION DE TRAVAIL. UNE EVALUATION DE KCM MONTRE, EN LA COMPARANT A D'AUTRES MACHINES SPECIALISEES OU A DES IMPLANTATIONS PUREMENT LOGICIELLES, SA SUPERIORITE EN PERFORMANCE: KCM PERMET, POUR LA PREMIERE FOIS, A UNE STATION DE TRAVAIL DE FRANCHIR LA BARRIERE DU MILLION D'INFERENCES LOGIQUES PAR SECONDE (MLIPS). PUIS UNE ETUDE QUANTIFIE LE GAIN EN PERFORMANCE DE CHACUN DES CHOIX ARCHITECTURAUX ET EXPLIQUE D'OU KCM TIRE SA PUISSANCE. CELA PERMET DE VALIDER LES CHOIX PRESENTES AUPARAVANT ET DONNE DES IDEES D'AMELIORATIONS POSSIBLES. ON CONSTATE EN PARTICULIER LA SENSIBILITE DE LA MACHINE A SON SYSTEME MEMOIRE. UNE ETUDE DU COMPORTEMENT MEMOIRE SPECIFIQUE A PROLOG EST DONC FAITE ET DES SOLUTIONS ADAPTEES SONT PRESENTEES

Download or read book PROGRAMMATION D ARCHITECTURE MULTI PROCESSEUR written by KAMEL.. SADI and published by . This book was released on 1992 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: AU COURS DE CE TRAVAIL, NOUS AVONS ADAPTE UN LANGAGE DE TYPE DECLARATIF (PROLOG) SUR UNE MACHINE MULTI-PROCESSEUR (TRANSPUTERS). POUR CELA NOUS AVONS ETE AMENE A DEVELOPPER UN SCHEMA DE COOPERATION ENTRE INTERPRETEURS PROLOG, BASE SUR LES TECHNIQUES DE PARALLELISATION. EN EFFET, LES LANGAGES DECLARATIFS EN GENERAL, ET LES LANGAGES BASES SUR LA PROGRAMMATION LOGIQUE EN PARTICULIER, SONT INTRINSEQUEMENT PARALLELES ET OFFRENT DES POSSIBILITES TRES INTERESSANTES. LE SCHEMA DE COOPERATION AINSI DEFINI EST BASE SUR DES INTERACTIONS ENTRE LES DIFFERENTS INTERPRETEURS DISTRIBUES SUR UN RESEAU DE TRANSPUTERS. LA RESOLUTION D'UN PROBLEME EST GUIDEE PAR LES DONNEES CAR LA BASE DE CONNAISSANCE EST TOTALEMENT REPARTIE ENTRE LES DIFFERENTS INTERPRETEURS. LA COMMUNICATION UTILISEE EST DE TYPE ENVOI DE MESSAGES EN MODE ASYNCHRONE. NOUS AVONS ENSUITE REALISE L'IMPLANTATION DU SCHEMA SUR UN RESEAU DE TRANSPUTERS EN UTILISANT COMME LANGAGE DE DEVELOPPEMENT LE LANGAGE C PARALLELE. LES OPTIONS QUE NOUS AVONS CHOISIES ETAIENT DE NE PAS TROP NOUS ELOIGNER DE LA PHILOSOPHIE DE PROLOG PUR, EN FAVORISANT PLUTOT LA TRANSPARENCE VIS-A-VIS DE L'UTILISATEUR QUE LE PARALLELISME A GRANULARITE MAXIMALE. LA DEUXIEME PARTIE DE NOTRE TRAVAIL CONSISTAIT A ETENDRE LE SCHEMA DE COOPERATION VERS UN OUTIL D'INTELLIGENCE ARTIFICIELLE DISTRIBUEE. NOUS AVONS COMMENCE PAR UNE ETUDE D'UN MODELE DE COOPERATION D'AGENTS BASE SUR DES TECHNIQUES D'IAD. POUR TESTER CE MODELE NOUS AVONS FAIT UNE ETUDE D'IMPLANTATION SUR UNE ARCHITECTURE A BASE DE TRANSPUTERS

Download or read book Manuel d intelligence artificielle written by Louis Frécon and published by EPFL Press. This book was released on 2009-01-01 with total page 779 pages. Available in PDF, EPUB and Kindle. Book excerpt: Robotique, vie artificielle, réalité virtuelle, traitement des langue naturelles... derrière toutes ces applications se cache un même univers, l'intelligence artificielle, et un même objectif, la recherche de moyens susceptibles de doter les systèmes informatiques de capacités intellectuelles comparables à celles des êtres humains. C'est afin de procurer aux étudiants un support d'enseignement clair et pédagogique que les auteurs ont conçu ce manuel. Illustré de nombreux exemples programmés, il expose les bases indispensables de l'intelligence artificielle au travers de 5 démarches clairement identifiées: fonctionnelle, illustrée par le langage Scheme, qui établit la possibilité d'une informatique qualitative ou symbolique, par opposition à l'informatique numérique; logique, illustrée par la programmation en Prolog, avec un même formalisme pour les connaissances primaires, les connaissances déductibles, ou le savoir-faire et débouchant sur les systèmes experts; objet, qui assure la gestion de masses de connaissances par l'exploitation de classifications; grammaticale, qui traite des rapports entre forme et abstraction, et ouvre sur le traitement des langues naturelles comme sur la modélisation de certains systèmes dynamiques et enfin acteurs/agents, qui concerne une approche distribuée des activités intelligentes, combinant délégation, coopérations, compétitions et négociations. Original par le juste équilibre atteint entre théorie et pratique, cet ouvrage constitue aussi une excellente référence pour tous les praticiens en intelligence artificielle.

Download or read book Algorithmique parall le sur les arbres de d cision et raisonnement en temps contraint written by Vincent David (informaticien).) and published by . This book was released on 1993 with total page 280 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cette thèse présente un modèle de traitement parallèle pour la mise en œuvre d'algorithmes de raisonnement dans le cadre d'un système temps-réel intelligent, et s'inscrit dans l'étude SATURNE menée au CERT-ONERA. Ce projet se fonde sur l'hypothèse que les tâches de traitement ont la capacité de s'adapter aux échéances temporelles. Pour satisfaire ce modèle, les solutions proposées sont la réduction de l'espace de recherche et l'accélération des traitements grâce au parallélisme. Ces changements devant intervenir durant l'exécution du processus, la gestion du parallélisme devient alors dynamique. Par ailleurs, les arbres de décision représentent une méthode fondamentale pour résoudre de nombreux problèmes d'intelligence artificielle, tels que la théorie des jeux à un joueur, les problèmes d'optimisation, la théorie des jeux à deux joueurs, les graphes Et/Ou et beaucoup d'autres problèmes NP-complets. Aussi, à partir de l'exemple de l'algorithme du minimax sur des arbres de jeux réels, une implémentation est réalisée sur Modulor, une machine à architecture distribuée à base de transputers développée au CERT-ONERA. La méthode de parallélisation se fonde sur une suppression du contrôle entre les processus de recherche, au profit d'un parallélisme spéculatif et du partage complet de l'information réalisé grâce à une mémoire physiquement distribuée mais virtuellement partagée. L’apport de notre approche pour les systèmes temps-réel distribués et tolérants aux fautes est évalué grâce aux résultats expérimentaux obtenus.

Download or read book Simulation mise en oeuvre et tests logiciels et mat riels d un processeur exp rimental orient traitement symbolique written by Lounis Kessal and published by . This book was released on 1987 with total page 250 pages. Available in PDF, EPUB and Kindle. Book excerpt: ETUDE DE L'ARCHITECTURE DE PEARLS, UN PROCESSEUR ORIENTE EN TRAITEMENT SYMBOLIQUE. ON DECRIT LES OUTILS DE CONCEPTION, POUR LA MISE AU POINT DE LA MACHINE. CES OUTILS EMPORTENT UN SIMULATEUR DE JEU D'INSTRUCTIONS ET DE L'ARCHITECTURE PEARLS (APS) QUI SONT REALISES A PARTIR D'UN INTERPRETE LISP ECRIT EN LANGAGE C POUR LE SM90

Download or read book Application des architectures many core dans les syst mes embarqu s temps r el written by Moustapha Lo (auteur en Informatique).) and published by . This book was released on 2019 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les processeurs mono-coeurs traditionnels ne sont plus suffisants pour répondre aux besoins croissants en performance des fonctions avioniques. Les processeurs multi/many-coeurs ont emergé ces dernières années afin de pouvoir intégrer plusieurs fonctions et de bénéficier de la puissance par Watt disponible grâce aux partages de ressources. En revanche, tous les processeurs multi/many-coeurs ne répondent pas forcément aux besoins des fonctions avioniques. Nous préférons avoir plus de déterminisme que de puissance de calcul car la certification de ces processeurs passe par la maîtrise du déterminisme. L'objectif de cette thèse est d'évaluer le processeur many-coeur (MPPA-256) de Kalray dans un contexte industriel aéronautique. Nous avons choisi la fonction de maintenance HMS (Health Monitoring System) qui a un besoin important en bande passante et un besoin de temps de réponse borné.Par ailleurs, cette fonction est également dotée de propriétés de parallélisme car elle traite des données de vibration venant de capteurs qui sont fonctionnellement indépendants, et par conséquent leur traitement peut être parallélisé sur plusieurs coeurs. La particularité de cette étude est qu'elle s'intéresse au déploiement d'une fonction existante séquentielle sur une architecture many-coeurs en partant de l'acquisition des données jusqu'aux calculs des indicateurs de santé avec un fort accent sur le fluxd'entrées/sorties des données. Nos travaux de recherche ont conduit à 5 contributions:• Transformation des algorithmes existants en algorithmes incrémentaux capables de traiter les données au fur et mesure qu'elles arrivent des capteurs.• Gestion du flux d'entrées des échantillons de vibrations jusqu'aux calculs des indicateurs de santé,la disponibilité des données dans le cluster interne, le moment où elles sont consommées et enfinl'estimation de la charge de calcul.• Mesures de temps pas très intrusives directement sur le MPPA-256 en ajoutant des timestamps dans le flow de données.• Architecture logicielle qui respecte les contraintes temps-réel même dans les pires cas. Elle estbasée sur une pipeline à 3 étages.• Illustration des limites de la fonction existante: nos expériences ont montré que les paramètres contextuels de l'hélicoptère tels que la vitesse du rotor doivent être corrélés aux indicateurs de santé pour réduire les fausses alertes.

Download or read book PROPOSITION DE DEFINITION D UNE ARCHITECTURE DE MACHINE SYSTEME DE PROGRAMMATION POUR DES APPLICATIONS TEMPS REEL written by BERNARD.. LECUSSAN and published by . This book was released on 1982 with total page 221 pages. Available in PDF, EPUB and Kindle. Book excerpt: ETUDE EXHAUSTIVE DES MACHINES-LANGAGES EXISTANTES ET DEFINITION, PUIS REALISATION D'UNE ARCHITECTURE DE MACHINE POUR SUPPORTER L'EXECUTION DU LANGAGE LTR (LANGAGE TEMPS REEL) QUI PERMET LA TRADUCTION EN MACHINE DE SYSTEME DE PROGRAMMATION

Download or read book tude de l int gration de PEARLS written by Cécile Koester and published by . This book was released on 1988 with total page 146 pages. Available in PDF, EPUB and Kindle. Book excerpt: ANALYSE DE DIVERSES ETAPES A LA REALISATION D'UN PROCESSEUR INTEGRE, ADAPTE AU TRAITEMENT SYMBOLIQUE. CETTE ETUDE PERMET DE DEGAGER LES CONTRAINTES TEMPORELLES POUR LE DESSIN VLSI. EN DERNIER UNE ANALYSE DE DIVERS CIRCUITS DE TEST REALISES ET UNE ESTIMATION DES PERFORMANCES DU PROCESSEUR PEARLS INTEGRE.

Download or read book Conception d une architecture de processeur de signal VLSI programmable en langage volu et optimale dans le traitement d algorithmes rapides written by Ciro-Andrés Martinez Garcia-Moreno and published by . This book was released on 1988 with total page 338 pages. Available in PDF, EPUB and Kindle. Book excerpt: CONCEPTION ET VALIDATION D'UNE ARCHITECTURE VLSI DE PROCESSEUR DE SIGNAL RAPIDE ET DIRECTEMENT PROGRAMMABLE EN LANGAGE EVOLUE QUI COMPREND ESSENTIELLEMENT DES PRIMITIVES DE TRAITEMENT NUMERIQUES DU SIGNAL, IMPLANTEES EN SILICIUM (CONVOLUTION, ADAPTATION, MODULE BIQUADRATIQUE, ETC.)LE PROCESSEUR PROPOSE EST PROGRAMMABLE SOIT PAR MACRO OU MICROINSTRUCTION, SOIT PAR UNE COMBINAISON DES DEUX. TOUTES LES INSTRUCTIONS DU PROGRAMME D'APPLICATION RESIDENT EN MEMOIRE EXTERNE. LA PARTIE OPERATIVE EST ORGANISEE EN 3 MEMOIRES RAM ET 3 BUS. LE MULTIPLIEUR-ACCUMULATEUR A ETE MODIFIE DE FACON A EFFECTUER EN UN SEUL CYCLE TOUTES LES SOMMES NECESSAIRES A L'ADAPTATION ET A LA CONVOLUTION.

Download or read book tude d une architecture parall le de processeur pour la transmission de donn es haut d bit written by Abbas Ramazani and published by . This book was released on 2005 with total page 149 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le travail de cette thèse s'intègre dans un projet général au sein du laboratoire LICM concernant la conception architecturale d'une chaîne de transmission à haut débit. L'objectif global est de concevoir un processeur spécialisé pour le traitement rapide des algorithmes des divers protocoles présents dans les couches basses des modèles références (OSI, Internet, ITU-T/ATM). L'évolution des technologies et l'élargissement des bandes passantes des réseaux de transmission ont transféré le goulot d'étranglement concernant les débits autorisés vers les équipements constituant les nœuds actifs des réseaux. La prise en charge de la diversité des protocoles employés, de l'hétérogénéité des données et des très forts débits requis, n'est possible que par une forte montée en puissance de la capacité de traitement de ces équipements. Si ce problème est déjà en bonne partie traité en ce qui concerne les routeurs et les commutateurs, beaucoup de chemin reste encore à faire concernant les équipements terminaux de circuits de données (ex : modem, carte réseau) dans le domaine du haut débit. La conception d'une architecture de processeur spécialisée dépend fortement des caractéristiques des applications auxquelles le processeur est dédié. L'architecture globale choisie pour le processeur est celle d'un ensemble d'unités de traitement généralistes (mini coeurs de processeur) ou spécialisées (modules auxiliaires) interconnectées. Le but est d'offrir une capacité de traitement parallèle élevée. Le développement d'une telle architecture nous impose de définir une démarche méthodologique appropriée. Cette démarche commence par une étude de protocoles de réseaux représentatifs. Il s'agit tout d'abord d'identifier parmi les principales tâches (opérations) des protocoles, les plus communes et les plus critiques d'entre elles. Les tâches critiques (du point de vue temporel) sont traitées par des modules spécialisés (dont l'étude fait l'objet d'autres travaux). Les tâches restantes sont prises en charge par les unités de traitement généralistes dont l'étude constitue l'essentiel de ce travail. Les performances potentielles de ces unités généralistes sont évaluées en fonction de différentes architectures cibles (CISC, RISC, superscalaire, VLIW). La technique mise en place, pour l'évaluation des performances temporelles des architectures, repose sur une modélisation des algorithmes par chaînes de Markov. Un banc de simulation a été réalisé implantant la technique. Afin de ne pas favoriser indûment une architecture, nous avons introduit un modèle de processeur virtuel pour coder les algorithmes sans introduire de contrainte lié à l'une des architectures. L'analyse des résultats obtenus avec le banc de simulation, nous a permis de déterminer les architectures les plus appropriés par type d'algorithme. La performance de l'architecture globale du processeur (fonctionnement parallèle de l'ensemble des unités de traitement) a été évaluée pour différentes conditions de trafic. Un modèle d'interconnexion simplifié (par rapport au modèle final) a été utilisé, reliant les unités de traitement sous forme d'un pseudo-pipeline (linéaire ou non). Enfin, deux types d'unités de traitement généralistes (mini coeurs de processeur) ont été modélisées en VHDL au niveau RTL et alidées sur FPGA.

Download or read book DEVELOPPEMENT A OBJET TEMPS REEL written by LAURENT.. RIOUX and published by . This book was released on 1997 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt: CETTE THESE CONTRIBUE A LA PROGRAMMATION ET AU CONTROLE DE L'EXECUTION D'APPLICATIONS TEMPS REEL ORIENTEES OBJET. L'UTILISATION D'OBJETS TEMPS REEL EST PARTICULIEREMENT INTERESSANTE POUR LA PROGRAMMATION DES APPLICATIONS TEMPS REEL ORIENTEES OBJET, CAR CE MODELE PERMET D'INTRODUIRE LA CONCURRENCE EN CONSERVANT LES PROPRIETES D'ENCAPSULATION, DE LA MODULARITE ET DE REUTILISABILITE, TOUT EN PRENANT EN COMPTE LES CONTRAINTES TEMPS REEL DE L'APPLICATION. L'UNE DES QUALITES ESSENTIELLES DE CETTE APPROCHE EST QU'ELLE PERMET LA SPECIFICATION DU PARALLELISME ET DES CONTRAINTES TEMPS REEL DIRECTEMENT AU NIVEAU DU MODELE ET LEUR MISE EN UVRE AUTOMATIQUE DANS L'APPLICATION. UN SYSTEME D'ANNOTATION DE C++ A ETE AINSI DEFINI QUI PERMET DE DECRIRE DANS LE SOURCE (OU LE MODELE) D'UNE APPLICATION SES SPECIFICATIONS TEMPS REEL. IL FOURNIRA AU SUPPORT D'EXECUTION LES DIFFERENTES INFORMATIONS QUI LUI PERMETTRONT DE LA CONTROLER AU MIEUX. AVEC CETTE APPROCHE DU MULTITACHE, NOUS DISTINGUERONS TROIS NIVEAUX DE CONTROLE : UN CONTROLE D'ETAT (DEFINISSANT SA CAPACITE A EFFECTUER UNE OPERATION), UN CONTROLE DE CONCURRENCE (ASSURANT LE MAINTIENT DE LA COHERENCE DES VALEURS DES ATTRIBUTS DE L'OBJET) ET UN CONTROLE D'ORDONNANCEMENT (EFFECTUANT L'ALLOCATION DES RESSOURCES PROCESSEURS EN FONCTION DES CONTRAINTES). L'ARCHITECTURE DE CONTROLE PROPOSEE, NOMMEE OROS, PERMET D'EFFECTUER LE CONTROLE DYNAMIQUE D'UNE APPLICATION EN PRENANT EN COMPTE CES DIFFERENTS TYPES DE CONTRAINTES. POUR PROFITER DU PARALLELISME DES NOUVELLES MACHINES, CETTE ARCHITECTURE MET L'ACCENT SUR LE PARALLELISME D'EXECUTION MAIS AUSSI DE CONTROLE. L'ARCHITECTURE OROS GERE AINSI L'ACCES AUX ATTRIBUTS DE CHAQUE OBJET DE MANIERE INDIVIDUELLE PERMETTANT AINSI DE PARALLELISER DES TRAITEMENTS QUI N'ACCEDENT PAS AUX MEMES DONNEES. CETTE ARCHITECTURE N'UTILISE QUE DES PRIMITIVES COMMUNES A L'ENSEMBLE DES SYSTEMES D'EXPLOITATION TEMPS REEL DU COMMERCE, CE QUI PERMET D'ASSURER LA FAISABILITE ET LA PORTABILITE.

Download or read book Une m thodologie de conception des applications temps r el destin es tre implant es sur des machines cibles multi processeurs written by Lichen Zhang and published by . This book was released on 1993 with total page 480 pages. Available in PDF, EPUB and Kindle. Book excerpt: LA COMPLEXITE DES PROBLEMES POSES PAR LA CONCEPTION DES SYSTEMES TEMPS REEL DESTINES A ETRE IMPLANTES SUR DES MACHINES CIBLES MULTI-PROCESSEURS NECESSITE L'ELABORATION D'UNE METHODOLOGIE DE CONCEPTION POUR CES SYSTEMES. LE TRAVAIL PRESENTE DANS CE MEMOIRE SE SITUE DANS CE CADRE ET A TRAVERS LES PROPOSITIONS QUI Y SONT FAITES, APPORTE UNE NOUVELLE DIMENSION DANS LA CONCEPTION DES SYSTEMES TEMPS REEL. LA PREMIERE CONTRIBUTION DE CE MEMOIRE EST DE PROPOSER UNE METHODOLOGIE S'APPUYANT SUR CINQ VUES COMPLEMENTAIRES: ENVIRONNEMENT, FONCTION, PERFORMANCE, COMPORTEMENT ET PHYSIQUE. CES CINQ VUES CORRESPONDENT A CINQ NOUVEAUX MODELES QUI AMELIORENT LE TRAITEMENT DES PROBLEMES CONCERNES PAR LA SPECIFICATION ET LA CONCEPTION DES SYSTEMES TEMPS REEL. LE CYCLE DE VIE EST DECOMPOSE EN SIX ETAPES: ANALYSE ET DEFINITION DES BESOINS, ANALYSE ENVIRONNEMENTALE, RAFFINAGE FONCTIONNEL DU SYSTEME, ANALYSE COMPORTEMENTALE, EVALUATION DES PERFORMANCES ET IMPLANTATION. LA DEUXIEME CONTRIBUTION DE CE MEMOIRE CONSISTE A RESOUDRE LES PROBLEMES PARTICULIERS RENCONTRES FREQUEMMENT DANS LES APPLICATIONS TEMPS REEL DEVELOPPEES SUR LES MULTIPROCESSEURS: SATISFACTION DES CONTRAINTES TEMPORELLES, TRANSFORMATION DE DIAGRAMME FONCTIONNEL ET DE DIAGRAMME COMPORTEMENTAL EN PROGRAMME PARALLELE, VALIDATION DES PROPRIETES DE SURETE, VIVACITE ET TERMINAISON DES PROGRAMMES PARALLELES, ALLOCATION ET ORDONNANCEMENT DES PROCESSUS SUR LES PROCESSEURS ET EQUILIBRAGE DE CHARGE DE TRAVAIL SUR LES PROCESSEURS. CONCERNANT L'EQUILIBRAGE DE CHARGE, NOUS PRESENTONS UNE ETUDE DE CAS PORTANT SUR LA MODELISATION DES SYSTEMES TEMPS REEL REPARTIS PAR LES RESEAUX DE FILES D'ATTENTE AVEC DES ARRIVEES NEGATIVES ET POSITIVES. LA DERNIERE CONTRIBUTION PERMET DE VALIDER LA METHODOLOGIE PROPOSEE A TRAVERS LE DEVELOPPEMENT D'UN SIMULATEUR POUR LA GENERATION DE TRAMES DE TELEMESURE AUX NORMES CCSDS SUR DES RESEAUX DE TRANSPUTERS. CE SIMULATEUR PEUT PRODUIRE DES TRAMES CONFORMES AUX NORMES CCSDS ET IDENTIQUES A CELLES QUE PRODUIRAIT UN GENERATEUR BORD DE TRAMES DE TELEMESURE

Download or read book Les utilitaires et l intelligence artificielle pour un syst me d aide la conception en architecture written by Dominique Caradant and published by . This book was released on 1985 with total page 96 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book CONTRIBUTION A L ARCHITECTURE DES ORDINATEURS ET AU TRAITEMENT D IMAGES MISE EN UVRE D UNE STRUCTURE PARALLELE HYBRIDE PAR UNE RECHERCHE D OPTIMISATION GLOBALE written by Serge Wendling and published by . This book was released on 1992 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: L'OBJET PRINCIPAL DE CE TRAVAIL EST D'ETUDIER LES APPORTS DES DIFFERENTS TYPES D'ORDINATEURS ET LES PROBLEMES QUE POSE LEUR MISE EN UVRE. PARTANT DE L'ARCHITECTURE DE TYPE VON NEUMANN, NOUS RAPPELONS CERTAINS DES NOMBREUX ARTIFICES INTRODUITS POUR EN AMELIORER LES PERFORMANCES. PUIS, NOUS EXAMINONS LES DEUX APPROCHES POSSIBLES DU TRAITEMENT PARALLELE: PARTITIONNEMENT DES DONNEES ET PARALLELISATION DES ALGORITHMES. NOUS DISCUTONS LES PRINCIPALES TENTATIVES DE CLASSIFICATION DES ARCHITECTURES AVANT DE RECONSIDERER LE PROBLEME GENERAL D'UNE CLASSIFICATION. NOUS DECRIVONS ENSUITE LA STRUCTURE DES PRINCIPALES MACHINES NON CONVENTIONNELLES. DANS UNE SECONDE PARTIE, NOUS ABORDONS LE PROBLEME DU CHOIX DE LA MEILLEURE ARCHITECTURE DANS LE CAS PARTICULIER DU TRAITEMENT D'IMAGES POUR LEQUEL NOUS DEFINISSONS QUATRE CLASSES D'ALGORITHMES. NOUS DEGAGEONS LA NOTION DE MACHINE HYBRIDE DONT LA MISE EN UVRE POSE UN PROBLEME D'OPTIMISATION GLOBALE. NOUS INTRODUISONS ALORS UNE METHODE QUI, PAR L'UTILISATION D'UN GRAPHE LINEAIRE EN N ET EN P, PERMET DE REPONDRE A LA QUESTION COMMENT EXECUTER AUX MIEUX N ALGORITHMES SUR UNE MACHINE HETEROGENE DE P PROCESSEURS?. POUR CE FAIRE, NOUS CONSIDERONS SUCCESSIVEMENT LES TROIS CAS POSSIBLES D'EXECUTION D'UNE SUITE DE TACHES (SERIE ORDONNEE, SERIE NON ORDONNEE, PARALLELE) AVANT DE GENERALISER L'OUTIL PROPOSE. UNE TROISIEME ET DERNIERE PARTIE DECRIT L'ARCHITECTURE D'UNE MACHINE HYBRIDE DEVELOPPEE DANS NOTRE LABORATOIRE ET PERMETTANT UN TRAITEMENT D'IMAGES EN TEMPS REEL GRACE A L'ASSOCIATION DE DIFFERENTS PROCESSEURS ET LE DEVELOPPEMENT D'INTERFACES DE COMMUNICATIONS RAPIDES

Download or read book Big Data Machine Learning et apprentissage profond written by Stéphane Tufféry and published by . This book was released on 2019-04-15 with total page 580 pages. Available in PDF, EPUB and Kindle. Book excerpt: