Doctorat en philosophie et lettres / info:eu-repo/semantics/nonPublished

La science-fiction a, depuis ses origines, abordé les questions spirituelles telles que la mort, la transcendance, le sens de la vie et de la condition humaine. Au lieu de se définir comme une littérature d’idées fondée sur la science, elle est bien davantage une littérature d’images qui se fonde sur une « problématisation » de notre monde. Elle construit des configurations fictionnelles qui suscitent, chez le lecteur, un étonnement fondamental, le sense of wonder. Dès lors, elle envisage des problèmes essentiels, qu’ils soient biologiques, politiques, ou spirituels. Ouvrant à un espace-temps potentiellement infini, elle peut mettre en scène des quêtes à l’échelle du cosmos, ouvrir sur l’éternité et le temps du mythe, réinterpréter les grandes traditions religieuses pour les problématiser, ou dessiner un espace du sublime dans la confrontation avec le mystère. Il s’agit de définir la science-fiction comme un genre littéraire problématologique, qui s’appuie sur des récits et des images. Ce travail examine le traitement des questions spirituelles dans la science-fiction française, anglaise et américaine, depuis le XIXe siècle. Il se réfère à une dizaine de romans et trois films. En s’appuyant sur ce corpus spécifique de romans et de films, il s’attache à établir des cadres théoriques et à identifier des œuvres qui constituent des jalons dans l’histoire de la science-fiction et qui illustrent cette perspective problématologique. / Since its origins, science fiction has addressed issues in spirituality such as death, transcendence, meaning of life, human condition. Instead of defining science fiction as based upon science, we should better define it as based upon the « problematization » of our world. It construes fictional configurations which trigger readers’ essential astonishment, and impose a sense of wonder. It tackles central problems, be it biological, political or spiritual. Opening to potentially infinite space and time, it can unfold quests on a cosmic scale, and revisit significant religious traditions to question them, or to delineate a space where sublime confronts mystery. The overall argument aims at defining science fiction as a problematological literary genre, which uses narratives and images. This dissertation applies these research orientations to French, American and English Science Fiction from the XIXth century onwards — it refers to a dozen novels and three movies. While it focuses upon this specific body of novels and films, it intends to set up theoretical schemes and to identify works which are landmarks in SF and exemplify this problematological perspective.

Dans cette thèse, nous étudions le comportement d'intégrales oscillantes lorsqu'un paramètre fréquentiel tend vers l'infini. Pour cela, nous considérons la version de la méthode de la phase stationnaire de A. Erdélyi qui couvre le cas d'amplitudes singulières et de phases ayant des points stationnaires d'ordre réel, et qui fournit des estimations explicites de l'erreur. La preuve est entièrement détaillée dans la thèse et la méthode améliorée. De plus nous montrons l'impossibilité de déduire, à partir de cette méthode, des estimations uniformes par rapport à la position du point stationnaire dans le cas d'amplitudes singulières. Afin d'obtenir de telles estimations, nous étendons le lemme de van der Corput au cas d'amplitudes singulières et de points stationnaires d'ordre réel.Ces résultats sont appliqués à des solutions d'équations dispersives sur la droite réelle. La transformée de Fourier de la donnée initiale est à support compact et/ou a un point singulier intégrable. Des développements à un terme et des estimations uniformes dans certains cônes de l'espace-temps sont établis: ceci montre que les paquets d'ondes tendent à être localisés dans certains cônes lorsque le temps tend vers l'infini, décrivant leurs mouvements asymptotiquement en temps.Pour finir, nous considérons des solutions approchées de l'équation de Schrödinger avec potentiel sur la droite réelle, telle que la transformée de Fourier du potentiel est à support compact. En appliquant les méthodes précédentes, nous prouvons que ces solutions approchées tendent à être concentrées dans certains cônes lorsque le temps tend vers l'infini, mettant en évidence des phénomènes de type réflexion et transmission. / In this thesis, we study the asymptotic behaviour of oscillatory integrals for one integration variable with respect to a large parameter. We consider the version of the stationary phase method of A. Erdélyi which covers singular amplitudes and phases with stationary points of real order together with explicit error estimates. The proof, which is only sketched in the original paper, is entirely detailed in the present thesis and the method is improved. Moreover we show the impossibility to derive from this method uniform estimates in the case of singular amplitudes with respect to the position of the stationary point. To obtain such estimates, we extend the classical van der Corput lemma to the case of singular amplitudes and stationary points of real order.These results are then applied to solution formulas of certain dispersive equations on the line, covering Schrödinger-type and hyperbolic examples. We suppose that the Fourier transform of the initial condition is compactly supported and/or has a singular point. Expansions to one term and uniform estimates of the solutions in certain space-time cones are established: this shows that the waves packets tend to be time-asymptotically localized in space-time cones, describing their motions when the time tends to infinity.Finally we consider approximate solutions of the Schrödinger equation on the line with potential, where the Fourier transform of the potential is also supposed to have a compact support. Applying the methods mentioned above, we prove that these approximate solutions tend to be time-asymptotically concentrated in certain space-time cones, exhibiting reflection and transmission type phenomena.

A leitura que Hegel fez da ontologia espinosana teve uma influência maiúscula em gerações inteiras de leitores, que leram Espinosa a partir da representação hegeliana de suas supostas virtudes e defeitos. O efeito mais evidente da força que teve essa interpretação foi a difundida tendência a classificar Espinosa como um filósofo idealista. E isso, por sua vez, derivou em que importantes expoentes do pensamento crítico do século XX ignorassem seus aportes, por julgá-lo parte de uma tradição alheia às aspirações de emancipação com as quais se identificaram diversas filosofias logo da fundação teórica que a obra de Marx significou. Pretendendo abrir diálogos, a partir de Espinosa, com autores mais ou menos associados com a tradição dialética, defendemos a legitimidade de uma leitura da Ética sob uma perspectiva materialista. Como pensar a singularidade e a história no interior de uma filosofia da imanência que se sustenta sobre a afirmação da existência eterna de uma única substância infinita? Enquanto a ontologia espinosana coloca, em primeiro lugar, a existência de uma única substância absolutamente infinita, toda uma tradição de leituras da qual Hegel formou parte fez da questão relativa à determinação dos seres finitos o eixo da crítica ao espinosismo. A dificuldade para compreender a peculiar concepção espinosana da totalidade (enquanto substância), da efetividade que realiza (causalidade imanente), e das formas diversas de realidade, de produção e de determinação que a constituem (atributos, modos infinitos e modos finitos) foi, então, uma fonte prolífica de polêmicas em torno a um problema que poderíamos sintetizar assim: qual é a forma mais apropriada de pensar a determinação no interior de uma totalidade infinita? Uma leitura materialista da concepção espinosana do infinito positivo é necessária para responder essa questão. / La lecture qu\'Hegel fit de l\'ontologie spinozienne a eu une influence majeure sur des générations entières de lecteurs, qui ont lu Spinoza à partir de la représentation hégélienne des supposées vertus et défauts de celui-ci. L\'effet le plus évident de la force qu\'a eue cette interprétation fut la tendance commune à classifier Spinoza comme étant un philosophe idéaliste. Tendance qui a dérivé au point que des figures clefs de la pensée critique du vingtième siècle finirent par ignorer ses apports. Et cela parce qu\'il était jugé comme faisant partie d\'une tradition étrangère aux aspirations d\'émancipation avec lesquelles diverses philosophies se sont identifiées, à partir des nouvelles fondations instituées par l\'oeuvre de Marx. En prétendant ouvrir des dialogues, à partir de Spinoza, avec des auteurs plus ou moins associés à la tradition dialectique, nous défendons la légitimité d\'une lecture de l\'Éthique dans une perspective matérialiste. Comment peut-on penser la singularité et l\'histoire au sein d\'une philosophie de l\'immanence qui s\'appuie sur l\'affirmation de l\'existence éternelle d\'une unique substance infinie? Tandis que l\'ontologie spinozienne pose, en premier lieu, l\'existence d\'une unique substance absolument infinie, toute une tradition de lecteurs dont fit partie Hegel a fait de la question relative à la détermination des êtres finis l\'axe de la critique au spinozisme. La difficulté à comprendre la conception spinozienne, assez particulière, de la totalité (en tant que substance), celle de l\'effectivité qui réalise (la causalité immanente), ainsi que celle des différentes formes de réalité, de production et de détermination qui la constituent (les attributs, les modes infinis et les modes finis) fut alors une source prolifique de polémiques autour d\'un problème que nous pourrions résumer ainsi: quelle serait la manière la plus appropriée de penser la détermination au sein d\'une totalité infinie? Une lecture matérialiste de la pensée spinozienne de l\'infini positif s\'avère nécessaire afin de tenter de répondre à cette question.

Dans les systèmes de transmission multiporteuses et impliquant plusieurs utilisateurs, deux phénomènes viennent perturber la réception et la détection de symboles : le canal de propagation et le décalage des fréquences porteuses (DFP). Cette thèse traite de techniques d’égalisation et de synchronisation en fréquence reposant sur des techniques de type Kalman telles que le filtrage de Kalman étendu (EKF) du 1er ou du 2nd ordre, le filtrage de Kalman étendu itératif ou le filtrage de Kalman par sigma point (SPKF). Pour relaxer les hypothèses de Gaussianité sur les bruits de mesure et de modèle dans la représentation dans l’espace d’état, des approches de type H[infini] sont aussi étudiées.Ces méthodes sont ensuite exploitées dans des systèmes de type OFDMA ou OFDM-IDMA et sont combinées avec d’autres approches (MMSE-SD, tests statistiques, etc.) pour mettre en œuvre des récepteurs pouvant être notamment robustes à des interférences large bande, comme c’est le cas dans des applications de radio intelligence. / Multicarrier modulation is the common feature of high-data rate mobile wirelesssystems. In that case, two phenomena disturb the symbol detection. Firstly,due to the relative transmitter-receiver motion and a difference between the localoscillator (LO) frequency at the transmitter and the receiver, a carrier frequencyoffset (CFO) affects the received signal. This leads to an intercarrier interference(ICI). Secondly, several versions of the transmitted signal are received due to thewireless propagation channel. These unwanted phenomena must be taken intoaccount when designing a receiver. As estimating the multipath channel and theCFO is essential, this PhD deals with several CFO and channel estimation methodsbased on optimal filtering.Firstly, as the estimation issue is nonlinear, we suggest using the extended Kalmanfilter (EKF). It is based on a local linearization of the equations around the laststate estimate. However, this approach requires a linearization based on calculationsof Jacobians and Hessians matrices and may not be a sufficient descriptionof the nonlinearity. For these reasons, we can consider the sigma-point Kalmanfilter (SPKF), namely the unscented Kalman Filter (UKF) and the central differenceKalman filter (CDKF). The UKF is based on the unscented transformationwhereas the CDKF is based on the second order Sterling polynomial interpolationformula. Nevertheless, the above methods require an exact and accurate apriori system model as well as perfect knowledge of the additive measurementnoisestatistics. Therefore, we propose to use the H∞ filtering, which is known tobe more robust to uncertainties than Kalman filtering. As the state-space representationof the system is non-linear, we first evaluate the “extended H∞ filter”,which is based on a linearization of the state-space equations like the EKF. As analternative, the “unscented H∞ filter”, which has been recently proposed in theliterature, is implemented by embedding the unscented transformation into the“extended H∞ filter” and carrying out the filtering by using the statistical linearerror propagation approach.The above techniques have been implemented in different multicarrier contexts:Firstly, we address the estimation of the multiple CFOs and channels by meansof a control data in an uplink orthogonal frequency division multiple access(OFDMA) system. To reduce the amount of control data, the optimal filteringtechniques are combined in an iterative way with the so-called minimum meansquare error successive detector (MMSE-SD) to obtain an estimator that doesnot require pilot subcarriers.

Cette thèse développe une méthode de faisceau non convexe pour la minimisation de fonctions localement lipschitziennes lower C1 puis l’applique à des problèmes de synthèse de lois de commande structurées issus de l’industrie aéronautique. Ici loi de commande structurée fait référence à une architecture de contrôle, qui se compose d’éléments comme les PIDs, combinés avec des filtres variés, et comprenant beaucoup moins de paramètres de réglage qu’un contrôleur d’ordre plein. Ce type de problème peut se formuler dans le cadre théorique et général de la programmation non convexe et non lisse. Parmi les techniques numériques efficaces pour résoudre ces problèmes non lisses, nous avons dans ce travail, opté pour les méthodes de faisceau, convenablement étendues au cas non convexe. Celles-ci utilisent un oracle qui, en chaque itéré x, retourne la valeur de la fonction et un sous-gradient de Clarke arbitraire. Afin de générer un pas de descente satisfaisant à partir de l’itéré sérieux courant, ces techniques stockent et accumulent de l’information, dans ce que l’on appelle le faisceau, obtenu à partir d’évaluations successives de l’oracle à chaque pas d’essai insatisfaisant. Dans cette thèse, on propose de construire le faisceau en décalant vers le bas une tangente de l’objectif en un pas d’essai ne constituant pas un pas de descente satisfaisant. Le décalage est indispensable dans le cas non convexe pour préserver la consistance, on dit encore l’exactitude, du modèle vis à vis de l’objectif. L’algorithme développé est validé sur un problème de synthèse conjointe du pilote automatique et de la loi des commandes de vol d’un avion civil en un point de vol donné et sur un problème de synthèse de loi de commande par séquencement de gain pour le contrôle longitudinal dans une enveloppe de vol. / This thesis develops a non convex bundle method for the minimization of lower C1 locally Lipschitz functions which it then applies to the synthesis of structured control laws for problems arising in aerospace control. Here a structured control law refers to a control architecture preferred by practitioners, which consist of elements like PIDs, combined with various filters, featuring significantly less tunable parameters than a full-order controller. This type of problem can be formulated under the theoretical and general framework of non convex and non smooth programming. Among the efficient numerical techniques to solve such non smooth problems, we have in this work opted for bundle methods, suitably extended to address non-convex optimization programs. Bundle methods use oracles which at every iterate x return the function value and one unspecified Clarke subgradient. In order to generate descent steps away from a current serious iterate, these techniques hinge on storing and accumulating information, called the bundle, obtained from successive evaluations of the oracle along the unsuccessful trial steps. In this thesis, we propose to build the bundle by shifting down a tangent of the objective at a trial step which is not a satisfactory descent step. The shift is essential in the non convex case in order to preserve the consistency, named also the exactitude, of the model with regard to the objective. The developed algorithm is validated on a synthesis problem combining the automatic pilot and the flight control law of a civil aircraft at a given flying point ; and a gain scheduled control law synthesis for the longitudinal control in a flight envelope.

La philosophie de Spinoza cherche à concilier et réunir trois horizons philosophiques fondamentaux : l’émanation néo-platonicienne (l’expression), le mécanisme cartésien (cause efficiente), et les catégories aristotéliciennes (Substance, attribut, mode). Ce premier point est pris pour acquis. Nous expliquerons que cette tentative sera rendue possible grâce à la conception nouvelle, au 17e siècle, de l’actualité de l’infini. Nous examinerons ensuite les conséquences de cette nouvelle interprétation, qui permet de rendre l’individu transparent à lui-même sur un plan d’immanence, expressif par rapport à une éminence qui le diffuse, mais déterminé dans une substantialité fictive entre objets finis. En proposant le pouvoir de l’imagination et des prophètes comme point de départ et principe actif du conatus, nous montrerons que la distinction, chez Spinoza, demeure toujours une fiction. Pour conclure, nous serons en mesure de signaler en quoi le Zarathoustra de Nietzsche relève d’une volonté de poursuivre le travail entrepris par Spinoza. / Spinoza’s philosophy is an attempt to reconcile three fundamental perspectives : neo-platonician emanation (expression), Cartesian mechanism (efficient cause), and Aristotelian categories (Substance, attribute, mode). This first point is taken for granted. We will argue that this attempt is made possible by the new modernist conception of an actual infinite. We will then examine the consequences of this new interpretation, viz. to allow self-transparency by internal immanence of an individual who is expressive of an eminence that diffuses him, while at the sime time being substantially determined in the knot of finite objects. We will then propose imagination and prophets as a starting point and active principle of the conatus’ effort, in order to show that all distinctions, in Spinoza’s philosophy, rely on a power to forge fictions. In conclusion, we will argue that Nietzsche’s Zarathoustra is an attempt to catch and pursue Spinoza’s intuitions.

Un origami, ou encore une surface à petits carreaux, est l'exemple le plus simple d'une surface de translation. Il s'obtient en collant entre eux un nombre fini de carreaux identiques. Le point le plus intéressant est l'étude du flot linéaire sur un origami, qui est un système dynamique continu lié à la dynamique des billards ou encore celle des échanges d'intervalles. Nous pouvons aussi nous intéresser au stabilisateur de l'action naturelle du groupe spécial linéaire sur les origamis, que nous appelons groupe de Veech de l'origami. Le but de cette thèse est l'étude de ces deux notions sur des exemples d'origamis infinis, obtenus en collant une infinité dénombrable de carreaux entre eux. Ces exemples sont obtenus comme revêtement galoisiens d'origamis finis, avec comme groupe de Galois des groupes abéliens, nilpotents ou plus compliqués. / An origami, or a square-tiled surface, is the simplest example of translation surface. An origami can be viewed as a finite collection of identical squares, glued together along their edges. We can study the linear flow on this origami, which is the geodesic flow for this kind of surfaces. This dynamical system is related to the dynamical system of billiard, or interval exchange transformations. We can also study the Veech group of an origami. The special linear group acts on the space of translation surface, and the Veech group of an origami is the stabilizer of this origami under this action. We know in particular that the Veech group is a fuchsian group. In this thesis, we work on some example of infinite origamis. These origamis are constructed as Galois covering of finite origamis. In these examples, the deck group will be an abelian group, a niltpotent group or something more difficult.

Cette thèse apporte plusieurs contributions dans le domaine des langages formels. Notre premier travail a été de montrer la pertinence des grammaires de graphes comme outil de démonstration de résultats fondamentaux sur les langages algébriques. Nous avons ainsi reformulé avec un point de vue géométrique les démonstrations du lemme des paires itérantes et du lemme de Parikh. Nous avons ensuite étendu aux graphes réguliers des algorithmes de base sur les graphes finis, notamment pour calculer des problèmes de plus court chemin. Ces extensions ont été faites par calcul de plus petits points fixes sur les grammaires de graphes. Enfin, nous avons caractérisé des familles générales de systèmes de récriture de mots dont la dérivation préserve la régularité ou l’algébricité. Ces familles ont été obtenues par décomposition de la dérivation en une substitution régulière suivie de la dérivation du système de Dyck / Pas de résumé en anglais

Ce travail de thèse porte, en premier lieu et principalement, sur le diagnostic à base de modèle d’une classe de SLC (Systèmes Linéaires à Commutations). Une problématique récurrente dans ce type de problème concerne la prise en considération de façon explicite les deux aspects, continu et discret, constituant un SLC. Dans ce cadre, nous avons proposé une méthodologie de détection et de localisation de défauts qui combine les outils initialement dédiés au diagnostic des systèmes continus et d’autres spécifiques aux SED (Systèmes à Evénement Discrets). L’approche proposée est conçue autour de trois modules : deux types de générateurs de résidus (issus de l’Automatique continue) et un estimateur en-ligne de l’état discret, appelé diagnostiqueur (issu de l’Automatique événementielle). Notre diagnostiqueur utilise les deux types de résidus, provenant de la partie continue, afin d’identifier le mode de fonctionnement du SLC et d’isoler les défauts de capteurs. Les résidus utilisés pour la localisation des défauts de capteurs sont générés à travers un générateur développé autour d’un schéma DOS (Dedicated Observer Scheme) à base d’observateurs hybrides,à la fois robustes vis-à-vis des entrées inconnues et sensibles aux défauts de capteurs. En second lieu, sur la base des résultats obtenus à l’aide de l’approche de diagnostic développée, nous avons proposé une approche préliminaire de synthèse de lois de commande tolérantes aux défauts de capteurs stabilisante via un retour d’état. Cette approche permet de préserver les performances nominales du système (situation non défaillante)en présence d’un défaut de capteurs. L’idée consiste à reconfigurer le retour d’état en remplaçant le vecteur d’état estimé à partir d’une sortie en défaut par un autre estimé à partir d’une sortie saine. La redondance des estimations est assurée dans cette approche par un banc d’observateurs hybrides robustes qui fournit plusieurs estimations correctes des vecteurs d’état et de sorties. / This thesis focuses, in first and foremost, on the model-based diagnosis of a class of SLC (Switched Linear Systems). The basic idea is to consider the continuous and discrete aspects, forming an SLC, explicitly.In this context, we proposed a methodology for detecting and locating faults that combines the tools originally dedicated to the continuous systems and the DES (discrete event systems) diagnosis. The proposed approach is designed around three modules: two types of residual generators (from the continuous Automatic) and anon-line estimator of the discrete state, called diagnoser (from the event Automatic). Our diagnoser uses the residual generators issue from the continuous part to identify the SLC mode and isolate sensor faults.Residues used for fault location sensors are generated through a generator developed around a scheme DOS(Dedicated Observer Scheme) based on hybrid observers. These observers are robust vis-à-vis the unknown input and sensitive to sensor faults. Secondly, based on the obtained results using the previous diagnosis approach, we proposed a preliminary approach for fault-tolerant state-feedback control law synthesis. This approach preserves the nominal performance of the system (as non-defaulting) in the presence of defective sensors. The idea is to reconfigure the state feedback by replacing the state vector estimated from defected output by another estimated from non-defected one. Redundancy estimates is provided in this approach by a bank of robust hybrid observer that provides several accurate estimates of state vectors and outputs.