• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 28
  • 8
  • 3
  • Tagged with
  • 38
  • 38
  • 16
  • 13
  • 12
  • 11
  • 11
  • 8
  • 8
  • 7
  • 7
  • 7
  • 6
  • 6
  • 6
  • 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.
21

Analyse et conception de scanners laser mobiles dédiés à la cartographie 3D d'environnements urbains

Yoo, Hyun-Jae 13 January 2011 (has links) (PDF)
Cette thèse a été effectuée en collaboration entre le Centre de Robotique CAOR de MINES ParisTech et MENSI-Trimble sous convention CIFRE (Convention Industrielle de Formation par la Recherche), afin de concevoir un nouveau système de scanner laser innovant dédié aux systèmes mobiles de cartographie. Pour cela, nous avons développé une méthode d'analyse qualitative des relevés laser et une démarche de conception par simulation d'un système mobile de cartographie. Nous avons ensuite élaboré plusieurs concepts de scanners laser mobiles. A l'aide du simulateur, nous avons virtuellement réalisé ces concepts et avons fait des acquisitions simulées afin d'analyser les données. Après avoir obtenu les résultats de l'analyse, nous avons choisi un concept, réalisé son prototypage et effectué son évaluation en situation réelle.
22

Diminuer la dépendance aux engrais de synthèse par le recyclage local des éléments minéraux : analyse des stratégies d'approvisionnement en éléments minéraux des exploitations agricoles biologiques

Nowak, Benjamin 17 December 2013 (has links) (PDF)
Depuis la seconde moitié du XXème siècle, l'utilisation massive des engrais desynthèse a contribué à l'augmentation des rendements mais aussi à l'accumulation d'élémentsminéraux dans les systèmes agricoles. La limitation de cette accumulation passe par unmeilleur recyclage des éléments minéraux déjà présents dans les systèmes agricoles.L'agriculture biologique, qui interdit le recours aux engrais de synthèse, peut être considéréecomme un prototype d'agriculture à même d'améliorer ce recyclage. L'objectif de cette thèse a été d'identifier les stratégies mises en place par les agriculteurs biologiques pour s'approvisionner en éléments minéraux. Cet objectif a été décliné en sous-objectifs qui ont été(i) d'identifier les pratiques d'approvisionnement en fertilisants et aliments des agriculteursbiologiques, (ii) d'en comprendre les déterminants et (iii) d'évaluer la performance de ces pratiques vis-à-vis du recyclage de l'azote, du phosphore et du potassium. Pour ce faire, 63exploitations biologiques ont été enquêtées afin de recueillir des données concernant la natureet la quantité des matières échangées, ainsi que les fournisseurs et les collecteurs en relation avec ces exploitations. Afin d'étudier l'influence du contexte local, les enquêtes ont été menées dans trois régions agricoles sélectionnées en fonction de leur degré de spécialisation (productions végétales, productions animales et mixte). L'intensité du recyclagelocal a été évaluée grâce à deux indicateurs : l'autonomie, définie comme le ratio entre laquantité d'éléments minéraux provenant d'échanges entre exploitations et la quantité totale d'éléments minéraux entrant dans les exploitations biologiques de la région, et le degré de bouclage des cycles, défini comme la proportion d'éléments minéraux passant au moins deux fois par la même exploitation au sein de la région étudiée. Un premier niveau d'analyse, àl'échelle de l'exploitation, a mis en évidence les déterminants de l'approvisionnement en éléments minéraux des exploitations biologiques. Il a montré que les exploitations biologiques spécialisées dans les productions végétales importaient des quantités importantes defertilisants organiques en provenance de l'agriculture conventionnelle. Un second niveau d'analyse, à l'échelle régionale, a montré que la proximité entre des exploitations agricoles spécialisées dans les productions végétales et d'autres spécialisées dans les productions animales favorisait les échanges entre ces exploitations. Ces échanges permettaient d'améliorer l'autonomie locale même si le degré de bouclage des cycles restait faible. Enfin, une approche par modélisation a permis de quantifier la fraction du phosphore des produits biologiques qui dérive des engrais de synthèse, notamment suite aux échanges entre lesexploitations biologiques et conventionnelles. Plus de deux tiers du phosphore composant les productions biologiques étaient du phosphore initialement issu d'apports d'engrais de synthèse. Les résultats obtenus dans cette thèse ont permis de discuter des forme d'organisation des systèmes agricoles à même d'améliorer le recyclage des éléments minéraux, mais aussi des possibilités de développement de l'agriculture biologique.
23

Contribution à l’évaluation et à l’amélioration multicritères en contexte incertain : application à la conception préliminaire / Contribution to multi-criteria assessment and improvement in uncertain context : Application to preliminary design

Sow, Diadié 18 December 2017 (has links)
Dans un environnement fortement concurrentiel, les industriels doivent constamment améliorer leurs produits pour rester compétitifs et satisfaire au mieux leurs clients tout en minimisant les coûts et la prise de risques en conception. En phase préliminaire de conception ou de (re-)engineering, prédire les performances de nouveaux produits est une tâche difficile. En effet, l’impact des changements opérés sur les caractéristiques du produit relativement aux performances de celui-ci ne peut être estimé que de façon imprécise. Décideurs et concepteurs doivent pourtant identifier les performances à améliorer en limitant les efforts d’ingénierie déployés pour des améliorations innovantes. Bien que plusieurs indicateurs de plus-value aient été proposés par la communauté de la décision multicritère pour évaluer a priori l’amélioration que confère un changement de configuration à un produit, ils semblent néanmoins reposer sur des hypothèses de réalisabilité des gains de performance peu réalistes dans le contexte manufacturier.Sur la base de techniques d’analyse multicritère et de théorie des possibilités, cette thèse propose une extension de ces indices de plus-values lorsque la vraisemblance des améliorations espérées ne peut être évaluée de façon précise comme c’est le cas en phase de conception préliminaire. Cette connaissance imparfaite des relations entre les actions d’amélioration et les performances espérées rend la question « comment se fixer des objectifs ambitieux lorsque l’on conçoit ou améliore un produit tout en faisant en sorte que ces objectifs restent à la portée du manufacturier ? » d’autant plus complexe. Ainsi, les améliorations qu’il faut planifier doivent à la fois avoir un impact significatif sur la performance du produit et correspondre à des compétences maîtrisées par le manufacturier. Plusieurs approches de la littérature se sont intéressées à ces deux aspects de l’amélioration, mais peu d’entre elles les considèrent conjointement. Nous proposons dans cette thèse plusieurs approches qualitatives et possibilistes qui concilient les deux points de vue à travers des problèmes d’optimisation multi-attributs. La notion d’interaction entre deux dimensions de la performance y est centrale. Un exemple relatif à la conception d’un robot autonome est proposé pour illustrer chacune de nos propositions. Cette étude de cas est issue du challenge Robafis qui est organisé annuellement par l’Association Française d’ingénierie Système (AFIS) pour promouvoir l’ingénierie système dans les écoles d’ingénieurs. / In a highly competitive and unstable environment, manufacturers must constantly improve their products to remain competitive and satisfy their customers while minimizing incurred costs and risk taking at the design stage. At the early stages of (re-)engineering, performances forecasting of new product is complicated. Indeed, the impacts of any characteristic change on the product performance are not precisely known. Decision makers must thus identify the performances to be improved while limiting the engineering efforts spent on innovative upgrades. Although some theoretical worth indexes have been proposed in the multiple criteria decision-making literature to estimate the expectable gains when improving changes are planned, they generally rely on non-realistic assumptions on the achievability of the expected improvements that cannot hold in manufacturing contexts. Based on multi-criteria decision analysis techniques and uncertainty theory, this thesis proposes an extension of the worth index concept when the likelihood of the expected improvements is not precisely known as it is the case at the preliminary stages of design activities. This poor knowledge of the relationships between improvement actions and expected performances makes the issue “how to set ambitious targets when improving or designing product while these targets remain within the reach of the manufacturer” all the thornier. Thus, improvements to be focused on are those which both have a significant positive impact on product performance and correspond to operational changes properly under control by the manufacturer. While some approaches in the literature have already addressed each of the two aspects of the improvement problem, few deal with both of them at the same time. We investigate several qualitative and possibilistic approaches that conciliate both points of view as multi attributes optimization problems. The notion of interaction between any two objectives to be simultaneously satisfied is central in our framework. An illustrative example related to the design phase of autonomous robot is provided. This case study is issued from the robotic challenge Robafis that is organized annually by the French association of Systems Engineering AFIS to promote Systems Engineering practice in engineers’ schools.
24

Conception orientée délai : étude, développement et réalisation d’une boucle à verrouillage de phase large bande stabilisée par une boucle à verrouillage de délai

Lucas de Peslouan, Pierre-Olivier 25 May 2011 (has links)
L’explosion du marché des télécommunications a donné lieu, lors de ces dernières années, à la multiplication des standards de radiocommunication. De nos jours, l’ensemble de ces moyens de communication utilisés pour le transfert de voix et de données doit être intégré dans les terminaux mobiles. Cependant, cette tendance s’oppose aux contraintes de faible coût qui tendent à diminuer la taille de l’électronique embarquée dans un terminal mobile, mais aussi aux contraintes de diminution de la consommation pour une plus grande autonomie des objets sans fils. C’est donc autour de ces verrous technologiques et techniques que se concentre une part importante des efforts de « R&D » aujourd’hui. Ainsi, l’objectif des travaux présentés repose sur la recherche et le développement d'une architecture contribuant à l’amélioration des performances du bloc central de la chaîne d’émission/réception : l'oscillateur local.L’architecture innovante de synthétiseur de fréquence multistandard réalisée est fondée sur le principe de « conception orientée délai » (DOD - Delay Oriented Design). Une nouvelle technique de stabilisation, issue de la superposition d’une boucle à verrouillage de délai et de phase, est proposée afin d’élargir la bande passante.De l’étude système à la mesure en passant par l’étude comportementale et la réalisation du circuit, les différentes étapes de conception de ce système fractionnaire sont présentées. Les simulations et les mesures ont démontré la capacité du synthétiseur à couvrir une bande comprise entre 1,6 et 3,5GHz avec un signal de référence à 500MHz, mais aussi à stabiliser une architecture très large bande. / The explosion of the wireless communication market is largely responsible of the expansion for RF communication standards for voice and data. Nowadays, each one of them must be integrated in one mobile terminal.However, this trend is opposed to the constraints of low cost, which tend to reduce the size of the electronics in a mobile terminal, but also the constraints of reduced consumption for greater autonomy for wireless systems. It is then around these technological and technical barriers that focus an important part of efforts to « R & D » today. Thus, the objective of the work presented is based on research and development of an architecture that contributes to improve the performances of the central block of transceivers: the local oscillator.The innovative architecture of multistandard synthesizer realized is based on the principle of Delay Oriented Design (DOD). A new technique of stabilization, based on the superposition of a delay and a phase locked loop, is proposed to expand the bandwidth. From study system to measurements through the behavioral comportment and implementation of the circuit, the various stages when designing an RF system are presented. Simulations and measurements have demonstrated the ability of the synthesizer to cover a frequency band between 1.6 and 3.5 GHz with a reference signal at 500MHz, but also to stabilize a broadband architecture.
25

Full-scale experimental characterization of a non-isothermal realistic air jet for building ventilation : Local interaction effects, moisture transport and condensation prediction / Caractérisation expérimentale d'un jet d'air anisotherme réaliste pour la ventilation du bâtiment : L'interaction du local, le transport d'humidité et la condensation

Nguyen, Chi Kien 25 October 2018 (has links)
La compréhension de la distribution de l'air intérieur accompagné du transfert couplé "chaleur-air-humidité" est essentielle à la conception des systèmes de ventilation des bâtiments. Parmi les méthodes de distribution d'air intérieur, la ventilation par mélange est l'une des plus couramment utilisées, dont la performance est déterminée par celle du jet d'air injecté. Au cours des dernières décennies, bien que de nombreuses recherches aient été menées sur les études des jets d'air, la majorité de ces études se sont concentrées sur une disposition symétrique des bouches de soufflage et d’extraction par rapport à la géométrie du local. En outre, les études traitant du transfert couplé "chaleur-air-humidité", qui inclut le phénomène de condensation sur la surface interne du local, sont encore limités dans la littérature. Ainsi, ce travail se concentre sur la problématique suivante : Quel est le comportement d'un jet d'air réaliste sous des effets d'interaction et comment caractériser de tels jets d'air ? Dans des conditions d'intérieur réalistes favorisant la condensation sur une surface froide, serait-il possible de quantifier le débit massique de condensation ? Les deux études sont expérimentées dans la cellule d’essais MINIBAT à l’échelle 1. La première partie consiste à caractériser un jet d'air turbulent au plafond dans une configuration d’écoulement intérieur réaliste. Les résultats expérimentaux montrent les effets d'interaction visibles des éléments architecturaux de la pièce sur le comportement du jet d'air tels que la déviation de la trajectoire du jet ainsi que la déformation des profils du jet. Les principales caractéristiques du jet, telles que le taux d’expansion, la décroissance de vitesse et de température, sont quantifiées. Une méthode graphique basée sur un indicateur de déformation est proposée pour quantifier la déformation des profils transversaux du jet.La deuxième partie de ce travail traite le phénomène de condensation sur une surface vitrée en reproduisant les conditions hivernales dans la cellule d’essais. L’apparition de la condensation et son mécanisme de croissance sont observés à l'aide d'une technique de macrophotographie. Le post-traitement de l'image permet d'estimer le débit de condensation. Les comparaisons entre les résultats expérimentaux et théoriques montrent un certain accord, ce qui pourrait valider la faisabilité des techniques d'imagerie dans les études de condensation à l’échelle 1. Des données expérimentales détaillées accompagnées de conditions aux limites bien connues issues de ce travail pourraient servir de test de benchmark pour la validation des modèles CFD, en particulier pour les configurations d’écoulement asymétrique, avec la présence de la condensation. / Understanding room air distribution with coupled heat-air-moisture transport is essential to the design of building ventilation systems. In the past decades, although numerous research have been undertaken on air jet studies, there are still some issues that deserve a consideration. In fact, the majority of these studies focused on a symmetric arrangement of supply and exhaust air outlets with respect the room geometry. Besides, studies dealing with room coupled heat-air-moisture transport, which includes the condensation phenomenon on the room inner surface, are generally lacking in the literature. Hence, this work focuses on the following problematic: What is the behavior of a realistic air jet under interaction effects and how to characterize such air jets? In realistic indoor conditions promoting condensation on cold surface, would we be able to quantify the condensate mass flow rate? The two studies are experimentally investigated in the full-scale MINIBAT controlled test cell. The first part consists in characterizing a ceiling turbulent air jet in a realistic indoor airflow configuration. The experimental results show visible interaction effects of the room architectural elements on the air jet behavior: they have deviated the jet trajectory as well as deformed the jet cross-sectional shape. The jet main characteristics such as the spread rate, the velocity and temperature decay are quantified. A graphical-based method is proposed to quantify the jet shape deformation using a so-called deformation indicator. The second part of this work treats the phenomenon of moisture condensation on a glazing surface by reproducing a winter condition within the test cell. The condensation appearance and its growth mechanism are observed using a macro-photography technique. The image post-processing enabled to estimate the condensation rate. Comparisons between experimental and theoretical results show some agreement, which could validate the feasibility of imaging techniques in full-scale condensation studies.Detailed experimental data accompanied by well-known boundary conditions from this work could serve as a benchmark test for CFD models validation, in particular for asymmetric airflow configurations, with the presence of the condensation phenomenon.
26

Diminuer la dépendance aux engrais de synthèse par le recyclage local des éléments minéraux : analyse des stratégies d'approvisionnement en éléments minéraux des exploitations agricoles biologiques / Reducing dependence on artificial fertilisers through local nutrient recycling : analysis of organic farms’ nutrient supply strategies

Nowak, Benjamin 17 December 2013 (has links)
Depuis la seconde moitié du XXème siècle, l'utilisation massive des engrais desynthèse a contribué à l’augmentation des rendements mais aussi à l’accumulation d’élémentsminéraux dans les systèmes agricoles. La limitation de cette accumulation passe par unmeilleur recyclage des éléments minéraux déjà présents dans les systèmes agricoles.L'agriculture biologique, qui interdit le recours aux engrais de synthèse, peut être considéréecomme un prototype d’agriculture à même d’améliorer ce recyclage. L’objectif de cette thèse a été d’identifier les stratégies mises en place par les agriculteurs biologiques pour s’approvisionner en éléments minéraux. Cet objectif a été décliné en sous-objectifs qui ont été(i) d’identifier les pratiques d’approvisionnement en fertilisants et aliments des agriculteursbiologiques, (ii) d’en comprendre les déterminants et (iii) d’évaluer la performance de ces pratiques vis-à-vis du recyclage de l’azote, du phosphore et du potassium. Pour ce faire, 63exploitations biologiques ont été enquêtées afin de recueillir des données concernant la natureet la quantité des matières échangées, ainsi que les fournisseurs et les collecteurs en relation avec ces exploitations. Afin d’étudier l’influence du contexte local, les enquêtes ont été menées dans trois régions agricoles sélectionnées en fonction de leur degré de spécialisation (productions végétales, productions animales et mixte). L’intensité du recyclagelocal a été évaluée grâce à deux indicateurs : l’autonomie, définie comme le ratio entre laquantité d’éléments minéraux provenant d’échanges entre exploitations et la quantité totale d’éléments minéraux entrant dans les exploitations biologiques de la région, et le degré de bouclage des cycles, défini comme la proportion d'éléments minéraux passant au moins deux fois par la même exploitation au sein de la région étudiée. Un premier niveau d’analyse, àl’échelle de l’exploitation, a mis en évidence les déterminants de l’approvisionnement en éléments minéraux des exploitations biologiques. Il a montré que les exploitations biologiques spécialisées dans les productions végétales importaient des quantités importantes defertilisants organiques en provenance de l’agriculture conventionnelle. Un second niveau d’analyse, à l’échelle régionale, a montré que la proximité entre des exploitations agricoles spécialisées dans les productions végétales et d’autres spécialisées dans les productions animales favorisait les échanges entre ces exploitations. Ces échanges permettaient d’améliorer l’autonomie locale même si le degré de bouclage des cycles restait faible. Enfin, une approche par modélisation a permis de quantifier la fraction du phosphore des produits biologiques qui dérive des engrais de synthèse, notamment suite aux échanges entre lesexploitations biologiques et conventionnelles. Plus de deux tiers du phosphore composant les productions biologiques étaient du phosphore initialement issu d’apports d’engrais de synthèse. Les résultats obtenus dans cette thèse ont permis de discuter des forme d’organisation des systèmes agricoles à même d’améliorer le recyclage des éléments minéraux, mais aussi des possibilités de développement de l’agriculture biologique. / From the second half of the 20th century, massive application of artificial fertilisersworldwide has contributed to crop yield increases but also to accumulation of nutrients inagricultural systems. Preventing such accumulation is possible through better nutrientrecycling within agrosystems. Organic farming bans artificial fertilisers and may beconsidered as prototype of agriculture that recycles nutrients efficiently. The objective of thisPhD was to identify the strategies of organic farmers to source nutrients. This objective hasbeen broken down into three tasks: (i) identification of the fertilising materials and feedsinputs of organic farms, (ii) identification of the determinants of these inputs and (iii)assessment of their efficiency in recycling nitrogen, phosphorus and potassium. This workwas based on interviews with 63 organic farmers about their inputs and outputs (nature andamounts of trade products, type of suppliers and collectors). In order to account for theimportance of the local context, the interviews were conducted in three French agriculturaldistricts defined by their farming specialisation: these districts were specialised either in cropproduction or animal production or were kept mixed. Local nutrient recycling has beenassessed through two indicators: the autonomy was defined as the ratio between the amount ofnutrients coming from exchanges among farms and the sum of inputs to the organic farms ofthe district. The cycling index was defined as the proportion of nutrients flowing at least twicethrough the same farm. The analysis was implemented at two different scales. At farm scale,the analysis focused on the nutrient supply of organic farms. Results showed that arableorganic farms imported large amounts of organic fertilising materials from conventionalfarming. At regional scale, results showed that the proximity between arable and animal farmsfostered exchanges among farms. These exchanges increased local autonomy. However, evenfor the mixed district, the cycling index remained low. Finally, a modelling approachquantified the fraction of phosphorus in organic products that derived from artificialfertilisers. Results showed that more than two-thirds of phosphorus composing these productsderived from artificial fertilisers. These results may help to design farming systems thatenhance nutrient recycling and to discuss the possibility of organic farming development.
27

Modélisation et analyse de systèmes stochastiques et temps réel / Modeling and Analysis of Stochastic Real-Time Systems

Mediouni, Braham Lotfi 28 June 2019 (has links)
Dans cette thèse, nous abordons le problème de la modélisation et de la vérification de systèmes complexes présentant des comportements à la fois probabilistes et temporisés. La conception de tels systèmes est devenue de plus en plus complexe en raison de l’hétérogénéité des composants impliqués, l’incertitude découlant d’un environnement ouvert et les contraintes temps réelinhérentes à leurs domaines d’application. La gestion à la fois du logiciel et du matériel dans une vue unifiée tout en incluant des informations sur les performances (par exemple, temps de calcul et de communication, consommation d’énergie, etc.) devient indispensable. Construire et analyser des modèles de performance est d’une importance primordiale pour donner des garanties sur les exigences fonctionnelles et extra-fonctionnelles des systèmes, et permettre uneprise de décision fondée sur des mesures quantitatives dès les premières étapes de la conception.Cette thèse apporte plusieurs nouvelles contributions. Tout d’abord, nous introduisons un nouveau formalisme de modélisation appelé BIP stochastique et temps réel (SRT-BIP) pour la modélisation, la simulation et la génération de code de systèmes à base de composants. Ce formalisme hérite du framework BIP ses capacités de modélisation basées sur les composants et le temps réel et, en outre, il fournit des primitives pour exprimer des comportements stochastiquescomplexes.Deuxièmement, nous étudions des techniques d’apprentissage automatique pour faciliter la construction de modèles de performance. Nous proposons d’améliorer et d’adapter une procédure d’apprentissage présentée dans la littérature pour déduire des modèles stochastiques et temporisés à partir d’exécutions concrètes du système, et de les exprimer dans le formalisme SRT-BIP.Troisièmement, étant donné les modèles de performance dans SRT-BIP, nous explorons l’utilisation du model checking statistique (SMC) pour l’analyse d’exigences concernant la fonctionnalité et les performances du système. Pour ce faire, nous fournissons un framework complet, appelé SBIP, en tant qu’outil de support pour la modélisation, la simulation et l’analyse des systèmes SRT-BIP. SBIP est un environnement de développement intégré (IDE) qui implémente des algorithmes SMC pour des analyses quantitatives, qualitatives et d’événementsrares, en plus d’une procédure d’automatisation pour l’exploration des paramètres d’une propriété. Nous validons nos propositions sur des études de cas réels touchant à des domaines variés tels que les protocoles de communication, les systèmes concurrents et les systèmesembarqués.Enfin, nous étudions plus en détail l’intérêt du SMC lorsqu’il est inclus dans des méthodes d’analyse de système élaborées. Nous illustrons cela en proposant deux approches d’évaluation des risques. Dans la première approche, nous introduisons une méthodologie en spirale pour modéliser des systèmes résilients avec des composants FDIR que nous validons à travers l’évaluation de la sécurité du système de locomotion d’un rover d’exploration planétaire. La deuxième approche concerne l’évaluation des politiques de sécurité des organisations selon une approche de sécurité offensive. L’objectif est de synthétiser des configurations de défense efficaces contre des stratégies d’attaque optimisées (qui minimisent le coût d’attaque et maximisent la probabilité de succès). Ces stratégies d’attaque sont obtenues en combinant l’apprentissage de modèles et les méthodes méta-heuristiques, dans lesquels le SMC a le rôle principal d’évaluer et de prioriser les potentielles stratégies candidates. / In this thesis, we address the problem of modeling and verification of complex systems exhibiting both probabilistic and timed behaviors. Designing such systems has become increasingly complex due to the heterogeneity of the involved components, the uncertainty resulting from open environment and the real-time constraints inherent to their application domains. Handling both software and (abstraction of) hardware in a unified view while also including performanceinformation (e.g. computation and communication times, energy consumption, etc.) becomes a must. Building and analyzing performance models is of paramount importance in order to give guarantees on the functional and extra-functional system requirements and to make well-founded design decisions based on quantitative measures at early design stages.This thesis brings several new contributions. First, we introduce a new modeling formalism called Stochastic Real-Time BIP (SRT-BIP) for the modeling, the simulation and the code generation of component-based systems. This formalism inherits from the BIP framework its component-based and real-time modeling capabilities and, extends it by providing comprehensive primitives to express complex stochastic behaviors.Second, we investigate machine learning techniques to ease the construction of performance models. We propose to enhance and adapt a state-of-the-art learning procedure to infer stochastic real-time models from concrete system execution and to represent them in the SRT-BIP formalism.Third, given performance models in SRT-BIP, we explore the use of statistical Model Checking (SMC) for the anaysis of system’s functional and performance requirements. To do so, we provide a full framework, called SBIP, as a support tool for the modeling, simulation and analysis of SRT-BIP systems. SBIP is an Integrated Development Environment (IDE) that implements SMC algorithms for quantitative, qualitative and rare events analyses together with an automated exploring procedure for parameterized requirements. We validate our proposalson real-life case studies ranging from communication protocols and concurrent systems to embedded systems.Finally, we further investigate the interest of SMC when included in elaborated system analysis workflows. We illustrate this by proposing two risk assessment approaches. In the first approach, we introduce a spiral methodology to build resilient systems with FDIR components that we validate on the safety assessment of a planetary rover locomotion system. The second approach is concerned with the security assessment of organization’s defenses following an offensive security approach. The goal is to synthesize impactful defense configurations against optimized attack strategies (that minimize attack cost and maximize success probability). These attack strategies are obtained by combining model learning with meta heuristics, and where SMC is used to score and prioritize potential candidate strategies.
28

Ingénierie hautement productive et collaborative à base de connaissances métier : vers une méthodologie et un méta-modèle de gestion des connaissances en configurations / Highly productive and collaborative engineering, knowledge-based : toward a methodology and ameta-model of knowledge management in configurations

Badin, Julien 29 November 2011 (has links)
Ces travaux de recherche concernent le domaine de l’ingénierie des connaissances pour laconception de produits et plus particulièrement les phases amont du couple produit-simulation dansle processus de conception.Au cours de ces différentes phases amont, les acteurs d’un même projet utilisent simultanément denombreuses modélisations géométriques et comportementales du produit. Ils peuvent aussi avoirrecours à plusieurs outils logiciels hétérogènes, communiquant très difficilement entre eux.Dans ce contexte, le partage des connaissances entre les différents modèles métiers apparait commeune nécessité. En effet, concevoir un produit implique une gestion des connaissances d’unegranularité fine en tenant compte de leur niveau de maturité et de leur cohérence.Le recours à de nouvelles méthodes et de nouveaux outils est alors nécessaires dans le but desoutenir l’approche globale PLM et continuer à optimiser et rationaliser le processus de conceptionde produits.Dans ce cadre, nous proposons une approche qualifiée de KCM – Knowledge ConfigurationManagement, basée sur la gestion des connaissances de granularité fine, en configurations. Cetteapproche est de nature à favoriser la collaboration entre les acteurs d’un projet, en améliorant lacapitalisation, la traçabilité, la réutilisation et la cohérence des connaissances, utiliséessimultanément dans plusieurs activités en parallèle du processus de conception.Les principaux résultats de notre travail de recherche se structurent autour de trois axes :· Une méthodologie de gestion des connaissances en configurations qualifiée de KCMethod.· Un méta-modèle, baptisé KCModel, de structuration des concepts manipulés parKCMethod.· Une maquette de faisabilité sous forme d’outil logiciel ADES, permettant d’expérimenteret valider notre approche.L’ensemble des résultats obtenus s’articule autour d’une solution logicielle de nouvelle génération,qualifiée de KCManager, permettant de déployer en entreprise l’ensemble de la démarche proposée. / This research work deals with the field of knowledge engineering for product design, especially theupstream phases of the design-simulation couple in the product design process.In these phases, the project participants use many geometric and behavioural models of the productin parallel, while using multiple heterogeneous software tools, with difficulties to communicatebetween each other. However, especially in the upstream phases of the design process, designing aproduct requires sharing fine granularity knowledge between the different expert models, takinginto account their levels of maturity and consistency. Consequently, new methods and tools arethen needed in order to support the overall PLM approach and continue to optimize and streamlinethe product design process.Thus, in this research context, we propose an approach referred to as KCM – KnowledgeConfiguration Management, based on management of fine granularity knowledge in configuration.This approach is likely to improve collaboration between project participants, improvingcapitalization, traceability, reuse and consistency of the knowledge used simultaneously on severalactivities in parallel within the design process.The main results of our research are structured around three axes :· A methodology for knowledge configuration management qualified as KCMethod.· A meta-model, called KCModel, structuring concepts manipulated by KCMethod.· A model of feasibility, namely ADES software tool, allowing testing and validation ourapproach.The overall results are articulated around a next-generation software solution, described asKCManager, in order to deploy the approach proposed.
29

Contributions à l'instrumentation du métier d'architecte système : de l'architecture modulaire du produit à l'organisation du système de conception.

Bonjour, Eric 17 November 2008 (has links) (PDF)
Ce mémoire constitue une synthèse de nos activités de recherche, d'animation scientifique, d'enseignement et de responsabilité pédagogique entre 1998 et 2008. <br />Depuis une dizaine d'années, les concepteurs de systèmes mécatroniques doivent satisfaire des exigences de plus en plus sévères et nombreuses. Pour cela, ils doivent créer des solutions qui tendent à se complexifier, pour porter de multiples fonctions de service ou intégrer les dernières technologies innovantes. La conception d'un système mécatronique passe par la conception architecturale qui réalise l'identification de l'architecture du système. Cette activité requiert l'implication d'un métier émergent et stratégique : l' "architecte système". En même temps que l'ingénierie technique, l'architecte système doit assurer l'ingénierie organisationnelle de la conception, c'est-à-dire, définir une organisation adéquate du système de conception. Ce double rôle est critique lors de la phase de conception préliminaire, car les décisions prises auront un impact fort sur les performances de l'ensemble du projet.<br />La finalité de nos travaux est de développer des modèles, méthodes et outils d'aide à la décision permettant de supporter les activités à la fois technique et organisationnelle d'un architecte système. L'originalité majeure de notre projet réside dans le couplage que nous recherchons entre les architectures du système-produit, du système-projet et du système de compétences de conception.<br />Nous avons structuré nos contributions selon trois thématiques et répondu aux questions suivantes :<br />T1 - Identification d'une architecture modulaire du produit : comment identifier une architecture modulaire ? Comment modéliser l'architecture d'une famille de produits et générer la diversité ?<br />T2 - Organisation du système de conception : comment constituer des équipes compétentes ? Comment piloter les systèmes de compétences ? <br />T3 - Co-conception des architectures produit-projet : Comment propager des évolutions des modules du produit vers l'organisation du système de conception ? Comment coupler l'architecture du produit et l'organisation du système de conception ?<br />Des perspectives sont proposées propres aux deux thématiques majeures de notre projet (T1 et T2), ainsi que quatre extensions possibles : <br />1) Vers une conception collaborative consciente,<br />2) Vers une performance durable du système de conception,<br />3) Vers un système agile de systèmes de conception,<br />4) Vers une conception intégrée de systèmes micro-mécatroniques.
30

Le modèle SIROCO : de la spécification conceptuelle des interfaces utilisateur à leur réalisation

Normand, Véronique 17 April 1992 (has links) (PDF)
.

Page generated in 0.1067 seconds