Beschreibungslogiken (Description logics, DLs) sind eine Klasse von Wissensrepraesentationsformalismen mit wohldefinierter, logik-basierter Semantik und entscheidbaren Schlussfolgerungsproblemen, wie z.B. dem Erfuellbarkeitsproblem. Zwei wichtige Entscheidungsverfahren fuer das Erfuellbarkeitsproblem von DL-Ausdruecken sind Tableau- und Automaten-basierte Algorithmen. Diese haben aufgrund ihrer unterschiedlichen Arbeitsweise komplementaere Eigenschaften: Tableau-Algorithmen eignen sich fuer Implementierungen und fuer den Nachweis von PSPACE- und NEXPTIME-Resultaten, waehrend Automaten sich besonders fuer EXPTIME-Resultate anbieten. Zudem ermoeglichen sie eine vom Standpunkt der Theorie aus elegantere Handhabung von unendlichen Strukturen, eignen sich aber wesentlich schlechter fuer eine Implementierung. Ziel der Dissertation ist es, die Gruende fuer diese Unterschiede zu analysieren und Moeglichkeiten aufzuzeigen, wie Eigenschaften von einem Ansatz auf den anderen uebertragen werden koennen, um so die positiven Eigenschaften von beiden Ansaetzen miteinander zu verbinden. Unter Anderem werden Methoden entwickelt, mit Hilfe von Automaten PSPACE-Resultate zu zeigen, und von einem Tableau-Algorithmus automatisch ein EXPTIME-Resultat abzuleiten. / Description Logics (DLs) are a family of knowledge representation languages with well-defined logic-based semantics and decidable inference problems, e.g. satisfiability. Two of the most widely used decision procedures for the satisfiability problem are tableau- and automata-based algorithms. Due to their different operation, these two classes have complementary properties: tableau algorithms are well-suited for implementation and for showing PSPACE and NEXPTIME complexity results, whereas automata algorithms are particularly useful for showing EXPTIME results. Additionally, they allow for an elegant handling of infinite structures, but they are not suited for implementation. The aim of this thesis is to analyse the reasons for these differences and to find ways of transferring properties between the two approaches in order to reconcile the positive properties of both. For this purpose, we develop methods that enable us to show PSPACE results with the help of automata and to automatically derive an EXPTIME result from a tableau algorithm.

S'il est acquis depuis de nombreuses années que la gestion de la Santé-sécurité au travail (SST) s'effectue par le biais de Systèmes de Management (SMS), la question de la mesure de la performance et du pilotage de ces derniers reste d'actualité. Traditionnellement, la mesure de la performance de ces SMS est fondée sur l'utilisation d'indicateurs de résultats : fréquence et gravité des arrêts de travail et des maladies professionnelles. Ce type d'indicateurs « traditionnels » « a posteriori » présente plusieurs contraintes et limites. Ils sont construits à partir de résultats antérieurs et ne permettent pas, entre autre, de corriger les situations déviantes jamais survenues auparavant. Une transposition du concept de Tableau de Bord « prospectif » appliqué au domaine de la gestion de la SST permet de répondre en partie aux lacunes identifiées avec l'utilisation des seuls indicateurs SST « traditionnels » Un cas pratique de Tableau de Bord « prospectif » en SST appliqué à deux principaux processus de gestion de la Santé-Sécurité (maîtrise des conformités réglementaires et des risques professionnels) est décrit dans le cadre d'une expérimentation conduite avec entreprise du domaine de l'aéronautique. / While it has been established for many years that the management of Occupational Health and Safety (OHS) is carried out by means of Management Systems, the question of how to measure the performance and the control of these systems is still current. Traditionally, the performance indicators used to measure the performance of Management Systems are: the frequency and severity of absences due to sickness, and work-related diseases. These traditional, retrospective indicators have several constraints and limitations which include the fact that they are based on historical results and cannot be used proactively to handle anomalous situations. The use of the concept of the Balanced Scorecard applied to the field of OHS management responds in part to deficiencies identified in the sole use of traditional OHS indicators. A case study of the OHS Balanced Scorecard applied to two key health and safety management processes (regulatory compliance and risk management) is described as part of an experiment with a company in the aerospace sector.

Beschreibungslogiken (Description logics, DLs) sind eine Klasse von Wissensrepraesentationsformalismen mit wohldefinierter, logik-basierter Semantik und entscheidbaren Schlussfolgerungsproblemen, wie z.B. dem Erfuellbarkeitsproblem. Zwei wichtige Entscheidungsverfahren fuer das Erfuellbarkeitsproblem von DL-Ausdruecken sind Tableau- und Automaten-basierte Algorithmen. Diese haben aufgrund ihrer unterschiedlichen Arbeitsweise komplementaere Eigenschaften: Tableau-Algorithmen eignen sich fuer Implementierungen und fuer den Nachweis von PSPACE- und NEXPTIME-Resultaten, waehrend Automaten sich besonders fuer EXPTIME-Resultate anbieten. Zudem ermoeglichen sie eine vom Standpunkt der Theorie aus elegantere Handhabung von unendlichen Strukturen, eignen sich aber wesentlich schlechter fuer eine Implementierung. Ziel der Dissertation ist es, die Gruende fuer diese Unterschiede zu analysieren und Moeglichkeiten aufzuzeigen, wie Eigenschaften von einem Ansatz auf den anderen uebertragen werden koennen, um so die positiven Eigenschaften von beiden Ansaetzen miteinander zu verbinden. Unter Anderem werden Methoden entwickelt, mit Hilfe von Automaten PSPACE-Resultate zu zeigen, und von einem Tableau-Algorithmus automatisch ein EXPTIME-Resultat abzuleiten. / Description Logics (DLs) are a family of knowledge representation languages with well-defined logic-based semantics and decidable inference problems, e.g. satisfiability. Two of the most widely used decision procedures for the satisfiability problem are tableau- and automata-based algorithms. Due to their different operation, these two classes have complementary properties: tableau algorithms are well-suited for implementation and for showing PSPACE and NEXPTIME complexity results, whereas automata algorithms are particularly useful for showing EXPTIME results. Additionally, they allow for an elegant handling of infinite structures, but they are not suited for implementation. The aim of this thesis is to analyse the reasons for these differences and to find ways of transferring properties between the two approaches in order to reconcile the positive properties of both. For this purpose, we develop methods that enable us to show PSPACE results with the help of automata and to automatically derive an EXPTIME result from a tableau algorithm.

In a recent paper, Bentzen proposes a semantically characterised logic called Action Type Deontic Logic, where normative concepts are applied to action expressions, rather than propositional statements. The logic offers solutions to many of the paradoxes of deontic logic. In particular, Bentzen's semantics solves many puzzles involving the interaction of permission with conjunction and disjunction. One of the reasons for these positive results is the assumption that agents always act according to norm. This assumption means that only agents with ideal behaviour are modelled; there is no possibility for norm-violation. In this thesis, proof techniques and decision procedures for Action Type Deontic Logic in the style of semantic tableau are investigated, and soundness, completeness and termination results are obtained. In order to account for the possibility of norm-violation, a new semantics based on a generalisation of Action Type Deontic Logic models is proposed. The new semantics keeps the possibility of norm-violation open, while many of the virtues of Action Type Deontic Logic remain.

La Chine vit, depuis une vingtaine d’années, une mutation politico-économique sans précédent où les entreprises d’État chinoises (EEC) jouent un rôle de premier plan. L’objet de la recherche s’est fixé sur la proposition d’un modèle capable d’améliorer l’appréhension de la performance des EEC. La problématique consiste donc à cerner les caractéristiques des EEC et leurs besoins afin de proposer un modèle adapté.Pour cela, nous avons étudié en détail les mutations politiques, économiques et juridiques affectant les EEC ainsi que l’introduction des concepts et modèles de management occidentaux à travers la littérature chinoise. Ensuite, nous avons fait ressortir les facteurs de performance à travers la littérature, les rapports officiels du gouvernement à partir d’une étude de contenu et d’une enquête quantitative par questionnaires utilisant l’analyse factorielle.Cela a abouti à un cahier des charges, fondement de notre proposition d’un tableau de bord stratégique durable, fondé sur le modèle des parties prenantes et capable d’intégrer les notions de développement durable, de RSE et d’aménagement du territoire. / China has experienced over the last twenty years unprecedented political and economic changes in which state-owned enterprises (SOEs) have played a major role.The purpose of the research focusses on proposing a model capable of improving the understanding of the performance of SOEs. The issue is then to identify the characteristics and the needs of SOEs in order to proposed a model adapted to them.For that purpose we have studied the political, economic and legal changes which have affected SOEs as well as the introduction of Western management concepts and models through the Chinese literature. Then we have outlined the factors of performance through the literature, governmental official reports thanks to a study of content and a quantitative survey thanks to questionnaires using factorial analysis.This has led to specifications, the basis of our proposal of a sustainable strategic dashboard founded on the stakeholder model and capable of integrating the notions of sustainable development, corporate social responsibility and territorial planning.

Les paraplégies spastiques héréditaires (PSH) sont des maladies cliniquement et génétiquement hétérogènes, qui se manifestent par la présence de signes pyramidaux (spasticité, réflexes myotatiques vifs et diffusés) et d’un déficit moteur des membres inférieurs. On distingue des formes pures et complexes de PSH, ces dernières étant associées à la présence de signes additionnels tels que troubles cognitifs, neuropathie périphérique, signes cérébelleux, etc. Les mécanismes physiopathologiques des PSH sont également hétérogènes, incluant une anomalie du transport axonal (SPG3A, SPG4, SPG10, SPG20), du métabolisme mitochondrial (SPG7, SPG13), une anomalie de la formation de la myéline (SPG1) ou un dysfonctionnement du développement neuronal (SPG2). Elles peuvent se transmettre selon le mode autosomique dominant (AD), récessif (AR), ou récessif lié au chromosome X. Actuellement, 13 loci dont 9 gènes de PS-AD sont connus, mais seulement 5 gènes responsables de PS-AR ont été identifiés, alors que 14 loci sont connus. De par leur hétérogénéité clinique, génétique et physiopathologique, les PSH sont encore des maladies mal connues. Une meilleure connaissance du phénotype associé à chaque locus/gène permettrait aux cliniciens de mieux orienter les analyses moléculaires pour un diagnostic rapide. L’établissement de corrélations génotype-phénotypes et de la fréquence des gènes impliqués dans les PSH permettrait tant aux cliniciens qu’aux biologistes de cibler les gènes, les exons à analyser ou les mutations à rechercher en priorité. L’identification des mécanismes physiopathologiques des mutations est une première étape vers des études fonctionnelles et des traitements spécifiques. Nous avons montré que la forme de PS AD liée à des mutations dans le gène SPG3A était caractérisée par un début très précoce, avant l’âge de 10 114 ans. Cette forme en générale pure de PS peut se compliquer, notamment par une neuropathie périphérique ou un syndrome cérébelleux après une longue durée d’évolution de la maladie. Ces résultats permettent d’orienter les analyses moléculaires vers le gène SPG3A avant le gène SPG4, devant tout patient qui a débuté la maladie précocement, quelque soit le tableau clinique. Nous avons montré que les mutations dans le gène SPG3A, dont les mutations récurrentes p.R239C et p.R495W dans les exons 7 et 12 peuvent apparaître de-novo, justifiant l’analyse de ce gène chez des patients isolés. Nous avons étendu le phénotype des PS AD liées à des mutations dans le gène SPG4, qui doit être analysé chez les patients présentant une PS associée à un retard mental sans malformation cérébrale. De plus, nous avons montré que les délétions de ce gène ne sont pas rares, atteignant une fréquence de 20% chez les patients présentant une PS-AD sans mutation retrouvée par DHPLC. Ceci entraîne un changement des stratégies d’analyses moléculaires utilisées chez les patients atteints de PS, avec l’instauration systématique d’un MLPA chez chaque patient. Nous avons précisé le tableau clinique des paraplégies spastiques AR liées aux loci SPG26 et 27. Nous avons réduit l’intervalle génomique de ces loci. L’identification d’autres familles liées à ces loci permettra de réduire encore plus leurs intervalles génomiques, voire d’identifier les gènes responsables de ces maladies.

Les technologies de l'information (TI) telles que les systèmes reconnus d'Entreprise Ressources Planning (ERP), les Consumer Relationship Management (CRM) et les tableaux de bord ont permis aux gestionnaires modernes de maximiser la diffusion des informations stratégiques afin de dégager des avantages concurrentiels et d'avoir une vision commune pour leur entreprise (Kotter, 1995). Ces applications et théories pourraient aussi être appliquées pour une entreprise étendue (Casson, 1997) à condition que les acteurs de l'industrie ciblée désirent optimiser les flux d'informations, les flux matériels, les flux financiers et qu'ils désirent maximiser la commercialisation d'un nouveau créneau de marché. Pour ce faire, il est primordial que ces gestionnaires soient attentifs aux demandes des clients et que les ressources soient mises en oeuvre afin de combler cette demande (Street, 1990). La présente recherche aborde la problématique liée à l'influence et au partage des flux d'informations dans la gestion d'une entreprise étendue générique, dans un changement des processus en contexte de production agricole. Le contexte de l'entreprise étendue a fait souvent l'objet de recherche afin d'améliorer la qualité de la gestion des produits et minimiser la distorsion des signaux entre les acteurs impliqués dans la chaine de valeur (Sterman, 1989). Afin de permettre une meilleure diffusion de l'information, la dynamique des systèmes (Forrester, 1958) ainsi que les tableaux de bord (Voyer, 2002), sont les outils de gestion qui ont été développés pour cette recherche dans le but de permettre aux gestionnaires de visualiser l'impact des échanges informationnels dans une industrie. La dynamique des systèmes est utilisée à deux escients dans cette recherche, soit pour modéliser la situation actuelle d'une entreprise étendue et simuler des scénarios, mais aussi pour illustrer la dynamique qui existe entre divers indicateurs de performance intégrée dans un tableau de bord. La recherche illustre un tableau de bord permettant de comprendre la dynamique du système avec des indicateurs de performance pour l'ensemble de l'industrie. Ces indicateurs permettent d'identifier pour chaque maillon de la chaine des externalités à l'entreprise. L'hypothèse de recherche est d'illustrer sur un marché concurrentiel un produit de consommation courant et l'introduction d'un produit de consommation de niche répondant au même besoin fondamental auprès des consommateurs québécois. L'industrie choisie étant l'agroalimentaire, il sera important de ne pas perdre de vue qu'un produit de viande rouge peut toujours être remplacé par un autre produit alimentaire comblant le besoin de se nourrir. La notion des prix affichés aux consommateurs est donc très importante dans cette étude. L'hypothèse est donc de dire que si tous les maillons de la chaine échangent des informations stratégiques, la production conventionnelle de porc sera amenée à disparaître afin de commercialiser seulement les produits de niche sans perdre le marché au détriment d'un autre produit de viande. L'importance est accordée sur les produits de niches qui seront produits selon des normes environnementales moins polluantes pour l'environnement et plus sains pour la consommation des humains mais nécessitant beaucoup d'investissements financiers pour les producteurs porcins. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Chaine de valeur, Distorsion dans les signaux, Dynamique des systèmes, Outils de gestion, Tableaux de bord.

Abstract Purpose: The aim of this thesis is to contribute to a richer understanding of the two management control systems, Balanced Scorecard (BSC) and Tableau de Bord (TDB), and their ability to function in a real life setting, as an important element for efficiently support organization’s strategy. Design/Methodology/Approach: A case study, containing Company A, was executed through a qualitative approach with the intention to connect the theories, the control systems BSC and TDB, to a real life setting. The empirical findings are mainly based upon information collected through semi-structured interviews. Findings: The BSC is perceived as strict and controlling in its nature and as primarily establishing facts, while the TDB enhances communication with an educational intention. Regardless of the numerous of advantages the use of a TDB would entail, the current structure of Company A, with its hierarchical approach, resists its implementation. Theory, together with the employee’s desire, might imply TDB as the optimal alternative for supporting the strategy, however, the reality of Company A, with the directors of the board as monitors and decision-makers, suggests the use of a BSC. As a result of the correlation between the choice of MCS and the ideology of an organization, BSC will continue to be perceived as the optimal practice within Company A as long as the top-down approach remains. Whether the theory or the reality is to decide which control system to be used is for the organization to determine. Regardless of the organization’s choice of control system, advantages will emerge if a genuine implementation is completed in close connection to the theoretical framework. Research Limitations: The thesis intends to investigate the connection between control system and strategy, however, without providing any explicit theoretical framework regarding strategy. Nor will the strategic content of Company A be further analyzed. The small sample limits the ability to provide any general conclusions, however, similarities and parallels can be drawn and associated to related situations. Practical Implications: The thesis is mainly concerned with highlighting the practical relevance of the theories employed. Further Research: The TDB practice will require a more developed acknowledgment beyond its domestic origin before it can be recognized among organizations as a valid alternative to the BSC. In order for the BSC to continue being perceived as a respected control system, there is a need of a continued development of the theory in correspondence to the rapid changes in the business environment, which in turn would allow for greater flexibility in its use. Further, there is a need to emphasize the importance for organizations to involve their employees in open dialogue, which would ensure more precise information when implementing a BSC. This applies to both internal and external information.

Dans les industries agro-alimentaires ainsi que dans d'autres secteurs d'activités, l'analyse sensorielle est la clé pour répondre aux attentes des consommateurs. Cette discipline est le plus souvent basée sur l'établissement de profils sensoriels à partir de notes attribuées par des juges entraînés selon une liste de descripteurs (variables sensorielles). Dans ce type d'étude, il importe d'étudier la performance des juges et d'en tenir compte dans l'établissement des profils sensoriels. Dans cette perspective, nous proposons une démarche qui permet de procurer des indicateurs de performance du jury et de chacun des juges et de tenir compte de cette performance pour une détermination d'un tableau moyen. Des tests d'hypothèses pour évaluer la significativité de la contribution des juges à la détermination du compromis sont également proposés.<br />Depuis une vingtaine d'années, les courbes temps-intensité (TI) qui permettent de décrire l'évolution d'une sensation au cours de l'expérience sont de plus en plus populaires parmi les praticiens de l'analyse sensorielle. La difficulté majeure pour l'analyse des courbes TI provient d'un effet juge important qui se traduit par la présence d'une signature propre à chaque juge. Nous proposons une approche fonctionnelle basée sur les fonctions B-splines qui permet de réduire l'effet juge en utilisant une procédure d'alignement de courbes.<br />D'autres données sensorielles au cours du temps existent telles que le suivi de la dégradation organoleptique de produits alimentaires. Pour les étudier, nous proposons la modélisation par des chaînes de Markov cachées, de manière à pouvoir ensuite visualiser graphiquement la suivi de la dégradation.

Thèse de doctorat : LITTERATURE FRANCAISE : Metz : 1997. / 1997METZL021. 103 ref.