La thèse porte sur la notion de modalité d'ordre supérieur. La modalité d'ordre supérieur peut être caractérisée comme une modalité agissant sur une proposition dans laquelle figure déjà une modalité, un aspect de la modalité qui, étonnamment, a été très peu étudié. Une analyse de ce phénomène est proposée et je présente certains problèmes philosophiques où ce phénomène se manifeste. Je considère, entre autres, le problème de la transparence épistémique (l'idée qu'un agent sait qu'il sait lorsqu'il sait) et j'applique l'analyse générale de la modalité d'ordre supérieur à la résolution de celui-ci. De même, une solution du paradoxe de Fitch est proposée, qui s'appuie essentiellement sur l'idée que certaines des notions modales impliquées dans ce paradoxe sont d'ordre supérieur et que celles-ci sont mal représentées dans un langage modal conventionnel. La discussion de ces problèmes sert de point départ à l'articulation d'une généralisation de la sémantique des mondes possibles. J'introduis un nouveau type de langage modal et montre comment il est interprété dans cette sémantique. Une étude des propriétés formelles de ce langage est donnée (axiomatisation, complétude, calcul de tableaux, etc.). Comme application subséquente de ces idées, je montre comment la modalité d'ordre supérieur est sous-jacente à deux analyses célèbres en logique philosophique : tout d'abord, dans la conception « ockhamiste » de Prior du temps et de la possibilité, et, par la suite, dans l'analyse des conditionnelles contrefactuelles de Stalnaker-Lewis. ______________________________________________________________________________

Thèse de doctorat : Mécanique : Ecully, Ecole centrale de Lyon : 2008. / Titre provenant de l'écran-titre. 44 références.

Thèse doctorat : Mécanique : Ecully, Ecole centrale de Lyon : 2008. / 44 références.

Reproduction de : Thèse de doctorat : Génie mécanique : Toulouse, INPT : 2008. / Titre provenant de l'écran-titre. Bibliogr. 158 réf.

Proefschrift Universiteit van Amsterdam. / Met lit. opg. - Met samenvatting in het Nederlands.

Proefschrift Universiteit van Amsterdam. / Auteursnaam op omslag: Natasha Alechina. Met index, lit. opg. en een samenvatting in het Nederlands.

Proefschrift Universiteit van Amsterdam. / Met index, lit. opg. - Met samenvatting in het Nederlands.

La décomposition modale empirique (Empirical Mode Decomposition – EMD) ou la Transformation de Hilbert Huang (HHT) est une nouvelle méthode d’analyse temps-fréquence qui est particulièrement adaptée pour des séries temporelles non-linéaires et non stationnaires. Nous avons obtenu comme résultat le fait que la méthode EMD correspond à un banc de filtre dyadique (ou quasi-dyadique) pour la turbulence pleinement développée. Pour caractériser les propriétés intermittentes d’une série temporelle invariante d’échelle, nous avons généralisé l’analyse spectrale de Hilbert-Huang classique à des moments d’ordre arbitraires, pour effectuer ce que nous avons appelé « analyse spectrale de Hilbert d’ordre arbitraire ». Ceci fournit un nouveau cadre pour analyser l’invariance d’échelle directement dans un espace amplitude-fréquence. Nous validons tout d’abord la méthode en analysant des séries temporelles de mouvement Brownien fractionnaire, et en analysant des séries temporelles multifractales synthétiques. Nous comparons les résultats obtenus avec la nouvelle méthode, à l’analyse classique utilisant les fonctions de structure : nous trouvons numériquement que la méthodologie utilisant l’approche de Hilbert fournit un estimateur plus précis pour le paramètre d’intermittence.Nous appliquons ensuite cette méthodologie Hilbert-Huang à une base de données de turbulence homogène et localement isotrope, pour caractériser les propriétés multifractales invariantes d’échelle de séries temporelles de vitesse. Finalement nous appliquons la nouvelle méthodologie à des données environnementales : des débits de rivière, et des données de turbulence marine dans la zone de surf. / Empirical Mode Decomposition (EMD), or Hilbert-Huang Transform (HHT) is a novel general time-frequency analysis method for nonstationary and nonlinear time series. To characterize the intermittent properties of a scaling time series, we generalize the classical Hilbert spectral analysis to arbitrary order q, performing what we denoted “arbitrary order Hilbert spectral analysis”. This provides a new frame to characterize scale invariance directly in an amplitude-frequency space, by taking a marginal integral of a joint pdf of instantaneous frequency and amplitude. We first validate the method by analyzing a simulated fractional Brownian motion time series, and by analyzing a synthesized multifractal nonstationary time series respectively for monoscaling and multifractal processes. Compared with the classical structure function approach, it is found numerically that the Hilbert-based methodology provides a more precise estimator for the intermittency parameter. We then apply this Hilbert-based methodology to an experimental homogeneous and nearly isotropy turbulent data to characterize the multifractal scaling properties of the velocity time series in fully developed turbulence. We obtain a scaling trend in the joint with a scaling exponent close to Kolmogorov value. We recover the structure function scaling exponent in amplitude-frequency space for the first time. We also perform the analysis on a temperature (passive scalar) time series with strong ramp-cliff structures. We finally apply the new approach to daily river flow discharge and surf zone marine turbulence to characterize the scale invariance under the Hilbert frame.

Actuellement, l'interaction haptique est visualisée, il a été démontré que le retour tactile améliore l'expérience et améliore la productivité en allégeant la charge visuelle.La plupart des technologies de retour haptique disponibles aujourd'hui sont basées sur une vision globale du monde. Ce travail aborde ce problème en développant une méthode utilisant des ondes élastiques pour réaliser des déformations de flexion planes hors plan sur une plaque mince. Dans cette étude, la décomposition modale est proposée pour obtenir une déformation contrôlée localement (stimulation haptique). L'approche nécessite seulement la connaissance du comportement modal de la structure. Cette connaissance peut être définie en utilisant sa projection sur les formes de mode. Pour des considérations pratiques, Une méthode pour définir les forces motrices dans l’espace modal. Les tensions réelles à appliquer aux actionneurs sont ensuite déduites. La méthodologie est validée sur plusieurs démonstrateurs de géométries différentes. La possibilité de contrôler l’un des deux modes de fonctionnement à l’aide d’un seul actionneur est validée en focalisant une forme prédéfinie à différents endroits. Pour éviter la limitation de la tension, un prototype à plusieurs actionneurs a été développé avec plus de vitesses. Les résultats confirment la polyvalence de la méthode. La robustesse face à l'identification des incertitudes et de la troncature est évaluée et proposée. Des tests haptiques préliminaires, avec des champs de vitesse contrastés et localisés sont présentés, montrant des résultats tangibles pour la différenciation et la localisation des stimuli par l'utilisateur. / Currently, the haptic interaction on screens is visual, although it has been demonstrated that tactile feedback enhances the experience and improves the productivity by relieving the visual load.Most of the haptic feedback technologies available today are based on global stimulation which limit their use for collaborative device interfaces or control panels for instance. This work address this problem by developing a method that uses elastic waves to realize localized out of plane bending deformations on a thin plate. In this study modal decomposition is proposed to realized controlled local deformation (haptic stimulation). The approach only necessitates the knowledge of the modal behavior of the structure which can be extracted from finite elements analysis or identified. By this prior knowledge arbitrary shapes can be defined using its projection on the mode shapes. For practical considerations, a model reduction criterion is proposed as well. A method to define the driving forces is developed which consists in setting the modes transients in the modal space. Actual voltages to be applied to the actuators are then deduced. The methodology is validated on several demonstrators with different geometries. The ability to control in open loop simultaneously over ten modes using a single actuator is validated by focalizing a predefined shape at different locations. To avoid voltage limitation, a prototype with several actuators was realized to create more elaborated shapes with higher velocities. The results confirm the versatility of the method. The robustness towards identification uncertainties and truncation is evaluated, and improvements with regards to identification errors and transient control in relation to the haptic experience are proposed. Preliminary haptic tests, with contrasted and localized velocity fields are presented, showing tangible results as for the differentiation and the localization of the stimuli by the user.

Reproduction de : Thèse de doctorat : Acoustique : Le Mans : 2006. / Titre provenant de l'écran-titre.