Alors que la recherche sur la qualité du code des systèmes a connu un formidable engouement, les systèmes d'exploitation sont encore aux prises avec des problèmes de fiabilité notamment dus aux bogues de programmation au niveau des services noyaux tels que les pilotes de périphériques et l'implémentation des systèmes de fichiers. Des études ont en effet montré que chaque version du noyau Linux contient entre 600 et 700 fautes, et que la propension des pilotes de périphériques à contenir des erreurs est jusqu'à sept fois plus élevée que toute autre partie du noyau. Ces chiffres suggèrent que le code des services noyau n'est pas suffisamment testé et que de nombreux défauts passent inaperçus ou sont difficiles à réparer par des programmeurs non-experts, ces derniers formant pourtant la majorité des développeurs de services. Cette thèse propose une nouvelle approche pour le débogage et le test des services noyau. Notre approche est focalisée sur l'interaction entre les services noyau et le noyau central en abordant la question des "trous de sûreté" dans le code de définition des fonctions de l'API du noyau. Dans le contexte du noyau Linux, nous avons mis en place une approche automatique, dénommée Diagnosys, qui repose sur l'analyse statique du code du noyau afin d'identifier, classer et exposer les différents trous de sûreté de l'API qui pourraient donner lieu à des fautes d'exécution lorsque les fonctions sont utilisées dans du code de service écrit par des développeurs ayant une connaissance limitée des subtilités du noyau. Pour illustrer notre approche, nous avons implémenté Diagnosys pour la version 2.6.32 du noyau Linux. Nous avons montré ses avantages à soutenir les développeurs dans leurs activités de tests et de débogage.

La quantification des incertitudes est essentielle à la bonne maîtrise de la production des réservoirs pétroliers. Ce problème est complexe car l'impact des paramètres incertains sur la production est souvent non-régulier. Du fait du coût important d'une simulation numérique d'écoulement, les méthodes traditionnelles d'analyse de risque sont basées sur un modèle approché du modèle d'écoulement. Ce modèle, construit à partir de plans d'expériences supposant un comportement polynomial de la réponse, ignore les non-régularités. L'objectif de cette thèse est la mise en place d'un formalisme de modélisation de réponses non-régulières. Nous proposons de construire des plans évolutifs afin d'intégrer graduellement les non-régularités. Cette approche est inspirée conjointement de méthodes géostatistiques et de plans d'expériences. En partant d'une surface de réponse initiale, la méthodologie consiste à déterminer itérativement de nouvelles simulations afin d'enrichir le dispositif expérimental et ainsi améliorer l'approximation de la réponse. Différents critères d'ajout de simulations sont proposés. Nous préconisons l'intégration de l'information apportée par les extrema et les points de dérivée partielle nulle de l'approximation. De plus, l'ajout d'information fictive par points pilotes permet une optimisation de la prédictivité de l'approximation ainsi que la détermination de nouveaux points candidats à la simulation. Cette méthodologie originale d'ajustement de surfaces complexes a montré son efficacité, en terme de modélisation comme en terme de réduction du nombre de simulations, notamment pour une quantification d'incertitudes pour deux cas de réservoir pétrolier.

Includes index. / Also issued online.

El presente estudio aborda el uso de barras de polímero reforzado con fibra de vidrio (GFRP) como reemplazo del acero en una sección circular de concreto armado, con el fin de evitar la corrosión de las barras de refuerzo y así mejorar su durabilidad. El caso de estudio es la sección de un pilote cuadrado convertida en una sección circular equivalente de concreto armado del puerto artesanal de Huacho, provincia de Huaura, departamento de Lima. Se realizó el análisis comparativo del desarrollo del diagrama de interacción para el diseño por flexocompresión y ratio de cuantía requerida de refuerzo transversal para ambos tipos de refuerzo. Asimismo, se desarrolló el diagrama Momento–Curvatura para calcular factores de ductilidad y deformabilidad de ambas secciones. / The present study addresses the use of fiberglass reinforced polymer (GFRP) bars as a replacement for steel in a circular section of reinforced concrete, in order to avoid corrosion of rebar and thus improve its durability. The case study is the section of a square pile converted into an equivalent circular section of reinforced concrete from the Huacho artisanal port, Huaura province, department of Lima. The comparative analysis of the development of the interaction diagram for the flexo-compression design and ratio of the required amount of transversal reinforcement was carried out for the design by cutting by Excel spreadsheets and the Matlab programming software, for both types of reinforcement. Likewise, the relative flexural stiffness at ultimate load level and the ductility of both sections under lateral load were analyzed by obtaining the Moment-Curvature diagram. / Tesis

Dos de las opciones de cimentaciones profundas más usadas para la transferencia de cargas a suelos de bajos esfuerzos admisibles son: los pilotes excavados y los micropilotes. Las dos opciones tienen diferencias en su capacidad estructural individual, en los materiales usados y en los procedimientos de construcción. Dichas diferencias tienen un impacto en el costo directo y en el plazo de ejecución de dichas opciones de cimentación profundas. El objetivo principal de esta tesis es hacer una comparación técnica, del costo directo, y de los tiempos de ejecución, y en base a ello obtener la opción de cimentación profunda más eficiente para una zapata del centro comercial de la ciudad de Tumbes. La metodología de la presente tesis plantea un análisis comparativo entre las dos opciones basadas en los resultados obtenidos del diseño estructural, geotécnico y de su incidencia en el costo directo y plazo de ejecución. Se identifica un perfil estratigráfico para la zapata más cargada que incluye suelos arcillosos y arenosos de bajos esfuerzos admisibles, los cuales según el análisis de licuefacción son licuables hasta una profundidad de 13.3 metros con respecto del nivel del terreno. Esta condición implica que se debe de utilizar cimentaciones profundas para cimentar la estructura. Utilizando las solicitaciones de carga vertical de la estructura, se diseñó la cimentación profunda de una zapata utilizando las siguientes dos opciones: pilotes excavados y micropilotes. Con el diseño se obtuvo los costos y tiempos de ejecución de cada solución. Las partidas más importantes son la perforación, el suministro y colocación del concreto y mortero, y el suministro y colocación de la armadura. El análisis comparativo realizado indica que el diseño con pilotes excavados es 61.6% menos costoso que el diseño con micropilotes e implica un plazo de ejecución 30.8% más corto que la opción de cimentación con micropilotes. Por lo tanto, dicha opción de cimentación profunda es más eficiente y se deberá hacer uso para cimentar las zapatas del proyecto.

Entre le 30 octobre 2014 et le 15 février 2016, des pilotes de chasse des avions CF-18 ont procédé à 251 frappes aériennes contre des cibles en Irak et en Syrie pour soutenir la campagne aérienne de la coalition internationale, Opération IMPACT. Vulnérables à une combinaison de facteurs de stress uniques associés aux combats air-sol, les pilotes de chasse ont également été exposés à des accusations portées contre eux par les médias canadiens qui remettaient en question leur intégrité morale à cause de violences commises contre des victimes civiles. Aucune recherche à ce jour n'a été menée spécifiquement sur les expériences de combat des pilotes de chasse et les conséquences de ces expériences sur leur bien-être. Située au carrefour des sciences humaines et de la théologie, notre enquête a été guidée par la question de recherche suivante : Quelles réflexions sur les expériences de combat air-sol des pilotes de chasse canadiens aideraient les intervenants militaires à prendre des décisions qui contribueraient au bien-être des pilotes alors que ceux-ci se préparent au combat et participent à de futures campagnes aériennes ? L’approche de recherche. Le chercheur, un aumônier militaire, a interviewé six pilotes de chasse des avions CF-18 stationnés à la base des Forces canadiennes de Bagotville qui ont participé à l'opération IMPACT. Six entretiens avec ces pilotes sont devenus le corpus des pilotes. En utilisant une approche qui relève de la phénoménologie et se situe dans la tradition de la recherche qualitative, le sens attribué par les pilotes à leur expérience de combat a été analysé d’abord au moyen d’une lecture empathique, puis au moyen d’une lecture critique du corpus des entrevues. À partir de cette analyse, le stress et le diptyque honneur / honte ont été identifiés, respectivement, comme les phénomènes clés pour l'interprétation des expériences vécues de ces pilotes. Puisque le stress et l'honneur / la honte sont des expériences communes à toute l'humanité, la compréhension de ces phénomènes s'est enrichie grâce à l'analyse d'un corpus littéraire théologique appartenant au passé. Le corpus des évangiles, composé des quatre évangiles du canon du Nouveau Testament, fournit un récit illustrant la vie et la vision du monde de Jésus-Christ et d'autres personnages bibliques. Des exemples de phénomènes de stress et d'honneur/ honte ont été identifiés dans le corpus des évangiles et interprétés selon une approche textuelle, sociologique et basée sur l’expérience. Par la suite, deux épisodes spécifiques de l’évangile de Luc, Luc 7. 36 à 50 et Luc 15. 11 à 32, ont été analysés plus en profondeur. Conclusions. À partir de l'analyse du corpus pilote et du corpus théologique, nous avons tenté d’établir un dialogue interprétatif entre les sciences humaines et la tradition chrétienne. Suite à cette discussion, notre compréhension de l’expérience des phénomènes de l’honneur et de la honte par des personnages bibliques a été enrichie. De plus, nous avons pu formuler des recommandations en vue de la création de politiques et de pratiques qui pourraient améliorer le bien-être des pilotes de chasse alors qu’ils se préparent au combat et participent à de futures campagnes aériennes. / Between 30 October 2014 and 15 February 2016, CF-18 fighter pilots conducted 251 air strikes over Iraq and Syria in support of the coalition air campaign Operation IMPACT. Vulnerable to a combination of unique stressors associated with air-to-ground combat, fighterpilots were also exposed to Canadian media accusations of moral violations resulting from civilian casualties. No research to date has been conducted specifically on combat experiences and the well-being of active fighter pilots. Situated at the crossroads of human sciences and theology, this inquiry is guided by the following research question: What theological insights into Canadian fighter pilot air-to-ground combat experiences would help military stakeholders make decisions contributing to pilot well-being as pilots prepare for and participate in future air campaigns? Research Approach. The researcher, a military chaplain, interviewed six CF-18 fighter pilots stationed at Canadian Forces Base Bagotville who supported Operation IMPACT. Six transcribed pilot interviews became the pilot corpus analyzed for this inquiry. Using a multi-method approach within the phenomenological genre of the qualitative research tradition, the meaning pilots attributed to their combat experience was analyzed first, by an empathic reading, then by a critical reading of the pilot corpus. From this analysis, stress and the diptych honour/shame were identified, respectively, as the key phenomena to interpreting pilot combat experiences. Since stress and honour/shame are universal to all humanity, an understanding of these phenomena was enriched through an analysis of a theological corpus of literature from the past. The gospel corpus, comprised of the four gospel accounts within the canon of the New Testament, provided an account of the life-world of Jesus Christ and other biblical characters. Examples of the phenomena of stress and honour/shame were identified in the gospel corpus and interpreted using a textual, sociological, and experiential orientation. Two specific episodes, Luke 7:36-50 and Luke 15:11-32, were then analyzed in more depth. Conclusions. From the analysis of the pilot corpus and the analysis of the gospel corpus, an interpretive dialogue between the human sciences and the Christian tradition was undertaken. As a result of this discussion, our understanding of honour/shame experienced by biblical characters is enriched. In addition, recommendations are offered to assist in the formulation of policies and practices that will improve the well-being of our CF-18 fighter pilots as they prepare for and participate in future air campaigns.

El hincado de pilotes es un método de instalación de pilotes en el cual, por medio de martillos o impulsoras vibratorias, estos son introducidos dentro del suelo mediante golpes o vibrado, hasta llegar a un estrato del suelo lo suficientemente resistente ante las cargas de la edificación que soporta. El principal problema que se percibe en el proceso de hincado de pilotes es la presencia de deformaciones grandes en el suelo. Estas ocurren cuando se obtienen deformaciones unitarias mayores al 10% en el suelo. Asimismo, al realizar simulaciones numéricas, estas se perciben cuando la geometría del modelo cambia en su totalidad. Las deformaciones grandes causan distorsiones en la discretización elegida para el elemento suelo. Por tanto, es necesario emplear un método numérico que permita solucionar dicho problema. Investigaciones numéricas empleando el Método de Elementos Finitos (MEF) han demostrado ser una fuente confiable para simular problemas geotécnicos en los que se perciben deformaciones grandes. Simulaciones empleando los MEF, apoyados por la formulación acoplada Euleriana-Lagrangiana (CEL), permiten obtener resultados similares a los obtenidos de pruebas experimentales. La formulación CEL hace uso de las ventajas de las formulaciones Lagrangiana y Euleriana para evitar problemas de distorsión de la discretización. En el presente trabajo se simuló el comportamiento del suelo ante el hincado de un pilote. Se empleó el modelo constitutivo de Mohr-Coulomb para describir a un suelo granular, mientras que el pilote fue descrito como un elemento elástico. Ambos elementos fueron acoplados mediante la formulación CEL, en donde se empleó la fricción de la penalidad para describir la interacción suelo-pilote. Con esto, se buscó representar de manera óptima el proceso de instalación del pilote. Con esto, se obtuvo las resistencias unitarias de fricción y en la punta en el pilote individual, así como se cuantificó los esfuerzos y deformaciones que sufre el suelo granular al ser sometido al hincado de un pilote. Posteriormente, se comparó los resultados obtenidos mediante las simulaciones numéricas con resultados analíticos propuestos por diversos autores.

Actualmente, se presentan nuevos retos en la construcción de infraestructuras y con ello una mayor demanda de nuevas soluciones en múltiples disciplinas de ingeniería, incluido en el campo de las cimentaciones. El presente estudio analiza teóricamente el comportamiento de un pilote cimentado en arena ante una carga lateral estática. El análisis de la interacción suelo-estructura se describe con los modelos Winkler, Ideal lineal elastoplástico y curva P-Y que representan el comportamiento del suelo utilizando curvas esfuerzo-deformación linealmente elástico, elastoplástico perfecto y curvo. Estos resultados permiten obtener la distribución de fuerza lateral, momento flector y deflexión del pilote a lo largo de la profundidad de análisis. En esta tesis se programa en Matlab la elaboración de la curva esfuerzo–deformación del suelo para cada uno de los modelos y los resultados de este análisis se desarrollan con los programas Matlab, D-Sheet Piling y L-Pile. El objetivo de esta tesis es presentar un análisis comparativo de la respuesta de cada modelo con relación a sus curvas esfuerzo-deformación, para determinar el mejor modelo que represente el comportamiento del suelo. Esta comparación se realiza con la metodología del MCA (Análisis Multicriterio) en la cual se asigna una serie de criterios de comparación basado en el marco teórico de los modelos y el análisis de la respuesta del pilote al aplicar una carga lateral estática de pequeña y gran magnitud. Se espera que la curva P-Y sea mejor modelo para analizar el comportamiento de un pilote cimentado en arena ante una carga lateral estática, porque ha sido desarrollado a través de múltiples ensayos, respaldado por múltiples fuentes científicas y recomendaciones de la API (Instituto Americano del Petróleo), por lo tanto, puede representar mejor el comportamiento del suelo y su interacción con el pilote.

Cette thèse porte sur les pilotes du Saint-Laurent et l'organisation du pilotage en aval du havre de Québec, de 1762 à 1920. Les questions au centre de cette recherche sont les suivantes : qu'est-ce qui caractérise l'histoire des pilotes et de l'organisation du pilotage sur cette importante voie de navigation ? Comment les autorités françaises et anglaises ont-elles réglementé ce secteur ? De quelle manière s'effectuait le service de pilotage à l'époque de la libre concurrence (1805-1859) ? Pourquoi, les pilotes ont-ils demandé, avec tant de conviction et de persévérance, un acte constitutif du Parlement du Canada-Uni, au cours de la décennie 1850-1860, et comment l'ont-ils obtenu? En quoi leur regroupement en corporation, en 1860, a-t-il changé l'organisation du pilotage et la vie des pilotes ? Voilà autant d'interrogations qui nous ont conduit à entreprendre cette étude de la plus ancienne et la plus importante circonscription de pilotage au Canada, tant par l'effectif de pilotes qui s'y rattachait, que par son étendue géographique et, enfin, que par l'avant-garde de son organisation professionnelle. Cette étude montre que les autorités françaises et anglaises ont toujours cherché à maintenir un groupe de pilotes qualifiés pour guider les navires hauturiers dans les eaux restreintes, de l'île du Bic à Québec. En 1805, dans le contexte de l'augmentation du trafic maritime au Port de Québec, une importante structure, la Maison de la Trinité de Québec (MTQ), fut mise en place par le Parlement du Bas-Canada pour régir les pilotes et leurs apprentis dans le cadre de la libre entreprise. Durant 54 ans (1805-1859), le métier fut alors caractérisé par le laisser-faire. En effet, les pilotes munis de chaloupes à voiles et d'autres équipés de goélettes, se concurrençaient pour offrir leur service aux capitaines de vaisseaux. À cette fin, les pilotes s'aventuraient jusque dans le golfe du Saint-Laurent, bien au-delà du lieu de rendez-vous fixé en 1805, à la pointe au Père. Nous avançons l'hypothèse que le régime de la libre entreprise a favorisé la désorganisation du pilotage, en encourageant notamment le dépassement du lieu de rendez-vous fixé initialement, à la pointe au Père. Cette situation eut un double effet : d'une part, elle rendit, à toute fin pratique, inapplicables les règlements de l'autorité de pilotage et d'autre part, elle fut responsable de pas moins de 133 noyades de pilotes, d'apprentis et d'hommes à gages, de 1815 à 1855. Cette étude montre aussi que 1860 marqua un changement radical dans l'organisation du service de pilotage avec la création de la Corporation des pilotes pour le havre de Québec et au-dessous (CPHQ). À la demande des 250 pilotes, une loi (23 Victoria, chap. 123, 19 mai 1860) mit un terme à la libre entreprise, en la replaçant par le mode d'affectation à tour de rôle, et en adoptant la mise en commun des recettes du pilotage. Étant un service qui requiert des spécialistes de la navigation locale, le pilotage en aval de Québec devint alors en situation de monopole réglementé et ce, dans l'intérêt public. Tous les pilotes brevetés de la «circonscription» appartenaient automatiquement à cette corporation professionnelle. Pendant 54 ans, de 1860 à 1914, la Corporation des pilotes fut responsable de l'administration du service de pilotage dans ce que l'on appellera, en 1873, «la circonscription de pilotage de Québec». La CPHQ était devenue en quelque sorte, l'agent de la Couronne responsable du service; ses pouvoirs étaient considérables. En effet, elle percevait les droits de pilotage et distribuait les revenus mis en commun entre ses membres, elle veillait à la discipline, dressait la liste d'affectation des pilotes et les transportait à bord de ses propres goélettes. Depuis 1876, la CPHQ administrait le Fonds des pilotes invalides de Québec. Enfin, de 1905 à 1912, son conseil d'administration nomma aussi les surintendants des pilotes. La corporation eut un pouvoir assez important pour que les Intérêts maritimes veuillent, à plusieurs reprises, faire rappeler par le Parlement la loi qui, en 1860, les avait tirés des noyades, de l'exploitation et des misères engendrées par le régime de la libre entreprise. Au début du XXe siècle, le ministère de la Marine et des Pêcheries se chargea du service de bateaux-pilotes à la station d'embarquement unique de Pointe-au-Père. En 1915, la direction et le contrôle des pilotes et des apprentis ne relèvent plus de la Corporation des pilotes de Québec, mais bien du surintendant général des pilotes, un employé du gouvernement fédéral. Entre 1913 et 1920, la CPHQ traversa une période particulièrement difficile dans ses relations avec les Intérêts maritimes. Elle connut aussi une crise au sein de son organisation avec «l'affaire Paquet», une saga judiciaire qui dura trois ans, et qui força les pilotes à former, le 2 août 1920, une nouvelle société pour rester unis : Y Union des pilotes licenciés pour le havre de Québec et au-dessous. Les sources utilisées sont principalement les documents parlementaires, les archives de la Corporation des pilotes pour le havre de Québec et au-dessous, celles du port de Québec, les journaux de l'époque, les actes notariés, etc. Le plan est divisé en quatre parties : I- émergence du métier de pilote en Nouvelle-France et structure de l'autorité de pilotage sous le Régime anglais; II- la pratique du pilotage à l'époque de la libre concurrence (1805-1859); III- la Corporation des pilotes, de 1860 à 1919; IV- la profession de pilote après 1860. / Québec Université Laval, Bibliothèque 2014

Le calage historique permet l'intégration de données acquises après la production dans la construction de modèles de réservoir. Le filtre de Kalman d'ensemble (EnKF) est une méthode d'assimilation (ou calage historique) séquentielle capable d'intégrer les données mesurées dès qu'ils sont obtenus. Ce travail est basé sur l'application de l' EnKF pour le calage historique et est divisé en deux sections principales. La première section traite l'application de la EnKF à plusieurs cas d'études afin de mieux comprendre les avantages et les inconvénients de la méthode. Ces cas d'étude incluent deux cas d'étude synthétiques (un simple et un plutôt complexe), un modèle de faciès et un modèle de réservoir réel. Dans la plupart des cas, la méthode a réussi à reproduire les données mesurées. Les problèmes rencontrés sont expliqués et des solutions possibles sont proposées. La seconde partie traite deux nouveaux algorithmes proposé en combinant l'EnKF avec deux méthodes de paramétrisation: méthode des points pilotes et méthode de déformation graduelle, permettant la préservation les propriétés statistiques de l'ordre de deux (moyenne et covariance). Les deux algorithmes développés sont appliqués au cas d'étude synthétique simple : la première méthode peut réussir avec un nombre suffisant et un bon positionnement des points pilotes. Pour la déformation graduelle, l'application peut réussir si l'ensemble de fond est assez grand.