L'objectif de cette recherche est la définition, la réalisation et l'intégration de la maquette d'un système d'aide à l'évaluation de la performance acoustique. Cette évaluation est considérée en phase d'avant-projet dans un contexte de conception appliquée au bâtiment. Le processus de développement de l'étude exige: a- La définition d'une méthodologie de conception globale prenant en compte les différentes composantes de conception. b- La construction d'un modèle d'évaluation acoustique permettant de déterminer le niveau sonore, l'isolement réglementaire, l'isolation produite et l'indice de qualité correspondant pour chaque composant du bâtiment. c- La recherche d'une sorte de compromis entre la méthodologie de la conception choisie et la technologie de la mise en oeuvre proposée. Ce qui permet de développer un système répondant au maximum des exigences et des contraintes d'évaluation acoustique en phase d'avant projet. Trois réponses informatiques ont marqué différentes étapes d'évolution de la recherche : 1- ECHO : outil d'évaluation automatique de type conversationnel.2- SONARE : système d'évaluation automatique qui s'insère dans un environnement de CAO spécialisé en bâtiment.3- SONO : système expert d'aide à l'évaluation implanté dans un environnement de CAO spécialisé en bâtiment. L'ensemble de ces travaux a permis enfin de proposer une architecture d'un système d'évaluation intelligente intitulé Delta-DIALOC qui favorisera la relation Homme-Système.

The primary objective of this research is to formulate a methodology of assessing the maximum impact loading condition that will incur onto an aircraft’s landing gear system via Finite Element Analysis (FEA) and appropriately determining its corresponding structural and impact responses to minimize potential design failures during hard landing (abnormal impact) and shock absorption testing. Both static and dynamic loading condition were closely analyzed, compared, and derived through the Federal Aviation Administration’s (FAA) airworthiness regulations and empirical testing data. In this research, a nonlinear transient dynamic analysis is developed and established via NASTRAN advanced nonlinear finite element model (FEM) to simulate the worst-case loading condition. Under the appropriate loading analysis, the eye-bar and contact patch region theory were then utilized to simulate the tire and nose wheel interface more accurately. The open geometry of the nose landing gear was also optimized to minimize the effect of stress concentration. The result of this research is conformed to the FAA’s regulations and bound to have an impact on the design and development of small and large aircraft’s landing gear for both near and distant future.

L'utilisation des technologies du web dans les métiers de la formation permet d'envisager de nouvelles approches d'apprentissage. Toutefois la qualité de ces approches dépend de leur capacité à fournir aux apprenants, des contenus et des parcours pédagogiques adaptés à leurs besoins. La solution présentée propose de mettre à la disposition des apprenants un ensemble de services pédagogiques. Un service fournit un fragment de processus pour répondre à un certain objectif pédagogique. C'est en composant des services de manière dynamique que l'on peut construire des parcours adaptés. L'approche POPS (Process-Oriented Pedagogic Service) est un cadre conceptuel qui définit un modèle pour décrire les services pédagogiques et un processus de composition de services pour construire des parcours personnalisés. Des ontologies du domaine enseigné et de la pédagogie sont proposées pour, d'une part, décrire les services et d'autre part, en faciliter la recherche et la composition. L'approche a été appliquée pour l'enseignement du langage UML dans le cadre d'un projet Campus Numérique.

Aujourd'hui, de plus en plus de systèmes industriels s'appuient sur des applications logicielles temps-réel réparties embarquées (TR2E). La réalisation de ces applications demande de répondre à un ensemble important de contraintes très hétérogènes, voire contradictoires. Pour satisfaire ces contraintes, il est presque toujours nécessaire de fournir à ces systèmes des capacités d'adaptation. Par ailleurs, certaines de ces applications pilotent des systèmes dont la défection peut avoir des conséquences financières - voire humaines - dramatiques. Pour concevoir de telles applications, appelées applications critiques, il faut s'appuyer sur des processus de développpement rigoureux capables de repérer et d'éliminer les erreurs de conception potentielles. Malheureusement, il n'existe pas à notre connaissance de processus de développement capable de traiter ce problème dans le cas où l'adaptation du système à son environnement conduit à modifier sa configuration logicielle. Ce travail de thèse présente une nouvelle méthodologie qui répond à cette problématique en s'appuyant sur la notion de mode de fonctionnement : chacun des comportements possibles du système est représenté par le biais d'un mode de fonctionnement auquel est associé une configuration logicielle. La spécification des règles de transition entre ces modes de fonctionnement permet alors de générer l'implantation des mécanismes de changement de mode, ainsi que des reconfigurations logicielles associées. Le code ainsi produit respecte les contraintes de réalisation des systèmes critiques et implante des mécanismes de reconfiguration sûrs et analysables. Pour ce faire, nous avons défini un nouveau langage de description d'architecture (COAL : Component Oriented Architecture Language) qui permet de bénéficier à la fois des avantages du génie logiciel à base de composants (de type Lightweight CCM), et des techniques d'analyse, de déploiement et de configuration statique, qu'apporte l'utilisation des langages de description d'architecture (et en particulier AADL : Architecture Analysis and Description Language). Nous avons alors réalisé un nouveau framework à composant, MyCCM-HI (Make your Component Container Model - High Integrity), qui exploite les constructions de COAL pour (i) générer le modèle AADL permettant de réaliser le déploiement et la configuration statique de l'application TR2E, (ii) générer le code de déploiement et de configuration des composants logiciels de type Lightweight CCM, (iii) générer le code correspondant aux mécanismes d'adaptation du système, et (iv) analyser formellement le comportement du système, y compris en cours d'adaptation. Ce framework à composant est disponible au téléchargement à l'adresse http ://myccm-hi.sourceforge.net.

La sécurité est une des préoccupations principales de l'informatique moderne. De plus en plus de personnes utilisent un ordinateur pour des opérations sensibles comme pour des transferts bancaires, des achats sur internet, le payement des impôts ou même pour voter. La plupart de ces utilisateurs ne savent pas comment la sécurité est assurée, par conséquence ils font totalement confiance à leurs applications. Souvent ces applications utilisent des protocoles cryptographiques qui sont sujet à erreur, comme le montre la célèbre faille de sécurité découverte sur le protocole de Needham-Schroeder dix-sept ans après sa publication. Ces erreurs proviennent de plusieurs aspects : -- Les preuves de primitives cryptographiques peuvent contenir des erreurs. -- Les propriétés de sécurité ne sont pas bien spécifiées, par conséquence, il n'est pas facile d'en faire la preuve. -- Les hypothèses faites sur le modèle de l'intrus sont trop restrictives. Dans cette habilitation, nous présentons des méthodes formelles pour vérifier la sécurité selon ces trois aspects. Tout d'abord, nous construisons des logiques de Hoare afin de prouver la sécurité de primitives cryptographiques comme les chiffrements à clef publique, les modes de chiffrement asymétriques et les codes d'authentification de message ( Message authentication codes, MACs). Nous étudions aussi les protocoles de votes électroniques et les réseaux de capteus sans fil ( Wireless Sensor Networks, WSNs ). Dans ces deux domaines, nous analysons les propriétés de sécurité afin de les modéliser formellement. Ensuite nous développons des techniques appropriées afin de les vérifier.

La plupart des entreprises évoluent dans des marchés concurrentiels en adaptant rapidement leurs processus métiers. Leur performance dépend de leur capacité à utiliser des techniques d'amélioration continue de leur organisation par la mise au point de Systèmes Informatiques (SI) durables pour l'automatisation des processus. En ce sens, les architectures orientées services (Service Oriented Architectures) ont permis le développement de SI flexibles avec un style d'architecture prédominant de composition de services. Cependant, l'alignement de ces architectures aux impératifs de l'évolution des processus reste une préoccupation centrale. Dans cette thèse, nous étudions la cartographie et l'évolution des processus métiers depuis leur conception jusqu'à leur automatisation dans une architecture orientée services ainsi que son adaptation. Nous proposons une approche d'ingénierie dirigée par les modèles intégrée à un outil de modélisation de processus et de développement d'architectures orientées services. Celle-ci débute par la spécification d'un modèle BPMN (Business Process Modeling Notation) décrivant les interactions des processus métiers. Grâce à une chaîne de transformation automatisée, nous produisons un modèle SCA (Service Component Architecture) décrivant une solution de composition de services. Ceci garantit la traçabilité architecturale entre le niveau métier du SI et son niveau technique puisque les services générés décrivent une {logique applicative} qui met en œuvre la logique métier du modèle BPMN. Ensuite, nous introduisons une méthode de propagation du changement de la logique métier vers la logique applicative qui est fondée sur la synchronisation incrémentale entre les modèles BPMN et SCA. Elle est intégrée à un outil d'analyse de l'impact du changement qui se base sur la réécriture de graphes pour éviter les inconsistances induites par les modifications. Enfin, elle permet de simuler l'impact des évolutions des processus, pour en estimer le coût selon les métriques que nous proposons, avant de procéder à la réingénierie de l'architecture orientée services pour assurer une meilleure gouvernance du changement.

La conception de grands systèmes se heurte souvent à des problèmes de communication au sein des équipes de concepteurs et à l'incohérence de certains documents de conception. Nous avons identifié deux approches de conception concurrentes mais complémentaires. L'une est ascendante et voit la conception réalisée par agrégation de composants standardisés, l'autre est descendante et voit la conception réalisée par raffinages successifs d'un modèle de base. Dans ces travaux, nous proposons un flot de conception intégré, tirant partie des deux approches et permettant la génération conjointe de commandes et d'interfaces de supervision pour un système sociotechnique reconfigurable. Conformément à notre retour d'expérience industriel, notre approche est basée sur un modèle métier appelé synoptique, et sur une bibliothèque d'éléments standards. Nous proposons également un modèle d'analyse des configurations du système. Il peut être utilisé pour une analyse hors ligne, afin de valider les spécifications de l'expert en charge de la conception. Il peut également être utilisé lors d'une analyse en ligne pour rechercher des configurations alternatives, en cas d'aléas ou de commandes conflictuelles. Nous présentons enfin l'outil Anaxagore, qui implémente le flot proposé et qui permet de générer, en quelques minutes, un programme de commande et une interface de supervision pour un système de gestion des fluides.

La conception concourante de produits matériels centrée sur l'homme est basée sur une collaboration entre le concepteur mécanicien, l'ergonome et le designer industriel. Cette collaboration souvent difficile peut être facilitée par l'utilisation d'objets intermédiaires de conception, tels que la Réalité Virtuelle (RV). Néanmoins, bien que largement utilisée dans l'industrie, la RV souffre d'un déficit d'acceptation de la part des concepteurs de produits. Dans le cadre de ces travaux, nous proposons d'utiliser la RV sous la forme d'outils immersifs d'assistance à la convergence multidisciplinaire développés selon une démarche anthropocentrée en fonction des besoins spécifiques à chaque projet de conception de produits. Afin d'optimiser les délais de développement, nous proposons une méthodologie de conception d'applications immersive dédiée : la méthodologie ASAP(As Soon As Possible). Une première série expérimentale a été conduite dans le cadre de contrats industriels d'études et de recherche afin de valider la faisabilité de la méthodologie et l'efficacité des outils développés.Une deuxième série expérimentale a été effectuée sur plus de 50 sujets dans le cadre de projets, cette fois, pédagogiques qui ont nécessité le développement de 12 applications. Elle a permis de valider quantitativement l'influence des outils immersifs sur l'efficacité perçue des phases de convergence interdisciplinaires ainsi que l'influence de l'approche proposée sur l'acceptation de la RV par les concepteurs de produits. Ces travaux de thèse présentent une première approche qui, selon nous, permettra à terme, de faire évoluer l'usage de la RV vers une intégration plus forte au sein des processus de conception de produits avec, par exemple, une plus large utilisation des applications immersives de modélisation 3D, réelles sources d'innovation.

This dissertation focused on development and utilization of numerical and experimental approaches to improve the CFD modeling of fluidization flow of cohesive micron size particles. The specific objectives of this research were: (1) Developing a cluster prediction mechanism applicable to Two-Fluid Modeling (TFM) of gas-solid systems (2) Developing more accurate drag models for Two-Fluid Modeling (TFM) of gas-solid fluidization flow with the presence of cohesive interparticle forces (3) using the developed model to explore the improvement of accuracy of TFM in simulation of fluidization flow of cohesive powders (4) Understanding the causes and influential factor which led to improvements and quantification of improvements (5) Gathering data from a fast fluidization flow and use these data for benchmark validations. Simulation results with two developed cluster-aware drag models showed that cluster prediction could effectively influence the results in both the first and second cluster-aware models. It was proven that improvement of accuracy of TFM modeling using three versions of the first hybrid model was significant and the best improvements were obtained by using the smallest values of the switch parameter which led to capturing the smallest chances of cluster prediction. In the case of the second hybrid model, dependence of critical model parameter on only Reynolds number led to the fact that improvement of accuracy was significant only in dense section of the fluidized bed. This finding may suggest that a more sophisticated particle resolved DNS model, which can span wide range of solid volume fraction, can be used in the formulation of the cluster-aware drag model. The results of experiment suing high speed imaging indicated the presence of particle clusters in the fluidization flow of FCC inside the riser of FIU-CFB facility. In addition, pressure data was successfully captured along the fluidization column of the facility and used as benchmark validation data for the second hybrid model developed in the present dissertation. It was shown the second hybrid model could predict the pressure data in the dense section of the fluidization column with better accuracy.

This work deal with the analysis of influence of pressure‘s sizes in vacuum chamber of specimen Evironmental Scanning Electron Microscope and the influence of sizes of aperture diaphragm by scintillation detector. The analysis proceeds in detector of secondary electrons. The detector is modelled by system 3D CAD SolidWorks with the help of system CAE Cosmos FloWorks.