• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 45
  • 9
  • 5
  • 2
  • 1
  • Tagged with
  • 62
  • 31
  • 16
  • 15
  • 12
  • 10
  • 10
  • 9
  • 8
  • 7
  • 7
  • 6
  • 5
  • 5
  • 5
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
61

Arts, schématisme et conceptions du monde : le cas de la perspective : Philippe Descola, Erwin Panofsky, Ernst Cassirer, Robert Klein / Art, schematism and worldview : the case of perspective : Philippe Descola, Erwin Panofsky, Ernst Cassirer, Robert Klein

Elalouf, Jérémie 11 October 2019 (has links)
Au XXe siècle, le problème de l’illusionnisme perspectif a posé d’importantes difficultés théoriques aux historien d’arts. En effet, la compréhension de la perspective induit une conception de l’histoire de l’art. Si la perspective est conforme à la perception, alors l’art peut être objectif et son histoire participe de l’histoire des sciences. En revanche, si la perspective n’est pas conforme à la perception, alors l’art, dans son histoire, ne peut être compris comme une quête de l’objectivité. Dans ce cas, deux autres questions se posent : comment penser le rapport entre art et rationalité, et comment définir la visée de l’art? Le premier problème appelle une réflexion sur le concept de schématisme, le second une réflexion sur le rapport entre l’art et les conceptions du monde. La Perspective comme forme symbolique, d’Erwin Panofsky, est le premier texte à avoir proposé une réponse générale à ces questions. Le concept de forme symbolique, emprunté à Ernst Cassirer, lui a permis de considérer la perspective comme une forme culturelle, et de mettre au second plan la question de l’objectivité. Cette position est à l’origine d’intenses polémiques, que les débats historiographiques ne sont pas parvenus à résoudre. En confrontant les travaux de Panofsky à ceux de Philippe Descola et de Ernst Cassirer, cette thèse explicite d’abord les attendus théoriques inhérents au rapport entre forme symbolique, schématisme et conceptions du monde. Elle propose ensuite une analyse des controverses liées à la perspective et met en valeur la pensée de Robert Klein. Cette pensée travaille la phénoménologie et amène à une conception de l’histoire différente de celle proposée par Panofsky. / During the 20th century, perspective illusionism caused significant theoretical issues to art historians. That is because an understanding of perspective leads to a conception of art history. If perspective is true to visual perception, then art can be objective and its history is related to the history of sciences. On the other hand, if perspective is not true to visual perception, then art, in its own historical development, cannot be understood as a quest for objectivity. In this case, two further issues arise: how to conceive the relationship between art and rationality, and how to define the purpose of art? The first problem requires a reflection on the concept of schematism, the second a reflection on the relationship between art and different worldviews. Erwin Panofsky’s essay, Perspective as a Symbolic Form, was the first text to provide a comprehensive answer to these questions. The concept of symbolic form, borrowed from Ernst Cassirer philosophy, allowed him to consider perspective mainly as a cultural form, thus overlooking the issue of objectivity. This position has led to numerous controversies, which have not been overcome by historiographical discussions. By comparing Panofsky’s work with those of Philippe Descola and Ernst Cassirer, this thesis first clarifies the theoretical prerequisites for the relationship between symbolic form, schematism and worldviews. It then provides an analysis of several historiographical controversies and underscores the thinking of Robert Klein. His approach tackles phenomenology and leads to a different conception of history than the one proposed by Panofsky to overcome the issues raised by perspective.
62

Model-Based Testing of Timed Distributed Systems : A Constraint-Based Approach for Solving the Oracle Problem / Test à base de modèles de systèmes temporisés distribués : une approche basée sur les contraintes pour résoudre le problème de l’oracle

Benharrat, Nassim 14 February 2018 (has links)
Le test à base de modèles des systèmes réactifs est le processus de vérifier si un système sous test (SUT) est conforme à sa spécification. Il consiste à gérer à la fois la génération des données de test et le calcul de verdicts en utilisant des modèles. Nous spécifions le comportement des systèmes réactifs à l'aide des systèmes de transitions symboliques temporisées à entrée-sortie (TIOSTS). Quand les TIOSTSs sont utilisés pour tester des systèmes avec une interface centralisée, l'utilisateur peut ordonner complètement les événements (i.e., les entrées envoyées au système et les sorties produites). Les interactions entre le testeur et le SUT consistent en des séquences d'entrées et de sortie nommées traces, pouvant être séparées par des durées dans le cadre du test temporisé, pour former ce que l'on appelle des traces temporisées. Les systèmes distribués sont des collections de composants locaux communiquant entre eux et interagissant avec leur environnement via des interfaces physiquement distribuées. Différents événements survenant à ces différentes interfaces ne peuvent plus être ordonnés. Cette thèse concerne le test de conformité des systèmes distribués où un testeur est placé à chaque interface localisée et peut observer ce qui se passe à cette interface. Nous supposons qu'il n'y a pas d’horloge commune mais seulement des horloges locales pour chaque interface. La sémantique de tels systèmes est définie comme des tuples de traces temporisées. Nous considérons une approche du test dans le contexte de la relation de conformité distribuée dtioco. La conformité globale peut être testée dans une architecture de test en utilisant des testeurs locaux sans communication entre eux. Nous proposons un algorithme pour vérifier la communication pour un tuple de traces temporisées en formulant le problème de message-passing en un problème de satisfaction de contraintes (CSP). Nous avons mis en œuvre le calcul des verdicts de test en orchestrant à la fois les algorithmes du test centralisé off-line de chacun des composants et la vérification des communications par le biais d'un solveur de contraintes. Nous avons validé notre approche sur un cas étude de taille significative. / Model-based testing of reactive systems is the process of checking if a System Under Test (SUT) conforms to its model. It consists of handling both test data generation and verdict computation by using models. We specify the behaviour of reactive systems using Timed Input Output Symbolic Transition Systems (TIOSTS) that are timed automata enriched with symbolic mechanisms to handle data. When TIOSTSs are used to test systems with a centralized interface, the user may completely order events occurring at this interface (i.e., inputs sent to the system and outputs produced from it). Interactions between the tester and the SUT are sequences of inputs and outputs named traces, separated by delays in the timed framework, to form so-called timed traces. Distributed systems are collections of communicating local components which interact with their environment at physically distributed interfaces. Interacting with such a distributed system requires exchanging values with it by means of several interfaces in the same testing process. Different events occurring at different interfaces cannot be ordered any more. This thesis focuses on conformance testing for distributed systems where a separate tester is placed at each localized interface and may only observe what happens at this interface. We assume that there is no global clock but only local clocks for each localized interface. The semantics of such systems can be seen as tuples of timed traces. We consider a framework for distributed testing from TIOSTS along with corresponding test hypotheses and a distributed conformance relation called dtioco. Global conformance can be tested in a distributed testing architecture using only local testers without any communication between them. We propose an algorithm to check communication policy for a tuple of timed traces by formulating the verification of message passing in terms of Constraint Satisfaction Problem (CSP). Hence, we were able to implement the computation of test verdicts by orchestrating both localised off-line testing algorithms and the verification of constraints defined by message passing that can be supported by a constraint solver. Lastly, we validated our approach on a real case study of a telecommunications distributed system.

Page generated in 0.0596 seconds