Global ETD Search

121	Model-based federation of systems of modelling / Fédération dirigée par les modèles des systèmes de modélisation Kamdem Simo, Freddy 26 September 2017 (has links) L'ingénierie des systèmes complexes et systèmes de systèmes conduit souvent à des activités de modélisation (MA) complexes. Les problèmes soulevés par les MA sont notamment : comprendre le contexte dans lequel elles sont exécutées, comprendre l'impact sur les cycles de vie des modèles qu'elles produisent, et finalement trouver une approche pour les maîtriser. L'objectif principal de cette thèse est d'élaborer une approche formelle pour adresser ce problème. Dans cette thèse, après avoir étudié les travaux connexes en ingénierie système et plus spécifiquement ceux qui portent sur la co-ingénierie du système à faire (le produit) et du système pour faire (le projet), nous développons une méthodologie nommée MODEF pour traiter ce problème. MODEF consiste en: (1) Caractériser les MA comme un système et plus généralement une fédération de systèmes. (2) Construire de manière itérative une architecture de ce système via la modélisation du contenu conceptuel des modèles produits par MA et leur cycle de vie, les tâches réalisées au sein des MA et leurs effets sur ces cycles de vie. (3) Spécifier les attentes sur ces cycles de vie. (4) Analyser les modèles (des MA) par rapport à ces attentes (et éventuellement les contraintes sur les tâches) pour vérifier jusqu'à quel point elles sont atteignables via la synthèse des points (ou états) acceptables. D'un point de vue pratique, l'exploitation des résultats de l'analyse permet de contrôler le déroulement des tâches de modélisation à partir de la mise en évidence de leur impact sur les modèles qu'elles produisent. En effet, cette exploitation fournit des données pertinentes sur la façon dont les MA se déroulent et se dérouleraient de bout en bout. A partir de ces informations, il est possible de prendre des mesures préventives ou correctives. Nous illustrons cela à l'aide de deux cas d'étude (le fonctionnement d'un supermarché et la modélisation de la couverture fonctionnelle d'un système). D'un point de vue théorique, les sémantiques formelles des modèles des MA et le formalisme des attentes sont d'abord données. Ensuite, les algorithmes d'analyse et d'exploitation sont présentés. Cette approche est brièvement comparée avec des approches de vérification des modèles et de synthèse de systèmes. Enfin, deux facilitateurs de la mise en œuvre de MODEF sont présentés. Le premier est une implémentation modulaire des blocs de base de MODEF. Le second est une architecture fédérée (FA) des modèles visant à faciliter la réutilisation des modèles formels en pratique. La formalisation de FA est faite dans le cadre de la théorie des catégories. De ce fait, afin de construire un lien entre abstraction et implémentation, des structures de données et algorithmes de base sont proposés pour utiliser FA en pratique. Différentes perspectives sur les composantes de MODEF concluent ce travail. / The engineering of complex systems and systems of systems often leads to complex modelling activities (MA). Some challenges exhibited by MA are: understanding the context where they are carried out and their impacts on the lifecycles of models they produce, and ultimately providing a support for mastering them. How to address these challenges with a formal approach is the central challenge of this thesis. In this thesis, after discussing the related works from systems engineering in general and the co-engineering of the system to be made (product) and the system for make (project) systems specifically, we position and develop a methodology named MODEF, that aims to master the operation of MA. MODEF consists in: (1) characterizing MA as a system (and more globally as a federation of systems) in its own right; (2) iteratively architecting this system through: the modelling of the conceptual content of the models produced by MA and their life cycles, the tasks carried out within MA and their effects on these life cycles; (3) specifying the expectations over these life cycles and; (4) analysing models (of MA) against expectations (and possibly tasks constraints) - to check how far expectations are achievable - via the synthesis of the acceptable behaviours. On a practical perspective, the exploitation of the results of the analysis allows figuring out what could happen with the modelling tasks and their impacts on the whole state of models they handle. We show on two case studies (the operation of a supermarket and the modelling of the functional coverage of a system) how this exploitation provides insightful data on how the system is end-to-end operated and how it can behave. Based on this information, it is possible to take some preventive or corrective actions on how the MA are carried out. On the foundational perspective, the formal semantics of three kinds of involved models and the expectations formalism are first discussed. Then the analysis and exploitation algorithms are presented. Finally this approach is roughly compared with model checking and systems synthesis approaches. Last but not least, two enablers whose first objectives are to ease the implementation of MODEF are presented. The first one is a modular implementation of MODEF's buildings blocks. The second one is a federated architecture (FA) of models which aims to ease working with formal models in practice. Despite the fact that FA is formalised within the abstract framework of category theory, an attempt to bridge the gap between abstraction and implementation is sketched via some basic data structures and base algorithms. Several perspectives related to the different components of MODEF conclude this work. Modélisation interopérable Architecture dirigée par les modèles Système-Exigences-Analyse Sémantique des modèles Espace d'états Formalisme Assomption/Préférence Réutilisation des modèles Théorie des catégories Méthodologie MODEF Complexity Model-based Systems Engineering Interoperable modelling System-Requirements-Analysis Structure, process and state models Semantics of models State space Assumption/Preference formalism Model reuse Category theory
122	Premonoidal -Categories and Algebraic Quantum Field Theory Comeau, Marc A* January 2012 (has links) Algebraic Quantum Field Theory (AQFT) is a mathematically rigorous framework that was developed to model the interaction of quantum mechanics and relativity. In AQFT, quantum mechanics is modelled by C-algebras of observables and relativity is usually modelled in Minkowski space. In this thesis we will consider a generalization of AQFT which was inspired by the work of Abramsky and Coecke on abstract quantum mechanics [1, 2]. In their work, Abramsky and Coecke develop a categorical framework that captures many of the essential features of finite-dimensional quantum mechanics. In our setting we develop a categorified version of AQFT, which we call premonoidal C-quantum field theory, and in the process we establish many analogues of classical results from AQFT. Along the way we also exhibit a number of new concepts, such as a von Neumann category, and prove several properties they possess. We also establish some results that could lead to proving a premonoidal version of the classical Doplicher-Roberts theorem, and conjecture a possible solution to constructing a fibre-functor. Lastly we look at two variations on AQFT in which a causal order on double cones in Minkowski space is considered. category premonoidal category -category von Neumann category monoidal category algebraic quantum field theory DHR analysis Haag duality dagger compact closed category categorical physics causality quantum protocols premonoidal -categories category theory and physics reconstruction theorem Tannaka-Krein reconstruction Doplicher-Roberts reconstruction theorem C*-categories categorified functional analysis categorical GNS theorems
123	A General Galois Theory for Operations and Relations in Arbitrary Categories Kerkhoff, Sebastian 20 September 2011 (has links) In this paper, we generalize the notions of polymorphisms and invariant relations to arbitrary categories. This leads us to a Galois connection that coincides with the classical case from universal algebra if the underlying category is the category of sets, but remains applicable no matter how the category is changed. In analogy to the situation in universal algebra, we characterize the Galois closed classes by local closures of clones of operations and local closures of what we will introduce as clones of (generalized) relations. Since the approach is built on purely category-theoretic properties, we will also discuss the dualization of our notions. info:eu-repo/classification/ddc/510 ddc:510
124	A General Duality Theory for Clones Kerkhoff, Sebastian 28 June 2011 (has links) In this thesis, we generalize clones (as well as their relational counterparts and the relationship between them) to categories. Based on this framework, we introduce a general duality theory for clones and apply it to obtain new results for clones on finite sets. info:eu-repo/classification/ddc/510 ddc:510
125	Objets tressés : une étude unificatrice de structures algébriques et une catégorification des tresses virtuelles Lebed, Victoria 13 December 2012 (has links) (PDF) Dans cette thèse on développe une théorie générale des objets tressés et on l'applique à une étude de structures algébriques et topologiques. La partie I contient une théorie homologique des espaces vectoriels tressés et modules tressés, basée sur le coproduit de battage quantique. La construction d'un tressage structurel qui caractérise diverses structures - auto-distributives (AD), associatives, de Leibniz - permet de généraliser et unifier des homologies familières. Les hyper-bords de Loday, ainsi que certaines opérations homologiques, apparaissent naturellement dans cette interprétation. On présente ensuite des concepts de système tressé et module multi-tressé. Appliquée aux bigèbres, bimodules, produits croisés et (bi)modules de Hopf et de Yetter-Drinfel'd, cette théorie donne leurs interprétations tressées, homologies et actions adjointes. La no- tion de produits tensoriels multi-tressés d'algèbres donne un cadre unificateur pour les doubles de Heisenberg et Drinfel'd, ainsi que les algèbres X de Cibils-Rosso et Y et Z de Panaite. La partie III est orientée vers la topologie. On propose une catégorification des groupes de tresses virtuelles en termes d'objets tressés dans une catégorie symétrique (CS). Cette approche de double tressage donne une source de représentations de V Bn et un traitement catégorique des racks virtuels de Manturov et de la représentation de Burau tordue. On définit ensuite des structures AD dans une CS arbitraire et on les munit d'un tressage. Les techniques tressées de la partie I amènent alors à une théorie homologique des structures AD catégoriques. Les algèbres associatives, de Leibniz et de Hopf rentrent dans ce cadre catégorique. objet tressé homologie algébrique caractère module tressé algèbre de battage quantique complexe de Koszul homologie de quandle/rack homologie de Hochschild algèbre de Leibniz hyper-bord de Loday système tressé produit tensoriel multi-tressé produit croisé module de Yetter-Drinfel d (bi)module de Hopf double de Heisenberg double de Drinfel ' algèbre X R-matrice groupes de tresses virtuelles rack virtuel auto-distributivité catégorique représentation de Burau (tordue) structures auto-distributives libres
126	Action in Chronic Fatigue Syndrome: an Enactive Psycho-phenomenological and Semiotic Analysis of Thirty New Zealand Women's Experiences of Suffering and Recovery Hart, M J Alexandra January 2010 (has links) This research into Chronic Fatigue Syndrome (CFS) presents the results of 60 first-person psycho-phenomenological interviews with 30 New Zealand women. The participants were recruited from the Canterbury and Wellington regions, 10 had recovered. Taking a non-dual, non-reductive embodied approach, the phenomenological data was analysed semiotically, using a graph-theoretical cluster analysis to elucidate the large number of resulting categories, and interpreted through the enactive approach to cognitive science. The initial result of the analysis is a comprehensive exploration of the experience of CFS which develops subject-specific categories of experience and explores the relation of the illness to universal categories of experience, including self, ‘energy’, action, and being-able-to-do. Transformations of the self surrounding being-able-to-do and not-being-able-to-do were shown to elucidate the illness process. It is proposed that the concept ‘energy’ in the participants’ discourse is equivalent to the Mahayana Buddhist concept of ‘contact’. This characterises CFS as a breakdown of contact. Narrative content from the recovered interviewees reflects a reestablishment of contact. The hypothesis that CFS is a disorder of action is investigated in detail. A general model for the phenomenology and functional architecture of action is proposed. This model is a recursive loop involving felt meaning, contact, action, and perception and appears to be phenomenologically supported. It is proposed that the CFS illness process is a dynamical decompensation of the subject’s action loop caused by a breakdown in the process of contact. On this basis, a new interpretation of neurological findings in relation to CFS becomes possible. A neurological phenomenon that correlates with the illness and involves a brain region that has a similar structure to the action model’s recursive loop is identified in previous research results and compared with the action model and the results of this research. This correspondence may identify the brain regions involved in the illness process, which may provide an objective diagnostic test for the condition and approaches to treatment. The implications of this model for cognitive science and CFS should be investigated through neurophenomenological research since the model stands to shed considerable light on the nature of consciousness, contact and agency. Phenomenologically based treatments are proposed, along with suggestions for future research on CFS. The research may clarify the diagnostic criteria for CFS and guide management and treatment programmes, particularly multidimensional and interdisciplinary approaches. Category theory is proposed as a foundation for a mathematisation of phenomenology. action Chronic Fatigue Syndrome Myalgic Encephalomyelitis Chronic Immune Deficiency Syndrome enaction social enaction social enactivism enactive psycho-phenomenological psychophenomenological vipassana groundlessness mind-body korper leib co-generative Focusing co-creative environment Antonio Damasio reciprocal constraints Pierre Vermersch Claire Petitmengin Antione Lutz narrative discourse phenomenal invariants Evan Thompson Merleau-Ponty Algirdis Julien Greimas Husserl first-person Fransisco Varela modelling invariants Natalie Depraz isotope John Boyd OODA loop Jonathan Shear Shaun Gallagher Arthur Kleinman Humberto Maturana second-person Alva Noe Dan Zahavi stages Embodied Mind Canterbury Wellington New Zealand non-dual non-reductive embodied phenomenological third-person graph-theoretical cluster analysis cognitive science experience solution subject-specific categories universal categories universal categories self energy illness process intersubjectivity Mahayana Buddhism contact narrative recovered making sense recursive loop perception dynamical decompensation neurology diagnosis empathy treatment management neurophenomenological neurophenomenology consciousness veracity agency multidimensional interdisciplinary category theory enculturation mathematisation of phenomenology interview nomenclature diagnostic criteria incidence prevalence coping strategy etiology epidemiology psychosomatic medicine meaning women girl female anthropology sociology cognitive behavioral therapy exercise therapy recovery mindful awareness suffering symbolisation Prasangika no-self aggregates wheel of karma cognition basic element analysis mental factors operational closure stereotypes enactive ontologically fragile self grief process-knowledge epoche phenomenal invariants textual invariants compound meaning saturation formalisation cluster analysis inter-session review inter-individual validation explicitation interview intricacy confidence psychophenomenology self-esteem sanction self dis-integration permanence continuity ego-self emotion surrender semiotic square meditation empathy semiotic compassion existential feelings goal obstruction movement transformation change somatic Giovanna Colombetti agoraphobia panic anxiety psychotherapy sleep rest pain weakness strength stamina Diego Cosmelli heaviness food chemicals allergy recovering despair frustration helplessness fear efference valence afference as-if-body-loop consciousness representation attention recovery intention sustainable sustainability neurasthenia existential feelings asthenia hysteria mononucleosis samatha-vispasnya prajna vijnana Eugene Gendlin Abhidharma dukkha shamatha interdependence vipashyana

Page generated in 0.0666 seconds