This study examines processes of military doctrinal change during periods of peace. Given the conventional wisdom of hidebound bureaucratic military organizations, why do these organizations innovate doctrinally? Rather than conduct competitive hypothesis testing between two or more theories of military innovation or pursue a heretofore undiscovered monocausal theory, I develop and test a theoretical framework that synthesizes more than one approach to military doctrinal innovation. I use this framework to conduct a structured, focused, case-study comparison of two military organizations - the U.S. Army and the U.S. Marine Corps - from the post-World War II period until 2001. The study yields seven findings. First, the systemic causes of military doctrinal innovation are best described by balance of threat theory. Second, contrary to the existing literature, civilian intervention is not a necessary or sufficient cause of doctrinal innovation. Third, militaries consistently strive to establish a monopoly over warfare in a particular jurisdictional domain. Fourth, the frequency of military doctrinal change is a function of the complexity of the strategic problem that doctrine is designed to solve. Fifth, the complexity of the cases studied supports the argument that monocausal explanations fail to account for the interaction of multiple variables that affect doctrinal innovation. Sixth, military doctrinal innovation during peacetime is not anomalous because military organizations constantly revise their theories of victory as threats change in the external environment. Finally, the existence of doctrinal institutions creates a norm for a reliance on military doctrine.

Dans de nombreuses applications, nous souhaitons interpoler ou approcher une fonction de plusieurs variables possédant certaines propriétés ou “formes” géométriques, telles que la régularité, la monotonie, la convexité ou la non-négativité. Ces propriétés sont importantes pourdes applications en physique (par exemple, la courbe pression-volume doit avoir une dérivée non négative), aussi bien où le problème de l’interpolation conservant la forme est essentiel dans divers problèmes de l’industrie (par exemple, modélisation automobile, construction de la surface dumasque). Par conséquent, une question importante se pose : comment calculer la meilleure approximation possible à une fonction donnée f lorsque certaines de ses propriétés caractéristiques supplémentaires sont connues ?Cette thèse présente plusieurs nouvelles techniques pour trouver une bonne approximation des fonctions de plusieurs variables par des opérateurs linéaires dont l’erreur d’approximation A( f ) - f garde un signe constant pour toute fonction f satisfaisant une certaine convexité généralisée. Nous nous concentrons dans cette thèse sur la classe des fonctions convexesou fortement convexes. Nous décrirons comment la connaissance a priori de cette information peut être utilisée pour déterminer une bonne majoration de l’erreur pour des fonctions continuellement différentiables avec des gradients Lipschitz continus. Plus précisément, nous montrons que les estimations d’erreur basées sur ces opérateurs sont toujours contrôléespar les constantes de Lipschitz des gradients, le paramètre de la convexité forte ainsi que l’erreur commise associée à l’utilisation de la fonction quadratique. En supposant en plus que la fonction que nous voulons approcher est également fortement convexe, nous établissons de meilleures bornes inférieures et supérieures pour les estimations d’erreur de l’approximation. Lesméthodes de quadrature multidimensionnelle jouent un rôle important, voire fondamental, en analyse numérique. Une analyse satisfaisante des erreurs provenant de l’utilisationdes formules de quadrature multidimensionnelle est bien moins étudiée que dans le cas d’une variable. Nous proposons une méthode d’approximation de l’intégrale d’une fonction réelle donnée à plusieurs variables par des formules de quadrature, qui conduisent à des valeurs approchées par excès (respectivement par défaut) des intégrales des fonctions ayantun certain type de convexité. Nous verrons aussi, comme nous l’avons fait pour l’approximation des fonctions, que pour de telles formules d’intégration, on peut établir un résultat de caractérisation en termes d’estimations d’erreur. En outre, nous avons étudié le problèmede l’approximation d’une intégrale définie d’une fonction donnée quand un certain nombre d’intégrales de cette fonction sur certaines sections hyperplanes d’un l’hyper-rectangle sont seulement disponibles.La motivation derrière ce type de problème est multiple. Il se pose dans de nombreuses applications, en particulier en physique expérimentale et en ingénierie, où les valeurs standards des échantillons discrets des fonctions ne sont pas disponibles, mais où seulement leurs valeurs moyennes sont accessibles. Par exemple, ce type de données apparaît naturellement dans la tomographie par ordinateur avec ses nombreuses applications en médecine, radiologie, géologie, entre autres. / In many applications, we may wish to interpolate or approximate a multivariate function possessing certain geometric properties or “shapes” such as smoothness, monotonicity, convexityor nonnegativity. These properties may be desirable for physical (e.g., a volume-pressure curve should have a nonnegative derivative) or practical reasons where the problem of shape preserving interpolation is important in various problems occurring in industry (e.g., car modelling, construction of mask surface). Hence, an important question arises: How can we compute the best possible approximation to a given function f when some of its additional characteristic properties are known?This thesis presents several new techniques to find a good approximation of multivariate functions by a new kind of linear operators, which approximate from above (or, respectively, from below) all functions having certain generalized convexity. We focus on the class of convex and strongly convex functions. We would wish to use this additional informationin order to get a good approximation of f . We will describe how this additional condition can be used to derive sharp error estimates for continuously differentiable functions with Lipschitz continuous gradients. More precisely we show that the error estimates based on such operators are always controlled by the Lipschitz constants of the gradients, the convexity parameter of the strong convexity and the error associated with using the quadratic function. Assuming, in addition, that the function, we want to approximate, is also strongly convex, we establish sharp upper as well as lower refined bounds for the error estimates.Approximation of integrals of multivariate functions is a notoriously difficult tasks and satisfactory error analysis is far less well studied than in the univariate case. We propose a methodto approximate the integral of a given multivariate function by cubature formulas (numerical integration), which approximate from above (or from below) all functions having a certain type of convexity. We shall also see, as we did for for approximation of functions, that for such integration formulas, we can establish a characterization result in terms of sharp error estimates. Also, we investigated the problem of approximating a definite integral of a given function when a number of integrals of this function over certain hyperplane sections of d-dimensional hyper-rectangle are only available rather than its values at some points.The motivation for this problem is multifold. It arises in many applications, especially in experimental physics and engineering, where the standard discrete sample values fromfunctions are not available, but only their mean values are accessible. For instance, this data type appears naturally in computer tomography with its many applications inmedicine, radiology, geology, amongst others.

La thèse vise à prédire l’adhérence des chaussées contaminées par des particules fines. Ces particules se déposent sur la chaussée pendant les périodes sèches et agissent, seules ou se mélangeant avec l’eau de pluie, comme un lubrifiant à l’interface pneu/chaussée. La démarche de recherche est basée sur l’approche du troisième corps en distinguant les phases de dépôt et de lessivage des particules par la pluie. Les particules sont caractérisées par leur distribution granulométrique et leurs compositions chimique et minéralogique. L’étude est menée à trois échelles : globale, par des mesures de frottement et de masses du troisième corps (particules pendant le dépôt et le mélange eau/particules pendant le lessivage) ; dans l’aire de contact par des analyses de flux du troisième corps ;et au niveau des particules par des observations au MEB. Les flux de particules pendant la phase de dépôt sont identifiés par des visualisations avec une caméra rapide. L’interaction entre les particules et la texture de la chaussée est mise en évidence par des observations microscopiques. La modélisation des flux permet d’estimer le taux de recouvrement d’une surface qui, à son tour, est utilisé comme un facteur de pondération pour calculer le coefficient de frottement pendant la phase de dépôt. En présence d’eau, la fraction volumique des particules est utilisée pour estimer la viscosité du mélange. Le coefficient de frottement pendant la phase de lessivage dépend de cette viscosité et du taux de recouvrement de la surface. Les résultats sont discutés en termes d’influence des caractéristiques des particules(concentration, taille) et de la texture de la chaussée. / The thesis aims to predict the skid resistance of road surfaces contaminated by fine particles. These particles are deposited on the road during dry periods and act, alone or mixing with rainwater, as a lubricant at the tire / road interface. The research methodology is based on the third body approach by distinguishing the phases of deposit and washing of particles by rain. Particles are characterized by their size distribution and their chemical and mineralogical compositions. The study is conducted at three scales: global, by measurements of friction and third body masses (particles during the deposit phase and the water / particles mixture during the washing phase); in the contact area by analyses of third body flows; and at the particle level by SEM observations. Particle flows during the deposit phase are identified by visualizations with a high-speed camera. The interaction between the particles and the road surface texture is highlited by microscopic observations. Flow modeling is used to estimate the coverage rate of a surface that, in turn, is used as a weighting factor to calculate the coefficient of friction during the deposit phase. In the presence of water, the volume fraction of the particles is used to estimate the viscosity of the mixture. The coefficient of friction during the washing phase depends on this viscosity and the coverage rate of the surface. Results are discussed in terms of the influence of particle characteristics (concentration,size) and road surface texture.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Les satellites sont mis en orbite en utilisant des lanceurs dont la conception est une des activités principales d’Airbus Defence and Space. Pour ce faire, se baser sur des expériences n’est pas facile : les souffleries ne permettent pas d’évaluer toutes les situations auxquelles un lanceur est confronté au cours de sa mission. La simulation numérique est donc essentielle pour l’industrie spatiale. Afin de disposer de simulations toujours plus fidèles, il est nécessaire d’utiliser des supercalculateurs de plus en plus puissants. Cependant, ces machines voient leur complexité augmenter et pour pouvoir exploiter leur plein potentiel, il est nécessaire d’adapter les codes existants. Désormais, il semble essentiel de passer par des couches d’abstraction afin d’assurer une bonne portabilité des performances. ADS a développé depuis plus de 20 ans le code FLUSEPA qui est utilisé pour le calcul de phénomènes instationnaires comme les calculs d’onde de souffle au décollage ou les séparations d’étages. Le solveur aérodynamique est basé sur une formulation volume fini et une technique d’intégration temporelle adaptative. Les corps en mouvement sont pris en compte via l’utilisation de plusieurs maillages qui sont combinés par intersections.Cette thèse porte sur la parallélisation du code FLUSEPA. Au début de la thèse, la seule version parallèle disponible était en mémoire partagée. Une première version parallèle en mémoire distribuée a d’abord été réalisée. Les gains en performance de cette version ont été évalués via l’utilisation de deux cas tests industriels. Un démonstrateur du solveur aérodynamique utilisant la programmation par tâche au dessus d’un runtime a aussi été réalisé. / There are different kinds of satellites that offer different services like communication, navigationor observation. They are put into orbit through the use of launchers whose design is oneof the main activities of Airbus Defence and Space. Relying on experiments is not easy : windtunnel cannot be used to evaluate every critical situation that a launcher will face during itsmission. Numerical simulation is therefore mandatory for spatial industry.In order to have more reliable simulations, more computational power is needed and supercomputersare used. Those supercomputers become more and more complex and this impliesto adapt existing codes to make them run efficiently. Nowadays, it seems important to rely onabstractions in order to ensure a good portability of performance. Airbus Defence and Spacedeveloped for more than 20 years the FLUSEPA code which is used to compute unsteady phenomenalike take-off blast wave or stage separation. The aerodynamic solver relies on a finitevolume formulation and an explicit temporal adaptive solver. Bodies in relative motion are takeninto account through the use of multiple meshes that are overlapped.This thesis is about the parallelization of the FLUSEPA code. At the start of the thesis,the only parallel version available was in shared memory through OpenMP. A first distributedmemory version was realized and relies on MPI and OpenMP. The performance improvementof this version was evaluated on two industrial test cases. A task-based demonstrator of theaerodynamic solver was also realized over a runtime system.

La cryptographie et la problématique de la sécurité informatique deviennent des sujets de plus en plus prépondérants dans un monde hyper connecté et souvent embarqué. La cryptographie est un domaine dont l'objectif principal est de ''protéger'' l'information, de la rendre inintelligible à ceux ou à celles à qui elle n'est pas destinée. La cryptographie repose sur des algorithmes solides qui s'appuient eux-mêmes sur des problèmes mathématiques réputés difficiles (logarithme discret, factorisation des grands nombres etc). Bien qu'il soit complexe, sur papier, d'attaquer ces systèmes de protection, l'implantation matérielle ou logicielle, si elle est négligée (non protégée contre les attaques physiques), peut apporter à des entités malveillantes des renseignements complémentaires (temps d’exécution, consommation d'énergie etc) : on parle de canaux cachés ou de canaux auxiliaires. Nous avons, dans cette thèse, étudié deux aspects. Le premier est l'apport de nouvelles idées algorithmiques pour le calcul dans les corps finis binaires GF(2^m) utilisés dans le cadre de la cryptographie sur courbes elliptiques. Nous avons proposé deux nouvelles représentations des éléments du corps : la base normale permutée et le Phi-RNS. Ces deux nouveautés algorithmiques ont fait l'objet d'implémentations matérielles en FPGA dans laquelle nous montrons que ces premières, sous certaines conditions, apportent un meilleur compromis temps-surface. Le deuxième aspect est la protection d'un crypto-processeur face à une attaque par canaux cachés (dite attaque par «templates»). Nous avons implémenté, en VHDL, un crypto-processeur complet et nous y avons exécuté, en parallèle, des algorithmes de «double-and-add» et «halve-and-add» afin d'accélérer le calcul de la multiplication scalaire et de rendre, de par ce même parallélisme, notre crypto-processeur moins vulnérable face à certaines attaques par canaux auxiliaires. Nous montrons que le parallélisme seul des calculs ne suffira pas et qu'il faudra marier le parallélisme à des méthodes plus conventionnelles pour assurer, à l'implémentation, une sécurité raisonnable. / Cryptography and security market is growing up at an annual rate of 17 % according to some recent studies. Cryptography is known to be the science of secret. It is based on mathematical hard problems as integers factorization, the well-known discrete logarithm problem. Although those problems are trusted, software or hardware implementations of cryptographic algorithms can suffer from inherent weaknesses. Execution time, power consumption (...) can differ depending on secret informations such as the secret key. Because of that, some malicious attacks could be used to exploit these weak points and therefore can be used to break the whole crypto-system. In this thesis, we are interested in protecting our physical device from the so called side channel attacks as well as interested in proposing new GF(2^m) multiplication algorithms used over elliptic curves cryptography. As a protection, we first thought that parallel scalar multiplication (using halve-and-add and double-and-add algorithms both executed at the same time) would be a great countermeasure against template attacks. We showed that it was not the case and that parallelism could not be used as protection by itself : it had to be combined with more conventional countermeasures. We also proposed two new GF(2^m) representations we respectively named permuted normal basis (PNB) and Phi-RNS. Those two representations, under some requirements, can offer a great time-area trade-off on FPGAs.

No description available.

Descartes admet simultanément deux thèses : la distinction réelle de l’âme et du corps, pensées comme deux substances séparées, d’une part, et leur union substantielle de l’autre. Comment ces deux substances, radicalement distinctes, peuvent-elles être unies ? Dans l'histoire de la philosophie, la métaphysique cartésienne est comprise comme un dualisme, distinguant radicalement la substance pensante et la substance étendue, donc l’âme et le corps. Ma thèse conduit à renverser une telle représentation grâce à la considération de la correspondance avec Elisabeth. Elle montre que sa conception des relations entre l’âme et le corps est plus complexe qu’on ne le pense souvent, et montre aussi comment sa philosophie réussit à assurer la compatibilité de sa métaphysique, de sa philosophie naturelle et de sa philosophie pratique. La pensée cartésienne s’adresse ainsi aux hommes, non seulement dans leur réflexion métaphysique,mais aussi dans leur expérience de la vie. / Descartes simultaneously admits two theses: one is the real distinction between mind and bodythought as two separate substances, and the other is their substantial union. How can these two radically distinct substances be united? In the history of philosophy, Cartesian metaphysics is understood as a dualism, radically distinguishing the thinking substance and the extended substance, therefore the mind and the body. The aim of my thesis is to reverse such are presentation by the grace of the consideration of correspondence with Elisabeth. She shows that his conception of mind-body relations is more complex than is often thought, and also shows how his philosophy succeeds in ensuring the compatibility between his metaphysics, his natural philosophy and his practical philosophy. Cartesian thought is thus addressed to a human being, not only in their metaphysical reflection, but also in their experience of life.