To see the other types of publications on this topic, follow the link: Informatique Informatique Ordinateurs.
Dissertations / Theses on the topic 'Informatique Informatique Ordinateurs'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Informatique Informatique Ordinateurs.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Pillot, Jacqueline. "Informatique et premiers apprentissages." Paris 5, 1991. http://www.theses.fr/1991PA05H041.
Full textAbstract:
Cette recherche est une contribution à la connaissance de l'impact de l'informatique auprès de jeunes enfants au cours des premiers apprentissages. Elle porte sur l’anticipation, les enchainements logiques, la planification de l'action et le repérage d'indices. Instrument de médiation, l'ordinateur permet de reproduire des situations différentes dont les variables sont parfaitement identifiées et portent sur le même objet d'apprentissage. Les observations ont été conduites pendant trois années avec 352 enfants à partir de trois logiciels mis au point spécifiquement. Chacune des quinze classes est divisée en deux groupes: l'un expérimental procède à des activités informatiques alors que le groupe témoin travaille de manière traditionnelle. Des tests évaluent les aptitudes des enfants au cours du temps. L’ordinateur apparait comme un outil complémentaire accepte par tous les enfants. Des attitudes d'attente, des comportements d'anticipation, l'élaboration de plans remplacent les approches par essais erreurs communs chez l'enfant de cet âge. Des activités langagières fonctionnelles facilitent la prise de conscience et la rationalité. L’isolement de la situation didactique intensifie l'interaction entre pairs. L’analyse statistique et les observations cliniques démontrent le transfert des compétences vers les activités non-informatiques qui est renforcé par la richesse des logiciels<br>This work is a contribution to a better knowledge of the computer help for very young children education. The study relates to anticipation, logical sequences, action planning and clue location. Being a mediation tool, computer allows varying situations with well defined constants and persistent problem type. Experiments have been carried out during 3 years with 352 children using 3 specific programs. Each class is divided in two groups: the experimental one uses computer while the check sample one have traditional courses. Various tests are used on the way to evaluate the children capacities. Computer appears like a complementary tool which is accepted by most children. Watching attitudes, anticipation behaviour, plan drawing-up are observed while children of these ages naturally have a trial error behaviour. Fonctionnal speech promote acting and rationality. Exchange and interaction between children are made easier by the didactic situation isolation. Statistic analysis of recorded data and children look out prove ability transfert to non-informatic activities. Computer activities are set up like the educator's pedagogical mind and appears as a complementary tool for children educational process
2
Kaczmarek, Matthieu Marion Jean-Yves. "Des fondements de la virologie informatique vers une immunologie formelle." S. l. : S. n, 2008. http://www.scd.inpl-nancy.fr/theses/2008_KACZMAREK_M.pdf.
Full text
3
Djabelkhir, Assia. "Etude de l'exécution dynamique et / ou spéculative et des processeurs enfouis : un cas d'étude de l'architecture découplée." Rennes 1, 2005. ftp://ftp.irisa.fr/techreports/theses/2005/djabelkhir.pdf.
Full textAbstract:
Dans cette thèse, nous proposons d'utiliser l'architecture découplée pour la conception des processeurs embarqués de haute performance. Cette proposition est motivée par la complexité des nouvelles applications enfouies grand public. L'architecture découplée atteint de hautes performances si ses sous-processeurs sont complètement découplés. Certaines dépendances entre les sous-processeurs, qu'on appelle un évènement LOD (Loss Of Decoupling), constituent la cause principale de perte de performance. Par conséquent, il est important que le code s'exécutant sur ce type d'architectures soit "découplable", tel est le cas des applications régulières. Dans cette thèse, nous avons étudié les caractéristiques des applications embarquées afin de quantifier le risque d'occurrence des évènements LOD et avons présenté une implémentation de l'architecture découplée EDA pour des ISA classiques à un fichier de registres unique.
4
Paugam-Moisy, Hélène. "Optimisation des réseaux de neurones artificiels : analyse et mises en œuvre sur ordinateurs massivement parallèles." Lyon 1, 1992. http://www.theses.fr/1992LYO10018.
Full textAbstract:
Nos travaux se rapportent a deux themes en plein essor: les reseaux de neurones artificiels, et les ordinateurs massivement paralleles. Le fil conducteur est l'optimisation des modeles connexionnistes, et plus specialement des reseaux multicouches. Apres avoir etudie les modeles classiques et leurs implantations, nous cherchons, dans un cadre theorique, a optimiser l'architecture des perceptrons multicouches. Nous analysons leur puissance de realisation, en termes de nombre de couches et de cellules cachees, et nous cherchons a construire des reseaux minimaux. Plus concretement, nous construisons ensuite un outil de recherche automatique de bons parametres, pour une application donnee. Son principe est fonde sur l'observation de reseaux qui apprennent en parallele. Cet outil est implante sur un multiprocesseur mimd et permet de dresser des cartes de performances, ainsi que de selectionner des reseaux optimaux. Plusieurs experiences ont ete menees, sur des applications industrielles. L'acceleration de l'apprentissage et de la reconnaissance est un autre moyen d'optimiser les reseaux neuronaux. Nous avons implante et modelise des parallelisations de ces deux phases. L'impact de la parallelisation sur l'algorithme de retro-propagation est mis en valeur. Des lois experimentales sont etablies pour l'algorithme du gradient par blocs
5
Batsale, Alain. "Innovation technologique et dynamique industrielle : l'exemple de l'industrie informatique." Poitiers, 2000. http://www.theses.fr/2000POIT4001.
Full textAbstract:
Ce travail propose une étude empirique de l'industrie informatique. Une première approche pourrait conduire à reprendre les résultats d'études empiriques influencées par l'économie industrielle d'inspiration néoclassique et à conduire une analyse de l'industrie à partir du jeu des forces du marché. Mais cette industrie présente une histoire tumultueuse liée à un rythme élévé d'innovations technologiques. Or, l'approche néoclassique, statique, en termes d'allocations de ressources, peine à rendre compte des effets de l'innovation technologique et de la dynamique qu'elle suscite. C'est pourquoi, l'industrie informatique est abordée ici, à travers la méthodologie proposée par la dynamique industrielle, mettant l'innovation technologique au centre des processus moteurs de l'évolution, en particulier de l'évolution repérée des structures de marché. L'analyse des innovations concernant les deux éléments clés de l'ordinateur, le processeur et le système d'exploitation, permet d'expliquer les mouvements importants qui affectent l'industrie depuis plusieurs décennies et dont les effets vont se faire sentir dans les années qui viennent. L'industrie est présentée à partir des spécificités que constituent une technique, des fonctions productives et un stock de capital productif, et dont les caractéristiques conduisent le rythme et la diffusion du progrès technique. Elle est décrite enfin, plus précisement, à partir de deux éléments spécifiques et qui la caractérisent également, en l'occurence un mode d'innovation technology push et une structure de marché oligopolistique.
6
Haro, Christophe. "Conception informatique du contrôle sans blocage d'un procédé." Tours, 2002. http://www.theses.fr/2002TOUR4024.
Full textAbstract:
Cette thèse s'intéresse à une classe de problèmes qui relèvent de l'analyse, la conception ou l'implémentation d'un système informatique pilotant un système de production automatisé. Le premier chapitre introduit l'architecture du logiciel. Le chapitre 2 traite de la modélisation par les réseaux de Pétri. Le troisième chapitre étudie la conception des noyaux des systèmes d'exploitation et le problème de l'ordonnancement. Le dernier chapitre traite des interblocages dans les systèmes d'exploitation et les systèmes de production<br>This thesis is concerned by a class of problems that are relevant to the analysis, design or implementation of a computer system conducting an automated manufacturing system. The first chapter introduces the architecture of the software. Chapter 2 dealt with Petri nets models. Third chapter studies the design of operating systems kernels and the scheduling problèm. The last chapter dealt with deadlocks arising in operating and production systems
7
Santana, de Oliveira Anderson Kirchner Claude Kirchner Hélène. "Réécriture et modularité pour les politiques de sécurité." S. l. : Nancy 1, 2008. http://www.scd.uhp-nancy.fr/docnum/SCD_T_2008_0007_SANTANA-DE-OLIVEIRA.pdf.
Full text
8
El, Rouadi Naïm. "Programmation informatique et conceptualisation entre 13 et 15 ans." Paris 5, 1999. http://www.theses.fr/1999PA05H046.
Full textAbstract:
Cette étude porte sur la définition possible d'un champ conceptuel de la programmation informatique et son application a des élèves âgés entre 13 et 15 ans. L'échantillon représente des élèves de deux collèges différents (une classe de 4eme et une autre de 3eme). L'étude s'inscrit à l'intersection de la didactique de la programmation, de la didactique des mathématiques, de la psychologie de la programmation et plus généralement de la psychologie cognitive. Le cadre théorique a été élaboré en référence à la théorie des champs conceptuels de G. Vergnaud : concept du schème théorie de la représentation. Nous utilisons comme objet de recherche l'apprentissage de l'itération a une seule sortie et sans alternative. L'itération est définie comme un instrument cognitif de résolution de problèmes permettant de construire des algorithmes, de modéliser des programmes et de déléguer à un dispositif informatique la recherche d'une solution. La définition des classes des problèmes, la détermination des invariants opératoires, leur mise en œuvre et l'identification des signifiants propres a un langage particulier (ici turbo pascal) sont des éléments caractéristiques du champ conceptuel informatique. L'enseignement de l'informatique nécessite des connaissances relatives aux concepts informatiques, à la modélisation et a l'activité de programmation. L'étude expérimentale consiste à faire résoudre par les élèves des problèmes choisis en fonction des caractéristiques susceptibles d'être prises en compte dans une progression didactique : en écriture des algorithmes adéquats, traduction en programmes et exécution sur une machine réelle. Les séances didactiques sont effectuées en deux temps : le premier est consacré à l'enseignement des concepts, le second au contrôle des acquisitions. Pour évaluer la construction d'un schème de l'itération, on expose les élèves a un contrôle sans préparation préalable, ce qui permet d'observer des phases intéressantes de la construction du schème : en particulier grâce à l'analyse des erreurs.
9
Gava, Frédéric Loulergue Frédéric. "Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs sémantiques, implantations et certification /." Créteil : Université de Paris-Val-de-Marne, 2005. http://doxa.scd.univ-paris12.fr:80/theses/th0231526.pdf.
Full text
10
Michiel, Marianne de. "Recherche de la configuration optimisée d'une architecture cible pour une application en temps réel." Toulouse 3, 1994. http://www.theses.fr/1994TOU30008.
Full textAbstract:
Cette these s'insere dans un projet dont l'objectif est de definir un outil qui permet d'obtenir automatiquement la machine la mieux adaptee pour traiter une application temps-reel strict donnee. Definir un tel outil est dans l'absolu, tres delicat en raison de la diversite des applications et des moyens pour les decrire. Mais si l'on parvient a modeliser l'application, et si l'on dispose d'un langage permettant de la decrire selon le modele, il est alors possible de definir une architecture generique conforme au modele, sur laquelle on peut projeter l'application. Une premiere etape de notre travail a donc ete de definir un modele et le langage de description associes. La description d'un systeme est ensuite compilee. La compilation permet d'une part de verifier la coherence de l'application et d'autre part de controler si la description satisfait les contraintes temporelles definies lors de la specification. Lorsque les contraintes ne sont pas verifiees, l'outil decompose automatiquement l'application de facon a obtenir un parallelisme juste suffisant pour une execution en temps-reel. La description obtenue a l'issue de cette etape n'est generalement pas optimale. L'outil optimise cette configuration de facon a reduire le temps de reponse du systeme et le cout de realisation. Il reste alors a determiner la projection de la description sur l'architecture cible. Au cours de cette phase, l'outil prend en compte les contraintes materielles inherentes a l'architecture. La machine dediee, permettant de traiter l'application en temps reel, est alors obtenue par l'interconnexion d'elements materiels de l'architecture generique selon la configuration deduite de la representation optimale
11
Medioni, Estelle. "Matériels et logiciels informatiques en officine." Bordeaux 2, 1998. http://www.theses.fr/1998BOR2P036.
Full text
12
Dib, Khadidja. "Simir-n : un support informatique temps-réel pour la robotique." Paris 11, 1985. http://www.theses.fr/1985PA112346.
Full textAbstract:
Les systèmes de programmation de robots se caractérisent par une complexité croissante dûe à l’introduction continuelle de nouvelles techniques provenant de domaines divers tels que la conception de robots, la commande, les capteurs, la reconnaissance des formes, les réseaux. La flexibilité est la caractéristique essentielle d’un système robotique de troisième génération. SIMIR (Support Interactif, Multitâches, pour l’Intégration en Robotique) assure la cohabitation des modules spécifiques à la robotique. ACTION-COMMANDE, PERCEPTION, COMMUNICATION et DECISION. SIMIR est conçu pour répondre aux critères de portabilité, d’interactivité, de modularité et de parallélisme dans un environnement robotique. Il comprend deux niveaux : SIMIR-N et SIMIR-L. SIMIR-N qui est décrit dans ce rapport de thèse est constitué essentiellement par un ensemble de serveurs et d’une bibliothèque de primitives. Pour bénéficier de la reconnaissance de fait d’UNIX comme un standard dans le monde des constructeurs d’ordinateurs, SIMIR est implémenté autour de ce système d’exploitation<br>The new technics such as robot conception, control, sensors, form analysis, networks increase the complexity in robotic programming systems. Flexibility is an essential feature of robotics system especially of the third generation. SIMIR (Support Interactif, Multitaches, pour l’Intégration en Robotique) insures cooperation between the robotic specific modules. CONTROL, PERCEPTION, COMMUNICATION and DECISION. In addition SIMIR supports portability, interactivity, modularity and parallelism. SIMIR includes two levels: SIMIR-N and SIMIR-L. SIMIR-N, the subject of this report, is constituted by a set of managers and a primitive’s library. As the kernel UNIX is a standard in the world of computer manufacturers, SIMIR is implemented around this kernel
13
Lefebvre, Vincent. "Restructuration automatique des variables d'un programme en vue de sa parallélisation." Versailles-St Quentin en Yvelines, 1998. http://www.theses.fr/1998VERS0008.
Full textAbstract:
Cette thèse se place dans le cadre de la parallélisation automatique de programmes. Toute tentative de parallélisation débute par une analyse des dépendances. Parmi toutes les dépendances, seules les vraies dépendances de flot correspondent effectivement à un échange d'informations entre opérations. Les autres dépendances sont artificielles, -i. E. Uniquement liées à la réutilisation mémoire. Toute dépendance artificielle peut être détruite par expansion mémoire (agrandissement des données du programme). Afin de dégager un maximum de parallélisme, on peut les supprimer toutes en réalisant une expansion totale, -i. E. En traduisant le programme en assignation unique. L'inconvénient majeur de cette technique est son coût mémoire inacceptable. Cette thèse démontre qu'une expansion partielle de la mémoire permet de dégager autant de parallélisme que l'expansion totale avec un coût mémoire beaucoup plus réduit.
14
Vet, Jean-Yves. "Parallélisme de tâches et localité de données dans un contexte multi-modèle de programmation pour supercalculateurs hiérarchiques et hétérogènes." Paris 6, 2013. http://www.theses.fr/2013PA066483.
Full textAbstract:
Les contributions de cette thèse s'appuient sur un modèle de programmation par tâches, dont l'originalité réside dans l'ajustement de la quantité de calcul en fonction de l'unité d'exécution ciblée. Ce modèle de programmation est particulièrement adapté à un équilibrage de charge dynamique entre des ressources de calcul hétérogènes. Il favorise une meilleure exploitation des unités de traitement en offrant une meilleure réactivité en présence de variations des temps d'exécution, lesquelles peuvent être générées par des codes de calcul irréguliers ou des mécanismes matériels difficilement prévisibles. De plus, la sémantique des tâches de calcul facilite le recours à des mécanismes de gestion automatisée des opérations de cohérence des mémoires déportées et décharge les développeurs de cette tâche fastidieuse et source d'erreurs. Nous avons développé la plateforme d'exécution H3LMS afin d'agréger les propositions de cette thèse. Cette plateforme est intégrée à l'environnement de programmation MPC afin de faciliter la cohabitation de plusieurs modèles de programmation pour une meilleure exploitation des grappes de calcul. H3LMS permet, entre autres, de mieux aiguiller les tâches vers les unités de traitement appropriées en réduisant la quantité de coûteux accès distants au sein d'un nœud de calcul. Ces travaux s'intéressent également à l'adaptation de codes de simulation existants, conçus à l'origine pour exploiter exclusivement des processeurs traditionnels et pouvant comporter plusieurs centaines de milliers de lignes de code. Les performances de la solution développée sont évaluées sur la bibliothèque Linpack et par une application numérique réaliste du CEA<br>This thesis makes several distinct contributions which rely on a dedicated task-based programming model. The novelty of this model resides in a dynamic adjustment of the quantity of embedded operations depending on the targeted processing unit. It is particularly well adapted to dynamically balance workloads between heterogeneous processing units. It better harnesses those units by strengthening responsiveness in the presence of execution times fluctuations induced by irregular codes or unpredictable hardware mechanisms. Moreover, the semantics and programming interface of the task-parallel model facilitates the use of automated behaviors such as data coherency of deported memories. It alleviates the burden of developers by taking care of this tedious work and which can be a source of errors. We developed H3LMS an execution platform designed to combine the propositions detailed in the thesis. The platform is integrated to the MPC programming environment in order to enhance cohabitation with other programming models and thus better harness clusters. H3LMS is elaborated to improve task scheduling between homogeneous and heterogeneous processing units by reducing the need to resort to distant accesses in a cluster node. This thesis also focuses on the adaptation of legacy codes which are originally designed to exploit traditional processors and may also consist of hundreds of thousand lines of code. The performance of this solution is evaluated on the Linpack library and on a legacy numerical application from the CEA
15
Rollet, Antoine Fouchal Hacène. "Test de robustesse des systèmes temps-réel thèse pour le doctorat en sciences spécialité Informatique /." Reims : S.C.D. de l'Université, 2005. http://scdurca.univ-reims.fr/exl-doc/GED00000108.pdf.
Full text
16
Courbot, Alexandre Simplot David Grimaud Gilles. "Spécialisation tardive de systèmes Java embarqués pour petits objets portables et sécurisés." Villeneuve d'Ascq : Université des sciences et technologies de Lille, 2007. https://iris.univ-lille1.fr/dspace/handle/1908/994.
Full textAbstract:
Reproduction de : Thèse de doctorat : Informatique : Lille 1 : 2006.<br>N° d'ordre (Lille 1) : 3839. Résumé en français et en anglais. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 133-139.
17
Chebili, Mourad. "Une interface intelligente d'assistance à l'utilisation d'un système d'exploitation." Paris 8, 2000. http://www.theses.fr/2000PA081858.
Full textAbstract:
L' @expansion des Interfaces Utilisateurs Graphiques (IUG) a été rapidement accélérée par la standardisation des systèmes de fenêtrage. Grâce à cette révolution incontournable des IHM, il semble utile et fondamental d'orienter et d'appliquer cette technologie au coeur de la machine : le Système d'Exploitation ou SE. Lors de ce travail, nous justifions la particularité des Interfaces Utlisateurs des SE et nous tentons de démasquer les problèmes actuels de celles-ci. D'autre part, nous tentons de démontrer l'interêt de faire participer activement l'IUSE dans l'Interaction Homme-Machine par le biais d'une intelligence exploitant la technologie des agents activés pour s'adapter aux besoins des utilisateurs. Dans ce cadre, nous proposons d'étudier et de formaliser une architecture intelligente favorisant la décomposition de la tâche. Cela permet la réduction de la complexité et la spécialisation des agents. . . .
18
Kaczmarek, Matthieu. "Des fondements de la virologie informatique vers une immunologie formelle." Thesis, Vandoeuvre-les-Nancy, INPL, 2008. http://www.theses.fr/2008INPL097N/document.
Full textAbstract:
Cette thèse aborde trois thèmes : la formalisation de la virologie informatique, l'élaboration de protections contre l'auto-reproduction et le problème de la détection des programmes malicieux. Nous proposons une formalisation s'appuyant sur les fondements de l'informatique théorique et sur les travaux fondateurs de la discipline. Nous obtenons un formalisme souple où le théorème de récursion prend le rôle d'un compilateur de virus informatiques. Ce théorème trouve alors la place qui lui manquait encore dans la théorie de la programmation. Ce formalisme nous fournit des bases suffisamment solides pour étudier de nouvelles stratégies de protection. Dans un premier temps nous nous intéressons aux relations qu'entretiennent auto-reproduction et capacités de calcul afin d'identifier un modèle raisonnable où l'auto-reproduction est impossible. Ensuite nous exposons deux stratégies construite sur la complexité de Kolmogorov, un outil de l'informatique théorique reliant la sémantique et la syntaxe concrète d'un langage de programmation. Le thème de la détection comporte deux parties. La première traite de la difficulté de la détection des virus informatiques : nous identifions les classes de la hiérarchie arithmétique correspondant à différents scénarios d'infections informatiques. La seconde partie aborde des aspects plus pratiques en décrivant l'architecture d'un détecteur de programmes malicieux conçu durant cette thèse. Ce prototype utilise une détection morphologique, l'idée est de reconnaître la forme des programmes malicieux en utilisant des critères syntaxiques et sémantiques<br>This dissertation tackles three topics: the formalization of the computer virology, the construction of protections against self-reproduction and the issue of malware detection. We propose a formalization that is based over computer science foundations and over the founder works of the discipline. We obtain a generic framework where the recursion theorem takes a key role. This theorem is seen as computer virus compiler, this approach provides a new programming perspective. The sound basis of this framework allows to study new protection strategies. First, we analyze the relations between the notion of self-reproduction and the computation capabilities. We aims at identifying a reasonable model of computation where self-reproduction is impossible. Then we propose two defense strategies based on the Kolmogorov complexity, a tool which relates the semantics to the concrete syntax of programming languages. We treat the issue of malware detection in two steps. First, we study the difficulty related to the detection of several scenarios of computer infection. Second, we present a malware detector that was designed during the thesis. It is based on a morphological detection which allies syntaxical and semantical criteria to identify the shapes of malware
19
Sbeyti, Hassan. "Un mécanisme de pré-chargement adaptatif pour les applications multimédias dans les systèmes embarqués." Valenciennes, 2005. http://ged.univ-valenciennes.fr/nuxeo/site/esupversions/e32e2ad6-5779-4f3a-8919-8f83b1543071.
Full textAbstract:
Le développement récent des applications multimédia a permis une large diffusion des systèmes de communication et de présentation des données dans les systèmes embarqués. Néanmoins, pour répondre aux exigences de ces nouvelles applications en terme de puissances de calcul et de besoins mémoire tout en réduisant les coût de ces systèmes embarqués, il est primordial d'analyser les charges de travail des ces applications. Dans ce cadre nous avons proposé un nouveau mécanisme de préchargement des données nommé PDP pour "Pattern-Driven Prefetching". Ce dernier inspecte les séquences de défauts dans la mémoire cache de données et initie des opérations de préchargement vers cette mémoire afin d'anticiper sur les prochains défauts. L'utilisation de PDP dans les systèmes embarqués à faibles ressources matérielles permet une réduction du temps d'exécution et de la consommation de puissance<br>Multimedia applications in general and MPEG in particular are increasingly popular and important workloads for future embedded systems. Multimedia applications are based on algorithms that require a high computational processing power, and high memory and width The high memory bandwidth requirements do not only affect the real-time behaviour of such applications but also their energy consumption. In this thesis, we extracted multimedia specific characteristics based on memory access behaviour of multimedia applications running on embedded system. Hence, based on these characteristics we proposed a new data prefetch mechanism called Pattern-Driven Prefetching (PDP). PDP inspects the sequence of data cache misses and detects recurring patterns within that sequence. According to the patterns being detected, PDP initiates prefetch actions to anticipate future cache misses. PDP demonstrates interesting features both for existing embedded systems, equipped with small cache, as well as for future high performance embedded systems, equipped with large caches
20
Fiallos, Aguilar Mario. "Conception et simulation d'une machine massivement parallèle en grande précision." Lyon 1, 1994. http://www.theses.fr/1994LYO10135.
Full textAbstract:
Cette these se situe, a la croisee de trois grands axes: l'arithmetique haute precision des ordinateurs, l'architecture des ordinateurs et la simulation de machines massivement paralleles avec des machines massivement paralleles. Nous etudions une machine dont l'architecture est basee sur des modules heterogenes specialises dans le calcul d'une operation ou fonction arithmetique. Dans un premier temps, nous presentons un format a virgule flottante pour le calcul en-ligne en grande precision. Un chapitre est consacre a l'etude des algorithmes et des operateurs pour l'addition et pour la multiplication. Le chapitre suivant etudie des operateurs derives de l'additionneur et du multiplieur presentes dans le chapitre precedent. Ensuite, nous presentons l'algorithme et l'operateur pour le calcul de la division. En utilisant ces operateurs arithmetiques nous proposons un premier modele d'architecture de la machine dans les deux chapitres suivants. Cette architecture est formee par des operateurs dont les temps de calcul sont connus avant l'execution. Nous introduisons deux heuristiques pour l'ordonnancement de taches dans cette architecture. Ensuite, nous presentons un modele plus general d'architecture, formee d'operateurs dont les temps de calcul ne sont pas connus avant execution, en plus des operateurs a temps de calcul connus
21
Tourancheau, Bernard Cosnard Michel Verjus Jean-Pierre. "Algorithmique parallèle pour les machines à mémoire distribuée application aux algorithmes matriciels /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00332663.
Full text
22
Leclercq, Claude. "Un problème de système expert temps réel : la gestion de centres informatiques." Lille 1, 1990. http://www.theses.fr/1990LIL10143.
Full textAbstract:
Le pilotage des centres informatiques est une tache délicate qui ne peut être confiée qu'à un ingénieur système. Sa compétence est basée sur trois qualités : une bonne connaissance technique, une longue expérience et une capacité à trouver rapidement des solutions efficaces aux problèmes qui lui sont posés. Il est ce qu'on appelle un expert. Au vu de ces caractéristiques, nous avons décidé de développer sur micro-ordinateur un système expert d'assistance au pilotage des centres informatiques, dont le but est de surveiller le fonctionnement d'un grand ordinateur. La caractéristique originale de ce système expert est de fonctionner en temps réel. Ceci pose des problèmes de variables à affectations multiples qui peuvent être à l'origine d'inconsistances dans la base de faits. De plus, la quantité d'informations gérées aurait été incompatible avec la contrainte du temps réel si nous n'avions pas eu recours à une méthode particulière de gestion des inconsistances et d'optimisation de l'inférence. Cette méthode, telle qu'elle a été implémentée dans le logiciel, fait l'objet d'une étude théorique détaillée dans le mémoire. Le fruit de ce travail est un progiciel commercialisé : « SEAT », dont l'utilisation a déjà fourni de bons résultats.
23
Bennani, Maria. "A propos de stabilité de la résolution d'équations sur ordinateurs." Toulouse, INPT, 1991. http://www.theses.fr/1991INPT110H.
Full textAbstract:
Apres une etude theorique de la stabilite de la resolution d'un probleme de type f(x)=y, nous experimentons, sur des problemes presentant des singularites mathematiques, une methode statistique permettant soit d'estimer les conditionnements, si le probleme est bien pose, sinon d'inferer sur la solution de facon qualitative. Dans le dernier chapitre, nous presentons la methode d'arnoldi pour le calcul de quelques elements propres de matrices reelles de grande taille, non symetriques, l'etude de problemes spectraux permettant d'etudier la stabilite de certains problemes complexes. Nous etudions des techniques d'acceleration de la convergence de la methode a l'aide des polynomes de tchebycheff. Nous experimentons la deflation afin de calculer un plus grand nombre de valeurs propres
24
Signorini, Jacqueline. "Programmation par configurations des ordinateurs cellulaires à très grande échelle." Paris 8, 1992. http://www.theses.fr/1992PA080699.
Full textAbstract:
Nous presentons un modele et une realisation d'un environnement de programmation pour ordinateurs cellulaires a tres grande echelle. Ces architectures de vastes plans de cellules se programment en construisant des configurations geometriques d'etats et en anticipant leur sequencement par les regles de transition des automates cellulaires sous-jacents. Notre environnement de programmation rassemble des outils logiciels: quatre langages, un editeur et une base de donnees, organises hierarchiquement de facon comparables aux outils de conception de circuits integres complexes, pour la conception, la visualisation graphique et la mise au point de programmes cellulaires. Ces programmes cellulaires sont des organisations de configurations-donnees (ou groupements specifiques de cellules) et de fonctions de controle logiques et cinematiques (reconnaissance, propagation et routage de sequences de donnees) mises en uvre par l'execution de regles de transition et de microinstructions. Nous illustrons notre environnement de programmation cellulaire par deux applications tres contrastees. La premiere application est consacree au calculateur cellulaire auto-recopieur: l'automate a 29 etats de john von neumann. Par sa taille et la complexite de sa regle, cet automate cellulaire nous a fourni un terrain d'experimentation pour concevoir, developper et tester nos outils de programmation. Nous concluons par une seconde application consacree a l'automate cellulaire q2r, dont la regle de calcul est sous-jacente a la modelisation de phenomenes physiques collectifs tels que le modele d'ernst ising de la transition de phase ferromagnetique. En utilisant une version de la regle de q2r mettant en jeu une seule etape de mise a jour, nous cherchons a faire emerger des configurations pouvant servir de configurations de base a un calculateur
25
Roche, Marine. "L'acceptation d'un nouvel enseignement à l'école primaire : les professeurs des écoles face à la programmation informatique." Thesis, Nantes, 2019. http://www.theses.fr/2019NANT2030/document.
Full textAbstract:
Depuis la rentrée 2016, les professeurs des écoles doivent initier les élèves à la programmation informatique dès le cycle 2. En France, les travaux sur l’enseignement de l’informatique n’abordent pas la réception de cet enseignement par les enseignants. À partir d’un cadre théorique d’acceptation des nouvelles technologies, notre recherche vise à comprendre les conditions et les raisons pour lesquelles l’enseignement de la programmation informatique a été, ou non, mis en oeuvre à l’école primaire. Elle s’appuie sur une enquête menée par questionnaire et par entretien auprès des professeurs des écoles. Les 578 réponses obtenues par questionnaire permettent d’identifier les variables expliquant l’acceptation de ce nouvel enseignement. Les entretiens réalisés auprès de 17 professeurs des écoles ont pour objectif d’illustrer et d’approfondir les relations statistiques. Le modèle proposé dans la recherche met en exergue la nécessité de percevoir l’utilité et la facilité de mise en œuvre de l’enseignement. Il rend compte également de l’influence exercée par l’environnement matériel et social de l’enseignant : formation, matériel et présence de collègue pour soutenir la mise en œuvre. Les déterminants individuels (genre, expériences en tant qu’enseignant, série du baccalauréat obtenu) n’exercent quant à eux aucun effet sur l’acceptation<br>Since 2016 schoolteachers in France are required to introduce computer programming to all children aged 6 or more. We present the first work studying the reception of this subject by teachers in France. Based on a theoretical framework for acceptance of new technologies, our research aims to understand conditions and reasons for which computer programming teaching has or has not been implemented in primary schools. Our study is based on a survey by questionnaire and interviews with school teachers. 578 responses obtained by questionnaire identify the variables explaining the acceptance of this new subject. We illustrate and develop statistical results through 17 interviews with school teachers. The model proposed in the research shows the need to perceive the utility and ease of implementation for teaching the topic. We also show that the teacher's material and social environments matter when it comes to acceptance: their training, the material they have access to, the presence of knowing and more experimented colleagues. Individual determinants (gender, experiences as a teacher and series of baccalauréat) have on the other hand no effect on acceptance
26
Rivera, Marcela. "Reconfiguration and life-cycle distributed components : asynchrony, coherence and verification." Nice, 2011. http://www.theses.fr/2011NICE4125.
Full textAbstract:
En programmation orientée à composants, mais particulièrement dans des environnements distribués, les composants ont besoin d’être adaptatifs. Une majeure partie de cette adaptation repose sur la reconfiguration dynamique. Dans cette thèse, nous introduisons une nouvelle approche pour la reconfiguration des modèles de composants distribués, avec l’objectif de faciliter le processus de reconfiguration et d’assurer la consistance et la cohérence du système. Avant d’exécuter une reconfiguration, il est nécessaire que les composants soient dans un état cohérent et stable, afin d’éviter des incohérences dans le processus de reconfiguration. Pour ceci, nous concevons un algorithme pour l’arrêt d’un composant d’une manière sécurisée et atteignant un état stable. Cela a été réalisé en mettant en œuvre un mécanisme de marquage et d’interception qui permet d’ajouter des informations aux requêtes et de manipuler leurs flux, afin de décider lesquelles doivent être servies avant d’arrêter le composant. Nous avons conçu un ensemble de primitives de reconfiguration de haut niveau qui permettent de réaliser des opérations de reconfiguration plus complexes. Nous fournissons un contrôleur supplémentaire à notre modèle de composant qui implémente ces primitives. Pour le déclenchement des tâches de reconfiguration, nous avons étendu le langage FScript pour lui permettre d’exécuter des reconfigurations distribuées, en déléguant certaines actions à des composants. Pour ceci, nous avons défini un contrôleur additionnel à l’intérieur de la membrane des composants. Nous avons testé notre approche sur deux applications basées sur GCM/ProActive : CoCoME et TurnTable<br>For component programming, but even more specifically in distributed and Grid environments, components need to be highly adaptive. A great part of adaptativeness relies on dynamic reconfiguration of component systems. We introduce a new approach for reconfiguring distributed components with the main objective to facilitate the reconfiguration process and ensure the consistency and coherence of the system. First, before executing a reconfiguration it’s necessary that the components are a coherent and quiescent state. This is done to avoid inconsistency in the reconfiguration process. To achieve this, we design an algorithm for stopping a component in a safe manner and reach this quiescent state. This was realized by implementing a tagging and interception mechanisms that adds information to the requests and manipulates their flow in order to decide which of them must be served before stopping the component. Next, we designed a set of high-level reconfiguration primitives to achieve more complex reconfiguration operations. These primitives include : add, remove, duplicate, replace, bind, and unbind. We provide an additional controller to our component model which implements these primitives. Additionally, for triggering the reconfiguration tasks, we extended the FScript language to give it the capability of executing distributed reconfiguration actions, by delegating some actions to specific components. To achieve this objective, we defined an additional controller inside the membrane of the components. We tested our implementation over two GCM/Pro Active based applications : the CoCoME example and the TurnTable example
27
Alouini, Elyès. "Etude et mise en oeuvre de la réécriture conditionnelle concurrente sur des machines parallèles à mémoire distribuée." Nancy 1, 1997. http://www.theses.fr/1997NAN10011.
Full textAbstract:
La réécriture de termes est un concept maintenant bien connu, qu'on retrouve à la base de langages de programmation de haut niveau tel qu'OBJ, ou encore comme mécanisme fondamental pour le calcul formel et la démonstration automatique. Cette thèse est consacrée à la définition et l'implantation d'un modèle de réécriture conditionnelle concurrent sur des machines parallèles à mémoire distribuée. Notre approche est de profiter du parallélisme de données que l'on rencontre dans les structures de termes. La réécriture concurrente consiste à appliquer simultanément plusieurs règles sur un même terme. Dans un premier temps, nous décrivons la formalisation de notre modèle de calcul dans le cadre de la logique de réécriture de J. Meseguer. Dans le but d'étendre ce modèle aux règles conditionnelles, nous définissons ensuite une transformation d'un système de réécriture conditionnelle en un système de réécriture non conditionnelle. Nous détaillons notre choix d'implantation du modèle de calcul et nous décrivons le passage du modèle abstrait de la réécriture concurrente conditionnelle à un modèle réel implantable sur des machines parallèles à mémoire distribuée. Le modèle d'implantation est basé sur la réécriture de termes représentés par des graphes particuliers appelés "jungles". Un mécanisme fondé sur des échanges asynchrones de messages permet de réaliser l'opération de réécriture. Nous proposons un algorithme de glanage concurrent opérant sur les noeuds du graphe à réduire. Le logiciel ReCo met en oeuvre directement le modèle opérationnel de la réécriture conditionnelle concurrente en utilisant le standard MPI ou la bibliothèque PVM pour le passage des messages entre processus. Pour valider et expérimenter notre modèle de calcul concurrent, différents benchmarks de calculs parallèles de formes normales de termes sont réalisés<br>Term Rewriting is a well-known concept used in many programming languages such OBJ, as well as a fundamental mechnaism for automated deduction and formal computation. This thesis is an approach to the definition and the implementation of a conditional concurrent model on distributed memory machines. Our approach is to use the data parallelism present in term structure. Concurrent rewriting consists in the simultaneous application of several rewriting rules on the same term. First, we describe the formalisation of our model in the context of J. Meseguer's rewriting logic. To extend the model to conditional rewriting, we define a transformation from conditional to unconditional rewriting systems. We detail the implementation model and we describe the transition from the conditional concurrent rewriting abstract model to an operational model which can be implemented on distributed memory machines. The implemented model is based on asynchronous exchange of messages. We propose a concurrent garbage algorithm reclaiming unused nodes of the graph. The ReCo system implements the oerational model using MPI ou PVM message passing interface library. To validate and to experiment our implementation, different benchmarks for computing term normal forms are realised
28
Magnaud, Patrick. "Méthodologie et outil de conception d'une architecture parallèle temps réel." Toulouse 3, 1990. http://www.theses.fr/1990TOU30210.
Full textAbstract:
L'objectif de cette etude est de permettre a un concepteur de definir l'architecture de la machine la mieux adaptee a traiter une application en temps reel et ce sans avoir a tenir compte explicitement des contraintes temporelles et materielles. Dans cette optique, un outil de conception a ete developpe. Il s'appuie sur une methodologie qui utilise un modele d'execution qui s'apparente a la fois aux modeles synchrone et data-flow. Ce modele permet d'exprimer le parallelisme intrinseque d'une application en terme de reseau de modules communiquant par messages. Il se caracterise par une structure recursive combinant le parallelisme vrai et le pipeling et peut etre mis en correspondance biunivoque avec une architecture modulaire reconfigurable. Pour decrire ces applications selon ce modele, nous avons defini un langage qui autorise des techniques de parallelisation automatique des modules composant l'application. Cette parallelisation a pour but d'obtenir une representation dans laquelle tout module d'execute en temps reel. Ces techniques de parallelisation reposent sur des transformations de programmes sequentiels qui en modifient la performance tout en conservant la competence. On obtient ainsi une parallelisation de l'application, qui tient compte des contraintes temps reel. Pour eviter au concepteur de tenir compte des contraintes temporelles et materielles qui dependent de l'architecture cible, l'outil que nous avons concu determine automatiquement la structure modulaire optimale traitant l'application en temps reel. Il suffit alors de configurer l'architecture cible selon cette structure
29
Boniface, Yann. "Etude et développement d'une bibliothèque d'adaptation du parallélisme neuromimétique au parallélisme MIMD." Nancy 1, 2000. http://docnum.univ-lorraine.fr/public/SCD_T_2000_0198_BONIFACE.pdf.
Full textAbstract:
Les réseaux de neurones artificiels sont connus pour être des modèles intrinsèquement parallèles. De plus ces modèles réclament une puissance de calcul toujours plus conséquente, notamment pour les modèles d'inspiration biologique du domaine. Dans le même temps, la technologie des ordinateurs parallèles devient de plus en plus accessible tant du point de vue de leur disponibilité que du point de vue financier. Il apparait donc intéressant d'utiliser les ordinateurs parallèles pour résoudre les problèmes de couts d'exécution et de taille des réseaux de neurones posés aux connexionnistes. Cette thèse présente un nouveau simulateur parallèle de réseaux de neurones artificiels. Notre simulateur se veut tout à la fois un outil d'aide au développement des réseaux de neurones artificiels et un outil permettant d'accélérer leurs exécutions. Il doit ainsi faciliter les implantations des réseaux, l'utilisation de réseaux de grandes tailles et l'étude du parallélisme des réseaux de neurones et des phénomènes d'émergences issus de grandes populations de neurones biologiques. Avant de développer ce simulateur nous effectuons une étude comparée des parallélismes des réseaux de neurones artificiels et des ordinateurs parallèles modernes les plus courants. Nous mettons ainsi en valeur les grandes différences entre ces deux modèles de parallélisme puis nous présentons nos solutions pour offrir aux connexionnistes un outil d'aide au développement de réseaux de neurones utilisant les propriétés parallèles des modèles connexionnistes pour permettre leurs exécutions sur machines parallèles sans modifications des algorithmes dans ce sens. Notre simulateur se présente donc sous la forme d'une bibliothèque de fonctions sur le langage C, permettant l'étude du parallélisme neuronal et les exécutions sur machines séquentielles classiques comme parallèles de type MIMD a mémoire partagée.
30
Portolan, Michele. "Conception d'un système embarqué sûr et sécurisé." Grenoble INPG, 2006. http://www.theses.fr/2006INPG0192.
Full textAbstract:
Cette thèse s'attache à définir une méthodologie globale permettant d'augmenter le niveau de sûreté et de sécurité face à des fautes logiques transitoires (naturelles ou intentionnelles) survenant dans un système intégré matériel/logiciel, de type carte à puce. Les résultats peuvent être appliqués à tout circuit construit autour d'un cœur de microprocesseur synthétisable et d'un ensemble de périphériques spécialisés. Les méthodes de protection portent simultanément, sur le matériel, le logiciel d'application et les couches d'interface (en particulier, le système d'exploitation). Les modifications sur des descriptions de haut niveau on été privilégiées pour leurs avantages en terme de généralité, configurabilité, portabilité et pérennité. L'approche vise un bon compromis entre niveau de robustesse atteint et coûts induits, aussi bien au niveau matériel qu'au niveau performances. Elle est appliquée et validée sur un système significatif, représentatif d'un système embarqué monoprocesseur<br>This PhD researches a global methodology enabling to improve the dependability and security level against transient logic faults (natural or provoked) appearing inside a hardware/software integrated system, like for instance a smart cardo Results can be applied to all systems built around a synthesisable microprocessor core and a set of specialised peripherals. The protection methods operate simultaneously and in complementary manner on hardware, application software and interface layers (most noticeably, the operating system). High level modifications have been favoured for their advantages in terms of generality, configurability, portability and perpetuity. The proposed approach aims at achieving a good trade-off between robustness and overheads, from both hardware and performance point of views. It is applied on a significant system example, representative of an embedded monoprocessor system
31
Kudlinski, Cyril. "La souris, le stylet et l'enfant : une approche développementale des interactions Enfant-Ordinateur." Caen, 2015. http://www.theses.fr/2015CAEN1022.
Full textAbstract:
Jusqu'à l’âge de 9 ans, les enfants présentent des performances de pointage avec une souris sont bien inférieures à celles observées chez les adultes. Nous défendons l’hypothèse que cette évolution des performances est liée à l’élaboration cognitive des pointeurs numériques. Ce travail est situé dans l’approche cognitive de Mounoud selon qui les habiletés motrices dépendent du développement perceptivo-moteur de l’enfant et de son développement cognitivo-moteur. Nous avons conçu une situation de pointage informatisé sur deux cibles de différentes largeurs situées à différentes distances l’une de l’autre. La situation de pointage effectuée à partir de différents indices de difficulté est proposée sur différents supports informatiques (PC, Tablet) et différents pointeurs (souris, stylet). Les résultats principaux révèlent que les paramètres distance et largeur ne sont pas combinés avant l’âge de 12 ans, et ceci quelle que soit l’interface utilisée pour réaliser le pointage. Des performances comparables à celles des adultes sont observées lorsque ces deux paramètres sont pris en compte. L’utilisation du stylet facilite le geste de pointage chez les enfants de 6 et 8 ans qui n’intègrent pas les réafférences proprioceptives à leur mouvement. Lorsque les participants utilisent un stylet en ayant pour contrainte de ne pas lever le stylet de l’écran, un effet délétère est observé chez les participants de 12 ans et plus, c’est-à-dire, ceux qui intègrent l’ensemble des paramètres de la situation à leur représentation de l’action. L’ensemble des données permet de conclure que l’utilisation d’un outil dépend de l’élaboration cognitive qui est faite de la situation d’action<br>Up to 9 years, children have lower pointing performance compared to adults when using a mouse. We argue that the evolution of the performances observed during childhood rely to the cognitive elaboration made by children of the numerical pointing tools. Our work is positioned in Mounoud’s cognitive theoretical framework which stipulates that motor abilities are linked to the perceptivo-motor development (perceptive analysis of the situation) and the cognitivo-motor development (relationships established between perceived elements). In order to study the cognitivo-motor development on pointing performances in children aged from 6 to 14 and young adults, we created a numerical pointing task on which two targets are displayed at different distances and different widths. The pointing task elaborated with several index of difficulty is proposed in two environments (laptop and tablet) with two devices (mouse and stylus). Main results show that distance and width of the target are not combined before the age of 12, whatever the environment. Performance reaches an adult-like level when both parameters are integrated to the representation of action. The use of a stylus makes the pointing easier for children of 6 and 8 years, specially those who does not take proprioceptive afferences into account in their movement. When participants were constrained to use the stylus without raising it of the screen, a deleterious effect is observed in participants who integrate all the parameters of the situation to their representation of action, that is, from 12 years. Taken together, data allow us to conclude that the use of a tool rely on the cognitive elaboration made of the situation
32
Mallet, Frédéric. "Modélisation et évaluation de performances d'architectures matérielles numériques." Nice, 2000. http://www.theses.fr/2000NICE5481.
Full textAbstract:
SEP est une méthode incrémentale orientée-composant de Simulation et d'Evaluation de Performances d'architectures matérielles numériques. Les modèles d'architectures sont construits par un agencement structurel de composants et de connecteurs suivant des règles de composition. L'évaluation de performances d'une architecture par rapport à une application est effectuée dans un environnement de simulation à événements discrets adapté. Le modèle construit peut être utilisé comme référence pour la mise au point de code synthétizable [sic]. Dans une première partie, nous définissons un modèle générique décrit en UML (Unified Modelling Language) qui permet une modélisation unifiée d'architectures hétérogènes et la construction d'un environnement graphique d'aide à la conception et non spécifique d'une architecture. Le comportement des composants élémentaires à partir de méthodes Java est construit par une spécification active. L'utilisation de l'approche par composants autonomes rend possible la mise en place de nombreux mécanismes intéressants pour améliorer la réutilisation et la lisibilité des modèles, pour modéliser le jeu d'instructions, pour intégrer des modèles Esterel. Dans une deuxième partie, nous montrons comment notre modèle permet l'intégration de techniques de validation dans l'environnement de simulation. En particulier, nous validons la composition des composants et les services de haut niveau construits. Un mécanisme de liaison dynamique évolué est alors mis en place pour valider fonctionnellement les modèles.
33
Malik, Sheheryar. "Resource aware Cloud Computing." Nice, 2012. http://www.theses.fr/2012NICE4067.
Full text
34
Lagrange, Jean-Baptiste. "Des situations connues aux traitements sur des données codifiées : représentations mentales et processus d'acquisition dans les premiers apprentissages en informatique." Paris 7, 1991. http://jb.lagrange.free.fr/Preprints/TheseLagrange.pdf.
Full text
35
Graiet, Mohamed Giraudin Jean-Pierre. "Contribution à une démarche de vérification formelle d'architectures logicielles." S.l. : Université Grenoble 1, 2007. http://tel.archives-ouvertes.fr/tel-00182871.
Full text
36
Péchoux, Romain Marion Jean-Yves. "Analyse de la complexité des programmes par interprétation sémantique." S. l. : INPL, 2007. http://www.scd.inpl-nancy.fr/theses/2007_PECHOUX_R.pdf.
Full text
37
Jouve, Wilfried Consel Charles. "Approche déclarative pour la génération de canevas logiciels dédiés à l'informatique ubiquitaire." S. l. : Bordeaux 1, 2009. http://ori-oai.u-bordeaux1.fr/pdf/2009/JOUVE_WILFRIED_2009.pdf.
Full text
38
Thiria, Sylvie. "L'Apprentissage supervisé dans les modèles connexionnistes." Paris 5, 1989. http://www.theses.fr/1989PA05S004.
Full textAbstract:
La thèse est consacrée à l'apprentissage dans les modèles connexionnistes. Elle expose en détail les problèmes théoriques soulèves par une classe particulière de réseaux d'automates: les réseaux multi-couches linéaires ou quasi linéaires dans l'apprentissage supervise. Des notions comme celles de mémorisation et de généralisation y sont discutées de façon théorique et illustrées d'exemples. Les paramètres relatifs a la construction d'un réseau tel que le nombre d'automates et de couches, le mode d'itération, y sont testes pour mettre en lumière leur influence sur les performances attendues. Des comparaisons sont effectuées entre les réseaux d'automates et des techniques mieux connues comme la reconnaissance des formes et l'analyse des données. Un résultat théorique permet de constater une analogie entre une certaine catégorie de réseaux multi-couches et l'analyse discriminante. Les résultats obtenus sont à la fois théoriques et expérimentaux: une série de simulations montre que l'utilisation d'architectures complexes peut permettre une amélioration très importante des performances. La dernière partie présente une application originale des réseaux a la résolution d'un problème réel dans le domaine océanographique, montrant l'efficacité de ces méthodes de traitement de l'information
39
Maïs, Chantal. "L' adaptation de l'aide à l'utilisateur : aider les programmeurs occasionnels à opérationaliser leurs plans sous-optimaux." Aix-Marseille 1, 1989. http://www.theses.fr/1989AIX10004.
Full textAbstract:
Cette these est une critique psychologique du type d'assistance que les systemes d'aide actuels fournissent aux utilisateurs occasionnels de dispositifs informatiques. La critique porte precisement sur l'adequation du modele de reference (representation des connaissances acquises ou a acquerir par l'utilisateur) utilise par les systemes pour interpreter les actions de l'utilisateur et definir les aides dont il a besoin. Le modele de reference couramment utilise dans les systemes d'aide actuels est principalement le modele de l'expert du domaine. La these montre, a partir de l'analyse psychologique de l'activite des programmeurs occasionnels, l'inadequation du modele expert pour interpreter le comportement de cette categorie d'utilisateurs. La these montre egalement l'inadequation de ce modele pour definir les aides qui repondent aux besoins et attentes des utilisateurs occasionnels. L'utilisation du modele expert suppose en effet que ces derniers cherchent, comme l'expert, a atteindre une solution optimale (principe d'optimisation) alors qu'ils cherchent a atteindre une solution satisfaisante (principe d'operationalisation), en elaborant des plans-optimaux. De ce fait, ils ne peuvent exploiter les aides, solutions fournies a partir du modele expert, trop eloignees de leur representation du probleme. Cette these suggere d'aider les programmeurs occasionnels a realiser leurs plans sousoptimaux (aide a l'operationalisation) et plus generalement de construire des modeles de reference stereotypiques de la categorie d'utilisateurs auxquels s'adresse l'aide<br>This thesis criticizes, from a psychological point of view, the kind of assistance provided by current help systems to casual users of computing devices. The criticism turns on the appropriateness of the reference model (i. E. The representation of the knowledge acquired or to be acquired by the user) used by those systems for interpreting user's actions and for defining the assistance they need. The reference model generally used in current help systems is mainly some expert model. The thesis shows, from a psychological analysis of the activity of some casual programmers, the inappropriateness of the expert model for interpreting the behavior of this category of users. Likewise the thesis shows the inappropriateness of the expert model for defining the assistance that meets casual users'needs and expectations. In fact, the use of some expert model implies that casual users, like experts, attempt to achieve some optimal solution (optimization principle) whereas they attempt to achieve some satisficing solution more often (operationalization principle), by elaborating sub-optimal plans. Thereby they cannot exploit helps and solutions given in terms of the expert model, because they are too far from their representation of the problem. Thus the thesis suggests to design systems that help casual programmers to realize their sub-optimal plans (help to operationalization). More generally, it is suggested to provide help systems with a reference model that is stereotypical of the category of users to whom the help is adressed
40
Lalam, Mustapha. "Mémoire multiport série pour processeurs vectoriels." Toulouse 3, 1990. http://www.theses.fr/1990TOU30165.
Full textAbstract:
Cette these presente un procede d'organisation memoire a base de composants memoire multiports series. Ce procede d'echange d'informations permet d'envisager la realisation d'une memoire de donnees pour processeurs vectoriels. La bande passante memoire obtenue peut etre augmentee de facon modulaire, sans contrepartie liee par exemple a des contraintes pratiques de realisation. L'echange d'informations sur des liens series garantit un flot ininterrompu de donnees et permet l'obtention d'un rendement de pipeline maximum. Le premier chapitre presente le boitier memoire multiport serie et l'organisation memoire qui permet de s'affranchir des difficultes rencontrees dans les solutions classiques. La partie centrale presente les differentes organisations de donnees en memoire et les reseaux de realignement de donnees associes. Une description d'algorithmes de calcul d'adresse pour l'organisation de donnees choisie est proposee. L'auteur enchaine sur le couplage memoire multiport serie-operateur pipeline. Il detaille le fonctionnement general et le reseau de realignement de donnees. C'est l'objet du chapitre cinq. Le chapitre six est relatif au probleme de l'indirection avec proposition d'une solution adaptee. L'ebauche d'une architecture d'un processeur vectoriel a base de memoire multiport serie appele vec-m2s figure au chapitre sept. Le dernier chapitre evalue les performances de vec-m2s
41
Krajecki, Michaël. "Equilibre de charge dynamique : étude et mise en œuvre dans le cadre des applications à nombre fini de tâches indépendantes et irrégulières." Metz, 1998. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/1998/Krajecki.Michael.SMZ9818.pdf.
Full textAbstract:
Le parallélisme permet l'utilisation simultanée de plusieurs processeurs pour résoudre plus rapidement un problème. Cependant, multiplier la puissance de la machine par le nombre de processeurs est un idéal qui est en général très difficile à atteindre, car si la répartition des taches n'est pas optimisée, les performances du programme seront réduites. Le placement de ces tâches est un des problèmes principaux du parallélisme. Dans ce travail, nous étudions un environnement d'aide à la parallélisation pour les applications FTII (applications à nombre Fini de Tâches Indépendantes et Irrégulières). Cet environnement propose une première solution parallèle qui résout dynamiquement le problème d'équilibre de charge. L'environnement FTII met à la disposition de l'utilisateur différents outils dont : cinq algorithmes MIMD d'équilibre de charge dynamique, un modèle mathématique basé sur les matrices pour valider les algorithmes théoriquement et un environnement de programmation sur une machine parallèle virtuelle. Pour illustrer l'environnement FTII, nous considérons le lancer de rayons comme étude de cas. Nous avons montré le caractère irrégulier du lancer de rayons. En particulier, nous avons mis en évidence la dépendance existante entre le comportement de l'application et la scène à visualiser. A l'aide de l'environnement FTII, nous avons parallélisé le lancer de rayons et une analyse expérimentale sur CM-5 a été menée. L'environnement FTII, nous a permis de paralléliser efficacement le lancer de rayons sans se soucier de la machine cible ni de la stratégie d'équilibre de charge dynamique appliquée<br>Parallelism allows the use of several processors simultaneously to solve a given problem more quickly. However, to increase the power of the machine by the number of processors is an ideal which is in general very difficult to reach, because if the task allocation is not optimized, the performances of the program will be reduced. The placement of these tasks is one of the principal problems of parallelism. In this work, we study a toolkit helping the parallelization of the FIIT applications (applications with a finite number of independent and irregular tasks). The result of this toolkit is a first parallel solution which dynamically solves the problem of load balancing. The FIIT toolkit proposes various tools to the user such as : five MIMD load balancing strategies, a mathematical model based on matrix to validate the algorithms theoretically and an environment of programming on a virtual parallel machine. To illustrate the FIIT toolkit, we consider the ray tracing as case study. We showed the irregular character of the ray tracing. In particular, we highlighted that the behaviour of the application is strongly dependent on the scene to visualize. Using the FIIT environment, we parallelized it and an experimental analysis on a CM-5 was carried out. The FIIT toolkit enabled us to parallelize the ray tracing application efficiently without worrying about the target machine nor the dynamic load balancing strategy applied
42
Pérache, Marc. "Contribution à l'élaboration d'environnements de programmation dédiés au calcul scientifique hautes performances." Bordeaux 1, 2006. http://www.theses.fr/2006BOR13238.
Full textAbstract:
Dans le cadre du calcul scientifique intensif, la quête des hautes performances se heurte actuellement à la complexité croissante des architectures des machines parallèles. Ces dernières exhibent en particulier une hiérarchie importante des unités de calcul et des mémoires, ce qui complique énormément la conception des applications parallèles. Cette thèse propose un support d'exécution permettant de programmer efficacement les architectures de type grappes de machines multiprocesseurs, en proposant un modèle de programmation centré sur les opérations collectives de communication et de synchronisation et sur l'équilibrage de charge. L'interface de programmation, nommée MPC, fournit des paradigmes de haut niveau qui sont implémentés de manière optimisée en fonction de l'architecture sous-jacente. L'environnement est opérationnel sur la plate-forme de calcul du CEA/DAM (TERANOVA) et les évaluations valident la pertinence de l'approche choisie
43
Tourancheau, Bernard. "Algorithmique parallèle pour les machines à mémoire distribuée : application aux algorithmes matriciels." Grenoble INPG, 1989. http://tel.archives-ouvertes.fr/tel-00332663/.
Full textAbstract:
Différents résultats de complexité sont présentés pour les communications et le calcul sur des machines à mémoire distribuée. Les topologies concernées sont le réseau linéaire, l'anneau, la grille, l'hypercube et le réseau complet. Un réseau systolique est présenté pour l'algorithme de diagonalisation de Jordan. Une étude sur l'accélération et une étude de l'allocation des données sont formulées dans le contexte des mémoires distribuées
44
Legrand, Colette. "Informatique et handicap mental : contribution méthodologique à la mise en oeuvre et à l'évaluation d'une rééducation cognitive utilisant l'ordinateur." Compiègne, 1990. http://www.theses.fr/1990COMPD288.
Full textAbstract:
Le but de cette thèse est d'apporter une contribution théorique et pratique aux nouvelles perspectives pédagogiques et rééducatives qu'ouvre l'ordinateur pour des personnes intellectuellement déficientes. Elle retrace tout d'abord l'évolution de la bibliographie anglophone et francophone sur le sujet, de 1974 à 1989. Puis, à partir d'une expérimentation intensive en institution, elle analyse le travail sur ordinateur de 7 adultes déficients moyens (QI 60) pendant 2 ans. Elle propose une aide à la conception des activités, au choix et au classement des logiciels adaptés. Elle met en place une méthodologie quantitative et qualitative de l'évaluation des interactions spécifiques entre l'ordinateur, tuteur intellectuel, et la personne handicapée. Pour ce faire, elle utilise 4 filtres : les scores enregistrés, les études monographiques, la recherche des pré-requis sensorimoteurs et cognitifs à partir de la méthode des bases de données, l'analyse de l'influence des interactions homme-machine à partir des mathématiques floues. La thèse décrit les transferts possibles des acquis obtenus dans la vie quotidienne. Elle aborde les conditions de mise en place d'une nouvelle pratique professionnelle que l'on peut appeler rééducation cognitive. L'ensemble de la recherche est resitué dans une réflexion de société sur les conséquences de ces nouvelles pratiques.
45
HALLES, JEAN-PASCAL. "L'informatisation du dossier medical a l'hopital general ; analyse des besoins et revue des realisations actuelles au sein du programme de medicalisation des systemes d'information ; rappels sur les micro-ordinateurs et presentation d'un programme de gestion de l'information medicale, le logiciel toubib sur reseau de micro-ordinateurs." Lyon 1, 1990. http://www.theses.fr/1990LYO1M039.
Full text
46
Corne, Christophe. "Parallélisation de réseaux de neurones sur architecture distribuée." Mulhouse, 1999. http://www.theses.fr/1999MULH0583.
Full textAbstract:
Notre étude a pour objectif d'établir le rôle prépondérant que peuvent avoir les techniques parallèles dans la résolution de calculs complexes utilisant des réseaux de neurones. Nous présentons les différents modèles de réseaux de neurones afin d'évaluer leur adaptabilité au parallélisme et de retenir la meilleure méthode de parallélisation. La structure choisie est basée sur l'algorithme neuromimétique Self-Organizing Map (SOM). Nous parallélisons cet algorithme sur différents types de plate-formes à architecture distribuée, l'une d'entre elles étant un réseau de stations de travail. Nous présentons un réseau grossissant, auto-organisé dans sa généralité et détaillons la forme séquentielle de son algorithme fondateur. La parallélisation de ce dernier algorithme sur une architecture utilisant la norme SCI (Scalable Coherent Interface) comme moyen de communication nous permet de montrer l'intérêt à la fois d'un réseau d'ordinateurs comme ressources de calcul et de ce nouveau protocole à 1 Gigabit/s. Pour évaluer les performances de nos algorithmes et les faire fonctionner, nous avons dû soutirer la puissance optimale des matériels dont nous disposions. Nous avons constaté à cette occasion, que les ressources informatiques, prises dans leur ensemble, avaient un potentiel et une disponibilité en puissance de calcul largement inexploitée. Ces circonstances nous ont conduit à une réflexion sur l'optimisation des ressources informatiques et à la conception d'un logiciel de répartition des tâches, sur systèmes distribués. Nous détaillons le fonctionnement de ce logiciel nommé «ReTrop» et présentons succinctement ses débouchés industriels. Comme exemple d'utilisation de ce principe, nous présentons les résultats obtenus pour améliorer le choix des paramètres d'un réseau grossissant, auto-organisé.
47
Bernardi, Fabrice. "Conception de bibliothèques hiérarchisées de modèles réutilisables selon une approche orientée objet." Corte, 2002. http://www.theses.fr/2002CORT3068.
Full textAbstract:
Le domaine de la modélisation et de la simulation de systèmes est un domaine extrêmement vaste et complexe. De nombreux formalismes et de nombreuses techniques ont été développés depuis un certain nombre d'années, tous poursuivant le même objectif : dégager les meilleures métaphores et analogies permettant de mieux comprendre un phénomène quelconque. Cette multiplicité a conduit au développement de nombreux environnements de modélisation et de simulation le plus souvent incompatibles, et ce, même dans le cas d'environnements conçus sur la base d'un seul et même formalisme. Par ailleurs, les systèmes étudiés devenant de plus en plus complexes, la réutilisabilité des modèles est devenue une préocupation majeure. Devant ces constats, nous avons tenté d'apporter une contribution à l'élaboration de bibliothèques de modèles réutilisables pouvant être intégrés à différents environnements de modélisation et de simulation. Cette contribution repose sur la prise en compte de trois objectifs principaux qui sont la généricité de l'emploi, la gestion d'une hiérarchie d'abstraction et la gestion d'une hiérarchie d'héritage entre les modèles stockés. Nous donnons dans cette dissertation deux approches complémentaires du problème, l'une formelle et l'autre orientée objet. L'approche formelle permet de poser les bases du développement. Nous y définissons les concepts essentiels de contextes, d'éléments et d'arbres de stockage. Cette approche nous permet également d'introduire de quelles manières sont gérées les différentes hiérárchies à mettre en oeuvre. L'approche orientée objet est fondée sur les concepts développés dans l'approche formelle. Nous y définissons les packages et les classes définis et nous y détaillons le fonctionnement du moteur de stockage et de ses sevices. Notre approche est finalement illustrée par la présentation de son intégration avec un environnement de modélisation et de simulation, JDEVS.
48
Émirian, Frédéric. "Étude et conception d'une machine parallèle multi-modèles pour les réseaux de neurones." Toulouse, INPT, 1996. http://www.theses.fr/1996INPT091H.
Full textAbstract:
Les modeles de reseaux de neurones, constitues de cellules interconnectees travaillant simultanement, se pretent tres naturellement a une simulation sur architecture parallele. Cependant, l'obtention de bonnes performances sur les differents types de reseaux neuronaux impose d'avoir une machine suffisamment souple et dotee d'un reseau de communication tres performant. Dans cette etude, nous proposons une architecture parallele mimd dotee d'un reseau de communication en anneau a cordes dont les parametres topologiques sont optimises afin de reduire son diametre tout en le rendant partitionnable. Le modele de communication que nous choisissons est du type statique, point a point entre processeurs directement connectes, et sans aucun mecanisme de routage. Cette derniere restriction ne diminue en rien les performances dans la mesure ou les principales architectures neuronales sont elles-memes statiques ; elle nous permet en outre de simplifier le materiel et d'optimiser l'ordonnancement des travaux des processeurs explicitement par programme. Nous avons introduit une extension parallele du langage c implantant un modele de programmation du type spmd (parallelisme de donnees) avec instructions de communications globales afin de faciliter le developpement des applications. Ce langage permet d'effectuer un controle semantique assurant l'absence de risques d'inter-blocage des processeurs. Nous avons realise un compilateur generant du code pour un environnement de simulation, et nous avons ecrit des programmes pour les principaux algorithmes neuronaux ainsi que pour des algorithmes de traitement d'images afin de confirmer l'interet du couple architecture-langage choisi. Nous proposons des solutions pour une realisation materielle a base de processeurs de signaux et/ou d'asic ; notre etude porte essentiellement sur la realisation des liaisons de communication entre les nuds du reseau
49
El, Hani Omar. "Un modéle d'architecture pour les hypermédia éducatifs." Toulouse 3, 1993. http://www.theses.fr/1993TOU30232.
Full textAbstract:
Le but de cette these est de proposer une architecture de representation des systemes d'enseignement assiste par ordinateur (eao) et d'enseignement intelligemment assiste par ordinateur (eiao). Cette architecture doit s'appuyer sur des standards existants, notamment dans les domaines du multimedia et de l'hypermedia. Le memoire de cette these se compose de trois parties. La premiere partie du memoire presente une etude de l'existant. Le premier chapitre introduit les principes generaux des systemes d'eao et leur evolution vers les systemes d'eiao. Le second chapitre decrit la technologie multimedia et fait une synthese des standards multimedia. Le troisieme chapitre analyse le concept et la technologie hypermedia du point de vue pedagogique. Pour remedier aux limitations de l'hypermedia, nous suggerons une adaptation de ses structures et de ses fonctionnalites ainsi qu'une cooperation avec une base de connaissances distribuee. La seconde partie du memoire presente l'architecture proposee. Le quatrieme chapitre donne une specification informelle de l'architecture. Cette derniere integre a la fois les concepts multimedia, hypermedia et intelligence artificielle, selon une approche hybride (objets et regles de production). Le cinquieme chapitre presente une specification formelle de l'architecture. La troisieme partie presente un prototype de demonstration qui valide cette architecture
50
Senhadji, Mohamed. "Mise en oeuvre d'un outil de programmation en parallèle et son implantation sur la structure multiprocesseur à bus commun UTC." Compiègne, 1985. http://www.theses.fr/1985COMPS137.
Full text