Les impressionnantes avancées techniques et technologiques dans les deux domaines des semiconducteurs et de l'ingénieurie logicielle ont permis aux Système sur puces (System-on-Chip "SoC") d'intégrer des applications complexes et interdépendantes. Ces progrès vont de pair avec la complexité accrue des systèmes et de leur hétérogénéité. Ainsi, les concepteurs ont été forcé à réévaluer leurs méthodes de conception et d'élever le niveau d'abstraction au niveau système en ciblant la conception de l'ensemble du SoC plutôt que des composants individuels. L'objectif de ce travail de thèse est de fournir aux concepteurs systèmes les moyens nécessaires (au niveau méthodologique et au niveau outils) pour estimer les performances du système et évaluer rapidement les décisions de conception, idéalement trés tôt dans le flot de conception. Notre contribution portera sur deux aspects principaux: (1) L'aspect conceptuel: où nous avons défini (en utilisant les concepts de métamodélisation UML) des concepts de modélisation permettant d'étudier l'effet de la gestion et du partage des ressources sur les performances globales du système (les "noeuds virtuels") . En outre, nous avons introduit le concept de "Patron de communication" pour la modélisation de l'interaction entre les éléments d'architecture afin d'assurer l'orthogonalisation des concepts de l'exécution et de la communication. (2)L'aspect simulation: Un simulateur en SystemC a été développé pour simuler les modèles UML proposés. La simulation est faite à haut niveau d'abstraction et elle est plus rapide que l'exécution en temps réel. L'approche proposée a été appliquée pour la modélisation de la couche physique du protocole de télécommunications mobile de 4ème génération (LTE, Long Term Evolution) sur un DSP muli-core produit par Freescale. Les résultats ont été validés en les comparant avec l'implémentation réelle. Thèmes clés: Modélisation et conception au niveau système, UML pour les systèmes embarqués, la gestion et le partage des ressources, la modélisation de la communication, l'estimation des performances, les systèmes de télécommunication

Cette thèse a pour but le développement de certains aspects de la modélisation de la dépendance dans la gestion des risques en dimension plus grande que un. Le premier chapitre est constitué d'une introduction générale. Le deuxième chapitre est constitué d'un article s'intitulant " Estimating Bivariate Tail : a copula based approach ", soumis pour publication. Il concerne la construction d'un estimateur de la queue d'une distribution bivariée. La construction de cet estimateur se fonde sur une méthode de dépassement de seuil (Peaks Over Threshold method) et donc sur une version bivariée du Théorème de Pickands-Balkema-de Haan. La modélisation de la dépendance est obtenue via la Upper Tail Dependence Copula. Nous démontrons des propriétés de convergence pour l'estimateur ainsi construit. Le troisième chapitre repose sur un article: " A multivariate extension of Value-at-Risk and Conditional-Tail-Expectation", soumis pour publication. Nous abordons le problème de l'extension de mesures de risque classiques, comme la Value-at-Risk et la Conditional-Tail-Expectation, dans un cadre multidimensionnel en utilisant la fonction de Kendall multivariée. Enfin, dans le quatrième chapitre de la thèse, nous proposons un estimateur des courbes de niveau d'une fonction de répartition bivariée avec une méthode plug-in. Nous démontrons des propriétés de convergence pour les estimateurs ainsi construits. Ce chapitre de la thèse est lui aussi constitué d'un article, s'intitulant " Plug-in estimation of level sets in a non-compact setting with applications in multivariate risk theory", accepté pour publication dans la revue ESAIM:Probability and Statistics.

De nombreuses études mettent en évidence l'existence de coûts substantiels affectant les flux de commerce international. En créant une segmentation des marchés internationaux, ces barrières à l'échange affectent l'équilibre global en macroéconomie ouverte. Pourtant, la plupart des modèles macroéconomiques ignorent cette caractéristique de l'économie internationale et supposent une intégration parfaite des marchés.<br />Cette thèse étudie l'impact macroéconomique de cette segmentation des marchés internationaux. Les outils développés par les Nouvelles Théories du Commerce sont utilisés pour modéliser l'effet des barrières à l'échange sur les décisions stratégiques des firmes exportatrices dans un environnement globalisé.<br />La première partie de la thèse s'intéresse aux conséquences de la segmentation des marchés sur les stratégies de prix à l'exportation. L'analyse empirique permet de mettre en évidence les déterminants microéconomiques expliquant la faible sensibilité des prix du commerce aux fluctuations de change. La deuxième partie introduit dans l'analyse les choix de localisation des firmes et étudie leur impact sur le niveau des prix relatifs. Elle montre comment l'entrée de<br />nouveaux producteurs sur un marché national exerce une pression à la baisse sur le niveau de ses prix agrégés. Enfin, la troisième partie de la thèse s'interroge sur l'impact de ces choix de localisation sur l'efficacité des politiques économiques. Plus précisément, elle montre comment les politiques nationales de salaire minimum affectent la répartition spatiale des entreprises, par le biais des coûts relatifs de production mais aussi de leur impact sur la demande agrégée.

Es wird eine Methode vorgestellt, die es ermoeglicht, Waermeleitfaehigkeitsmessungen an sowohl in-situ als auch ex-situ hergestellten duennen Schichten durchzufuehren. Es wurden Messungen der Waermeleitfaehigkeit und des elektrischen Widerstandes fuer das System Cu_{x}Sn_{100-x} 0<=x<=100 im Temperaturbereich von 1.2 K bis 360 K durchgefuehrt. Die Proben wurden jeweils nach der Herstellung im amorphen bzw. mikrokristallinen Zustand und nach dem Anlassen auf 360 K im kristallisierten Zustand gemessen. Die Ergebnisse werden im Rahmen der in der Literatur gebraeuchlichen Modelle diskutiert. Da es sich bei Cu-Sn um ein metallisches System handelt, tragen sowohl Elektronen als auch Phononen zur Waermeleitfaehigkeit bei. Die Trennung der Beitraege mit Hilfe des Wiedemann-Franz'schen Gesetzes bereitet wegen der starken Elektron-Phonon-Kopplung Schwierigkeiten. In der Waermeleitfaehigkeit der amorphen Cu-Sn-Legierungen bei tiefen Temperaturen wird ein Bereich schwaecherer Temperaturabhaengigkeit gefunden. Dieser Plateaubereich deutet auf zusaetzliche Wechselwirkungsmechanismen hin und verschiebt sich mit steigender Cu-Konzentration zu kleineren Temperaturen. Er tritt bei den Cu-reichen Proben, die aufgrund der hohen Kristallisationstemperatur einen geringeren Kristallisationsgrad aufweisen, auch im kristallisierten Zustand auf. Demzufolge ist das Plateau in diesem Fall zu tieferen Temperaturen verschoben. Die Verschiebung des Plateaus mit der Konzentration kann im Rahmen des Modells der Phonon-Rotonen verstanden werden. Phonon-Rotonen sind lokalisierte niederenergetische Anregungen, die bei Wellenzahlen Q_{pe}=K_{pe} auftreten und bei einer charakteristischen Temperatur T_{0} angeregt werden koennen. Sie tragen entgegen den Debye-Phononen selbst nicht zur Waermeleitfaehigkeit bei, sondern wirken als deren Wechselwirkungspartner. K_{pe} bezeichnet die Lage eines elektronisch induzierten Strukturpeaks, dessen Hoehe mit der Zusammensetzung der Legierung skaliert. Die Hoehe des Strukturpeaks ist umgekehrt proportional zur Anregungsenergie der Phonon-Roton-Zustaende. Das bedeutet, dass ein Plateaubereich bei hohen Temperaturen auftritt, wenn der Strukturfaktor bei K_{pe} klein ist und umgekehrt. Damit ist es gelungen, im Gegensatz zum Modell der Zwei-Niveau-Systeme die Tieftemperaturanomalien in der Waermeleitfaehigkeit aehnlich wie die Anomalien in der Thermokraft bei tiefen Temperaturen direkt auf die Struktur der Proben zurueckzufuehren.

Thèse doctorat : Électronique : Lille 1 : 2003. / N° d'ordre (Lille 1) : 3405. Résumé en français et en anglais. Bibliogr. à la suite de chaque chapitre.

Disputats, Linköpings universitet, 2008. / Findes også på internet (PDF-format): http://www.diva-portal.org/diva/getDocument?urn_nbn_se_liu_diva-10489-1__fulltext.pdf. På cd-rom: Supplerende materiale i PDF-format. Med litteraturhenvisninger.

Les travaux présentés dans ce mémoire s'inscrivent dans le cadre du projet PANsafer (Vers un Passage A Niveau plus sûr), lauréat de l'appel ANR-VTT 2008. Ce projet est labellisé par les deux pôles de compétitivité i-Trans et Véhicule du Futur. Le travail de la thèse est mené conjointement par le laboratoire IRTES-SET de l'UTBM et le laboratoire LEOST de l'IFSTTAR. L'objectif de cette thèse est de développer un système de perception permettant l'interprétation de scénarios dans l'environnement d'un passage à niveau. Il s'agit d'évaluer des situations potentiellement dangereuses par l'analyse spatio-temporelle des objets présents autour du passage à niveau. Pour atteindre cet objectif, le travail est décomposé en trois étapes principales. La première étape est consacrée à la mise en place d'une architecture spatiale des capteurs vidéo permettant de couvrir de manière optimale l'environnement du passage à niveau. Cette étape est mise en œuvre dans le cadre du développement d'un simulateur d'aide à la sécurité aux passages à niveau en utilisant un système de perception multi-vues. Dans ce cadre, nous avons proposé une méthode d'optimisation permettant de déterminer automatiquement la position et l'orientation des caméras par rapport à l'environnement à percevoir. La deuxième étape consiste à développer une méthode robuste de suivi d'objets en mouvement à partir d'une séquence d'images. Dans un premier temps, nous avons proposé une technique permettant la détection et la séparation des objets. Le processus de suivi est ensuite mis en œuvre par le calcul et la rectification du flot optique grâce respectivement à un modèle gaussien et un modèle de filtre de Kalman. La dernière étape est destinée à l'analyse des trajectoires 2D reconstruites par l'étape précédente pour l'interprétation de scénarios. Cette analyse commence par une modélisation markovienne des trajectoires 2D. Un système de décision à base de théorie de l'évidence est ensuite proposé pour l'évaluation de scénarios, après avoir modélisé les sources de danger. L'approche proposée a été testée et évaluée avec des données issues de campagnes expérimentales effectuées sur site réel d'un passage à niveau mis à disposition par RFF.

Une solution de gestion de puissance d'un système sur puce peut être définie par une architecture de faible puissance composée de multiples domaines d'alimentation et de leur stratégie de gestion. Si ces deux éléments sont économes en énergie, une solution efficace en énergie peut être obtenue. Cette approche nécessite l'ajout d'éléments structurels de puissance et de leurs comportements. Une stratégie de gestion doit respecter les dépendances structurelles et fonctionnelles dues au placement physique des domaines d'alimentation. Cette relation forte entre l'architecture et sa stratégie de gestion doit être analysée tôt dans le flot de conception pour trouver la solution de gestion de puissance la plus efficace. De récentes normes de conception basse consommation définissent des sémantiques pour la spécification, simulation et vérification d'architecture de faible puissance au niveau transfert de registres (RTL). Mais elles manquent une sémantique d'interface de gestion des domaines d'alimentation réutilisable ce qui alourdit l'exploration. Leurs sémantiques RTL ne sont pas aussi utilisables au niveau transactionnel pour une exploration plus rapide et facile. Pour combler ces lacunes, cette thèse étend ces normes et fournit une étude complète des possibilités d'optimisation de puissance basées sur la composition et la gestion des domaines d'alimentation pour des modèles fonctionnels transactionnels utilisant un environnement commun USLPAF. USLPAF comprend une méthodologie alliant conception et vérification des modèles transactionnels de faible consommation, ainsi qu'une bibliothèque de techniques de modélisation et fonctions prédéfinies pour appliquer cette méthodologie.

Le développement exponentiel des réseaux informatiques a largement contribué à augmenter le volume des renseignements personnels disponibles et à remplacer les méthodes désuètes de collecte des renseignements par des méthodes plus rapides et plus efficaces. La vie privée et le contrôle sur les informations personnelles, telles que nous les connaissions il y a quelques décennies, sont des notions difficilement compatibles avec la société ouverte et commerciale comme la nôtre. Face à cette nouvelle réalité menaçante pour les droits et libertés de l'homme, il est essentiel de donner un cadre technique et légal stable qui garantisse un niveau de protection adéquat de ces données personnelles. Pour rester dans le marché ou bénéficier de la confiance des individus, les entreprises et les gouvernements doivent posséder une infrastructure de sécurité informatique efficace. Cette nouvelle donne a tendance à devenir plus qu'une simple règle de compétitivité, elle se transforme en une authentique obligation légale de protéger les données à caractère personnel par des mesures de sécurité adéquates et suffisantes. Ce mémoire aborde justement ces deux points: premièrement, l'étude du développement d'une obligation légale de sécurité et ensuite, l'encadrement juridique de la mise en place d'un programme de sécurisation des données personnelles par des mesures de sécurités qui respectent les standards minimaux imposés par les textes législatifs nationaux et internationaux. / The latest development in information networks largelly contributed to the increasing amount of personal data being collected by the public and private sector and the replacement of old fashioned collection methods by faster and cheaper techniques. Notions of privacy and control of personnal data are not as we used to know them a decade ago and they became somehow incompatible with an open and commercial society in which we live. Facing this new and dangerous reality to fondamental human rights and liberties, it is pressing to give a legal and technical stable framework insuring an adequate level of protection to personnal data. To keep a competitive position in the market and maintain individuals trust in the system, companies and governments must guarantee an efficent security infrastructure. If this feature was until now a strategie advantage, it has become an authentic legal obligation to protect personnal data by suffisant safeguards. The purpose of this work is essentially consider those two statements: the study of the development of a legal obligation to guarantee the security of personnal data and the legal backing for the implementation of a security policy respecting minimal standards imposed by national and international laws. / "Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de maîtrise en droit (LL.M.) option Nouvelles technologies de l'information"

La présente thèse étudie la relation entre le niveau de vie, la fécondité des femmes en union et leurs besoins non satisfaits en matière de planification familiale. Les données qui ont servi aux analyses proviennent des fichiers individuels de deux enquêtes démographiques et de santé (DHS) réalisées en Guinée en 1999 et 2005. Le niveau de vie est mesuré par un indicateur composite créé à partir des caractéristiques du logement et certains biens possédés par le ménage. Nous avons adopté deux stratégies d’analyse : analyses descriptives et multi-variées. Nous avons examiné à cet effet les niveaux et les tendances de ces deux comportements de fécondité dans les grandes villes, petites villes et villes secondaires, en milieu rural et à l’échelle nationale. Des méthodes statistiques appropriées ont été utilisées : (modèle de régression de Poisson et des modèles de régression logistique binaire et multinomiale). Les résultats des analyses descriptives montrent une faible fécondité chez les femmes issues des classes riches par rapport aux femmes pauvres et une diminution de leurs besoins non satisfaits en matière de planification familiale. Ces relations qui se sont révélées très statistiquement significatives en 1995-1999 quelque soient les milieux de résidence, ont disparu presque dans les analyses multi-variées, après avoir contrôlé certaines caractéristiques socio-économiques, démographiques et culturelles. Dans ces analyses multi-variées, l’éducation de la femme et la pratique contraceptive se sont révélées particulièrement déterminantes pour la fécondité. Par ailleurs, l’éducation de la femme, a été également un facteur important pour les besoins non satisfaits en matière de planification familiale. Il en est de même pour son âge, sa parité, sa religion, la discussion du couple sur la planification familiale, l’attitude du conjoint vis-à-vis de la planification familiale et de l’exposition aux messages sur la planification familiale qui restent aussi d’importants facteurs des besoins non satisfaits en matière de planification familiale. Le terme d’interaction groupe d’âge et le nombre d’enfants en vie, s’est avéré, lui aussi fortement significatif indiquant que l’effet de la parité sur les besoins non satisfaits en matière de planification familiale ne prend pas le même sens selon le groupe d’âge auquel appartient la femme. En définitive, nos analyses, nos analyses ont mis en évidence que la relation négative entre le niveau de vie, la fécondité et les besoins non satisfaits se vérifie mais avec des degrés variés selon les milieux de résidence et les périodes d’enquête. Les écarts entre les groupes contigus sont également très faibles. / The goal of this thesis is to study the relationship between the married women standard of living, their fertility and their unmet need for family planning. The data used for the analysis have been taken from two individual demographic survey files (DHS) carried out in Guinea in 1999 and 2005. The standard of living is measured using a composite indicator established from the housing characteristics and some capital goods of the family. We have adopted two strategies of analysis: Descriptive and Multivariate Analysis. Thus, we have studied the levels and tendencies of these two behaviors of fertility in the large cities, small or secondary cities, rural places, and at the national scale. Statistics appropriate methods of regression (Poisson regression method, logistic binary method and multinomial method). The results of descriptive analysis have confirmed a weak fertility in women from rich classes in comparison with poor women and a reduction of their unmet need for family planning. The relationship which proved very statistically significant in 1995-1999 whichever the place of residence was not observed with the multivariate analysis method, after controlling some socioeconomic, demographic and cultural characteristics. In the multivariate analysis, the woman education and her behavior in terms of contraception were particularly important in her fecundity. Moreover, the woman’s education, her age, parity (married status), her religion, the discussion of the couple about the family planning, the husband attitude concerning the family planning constitute some important factors of unmet need for family planning. The term of Interaction age group and number of living children turns out strongly significant, indicating that the parity (man-woman) effect can change according to the age group of the woman.   In fact, our analysis have shown with clearly that the negative relationship between the standard of living, the fertility and the unmet need is confirmed with various degrees according to the place of residence and the survey period. The differences between the closely related groups are too weak. / Tous mes travaux ont été réalisés à l'aide du logiciel stata 11.