Academic literature on the topic 'Mécanismes – Informatique'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Mécanismes – Informatique.'

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.

Journal articles on the topic "Mécanismes – Informatique"

1

Lemasson, Jean-Pierre. "Pour une informatique des libertés." Cahiers de recherche sociologique, no. 13 (April 19, 2011): 139–52. http://dx.doi.org/10.7202/1002080ar.

Full text
Abstract:
L’auteur examine l’impact de l’implantation des technologies de l’information sur la vie quotidienne des individus, à partir de deux questions particulières. Dans un premier temps, il examine les conditions, les ramifications et les effets liés à l’usage généralisé de banques de données de plus en plus nombreuses et performantes. Dans un deuxième temps, il présente les mécanismes actuels de contrôle de l’usage de ces banques de données. En conclusion, l’auteur propose des solutions basées sur la flexibilité même de la technique informatique et qui permettrait d’assurer une protection accrue des droits et des libertés.
APA, Harvard, Vancouver, ISO, and other styles
2

LÉWY, NICOLAS, FRANÇOIS GROSJEAN, LYSIANE GROSJEAN, ISABELLE RACINE, and CAROLE YERSIN. "Un modèle psycholinguistique informatique de la reconnaissance des mots dans la chaîne parlée du français." Journal of French Language Studies 15, no. 1 (March 2005): 25–48. http://dx.doi.org/10.1017/s0959269505001900.

Full text
Abstract:
Nous proposons un nouveau modèle psycholinguistique informatique du français. Le modèle, intitulé FN5, porte sur la reconnaissance de mots parlés, présentés en isolé (déterminant, adjectif antéposé, substantif) ou en suites de deux mots (déterminant et substantif, adjectif antéposé et substantif). Grâce à un lexique de plus de 17 000 mots, à une architecture connexionniste localiste, et à des mécanismes développés spécifiquement (processeur de position, groupements de connexions, et point d'isolation), le modèle peut simuler, de manière séquentielle ou simultanée, certains effets propres au mot isolé (fréquence, longueur, homophonie) ou à une suite de mots (coupure lexicale, enchaînement, liaison, effacement du schwa). De plus, le modèle tient compte de certaines différences qui existent entre le français standard et le français de Suisse romande (nombre de voyelles, durée vocalique en fin de mot, et statut du schwa). Nous décrivons ce modèle, présentons son interface graphique, et l'illustrons avec des exemples de simulation.
APA, Harvard, Vancouver, ISO, and other styles
3

Gardey, Delphine. "Mécaniser L'Écriture et Photographier la Parole." Annales. Histoire, Sciences Sociales 54, no. 3 (June 1999): 587–614. http://dx.doi.org/10.3406/ahess.1999.279766.

Full text
Abstract:
Aux débuts de cette investigation, une image familière : la dactylo, cette collaboratrice incontournable des administrations et des entreprises avant l'ère informatique, ce personnage popularisé depuis le début du siècle par les romans, les pièces de théâtre, les films. Une réalité et un mythe, une ambition pour les femmes mais aussi et bientôt une limitation de cette ambition. Dans tous les cas une figure centrale pour une histoire du travail féminin au 20esiècle. En arrière-plan l'univers des bureaux, un monde en pleine mutation à la fin du siàcle dernier. Les activités administratives s'affirment, les entreprises industrielles et les commerces s'organisent à une plus large échelle, les emplois augmentent considérablement en même temps qu'ils se diversifient et se féminisent. L'accomplissement du travail administratif est de plus en plus médiatisé par des objets et artefacts.
APA, Harvard, Vancouver, ISO, and other styles
4

Zerrouk, N. E., and C. Marche. "Une contribution expérimentale à l'étude de l'érosion d'une digue par submersion et son analyse." Revue des sciences de l'eau 18, no. 3 (April 12, 2005): 381–401. http://dx.doi.org/10.7202/705564ar.

Full text
Abstract:
Dans cet article, on décrit un essai réalisé sous conditions contrôlées en laboratoire concernant l'initiation et le démarrage de la rupture par submersion d'une digue de revanche homogène et en moraine, un matériel utilisé dans les ouvrages réels, de granulométrie étendue et sans cohésion. Les résultats obtenus sur cette digue expérimentale ont montré que le mécanisme de formation et d'érosion de brèche est très différent du mécanisme global et moyen de développement et de progression de la brèche adopté dans les modèles courants de calcul des ruptures de barrages. L'essai souligne l'importance de la turbulence et des pertes de charge locales dans certaines zones spécifiques de l'écoulement et met en évidence le rôle de l'instabilité des parois latérales de la brèche dont la base est sapée continuellement. L'essai a été stoppé à un moment précis, soit lorsque l'accroissement rapide du débit de rupture était confirmé, afin de préserver les caractéristiques géométriques précises de la brèche en cours de formation. Les données ainsi recueillies sur la rupture de la digue d'essai sont utiles à tout développeur voulant valider sa compréhension physique de l'érosion de brèche ou un outil de calcul visant à reproduire ce mécanisme. Le texte présente aussi une analyse comparative effectuée par un outil informatique de prévision, BRECHE, et la confrontation des résultats produits selon cinq méthodes publiées durant les dernières décennies et reconnues. Une appréciation des résultats obtenus par prévision et des nombreuses données issues de l'essai réalisé sur le modèle en laboratoire est présentée et discutée.
APA, Harvard, Vancouver, ISO, and other styles
5

Gile, Daniel. "La traduction et l’interprétation comme révélateurs des mécanismes de production et de compréhension du discours." Meta 35, no. 1 (September 30, 2002): 20–30. http://dx.doi.org/10.7202/002897ar.

Full text
Abstract:
Summary Translation (I/T) constraints reveal that the feeling of "comprehension" is relative and depends on functional requirements, on linguistic familiarity and on a psychological comfort threshold. Translators are aware of the importance of extra-linguistic knowledge and of the intrinsic ambiguity of language. The comprehension of specialized texts by Translators can be modeled using semantic net-like structures. Production is revealed to be a difficult process through errors occurring under I/T constraints. It is also highly vulnerable to linguistic interference. Passive and active lexical mastery of language can be analyzed using a Gravitational Model. Production of informative speech almost invariably involves the introduction of "secondary information" which is not part of the Message.
APA, Harvard, Vancouver, ISO, and other styles
6

Larocque, M., and O. Banton. "Gestion de la contamination des eaux souterraines par les fertilisants agricoles: application du modèle AgriFlux." Revue des sciences de l'eau 8, no. 1 (April 12, 2005): 3–20. http://dx.doi.org/10.7202/705210ar.

Full text
Abstract:
La contamination croissante des eaux souterraines par les fertilisations agricoles nécessite une gestion efficace de ces ressources impliquant l'utilisation combinée d'outils informatiques et de suivis de terrain. Le modèle AgriFlux a été développé afin de combler une lacune existant entre les modèles de recherche très complexes et les modèles de gestion peu flexibles. AgriFlux est un modèle de type mécaniste-stochastique, c'est-à-dire utilisant une représentation conceptuelle des mécanismes combinée à une prise en compte de la variabilité des paramètres et processus. Il permet l'évaluation de la contamination potentielle des eaux souter- raines par les fertilisants agricoles. Les modules HydriFlux (bilan hydrique) et NitriFlux (cycle de l'azote) sont actuellement disponibles. Une application du modèle est présentée dans l'optique de la gestion environnementale d'un système agricole. Le site expérimental étudié est localisé près de la ville de Québec (Canada). Il s'agit d'un limon sableux sous culture de maïs sucré (Zea Mays, L.) et recevant des fertilisations inorganiques selon les doses recommandées. Un échantillonnage de l'eau interstitielle a été réalisé sur un réseau de lysimètres avec tension durant deux saisons végétatives ainsi qu'un échantillonnage du sol durant un été. Le contenu en nitrates est déterminé dans les deux cas. Les concentrations en nitrates dans les eaux interstitielles simulées à l'aide d'AgriFlux représentent relativement bien les concentrations mesurées. Les différences observées peuvent être expliquées en partie par les conditions de grande sécheresse ayant prévalu durant la période d'étude. Les contenus en nitrates mesurés dans le sol sont moins bien représentés par le modèle. En début de saison, les variations rapides des contenus en nitrates observées au champ ne sont pas reproduites par le modèle alors que les valeurs de fin de saison sont mieux obtenues par le modèle. Malgré ces différences, la concordance au niveau des ordres de grandeur des concentrations dans l'eau obtenues du modèle et des mesures de terrain confirme l'intérêt d'un tel outil pour la gestion environnementale des contaminations agricoles des eaux souterraines.
APA, Harvard, Vancouver, ISO, and other styles
7

MERSCH, Marjorie, Sarah-Anne DAVID, Anaïs VITORINO CARVALHO, Sylvain FOISSAC, Anne COLLIN, Frédérique PITEL, and Vincent COUSTHAM. "Apports du séquençage haut-débit sur la connaissance de l'épigénome aviaire." INRA Productions Animales 31, no. 4 (January 23, 2019): 325–36. http://dx.doi.org/10.20870/productions-animales.2018.31.4.2372.

Full text
Abstract:
Comme toutes les espèces de rente, les oiseaux d'élevage ont été sélectionnés génétiquement afin d’augmenter leurs performances. Cependant, de nombreuses études ont montré que le phénotype d’un individu n’est pas le simple résultat de son patrimoine génétique. En effet, il est également sensible aux variations de l’environnement (température, nutrition…) qui peuvent notamment induire des altérations de marques épigénétiques aboutissant à des changements durables des programmes d’expression de gènes. Il est donc essentiel de comprendre comment les épigénomes sont régulés afin d’envisager de futurs leviers ou marqueurs d’adaptation des animaux. Aujourd’hui, le séquençage à haut-débit est devenu relativement abordable et les outils bio-informatiques matures pour envisager l’étude des marques épigénétiques à l'échelle du génome. Chez les oiseaux, un nombre croissant d'études utilisent ces technologies à haut-débit pour explorer les mécanismes épigénétiques impliqués dans des processus tels que l'immunité ou l'adaptation à l’environnement. Dans cette synthèse, nous décrivons en quoi ces technologies ont contribué à enrichir les connaissances sur l'épigénome aviaire et plus particulièrement celui du poulet, en nous focalisant sur les deux types de modifications épigénétiques les plus étudiées, la méthylation de l'ADN et les modifications post-traductionnelles des histones. Nous présentons également les concepts nécessaires à la conception et la réalisation des analyses haut-débit des épigénomes aviaires. En plus des connaissances fondamentales fortement attendues par la communauté scientifique, une meilleure compréhension des mécanismes épigénétiques à l’origine de la régulation de l’expression génique en réponse aux modifications environnementales chez l’oiseau pourrait contribuer au développement d’une production avicole durable.
APA, Harvard, Vancouver, ISO, and other styles
8

Rey, Joëlle, and Mercedes Tricás. "Stratégies de traduction : les introductions et les conclusions dans des textes de vulgarisation scientifique." Meta 51, no. 1 (May 29, 2006): 1–19. http://dx.doi.org/10.7202/012871ar.

Full text
Abstract:
Résumé Cette étude a pour objectif d’examiner les stratégies interprétatives mises en oeuvre pour traduire les introductions et les conclusions de textes de semi-vulgarisation scientifique. En effet, l’analyse d’éléments textuels déterminés, comme les signes qui contribuent à la construction d’un réseau de cohérence, les mécanismes d’agencement des segments et les marques de polyphonie et notamment le degré de spécialisation du lexique employé révèlent que, dans ces deux blocs textuels, le langage a une fonction essentiellement argumentative qui contraste avec la fonction informative de la partie centrale du texte. La non prise en compte de ces spécificités lors du processus de traduction peut introduire des modifications au niveau de la fonction pragmatique, du point de vue et de l’intention de l’auteur du texte original. L’interprétation du texte devrait donc intégrer les sens primaires et secondaires, les valeurs et les fonctions de ces deux espaces textuels pour que le texte traduit reproduise la même fonction d’introduction et de conclusion que l’original.
APA, Harvard, Vancouver, ISO, and other styles
9

Miendjiem, Isidore Léopold. "Le Père Noël des créateurs et diffuseurs des oeuvres de l’esprit au Cameroun : La Loi n° 2000/011 du 19 décembre 2000 relative au droit d’auteur et aux droits voisins." Revue générale de droit 32, no. 3 (January 20, 2015): 527–82. http://dx.doi.org/10.7202/1028081ar.

Full text
Abstract:
La loi française du 11 mars 1957 sur la propriété littéraire et artistique appliquée au Cameroun jusqu’en 1982 était inadaptée au contexte politico-culturel camerounais, ce qui a provoqué son remplacement par la Loi n° 82-18 du 26 novembre 1982 relative au droit d’auteur. Cette dernière a eu le mérite de protéger le folklore et les oeuvres qui s’en inspirent, mais avait la faiblesse de ne pas protéger les droits voisins du droit d’auteur. La nécessité de protéger les droits voisins a conduit à l’adoption de la Loi n° 90/ 010 du 10 août 1990 relative au droit d’auteur et droits voisins du droit d’auteur. Le développement prodigieux de l’informatique et des nouvelles technologies de l’information et de la communication, à l’origine de l’émergence d’oeuvres nouvelles et de nouvelles possibilités de diffusion, a rapidement révélé l’obsolescence de la loi de 1990. La loi adoptée le 19 décembre 2000 sur le droit d’auteur et droit voisin intègre l’environnement numérique dans lequel l’on vit désormais, élargit les catégories d’oeuvres protégées et améliore la condition matérielle des créateurs et diffuseurs des oeuvres de l’esprit. En droit positif camerounais, de nouvelles catégories d’oeuvres protégées sont venues enrichir l’éventail qui existait déjà. Il s’agit des oeuvres de commande et des oeuvres informatiques comme les logiciels, les bases de données, les oeuvres multimédias. En même temps, les mécanismes de protection des oeuvres de l’esprit ont été simplifiés et améliorés en vue de procurer aux créateurs et diffuseurs des oeuvres des garanties les plus efficaces. C’est ainsi qu’on note un renforcement des attributs moraux des auteurs et artistes et la sécurisation de leur rétribution en vue de les sortir de la précarité des conditions matérielles.
APA, Harvard, Vancouver, ISO, and other styles
10

AGABRIEL, J. "Avant-propos." INRAE Productions Animales 20, no. 2 (June 7, 2007): 107–8. http://dx.doi.org/10.20870/productions-animales.2007.20.2.3442.

Full text
Abstract:
L’alimentation des ruminants : un problème d’actualitéDans la conduite et la réussite d’un système de production de Ruminants, l’alimentation du troupeau reste un domaine très important qui continue de poser de nombreuses questions à la fois pratiques et théoriques. Pour l’éleveur, les postes récolte des fourrages et des céréales, achats d’aliments et entretien des surfaces fourragères représentent plus de 50 % des charges opérationnelles de son exploitation. Nourrir quotidiennement son troupeau lui impose de faire des choix de types de rations et en amont des choix stratégiques de long terme, sur la conduite de son système fourrager en considérant ses contraintes de milieu naturel, de bâtiments ou de stockage. La gestion de l’alimentation est directement liée à tous les autres choix stratégiques de l’activité d’élevage, le niveau de croissance des jeunes animaux, la reproduction, l’allotement la quantité et la qualité de la production. Pour le chercheur en nutrition animale, les enjeux sont devenus multiples et son positionnement a évolué : la recherche de la production maximale soutenue par l’alimentation a fait place à la volonté d’atteindre un optimum à la fois biologique, technique et économique selon les milieux dans lequel l’élevage est conduit. Il doit faire en sorte que la ration calculée par ses modèles satisfasse les besoins de l’animal selon les objectifs de production de l’éleveur, mais qu’elle participe également au bon état sanitaire et de bien-être du troupeau, qu’elle garantisse la qualité des produits et minimise l’impact défavorable des rejets sur l’environnement. La recherche en nutrition et alimentation des ruminants porte à la fois sur les fourrages, la physiologie digestive et métabolique de l’animal et son comportement alimentaire. En tenant compte de la complexité des mécanismes biologiques, les modèles nutritionnels doivent pouvoir simuler avec le maximum de précisions les flux de matières à travers le tube digestif et les organes sur des pas de temps variables, à la fois de court et de long terme. Cela reste un sujet perpétuellement en évolution qui exige aussi de synthétiser les connaissances sous forme d’outils d’aide à la décision et qui soit capable de présenter la qualité de ces outils et leurs limites d’usage. Une recherche qui se développe avec l’INRALes recherches pour aider à déterminer les choix d’alimentation des animaux en condition de production se sont concrétisées au cours du 20ème siècle. Les systèmes d’alimentation en énergie, azote et minéraux ont été développés en France après 1945. A l’INRA, le département Elevage des Ruminants sous l’impulsion de R. Jarrige avait initié une révision majeure des principes et des unités pratiques de terrain en 1978 en proposant un système énergétique construit sur la base de deux unités fourragères, lait et viande (UFL, UFV), un système des Protéines Digestibles dans l’Intestin (PDI) et des Tables complètes à la fois des besoins des animaux et de la valeur alimentaire des aliments. C’est notamment dans le domaine de la valeur nutritionnelle des fourrages que ces travaux étaient particulièrement riches. Ces «systèmes INRA» avaient alors été complétés par la première ébauche d’un modèle complètement nouveau de prévision de l’ingestion (système des Unités d’Encombrements UE) qui sera fortement remanié et amélioré dix ans plus tard lors de la révision de 1988. Ce nouvel ensemble, prévision de l’ingestion, estimation des besoins nutritionnels, a également permis d’accroître l’offre d’outils pratiques de terrain. En complèment des Tables imprimées, un outil informatique d’accompagnement et de rationnement «INRAtion» a été proposé dès 1992. Celui-ci s’est ensuite enrichi de l’outil de calcul de la prévision de la valeur des aliments «Prevalim;» et tous deux sont devenus des réceptacles appliqués des nouveautés scientifiques concernant les systèmes INRA. Mais, près de vingt ans après le dernier «Livre Rouge de l’Alimentation des bovins, ovins et caprins», une mise à niveau des ouvrages écrits s’imposait également et il est apparu nécessaire de proposer une actualisation des connaissances des principes du rationnement des ruminants. Les travaux des équipes de recherches ont permis de progresser aussi bien sur la caractérisation de la valeur des fourrages et des matières premières, que sur l’estimation des besoins des animaux et des apports nutritionnels recommandés dans des situations très diverses. Au delà des recommandations statiques, focalisées sur l’objectif de satisfaire les besoins, les lois de réponses dynamiques des pratiques alimentaires sont mieux connues et quantifiées. Elles permettent de mieux simuler les conséquences de la diversité des situations. L’objectif de l’ouvrage «Alimentation des bovins, ovins et caprins - Tables INRA 2007», sorti en février aux éditions Quæ, est ainsi de remettre sous la forme connue et largement adoptée par tous les acteurs des filières de l’élevage ruminant ces nouveaux résultats. Des documents complémentairesCependant le niveau scientifique choisi de l’ouvrage récemment paru et sa taille volontairement réduite pour en faire un ouvrage facilement accessible ont contraint les auteurs à aller à l’essentiel, les frustrant sans aucun doute d’une description et d’une discussion de fond de leurs résultats.En reprenant l’exemple de 1987 où le «livre rouge» publié par INRA Editions était complété par un numéro détaillé du Bulletin CRZVde Theix, nous avons donc décidé de publier un dossier dans la Revue INRA Productions Animales qui complète l’ouvrage de février. Ce dossier regroupe majoritairement des présentations et les explications des choix qui ont prévalu au développement des nouveaux modèles sous-tendus dans les recommandations. Il comporte 5 articles qui éclairent des points clés des innovations introduites en 2007, et qui correspondent soit à des nouveaux modèles mécanistes des fonctions de l’animal, soit à des méthodes de prévision de la valeur des fourrages, soit à des remises en cause plus profondes de l’ensemble apports, besoins comme c’est le cas pour la nutrition minérale.Toutefois, ce dossier n’est pas exhaustif des «nouveautés» du livre 2007. Certaines avaient été déjà publiées, soit dans des revues scientifiques, soit dans des sessions des «Rencontres Recherches Ruminants». Sans aucun doute d’autres viendront encore les compléter par la suite.Ainsi sont étudiés successivement des apports scientifiques sur la valeur des aliments et sur les besoins des animaux :1 - La dégradabilité des protéines dans le rumen (DT) et la digestibilité réelle des protéines alimentaires dans l’intestin grêle (dr). La valeur azotée des fourrages repose sur la bonne estimation de ces deux paramètres, qui sont la clé du calcul du système des protéines digestibles dans l’intestin PDI (article de M.-O. Nozières et al).2 - Les nouvelles valeurs minérales et vitaminiques des aliments. La possibilité de raisonner en éléments phosphore et calcium absorbables apporte de nouvelles précisions et modifie considérablement les quantités recommandées. L’article précise et actualise les Apports Journaliers Recommandés (AJR) d’éléments minéraux majeurs. Les autres minéraux, oligo-éléments et vitamines sont également revus de façon systématique et approfondie (article de F. Meschy et al).3 - De nouvelles équations statistiques de prévision de la digestibilité de la Matière Organique (dMO) des fourrages par la méthode pepsine-cellulase établies sur une banque de données couvrant une gamme plus importante de fourrages et de modes de conservation. La valeur énergétique des fourrages dépend en effet étroitement de la digestibilité de leur matière organique. Son estimation sur le terrain peut se faire à partir de méthodes de laboratoire comme la digestibilité pepsine-cellulase, utilisée en France depuis plus de vingt ans. Cette méthode est proposée pour sa bonne précision (article de J. Aufrère et al).4 - La composition du gain de poids chez des femelles adultes en période de finition qui permet de calculer ensuite directement le besoin en énergie et en protéines de l’animal. Ce modèle est suffisamment souple pour proposer un besoin face à un objectif de croissance donné, mais il propose aussi un niveau de croissance pour une ration d’un niveau énergétique donné. Ce nouveau modèle a été spécifiquement développé pour tenir compte de la très grande variabilité des situations pratiques rencontrées : la race, l’âge, le format, l’état d’engraissement initial et la vitesse du gain attendu (article de F. Garcia et J. Agabriel).5 - La capacité d’ingestion d’aliments par les vaches laitières au cours de leur lactation complète. Ce tout nouveau modèle s’adapte à tous types de vaches primipares, multipares et propose le nouveau concept de «lait potentiel» pour mieux décrire cette capacité d’ingestion. Ce concept est nécessaire pour répondre aux diverses stratégies des éleveurs dans la conduite de leurs animaux et qui ne souhaitent pas nécessairement les mener à leur maximum de production. Le modèle tient en effet compte de l’état initial de la vache au vêlage et des modifications d’état corporel qui accompagnent obligatoirement la conduite de la lactation (article de P. Faverdin et al).La Rédaction de la Revue a estimé judicieux de publier dans ce même numéro d’INRA Productions Animales, un travail très récent sur la teneur en matière grasse du lait de vache et sa prévision, qui pourra dans les années à venir se traduire concrètement dans les outils d’accompagnement de nos recommandations (article de Rulquin et al).A l’occasion de la publication de ce dossier, nous voulons plus particulièrement remercier tous les participants des Unités et Installations Expérimentales de l’INRA sans qui ces résultats ne seraient pas, ainsi que tout le personnel des Unités de Recherches qui ont participé dans les laboratoires ou derrière leurs écrans : l’Unité de Recherches sur les Herbivores (URH) de Clermont-Ferrand-Theix, l’Unité Mixte de Recherches sur la Production Laitière (UMR PL) de Rennes, l’Unité Mixte de Recherches Physiologie et Nutrition Animale (UMR PNA) de Paris, l’Unité Mixte de Recherches sur les Ruminants en Région Chaude (UMR ERRC) de Montpellier.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Mécanismes – Informatique"

1

Quétier, Benjamin. "EmuGrid : études de mécanismes de virtualisation pour l'émulation conforme de Grilles à grande échelle." Paris 11, 2008. http://www.theses.fr/2008PA112200.

Full text
Abstract:
Dans le cadre des systèmes distribués, l'émulation est une méthodologie très importante. Elle permet de tester des applications réelles, de vérifier expérimentalement certaines de leurs propriétés et de réaliser des mesures, dans un environnement contrôlé. Cependant, il n'existe aucun émulateur pour la très grande échelle possédant des caractéristiques essentielles comme la reproductibilité. Le but de cette thèse est de concevoir un environnement d'émulation de systèmes distribués à grande échelle (100K nœuds). Les travaux réalisés ont consisté, à recenser les différents moyens d'évaluer de tels systèmes. Ensuite, nous avons défini les caractéristiques attendues pour un outil d'émulation permettant d'obtenir un grand nombre de machines tout en respectant les caractéristiques essentielles d'isolation, de reproductibilité, etc. Cette spécification est à la base d'une proposition d'architecture pour l'outil V DS (Virtualization environment for large-scale Distributed Systems). La suite de la thèse décrit les choix d'implantation et la sélection des composants logiciels nécessaires à sa réalisation. Des expériences ont été réalisées avec 10K machines virtuelles sur un cluster de 250 nœuds pour valider les propriétés recherchées initialement. V DSV-DS a été utilisé pour étudier l'impact de la virtualisation sur des exécutions d'applications parallèles. Nous avons mesurer des temps d'exécution de processus MPI en variant la quantité de machines virtuelles par machine physique. V DS a aussi servi à tester le passage à l'échelle d'implantation de différentes DHT. Enfin, l'émulateur est en cours d'amélioration pour permettre l'émulation de la couche "liaison de données"
In the distributed systems domain, emulation is a significant methodology. It allows to test real applications, observe their behavior, experimentally verify some of their properties and achieving measurements in a controlled environment. However, there is no emulator for the large scale which owns essential characteristics like reproducibility. The main goal of this thesis is to make up an environment to emulate large scale distributed systems (typically 100 000 nodes). The accomplished work has been first to enumerate the different ways for evaluating distributed system at large scale. Then, we have defined expected characteristics for a tool which could emulate many machines while showing essentials characteristics like fairness, reproducibility, etc. This specification is the root of an architecture proposal for the V-DS tool (Virtualization environment for large-scale Distributed Systems). The continuation of this thesis describes implementation choices and the software / middleware selection to realize the emulator. A set of experiments achieved with 10 000 virtual machines on a 250 nodes cluster with bi-processors validates the initially defined properties. The validated emulator has been used to study virtualization impact on parallel applications execution. Experiments have mainly consisted in measuring execution time of MPI (Message Passing Interface) processes by varying the amount of virtual machines per physical node. V-DS has permitted us to test how scale different Distributed Hash Table (DHT) implementations. At last, the emulator is actually being upgraded to allow “data link” network layer emulation
APA, Harvard, Vancouver, ISO, and other styles
2

Carmo, Rosa Maria Leão. "Le réseau DQDB : spécification, modélisation et évaluation de performances de mécanismes pour des services temps réel." Toulouse 3, 1994. http://www.theses.fr/1994TOU30243.

Full text
Abstract:
Cette these se situe dans le contexte du reseau metropolitain dqdb et son objet est de specifier, modeliser et evaluer des mecanismes d'un service de communication temps reel pour du trafic isochrone oriente connexion. Le mecanisme qa (queue arbitrated), qui est le mecanisme de base du reseau dqdb pour l'acces au bus, est tout d'abord analyse sur la base du modele reseaux de petri temporises stochastiques. Une technique de modelisation structuree, qui permet de maitriser la complexite de la modelisation, est, en particulier, definie. Ensuite, un environnement pour supporter des communications temps reel, sur la base de l'acces pa (pre-arbitrated), est specifie. Il consiste en: une strategie d'ordonnancement centralise de connexions et un couple service-protocole pour l'ouverture et la fermeture de connexions. La strategie d'ordonnancement est basee sur deux algorithmes: un algorithme d'ordonnancement hors-ligne qui est une version discrete de l'algorithme rate monotonic et un algorithme de changement en-ligne d'une sequence temporelle (changement de mode). La correction de l'algorithme de changement de mode a ete prouvee (ni perte, ni duplication de trames). Enfin le couple service-protocole pour etablir et fermer les connexions, c'est-a-dire allouer et liberer la bande passante, est specifie en termes de primitives de service et de pdus. Le couple service-protocole est modelise successivement avec les reseaux de petri etiquetes et les reseaux de petri temporises stochastiques. Le premier modele permet de faire une analyse qualitative des mecanismes d'echange specifies. Le deuxieme modele permet l'evaluation des temps d'ouverture et de fermeture des connexions
APA, Harvard, Vancouver, ISO, and other styles
3

Gaugain, Claire. "Exploitation bioinformatique des relations entre mécanismes moléculaires et fonctions cellulaires." Bordeaux 2, 2007. http://www.theses.fr/2007BOR21461.

Full text
Abstract:
L'intégration des données biologiques est un des principaux défis de la bioinformatique aujourd'hui. La mise à disposition de quantité importante de données concernant tous les niveaux d'organisation de la cellule, nécessite la mise en place de stratégies d'intégration pour rassembler toutes ces données, et ainsi mieux comprendre le fonctionnement de la cellule. Nous nouds sommes intéressés à l'exploitation du concept de voisinage pour représenter et intégrer des données biologiques. Dans un premier temps, notre travail met l'accent sur l'importance du choix de la représentation pour mener une intégration efficace. Notre étude sur la représentation du métabolisme a montré que les modes élémentaires sont une alternative pertinente à la représentation classique sous forme de voies métaboliques. De plus, les modes élémentaires nous ont permis de trouver des routes métaboliques utilisées par la cellule en réponse à divers stress. Nous avons également exploité le voisinage dans une perspective de génomique comparative. Nous avons cherché à déterminer si le voisinage d'expression peut être une signature pour les gènes, et s'il peut être utilisé pour caractériser des gènees, en établissant des équivalences entre des génomes (orthologues ou gènes fonctionnellement similaires). Les résultats présentés confirment l'intérêt de l'exploration du voisinage, des gènes et de leur produit, pour intégrer des données hétérogènes. L'efficacité de cette exploration est fortement liée au choix de la représentation des connaissances
Biological data integration is one of the major challenge in bioinformatics today. The availability of amounts of data concerning all the level of cell organisation, requires strategies of integration to bring together these data and thus better understand how the cell works. We have focused our work on the use of the concept of neighbourhood in order to represent and integrate data. First, our work emphasizes the importance of the choice of data representation for an efficient integration. Our study on metabolism representation shows that elementary modes are a relevant alternative to the classical representation of metabolism as metabolic pathways. Moreover, elementary modes have enabled us to find metabolic routes used by the cell in response to stressed. We have also used the neighbourhood in a new angle, the one of comparative genomics. We tested if expression neighbourhood of genes (set of genes with close expression profiles) can be a signature for genes, and if it can be used to define functional similarities between genes from different organisms. The work presented here, shows the interest of the exploration of gene and protein neighbourhood in order to integrate heterogeneous data. The efficiency of this exploration is highly related to the choice of knowledge representation
APA, Harvard, Vancouver, ISO, and other styles
4

Elbaz, Reouven. "Mécanismes matériels pour des transferts processeur mémoire sécurisés dans les systèmes embarqués." Montpellier 2, 2006. http://www.theses.fr/2006MON20119.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ardourel, Gilles. "Modélisation des mécanismes de protection dans les langages à objets." Montpellier 2, 2002. http://www.theses.fr/2002MON20183.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Mounyol, Roger. "Poste de programmation pour la commande cinématique des robots manipulateurs." Paris 11, 1989. http://www.theses.fr/1989PA112045.

Full text
Abstract:
Le but des transformations cinématiques inverses est de définir des mouvements articulaires autour d'une configuration afin de réaliser une trajectoire désirée de l'organe terminal. C'est un thème capital en robotique compte tenu de son impact sur la performance des tâches industrielles : l'assemblage, le soudage, ou la peinture. Ce travail a consisté à intégrer dans un environnement de programmation contenant des outils C. A. O des algorithmes déterminant les mouvements articulaires pour la commande d'un manipulateur quelconque. L'applicabilité de ces algorithmes en temps réel grâce à divers procédés est augmentée par l'environnement de RCCL, "Robot Control under C Language" qui est construit autour d'un noyau temps réel et dont l'organisation est basée sur une bibliothèque de fonctions de commande. Dans le cas spécifique des manipulateurs redondants, l'approche présentée admet que le mouvement cartésien d'un point présentant un danger de collision avec un obstacle est connue en même temps que la tâche de l'effecteur. Dans la plupart des cas, ce mouvment est transformé en un terme d'optimisation pratique pour l'évitement d'obstacles
The aim of Inverse Kinematic transformation is to define joint motions around a configuration to obtain a desired end-effector trajectory, specified by operational coordinates. In Robotics we are interested in the performance of complex tasks industrial such as welding, assembly, or painting which all need the inverse kinmatic control. We present in this thesis efficient algorithms for solving the Inverse kinematic command used in any robot manipulator. The constraints of real time are harsly treated. The methodologes implemented take in account the position and speed aspects. In case of redundancy, the approach presented here assumed the motion of one link to be prescribed as an input and found the displacement of the rest of the mechanism as they incremented input. In fact this approach specifies an additionnal desirable trajectory which may allow an obstacle avoidance. Our programms are included by RCCL, "Robot Control under C library" which the real time advantages are well known. The singularity problem in relation to the redundancy is also analized
APA, Harvard, Vancouver, ISO, and other styles
7

Del, Rio Alberto. "Mécanismes de reconnaissance chirale en chromatographie liquide haute performance : études théoriques et chimio-informatiques." Aix-Marseille 3, 2005. http://www.theses.fr/2005AIX30061.

Full text
Abstract:
Des études théoriques et chimio-informatiques sont présentées dans le domaine de la reconnaissance énantiosélective. Des approches telles que: modélisation moléculaire, DFT, techniques de QSAR et d'autres procédures d'extraction de données ont été employées. L'intérêt est l'établissement de relations entre les données expérimentales disponibles et des algorithmes basés sur la description mathématique des molécules chirales. Les résultats des calculs plaident pour une utilisation de ces techniques comme stratégie de base pour réaliser des systèmes fiables de prédiction, pour élucider les mécanismes de reconnaissance chirale, pour concevoir de nouveaux récepteurs chiraux ainsi que pour corroborer et aider les techniques expérimentales. Le champ d'application de ces méthodes intéresse le milieu universitaire comme les industries, en s'étendant des réactions énantiosélectives aux séparations analytiques et semi-préparatives ou à la production à grande échelle des composés énantiopurs
Combined theoretical and chemoinformatics studies are presented in the field of enantioselective recognition. Several approaches are used such as molecular modeling, DFT calculations, molecular dynamics, QSAR techniques and other data mining procedures. The focus is the establishment of connections between available experimental data and these diverse algorithms based on the mathematical and topological description of chiral molecules. The outcomes of the aforementioned calculations account for a use of these techniques as a core strategy to achieve reliable prediction systems, infer the mechanisms of chiral recognition, generate new lead chiral receptors and assist experimental techniques such as chiral liquid chromatography. Moreover, computational methods promise to have a wide range of applications for both academia and industries, ranging from enantioselective reactions to analytical and semi-preparative separations or large-scale, production of enantiopure compounds
APA, Harvard, Vancouver, ISO, and other styles
8

He, Ruan. "Architecture et mécanismes de sécurité pour l'auto-protection des systèmes pervasifs." Paris, Télécom ParisTech, 2010. https://pastel.hal.science/pastel-00579773.

Full text
Abstract:
Un système pervasif est un environnement dans lequel l'homme peut interagir avec des équipements qui ont des capacités de calcul et de communication. Dans cette thèse, un système pervasif correspond à un réseau (composé de terminaux) qui est :1- distribué et décentralisé: les terminaux sont physiquement distribués dans une région et sont reliés entre eux par des connexions sans fil. Quelque soit leur localisation physique, la communication sans fil les rend connectés entre eux. En plus, cette architecture distribuée demande souvent une coordination décentralisée des terminaux. 2- dynamique et ouvert : les terminaux, en particulier les terminaux mobiles, peuvent rejoindre et quitter un réseau pervasif à tout moment. Cette ouverture rend l’architecture du système dynamique : c'est-à-dire que la topologie du système évolue au cours du temps pendent l’exécution. Ce caractère dynamique de l'architecture nécessite une modélisation du système très flexible pour décrire les topologies variantes du système. 3 - complexe et de grande taille : l’échelle de ces systèmes peut atteindre des centaines voire des milliers de terminaux. La coordination de ces terminaux qui gère non seulement ces terminaux, mai également leurs connexions est d’un niveau de complexité élevé. Au lieu de solutions traditionnellement centralisées qui gèrent un petit nombre de terminaux, les systèmes pervasifs à grande échelle devraient appliquer une solution plus efficace
In this thesis, we propose: - A three-layer abstract architecture: a three-layer self-protection architecture is applied to the framework. A lower execution space provides running environment for applications, a control plane controls the execution space, and an autonomic plane guides the control behavior of the control plane in taking into account system status, context evolution, administrator strategy and user preferences. - An attribute-based access control model: the proposed model (Generic Attribute-Based Access Control) is an attribute-based access control model which improves both the policy-neutrality to specify other access control policies and exibility to enable fine-grain manipulations on one policy. - A policy-based framework for authorization integrating autonomic computing: the policy-based approach has shown its advantages when handling complex and dynamic systems. In integrating autonomic functions into this approach, an Autonomic Security Policy Framework provides a consistent and decentralized solution to administer G-ABAC policies in large-scale distributed pervasive systems. Moreover, the integration of autonomic functions enhances user-friendliness and context-awareness. - A terminal-side access control enforcement OS: the distributed authorization policies are then enforced by an OS level authorization architecture. It is an effcient OS kernel which controls resource access through a dynamic manner to reduce authorization overhead. On the other hand, this dynamic mechanism improves the integrability of di_erent authorization policies. - An adaptation policy specifcation Domain Speci_c Language (DSL) for adaptation policy specification
APA, Harvard, Vancouver, ISO, and other styles
9

Araujo, Ribeiro João. "Mécanismes du système d'exploitation pour le support du multimédia." Versailles-St Quentin en Yvelines, 1999. http://www.theses.fr/1999VERS0009.

Full text
Abstract:
L'augmentation de la vitesse et de la puissance des processeurs actuels nous a donné la possibilité d'utiliser les stations de travail pour réaliser des communications multimédia. Malheureusement, ce genre d'application a besoin de ressources en temps réel que les systèmes d'exploitation actuels ne sont pas capables de fournir. Les applications multimédia ont besoin d'une réservation de ressources. Le contrôle de la qualité de service ne sera pas complet s'il ne tient pas compte des limitations du processeur en ce qui concerne les besoins temps réel du multimédia. Il faut, donc, fournir des fonctionnalités pour que le système d'exploitation puisse assurer au moins des valeurs acceptables de la qualité de service demandées par les applications. Dans ce travail nous proposons un nouvel ordonnancement des tâches multimédia capable de supporter aussi bien les tâches multimédia que les tâches ordinaires. Nous proposons aussi une architecture qui permet la création et le lancement des applications multimédia. Ces propositions permettent la réalisation d'un contrôle de la qualité de service délivrée à l'utilisateur. Pour illustrer notre proposition, nous avons implémenté un prototype de l'architecture proposée sur le micro-noyau rt-mach et nous avons procèdé des modifications dans son séquenceur de tâches.
APA, Harvard, Vancouver, ISO, and other styles
10

Constantin, Joseph. "Contrôle-Commande d'un bras robotique planaire par approches neuromimétiques." Amiens, 2001. http://www.theses.fr/2001AMIE0001.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography