Les productions artisanales de l'homme font partie des témoins culturels les plus pertinents pour l'étude des périodes préhistoriques et protohistoriques, dans la mesure où elles sont issues de savoir-faire, de techniques et de conceptions morphologiques et fonctionnelles qui mêlent tradition et changement. Au sein de cette culture dite « matérielle », l'armement métallique occupe une place cruciale puisqu'il est le point de rencontre entre les artisans et le point confrontation entre les peuples.<br /> <br /> L'histoire de l'apparition et de l'évolution des armes métalliques répond à une série de besoins, de possibilités et de contraintes qui sont principalement liées à 3 facteurs : <br /><br />- le matériau, qui permet la réalisation de formes complexes et parfaitement adaptées à un usage souhaité, dont la solidité et l'efficacité peuvent atteindre de haut degrés en fonction des compétences des artisans. <br />- les stratégies militaires et leurs innovations, qui sont en constante interaction avec les possibilités matérielles (quantitatives et qualitatives) et l'environnement social et politique à différentes échelles (contrôle palatial ou système moins hiérarchisé, périodes d'insécurité ou de guerre ouverte, etc.)<br />- les traditions artisanales et culturelles. L'accumulation des savoir-faire est pondérée par les refus d'emprunts et surtout les choix culturels. Ces derniers sont au cœur de la problématique envisagée. En effet, les formes et les types sont en lien direct avec une préférence qui n'est souvent pas régie par une contrainte technique, mais plutôt par une volonté identitaire.<br /> <br /> Nous avons choisi d'orienter nos recherches en prenant en compte autant que possible l'ensemble de ces problèmes en toile de fond. Cependant, la principale base documentaire est constituée d'un vaste corpus d'armes en métal.<br /><br /> Aucune synthèse générale n'avait encore été menée jusqu'ici, chacune étant concentrée sur une période, une région et/ou une forme bien précise. Il nous semblait pertinent d'étudier le phénomène dans son ensemble, à la fois sur la longue durée et sur une aire géographique large.<br /> Afin de connaître et de comprendre les modalités d'apparition, de développement et de diffusion des formes et des types d'armes, il est apparu nécessaire de mettre en place une base de données permettant de gérer la documentation à la fois riche et variée. Plus de 6130 armes sont répertoriées et le plus souvent illustrées, sur un espace s'étendant de la mer Égée jusqu'à la Bactriane, du Caucase au delta du Nil et de Chypre au Golfe arabo-persique, et ce du milieu du Ve au début du IIe millénaire avant notre ère.<br /> La base de données s'organise en une soixantaine de champs correspondants aux principaux éléments descriptifs des objets, mais également de leurs contextes. À côté des données intrinsèques (morphologie, dimensions, composition), extrinsèques (région, structure, assemblage, contexte) et documentaires (bibliographie), des résultats analytiques sont essentiels (typologie, chronologie). La base de données a été intégrée à un SIG, permettant ainsi une cartographie variée et évolutive de la répartition des armes sur plus de 620 sites.<br /> <br /> Les résultats de l'analyse typochronologique et de la répartition des armes permettent d'appréhender l'évolution, la transmission et les échanges de façon dynamique. La complexité entrevue et les nombreuses nuances observées témoignent d'une évolution non linéaire liée à des facteurs techniques, conceptuels et sociopolitiques en constante interaction.<br /> <br /> Bien qu'inégalement réparties dans le temps et l'espace, les données iconographiques livrent des informations précieuses à la fois sur la perception, l'utilisation militaire et le rapport culturel à l'armement. <br /> <br /> Enfin, pour ne pas restreindre cette recherche aux seuls enjeux matériels, une large part de l'étude est consacrée aux divers contextes, en particulier les dépôts et les tombes. Les données funéraires sont en effet très variées et offrent la possibilité d'établir le degré de relations entre les armes et les hommes.<br /><br /> En réalisant cette synthèse globale de l'évolution des armes métalliques depuis les origines jusqu'au milieu de l'âge du Bronze, nous avons tenté, à travers l'analyse exhaustive des objets et du contexte de leur découverte, de comprendre les trajectoires, les échanges et les transferts techniques et conceptuels au sein des sociétés du Proche et du Moyen-Orient. Cette recherche, volontairement entreprise sur un espace géographique vaste et sur la longue durée, nous a surtout permis de nous interroger sur des thèmes dépassant le cadre matériel, tels que l'identité, les mécanismes de diffusion des techniques et des savoirs, le conservatisme face à l'innovation, ainsi que la diversité culturelle des sociétés de l'Orient ancien.

La validation, incluant vérification fonctionnelle et évaluation de performance, est un processus critique pour la conception de designs matériels complexes : un design fonctionnellement correct peut s'avérer incapable d'atteindre la performance ciblée. Plus un problème dans un design est identifié tard, plus son coût de correction est élevé. La validation de designs devrait donc être entreprise le plus tôt possible dans le flot de conception. Cette thèse présente un formalisme de modélisation par composition, couvrant les aspects fonctionnels et temporisés des systèmes matériels, et définit une approche d'évaluation de performance afin d'analyser les modèles construits. Le formalisme de modélisation défini, appelé Interactive Probabilistic Chain (IPC), est une algèbre de processus a temps discret. Nous avons défini une bisimulation de branchement et prouvé sa congruence par rapport à l'opérateur de composition parallèle, nous permettant une approche compositionnelle. les IPCs peuvent être vues comme une transposition des Interactive Markov Chains dans un espace de temps discret. Pour l'évaluation de performance, une IPC complètement spécifiée est transformée en une chaîne de Markov à temps discret, qui peut être analysée. De plus, nous avons défini une mesure de perfor- mance, appelée latence, et un algorithme permettant de calculer sa distribution moyenne sur le long terme. A l'aide d'outils permettant de traiter les IPCs, développés sur la base de la boîte à outils CADP, nous avons étudié les aspects de communication d'un design industriel, l'architecture xSTream, développée chez STMicroelectronics.

Les travaux présentés dans ce document sont orientés vers la vérification formelle de propriétés de sûreté dans le cadre de la conception des systèmes enfouis. Nous nous plaçons dans le formalisme du modèle polyédrique, combinaison des systèmes d'équations récurrentes affines avec les polyèdes entiers. Ce modèle permet de faire de la synthèse de haut niveau pour générer des architectures parallèles à partir de la description d'un système régulier dont les dimensions sont définies par des paramètres symboliques. Nous nous intéressons à la vérification de propriétés de sûreté portant sur des signaux booléens de contrôle, générés ou introduits manuellement lors de la synthèse. Les propriétés sur de tels signaux seront appelées propriétés de contrôle. Nous montrons dans ce document que le modèle polyédrique est adapté pour la vérification formelle de propriétés de contrôle.<br /> Dans ce travail, nous développons une "logique polyédrique" qui nous permet de spécifier et prouver des propriétés dans le modèle polyédrique. La syntaxe et la sémantique des formules logiques s'appuient sur celles d'un langage de description de systèmes d'équations récurrentes affines sur des domaines polyédriques. Les règles de déduction sont de différents types : des règles "classiques" sur les connecteurs logiques, des règles de réécriture et des règles induites par des calculs dans le modèle. Nous développons des algorithmes pour automatiser la construction des preuves, ainsi que des techniques heuristiques permettant d'accélérer cette construction. Ces algorithmes nous permettent de prouver des propriétés simples, comme par exemple la propriété qu'un signal vaut toujours vrai pour un ensemble de processeurs et une durée déterminés. Nous présentons ensuite et commençons à développer des pistes afin d'enrichir notre logique pour exprimer des propriétés plus complexes, comme par exemple des propriétés d'exclusion mutuelle. Nous présentons quelques tactiques de preuve pour ces propriétés plus riches.

Le IIIe millénaire au Proche-Orient voit l'essor d'une riche production d'objets ornés d'images. Cette production matérielle est propre à une période durant laquelle la société mute et crée des objets et des images susceptibles de suggérer et de véhiculer les principes mêmes qui la définissent. Elles mettent en scène des individus à travers la figuration de thèmes récurrents, principalement centrés sur la victoire militaire et les cérémonies sociales et religieuses. Une des formes de cette production visuelle est incarnée par les panneaux figuratifs, constitués de bois, incrustés de pièces en coquille marine et organisés en registres. Ces panneaux n'ont pas été préservés, et seules subsistent les incrustations. Le sujet de cette thèse porte sur les fragments d'incrustations retrouvés à Mari, datés du deuxième tiers du IIIe millénaire. À ce jour, Mari est la cité qui a fourni le plus grand nombre de fragments et sa production doit être envisagée comme faisant partie intégrante de la culture matérielle et visuelle du Proche-Orient à cette époque. Notre approche de ces objets s'articule autour de trois axes : une analyse matérielle des pièces et de leur contexte de découverte ; une analyse iconographique ; une analyse comparative de fragments d'incrustations retrouvés dans d'autres cités du Proche-Orient et datés de la même période. Cette étude nous a ainsi permis d'aborder la nature et la fonction de ces objets, ainsi que les modalités de représentation de cette époque et de ce type de support.

Ce travail propose une approche des drogues et dépendances du point de vue d'une anthropologie par la culture matérielle. Le rapport aux objets est interrogé dans le contexte de la consommation de drogues licites et illicites, « réelles » et métaphoriques. Par un triple travail ethnographique – pauses café-cigarette, cannabis et pratique du jeu vidéo – le processus d'actualisation du sens construit dans l'action est décrit et analysé, au-delà de sa dimension symbolique. La dépendance, en tant que « catégorie » de relation aux objets et à autrui dans la vie quotidienne, est mise en regard avec les notions de routine et de ritualisation. La « drogue » apparaît comme « objet de pouvoirs » : elle cristallise l'idée de puissance de l'objet sur le sujet ; elle exemplifie les effets de domination inhérents à la construction sociale des normes (déviance, légitimité). L'attention ainsi portée au corps en action sur la matière et sur autrui amène à une réflexion plus large sur sa place dans le processus de subjectivation, entendu comme construction d'un sujet agissant sur lui-même en s'inscrivant dans des réseaux de pouvoirs.

Dans le cas des sols et plus généralement des milieux granulaires, qui sont des matériaux<br />non-associés, des ruptures diffuses existent pour des états de contrainte strictement inclus à<br />l'intérieur de la condition limite de plasticité. Nous proposons d'analyser ces ruptures comme<br />un phénomène de bifurcation : la rupture diffuse est un mode de déformation qui correspond<br />à une branche bifurquée avec perte d'unicité constitutive au point de bifurcation. Les points<br />de bifurcation sont détectés à l'aide du signe du travail du second ordre, soit la forme locale<br />du critère de stabilité de Hill. Les analyses présentées portent principalement sur des<br />simulations directes par la Méthode des Eléments Discrets. Pour des assemblages<br />granulaires numériques de différentes densités, un domaine de bifurcation est mis en<br />évidence à l'intérieur du critère de Mohr-Coulomb. Des conditions de sollicitation<br />conduisant à la rupture du matériau à partir d'un point de bifurcation sont données et des cas<br />de rupture diffuse sont modélisés. On parvient ainsi à reproduire et prévoir des ruptures non<br />décrites dans le cadre de l'élasto-plasticité classique. Finalement les origines microscopiques<br />(à l'échelle des contacts) du travail du second ordre sont analysées.

Cette thèse est élaborée en cotutelle entre l'université Badji Mokhtar (Laboratoire LERICA) et l'université de bourgogne (Laboratoire LE2I, UMR CNRS 5158). Elle constitue une contribution à l'étude et l'implantation de l'encodeur H.264/AVC. Durent l'évolution des normes de compression vidéo, une réalité sure est vérifiée de plus en plus : avoir une bonne performance du processus de compression nécessite l'élaboration d'équipements beaucoup plus performants en termes de puissance de calcul, de flexibilité et de portabilité et ceci afin de répondre aux exigences des différents traitements et satisfaire au critère " Temps Réel ". Pour assurer un temps réel pour ce genre d'applications, une solution reste possible est l'utilisation des systèmes sur puce (SoC) ou bien des systèmes multiprocesseurs sur puce (MPSoC) implantés sur des plateformes reconfigurables à base de circuit FPGA. L'objective de cette thèse consiste à l'étude et l'implantation des algorithmes de traitement des signaux et images et en particulier la norme H.264/AVC, et cela dans le but d'assurer un temps réel pour le cycle codage-décodage. Nous utilisons deux plateformes FPGA de Xilinx (ML501 et XUPV5). Dans la littérature, il existe déjà plusieurs implémentations du décodeur. Pour l'encodeur, malgré les efforts énormes réalisés, il reste toujours du travail pour l'optimisation des algorithmes et l'extraction des parallélismes possibles surtout avec une variété de profils et de niveaux de la norme H.264/AVC.Dans un premier temps de cette thèse, nous proposons une implantation matérielle d'un contrôleur mémoire spécialement pour l'encodeur H.264/AVC. Ce contrôleur est réalisé en ajoutant, au contrôleur mémoire DDR2 des deux plateformes de Xilinx, une couche intelligente capable de calculer les adresses et récupérer les données nécessaires pour les différents modules de traitement de l'encodeur. Ensuite, nous proposons des implantations matérielles (niveau RTL) des modules de traitement de l'encodeur H.264. Sur ces implantations, nous allons exploiter les deux principes de parallélisme et de pipelining autorisé par l'encodeur en vue de la grande dépendance inter-blocs. Nous avons ainsi proposé plusieurs améliorations et nouvelles techniques dans les modules de la chaine Intra et le filtre anti-blocs. A la fin de cette thèse, nous utilisons les modules réalisés en matériels pour la l'implantation Matérielle/logicielle de l'encodeur H.264/AVC. Des résultats de synthèse et de simulation, en utilisant les deux plateformes de Xilinx, sont montrés et comparés avec les autres implémentations existantes

Le sous-continent latino-américain vit dans une pauvreté endémique où la lutte pour la survie est au quotidien. Les peuples deviennent de plus en plus pauvres et la vie de la personne humaine est méprisée. Est-il question d’une carence de biens matériels ou d’une mauvaise répartition de la richesse? Nous affirmons qu’il s’agit d’une situation de domination, d’oppression et d’injustice institutionnalisée. Ce mémoire tend à faire une lecture de l’éthique théologique de la libération d’Enrique Dussel dans une perspective émancipatoire. Nous partons du principe que cette éthique matérielle de la vie peut donner une réponse à la morale dominatrice établie et peut contribuer à la transformation de la situation injuste. L’éthique théologique de la libération dusselienne analyse l’être latino-américain considéré comme autre par le système en vigueur et cherche à changer qualitativement les conditions réelles de vie de chaque personne en communauté. Pour ce faire, elle repense de façon critique la totalité des principes de la morale dominatrice à partir de la négation de la vie des victimes et propose une alternative qui doit se réaliser ici maintenant dans l’histoire : la libération des victimes dans n’importe quel système de domination. Ce projet tient compte de la dimension spirituelle du peuple latino-américain. Un sous-continent dit majoritairement chrétien se questionne sur la présence de Dieu et de son agir dans la lutte quotidienne pour la libération. Il se demande comment vivre la foi en Dieu dans une situation d’oppression et de lutte pour la libération. C’est à ce parcours que ce mémoire nous convie en nous rappelant constamment qu’un monde meilleur est possible et que le Dieu de la vie n’abandonne pas sa création. / The Latin American subcontinent lives in an endemic poverty; hence the fight for survival is a day-to-day activity. The people become increasingly poorer, and the human life is despised. Is it a question of material goods’ shortage or simply a matter of inequitable distribution of wealth? We assert that it is more about a threefold situation of domination, oppression, and institutionalized injustice. This thesis (dissertation/essay) aims at an exhaustive reading of Enrique Dussel’s theological Ethic from an emancipating perspective. We start from the intuition (hypothesis) that this material Ethics of life may bring about a response to the established prevailing moral system, and may be instrumental in transforming the unjust situation. The Dusselian theological Ethic of Liberation analyzes the Latin American being that is considered as “the other” by the long-standing system, and devote itself to changing qualitatively everyone’s actual conditions of life. In doing so, this theological Ethic rethinks in a critical fashion the totality of the principles of the prevailing morals from the negation of the victims’ life, and postulates an alternative, which must be materialized in History’s hic et nunc -that is in the here and from the now of History: The Liberation of the victims of any given system of domination. This project takes into account the spiritual dimension of the Latin American people. These people from the subcontinent, which claims to be Christian in an overwhelming majority, question themselves about God’s presence and work in the daily struggle for liberation. They wonder about the way they should live out their faith in God in such a situation of oppression and struggle for liberation. This is the pathway the present paper calls us to explore while inviting us to bear in mind that a better world is possible, and to remember that the God of life never abandons His creation, nor does he ever forsake it.

Ce travail présente quelques contributions en arithmétique des ordinateurs pour le matériel et le logiciel. L'arithmétique des ordinateurs est la branche de l'informatique qui traite des représentations des nombres, des algorithmes pour effectuer les calculs de base en machine, la validation de la qualité des calculs, l'analyse de l'efficacité des calculs et des outils d'aide à la conception de systèmes de calcul arithmétique. Nos travaux comportent des liens avec les domaines de la conception de circuits intégrés numériques, de l'architecture des machines et du développement logiciel de bibliothèques de calcul. Les principaux domaines d'application de nos travaux sont: le calcul numérique dans les systèmes embarqués, la cryptographie et la sécurité numérique, le traitement numérique du signal et des images et de façon plus limitée les dispositifs numériques de contrôle-commande en automatique. Le mémoire résume les travaux de recherche effectués, seul et en collaboration, depuis octobre 1997. Ces travaux portent sur: l'arithmétique en ligne, des architectures reconfigurables, des méthodes d'évaluation de fonctions à base de tables, la division pour circuits asynchrones, des opérateurs arithmétiques spécifiques pour FPGA, des variantes de la multiplication comme la multiplication par des constantes ou tronquée, des bibliothèques flottantes pour processeurs entiers, la division par des constantes, l'évaluation de fonctions par approximation polynomiale, des opérateurs arithmétiques pour la basse consommation d'énergie, la modélisation et l'évaluation de la consommation d'opérateurs arithmétiques, des opérateurs arithmétiques pour la cryptographie (corps finis et sécurisation contre des attaques physiques), la génération de diviseurs matériels, la bibliothèque logicielle PACE pour la cryptographie, la consommation d'énergie dans les processeurs graphiques, la maîtrise des erreurs d'arrondi dans les outils de CAO, la génération de nombres vraiment aléatoires et l'arithmétique par estimation.

Les applications auto-adaptatives, dont le comportement évolue en fonction de l'environnement, sont un élément clé des systèmes de demain. L'utilisation de matériel reconfigurable, combiné à la parallélisation des unités de calcul, permettent d'envisager de nouveaux niveaux de performances pour ces mêmes applications. L'objectif de cette thèse est de mettre en place un ensemble d'outils permettant la description et le déploiement d'applications parallèles auto-adaptatives. Nous proposons à la fois un modèle d'application parallèle et une architecture de plateforme reconfigurable destinée au déploiement des applications conçues en utilisant ce modèle. Notre modèle d'applications sépare le contrôle du calcul en isolant ce dernier en différents noyaux virtuels. Associée à une représentation du contrôle indépendante de la plateforme, la structure de l'application est donc totalement portable. Indépendamment de celle-ci, les noyaux de calcul peuvent être distribués selon plusieurs implémentations, selon la plateforme, mais également pour proposer différents niveaux de performances. Une couche de virtualisation permet de faire le lien entre la partie contrôle et les noyaux, en traduisant les ordres génériques en actions adaptées à l'implémentation. Concernant la plateforme, nous proposons une architecture permettant l'intégration de ressources de calcul logicielles et matérielles, pouvant être implémentées tant statiquement qu'en utilisant du matériel reconfigurable. Cette architecture parallèle, inspirée du modèle des supercalculateurs, doit permettre d'utiliser tout type d'unités d'exécution et de matériel reconfigurable comme base matérielle pour la plateforme.