Comment les Gaziotes parviennent-il à surmonter les épreuves que leur impose un blocus qui, commencé en 2000, est devenu pratiquement total à partir de 2006 ? Comment expliquer la résilience sociale dont ils ont fait preuve jusqu'à maintenant ? À cette question la thèse d'une chercheuse en sociologie et anthropologie, qui a partagé la vie les Gaziotes pendant plus de dix ans, essaie de répondre. L'analyse est fondée sur des entretiens approfondis auprès d'une population de 120 personnes, sur de nombreuses observations de la vie quotidienne ainsi que sur les résultats de diverses études et rapports sur les conditions de vie à Gaza. La thèse montre qu'il faut chercher l'origine de larésilience dans les ressources que sont, pour les Gaziotes, la solidité de leurs institutions sociales et la référence à une histoire partagée. Au-delà du cas de Gaza, ce travail représente une contribution à une réflexion sur ce qui peut permettre aux sociétés comme aux individus, de surmonter les crises. / How to explain the social resilience evidenced by Gazans notwithstanding the challenges imposed by what began as a partial blockade in the year 2000 to become a practically unmitigated situation since the year 2006? Having shared the daily life of Gaza for over ten years, a researcher in sociology and anthropology tries to answer the question. This thesis is the result of the analysis of in-depth interviews of a population of circa 120 individuals , men and women, coupled by immersion in the daily life and availing herself of numerous and diverse reports and studies on the condition of life in Gaza. The researcher concludes that one has to probe for the origin of this resilience in the resources that constitute for the Gazans the solidity of their social institutions and the reference to a shared history.Beyond the Gaza case, this work is a contribution to an analysis of what may allow societies and individuals that conform them to overcome crisis.

La première partie de la thèse concerne l'étude d'une classe particulière de systèmes dynamiques déterministes présentant deux problèmes: la présence de points fixes neutres et des points de discontinuité auxquels la dérivée n'est pas bornée. La seconde partie traite des systèmes dynamiques aléatoires: du problème de la récurrence dans ce type de système puis de leur application à la modélisation de petites perturbations stochastiques. On traite en particulier du problème de la stabilité stochastique.

On s'intéresse dans ce mémoire à la riche combinatoire des configurations de boucles compacte (ou FPL, ou matrices à signes alternants, ou orientations eulériennes d'une grille). Sont en particulier abordées les questions d'énumération et les liens avec l'énumération de partitions planes, les conjectures à la Razumov et Stroganov, et la génération aléatoire exactement uniforme de configurations satisfaisant des conditions arbitraires de symétrie.

Les modèles d'évaluation génétique des caractères de production laitière et de comptages cellulaires chez les bovins ont considérablement évolué depuis 10 ans. La plupart des pays ont mis en place (Allemagne, Canada, Danemark, Italie, Nouvelle-Zélande, Pays-Bas

Dans ce mémoire 6 mesures sont formellement définies. Elles sont applicables à toute méthode de test. Des relations entre ces mesures sont démontrées et elles sont comparées par rapport à deux critères . La qualité de la mesure et sa difficulté d'estimation. Il apparait que l'une de ces mesures est la plus significative et qu'une autre mesure est la plus facile à calculer. Une nouvelle approche, intermédiaire entre ces deux mesures est alors introduite. Elle permet d'estimer de façon très précise la mesure la plus significative à l'aide de la plus facile a calculer que l'on applique a des sous-ensembles de fautes. Le cas ou la sortie du circuit sous test est compactée (analyse de signature) et la performance propre de l'observation du circuit sont également traités. La mesure de la confiance dans le test du microprocesseur à test (MTI) réalisé au Cnet/Cns en technologie CMOS, illustre les différents résultats obtenus. Quelques aspects nouveaux concernant le test des fautes de transistor colle ouvert dans un circuit CMOS sont également présentés

On étudie des modèles de champs aléatoires binaires, respectant une propriété de renouvellement spatial, en vue de la modélisation de phénomènes épidémiologiques

Méthodes actuelles des tests non déterministes de systèmes logiques. Méthode d'analyse du test aléatoire de circuits séquentiels. Etude du test aléatoire de circuits séquentiels intégrés (ssi, msi). Exemples d'influence des probabilités des entrées sur la largeur de la séquence de test.

Cette thèse propose une nouvelle approche pour le test statistique de<br />logiciel à partir d'une description graphique des comportements du<br />système à tester (graphe de contrôle, statecharts). Son originalité<br />repose sur la combinaison de résultats et d'outils de combinatoire<br />(génération aléatoire de structures combinatoires) et d'un solveur de<br />contraintes, pour obtenir une méthode de test complètement automatisée.<br />Contrairement aux approches classiques qui tirent des entrées, la <br />génération aléatoire uniforme est utilisée pour tirer des chemins parmi<br />un ensemble de chemins d'exécution ou de traces du système à tester. <br />Puis, une étape de résolution de contraintes est utilisée pour <br />déterminer les entrées qui permettront d'exécuter ces chemins.<br />De plus, nous montrons comment les techniques de programmation <br />linéaire peuvent améliorer la qualité d'un ensemble de tests.<br /><br />Une première application a été effectuée pour le test statistique<br />structurel défini par Thévenod-Fosse et Waeselynck (LAAS) et un <br />prototype a été développé.<br />Des expériences (plus de 10000 réalisées sur quatre fonctions issues <br />d'un logiciel industriel) ont été effectuées pour évaluer notre approche <br />et sa stabilité.<br /><br />Ces expériences montrent que notre approche est comparable à celle <br />du LAAS, est stable et a l'avantage d'être complètement automatisée. <br />Ces premières expériences nous permettent également d'envisager un <br />passage à l'échelle de notre approche. Plus généralement, ces travaux <br />pourraient servir de base pour une nouvelle classe d'outils dans le <br />domaine du test de logiciel, combinant génération aléatoire de <br />structures combinatoires, techniques de programmation linéaire et <br />résolution de contraintes.

Cette thèse est consacrée à l'étude de deux thèmes : les grandes déviations pour les estimateurs à noyau de la densité $f_n^*$ des processus stochastiques stationnaires et l'estimateur de décrément aléatoire (EDA) pour les processus gaussiens stationnaires.<br /><br /><br />Le premier thème est la partie principale de cette thèse, constituées des quatre premiers chapitres. Dans le chapitre 1, on établit le w*-PGD(principe de grandes déviations) de $f_n^*$ et une inégalité de concentration dans le cas i.i.d.. On démontre dans le chapitre 2 la convergence exponentielle de $f_n^*$ dans $L^1(R^d)$ et une inégalité de concentration pour des suites $\phi$-mélangeants, en se basant sur une inégalité de tranport de Rio. Les chapitre 3 et 4 constituent le coeur de cette thèse : on établit (i) le PGD de $f_n^*$ pour la topologie faible $\sigma(L^1, L^{\infty})$ ; (ii) le w*-PGD de $f_n^*$ dans $L^1$ pour la topologie forte $\vert\cdot\vert_1$ ; (iii) l'estimation de grandes déviations pour l'erreur $D_n^*=\vert f_n^*(x)-f(x) \vert_1$ et (iv) l'optimalité asymptotique de $f_n^*$ au sens de Bahadur. Ces résultats sont prouvés dans le chapitre 3 pour des processus de Markov uniformément ergodiques et dans le chapitre 4 pour des processus de Markov réversibles uniformément intégrables.<br /><br /><br />Le dernier chapitre est consacré au second thème. On démontre la loi des grands nombres et le théorème de limite centrale pour l'EDA à temps discret et on établit pour la première fois l'expression explicite du biais de l'EDA à temps continu.

Cette recherche s'inscrit dans le cadre de la prévision des instabilités de flottement qui joue un rôle majeur dans la conception et la certification des avions civils. Les instabilités sont liées au couplage aéroélastique qui est dû aux efforts induits générés par les mouvements de la structure au sein de l'écoulement. On considère dans ce travail plus particulièrement l'influence de la turbulence atmosphérique qui apporte, elle aussi, une contribution aux forces aérodynamiques. Dans ce but, la turbulence est modélisée par un processus stochastique introduisant une excitation multiplicative dans le système aéroélastique. Il est alors nécessaire de développer des méthodologies permettant l'étude de la stabilité des aéronefs en présence d'un bruit aléatoire multiplicatif. On propose d'étudier la stabilité dans le cadre général des systèmes dynamiques aléatoires et plus précisément à l'aide des exposants de Lyapunov qui donnent les taux de (dé-)croissance des trajectoires. Ces derniers généralisent ainsi la notion de partie réelle des valeurs propres. Malgré le développement de modèles réduits, les systèmes couplés aéroélastïques restent relativement complexes et de dimension élevée. On opte alors pour un calcul du plus grand exposant de Lyapunov par des méthodes numériques. Néanmoins, la stabilité des systèmes aéroélastiques est également très sensible à la présence de non-linéarités structurales concentrées, comme un jeu dans la liaison aile-gouverne. On pro pose alors une méthode qui a recours d'une part à la formulation du problème par inclusions différentielles et d'autre part à une technique de sous-structuration permettant d'isoler les parties non régulières introduites par le jeu.