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. / L'objectif ultime de cette recherche est de doter les organisations québécoises d'un instrument fidèle et valide mesurant le climat de travail. La version expérimentale de l'instrument contient 114 énoncés regroupés sous huit dimensions, Elle est élaborée à partir des théories et des questionnaires actuels. Cette version expérimentale est soumise à 695 étudiants adultes inscrits à des cours du soir dans un Cegep de la région de Montréal, Une partie d'entre eux répondent aussi aux 18 énoncés de la version abrégée du " Likert organizational profil (L.O.P.) permettant ainsi d'établir la validité conceptuelle et convergente du nouvel instrument. Par la suite, les statistiques descriptives, une analyse de regroupement, une analyse factorielle avec rotation oblique, le calcul du coefficient alpha de Cronbach et l'analyse de contenu réduisent ces données à 34 items et cinq facteurs. Ces analyses permettent aussi de présenter l'instrument sous forme de variance expliquée et de corrélations. Les cinq facteurs du questionnaire détiennent un pourcentage de variance expliquée de 53.8, Les corrélations entre les facteurs se situent entre -.09 et ,39 et celles entre les énoncés d'un même facteur de .21 à .81. Les coefficients alpha des cinq facteurs varient entre .70 et .93. Pour ce qui est des corrélations avec le L.O.P., elles oscillent entre -.13 et .55. Les résultats obtenus ne sont ni concluants ni décourageants. La fidélité de l'instrument se compare avantageusement à celle des autres questionnaires sur le climat de travail. Les dimensions déterminées par l'analyse factorielle rejoignent celles de la littérature. Le questionnaire possède une validité de contenu grâce à la façon dont il est élaboré, une validité d'apparence selon les commentaires des sujets et une forte fidélité par consistance interne. Les résultats de l'analyse factorielle et le degré de corrélation avec le L.O.P, établissent des bases solides pour une validité de construit (conceptuelle). Cette recherche représente la première phase du processus de validation. Après quelques considérations particulières, il sera possible de vérifier la valeur de ce questionnaire directement auprès des organisations, En conclusion, la version finale proposée, suite à une démarche théorique et empirique rigoureuse, mérite l'attention des chercheurs désireux d'obtenir un outil de diagnostic adapté aux besoins particuliers des organisations du Québec.

Cette étude s’inscrit dans le domaine de l’intelligence artificielle, plus précisément au croisement des deux domaines que sont la planification autonome en environnement probabiliste et la vérification formelle probabiliste. Dans ce contexte, elle pose la question de la maîtrise de la complexité face à l’intégration de nouvelles technologies dans les systèmes critiques : comment garantir que l’ajout d’une intelligence à un système, sous la forme d’une autonomie, ne se fasse pas au détriment de la sécurité ? Pour répondre à cette problématique, cette étude a pour enjeu de développer un processus outillé, permettant de concevoir des systèmes auto-adaptatifs critiques, ce qui met en œuvre à la fois des méthodes de modélisation formelle des connaissances d’ingénierie, ainsi que des algorithmes de planification sûre et optimale des décisions du système. / This study takes place in the broad field of Artificial Intelligence, specifically at the intersection of two domains : Automated Planning and Formal Verification in probabilistic environment. In this context, it raises the question of the integration of new technologies in critical systems, and the complexity it entails : How to ensure that adding intelligence to a system, in the form of autonomy, is not done at the expense of safety ? To address this issue, this study aims to develop a tool-supported process for designing critical, self-adaptive systems. Throughout this document, innovations are therefore proposed in methods of formal modeling and in algorithms for safe and optimal planning.