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

L'objectif général de cette thèse est d'étudier l'évaluation de la créativité dans le domaine du design. Plus précisément, ce travail se centre sur l'évaluation de productions créatives en design graphique et il repose sur des méthodes complémentaires d'analyse des critères utilisés par des juges. L'approche adoptée vise à explorer les variations de jugements, dans différents contextes d'évaluation, afin d'identifier les facteurs influant sur les critères (ou les « référents évaluatifs ») qui sont pris en considération par les juges. Deux facteurs ont plus particulièrement été pris en compte : les points de vue adoptés par les juges en fonction de leur parcours professionnel (designers, directeurs artistiques, enseignants en design et public visé) et le niveau d'expertise en design (experts affirmés, experts intermédiaires et non-experts).Cette recherche a été réalisée dans différents contextes d'évaluation et elle tente d'identifier les éléments caractéristiques des jugements, selon le profil des juges émettant ces jugements. La première étude vise à comprendre les représentations mentales des juges, en explorant les critères qu'ils déclarent importants pour la créativité. La seconde étude analyse les corrélations entre les scores attribués aux productions en design sur un ensemble des critères, ainsi que les niveaux d'accords inter-juges pour chacun de ces critères. La troisième étude permet une analyse qualitative des verbalisations spontanées exprimées par des juges durant leurs évaluations de productions en design. / The present thesis aims to study creativity assessments in design. More precisely, this research focuses on the evaluation of creative productions in graphic design area and it is based on complementary methods of analysis of used criteria and "evaluative referents". It aims to identify, in various assessment contexts, factors that exert an influence on the judgments of creative productions. It develops a multiple feedback approach by exploring assessments made by judges with different professional backgrounds (designers, art directors, design teachers and targeted audience) and levels of experience in design (asserted experts, intermediary experts and laypeople).The research frame includes different contexts of assessment situations and tries to capture the characteristics of judges' approaches to creativity in design, on the basis of three complementary studies. The first study focusses on judges' mental representations by exploring criteria they declare important to creativity in design. The second study allows an analysis of correlations between scores attributed to design productions with regard to different criteria as well as an analysis of inter-judge agreement on them. The third study aims to perform qualitative analyses of spontaneous verbalizations expressed by judges during their analyses of design outcomes.

Une nouvelle architecture d’Imagerie Flash Laser, appelée imagerie flash laser mosaïque (IFLM) consistant àvisualiser une scène par acquisition rapide de petites zones ou imagettes a été développée à l’ONERA. Par rapport àl’imagerie Flash laser traditionnelle qui acquiert en une seule fois toute la scène, cette technique permet d’augmenterle niveau de l’éclairement sur chaque imagette mais nécessite de couvrir l’ensemble de la scène d’étude avec unehaute cadence d’échantillonnage spatiale. Cette thèse a pour but d’évaluer les performances de ce nouveau conceptpuis de les comparer à l’imagerie flash laser classique. Dans une première étape, un simulateur complet d’IFLM (Modèle de formation d’image incluant les algorithmes de reconstruction de la scène) a été développé afin de synthétiser tous les phénomènes intervenant dans la formation des images acquises par la caméra puis de réaliser les traitements de restauration nécessaires afin de s’affranchir des artefacts introduits par cette technique. La simulation des images en entrée instrument prend en compte la formedu faisceau de la source, le type de balayage, le canal de propagation (transmission atmosphérique et turbulence) etenfin des bruits instrumentaux. Afin de reconstituer une image complète de la scène à partir des imagettes, trois méthodesde restauration ont été comparées montrant l’apport de notre méthode d’optimisation avec contrainte RL1L2.Dans une seconde étape, ce simulateur bout-en-bout a été utilisé afin de sélectionner le balayage optimal dufaisceau laser pour obtenir la meilleure qualité d’image. Nous avons montré qu’un balayage en quinconce était préférableà un balayage en ligne. Dans une troisième étape, les performances en termes de rapport signal-à-bruit et de contraste ont été évaluées et comparées à des images acquises par imagerie flash laser classique. Les résultats obtenus sur des images synthétiquesont montré que les performances entre ces deux techniques étaient comparables. Enfin, une analyse est menée sur l’étude des performances d’un tel système en tenant compte des technologies disponibles. Compte tenu des caractéristiques actuelles des sources laser et détecteurs, l’imagerie flash laser mosaïque montre son intérêt lorsqu’il faut couvrir un large champ de la scène présentant de faibles évolutions temporelles. / Flash active imaging can be used for surveillance or target identification at long range and Iow visibility conditions. Its principle is based on the illumination of a scene With a pulsed laser which is then backscattered to the sensor. The signal to noise ratio and contrast of the object over the background are increased in comparison With passive imaging. Even though, range and field of view (FOV) are limited for a given laser power. The new active imaging system presented here aims at vercoming this limitation. It acquires the entire scene With a high-speed scanning laser illumination focused on a limited region, whereas at each scan the full frame active image is acquired. The whole image is then reconstructed by mosaicking Il these successive images. A evaluation of the performance of this system is conducted by using a direct physical model of his so-called « mosaic active imaging ». This End to End model, realistic in terms of turbulence effects (scintillation, beam andering.. gives us a sequence of images a synthetic scenes. After describing this model, the reconstruction method will be described. It is based on a total-variation minimization scheme. Finally, the performances of this new concept are ompared to those of a conventional flash active camera by using usual metrics (Johnston's criteria, SNR, ...). For va rious mean laser powers, we quantify the gains expected in terms of range and field of view of this new concept.

Les travaux présentés dans ce mémoire proposent une méthode originale de génération automatique de tests à partir de modèles SysML pour la validation de systèmes embarqués. Un sous-ensemble du langage SysML (appelé SysML4MBT) regroupant les éléments de modélisation pris en compte dans notre approche a été défini et une stratégie de génération de tests dédiée (intitulée ComCover) a été créée. Cette stratégie, basée sur les principes du critère de couverture de modèles bien connu Def-Use, s'intéresse à la couverture des communications (envois / réceptions) au sein du système et entre le système et son environnement.La mise en œuvre opérationnelle d'un prototype, basé sur un générateur de tests à partir de modèle UML, a nécessité la définition de règles de réécriture permettant la transformation du modèle SysML4MBT vers le format d'entrée natif du générateur de tests tout en conservant l'expressivité de SysML4MBT. Finalement, les étapes de concrétisation des tests en scripts exécutables et l'établissement automatique du verdict lors de l'exécution sur banc de test définis durant le projet VETESS permettent l'établissement d'une chaîne outillée opérationnelle de génération et d'exécution automatique de tests à partir de spécifications SysML. Cette chaîne outillée a été étrennée sur plusieurs cas d'étude automobile tels que l'éclairage avant, les essuie-glaces ou la colonne de direction de véhicule. Sur ce dernier exemple, nous avons eu l'opportunité d'exécuter les tests sur un banc de test physique. Ces cas d'étude ont permis de valider chacune des étapes de l'approche proposée. / The work introduced in this thesis is in line with an original SysML Model-Based Testing approach to validate automotive mechatronic systems. A subset of SysML notation (called SysML4MBT) supported to express the test model is defined and a dedicated test generation strategy (called ComCover) is created. This strategy, based on the well-known Def-Use criteria, deals with the coverage of communications (sends / receives) inside the system and between the system and its environment.The development of an operational prototype, based on a UML-based test generator, has required the definition of rewriting rules to derive the input model of the UML test generator from the SysML4MBT model, by preserving the SysML4MBT expressivity.Finally, the concretization of tests in executable scripts and the assignment of a verdict by executing tests on test bench defined during the VETESS project, complete the operational toolchain that allows tests generation and execution from SysML models.This toolchain has been tried out on several automotive case studies as front lightings, wiper or steering column. Concerning this last experimentation, we have had the opportunity to execute test on a physical test bench. These case studies allow validating each step of the proposed approach.

L'absence de système d'évaluation de la prosodie de l'anglais L2 parlé par des apprenants francophones a motivé la réalisation de ce travail de thèse. Dès lors, l'analyse de facteurs rythmiques dans la production d'apprenants français, qui fait l'objet de cette recherche, a un double objectif : analyser l'influence du rythme de la langue maternelle (L1=français) sur la langue cible (L2=anglais), et d'autre part, proposer des critères évaluatifs du rythme des productions des francophones, à partir de différentes métriques rythmiques proposées dans la littérature. Ces travaux ont mené à l'élaboration d'une base de données d'anglais L1/L2 nommée ANGLISH, à partir de laquelle nous avons montré une discrimination des locuteurs natifs/non natifs s'appuyant sur la combinaison de paramètres rythmiques. Les résultats de ces travaux de recherche montrent donc qu'il est possible de distinguer la L1 de la L2, et de donner une tendance rythmique des productions des apprenants francophones.

Les travaux de cette thèse s'inscrivent dans le cadre de la vérification des logiciels et plus particulièrement du test à partir de spécifications algébriques. La soumission d'un jeu de tests exhaustif pour trouver toutes les erreurs d'un programme est généralement impossible. Il faut donc sélectionner un jeu de tests le plus judicieusement possible. Nous avons donc donné une méthode de sélection de tests par dépliage des axiomes de spécifications conditionnelles positives (clauses de Horn pour la logique équationnelle). Celle-ci permet de partitionner le jeu exhaustif des tests. Nous utilisons pour cela un critère de sélection qui utilise les axiomes de la spécification et qui peut être appliqué plusieurs fois de suite. Pour garantir de bonnes propriétés sur ce critère de sélection, nous avons également donné un cadre général pour la normalisation d'arbre de preuve. Il fonctionne pour n'importe quel système formel, et permet d'unifier un grand nombre de résultats en logique.

Le manque d'utilisabilité des Environnements Virtuels (EVs) est un obstacle majeur à leur utilisation à grande échelle dans de nombreux domaines d'activités professionnels. Ces environnements informatisés présentent plusieurs spécificités (i.e., recours à la 3D, à la multimodalité, etc.) non prises en compte par les méthodes classiques d'évaluation de l'utilisabilité. Il est pourtant nécessaire de disposer de méthodes permettant d'apprécier leur qualité ergonomique. Cette thèse développe les différentes étapes d'élaboration et de validation des Critères Ergonomiques (C.E.) adaptés aux Interactions Homme-Environnements Virtuels. Une première étape a consisté à définir les C.E. à partir de l'élaboration et de la classification de recommandations ergonomiques, dédiées aux EVs, issues de la littérature du domaine. Sur la base de 170 recommandations, 20 critères élémentaires ont été identifiés, définis, justifiés et illustrés. Cette étape est le fondement de l'adaptation des C.E. aux EVs. Une seconde étape a permis de valider les C.E. lors d'une tâche d'affectation où 10 spécialistes de l'ergonomie des logiciels ont affecté correctement aux critères principaux 68% des difficultés d'interactions qui leur ont été présentées. Cette étape a également permis de mettre en lumière les C.E. bien compris et ceux qui nécessitent des améliorations. Une troisième étape a comparé expérimentalement les performances dans trois situations d'évaluations ergonomiques de 2 EVs : tests utilisateurs, inspection à l'aide des C.E. et inspection libre. Les résultats de cette expérimentation montrent que les C.E. offrent une performance d'évaluation significativement plus élevée que celle des inspections libres, ils montrent également que les C.E. et les tests utilisateurs permettent des performances d'évaluations équivalentes. D'autres aspects des méthodes tels que le type de problèmes identifiés, l'homogénéité interne et les recouvrements entre chaque méthode sont comparés.

Cette thèse se propose de situer dans le cadre du paradigme instrumental un ensemble d'études dans le domaine de la conception des artefacts embarqués pour l'automobile. L'objectif est de retrouver, dans la diversité apparente des systèmes embarqués (dits d' «aides à la conduite», de «confort», de «communication» ...) des invariants de conception susceptibles d'orienter en amont certains choix dimensionnants. <br /><br />Dans la perpective de répondre à cet objectif, le modèle instrumental propose une analyse des liens entre les trois pôles Sujet-Instrument-Objet de la situation. Sur cette base nous avons développé un modèle opératif qui met en miroir une face dite «psychologique» non directement observable, mais explicitable, et une face « comportementale » plus directement observable. L'acte instrumental se comprenant comme une articulation entre ces deux faces du même modèle.<br /><br />La première partie porte sur des artefacts de guidage. Plusieurs modalités sont comparées: Utilisation d'une carte papier, Copilotage humain, Guidage par différentes versions d'un système computationnel.<br />Les résultats indiquent que par rapport à l'usage de la carte papier, et contrairement aux hypothèses de départ, le guidage avec le système n'augmente pas les performances navigationelles du conducteur, mais diminue significativement le nombre de «situations accidentogènes» rencontrées .<br />Par ailleurs les résultats montrent aussi que dans les cas où il existe une incohérence, du point de vue du conducteur, entre les prescriptions transmises par le système et ce qu'il perçoit directement de l'environnement routier, des stratégies efficaces de régulation de l'activité sont mises en place.<br />L'application du cadre instrumental a permis d'interpréter ces résultats en termes de schèmes de gestion des compromis de l'action. Ce compromis s'est réalisé entre «prise de risque» et «performance».<br /><br />La deuxième partie élargit cette approche à l'analyse de cas d' artefacts diversifiés (commandes sur les ouvrants, sur les essuies vitres ...). Les situations analysées proviennent alors plus souvent d'entretiens relatifs à des situations d'usage d'équipements existant plutôt qu'à partir d'expérimentations ad hoc comme dans la première partie. <br />L'analyse de la réussite ou non de la conception se fait en terme de concordance entre les deux faces, psychologique et comportementale, du modèle : c'est à dire entre ce qui est attendu et ce qui est obtenu par le sujet au cours de l'activité instrumentée.<br /><br />Une recherche d'opérationnalisation a ensuite été réalisée en montrant d'une part comment l'analyse de certaines situations d'usage pouvait être généralisée pour servir à la conception d'autres artefacts qui par certains traits caractéristiques pouvaient s'apparenter à la situation étudiée, et d'autre part, par l'établissement d'une correspondance entre des critères de conception et le modèle de l'activité proposé.<br /><br />De cette recherche transparaissent deux éléments :<br />- L'analyse à partir du modèle instrumental permet bien d'identifier des invariants de conception, généralisables à une classe donnée d'artefacts.<br />- Pour cette recherche d'invariants, il peut exister une alternative à la mise en place d'expérimentations sur des prototypes ad hoc du système en cours de conception : l'analyse à partir d'entretiens sur des situations d'usage de systèmes existants.

La logique linéaire (LL) permet de prendre naturellement en compte la notion de ressource. Elle est ainsi très expressive : le plus petit fragment propositionnel est déjà NP-complet alors que le plus grand est indécidable car on peut y simuler les modèles de calculs usuels comme les machines à registres. La décidabilité du fragment multiplicatif exponentiel de LL (MELL) est un problème ouvert. Cette thèse établit la complétude de la sémantique des phases semi-linéaire pour le fragment de Horn de MELL. La prouvabilité dans ce dernier est équivalente à l'accessibilité dans les réseaux de Pétri. Ce résultat constitue une première étape vers l'éventuelle décidabilité de MELL (conjecture de Y.Lafont). Le chapitre suivant développe le codage du problème des circuits hamiltoniens où la notion de choix (qui est ici naturellement traduite par les connecteurs additifs) est gérée multiplicativement. Ce procédé pourrait être étendu à l'étude d'autres problèmes de théorie des graphes. On obtient ainsi une nouvelle preuve de la NP-complétude du fragment multiplicatif de la logique linéaire. C'est un travail réalisé en commun avec T.Krantz. Enfin, on donne un critère de correction quadratique pour les réseaux de preuves de la logique non-commutative de P.Ruet (qui contient la logique linéaire et la logique linéaire cyclique). Il permet de plus de traiter les réseaux de preuve avec coupures.

Pour mettre en application le principe de "développement durable", le secteur forestier compte aujourd'hui différentes initiatives engagées au niveau international. Cependant, ces efforts sont encore insuffisants pour freiner la dégradation des ressources forestières qui s'accentue particulièrement dans les pays pauvres. Ainsi, l'actuel défi du secteur forestier consiste à redoubler les efforts visant à améliorer la mise en œuvre concrète des engagements forestiers internationaux. Une des voies envisagées actuellement par les organismes internationaux est d'encourager une meilleure articulation du principe de durabilité aux politiques et programmes nationaux. Participant à ce même objectif, cette thèse aborde l'analyse du processus de décision publique forestière afin d'examiner l'utilisation effective du concept de gestion durable des forêts, et plus particulièrement à travers un des principaux outils de celle ci: les critères et indicateurs (C&I). Ainsi, dans le domaine de la gestion durable des forêts et des politiques forestières, le pilier central de ce travail de recherche est constitué des sujets suivants: les aspects conceptuels associés à la gestion durable des forêts; l'articulation des C&I avec un modèle de formulation de la politique forestière; l'étude de cas portant sur les C&I et les politiques forestières dans le cadre des forêts de montagne. Le principal résultat obtenu correspond à l'identification d'un ensemble de C&I servant à caractériser, globalement, une politique forestière pour la gestion durable des forêts de montagne européennes.