L'objectif du projet était d'évaluer l'effet du poids d'abattage (PA), de la vitesse de croissance (VC) et des sexes sur la qualité du longissimus dorsi du porc et d'en établir la relation avec certains aspects du métabolisme musculaire. Les caractéristiques histologiques du psoas major ont également été comparées avec celles du longissimus dorsi pour ces traitements. Pour réaliser l'étude, 118 porcs commerciaux du Québec ont été regroupés selon deux VC, rapide (Indice de potentiel génétique moyens des pères de -7 jours) et lente (Indice de potentiel génétique moyens des pères de + 2 jours), trois PA (107 kg, 115 kg, 125 kg) et deux sexes (castrats et femelles). Les mesures de qualité physico-chimiques, d'activités enzymatiques énergétiques (citrate synthase et lactate déshydrogénase) et protéolytique (calpaïnes), ainsi que le profil histochimique et immunohistochimique du muscle ont été effectuées. Le PA et la VC n'ont pas influencé les principales mesures de qualité telles que la couleur, le pH du muscle, 48 heures après l'abattage, les forces de cisaillement, l'indice de fragmentation myofibrillaire, la solubilité des protéines et la teneur en myoglobine Les femelles ont montré des pertes en eau plus élevées et un p H u plus faible que les castrats. Par contre, une VC plus rapide a entraîné une augmentation du pourcentage de fibres de type I ainsi qu'une diminution de la taille de ces mêmes fibres. L'augmentation du poids d'abattage a favorisé l'activité de la citrate synthase et de la lactate déshydrogénase. Les femelles ont présenté un potentiel glycolytique plus élevé, une valeur de pHu inférieure et une plus grande perte en eau que les castrats. Malgré certains effets observés sur l'activité métabolique et les caractéristiques histochimiques du muscle, les effets des traitements sur la qualité de la viande sont très limités. Des différences ont été observées entre les effets des traitements sur les caractéristiques histologiques du psoas major et celle du longissimus dorsi. Les résultats suggèrent l'implication de la croissance longitudinale des fibres comme facteur pouvant expliquer ces différences.

Tableau d'honneur de la Faculté des études supérieures et postdoctorales, 2005-2006 / Dans ce travail, nous proposons un nouveau langage dédié à la détection d'intrusions. Il s'agit d'un langage purement déclaratif, basé sur une logique temporelle linéaire passée avec prédicats du premier ordre. Après avoir effectué une revue de treize langages de détection d'intrusions existant déjà, nous donnons une liste de dix propriétés souhaitables pour un langage de détection d'intrusions. Contrairement au langage que nous proposons, aucun des langages étudiés ne présente à la fois ces dix propriétés. En plus d'être suffisamment expressif pour répondre aux besoins identifiés, il vient avec un algorithme de vérification qui s'exécute en temps linéaire avec la quantité d'information analysée et utilise une quantité bornée d'espace mémoire. Ces deux propriétés permettent de protéger le système de détection d'intrusions contre d'éventuelles attaques d'inondation.

Comme on chasse un traumatisme par l'oubli ou le déni, la France et le Canada, par leurs élites, ont tenté d'effacer de la mémoire collective la phase de terrorisme vécue avec dynamisme en durcissant drastiquement leurs règles juridiques. Si la France et le Canada reposent sur des valeurs démocratiques communes, les solutions juridiques adoptées par les deux systèmes sont souvent divergentes face à la menace terroriste. La France, qui repose sur une tradition romano-germanique, principalement inquisitoire, n'appréhende pas de la même manière la menace terroriste que la Canada, qui repose sur une tradition de Common Law essentiellement accusatoire. Les mécanismes canadiens et français peinent à répondre efficacement à la menace terroriste. Face aux attentats, l'ensemble des États amplifient leurs efforts pour l'appréhender. Ainsi, il paraît essentiel d'analyser les réponses apportées pour en apprécier leur portée et efficacité. Le droit pénal est au cœur du processus de la gestion de la menace terroriste mais face au phénomène ancien du terrorisme, il ne s'agit plus de répondre à ce crime par les mêmes mesures qu'en droit commun. En dépit du fait que le Canada a connu moins de périodes de terreur par rapport à la France, il n'en demeure pas moins qu'il n'y a pas eu d'allègement des règles juridiques dans les mesures d'enquête et lors de la phase d'incarcération. Un même constat prévaut aux échelles nationales française et canadienne : l'apparition d'un allègement du contrôle de l'antiterrorisme par les Cours constitutionnelles, d'un régime d'exception, des règles procédurales dérogatoires strictes, un recours à l'emprisonnement problématique au regard du phénomène de radicalisation et une faible apparition d'une réhabilitation à la lumière des mesures post-carcérales. Par conséquent, cette volonté légitime, mais extrême, d'appréhender cette menace a engendré des périodes d'interrogations sur la portée de nos droits et libertés fondamentaux. La comparaison vise donc à mettre en lumière les différentes mesures permettant de répondre au terrorisme eu égard aux exigences posées par les droits et libertés fondamentaux face à l'émergence d'un droit pénal préventif.

La sécurité sanitaire des aliments est un défi majeur pour de nombreux pays, qui restreint leur accès au plein potentiel économique et social qu'ils pourraient avoir. La bonne marche et la performance de haut niveau des systèmes de contrôle des aliments dans les pays développés sont le fruit de décennies d'investissements de l'ordre de milliards de dollars dans le renforcement des infrastructures et des capacités des acteurs de la sécurité sanitaire des aliments. Les pays en développement ne peuvent se permettre un processus aussi coûteux et un progrès aussi lent dans la construction de leurs systèmes de contrôle des aliments, en raison des innombrables conséquences négatives pouvant affecter la santé publique et le manque à gagner potentiel du secteur de production alimentaire et agro-alimentaire, souvent considéré comme secteur vital d'économies émergentes comme celles de ces pays, notamment du fait de sa contribution aux exportations et donc à la balance commerciale. Malgré le fait qu'une grande partie de l'aide internationale est acheminée vers l'amélioration des capacités et des pratiques en matière de sécurité sanitaire des aliments dans ces pays, les résultats sur le terrain restent peu visibles, et rarement durables, notamment en ce qui a trait à la performance des programmes règlementaires qui sous-tendent les systèmes de production alimentaire de ces pays. L'étude des conditions d'amélioration et d'optimisation de l'efficacité des investissements en matière de renforcement des capacités en sécurité sanitaire des aliments dans les pays en développement n'implique pas seulement la nécessité de définir de meilleures directives sur la formulation des projets et l'évaluation de l'impact, mais doit passer par l'élaboration de nouvelles approches, notamment des approches décisionnelles ancrées dans l'analyse de données factuelles du terrain, afin d'identifier et de définir les contours des investissements nécessaires. Pour relever ce défi, ce travail a procédé à une revue critique des approches et outils actuels appliqués par les agences de développement, actives dans le domaine de la sécurité sanitaire des aliments. Cette revue a permis l'identification de critères de succès et des bonnes pratiques appliquées au sein de ces organisations, notamment en matière de gouvernance et de gestion des activités de renforcement des capacités en sécurité sanitaire des aliments. Une étude comparative a suivi deux pays sélectionnés sur la base de critères définis : le Pakistan et le Viet Nam, en analysant les approches d'investissement dans le renforcement de la sécurité sanitaire des aliments et leurs retombées dans chacun de ces pays. Les leçons apprises et les recommandations tirées de ces analyses ont été mises à profit dans le développement et la proposition de nouveaux outils et directives à appliquer dans les initiatives de renforcement de capacités en sécurité sanitaire des aliments, tout au long du cycle de vie de ces initiatives. Enfin, ce travail a conduit à l'élaboration d'une approche ancrée dans l'analyse des données pour guider le processus décisionnel de la conception, de la mise en œuvre et de la surveillance de projets de renforcement de la sécurité sanitaire des aliments. Cette approche tient également compte des sections pertinentes des directives du Codex Alimentarius et d'autres retombées de recherches associées à la prise de décision dans les politiques publiques, fondées sur l'analyse de données. Il est attendu que la nouvelle approche proposée par cette recherche ouvre des perspectives nouvelles vers une meilleure efficacité et efficience des investissements actuels et futurs en matière de renforcement des capacités en sécurité sanitaire des aliments. / Food safety remains a challenge for many countries, limiting their ability to maximize the economic and social potential and attain their objectives of human and economic development. The high-level performance of robust food control systems in developed nations has resulted from decades of experience and billions of dollars' investments in building infrastructures and capacities of food safety stakeholders. Developing countries cannot afford such a costly and lengthy process due to the negative consequences of unsafe food affecting their public health and agri-food trade. Although a large sum of international aid is being channeled towards the upgrade of food safety capacities and practices in these countries, results on the ground can often be invisible and struggle with sustainability issues, particularly for enhancing the performance of food control systems. Investigating the possibility of improving the "value for money" of these investments in developing countries entails setting better guidelines on project formulation, impact assessment and approaches in food regulatory decision-making. As outlined in this research, the latter can be further explored by better using data for the evidence-based identification of required capacity building investments and their prioritization. This research examines and recommends an integrated approach with short- and long-term solutions to achieve such a goal. It also offers a review of current technical methods and strategies followed by development agencies active in food safety and identifies current best practices applied by such agencies, especially related to food safety capacity building. This research relies on a comparative analysis of food safety capacity building programs targeting two countries, namely Viet Nam and Pakistan, selected based upon defined criteria. The lessons learned and recommendations gained from these analyses were used to develop a new set of proposed guidelines for project formulation, implementation, and evaluation. Development agencies and competent authorities could adopt these guidelines to improve their capacity building practices. As a long-term solution for identifying capacity building needs and performance assessment of food control systems, a data-driven food regulatory decision-making approach was discussed as a possible way forward for regulators. This system was structured based on the relevant sections of Codex guidelines and other research, focusing on using data for public services. It is expected that the application of the recommendations stemming from this research will help shape a new way for food safety capacity development, improving the efficiency and effectiveness of investments in this area, with a potentially positive impact on other development areas.

La maladie coronarienne athérosclérotique constitue la principale cause de mortalité au monde. Les interventions coronariennes percutanées occupent une place de choix parmi les modalités diagnostiques et thérapeutiques offertes aux patients et nécessitent à ces fins l’utilisation de rayons X. Or, les effets délétères résultant d’une exposition aux rayons X comptent parmi les risques auxquels sont exposés les patients et le personnel médical lors d’une intervention coronarienne percutanée. Dans le but de minimiser ces risques, il convient de s’intéresser à l’identification, puis à l’optimisation des facteurs influençant l’exposition à la radiation. Parmi ceux-ci, un accès vasculaire via l’artère radiale a été associé de façon inconstante à une exposition accrue, bien qu’il soit de plus en plus adopté à l’échelle mondiale. D’autres facteurs ont également été décrits, mais il n’existe pas à ce jour de classification pratique axée sur les facteurs modifiables par l’hémodynamicien au chevet du patient. Cette thèse avait donc pour objectif l’identification de facteurs techniques modifiables influençant l’exposition à la radiation des patients en cardiologie interventionnelle ainsi que la formulation de recommandations cliniques visant leur optimisation dans une perspective de réduction des risques. Quatre volets indépendants et complémentaires, correspondant à autant d’études publiées dans des journaux scientifiques avec comité de pairs, ont été entrepris à l’Institut universitaire de cardiologie et de pneumologie de Québec afin d’étudier l’influence de la séquence d’intervention, du nombre et du type de cathéters, de la cadence d’images et de la voie d’accès artérielle sur l’exposition à la radiation. Le temps de fluoroscopie et le produit dose-surface ont été utilisés comme principales mesures de l’exposition à la radiation. Les résultats obtenus suggèrent que la séquence d’intervention n’influence pas l’exposition des patients à la radiation, mais que l’usage de cathéters spécifiques et d’une cadence d’images en fluoroscopie à 7,5 images par seconde sont associés à une réduction de l’exposition des patients. La voie d’accès transradiale est quant à elle associée à une légère hausse de l’exposition à la radiation comparativement à la voie transfémorale, mais les répercussions cliniques de ce surplus semblent peu significatives pour le patient. En conclusion, l’optimisation de facteurs techniques modifiables permet de réduire l’exposition à la radiation des patients en cardiologie interventionnelle et réitère l’importance de l’adoption de bonnes pratiques de radioprotection. / Coronary artery disease is the leading cause of mortality throughout the world. Percutaneous coronary interventions are increasingly used as diagnostic and therapeutic tools applied to patient care. The use of X-rays is mandatory to perform these procedures. The side effects of radiation exposure are amongst the risks to which patients undergoing a percutaneous coronary intervention are exposed. In order to minimize these risks, one must identify and optimize factors influencing radiation exposure. Amongst them, the radial vascular access site has been inconsistently associated with an increased exposure, even if it is increasingly adopted worldwide as the primary access site. Other factors have also been identified, yet a clinical classification based on their optimization potential by the physician at patient’s bedside remains to be described. The aims of this thesis were identification of technical factors that could be modified at patient’s bedside and formulation of clinical recommendations influencing patient’s radiation exposure. Four independent and complementary projects have been proposed targeting revascularization strategy, catheters number and type, fluoroscopy acquisition rate and vascular access site as potential factors influencing radiation exposure. All studies were lead at Institut universitaire de cardiologie et de pneumologie de Québec. Fluoroscopy time and dose-area product were used as surrogate indicators of radiation exposure. Our results imply that the revascularization strategy did not influence radiation exposure, but that the use of a multiple catheters approach and a 7.5 images per second low-rate fluoroscopy were associated with a reduction of patient’s radiation exposure. Transradial access was associated with a modest increase in radiation exposure when compared with transfemoral access, but the clinical significance of this small increase is uncertain and unlikely to outweigh the clinical benefits of transradial access. In conclusion, identification of technical factors associated with a reduction in radiation exposure enables the formulation of clinical recommendations aiming at risk minimization for the patient and encourages good radiation protection practices.

L'explosion de la bulle internet au début des années 2000 a eu d'énormes impacts sociaux et économiques. Aujourd'hui, le nombre d'internautes approche les quatre milliards et internet s'est ancré dans notre vie quotidienne. De plus en plus d'informations circulent dans ce réseau et depuis les révélations d'Edward Snowden, le public a pris conscience du besoin de protéger sa vie privée. Ce mémoire présente dans un premier temps les concepts généraux de l'anonymat et de la protection de la vie privée sur internet. Ensuite, les réseaux anonymes les plus populaires y sont étudiés : JAP, Mixmaster, TOR et I2P. Nous verrons que la meilleure protection de ces réseaux est leur taille. [1] a élaboré un système de paiement pour rémunérer les relais de TOR dans le but d'encourager les internautes à participer sur le réseau anonyme. Nous verrons comment adapter ce système au réseau anonyme I2P. / Since the beginning of this century, the explosion of the internet has had an important social and economic impact. Today, the number of internet users has approached four billion and it has become a part of our daily lives. More and more information circulates on the internet and since Edward Snowden's global surveillance disclosure in 2013, the public is now aware about the necessity to protect their private lives. In a rst time, this thesis introduces anonymity and privacy general concepts'. Then, the following popular anonymous networks are studied: JAP, Mixmaster, TOR and I2P. We will see that the best protection for these network is their size. [1] has elaborates a payment system for remunerates the TOR relays in order to encourage Internet users to participate in the anonymous network. We will see how adapt this system on the I2P anonymous network.

Cette thèse s'attarde sur plusieurs aspects de la collaboration humain-robot, dont le développement d'interfaces de contrôle, la conception de robots plus sécuritaires ainsi que le développement d'algorithmes de contrôle. Le tout est réparti sur 7 chapitres. Le premier chapitre présente une brève introduction ainsi que la méthodologie employée au cours de la thèse. Le deuxième chapitre présente une méthode d'équilibrage statique par contrepoids. Une transmission hydraulique permet de déporter facilement le contrepoids à l'extérieur de l'espace de travail du système équilibré. L'utilisation de cylindres à membrane permet une transmission fluide avec un minimum de friction. Dans le troisième chapitre, nous exploitons ce principe d'équilibrage pour développer un bras de robot sériel à 7 ddls. Deux mécanismes d'équilibrage sont proposés et testés d'abord sur des bancs d'essai puis sur le prototype final. Un banc d'équilibrage à deux plateaux permet d'ajuster la pression des cylindres avec une seule charge mobile pour s'adapter à la masse soulevée par le bras. Dans le quatrième chapitre, nous développons un algorithme de commande exploitant la redondance du bras développé précédemment. Puisque les critères courants d'exploitation de la redondance dépendent de la situation, nous laissons le soin à l'opérateur de gérer lui-même cette redondance. Notre algorithme implémente une commande standard en admittance qui combat les perturbations indésirables à l'effecteur. Cependant, elle permet aux perturbations qui n'affectent pas la position de l'effecteur de modifier la configuration du robot. Le cinquième chapitre présente le développement d'un capteur tactile à base de silicone et noir de carbone. Les propriétés du mélange de silicone et noir de carbone sont étudiées afin d'optimiser la sensibilité du matériau. Nous proposons ensuite un modèle mathématique de la piézorésistivité du matériau afin d'estimer la pression appliquée et nous présentons des méthodes de fabrication du capteur et d'acquisition des signaux. Dans le sixième chapitre, nous développons un système de freinage passif adapté aux systèmes de ponts roulants. Le système permet d'appliquer à la charge transportée une force de freinage proportionnelle à sa vitesse. Une interface de contrôle intuitive permet à l'opérateur d'activer le système au besoin. Le septième chapitre présente une brève conclusion de la thèse.

Se procurer les outils les plus récents et les plus performants liés à la sécurisation de réseaux informatique est loin d'être suffisant pour réduire les risques d'intrusions. En effet, le maillon le plus faible dans la chaîne de la sécurité informatique est souvent l'intervention humaine qui est parfois nécessaire pour installer et configurer ces outils. Limiter cette intervention humaine permettra sans doute de réduire à la fois les risques et les coûts engendrés par la sécurité. Il est important, par exemple, de développer des méthodes sûres permettant de configurer automatiquement un réseau informatique de sorte que son comportement soit conforme à une politique de sécurité donnée. C'est dans cet axe de recherche que se situe ce travail. En effet, nous proposons une méthode formelle permettant de générer à partir d'une politique de sécurité (spécifiée par une formule logique) et d'un réseau informatique (spécifié par un processus) une configuration sécuritaire de ce réseau.

L'érosion régressive est l'un des mécanismes initiaux de l'érosion interne qui se produit dans les fondations des barrages en remblai et des digues. Une fois que la charge hydraulique de l'écoulement souterrain atteint des conditions critiques, des particules de la couche granulaire se détachent et sont transportées vers le pied aval avec l'écoulement sous le toit du matériau cohésif. Un conduit d'érosion étiré de l'amont vers l'aval se forme dans la fondation à travers ce processus, mettant en danger la stabilité du corps supérieur du barrage. Des études antérieures ont révélé que deux mécanismes différents sont responsables de la progression du conduit d'érosion, à savoir les érosions primaires et secondaires, c'est-à-dire l'érosion au niveau de la tête du conduit et du lit du conduit, respectivement. Plusieurs critères ont été développés sur la base de l'érosion secondaire, tels que la méthode de Sellmeijer pour déterminer le gradient global critique requis pour la progression du conduit d'érosion. Cependant, la plupart des investigations récentes se sont concentrées sur les conditions hydrauliques locales, car l'application de tels critères globaux sur le terrain pourrait être difficile en raison de l'hétérogénéité du terrain et de la stratification complexe du sol. Cette étude vise principalement à modéliser expérimentalement l'érosion régressive. Pour atteindre cet objectif, une cellule d'essai rectangulaire avec sortie de type trou est conçue pour contourner les inconvénients et les limitations des dispositifs existants. La configuration améliorée est composée de plusieurs rangées de capteurs de pression le long du chemin du conduit d'érosion, permettant de suivre librement les conditions hydrauliques le long des méandres du conduit. La compaction horizontale, l'application automatique de charge, le système d'acquisition de données de haute précision et fréquence et la procédure d'essai basée sur l'instrumentation sont d'autres améliorations ajoutées à la cellule. Les essais d'érosion avec la configuration améliorée sur différents sables fins uniformes montrent que le gradient global critique (i$\sf_{G\_cr}$) dans la configuration de sortie de type trou peut être expliqué par la conductivité hydraulique (k) et la taille de grain représentative (d$_{\mathsf70}$). La comparaison des données d'essai de la présente étude avec les données de la littérature démontre en outre que i$\sf_{G\_cr}$ corrèle parfaitement avec le facteur d'échelle (F$\sf_s$) qui intègre à la fois k et d$_{\mathsf70}$. En conséquence, le critère modifié de Sellmeijer est examiné pour son inclusion d'un nombre excessif de paramètres dans la prédiction du gradient global critique. La révision de la procédure de développement de la méthode de Sellmeijer révèle que le modèle est surajusté et inclut des paramètres intercorrélés. L'analyse statistique des données expérimentales utilisées pour modifier le critère de Sellmeijer montre qu'un modèle alternatif avec un nombre moindre de paramètres existe qui peut prédire le gradient global critique encore plus précisément. Le modèle proposé, développé sur la base des données expérimentales avec une sortie de type pente, est ensuite validé avec les données d'essai obtenues à partir de la configuration améliorée de cette étude. Il est démontré que le modèle est capable de prédire avec précision les deux types de configurations de sortie. Une analyse supplémentaire sur la capacité de prédiction du critère modifié de Sellmeijer rejette l'hypothèse précédente concernant sa surestimation 2 fois supérieure dans la prédiction du gradient pour les sorties de type trou. De plus, l'historique des charges et le gradient local sont étudiés dans les tests d'érosion sur les sables fins. Il est constaté que l'historique de charge hydraulique, c'est-à-dire l'application de charge en une seule étape ou en plusieurs étapes, n'a aucune influence sur le processus d'érosion. L'analyse des gradients locaux mesurés en amont du conduit d'érosion à l'aide des capteurs de la cellule reflète la relation mutuelle entre la progression du conduit d'érosion et le gradient local à la tête du conduit. Les résultats des essais indiquent la relation linéaire entre le gradient global critique et le gradient local. Une méthode géostatistique (krigeage) est utilisée pour étudier davantage l'influence de la distance entre les capteurs sur l'ampleur du gradient local mesuré. Il est démontré que le krigeage pourrait ne pas être un outil approprié pour l'interpolation de la charge hydraulique à proximité de la tête du conduit d'érosion. Une approche différente est utilisée, démontrant que le gradient local augmente de manière exponentielle avec la diminution de la distance entre les capteurs. / Backward erosion piping is one the initiating mechanisms of internal erosion that occurs in the foundations of embankment dams and dikes. Once the hydraulic load of the underground seepage reaches the critical conditions, particles of the granular layer are detached and transported towards the downstream toe with the seepage under the roof of the cohesive material. A stretched pipe from upstream to downstream forms in the foundation through this process which endangers the stability of the upper dam body. Previous studies found out that two different mechanisms are responsible for the progression of the pipe, namely primary and secondary erosions, i.e., erosion at the pipe tip and the pipe bed, respectively. Several criteria have been developed based on the secondary erosion such as Sellmeijer's method to determine the critical global gradient required for the pipe progression. Most recent investigations, however, focused on the local hydraulic conditions since application of such global criteria in the field could be challenging due to the field heterogeneity and complex soil stratification. This study aims primarily to model backward erosion experimentally. To achieve this end, a rectangular test cell with hole-type exit is designed which improves the drawbacks and limitations of the existing setups. The improved setup is composed of several rows of pressure sensors along the pipe pathway enabling to track freely meandering pipe's hydraulic conditions. Horizontal compaction, automatic load application, high accuracy and frequency data acquisition system and instrumentation-based testing procedure are other improvements added to the cell. The erosion tests with the improved setup on different fine uniform sands show that the critical global gradient (i$\sf_{G\_cr}$) in hole-type exit configuration can be explained by the hydraulic conductivity (k) and the representative grain size ($_{\mathsf70}$). Comparing the present study's test data with the data from the literature further demonstrates that i$\sf_{G\_cr}$ correlates perfectly with the scale factor (F$\sf_s$) which incorporates both k and $_{\mathsf70}$. Consequently, Sellmeijer's modified criterion is scrutinized for its inclusion of an excessive number of parameters in predicting the critical global gradient. Revisiting the development procedure of Sellmeijer's method reveals that the model is overfitted and it includes intercorrelated parameters. Statistical analysis on the experimental data used to modify Sellmeijer's criterion shows that an alternative model with a smaller number of parameters exists that can predict critical global gradient even more accurate. The proposed model developed based on the experimental data with slope-type exit is further validated with the test data obtained from this study's improved setup. It is shown that the model is capable of accurate prediction for both types of exit configurations. Additional analysis on the prediction capability of the Sellmeijer's modified criterion dismisses the prior hypothesis concerning its 2-time overestimation in prediction of the gradient for the hole-type exits. Furthermore, the loading history and local gradient are investigated in the erosion tests on the fine sands. It is found out that hydraulic loading history, i.e., single stage or multistage load application does not have any influence on the erosion process. The analysis of the local gradients measured upstream of the pipe using the cell sensors reflects the mutual relationship between the pipe progression and the local gradient at the pipe tip. The test results indicate the linear relationship between the critical global gradient and the local gradient. A geostatistical method (kriging) is used to further study the influence of the sensors distance on the magnitude of the measured local gradient. It is demonstrated that kriging might not be an appropriate tool to use for interpolation of the pressure head in the vicinity of the pipe tip. A different approach is used which demonstrates that local gradient increases exponentially with decreasing distance between the sensors.

Un programme est dit non interférent si les valeurs de ses sorties publiques ne dépendent pas des valeurs de ses entrées secrètes. Des études ont montré que par l'analyse du flot d'information, on peut établir et contrôler cette propriété ou des propriétés qui lui sont étroitement liées. Dans ce travail, nous examinons en détail les modèles d'analyse de flot d'information existants, et esquissons une nouvelle approche dans un paradigme concurrent. La première partie de ce mémoire présente les différentes formulations de la non-interférence et un survol des grandes familles de mécanismes d'analyse de flot d'information. En second lieu, nous présentons en détail quelques mécanismes récents d'analyse sensibles aux flots, applicables à la programmation séquentielle. Mécanismes statiques pour certains, dynamiques ou hybrides pour d'autres. Dans la troisième partie, nous explorons deux modèles récents de sécurisation des flots d'information dans un programme concurrent. Les deux modèles ont en commun la particularité de proposer des traitements pour sécuriser l'interaction entre les programmes et l'ordonnanceur. Nous terminons par une esquisse de notre nouvelle approche, basée sur l'analyse des dépendances entre les variables d'un programme concurrent. / A program is said to be noninterfering if the values of its public (or low) outputs do not depend on the values of its secret (or high) inputs. Various researchers have demonstrated how this property (or closely related properties) can be achieved through information flow analysis. In this work, we present in detail some existing models of information flow analysis, and sketch a new approach of analysis for concurrent programming. The first part of this thesis presents the different formulations of non-interference, and an overview of the main types of information flow analysis. In the second part, we examine in detail some recent static and dynamic (hybrid) flow-sensitive analysis models, for a simple imperative language. In the third part, we explore two recent models of secure information flow in concurrent programs, which develop a novel treatment of the interaction between threads and the scheduler to prevent undesired interleaving. We end with a sketch of the foundations for another approach, based on the analysis of dependencies between variables of concurrent programs.