Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.

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

Thèse numérisée 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 Direction des bibliothèques de l'Université de Montréal.

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

Cette thèse aborde la problématique de la génération des connaissances au cours de la phase de conception et plus particulièrement en conception collaborative. Il est proposé d'exploiter les connaissances en conception après une phase de collecte, de capture. Après une phase de capitalisation viendra une étape de réarrangement de ces connaissances. Un processus appelé "Processus d'Ingénition" est montré. Établi sur le principe de description de graphes de connaissances augmentées d'une triple instrumentation, ce processus permet une analyse originale des phases de conception d'un produit. Des applications à l'ingénierie didactique et à l'ingénierie pédagogique ont vu le jour au cours de ce travail. Les domaines de la conception collaborative de produits, de la didactique et de la gestion des connaissances sont mis en regard pour proposer une vision originale du processus de conception collaborative. / This thesis deals with knowledge generation problems during product design and more particularly in collaborative design. By integration of thee fields, collaborative product design, didactic engineering and knowledge management, we propose a generic framework. The main proposition is to capture, capitalize, reorganize and then exploit the knowledge in the field of design product. In the first step we develop a conceptual framework as “process of ingenition”. This global process allows defining the macro level positioning. In the second step the graph of knowledge description with a “triple instrumentation” developed. This process leads to have an original analysis of product design. At last we submit an application of proposed process in didactic and teaching engineering.

Les nombreux modèles de turnover que l’on peut trouver dans la littérature en Gestion des Ressources Humaines illustrent l’importance de la fidélisation des salariés à l’entreprise.L’objectif de cette thèse est d’analyser l’effet de l’« étape de carrière » sur les facteurs de fidélisation et sur le niveau de fidélité des salariés. Ce travail est également l’occasion d’étudier les déterminants de l’étape de carrière et de débattre autour de l’impact de l’appartenance à la génération Y sur l’intention de quitter l’entreprise.Pour répondre à ces questions de recherche, une enquête par questionnaires a été réalisée en janvier 2011 auprès de salariés français d’une entreprise franco-américaine et de deux entreprises françaises. L’échantillon est composé de 478 répondants : 206 vendeurs, 150 techniciens, 76 salariés de fonctions support et 46 de fonctions indéfinies. La population étudiée a un niveau de qualification faible à moyen (CAP/BEP/BAC à BAC+2/BTS).Les résultats confirment (1) le rôle central de la satisfaction extrinsèque au travail et de l’implication affective organisationnelle dans un modèle de turnover et (2) l’influence du score à l’étape de carrière d’un individu à la fois sur les facteurs de fidélisation et l’intention de quitter l’entreprise.Le profil du salarié a également un impact sur les facteurs de fidélisation et sur l’intention de quitter. Le score à une étape de carrière est peu influencé par l’âge et les différentes formes d’ancienneté.L’appartenance à la génération Y, plutôt qu’à la génération X ou à celle des Baby Boomers, n’influence pas l’intention de quitter l’entreprise, du moins telle qu’elle est mesurée par l’appartenance à une tranche d’âge. / The numerous turnover models found in the Human Resource Management literature illustrate the importance of employee loyalty to the company.The objective of this thesis is to analyze the “career stage” effect on employee loyalty-building factors and on employee loyalty to the company. This work also gives the opportunity to study the determinants of the career stage and to debate the impact of belonging to generation Y on the intention to leave the company.To answer our research question, surveys have been administered in January 2011 to French employees from a Franco-American company and from two French companies. The sample is composed of 478 respondents: 206 salespeople, 150 technicians, 76 support staff and 46 undefined jobs. The studied population has a low and medium qualification level CAP/BEP/BAC to BAC+2/BTS).The results confirm (1) the central role of extrinsic job satisfaction and affective organizational commitment in a turnover model and (2) the influence of an individual’s career stage on both his loyalty-building factors and his intention to leave the company.The employee profile also has an impact on loyalty-building factors and on employee intention to leave. Moreover, age and the different kinds of tenure have little influence on the score to a career stage.Belonging to the generation Y, rather than to the generation X or to the Baby Boomers generation, does not influence employee intention to leave as far as generational belonging is measured by age groups.

Dans de nombreux domaines tels que l’avionique, la médecine ou la domotique, les applications logicielles jouent un rôle de plus en plus important, allant jusqu’à être critique pour leur environnement. Afin de pouvoir faire confiance à ces applications, leur développement est contraint par des exigences de sûreté de fonctionnement. En effet il est nécessaire de démontrer que ces exigences de haut-niveau sont prises en compte tout au long du cycle de développement et que des solutions concrètessont mises en œuvre pour parvenir à les respecter. De telles contraintes rendent le développement d’applications sûres de fonctionnement particulièrement complexe et difficile. Faciliter ce processus appelle à la recherche de nouvelles approches dedéveloppement qui intègrent des concepts de sûreté de fonctionnement et guident les développeurs lors de chacune des étapesnécessaires à la production d’une nouvelle application digne de confiance.Cette thèse propose ainsi de s’appuyer sur une approche dirigée par la conception pour guider le développement des applications sûres de fonctionnement. Cette approche est concrétisée à travers une suite d’outils nommée DiaSuite et offre du support dédié à chaque étape du développement. En particulier, un langage de conception permet de décrire à la fois les aspects fonctionnels et non-fonctionnels des applications en se basant sur un paradigme dédié et en intégrant des concepts de sûreté de fonctionnement tels que le traitement des erreurs. A partir de la description d’une application, du support est généré pour guider les phases d’implémentation et de vérification. En effet, la génération d’un framework de programmation dédié permet de guider l’implémentation tandis que la génération d’un modèle formel permet de guider la vérification statique de l’application et qu’un support de simulation permet de faciliter les tests. Cette approche est évaluée grâce à des cas d’études réalisés dans les domaines de l’avionique et de l’informatique ubiquitaire. / In many domains such as avionics, medecine or home automation, software applications play an increasingly important rolethat can even be critical for their environment. In order to trust these applications, their development is contrained by dependability requirements. Indeed, it is necessary to demonstrate that these high-level requirements are taken into account throughout the development cycle and concrete solutions are implemented to achieve compliance. Such constraints make the development of dependable applications particularly complex and difficult. Easing this process calls for the research of new development approaches that integrate dependability concepts and guide the developers during each step of the development of trustworthy applications.This thesis proposes to leverage a design-driven approach to guide the development of dependable applications. This approachis materialized through a tool-suite called DiaSuite and offers dedicated support for each stage of the development. Inparticular, a design language is used to describe both functional and non-functional applications. This language is based on adedicated paradigm and integrates dependability concepts such as error handling. From the description of an application, development support is generated to guide the implementation and verification stages. Indeed, the generation of a dedicated programming framework allows to guide the implementation while the generation of a formal model allows to guide the static verification and simulation support eases the testing. This approach is evaluated through case studies conducted in the domains of avionics and pervasive computing.

Cette thèse est divisée en quatre parties. Dans la première, je vais présenter notre travail sur le run-up des vagues longues et sur les phénomènes d’amplification par résonance. Grâce à des simulations numériques basées sur les équations en eau peu profonde non-linéaires, nous montrons que dans le cas des vagues monochromatiques d’incidence normale sur une plage inclinée, une amplification résonante du run-up se produit lorsque la longueur de la vague d’entrée est 5.2 fois plus grande que la longueur de la plage. Nous montrons également que cette amplification résonante de run-up peut être observée à partir de plusieurs profils de vagues. Cependant, l’amplification résonante du run-up n’est pas limitée aux plages inclinées infinies. En faisant varier le profil bathymétrique, la résonance est également présente dans le cas de bathymétries linéaires par morceaux et pour des bathymétries réalistes. Dans la deuxième partie, je présente une nouvelle solution analytique pour étudier la propagation des tsunamis générés par une source non ponctuelle sur une profondeur constante en utilisant la théorie des vagues en eau peu profonde linéaires. La solution, qui repose sur la séparation des variables et sur une double transformée de Fourier dans l’espace, est exacte, facile à mettre en œuvre et permet l’étude d’ondes de formes réalistes comme les ondes en forme de N (N–waves). Dans la troisième partie, j'étudie l’effet de protubérances localisées sur la génération de vagues longues. Même lorsque le déplacement final est connu grâce à l’analyse sismique, le plancher océanique qui se déforme peut avoir du relief comme des montagnes et des failles. On étudie analytiquement l’effet de la bathymétrie sur la génération des vagues de surface, en résolvant les équations en eau peu profonde linéaires avec for. Nous constatons que quand la hauteur du rebord augmente, le piégeage partiel de la vague permet de réduire la hauteur des vagues dans le champ lointain, tout en l’amplifiant au-dessus du rebord. Je vais aussi présenter brièvement une solution de la même équation forcée au-dessus d’un cône. Enfin, dans la dernière partie, nous verrons si les petites îles peuvent protéger les côtes proches de tsunamis comme il est largement admis par les communautés locales. Des découvertes récentes sur le tsunami des îles Mentawai en 2010 montrent un run-up amplifié sur les zones côtières derrière de petites îles, par rapport au run-up sur les lieux adjacents, qui ne sont pas influencés par la présence des îles. Nous allons étudier les conditions de cette amplification du run-up en résolvant numériquement les équations en eau peu profonde non-linaires. Le dispositif expérimental est régi par cinq paramètres physiques. L’objectif est double: Trouver l’amplification maximale du run-up avec un nombre minimum de simulations. Nous présentons un plan d’expériences actif, récemment mis au point et basé sur les processus Gaussiens, qui réduit considérablement le coût de calcul. Après exécution de deux cents simulations, nous constatons que dans aucun des cas considérés l’île n’offre une protection à la zone côtière derrière elle. Au contraire, nous avons mesuré une amplification du run-up sur la plage derrière elle par rapport à une position latérale sur la plage non directement affectée par la présence de l’île. Cette amplification a atteint un facteur maximal de 1.7. Ainsi, les petites îles à proximité du territoire continental agissent comme des amplificateurs des vagues longues dans la région directement derrière elles et non comme des obstacles naturels comme il était communément admis jusqu’ici. / This thesis is divided in four parts. In the first one I will present our work on long wave run-up and some resonant amplification phenomena. With the use of numerical simulations for the nonlinear shallow water equations, we show that in the case of monochromatic waves normally incident on a plane beach, resonant run-up amplification occurs when the incoming wavelength is 5.2 times larger the beach length. We also show that this resonant run-up amplification can be observed for several wave profiles such as bichromatic, polychromatic and cnoidal. However, resonant run-up amplification is not restricted to infinitely sloping beaches. We varied the bathymetric profile, and we saw that resonance is present in the case of piecewise linear and real bathymetries. In the second part I will present a new analytical solution to study the propagation of tsunamis from a finite strip source over constant depth using linear shallow-water wave theory. The solution, which is based on separation of variables and a double Fourier transform in space, is exact, easy to implement and allows the study of realistic waveforms such as N-waves. In the third part I will explore the effect of localized bathymetric features on long wave generation. Even when the final displacement is known from seismic analysis, the deforming seafloor includes relief features such as mounts and trenches. We investigate analytically the effect of bathymetry on the surface wave generation, by solving the forced linear shallow water equation. Our model for bathymetry consists of a cylindrical sill on a flat bottom, to help understand the effect of seamounts on tsunami generation. We derive the same solution by applying both the Laplace and the Fourier transforms in time. We find that as the sill height increases, partial wave trapping reduces the wave height in the far field, while amplifying it above the sill. Finally, in the last part I will try to explore whether small islands can protect nearby coasts from tsunamis as it is widely believed by local communities. Recent findings for the 2010 Mentawai Islands tsunami show amplified run-up on coastal areas behind small islands, compared with the run-up on adjacent locations, not influenced by the presence of the islands. We will investigate the conditions for this run-up amplification by numerically solving the nonlinear shallow water equations. Our bathymetric setup consists of a conical island sitting on a flat bed in front of a plane beach and we send normally incident single waves. The experimental setup is governed by five physical parameters. The objective is twofold: Find the maximum run-up amplification with the least number of simulations. Given that our input space is five-dimensional and a normal grid approach would be prohibitively computationally expensive, we present a recently developed active experimental design strategy, based on Gaussian Processes, which significantly reduces the computational cost. After running two hundred simulations, we find that in none of the cases considered the island did offer protection to the coastal area behind it. On the contrary, we have measured run-up amplification on the beach behind it compared to a lateral location on the beach, not directly affected by the presence of the island, which reached a maximum factor of 1.7. Thus, small islands in the vicinity of the mainland will act as amplifiers of long wave severity at the region directly behind them and not as natural barriers as it was commonly believed so far.