On propose un outil de description fonctionnelle permettant une description rigoureuse de spécification fonctionnelle. L'accent étant mis sur : la possibilité d'une description progressive; la possibilité de décrire des systèmes complexes repartis et à fonctionnement parallèle (entre les différents sous-systèmes et a l'intérieur d'un sous-système); la possibilité de vérification fonctionnelle (blocages, conflit, etc.)

La théorie néo institutionnelle permet de penser les outils de gestion dans la société et dans l'interaction avec les acteurs des organisations. Ce travail montre la complexité des instruments de gestion et les envisage tour à tour comme : des éléments symboliques neutres à l'activité de l'organisation adoptés par souci de légitimité et diffusés par des mécanismes isomorphiques, des objets rhétoriques porteurs de langage et de catégorisations et transformés par les acteurs organisationnels, des artefacts transportant des logiques institutionnelles multiples naissant dans le champ organisationnel. Cette thèse pose l'existence d'un nouveau rôle pour les outils de gestion, celui de régulateur des contradictions entre logiques institutionnelles. Sur le plan empirique, avec une méthodologie qualitative mêlant approches longitudinales multi niveaux et recherche intervention, les logiques institutionnelles du champ de la finance solidaire en France et de deux organisations de capital-risque solidaire sont analysées. Les outils de gestion de ces deux organisations sont étudiés. Les outils créés avec le chercheur, les pactes d'actionnaires et les chartes, véhiculent les logiques institutionnelles des fonds. Le changement des pactes d'actionnaire et les comités d'investissement permettent de révéler que les outils de gestion gèrent les tensions entre logiques institutionnelle en les éliminant, les compartimentant ou les intégrant. Les résultats de cette étude permettent de discuter le degré d'incompatibilité entre les logiques en fonction de leur perméabilité, des métiers représentés dans les organisations et des pratiques considérées. Ils autorisent également une formalisation des liens entre outils de gestion et logiques institutionnelles ainsi qu'entre logiques institutionnelles présentes dans l'organisation et rôle des outils de gestion. Enfin, un process socio technique d'hybridation de logiques institutionnelles est proposé.

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

L’augmentation de la densité et la réduction de la tension d’alimentation des circuits intégrés rend la contribution des effets singuliers induits par les radiations majoritaire dans la diminution de la fiabilité des composants électroniques aussi bien dans l’environnement radiatif spatial que terrestre. Cette étude porte sur la modélisation des mécanismes physiques qui conduisent à ces aléas logiques (en anglais "Soft Errors"). Ces modèles sont utilisés dans une plateforme de simulation,appelée TIARA (Tool suIte for rAdiation Reliability Assessment), qui a été développée dans le cadre de cette thèse. Cet outil est capable de prédire la sensibilité de nombreuses architectures de circuits (SRAM,Flip-Flop, etc.) dans différents environnements radiatifs et sous différentes conditions de test (alimentation, altitude, etc.) Cette plateforme a été amplement validée grâce à la comparaison avec des mesures expérimentales effectuées sur différents circuits de test fabriqués par STMicroelectronics. La plateforme TIARA a ensuite été utilisée pour la conception de circuits durcis aux radiations et a permis de participer à la compréhension des mécanismes des aléas logiques jusqu’au noeud technologique 20nm. / Aggressive integrated circuit density increase and power supply scaling have propelled Single Event Effects to the forefront of reliability concerns in ground-based and space-bound electronic systems. This study focuses on modeling of Single Event physical phenomena. To enable performing reliability assessment, a complete simulation platform named Tool suIte for rAdiation Reliability Assessment (TIARA) has been developed that allows performing sensitivity prediction of different digital circuits (SRAM, Flip-Flops, etc.) in different radiation environments and at different operating conditions (power supply voltage,altitude, etc.) TIARA has been extensively validated with experimental data for space and terrestrial radiation environments using different test vehicles manufactured by STMicroelectronics. Finally, the platform has been used during rad-hard digital circuits design and to provide insights into radiation-induced upset mechanisms down to CMOS 20nm technological node.

Pendant près de deux siècles, les générations d'horlogers bisontins se sont transmis valeurs, savoirs,passion pour ce métier qui s'est ancré fortement dans le territoire bisontin. Lorsque l'innovationtechnique du quartz remet en question la production horlogère traditionnelle dans les années 1970,la fabrication de montres disparait. Lui succède alors une activité centrée sur les “microtechniques”,présentée communément comme l'héritière des savoirs horlogers. Quelle est la nature véritable decet héritage ? Dans le cadre de notre thèse, nous tentons de répondre à cette question, en analysantle processus de reconversion de l'industrie horlogère vers les microtechniques. Nous cherchons àcomprendre comment des catégories professionnelles autrefois réunies autour d'un projet communet réunies par une culture collective fortement cohésive se désolidarisent dans un contexte de crise.Les places occupées dans le système initial ont lentement façonné des identités spécifiques,masquées pourtant par la culture collective. Dans une période d'instabilité provoquée par desbouleversements environnementaux, ces identités s'affirment et les normes, représentations etvaleurs de chaque groupe produisent des logiques d'acteurs différentes. Le groupe capable de puiserdans ses ressources pour s'adapter aux transformations de l'environnement acquiert le pouvoir, qued'autres perdent en refusant le changement. L'orientation de l'activité vers le secteur desmicrotechniques peut donc être envisagée comme une stratégie favorable à la pérennisation dessavoirs d'une des catégories en présence. Plutôt qu'un simple phénomène d'ajustement à desnouvelles contraintes économiques et techniques, le changement peut donc être analysé – aussi –comme un phénomène microsocial, résultat de logiques d'acteurs et de luttes pour la maîtrise del'avenir d'une industrie territorialisée / For nearly two centuries, generations of clockmakers from Besançon have transmitted their values,knowledges and passion for this job that has deeply rooted into Besançon territory. In the 70's, thenew "quartz" technic questioned the traditional clock-making and the traditional watchmakingdisappeared. Then come the turn of an activity based on microtechnics, wich is seen as the legacy ofclock-making knowledge. What is the true nature of this legacy ? Throughout our Phd, we fried toanswer this question, analysing how the watchmaking industry evolved to microtechnics. We triedto anderstand how the professional categories, that used to be united around a common project andunited by a higly cohesive culture, set apart in a crisis time. The jobs wich were initially occupedcreated little by little some specific identities, hidden however by the global culture. In this periodof relative instability caused by environnemental changes, these identities assert and the normes,representations and values of each group create different logics. The group wich is abble to drowfrom it's own resources to adapt itself to the environnemental changes gets the power that otherslose when they refuse these changes. Thus, the orientation of this activity to the microtecnics sectorcan be conceived as a stratégy wich would help the knowledge of one of the present categoriesperpetuate. Rhater than a simple adjusting phenomenon to new economical and technical contraints,this change can therefore be also analysed as a microsocial phenomenon resulting from logics andfights to master the future of this territorialized industrie

Face aux problèmes quotidiens, on se retrouve souvent confrontés à des situations où la prise de décision est nécessaire. Prendre une décision c'est agir en fonction des choix, préférences et connaissances des agents sur le monde. L'intelligence artificielle a donné naissance à de nombreux outils de représentation permettant d'exprimer les préférences et les connaissances des agents. Malheureusement, les approches existantes ne sont pas totalement satisfaisantes. Ainsi le but de la première partie de cette thèse est de proposer une approche permettant l'intégration des connaissances des experts aux modèles graphiques probabilistes utilisées pour des tâches de classification tels que les réseaux Bayésiens. Les performances des modèles développés sont évaluées concrètement sur des problèmes de détection d'intrusions et de corrélation d'alertes dans le domaine de la sécurité informatique. La deuxième partie concerne la gestion des préférences complexes en présence des contraintes fonctionnelles dans des environnements incertains et la proposition d'une nouvelle logique non classique pour la représentation et le raisonnement sur les préférences en présence des contraintes dans de tels environnements. Les travaux menés dans cette deuxième partie sont testés sur un système de réservation électronique utilisé par le CNRS. / In real life, we often find our self confronted to situations where decision making is necessary. Make a decision is to act according to the choices and preferences of agents as well as their knowledge on the world. Artificial Intelligence gave rise to many tools of representation and expression of agents' preferences and knowledge. Unfortunately, existing approaches are not completely satisfactory. Thus, the goal of the first part of this thesis is to propose an approach allowing the integration of experts' knowledge to the probabilistic graphical models used for classification tasks such as Bayesian networks. The performances of the developed models are concretely evaluated on problems of intrusions detection and alerts correlation in the field of computer security. The second part of this thesis relates to complex preferences handling in presence of functional constraints in uncertain environments and proposes a new non-classical logic for representing and reasoning with preferences in such environments. The works leaded in this second part, are tested on an electronic travel-agency system used by CNRS.

Cette thèse explore les antécédents et conséquences de l'illégitimité organisationnelle. Comment l'illégitimité organisationnelle émerge-t-elle? Pourquoi persiste-t-elle? En utilisant une approche fondée sur les logiques institutionnelles, j'étudie la matérialisation d'une catégorie stigmatisée, et comment la variance en termes de désapprobation au sein de cette catégorie peut signaler une certaine proximité vis-à-vis d'une logique de champ, et se révéler bénéfique.Les enjeux que représentent les transferts et manipulations de l'illégitimité favorisent l'apparition d'échanges sociaux dans lesquels les acteurs se rejettent la faute.Ces questions sont étudiées empiriquement dans le contexte de l'industrie de la banque d'investissement aux Etats-Unis dans la période d'après crise, à partir de 2007. Plus particulièrement, j'observe la perception de cette industrie dans la presse écrite. Ce travail de recherche révèle la nature stratégique des évaluations sociales négatives et délivre des enseignements pour la gestion de l'image de l'entreprise et les politiques publiques / This dissertation explores the antecedents and outcomes of organizational illegitimacy. How do organizational illegitimacy emerge? Why does it persist? Using an institutional logis perspective, I investigate the materialization of a stigmatized category, and how variance in disapproval within this category can signal proximity to a field-level logic and yield beneficial outcomes.The stakes of transferring and manipulating illegitimacy set the stage for blame games at the field of organizational level. These questions are examined in the empirical context of the US investment banking industry in the aftermath of the 2007 crisis. I focus in particular on its perception in print media. This work sheds light on the strategic nature of negative social evaluations, and provides implications for corporate image management and policy practice

Les logiques hybrides accroissent les logiques modales avec des éléments pour décrire et raisonner à propos de l'identité, ce qui est crucial dans certaines situations. Les logiques modales que l'on connaît comme ``hybrides'' aujourd'hui remontent au travaux de Prior dans les années 1960, mais leur étude systématique n'a commencé qu'au bout des années 1990. Elles sont intéressantes en grande partie car elles comblent un manque en matière d'expressivité dans les logiques modales. D'ailleurs, elles sont connues parfois comme des ``logiques modales avec égalité''. L'un des thèmes centraux de cette thèse est le problème de la satisfiabilité pour celle qui est probablement la mieux connue des logiques hybrides: le système H(@,dwn), et pour certaines de ses sous-logiques. La satisfiabilité est le problème fondamental en raisonnement automatique. Dans le cas des logiques hybrides, elle a été étudiée essentiellement par la méthode des tableaux. Dans cette thèse, nous essayons de compléter le panorama en explorant la satisfiabilité des logiques hybrides par d'autres méthodes: la résolution du premier ordre et des variantes de calcul de résolution qui manipulent directement des formules hybrides. Nous présentons un certain nombre de traductions en temps linéaire de H(@,dwn) à la logique de premier ordre qui préservent la satisfiabilité. Elles sont conçues de façon telle qu'elles réduisent l'espace de recherche. Ensuite nous dirigeons notre attention vers les calculs qui manipulent directement des formules hybrides. En particulier, nous considérons le calcul de résolution directe. Inspirés par la résolution du premier ordre, nous transformons ce calcul en un calcul de résolution ordonnée avec des fonctions de sélection, et nous prouvons qu'il a la propriété de réduction des contre-exemples. Nous concluons ainsi qu'il est réfutationnellement complet et qu'il est compatible avec le fameux critère standard de redondance. Nous montrons également qu'une version raffinée de ce calcul constitue un procédure de décision pour H(@), un fragment décidable de H(@,dwn). Dans la dernière partie de cette thèse, nous explorons certaines formes normales des logiques hybrides et d'autres logiques modales étendues. Nous nous intéressons aux formes normales où certaines modalités ne sont jamais présentes dans la portée d'autres opérateurs modaux. Nous montrons qu'il est possible de profiter de ce type de transformations sous la forme d'un prétraitement, dans le but de réduire le nombre d'inférences nécessaires pour un prouveur modal. En nous efforçant de formuler ces résultats en tenant compte d'autres logiques modales étendues, nous arrivons à une formulation de la sémantique modale par un nouveau type de modèles définis de façon coinductif. Plusieurs logiques modales étendues (dont les logiques hybrides) peuvent être définies par des classes de modèles coinductifs. Ainsi, des résultats qui étaient habituellement prouvés séparément pour chaque langage (mais dont la preuve n'était souvent que de routine) peuvent être démontrés d'une façon générale. / Hybrid logics augment classical modal logics with machinery for describing and reasoning about identity, which is crucial in many settings. Although modal logics we would today call ``hybrid'' can be traced back to the work of Prior in the 1960's, their systematic study only began in the late 1990's. Part of their interest comes from the fact they fill an important expressivity gap in modal logics. In fact, they are sometimes referred to as ``modal logics with equality''. One of the unifying themes of this thesis is the satisfiability problem for the arguably best-known hybrid logic, H(@,dwn), and some of its sublogics. Satisfiability is the basic problem in automated reasoning. In the case of hybrid logics it has been studied fundamentally using the tableaux method. In this thesis we attempt to complete the picture by investigating satisfiability for hybrid logics using first-order resolution (via translations) and variations of a resolution calculus that operates directly on hybrid formulas. We present firstly several satisfiability-preserving, linear-time translations from H(@,dwn) to first-order logic. These are conceived in a way such that they tend to reduce the search space of a resolution-based theorem prover for first-order logic. We then move our attention to resolution-based calculi that work directly on hybrid formulas. In particular, we will consider the so-called direct resolution calculus. Inspired by first-order logic resolution, we turn this calculus into a calculus of ordered resolution with selection functions and prove that it possesses the reduction property for counterexamples from which it follows its completeness and that it is compatible with the well-known standard redundancy criterion. We also show that certain refinement of this calculus constitutes a decision procedure for H(@), a decidable fragment of H(@,dwn). In the last part of this thesis we investigate certain normal forms for hybrid logics and other extended modal logics. We are interested in normal forms where certain modalities can be guaranteed not to occur under the scope of other modal operators. We will see that these kind of transformations can be exploited in a pre-processing step in order to reduce the number of inferences required by a modal prover. In an attempt to formulate these results in a way that encompasses also other extended modal logics, we arrived at a formulation of modal semantics in terms of a novel type of models that are coinductively defined. Many extended modal logics (such as hybrid logics) can be defined in terms of classes of coinductive models. This way, results that had to be proved separately for each different language (but whose proofs were known to be mere routine) now can be proved in a general way.

L’ambition de cette thèse n’est pas de poser objectivement les rapports qu’entretient À la recherche du temps perdu avec le cinéma(tographe), pour la simple et bonne raison que ceux-ci sont à peu près inexistants, du strict point de vue de l’objectivité. N’ayant jamais mis les pieds dans un lieu qui projette ce type bien particulier d’images en mouvement, Proust n’est pas un écrivain intéressé par ce qu’on nomme aujourd’hui « cinéma ». On ne trouve que peu souvent son nom dans les anthologies faisant état des écrivains du début du siècle dernier qui ont commenté le spectacle des vues animées. Si par hasard il y est, on cite généralement les passages du Temps retrouvé, où est assez sévèrement critiqué le « défilé cinématographique des choses ». Que la critique de Proust à l’endroit du cinéma(tographe) soit une critique essentiellement négative n’est pas en soi gênant et ne contredit pas nécessairement le besoin de faire le point sur cette question. Il nous faut seulement adopter une vision plus artiste du problème, ou du moins accepter que le cinéma n’est pas limité à un seul mode d’existence stable : « cinéma » est en fait un pot-pourri d’idées, de concepts et de pratiques qui est voué au changement, et c’est précisément ce changement qui est digne d’intérêt. Une telle relativisation de l’idée de « cinéma » nous permettra d’explorer les différentes séries d’images et les séries techniques qui parcourent le roman de Proust et ses adaptations écraniques, afin de voir si elles sont en mesure de recouper l’une ou l’autre des fonctions que l’on a pu attribuer au cinéma au cours de son histoire. La présente thèse est donc en quelque sorte le procès-verbal des définitions du cinéma qu’a pu nous offrir notre lecture de Proust. Elle est aussi celui des différentes lectures que le cinéma nous permet de faire de la Recherche, des lectures « cinématographiques ». / This thesis does not objectively study ongoing relations between In Search of Lost Time and the cinema medium for the simple reason that, from the strict point of view of objectivity, they are almost non-existent. Having never set foot in a place that shows this particular type of moving images, Proust is not interested in what is now called “cinema”. At best, his name infrequently appears in anthologies of the early 20th century’s writers who commented this kind of spectacle. If by chance he is, the excerpts generally selected are the ones of Time Regained where the “cinematic parade of things” is quite severely criticized. But Proust’s criticism of cinema, albeit an essentially negative one, is not that much inconvenient and does not particularly contradict the need to investigate the matter. We just have to think the problem in a more artistic way, or at least to accept that cinema is not limited to a stable, single mode of existence: “cinema” is – and should be – a potpourri of ideas, concepts and practices that is bound to change, and it is precisely that change that is worth investigating. Such a relativization of the idea of “cinema” will allow us to explore different series of images and series of techniques that run in Proust's novel and its screen adaptations, while letting us see if they are able to match some functions that have been attributed to cinema during its history. This thesis therefore intends to be a record of cinema’s definitions that our reading of Proust’s work could offer. It is also a record of the many readings of In Search of Lost Time that cinema allows us, “cinematographic” readings.

Ce travail de recherche vise à utiliser la sociologie néo-institutionnelle et ses concepts clés tels que les logiques institutionnelles et le travail institutionnel pour analyser comment les acteurs agissent sur les institutions au niveau d'une filière agricole. Nous avons choisi de vérifier l'applicabilité de notre cadre théorique dans un contexte empirique subissant un changement institutionnel, la filière légumes mauricienne. Pour valider le cadre théorique choisi, nous avons tout d'abord mené un terrain exploratoire. A travers une analyse thématique des enquêtes, nous avons identifié les logiques institutionnelles qui orientent les actions de nos principaux acteurs dans la filière légumes mauricienne, et les types et formes de travail institutionnel entreprit par les acteurs en place et nouveaux de la filière légumes. Cette thèse permet de conclure que l'étude du travail institutionnel dans une dynamique de filière agricole a toute son importance car l'approche sociologique permet aux chercheurs de mieux appréhender le comportement des acteurs de la filière.Mots clés : sociologie néo-institutionnelle, logique institutionnelle, travail institutionnelle, filière agricole, analyse de contenu thématique, analyse qualitative comparée. / This research work aimed at using sociological neo institutionalism and its key concepts, institutional logics, and institutional work to understand the work undertaken by actors in an agricultural value chain. We have chosen the Mauritian vegetable value chain, in the context of an institutional change, as a field of study to apply the theoretical concepts. An exploratory study was carried out to validate the theoretical framework selected. Thematic content analysis allowed us to identify the institutional logics of the vegetable value chain as well as the different types and forms of institutional work undertaken by the incumbent and new actors. This research work allows us to conclude that the use of the concept of institutional work to understand the dynamics of an agricultural value chain is important as the sociological lens enables researchers to better understand actors' behavior in a value chain.Key words: sociological neo institutionalism, institutional logics, and institutional, agricultural value chain, thematic analysis, qualitative comparative analysis