• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 136
  • 37
  • 17
  • 1
  • Tagged with
  • 194
  • 74
  • 46
  • 27
  • 21
  • 21
  • 21
  • 19
  • 17
  • 17
  • 14
  • 13
  • 13
  • 12
  • 11
  • 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.
111

Localisation et reconstruction du réseau routier par vectorisation d'image THR et approximation des contraintes de type "NURBS" / Localization and reconstruction of the road network by VHR images’ vectorisation and approximation using “NURBS “constraints

Naouai, Mohamed 20 July 2013 (has links)
Ce travail de thèse vise à mettre en place un système d’extraction de réseau routier en milieu urbain à partir d’image satellite à très haute résolution. Dans ce contexte, nous avons proposé deux méthodes de localisation de routes. La première approche est fondée sur la procédure de conversion de l’image vers un format vectoriel. L’originalité de cette approche réside dans l’utilisation d’une méthode géométrique pour assurer le passage vers une représentation vectorielle de l’image d’origine et la mise en place d’un formalisme logique fondé sur un ensemble de critères perceptifs permettant le filtrage de l’information inutile et l’extraction des structures linéaires. Dans la deuxième approche, nous avons proposé un algorithme fondé sur la théorie des ondelettes, il met particulièrement en évidence les deux volets multi-résolution et multi-direction. Nous proposons donc une approche de localisation des routes mettant en jeux l'information fréquentielle multi directionnelle issue de la transformée en ondelette Log-Gabor. Dans l’étape de localisation, nous avons présenté deux détecteurs de routes qui exploitent l’information radiométrique, géométrique et fréquentielle. Cependant, ces informations ne permettent pas un résultat exact et précis. Pour remédier à ce problème, un algorithme de suivi s’avère nécessaire. Nous proposons la reconstruction de réseaux routiers par des courbes NURBS. Cette approche est basée sur un ensemble de points de repères identifiés dans la phase de localisation. Elle propose un nouveau concept, que nous avons désigné par NURBSC, basé sur les contraintes géométriques des formes à approximer. Nous connectons les segments de route identifiés afin d’obtenir des tracés continus propres aux routes. / The aim of this thesis is to establish a road network extraction system in urban areas from very high resolution satellite images. In this context, we proposed two approaches to locate roads. The first one is based on the process of converting the image into a vector form. The originality of this approach lies in the use of a geometric method to ensure the shift into a vector representation of the original image and the establishment of a logical formalism based on a set of perceptual criteria. It allows the filtering of unnecessary information and extracting linear structures. In the second approach, we proposed an algorithm based on the wavelet theory, it particularly highlights the two axis multi-resolution and multi-direction. Thus, we introduce a road localization approach, which manage the frequency multidirectional data resulting from the transform using the Log-Gabor wavelet. In the localization step, we presented two road detectors, which are capable of exploiting the radiometric, geometric and frequency data. However, this data cannot allow accurate and precise results. To overcome this drawback, a tracking algorithm is needed. We propose the reconstruction of road networks by NURBS curves. This approach is based on a landmark set of points identified in the localization phase and presents a new concept, noted by NURBSC. NURBSC is based on the geometrical constraints of shapes to be approximated. We connect road segments identified in order to obtain continuous road network.
112

Le système de la politesse confronté aux défis du talk-show : Politesse, impolitesse et a-politesse à l’épreuve du spectacle et de la violence dans "On n’est pas couché" et "Tout le monde en parle" / Politeness confronted to the principles of talk-show : Politeness, impoliteness and non-politeness versus televised show and violence in “On n’est pas couché” and “Tout le monde en parle”

Oprea, Alina-Gabriela 30 November 2012 (has links)
En linguistique, la politesse vise la préservation de l’harmonie interactionnelle. Que se passe-t-il dans les situations où le dissensus se trouve au cœur des échanges, tel le cas de nos talk-shows ? Le rôle de l’impolitesse, de la violence et leurs rapports à la politesse dans On n’est pas couché et Tout le monde en parle ont constitué le point de départ de notre recherche. Le présent travail est une analyse du système de la politesse confronté aux défis des émissions mentionnées, défis qui nous ont amenée à explorer la dichotomie politesse-impolitesse et qui nous ont conduite à articuler ces dernières avec les notions d’adéquation au contrat de communication, de violence et de mise en scène.Afin de rendre compte du fonctionnement de ces phénomènes, deux démarches nous ont semblé nécessaires. Premièrement, abandonner la conception selon laquelle la politesse désignait les comportements jugés adéquats et l’impolitesse était conçue comme sa « contrepartie » négative. Deuxièmement, tenter de « re-conceptualisation » la notion d’adéquation aux normes tout en allant au-delà des classements rigides et des formules conventionnelles polies ou impolies.Partant de ces réflexions, nous nous sommes fixé une double ambition : dans le premier volet, nous avons voulu aménager le cadre théorique de la politesse ─ qui, appliqué à notre corpus, présentait certaines insuffisances ─, et formuler des critères pour l’évaluation des notions présentées. Ainsi, nous avons proposé, avec prudence et modestie, un cadre et des outils théoriques adaptés à nos talk-shows. Dans le second volet, nous avons analysé ─ manipulant les outils présentés et nous appuyant sur ce nouveau cadre ─, le fonctionnement du système de la politesse ainsi que les mises en scène de la parole polie, impolie et violente. / In linguistics, politeness, considered omnipresent, aims at preserving the interactional and interpersonal harmony. But what happens when conflict is at the very heart of verbal interactions, as is the case with our talk-shows? The role of impoliteness and violence, as well as their relationship with politeness in “On n’est pas couché” and “Tout le monde en parle” are to be considered as the starting point for our research. Thus, the present work is an analysis of the notion of politeness confronted to the “challenges” raised by the televised shows mentioned above, an analysis in which we explored the politeness/impoliteness dichotomy that we articulated, thereafter, with the notions of appropriateness (in respect to the communication contract), violence and representation or “mise-en-scène”.In order to give a proper account of the functioning of these phenomena, firstly, we gave up the general view according to which politeness was defined as adequate behaviour while impoliteness was seen as its negative counterpart. Secondly, we tried to reconceptualise the notion of appropriateness going beyond rigid classifications or conventionalised polite and impolite formula.Given these considerations, we established a twofold objective. On the one hand, we tried to adjust the theoretical framework of politeness that, applied to our data, presented certain deficiencies, and to come up with some evaluation criteria for the analysed notions; consequently, we modestly and prudently proposed a framework and several theoretical “tools” adapted to our talk-shows. On the other hand, we analysed ─ using the presented tools and framework ─, the mechanisms of politeness and impoliteness as well as the divers “mises-en-scène” of polite, impolite and violent speech.
113

Contribution à la reconstruction 3D des membres inférieurs reconstruits à partir des radios biplanes pour l’application à la planification et au suivi des chirurgies / Improvement of the 3D reconstruction of the lower limbs from biplanar X-rays. Application for planning and follow-up of surgeries.

Quijano, Sergio 19 July 2013 (has links)
Pour comprendre et diagnostiquer les pathologies qui affectent l’organisation spatialede notre squelette, il est essentiel d’aborder ces problématiques en 3D. Le CT-Scan et l’IRMsont des modalités d’imagerie couramment utilisées en milieu clinique pour étudier en 3D notresystème musculosquelettique. La plupart de ces systèmes d’imagerie proposent une acquisitioncouchée sur laquelle les effets gravitaires ne sont pas pris en compte. Le CT-Scan est unemodalité particulièrement irradiante et l’IRM est plus spécifiquement dédiée à l’étude des tissusmous. Le système EOS permet de reconstruire en 3D les os à partir d’une paire deradiographies biplanes à faible dose d’irradiation. En plus, le système EOS propose uneacquisition en position debout, prenant en compte les effets gravitaires. Cette thèse contribue àl’amélioration des méthodes de reconstruction 3D des membres inférieurs à partir des radiosbiplanes. Dans le cadre de thèse on a proposé et évalué : 1) Une méthode de reconstruction3D des membres inférieurs s’appuyant sur des modèles paramétrés et des inférencesstatistiques. 2) Une méthode d’auto-amélioration de la reconstruction 3D des membresinférieurs en utilisant du traitement d’images local et le recalcul d’inférences statistiques. 3)Enfin, des méthodes utilisant des critères de similarité d’images et des critères morphologiquespour détecter de manière automatique le côté médial et latéral du fémur et du tibia. Le but estd’éviter l’inversion par l’opérateur de condyles fémoraux et plateaux tibiaux, affectant la valeurdes paramètres cliniques, surtout les torsions. La méthode de reconstruction proposée dans lecadre de cette thèse est intégrée dans le logiciel sterEOS® et utilisée dans une soixantained’hôpitaux au monde. Les méthodes développées dans le cadre de cette thèse ont permis deprogresser vers la reconstruction semi-automatisée, précise et robuste du membre inférieur / For a better understanding and diagnosis of the pathologies affecting the spatialorganization of our skeleton it is necessary to address them in 3D. CT-Scan and MRI areimaging modalities commonly used to study the musculoskeletal system in 3D. Moreover,patients are recorded in reclining position thus gravity effect can’t be taken into account.Furthermore, CT-Scan exposes patient to high radiation doses and MRI is used mostly tocharacterize soft tissues. With the EOS system, from a pair of low dose biplanar radiographs wecan reconstruct bones in 3D, and the radiographs are recorded in standing position thus gravityeffects are considered. This thesis contributes to the improvement of the 3D reconstructionmethods of lower limbs from biplanar radiographs. In this thesis we have proposed andevaluated: 1) A 3D reconstruction method of the lower limbs based on parametric models andstatistical inferences. 2) A method for the auto-improvement of the 3D reconstruction of thelower limbs. This method combines image processing and the recalculation of the statisticalinferences. 3) Finally, methods based on similarity measures and shape criteria were used todetect automatically the medial and lateral side of the femur and tibia. The aim of thesemethods is to avoid the inversion of the femoral and tibial condyles in biplanar radiographs.These inversions have an impact in the calculation of clinical measurements, particularly thetorsional ones. The reconstruction method proposed in this thesis is already integrated withinthe sterEOS® software, available in 60 hospitals around the world. The methods developed inthis thesis have led us to a semi-automatic, accurate and robust reconstruction of lower limbs.
114

Investissement socialement responsable : impacts sur la performance et le risque des portefeuilles / Socially responsible investment : Impact on the portfolios performance and risk

Yerbanga, Raissa 30 November 2017 (has links)
Cette thèse examine l’impact de l’investissement socialement responsable sur le risque et la performance des portefeuilles. Elle s’articule autour de quatre études, dont trois études empiriques. La première étude propose un état des lieux et une analyse critique des risques RSE des portefeuilles. Elle indique que les risques RSE évalués de diverses manières selon les acteurs existent toujours au sein des portefeuilles et évoluent en fonction du contexte institutionnel. Leur niveau peut être plus au moins élevé selon les pratiques RSE des entreprises dans lesquelles les capitaux sont placés. La deuxième étude porte sur l’analyse comparative du risque financier des fonds ISR et des fonds conventionnels. Sur un échantillon de fonds commercialisés en France sur la période 2002-2012, nos résultats montrent que les fonds ISR peuvent avoir un niveau de diversification plus élevé que les fonds conventionnels appariés, quelles que soient les conditions de marché. Il s’agit des fonds ISR investis dans la zone euro et à l’international. Cependant, les fonds ISR investis dans la zone euro, en Europe et en France ont un risque systématique plus important que celui de leurs homologues classiques contrairement aux fonds ISR investis à l’international. La troisième étude analyse le risque financier des portefeuilles construits selon le niveau de performance ESG des entreprises sur la période2002-2014. Ces portefeuilles portent sur des entreprises de la zone euro, mais aussi sur des entreprises américaines. Nos analyses montrent que les portefeuilles américains qui sur-performent globalement ou individuellement sur les trois critères ESG ont un risque financier plus faible que ceux qui sous-performent sur ces dimensions. Pour les mêmes types de portefeuilles, la zone euro affiche un risque spécifique plus faible. Les résultats sur le risque systématique sont influencés par les effets relatifs au secteur d’activité pour les portefeuilles américains et par ceux relatifs au pays pour les portefeuilles de la zone euro. La quatrième étude examine la persistance de la performance financière des fonds ISR et des fonds conventionnels. Elle indique à travers les tests non-paramétriques qu’il n’existe pas de persistance de la performance pour les fonds ISR et les fonds conventionnels. / This thesis examines the impact of socially responsible investment on the risk and performance of portfolios. It is based on four studies, including three empirical studies.The first study proposes an inventory and a critical analysis of the portfolios' CSR risks. It indicates that CSR risks assessed in different ways by the actors still exist within the portfolios and evolve with the institutional context. Their level may be low or high depending on the CSR practices of the companies in which the resources are invested. The second study deals with the comparative analysis of the financial risk of SRI funds and conventional funds. On a sample of funds distributed in France over the period 2002-2012, our results show that SRI funds may have a higher level of diversification than matched conventional matched regardless of market conditions. These are SRI funds invested in the Eurozone and globally. However, regardless of market conditions, SRI funds invested in the Eurozone, Europe and France have a greater systematic risk than their traditional counterparts, contrary to SRI global funds. The third study analyzes the financial risk of portfolios built according to companies’ level of ESG performance over the period 2002-2014. These portfolios cover the Eurozone and the U.S. firms. Our analysis shows that the U.S. portfolios which over-perform on the aggregate ESG criteria or individually on the three ESG criteria have a lower financial risk than those that underperform on these dimensions. For the same types of portfolios, the Eurozone exhibit a lower specific risk. The results on the systematic risk are influenced by the industry-specific effects for the U.S. portfolios and the country-specific effects for the Eurozone portfolios. The fourth study examines the financial performance persistence of SRI and conventional funds. It shows through non-parametric tests that there is no performance persistence for both SRI and conventional funds.
115

Aide à la décision pour le choix de sites et systèmes énergetiques adaptés aux besoins du benin

Semassou, Guy Clarence 15 December 2011 (has links)
L’analyse des sites éoliens et des possibilités solaires du Bénin a conduit les travaux vers les systèmes énergétiques, du type photovoltaïque autonome, couplé à des batteries de stockage. Ces systèmes énergétiques appropriés ont été analysés, modélisés et optimisés. Les critères d’optimisation sont issus d’une enquête réalisée au près des responsables qui s’occupent des questions d’électrification en milieu rural, des professionnels sélectionnés qui jouent un rôle majeur dans le processus décisionnel des projets d’électrification en milieu rural, des associations locales qui ont bénéficié de ces projets au Bénin, des techniciens et des usagers de ces systèmes. Ces critères sont hiérarchisés selon la méthode AMDEC. Une méthode d’optimisation adaptée a été réalisée ; elle fait appel à une vision originale de pondération. / The analysis of the wind sites and the solar possibilities of Benin led the works towards the energy systems, of the autonomous photovoltaic type, coupled with batteries of storage. These appropriate energy systems were analyzed, modelled and optimized. The criteria of optimization arise from a survey realized in near the persons in charge who take care of questions of electrification in rural areas, of selected professionals who play a major role in the decision-making of the projects of electrification in rural areas, local associations which benefited from these projects in Benin, from technicians and from users of these systems. These criteria are organized into a hierarchy according to the method AMDEC. A method of adapted optimization was realized; she appeals to an original vision of level-headedness.
116

Instancier grâce au bricolage collectif : le cas de l'Institution des Bâtiments Protégés / Instantiating through collective bricolage : the case of the Listed-Buildings Institution

Colombero, Sylvain 14 December 2015 (has links)
Autour de la question de la modernisation des bâtiments protégés, la thèse analyse comment les acteurs implémentent de tels ajustements contemporains sans pour autant dénaturer le Patrimoine véhiculé et personnifié par le bâtiment. Considéré comme la représentation matérielle de l’institution des Bâtiments Protégés – i.e. son instanciation – le bâtiment protégé trouve sa légitimité dans son authenticité dont le respect par les acteurs est primordial pour maintenir la protection institutionnelle. Cependant, parce que la majorité des bâtiments protégés actuels n’ont pas été pensés originellement pour perdurer, i.e. être transmis aux futures générations, les travaux d’intervention pour modifier cet artéfact bâtiment mènent à de nombreux débats entre les acteurs qui participent à ces projets de construction au regard de ce qui doit être ou non patrimonialement considéré. Selon l’approche constructiviste de la méthodologie dite de théorie ancrée, et dans l’optique de comprendre comment ces acteurs parviennent à produire un seul et unique artéfact, la thèse met en avant le processus de construction de l’instantiation au sein duquel les constructions matérielle et symbolique sont considérées. Pour se faire, l’étude propose de coupler l’Institutionnalisme Scandinave et le Bricolage Collectif. En effet, pour sélectionner les matériaux de construction pertinents pour modifier un bâtiment protégé existant, les acteurs doivent dans un premier temps concevoir un cadre interprétatif, commun et partagé, basé sur l’authenticité du bâtiment qu’ils pensent être nécessaire de respecter selon les trois piliers institutionnels en présence. Un tel cadre est en fait une étape préliminaire servant à implémenter un dialogue double-niveau permettant la matérialisation de l’ensemble des idées immatérielles: 1) entre les acteurs et le cadre interprétatif pour tester les solutions matérielles suggérées et 2) entre chaque répertoire de chaque acteur, comprenant leur ressources à disposition, grâce à six critères de sélection qui aident les acteurs à décider quel matériau il est utile ou non d’utiliser. / The dissertation studies how actors implement contemporary adjustments in listed buildings without disrupting their embodied Heritage. The listed building’s legitimacy relies on its authenticity whose respect by actors is essential to maintain the institutional protection, as it is the material representation, or instantiation, of the Listed-Buildings Institution. However, intervention works to change such an artifact lead to various debates among actors, as the majority of current listed buildings were not originally constructed to last, i.e. to be transmitted to future generations. One debate during intervention works tackles the issue of what needs to be or not to be considered in terms of Heritage. Through a constructivist grounded-theory methodology, the dissertation allows the understanding of how actors succeed in producing one unique outcome. I propose the instantiation construction process in which both symbolic but also material constructions are emphasised. And to do so, I intertwine Scandinavian Institutionalism and Collective Bricolage. Indeed, actors need first to design, with the help of the three institutional pillars, a shared interpretative frame to select relevant building materials. They could thus modify an existing building in regards to what building’s authenticity deserves to be respected. This frame acts in fact as a preliminary step to implement a simultaneous two-level dialogue enabling the materialisation of the intangible ideas: 1) between actors and the frame to test the material solutions actors suggest and 2) between each actors’ “resources at hand” repertoires by means of six selection criteria that help them to make decision on which material is relevant to use or not.
117

Optimisation et planification préopératoire des trajectoires en conditions statiques et déformables pour la chirurgie guidée par l'image / Preoperative path planning and optimization in static and deformable conditions for image-guided minimally invasive surgery

Hamze, Noura 21 June 2016 (has links)
En chirurgie mini-invasive guidée par l’image, une planification préopératoire précise des trajectoires des outils chirurgicaux est un facteur clé pour une intervention réussie. Cependant, une planification efficace est une tâche difficile, qui peut être considérablement améliorée en considérant différents facteurs contributifs tels que les déformations biomécaniques intra-opératoires, ou en introduisant de nouvelles techniques d'optimisation. Dans ce travail, nous nous concentrons sur deux aspects. Le premier aspect porte sur l'intégration de la déformation intra-opératoire dans le processus de planification de trajectoire. Nos méthodes combinent des techniques d'optimisation géométrique à base de simulations biomécaniques. Elles sont caractérisées par un certain niveau de généralité, et ont été expérimentées sur deux types d’interventions chirurgicales: les procédures percutanées pour l'ablation de tumeurs hépatiques, et la stimulation cérébrale profonde en neurochirurgie. Deuxièmement, nous étudions, mettons en œuvre, et comparons plusieurs approches d'optimisation en utilisant des méthodes qualitatives et quantitatives, et nous présentons une méthode efficace d'optimisation évolutionnaire multicritères à base de Pareto qui permet de trouver des solutions optimales qui ne sont pas accessibles par les méthodes existantes. / In image-guided minimally invasive surgery, a precise preoperative planning of the surgical tools trajectory is a key factor to a successful intervention. However, an efficient planning is a challenging task, which can be significantly improved when considering different contributing factors such as biomechanical intra-operative deformations, or novel optimization techniques. In this work, we focus on two aspects. The first aspect addresses integrating intra-operative deformation to the path planning process. Our methods combine geometric-based optimization techniques with physics-based simulations. They are characterized with a certain level of generality, and are experimented on two different surgical procedures: percutaneous procedures for hepatic tumor ablation, and in neurosurgery for Deep Brain Stimulation (DBS). Secondly, we investigate, implement, and compare many optimization approaches using qualitative and quantitative methods, and present an efficient evolutionary Pareto-based multi-criteria optimization method which can find optimal solutions that are not reachable via the current state of the art methods.
118

Etude des critères de seconde génération de la stabilité du navire à l'état intact / An analysis on second generation intact stability criteria

Ariffin, Arman 09 June 2017 (has links)
Le Sous-comité de la conception et de la construction navale de l'Organisation maritime internationale (OMI) a entrepris l'élaboration de critères de stabilité intacts de deuxième génération (SGISC). Le SGISC est une règle supplémentaire qui complète les règles actuelles.En outre, ces critères sont structurés en trois niveaux, à savoir le premier niveau, le deuxième niveau et l'évaluation directe. Les procédures d'évaluation directe pour chaque échec de stabilité sont développées avec la technologie de pointe la plus avancée disponible soit par analyse numérique, soit par travail expérimental pour une analyse quantitative. Dans cette thèse, on présente une implémentation des niveaux 1 et 2 du SGISC dans le solveur hydrostatique, une approche expérimentale pour le navire en détresse dans une tempête et des simulations RANS du même critère. En conclusion, il est possible de mettre en oeuvre les critères de stabilité du navire intact de deuxième génération dans le code de stabilité GHS ©, un code couramment utilisé par les industriels dans le domaine. Cinq navires ont été considérés pour vérifier cette mise en oeuvre. Une méthode expérimentale utilisant une grande soufflerie et une méthode de calcul CFD simplifiée ont été appliquées sur deux modèles. Dans les deux cas, les résultats montrent que l'angle de roulis maximal atteint par les deux navires étudiés est inférieur à celui donné par le calcul réglementaire. La méthode expérimentale est certainement plus proche de la réalité et le calcul CFD reste conservateur sans être aussi contraignant que la réglementation. En conclusion les méthodes expérimentale et numérique développées et utilisées dans ce travail de thèse peuvent être proposées pour l’évaluation directe du critère. / The Sub-Committee of Ship Design and Construction of International Maritime Organisation (IMO) has undertaken the development of Second Generation Intact Stability Criteria (SGISC). The GISC is an additional rule that complement present rules. Five failure modes will be address in SGISC are excessive roll in dead ship condition, pure loss of stability, broaching, parametric roll, and excessive acceleration. Moreover, these criteria are structured in three levels namely, first level, second level and direct assessment. Direct assessment procedures for every stability failure are developed with the most advanced state-of-the art technology available either by numerical analysis or experimental work for quantitative analysis. In this thesis, implementations of Level 1 and Level 2 of the SGISC in the hydrostatic solver, experimental approached for dead ship condition and RANS simulation are presented.In conclusion, it was possible to implement the stability criteria of the intact second-generation vessel in the GHS © code of stability, a code commonly used by industrialists in the field. Five vessels were considered to verify this implementation. An experimental wind tunnel method and a simplified CFD calculation method were used on two different models. In both cases, the results show that the maximum roll angle reached by the two vessels studied is lower than the one given by the regulatory calculation. The experimental method is certainly closer to reality and the calculation CFD remains conservative without being as binding as the regulation.Therefore, the two approaches, numerical and experimental can be proposed to be used for Direct Assessment of the criterion.
119

Contributions à la vérification et à la validation efficaces fondées sur des modèles / contributions to efficient model-based verificarion and validation

Dreyfus, Alois 22 October 2014 (has links)
Les travaux de cette thèse contribuent au développement de méthodes automatiques de vérification et de valida-tion de systèmes informatiques, à partir de modèles. Ils sont divisés en deux parties : vérification et générationde tests.Dans la partie vérification, pour le problème du model-checking régulier indécidable en général, deux nouvellestechniques d’approximation sont définies, dans le but de fournir des (semi-)algorithmes efficaces. Des sur-approximations de l’ensemble des états accessibles sont calculées, avec l’objectif d’assurer la terminaison del’exploration de l’espace d’états. Les états accessibles (ou des sur-approximations de cet ensemble d’états)sont représentés par des langages réguliers, ou automates d’états finis. La première technique consiste à sur-approximer l’ensemble des états atteignables en fusionnant des états des automates, en fonction de critèressyntaxiques simples, ou d’une combinaison de ces critères. La seconde technique d’approximation consisteaussi à fusionner des états des automates, mais à l’aide de transducteurs. De plus, pour cette seconde technique,nous développons une nouvelle approche pour raffiner les approximations, qui s’inspire du paradigme CEGAR(CounterExample-Guided Abstraction Refinement). Ces propositions ont été expérimentées sur des exemplesde protocoles d’exclusion mutuelle.Dans la partie génération de tests, une technique qui permet de combiner la génération aléatoire avec un critèrede couverture, à partir de modèles algébriques (des grammaires algébriques, des automates à pile) est définie.Générer les tests à partir de ces modèles algébriques (au lieu de le faire à partir de graphes) permet de réduirele degré d’abstraction du modèle et donc de générer moins de tests qui ne sont pas exécutables dans le systèmeréel. Ces propositions ont été expérimentées sur la grammaire de JSON (JAvaScript Object Notation), ainsi quesur des automates à pile correspondant à des appels de fonctions mutuellement récursives, à une requête XPath,et à l’algorithme Shunting-Yard. / The thesis contributes to development of automatic methods for model-based verification and validation ofcomputer systems. It is divided into two parts: verification and test generation.In the verification part, for the problem of regular model checking undecidable in general, two new approxi-mation techniques are defined in order to provide efficient (semi-)algorithms. Over-approximations of the setof reachable states are computed, with the objective of ensuring the termination of the exploration of the statespace. Reachable states (or over-approximations of this set of states) are represented by regular languages or,equivalently, by finite-state automata. The first technique consists in over-approximating the set of reachablestates by merging states of automata, based on simple syntactic criteria, or on a combination of these criteria.The second approximation technique also merges automata states, by using transducers. For the second tech-nique, we develop a new approach to refine approximations, inspired by the CEGAR paradigm (for Counter-Example-Guided Abstraction Refinement). These proposals have been tested on examples of mutual exclusionprotocols.In the test generation part, a technique that combines the random generation with coverage criteria, fromcontext-free models (context-free grammars, pushdown automata) is defined. Generate tests from these mo-dels (instead of doing from graphs) reduces the model abstraction level, and therefore allows having moretests executable in the real system. These proposals have been tested on the JSON grammar (JavaScript ObjectNotation), as well as on pushdown automata of mutually recursive functions, of an XPath query, and of theShunting-Yard algorithm.
120

Etude et implémentation des critères de seconde génération dans un code de stabilité / Analysis and implementation of second generation criteria in a stability computer code

Grinnaert, François 19 January 2017 (has links)
Les critères de stabilité à l’état intact de seconde génération sont en cours de finalisation par l’Organisation Maritime Internationale. Ils doivent compléter les critères actuels en apportant une sécurité accrue dans les vagues. Ils sont organisés en cinq modes de défaillance et trois niveaux d’évaluation dans chaque mode de défaillance. Le premier niveau est basé sur une approche déterministe simplifiée des phénomènes et assure des marges de sécurité importantes. Le second niveau requiert des calculs plus complexes basés sur des considérations hydrostatiques dans les vagues. Il est supposé assurer des marges de sécurité réduites. Le troisième niveau, actuellement en cours de développement, devrait consister en des simulations numériques du comportement du navire sur des états de mer réels réalisés par des instituts spécialisés. Les deux premiers niveaux des modes de défaillance perte pure de stabilité et roulis paramétrique ont été implémentés dans un code de stabilité. Les courbes de KGmax associées à ces critères sont calculées pour une sélection de navires civils et militaires de différents types ayant des comportements connus ou supposés différents vis-à-vis de ces modes de défaillance. Les exigences et la pertinence des critères sont analysées. La seconde vérification du critère de niveau deux en roulis paramétrique est étudiée en détail. Une méthode simplifiée de calcul de l’angle maximum de roulis paramétrique supposant un GZ linéaire est proposée et implémentée dans le critère correspondant. / The second generation intact stability criteria are currently under finalization by the International Maritime Organization. They are intended to improve the current intact stability rules by adding safety in waves. They are structured in five failure modes and three levels of assessment in each failure mode. The first level is based on a simplified deterministic approach of the phenomena and ensures high safety margins. The second level requires more complex computations based on hydrostatic considerations with regard to static waves and is expected to provide reduced safety margins. The third level, currently under development, would consist of numerical simulations of the ship’s behavior in real sea states performed by specialized institutes. Level-one and level-two criteria of both pure loss of stability and parametric roll failure modes have been implemented in a stability code. The KGmax curves associated with these future criteria are computed for a selection of different ships of different types, both civilian and military, expected or known to have different behaviors with regard to the considered failure modes. The requirement and the relevance of the criteria are analyzed. The second check of parametric roll level-two criterion is thoroughly analyzed. A simplified method providing the maximum parametric roll angle assuming a linear GZ is developed and implemented in the corresponding criterion.

Page generated in 0.047 seconds