Literatura científica selecionada sobre o tema "Qualification Tests"

The goal of the Master Thesis is estimating the life of HVDC XLPE-insulated cables subjected to the Qualification Tests conditions according to CIGRÉ Technical Brochure 496 and for different values of the coefficients (a) and (b). During the Electrical Type Test (TT), a series of load cycles (LC) with DC voltage UT=1.85 U0 (rated voltage) are applied in three stages, i.e.: • 12 cycles lasting 24 hours each with a negative polarity of the applied voltage (12 days). • 12 cycles lasting 24 hours each with a positive polarity of the applied voltage (12 days). • 3 cycles lasting 48 hours each with a positive polarity of the applied voltage (6 days). according to CIGRÉ technical brochure 496, Load Cycles are of two types: 1. A 24-hour Load Cycle consists of 8 hours heating (with steady conductor temperature equal to the rated one during at least the last 2 hours), followed by 16 hours of natural cooling. 2. A 48-hour Load Cycle consists of 24 hours heating (with steady conductor temperature equal to the rated one during at least the last 18 hours), followed by 24 hours of natural cooling. Results: -The phenomenon called “Field Inversion” takes place only in the case of high values of “a” and “b” coefficients where the outer part of the insulation is stressed more than the inner part. -In case of low “a” and “b” that the lower those values are, the more the inner part of the insulation is stressed. -The life of the cable under the Type Test condition (around 90 days) is three times longer than the Type Test duration (30 days), considering the worst-case which corresponds to low values of “a” and “b”. -The loss of life in one 48-hour Load Cycle (LC) is twice that in two 24-hour LC (equivalent to the same duration of 48 hours). -For the same values of a and b, the inversion of the life curve over the insulation thickness in the Pre-Qualification Test is greater than that in the Type Test because of the High Load period in PQ test.

L’évolution des techniques de construction, l’innovation et la prise en compte des normes environnementales poussent les acteurs du domaine de la construction à proposer des matériaux performants et innovants pour la construction des bâtiments et des différentes infrastructures dans le monde. Le matériau béton reste de nos jours le plus utilisé dans le domaine de la construction. La normalisation de la formulation des bétons se base généralement sur des règles prescriptives tenant compte du rapport Eau/Ciment,de la classe de résistance minimale, de la teneur minimale en ciment, teneur minimal en air, etc.Cette méthode prescriptive reste satisfaisante mais doit être complétée par une autre alternative permettant de prendre en compte l’utilisation de composition de béton non mentionnée dans la norme. Ainsi, l’approche performancielle de la durabilité du béton a été proposée.Le principe est de permettre la fabrication d’un béton avec une formule différente de celle de la norme tout en montrant qu’elle est aussi performante que celle de la norme. Cette démonstration de performance passe par l’utilisation des indicateurs de durabilité et des essais performanciels. Les résultats des essais réalisés sur la nouvelle formulation de béton pourront montrer si sa performance est égale ou supérieure à celle de la norme. Le problème se pose sur le nombre d’essais à réaliser afin de garantir la performance du béton. Dans cette thèse, une méthode générique de qualification de la Durabilité/Fiabilité du béton avec un plan d’essais optimisé est proposée pour différents types d’environnement. Cette méthode permet d’estimer la Durabilité/Fiabilité du béton dans son environnement avec une garantie donnée et une statistique des essais à réaliser. Le processus de Wiener est utilisé afin de modéliser les processus de dégradation dans le béton. Une application de la méthode est réalisée pour le cas d’un béton soumis à la carbonatation<br>The evolution of construction techniques, innovation and the environmental consideration standards are driving construction players to offer efficient and innovative materials for the construction of buildings and various infrastructures around the world. The material remains the most widely used in the construction industry today.Concrete standardization is generally based on prescriptive rules that take into account the Water/Cement ratio, the minimum resistance class, the minimum cement content, minimum air content, etc. This prescriptive method remains satisfactory but must be supplemented by another alternative to take into account the use of concrete composition not mentioned in the standard. Thus, the performance-based approach to concrete durability has been proposed. The aimis to allow the manufacture of concrete with a different formula than the standard while showing that it is as efficient as that of the standard. This performance demonstration involves the use of durability indicators and performance tests.The results of the tests carried out on the new concrete formulation will show whether its performance is equal to or above that of the standard. The problem arises in the number of tests to be carried out in order to guarantee the performance of the concrete. In this thesis, a generic method of qualifying the durability/Reliability of concrete with an optimized test plan is proposed for different types of environments. This method allows to estimate the durability/reliability of concrete in its environment with a given guarantee and a statistic of the tests to be carried out. The Wiener process is used to model degradation processes in concrete.An application of the method is carried out for the case of a concrete subject to carbonation

Dans l’industrie de l’avionique, les Générateurs Automatiques de Code (GAC) sont de plus en plus utilisés pour produire des parties du logiciel embarqué. Puisque le code généré fait partie d’un logiciel critique, les standards de sûreté exigent une vérification approfondie du GAC: la qualification. Dans cette thèse en collaboration avec AdaCore, nous cherchons à réduire le coût des activités de test par des méthodes automatiques et efficaces.La première partie de la thèse aborde le sujet du test unitaire qui assure une exhaustivité élevée mais qui est difficile à réaliser pour les GACs. Nous proposons alors une méthode qui garantit le même niveau d’exhaustivité en n’utilisant que des tests d’intégration de mise en œuvre plus facile. Nous proposons tout d’abord une formalisation du langage ATL de définition du GAC dans la théorie des Transformations Algébriques de Graphes. Nous définissons ensuite une traduction de postconditions exprimant l’exhaustivité du test unitaire en des préconditions équivalentes qui permettent à terme de produire des tests d’intégration assurant le même niveau d’exhaustivité. Enfin, nous proposons d’optimiser l’algorithme complexe de notre analyse à l’aide de stratégies de simplification dont nous mesurons expérimentalement l’efficacité.La seconde partie du travail concerne les oracles de tests du GAC, c’est à dire le moyen de valider le code généré par le GAC lors d’un test. Nous proposons un langage de spécification de contraintes textuelles capables d’attester automatiquement de la validité du code généré. Cette approche est déployée expérimentalement à AdaCore pour le projet QGen, un générateur de code Ada/C à partir de Simulink®<br>In the avionics industry, Automatic Code Generators (ACG) are increasingly used to produce parts of the embedded software. Since the generated code is part of critical software, safety standards require a thorough verification of the ACG called qualification. In this thesis in collaboration with AdaCore, we seek to reduce the cost of testing activities by automatic and effective methods.The first part of the thesis addresses the topic of unit testing which ensures exhaustiveness but is difficult to achieve for ACGs. We propose a method that guarantees the same level of exhaustiveness by using only integration tests which are easier to carry out. First, we propose a formalization of the ATL language in which the ACG is defined in the Algebraic Graph Transformation theory. We then define a translation of postconditions expressing the exhaustiveness of unit testing into equivalent preconditions that ultimately support the production of integration tests providing the same level of exhaustiveness. Finally, we propose to optimize the complex algorithm of our analysis using simplification strategies that we assess experimentally.The second part of the work addresses the oracles of ACG tests, i.e. the means of validating the code generated by the ACG during a test. We propose a language for the specification of textual constraints able to automatically check the validity of the generated code. This approach is experimentally deployed at AdaCore for a Simulink® to Ada/C ACG called QGen

Les limitations d’atterrissage des hélicoptères ne sont pas valables dans l'environnement à bord d’un navire. Il n'existe aucune méthodologie approuvée de l'analyse ou de la simulation pour évaluer la compatibilité des hélicoptères-navires et préparer les essais de qualification hélicoptères-navires. Dans ce contexte, le présent travail présente le développement et l'analyse d'une méthodologie hors ligne pour déterminer les limites opérationnelles hélicoptères-navires, SHOLs, en fonction des prédictions d’un modèle de pilote humain. Pour cela, des essais pilotés par des humains sont effectués au simulateur de l’ONERA, Salon de Provence. Sur la base des résultats de ces tests, une méthodologie innovante est validée pour déterminer la limitation de la charge de travail de pilotage, à partir des mesures des déplacements des contrôles d'hélicoptère. En outre, sont validés des modifications innovantes sur un modèle de pilote humain pour pouvoir suivre les trajectoires souhaitées et fournir le même niveau d'activité aux contrôles qu'un véritable pilote. Un ensemble de critères objectifs, correspondant aux marges de sécurité, s'ajoute aux critères subjectifs, correspondant aux limitations de la charge de travail du pilote. Une routine de simulation hors ligne, appelée SholSim, est programmée pour réaliser des simulations avec le modèle pilote et vérifier l'acceptabilité des conditions de vol, selon les critères subjectifs et objectifs. Par conséquent, le présent travail présente la première estimation, dans la littérature, des SHOLs entièrement obtenus à partir d'outils hors ligne, basés uniquement sur les prédictions de modèle pilote<br>Helicopter land-based limitations are not valid in the shipboard environment. There is no analytical or simulated approved methodology for evaluating shipboard helicopter compatibility issues and preparing for at-sea flight tests. In this context, the present work presents the development and analysis of an offline methodology to determine the Ship-Helicopter Operating Limitations, SHOLs, based on pilot model predictions. For this, pilot-in-the-loop simulation trials are performed at the engineering fixed-base simulation facility of ONERA, Salon de Provence. Based on these test results, an innovative methodology is proposed and validated to determine the safe pilot workload limitation, from the measurements of the helicopter control displacements. In addition, it is proposed and validated innovative modifications on a classical pilot model enabling to follow complex predefined desired trajectories and provide the same level of control activity of a real pilot. A set of objective criteria, corresponding to the safety margins, is established in addition to the subjective criteria, corresponding to the safe pilot workload limitations. An offline simulation routine, so-called SholSim, is coded to run all models and verify the acceptability of the flight conditions, according to the subjective and objective criteria. Therefore, the present work presents the first estimation, in the literature, of the SHOLs fully obtained from offline tools, based only on pilot model predictions. The proposed methodology is promising, confirmed by predicting coherent limits when compared to the ones defined by the pilot-in-the-loop simulation trials