LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Name
Archives des thèses et mémoires de l’ISAE (ArTeMIS)
Type
Publication Repository
Items
488 Publications
Compatibility
OpenAIRE Basic (DRIVER OA)
OAI-PMH
http://ori-oai.isae.fr/ori-oai-repository/OAIHandler

 

  • Amélioration des processus de vérification de programmes par combinaison des méthodes formelles avec l’Ingénierie Dirigée par les Modèles

    Fernandes Pires, Anthony (2014)
    Lors d’un développement logiciel, et plus particulièrement d’un développement d’applications embarquées avioniques, les activités de vérification représentent un coût élevé. Une des pistes prometteuses pour la réduction de ces coûts est l’utilisation de méthodes formelles. Ces méthodes s’appuient sur des fondements mathématiques et permettent d’effectuer des tâches de vérification à forte valeur ajoutée au cours du développement. Les méthodes formelles sont déjà utilisées dans l’i...

    Modélisation de la dynamique du canal de propagation Terre-Espace dans les bandes Ka et EHF

    Lacoste, Frédéric (2005)
    Dans les bandes Ka (20-30 GHz) et Q/V (40-50 GHZ) utilisées par les nouveaux systèmes de télécommunications par satellite, les pertes dues à la propagation dans l'atmosphère sont plus élevées que dans les bandes conventionnelles (Ku (12-14 GHz)) et provoquent une dégradation de la disponibilité des communications. Il est donc nécessaire d'avoir recours à des techniques de compensations des affaiblissements (FMT : Fade Mitigation Techniques) activées en temps réel par une boucle de contrôle en...

    Influence de la rugosité et des traitements d'anodisation sur la tenue en fatigue des alliages d'aluminium aéronautiques 2214 et 7050

    Shahzad, Majid (2011)
    La fatigue des matériaux et des structures est un phénomène dans lequel la surface joue un rôle important; notamment, l’état de surface représente l’un des principaux facteurs d’influence sur l’amorçage des microfissures. Par ailleurs, ces éléments de structure sont soumis à des agressions environnementales, et il convient de les protéger, en particulier contre la corrosion. Pour les éléments de structure aéronautiques en alliage d’aluminium, on a recours le plus souvent à un traitement d’...

    Développement et évaluation de nouvelles méthodes de classification spatiale-spectrale d’images hyperspectrales

    Roussel, Guillaume (2012)
    L'imagerie hyperspectrale, grâce à un nombre élevé de bandes spectrales très fines et contigües, est capable d'associer à chaque pixel d'une image une signature spectrale caractéristique du comportement réflectif du matériau ou du mélange de matériaux présents dans ce pixel. La plupart des algorithmes de classification tirent profit de cette grande profusion d'information spectrale mais exploitent très peu l'information contextuelle existant entre les pixels appartenant à un même ...

    Étude d'un schéma différences finies haute précision et d'un modèle de fil mince oblique pour simuler les perturbations électromagnétiques sur véhicule aérospatial

    Volpert, Thibault (2014)
    Les travaux de cette thèse concerne l’étude d’une méthode élément finis d’ordre spatial élevé que l’on peut assimilé à une extension du schéma de Yee. On parle alors de méthode différences finies d’ordre élevé. Après avoir donné, dans un premier chapitre, un historique non exhaustif des principales méthodes utilisées pour résoudre les équations de Maxwell dans le cadre de problèmes de CEM et montré l’ intérêt de disposer d’un solveur de type "différences finies d’ ordre élevé",...
  • No data provider research data found
  • Latest Documents Timeline

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Document Types

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

Share - Bookmark