Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Plan verification.
Rozprawy doktorskie na temat „Plan verification”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Plan verification”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.
1
Krupp, Alfred Alexander. "A verification plan for systematic verification of mechatronic systems". Aachen Shaker, 2009. http://d-nb.info/995161909/04.
Pełny tekst źródła
2
Krupp, Alfred Alexander [Verfasser]. "A Verification Plan for Systematic Verification of Mechatronic Systems / Alfred Alexander Krupp". Aachen : Shaker, 2009. http://d-nb.info/1156518482/34.
Pełny tekst źródła
3
Kenger, Patrik. "Module property verification : A method to plan and perform quality verifications in modular architectures". Doctoral thesis, Stockholm, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-3965.
Pełny tekst źródła
4
Pichler, Joseph Alan. "IMRT Plan Delivery Verification Utilizing a Spiral Phantom with Radiochromic Film Dosimetry". University of Toledo Health Science Campus / OhioLINK, 2010. http://rave.ohiolink.edu/etdc/view?acc_num=mco1288963613.
Pełny tekst źródła
5
Flower, Emily Elizabeth, i not supplied. "Comparison of Two Planning Methods for Heterogeneity Correction in Planning Total Body Irradiation". RMIT University. Applied Sciences, 2006. http://adt.lib.rmit.edu.au/adt/public/adt-VIT20070511.163728.
Pełny tekst źródłaStreszczenie:
Total body irradiation (TBI) is often used as part of the conditioning process prior to bone marrow transplants for diseases such as leukemia. By delivering radiation to the entire body, together with chemotherapy, tumour cells are killed and the patient is also immunosupressed. This reduces the risk of disease relapse and increases the chances of a successful implant respectively. TBI requires a large flat field of radiation to cover the entire body with a uniform dose. However, dose uniformity is a major challenge in TBI. (AAPM Report 17) The ICRU report 50 recommends that the dose range within the target volume remain in the range of -5% to +7%. Whilst it is generally accepted that this is not possible for TBI, it is normally clinically acceptable that ±10% of the prescribed dose to the whole body is sufficiently uniform, unless critical structures are being shielded. TBI involves complex dosimetry due to the large source to treatment axis distance (SAD), dose uniformity and flatness over the large field, bolus requirements, extra scatter from the bunker walls and floor and large field overshoot. There is also a lack of specialised treatment planning systems for TBI planning at extended SAD. TBI doses at Westmead Hospital are prescribed to midline. Corrections are made for variations in body contour and tissue density heterogeneity in the lungs using bolus material to increase dose uniformity along midline. Computed tomography (CT) data is imported into a treatment planning system. The CT gives information regarding tissue heterogeneity and patient contour. The treatment planning system uses this information to determine the dose distribution. Using the dose ratio between plans with and without heterogeneity correction the effective chest width can be calculated. The effective chest width is then used for calculating the treatment monitor units and bolus requirements. In this project the tissue heterogeneity corrections from two different treatment planning systems are compared for calculating the effective chest width. The treatment planning systems used were PinnacleTM, a 3D system that uses a convolution method to correct for tissue heterogeneity and calculate dose. The other system, RadplanTM, is a 2D algorithm that corrects for tissue heterogeneity using a modified Batho method and calculates dose using the Bentley - Milan Algorithm. Other possible differences between the treatment planning systems are also discussed. An anthropomorphic phantom was modified during this project. The chest slices were replaced with PerspexTM slices that had different sized cork and PerspexTM inserts to simulate different lung sizes. This allowed the effects of different lung size on the heterogeneity correction to be analysed. The phantom was CT scanned and the information used for the treatment plans. For each treatment planning system and each phantom plans were made with and without heterogeneity corrections. For each phantom the ratio between the plans from each system was used to calculate the effective chest width. The effective chest width was then used to calculate the number of monitor units to be delivered. The calculated dose per monitor unit at the extended TBI distance for the effective chest width from each planning system is then verified using thermoluminescent dosimeters (TLDs) in the unmodified phantom. The original phantom was used for the verification measurements as it had special slots for TLDs. The isodose distributions produced by each planning system are then verified using measurements from Kodak EDR2 radiographic film in the anthropomorphic phantom at isocentre. Further film measurements are made at the extended TBI treatment SAD. It was found that only the width of the lungs made any significant difference to the heterogeneity correction for each treatment planning system. The height and depth of the lungs will affect the dose at the calculation point from changes to the scattered radiation within the volume. However, since the dose from scattered radiation is only a fraction of that from the primary beam, the change in dose was not found to be significant. This is because the calculation point was positioned in the middle of the lungs, so the height and depth of the lungs didn't affect the dose at the calculation point. The dose per monitor unit calculated using the heterogeneity correction for each treatment planning system varied less than the accuracy of the TLD measurements. The isodose distributions measured by film showed reasonable agreement with those calculated by both treatment planning systems at isocentre and a more uniform distribution at the extended TBI treatment distance. The verification measurements showed that either treatment planning system could be used to calculate the heterogeneity correction and hence effective chest width for TBI treatment planning.
6
Borse, Prashant A. "Visualization of a slot milling process for verification and validation of a process plan on the internet". Ohio University / OhioLINK, 2003. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1177525318.
Pełny tekst źródła
7
Rai, Jitender Kumar. "FEM-MILL: a finite element based 3D transient milling simulation environment for process plan verification and optimization /". Lausanne : EPFL, 2008. http://library.epfl.ch/theses/?nr=4190.
Pełny tekst źródłaStreszczenie:
Thèse Ecole polytechnique fédérale de Lausanne EPFL, no 4190 (2008), Faculté des sciences et techniques de l'ingénieur STI, Programme doctoral Systèmes de production et Robotique, Institut de génie mécanique IGM (Laboratoire des outils informatiques pour la conception et la production LICP). Dir.: Paul Xirouchakis.
8
Zalabáková, Eliška. "Podnikatelský plán". Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-201841.
Pełny tekst źródłaStreszczenie:
Goal of the thesis is to create a business plan for existing company, which has decided to extend its business, and a feasibility verification of the plan. The theoretical part of the thesis contains summary of requirements for business plan and elaborating rules. The theoretical part is based on studies of scholarly literature. The practical part contains compile business plan for company which trades alcoholic beverages. Business plan compilation followed the assignment and reflecting gained theoretical knowledge. According to the business plan, including also a financial plan, it is possible to evaluate its viability and feasibility. The thesis benefits are framed business plan for existing company, judging its feasibility, creation of a workable system for future financial planning for the business owner and recommendations leading to future activity.
9
Pančáková, Alexandra. "Podnikateľský plán". Master's thesis, Vysoká škola ekonomická v Praze, 2013. http://www.nusl.cz/ntk/nusl-199565.
Pełny tekst źródłaStreszczenie:
The scope of the diploma thesis is to create business plan, analyse feasibility study and realistic approach of the Company focused on producing and sale of the frozen yogurt. The main aim of the theoretical part contains information about detailed awareness of all features of the business plan. All data has been sourced from the relevant source of information. All provided information were transformed into business plan of the company YoGu, s.r.o. which is mainly focused on manufacturing and selling of frozen yogurt. Due to the financial plan it has been verified that business strategy of the company YoGu is feasible and it has potential to survive in the real business environment.
10
Knot, Martin. "Podnikatelský plán - lezecké centrum". Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-264371.
Pełny tekst źródłaStreszczenie:
This Master´s thesis deals with creating a business plan, which covers the construction of a climbing centre in Vrchlabí. The goal of the thesis is to assess the feasibility of the project based on the created business plan. The thesis is divided into two main parts. The first, theoretical part, deals with a difference between an entrepreneur and a relationship of employment, reasons to run a business, but above all, reasons for creating a business plan and its structure. The practical part includes a business plan itself with a detailed structure of the whole project, a financial plan and all necessary steps and actions that need to be done for its successful realization. The greatest emphasis is placed on the analysis of potential customers as a key factor of the success of the project. Evaluation of the project profitability and success in existing conditions comes in the conclusion of the thesis.
11
Elia, Alessio. "Characterization of the GATE Monte Carlo platform for non-isocentric treatments and patient specific treatment plan verification at MedAustron - Vienna - Austria". Thesis, Lyon, 2019. http://www.theses.fr/2019LYSEI002/document.
Pełny tekst źródłaStreszczenie:
L'objectif de cette thèse est de développer et de valider une méthode de calcul de dose indépendante afin de soutenir le travail de mise en service intense d'une installation de traitement par faisceaux d'ions légers (LIBT) et de valider le calcul de dose du système de planification de traitement (SP). Le travail porte sur les traitements de protonthérapie et est organisé en collaboration entre le laboratoire CREATIS (Lyon, France) et le centre de thérapie ionique MedAustron - Vienna - Austria (Wiener Neustadt, Autriche). Chez MedAustron - Vienna - Austria, afin d’exploiter une pénombre latérale aiguë du faisceau de protons et d’améliorer la précision des algorithmes de calcul de la dose TPS, l’intervalle entre la fenêtre de la tête de traitement et le patient est réduit en déplaçant le patient vers la tête de traitement. Par conséquent, les traitements non isocentriques doivent être pris en compte avec précision lors de la modélisation ainsi que lors de la phase de validation, car l'éloignement de la cible de l'isocentre de la pièce peut réduire la précision du traitement. Dans cette étude, la paramétrisation du faisceau de crayons à protons suit les recommandations de Grevillot et al. (2011), mais comprenant une description complète de la buse. Un soin particulier est apporté à la modélisation des propriétés du faisceau de crayon dans des conditions non isocentriques, y compris l'utilisation d'un Range Shifter (RaShi). La caractérisation du faisceau de crayon est basée uniquement sur les profils de fluence mesurés dans le profil de dose d’air et de profondeur acquis dans l’eau. De plus, le modèle présenté est calibré en dose absolue sur la base d'un nouveau formalisme produit-zone-dose présenté dans Palmans et Vatnitsky (2016). Finalement, une validation détaillée est effectuée dans l'eau, pour les distributions de doses tridimensionnelles de forme régulière. Plusieurs paramètres couramment exploités en dosimétrie des protons, tels que la distance parcourue, la pénombre distale, la modulation, la taille des champs et la pénombre latérale pour la dosimétrie protonique sont évalués à des fins de validation. Le modèle optique à faisceau de crayon a atteint une précision de l'exigence clinique de 1 mm / 10% et il n'est pas affecté par la complexité des traitements non isocentriques ni par l'utilisation d'un RaShi. Les plages sont reproduites entre 0,2 et 0,35 mm (déviation maximale) sans et avec le décaleur de plage, respectivement. La différence de dose dans les conditions de référence est de 0,5%. La validation de l'administration de la dose en 3D dans l'eau était à 1,2% maximum. La concordance des paramètres distaux et longitudinaux est généralement meilleure que 1 mm. Les résultats obtenus serviront de référence pour la future mise en œuvre clinique du système de calcul de dose indépendant MedAustron - Vienna - AustriaThe goal of this PhD is to develop and validate an independent dose calculation method in order to support the intense commissioning work of a Light Ion Beam Therapy (LIBT) facility, and to validate the Treatment Planning System (TPS) dose calculation. The work focuses on proton therapy treatments and is held as a collaboration between the CREATIS laboratory (Lyon, France) and the MedAustron - Vienna - Austria Ion Therapy Center (Wiener Neustadt, Austria). At MedAustron - Vienna - Austria, in order to exploit a sharp lateral penumbra for the proton beam as well as to improve the accuracy of the TPS dose calculation algorithms, the air gap between the treatment head window and the patient is reduced by moving the patient towards the treatment head. Therefore, non-isocentric treatments have to be accurately taken into consideration during modeling as well as validation phase as moving the target away from the room isocenter may lead to reduced treatment accuracy. In this study, the parametrization of the proton pencil beam follows the recommendations provided in Grevillot et al. (2011), but including a full nozzle description. Special care is taken to model the pencil beam properties in non-isocentric conditions, including the use of a Range Shifter (RaShi). The characterization of the pencil beam is based solely on fluence profiles measured in air and depth dose profile acquired in water. In addition, the presented model is calibrated in absolute dose based on a newly formalism in dose-area-product presented in Palmans and Vatnitsky (2016). Eventually, a detailed validation is performed in water, for three-dimensional regular-shaped dose distributions. Several parameters commonly exploited in proton dosimetry such as range, distal penumbra, modulation, field sizes and lateral penumbra for proton dosimetry are evaluated for validation purposes. The pencil beam optics model reached an accuracy within the clinical requirement of 1mm/10% and it is not affected by the complexity of non-isocentric treatments and the use of a RaShi. Ranges are reproduced within 0.2 and 0.35 mm (max deviation) without and with range shifter, respectively. The dose difference in reference conditions is within 0.5%. The 3D dose delivery validation in water was within 1.2% at maximum. The agreement of distal and longitudinal parameters is mostly better than 1 mm. The obtained results will be used as a reference for the future clinical implementation of the MedAustron - Vienna - Austria independent dose calculation system. As an example of the potential clinical outcome of the presented work, the patient specific quality assurance measurements performed in water have been successfully reproduced within the clinical requirement of 5% accuracy for a few patients
12
Walker, Justin A. "The Use of an On-Board MV Imager for Plan Verification of Intensity Modulated Radiation Therapy and Volumetrically Modulated Arc Therapy". University of Toledo Health Science Campus / OhioLINK, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=mco1372701428.
Pełny tekst źródła
13
Macho, Vítězslav. "Návrh statistické přejímky". Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2010. http://www.nusl.cz/ntk/nusl-229257.
Pełny tekst źródła
14
Gani, Kahina. "Using timed automata formalism for modeling and analyzing home care plans". Thesis, Clermont-Ferrand 2, 2015. http://www.theses.fr/2015CLF22628/document.
Pełny tekst źródłaStreszczenie:
Dans cette thèse nous nous sommes intéressés aux problèmes concernant la conception et la gestion des plans de soins à domicile. Un plan de soins à domicile définit l'ensemble des activités médicales et/ou sociales qui sont menées jour après jour au domicile d'un patient. Ce plan de soins est généralement construit à travers un processus complexe impliquant une évaluation complète des besoins du patient ainsi que son environnement social et physique. La spécification de plans de soins à domicile est difficile pour plusieurs raisons: les plans de soins à domicile sont par nature des processus non structurés qui impliquent des activités répétitives mais irrégulières, dont la spécification requiert des expressions temporelles complexes. Ces caractéristiques font que les plans de soins à domicile sont difficiles à modéliser en utilisant les technologies traditionnelles de modélisation de processus. Tout d'abord, nous présentons l'approche basée sur les DSL (Langage spécifique au domaine) qui permet d'exprimer les plans de soins à domicile en utilisant des abstractions de haut niveau et orientées utilisateur. Le DSL nous permet à travers cette thèse de proposer un langage de temporalités permettant de spécifier les temporalités des activités du plan de soins à domicile. Ensuite, nous décrivons comment les plans de soins à domicile, formalisés grâce aux automates temporisés, peuvent être générés à partir de ces abstractions. Nous proposons une approche en trois étapes qui consiste à: (i) le mapping entre les spécifications temporelles élémentaires et les automates temporisés appelés "pattern automata", (ii) la combinaison des "patterns automata" afin de construire les automates d'activités en utilisant l'algorithme de composition que nous avons déni, et aussi (iii) la construction de l'automate de plan de soins à domicile global. L'automate de plan de soins à domicile résultant englobe tous les schedules autorisés des activités pour un patient donné. Enfin, nous montrons comment la vérification et le suivi de l'automate du plan de soins à domicile résultant peuvent être faits en utilisant des techniques et des outils existants, en particulier en utilisant l'outil de verification UPPAALIn this thesis we are interested in the problems underlying the design and the management of home care plans. A home care plan defines the set of medical and/or social activities that are carried out day after day at a patient's home. Such a care plan is usually constructed through a complex process involving a comprehensive assessment of patient's needs as well as his/her social and physical environment. Specication of home care plans is challenging for several reasons: home care plans are inherently nonstructured processes which involve repetitive, but irregular, activities, whose specification requires complex temporal expressions. These features make home care plans difficult to model using traditional process modeling technologies. First, we present a DSL (Domain Specific Language) based approach tailored to express home care plans using high level and user-oriented abstractions. DSL enables us through this thesis to propose a temporalities language to specify temporalities of home care plan activities. Then, we describe how home care plans, formalized as timed automata, can be generated from these abstractions. We propose a three-step approach which consists in (i) mapping between elementary temporal specifications and timed automata called Pattern automata, (ii) combining patterns automata to build the activity automata using our composition algorithm and then (iii) constructing the global care plan automaton. The resulting care plan automaton encompasses all the possible allowed schedules of activities for a given patient. Finally, we show how verification and monitoring of the resulting care plan can be handled using existing techniques and tools, especially using UPPAAL Model Checker
15
Dabbs, Parker, Aruna Kilaru i Carlee Haas. "Identification and Verification of Plant Transcription Factors That Play a Role in Regulating the Production of Triacylglycerol". Digital Commons @ East Tennessee State University, 2014. https://dc.etsu.edu/etsu-works/4854.
Pełny tekst źródłaStreszczenie:
Triacylglycerols (TAG) play vital roles in plant development and are also utilized by humans for consumption, chemical and industrial feed stocks, and production of biofuels. Their primary function in plants is as an energy reserve stored in seeds to allow for the growth of the developing plant after germination. While many plants accumulate significant quantities of TAGs in the developing embryo or other parts of the seed, significant quantities of TAG accumulation also occurs in nonseed tissues such as the mesocarp of avocado and oil palm, the roots of nutsedge, and the fruits of bay berry. In Arabidopsis the transcription factor Wrinkled 1 (WRI1) was shown to be responsible for regulating the accumulation of TAG in seeds, and homologues of WRI1 have been shown to have similar functions in other plants and plant tissues. However, WRI1 likely does not act alone to control the synthesis and accumulation of TAG in plants. This project aims to identify additional transcription factors that are responsible for controlling the synthesis and accumulation of TAG in nonseed tissues by utilizing transcriptome data from a variety of plant species. The transcriptome data also revealed three homologues of WRI1 that are highly expressed in Avocado mesocarp. Their function in Avocado will be determined by complementing Arabidopsis wri1 mutants and examining TAG accumulation in the resulting transgenic plants. This study is aimed at identifying genes that play a role in the accumulation of high levels of TAG in various plant tissues and confirming the function of the WRI homologues in Avocado. Future studies will be able to use this information to better understand regulation of TAG accumulation in plants which will allow increased oil accumulation and yield in plants for various commercial and industrial applications.
16
Håkansson, Johannes. "Plant Model Generator from Digital Twin for Purpose of Formal Verification". Thesis, Luleå tekniska universitet, Institutionen för system- och rymdteknik, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-83360.
Pełny tekst źródłaStreszczenie:
This master thesis will cover a way to automatically generate a formal model for plant verification from plant traces. The solution will be developed from trace data, stemming from a model of a digital twin of a physical plant. The final goal is to automatically generate a formal model of the plant that can be used for model checking for verifying the safety and functional properties of the actual plant. The solution for this specific setup will be generalized and a general approach for other systems will be discussed. Furthermore, state machine generation will be introduced. This includes generating state machine data from traces, and in the future is planned be used as an intermediate step between the trace data and model generation. The digital twin solution used in this project is a joint setup in Visual Components and nxtSTUDIO. The symbolic model checker NuSMV is utilized in order to verify the functional properties of the plant.I detta examensarbete utforskas ett sätt att generera formella modeller av en process via inspelningar av dennes beteende. Lösningen är utvecklad från data över processens beteende, som tas upp av en digital tvilling. Det slutgiltliga målet är att med hjälp av den digitala tvillingen automatiskt generera en modell som kan användas för att verifiera säkerhet och funktioner för den riktiga processen. Lösningen blir sedan generaliserad för att i framtiden kunna bli applicerad på andra processer. Ett sätt att generera tillståndsmaskiner kommer läggas fram. Detta sätt kommer generera data för tillståndsmaskinerna genom den digitala tvillingens beteende och i framtiden planeras att användas som ett mellansteg för att generera de slutliga modellerna. Den digitala tvillingen som används i det här projektet är implementerat av Aalto universitet, och i flera program. Den visuella delen, som även spelar in tvillingens beteende, är implementerad i Visual Components. En kontroll för den digitala tvillingen är gjord i nxtSTUDIO. Verktyget för att verifiera modellens säkerhet och funktioner är gjord i NuSMV.
17
Oliveira, Raquel Araùjo de. "Formal Specification and Verification of Interactive Systems with Plasticity : Applications to Nuclear-Plant Supervision". Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAM025/document.
Pełny tekst źródłaStreszczenie:
L'informatique ubiquitaire et la variété croissante des plates-formes et dispositifs changent les attentes des utilisateurs en termes d'interfaces utilisateur. Les systèmes devraient être en mesure de s'adapter à leur contexte d'utilisation, à savoir, la plate-forme (par exemple un PC ou une tablette), les utilisateurs qui interagissent avec le système (par exemple, les administrateurs ou les utilisateurs réguliers), et l'environnement dans lequel le système s'exécute (par exemple une pièce sombre ou en extérieur). La capacité d'une interface utilisateur à s'adapter aux variations de son contexte d'utilisation tout en préservant son utilisabilité est appelée plasticité.La plasticité fournit aux utilisateurs différentes versions d'une interface utilisateur. Bien qu'elle enrichisse les interfaces utilisateur, la plasticité complexifie leur développement: la cohérence entre plusieurs versions d'une interface donnée (une pour chaque contexte d'utilisation) devrait être assurée. Étant donné le grand nombre de versions possibles d'une interface utilisateur, il est coûteux de vérifier ces exigences à la main. Des automatisations doivent être alors fournies afin de vérifier la plasticité.Cette complexité est accentuée quand il s'agit de systèmes critiques. Les systèmes critiques sont des systèmes dans lesquels une défaillance a des conséquences graves (par exemple, décès ou blessures de personnes, dommages à l'environnement, perte ou endommagement de l'équipement, etc.). La complexité de ces systèmes se reflète dans les interfaces utilisateur, qui doivent maintenant non seulement fournir des moyens corrects, intuitifs, non ambiguës et adaptables pour les utilisateurs pour atteindre un but, mais qui doivent aussi faire face aux exigences de sécurité visant à assurer que les systèmes sont raisonnablement sûrs avant d'être mis sur le marché.Plusieurs techniques existent afin d'assurer la qualité des systèmes en général, qui peuvent être également appliquées pour les systèmes critiques. La vérification formelle fournit un moyen d'effectuer une vérification rigoureuse, qui est adaptée pour les systèmes critiques. Notre contribution est une approche de vérification des systèmes interactifs critiques et plastiques à l'aide de méthodes formelles. Avec l'utilisation d'un outil performant, notre approche permet :- La vérification d'ensembles de propriétés sur un modèle du système. Reposant sur la technique de "model checking", notre approche permet la vérification de propriétés sur la spécification formelle du système. Les propriétés d'utilisabilité permettent de vérifier si le système suit de bonnes propriétés ergonomiques. Les propriétés de validité permettent de vérifier si le système suit les exigences qui spécifient son comportement attendu.- La comparaison des différentes versions du système. Reposant sur la technique "d'équivalence checking", notre approche vérifie dans quelle mesure deux interfaces utilisateur offrent les mêmes capacités d'interaction et la même apparence. Nous pouvons ainsi montrer si deux modèles d'une interface utilisateur sont équivalents ou non. Dans le cas où ils ne sont pas équivalents, les divergences de l'interface utilisateur sont listées, offrant ainsi la possibilité de les sortir de l'analyse. De plus, l'approche permet également de montrer qu'une interface utilisateur peut contenir au moins toutes les capacités d'interaction d'une autre interface utilisateur.Nous présentons également dans cette thèse trois études de cas industriels dans le domaine des centrales nucléaires dans lesquelles l'approche a été appliquée. Ces études de cas montrent ainsi de nouvelles applications des méthodes formelles dans un contexte industrielThe advent of ubiquitous computing and the increasing variety of platforms and devices change user expectations in terms of user interfaces. Systems should be able to adapt themselves to their context of use, i.e., the platform (e.g. a PC or a tablet), the users who interact with the system (e.g. administrators or regular users), and the environment in which the system executes (e.g. a dark room or outdoor). The capacity of a UI to withstand variations in its context of use while preserving usability is called plasticity.Plasticity provides users with different versions of a UI. Although it enhances UI capabilities, plasticity adds complexity to the development of user interfaces: the consistency between multiple versions of a given UI should be ensured. Given the large number of possible versions of a UI, it is time-consuming and error prone to check these requirements by hand. Some automation must be provided to verify plasticity.This complexity is further increased when it comes to UIs of safety-critical systems. Safety-critical systems are systems in which a failure has severe consequences. The complexity of such systems is reflected in the UIs, which are now expected not only to provide correct, intuitive, non-ambiguous and adaptable means for users to accomplish a goal, but also to cope with safety requirements aiming to make sure that systems are reasonably safe before they enter the market.Several techniques to ensure quality of systems in general exist, which can also be used to safety-critical systems. Formal verification provides a rigorous way to perform verification, which is suitable for safety-critical systems. Our contribution is an approach to verify safety-critical interactive systems provided with plastic UIs using formal methods. Using a powerful tool-support, our approach permits:-The verification of sets of properties over a model of the system. Using model checking, our approach permits the verification of properties over the system formal specification. Usability properties verify whether the system follows ergonomic properties to ensure a good usability. Validity properties verify whether the system follows the requirements that specify its expected behavior.-The comparison of different versions of UIs. Using equivalence checking, our approach verifies to which extent UIs present the same interaction capabilities and appearance. We can show whether two UI models are equivalent or not. When they are not equivalent, the UI divergences are listed, thus providing the possibility of leaving them out of the analysis. Furthermore, the approach shows that one UI can contain at least all interaction capabilities of another.We also present in this thesis three industrial case studies in the nuclear power plant domain which the approach was applied to, providing additional examples of successful use of formal methods in industrial systems
18
Monroy-Borja, Raul. "Planning proofs of correctness of CCS systems". Thesis, University of Edinburgh, 1997. http://hdl.handle.net/1842/584.
Pełny tekst źródłaStreszczenie:
The specification and verification of communicating systems has captured increasing interest in the last decades. CCS, a Calculus of Communicating Systems [Milner 89a], was especially designed to help this enterprise; it is widely used in both industry and academia. Most efforts to automate the use of CCS for verification have centered around the explicit construction of a bisimulation [Park 81]. This approach, however, presents severe limitations to deal with systems that contain infinite states (e.g. systems with evolving structure [Milner 89a] or that comprise a finite but arbitrary number of components (e.g. systems with inductive structure [Milner 89a]). There is an alternative approach to verification, based on equational reasoning, which does not exhibit such limitations. This formulation, however, introduces significant proof search control issues, and, hence, has remained far less explored. This thesis investigates the use of explicit proof plans [Bundy 88] for problems of automatic verification in the context of CCS. We have conducted the verification task using equational reasoning, and centred on infinite state systems, and parameterised systems. A parameterised system, e.g. a system with inductive structure, circumscribes a family of CCS systems, which have fixed struture and finitely many states. To reason about theses systems, we have adopted Robin Milner's approach [Milner 89a], which advocates the use of induction to exploit the structure and/or the behavior of a system during its verification. To automate this reasoning, wehave used proof plans for induction [Bundy 88]- built within CLAM [Bundy et al 90b], and extended it with special CCS proof plans. We have implemented a verification planner by adding these special proof plans to CLAM. The system handles the search control problems prompted by CCS verification satisfactorily, though it is not complete. Moreover, the system is capable of dealing with the verification of finite state systems, infinite state systems, and parameterised systems, hence, providing a uniform method to analyse CCS systems, regardless of their state space. Our results are encouraging: the verification planner has been successfully tested on a number of examples drawn from the litereature. We have planned proofs of conjectures that are outside the domain of existing verification methods. Furthernore; the verification planning is fully automated. Because of this, even though the verification plan has still got plenty of room for improvement, we can state that proof planning can handle the equational verication of CCS systems, and, therefore, advocate its use within this interesting field.
19
Gohil, Kuldeepsinh. "Verification and Visualization of Safe Human Robot Collaboration for Robotic Cell". Thesis, Högskolan Väst, Avdelningen för Industriell ekonomi, Elektro- och Maskinteknik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:hv:diva-12798.
Pełny tekst źródłaStreszczenie:
Robotics and Automation field is booming in today´s scenario. Researchers and Technologist comes up with new ideas in the robotics field to achieve a higher productivity, flexibility and efficiency. To achieve the above goals, it shall be required that human and robot share their work space with each other and works in a collaborative nature. Safety is a main concern and in focus. Robot should not injure the operator in any way during working in robotic cell. In this master thesis main focus is to create a various test plans and validate them to ensure the safety level in robotic cell. The test plan should be validated in a real robot environment. The test plans consist of functional and individual verification of safety devices which are being used in a robotic cell at PTC which is known as smart automation lab. Apart from that it includes design simulation of robotic cells with manikins to ensure validation of safety in virtual environment. Design simulation of robotic cell with manikins are created in RobotStudio 6.06. However, smart components, trap routines, SafeMove and offline program in RAPID have been created. Various test results are incorporated in the results section to ensure the verification and validation of safe human robot collaboration of virtual environment in RobotStudio 6.06.
20
Hagström, Adrian L., i L. Albin M. Vass. "Verification of 3D-printed quasi-optical lenses for 60GHz radar applications". Thesis, Högskolan i Halmstad, Akademin för informationsteknologi, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-37093.
Pełny tekst źródłaStreszczenie:
With the recent rise of 3D-printing as a form of manufacturing and their advantages for quick prototyping there is an interest for 3D-printed optical components. This thesis tests how well 3D-printed quasi-optical components preform and verify measurements with electromagnetic simulations. Measurements were made using a 60GHz FM-CW radar as well with a trihedral reflector, and tested on 3D-printed PLA lenses printed using an Ultimaker 2+. The measurements made are of the refractive index of the material, as well as the focal length of the lenses. Results showed PLA having a refractive index close to n = 1.654 in the 60GHz region. Results also showed the lenses having consistent properties like focal length and gain, two lenses having focal length of 23.7 and 23.9 mm which are close to the simulation of 24.05 mm. These findings shows 3D printed quasi-optical components have sufficient performance for use of prototyping or production depending on use. There are also some questions that have arisen like how does crystallisation in the plastic affect the components properties? And how does the PLA degrading affect the quality of the lenses over time?På grund av framgångar inom 3D-utskrivning på senaste tiden som en form av tillverkning och dess fördelar med snabb framtagande av prototyper finns det ett intresse för utskrivna optiska komponenter. Detta examensarbete testar hur väl 3D-utskrivna kvasioptiska komponenter funger\-ar och verifierar testresultat med elektromagnetiska simuleringar. Mät\-ning\-arna gjordes med en FM-CW radar och en trihedral reflektor, och testade PLA linser utskrivna med en Ultimaker 2+. Mätningar\-na gjordes på materialets brytningsindex samt linsernas brännvidd. Resultaten visade att PLA har ett brytningsindex nära n = 1.654 i 60GHz området. Resultaten visade även hur linserna har konsekventa egenskaper som brännvidd och förstärkning. De två slutgiltiga linserna hade en brännvidd på 23.7 and 23.9 mm vilket är nära simuleringen på 24.05 mm. Dessa resultat visar att 3D-utskrivna komponenter har tillräcklig prestanda för användning i framtagande av prototyper eller produktion beroende på användning. Det finns en del frågor som kommit till, som hur påverkar plastens kristallisation komponentens egenskaper? Och hur påverkar PLAs nedbrytande linsernas kvalité?
21
Graaff, Simon. "Modelling and verification of the dynamics of an ocean current energy converter". Thesis, Stellenbosch : Stellenbosch University, 2014. http://hdl.handle.net/10019.1/95945.
Pełny tekst źródłaStreszczenie:
Thesis (MScEng) -- Stellenbosch University, 2014.ENGLISH ABSTRACT: South Africa has a signi cant potential resource for electrical power generation in the Agulhas Current on the southeast coast. The Ocean Current Energy Convertor studied in this project was designed to generate power from this current. The feasibility of this device was investigated by analysing the dynamic stability and controllability of the convertor, when acted upon by hydrodynamic forces while harvesting energy from the current. A simulation model was developed to predict the dynamic behaviour using the Simulink software suite. A scale model of the prototype was built and tested in the Towing Tank at Stellenbosch University, and the experimental results were compared against the simulation results. A control algorithm was designed, using the mathematical model, to control the roll angle and deployment depth. The control algorithm was tested in simulation. The results indicated that the simulation model accurately predicted the behaviour of the prototype in testing, and results showed that the device is both stable and controllable. It was concluded that this OCEC design concept warrants further investigation. The recommendations are that the experimental model be improved to ensure reliable experimental results, that further complexity be added to the simulation model, and that the control algorithm be tested on the improved prototype in the towing tank.
AFRIKAANSE OPSOMMING: Die Agulhas-seestroom aan die suidooskus van Suid-Afrika bied 'n aansienlike potensiële hulpbron vir elektriese kragopwekking. Die seestroomenergieomsetter (SEO) wat in hierdie projek bestudeer is was ontwikkel om krag uit hierdie seestroom te genereer. Die doenlikheid van hierdie toestel is ondersoek deur die dinamiese stabiliteit en beheerbaarheid van die omsetter onder die invloed van hidrodinamiese kragte te analiseer terwyl dit energie van die stroom inwin. 'n Simulasiemodel is met behulp van Simulink-sagteware ontwikkel om die dinamiese gedrag te voorspel. 'n Skaalmodel van die prototipe was gebou en in die sleeptenk by Universiteit Stellenbosch getoets en die eksperimentele resultate met die simulasie se resultate vergelyk. 'n Beheer-algoritme is daarna ontwerp, deur middel van die wiskundige model, om die rolhoek en diepte van ontplooiing te beheer.Hierdie algoritme is tydens simulasie getoets. Die resultate het aangedui dat die simulasiemodel akkuraat die gedrag van die prototipe tydens toetse voorspel het, en die resultate het gewys dat die toestel beide stabiel en beheerbaar is. Die gevolgtrekking is gemaak dat die SEO se ontwerpkonsep verdere studie regverdig. Die aanbevelings is dat die eksperimentele model verbeter word om betroubare eksperimentele resultate te verseker, dat verdere kompleksiteit by die simulasiemodel gevoeg word, en dat die beheer-algoritme op die verbeterde model in die sleeptenk getoets word.
22
Gessesse, Yemane B. "On the fretting wear of nuclear power plant heat exchanger tubes using a fracture mechanics approach : theory and verification". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape11/PQDD_0021/NQ44867.pdf.
Pełny tekst źródła
23
Fox, Sarah. "Modification, Verification of Sequence and Optimization of Expression of P297F an Inactive Mutant of Flavonol Specific Glucosyltransferase from Grapefruit (CP3GT)". Digital Commons @ East Tennessee State University, 2020. https://dc.etsu.edu/honors/557.
Pełny tekst źródłaStreszczenie:
Citrus fruits are widely consumed and can offer various health benefits. One enzyme found in grapefruits, Citrus paradisi flavonol specific 3-O-glucosyltransferase (CP3GT), catalyzes the addition of glucose to one specific flavonoid class and at only one site. These flavonoids are plant secondary metabolites that can be used in a variety of plant functions including signaling and protection. The only class of flavonoids that CP3GT glucosylates is flavonols, and this specificity is of interest to study for potential benefits in biotechnology and enzyme modeling. In order to study this enzyme and its structure, a variety of mutants were created using site-directed mutagenesis. One mutant, P297F, exhibited a loss of function. This mutant was previously studied by inserting a thrombin cleavage site, extracting the plasmid expressing the mutation and sequencing it. The gene sequence was previously verified to be in frame and contain the needed thrombin cleavage site to remove tags used for protein purification and identification. The plasmid was then linearized, and transformed into yeast. After this, conditions for protein expression were tested over a 72-hour period. The protein was found to have optimal expression at 50 hours with a constant temperature of 28 °C and methanol concentration of 0.5 %. However, numerous protein expression experiments indicated very low protein expression. For this reason, the P297F gene was amplified through colony PCR, extracted and sent for sequencing to verify the transformation of the gene into yeast and identify possible reasons for low protein production. Analysis of this sequencing data showed a single nucleotide addition early in the tag sequence causing a frameshift after this location. Reanalysis of the previous plasmid sequencing data showed this same mutation, indicating improper conclusions were drawn. Efforts should be made to identify a plasmid without the mutation or correct the frameshift mutation so that the tag sequence produces the correct amino acids.
24
Dance, Michael Joseph. "A Comparative Analysis for Verification of IMRT and VMAT Treatment Plans using a 2-D and 3-D Diode Array". University of Toledo Health Science Campus / OhioLINK, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=mco1404933070.
Pełny tekst źródła
25
Stähle, Hauke [Verfasser], Alois [Akademischer Betreuer] Knoll i Gernot [Akademischer Betreuer] Spiegelberg. "A Model-Based Framework for System-Wide Plug-and-Play with Flexible Timing Verification for Automotive Systems / Hauke Stähle. Betreuer: Alois Knoll. Gutachter: Alois Knoll ; Gernot Spiegelberg". München : Universitätsbibliothek der TU München, 2016. http://d-nb.info/1098428722/34.
Pełny tekst źródła
26
Silva, Homero Ghioti da. "Regime não-linear de trens de ondas modulados na direção transversal em um escoamento de Poiseuille plano". Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/18/18135/tde-12062008-145838/.
Pełny tekst źródłaStreszczenie:
A presente tese se refere a três principais objetivos. Um objetivo foi desenvolver um código de simulação numérica direta para simulação de ondas de instabilidade em um escoamento de Poiseuille plano. O outro objetivo foi analisá-Io através do Método das Soluções Manufaturadas (MMS), e por fim, um terceiro objetivo foi estudar o regime não-linear da evolução de trens de ondas modulados em um escoamento de Poiseuille plano. O código resolve numericamente, com diferenças finitas de ordem de precisão alta e métodos pseudo espectrais, as equações de Navier-Stokes tri-dimensionais e incompressíveis numa formulação vorticidade-velocidade. O MMS é um método de verificação de código mais completo que os normalmente usados, por exemplo, comparação com teoria de estabilidade linear. O código usa diferenças finitas de ordem alta de precisão, mas com diferentes ordens em diferentes regiões do domínio. O MMS é pouco utilizado neste tipo de código. Concluiu-se que estes códigos em geral não operam na chamada faixa assintótica de erro. Na faixa de trabalho, a ordem do erro varia no domínio computacional de forma consistente com os métodos numéricos empregados. Isto permite, entre outras coisas, a otimização do esquema numérico. Após os testes de verifição, simulações numéricas dos trens de ondas foram realizadas. A análise dos resultados foi feita através das teorias de instabilidade primária e secundária e teoria fracamente não-linear. Foi estudado um trem de ondas modulado numa região do diagrama de instabilidade onde vários estudos para ondas mono cromáticas foram realizados. Os resultados sugeriram que nesta região o regime não-linear de transição dos trens de ondas modulados é governado pela instabilidade tipo-K. Com a redução da amplitude inicial de perturbação um cenário mais complexo, que pode estar envolvendo outros mecanismos, foi observado. Casos mais próximos ao primeiro ramo do diagrama também foram estudados. Nesta região a teoria linear prevê ondas tri-dimensionais sendo as mais instáveis, fato que poderia favorecer a ocorrência da chamada transição oblíqua. Os resultados indicaram que o trem de ondas modulado se divide em duas regiões que tendem-se afastar uma da outra. Apesar de estar associado com a instabilidade linear, este comportamento não havia sido antecipado na literatura. Neste cenário, para trens de ondas modulados isolados, o regime não-linear não pode ser correlacionado claramente com nenhum dos cenários clássicos de transição. Neste contexto transição oblíqua pode estar restrito a situações que envolvem a interação entre trens de ondas modulados.The current thesis had three objectives. The first objective was to develop a code of direct numerical simulation (DNS) to simulation of waves of instability in a plane Poiseuille flow. The other main objective was to analyze it through the method of manufactured solutions (MMS). Finally, a third objective was to study the nonlinear regime of spanwise modulated wavetrains in a plane Poiseuille flow. Using high-order finite differences and pseudo-spectral methods, the DNS code solved the incompressible three-dimensional Navier-Stokes equations in a vorticity-velocity formulation. The MMS is a verification method more complete than the others more often used, for example, comparison with linear stability theory. The code used different high-order finite differences in different regions of the domain. The MMS has been little used for this type of code. It was concluded that these codes generally do not operate in the so-called errar asymptotic range. In the working range, the observed arder changes in the computational domain in a manner consistent with the numerical methods employed. This allows, among other things, optimization of the numerical scheme. After testing, numerical simulations of the wavetrains were performed. The analysis of the results was made based on the primary and secondary instability theories and weakly non-linear theory. A modulated wavetrain was studied in a region of the stability diagram where several studies for monochromatic waves were performed. The results suggested that in this region the non-linear regime of transition of the modulation wavetrain is governed by the K-type instability. With the reduction of the magnitude of the initial disturbance, a more complex scenario, which may involve other mechanisms, was observed. Cases near the first branch of the instability diagram were also studied. In this region, the linear theory predicts tri-dimensional waves are the most unstable, a fact that could lead to the so-called oblique transition. The results indicated that the modulated wavetrain divided into two regions, which tend move further from each other. Despite being associated with the linear instability, this behavior was not anticipated in the literature. In this scenario, for isolated modulated wavetrains, the non-linear system could not be clearly correlated with any of the classic scenarios of transition. In this context, oblique transition may perhaps to situations involving the interaction between modulated wavetrains.
27
Jerling, Francette. "The identification and verification of optimal reintroduction sites for the Southern Ground Hornbill Bucorvus leadbeateri in the Musina area of the Limpopo Province, South Africa / Francette Jerling". Thesis, North-West University, 2011. http://hdl.handle.net/10394/9170.
Pełny tekst źródłaStreszczenie:
The Southern Ground Hornbill (SGH) (Bucorvus leadbeateri) has recently been listed globally by the IUCN Red list as Endangered or Critically Endangered. In South Africa, the declining population of the SGH has led it to be listed nationally as Vulnerable and falls under the “Protected Species” legislation. Research into the habitat preferences and identification of suitable reintroduction areas have been few since the initiation of reintroduction attempts, therefore resulting in mixed outcomes of previously-reintroduced SGH. The aim of this study was to identify and verify optimal reintroduction sites for the SGH, in the Musina area in the Limpopo Province. Five main objectives were determined, namely: to identify optimal reintroduction areas; to develop a habitat profile of the designated area; to determine the availability of prey items; to determine the availability of large trees needed for nesting and roosting; to evaluate pre-release sites by involving a number of stakeholders. Three study sites were selected on the farm Greyghost Safaris (Ludwigslust), each made up of a different plant community. Sampling was carried out a total of four times during the year: one sampling bout in each season. A niche-based modelling technique was used to describe the suitability of a particular habitat (“ecological space”) then used to project it onto another geographical space. Floristic and faunal surveys were conducted to determine the species composition of prey items and composition and frequency of the herbaceous and woody layer. High-resolution, natural-colour aerial imagery was used in order to determine the availability of trees for nesting and roosting. Pre-release site evaluations and stakeholder engagements were conducted by means of interviews with landowners on and around the study sites. The Limpopo River Valley and across to the KNP on the eastern border of the Limpopo Province, is suitable re-introduction sites for the SGH. This study site provided a good opportunity to explore what an optimal site for reintroduction should resemble.Thesis (MSc (Zoology))--North-West University, Potchefstroom Campus, 2012.
28
Montazerolghaem, Mahdi [Verfasser], Wolfram [Akademischer Betreuer] Jäger, Wolfgang [Akademischer Betreuer] Graf i Michael [Akademischer Betreuer] Beer. "Analysis of unreinforced Masonry Structures with Uncertain Data : Engineering Methods in Verification of Unreinforced Masonry Walls Subjected to In-Plane Shear (Probabilistic and Fuzzy Approach) / Mahdi Montazerolghaem. Gutachter: Wolfram Jäger ; Wolfgang Graf ; Michael Beer". Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015. http://d-nb.info/1078204993/34.
Pełny tekst źródła
29
BURKHARDT, ELLEN. "Optimization and investment decisions of electrical motors’ production line using discrete event simulation". Thesis, KTH, Skolan för industriell teknik och management (ITM), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-280294.
Pełny tekst źródłaStreszczenie:
More dynamic markets, shorter product life cycles and comprehensive variant management are challenges that dominate today's market. These maxims apply to the automotive sector, which is currently highly exposed to trade wars, changing mobility patterns and the emergence of new technologies and competitors. To meet these challenges, this thesis presents the creation of a digital twin of an existing production line of electric motors using discrete event simulation. Based on a detailed literature research, a step-by-step establishment of the simulation model of the production line using the software Plant Simulation is presented and argued. Finally, different experiments are carried out with the created model to show how a production line can be examined and optimized by means ofsimulation using different parameters. Within the scope of the different experiments regarding the number of workpiece carriers, number of operators as well as buffer sizes, the line was examined concerning the increase of the output. Furthermore, the simulation model was used to make decisions for future investments in additional XXX machines. Four different scenarios were examined and optimized. By examining the different parameters, optimization potentials of XXX% in the first scenario and up to XXX% in the fourth scenario were achieved. Finally, it was proven that the developed simulation model can be used as a tool for optimizing an existing production line and can generate useful investment information. Beyond that, the development of the simulation model can be employed to investigate further business questions at hand for the specific production line in question.Mer dynamiska marknader, kortare produktlivscykler och omfattande varianthantering är utmaningar som dominerar dagens marknad. Dessa maximer gäller bilindustrin, som för närvarande är mycket utsatt för handelskrig, förändrade rörlighetsmönster och framväxten av ny teknik och nya konkurrenter. För att möta dessa utmaningar innebär denna avhandling skapandet av en digital tvilling av en befintlig produktionslinje av elmotorer med diskret händelsesimulering. Baserat på en detaljerad litteraturforskning presenteras och argumenteras en steg-för-steg-etablering av simuleringsmodellen för produktionslinjen med hjälp av programvaran Plant Simulation. Slutligen utförs olika experiment med den skapade modellen för att visa hur en produktionslinje kan undersökas och optimeras med hjälp av simulering med hjälp av olika parametrar. Inom ramen för de olika experimenten när det gäller antalet arbetsstyckesbärare, antalet operatörer samt buffertstorlekar undersöktes linjen om ökningen av produktionen. Dessutom användes simuleringsmodellen för att fatta beslut för framtida investeringar i ytterligare hårnålsmaskiner. Fyra olika scenarier undersöktes och optimerades. Genom att undersöka de olika parametrarna uppnåddes optimeringspotentialer på XXX % i det första scenariot och upp till XXX % i det fjärde scenariot. Slutligen bevisades det att den utvecklade simuleringsmodellen kan användas som ett verktyg för att optimera en befintlig produktionslinje och kan generera användbar investeringsinformation. Utöver detta kan utvecklingen av simuleringsmodellen användas för att undersöka ytterligare affärsfrågor till hands för den specifika produktionslinjen i fråga.
30
Miškovský, Ján. "Koncept rychlonabíjecí stanice pro elektromobily s akumulací". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2017. http://www.nusl.cz/ntk/nusl-316882.
Pełny tekst źródłaStreszczenie:
Main purpose of the thesis is the creation of a concept a fast-charging station associated with accumulation that uses renewable source. The introduction of the thesis describes a standard that specifies the charge of electric vehicles using direct and alternating current as well. It depicts an overview of using charging connectors. The first part also deals with overview of the technology of renewable sources and exploitation energy storage system for charging station. The second part introduces the theoretical basement for mathematical model of the charging station in Matlab/Simulink. The function of model station is verified by a physical laboratory model. For options verification of the connection station to the distribution net is created simulation of voltage losses in Matlab/Simulink. The thesis shows four 24 hours’ scenarios that have been simulated. According to the assumptions of simulation, the technology of station and connecting component is suggested. Next is the designed energy and financial analysis of the project charging station until 2030.
31
Ye, Xianming. "Optimal measurement and verification plan on lighting". Thesis, 2015. http://hdl.handle.net/2263/50836.
Pełny tekst źródłaStreszczenie:
Measurement and Verification (M&V) has become an indispensable process in various incentive
energy efficiency and demand side management (EEDSM) programmes to accurately and reliably
measure and verify the project performance in terms of energy or cost savings. Due to the uncertain
nature of the un-measurable savings, there is an inherent trade-off between the M&V accuracy and
M&V cost. Practically, there are three types of quantifiable uncertainties coupled with the M&V
process including measurement, modelling and sampling uncertainties. For large-scale lighting retrofit
projects that require long-term continuous measurements, the desired sampling effort for savings
determination contributes to a significant increase to the M&V cost. On the contrary, the measurement
and modelling uncertainties are considered less significant in the lighting M&V process. In
order to handle the sampling uncertainties and achieve the required M&V accuracy cost-effectively,
three metering cost minimisation (MCM) models are proposed, namely spatial MCM model, longitudinal
MCM model, and the combined spatial and longitudinal MCM model to assist the design of
optimal M&V metering plans, by which the minimal metering cost is achieved with the satisfaction
of the required M&V metering and sampling accuracy. In the proposed MCM models, the objective
functions are the M&V metering cost that covers the procurement, installation and maintenance
of the M&V metering system whereas the M&V accuracy requirements in terms of confidence and
precision levels are formulated as the constraints. Generally, for lighting projects that have multiple homogeneous lighting groups with different sampling uncertainties, the spatial MCM model is most
applicable when the lighting population are properly maintained to avoid lamp population decay. If
no project population maintenance activities are carried out, then the lamp population will decay as
time goes by. In such a case, the longitudinal MCM model is most suitable to optimise the sample
sizes within adjacent reporting years for each lighting group. The combined spatial and longitudinal
MCM models exhibits the best performance in terms of metering cost minimisation whilst satisfying
the required M&V accuracy, especially for the lighting projects that have multiple lighting groups
with different sampling uncertainties and different population decay dynamics. Optimal solutions to
the proposed MCM models offer useful information in designing the optimal M&V metering plan,
such as the required lighting samples to be measured in each lighting groups, the achieved sampling
accuracy in terms of confidence and precision levels as well as the annual and total M&V metering
cost for the studied lighting project. The advantages of the proposed MCM models are demonstrated
by several lighting retrofit case studies. For the case studies, metering solutions obtained with or
without optimisations are calculated and compared. The comparisons highlight the advantageous
performance of the proposed MCM models. These MCM models are widely applicable to M&V
projects with different technologies, population sizes, and sampling accuracy requirements.
Since the lighting population decays as time goes by, the lighting project performance is not sustainable
and vanishes rapidly without proper maintenance activities. The scope of the maintenance
activities refers to the replacements of the failed lamps due to the occurrence of non-repairable lamp
burnouts. Full replacements of all the failed lamps during every maintenance activity contribute to a
tighter project budget due to the expense for the lamp failure identifications as well as the procurement
and installation of new lamps. Since neither “no maintenance” nor “full maintenance” is preferable to
the lighting project developers, an optimal maintenance planning (OMP) approach is also proposed to
decide the optimal number of failed lamps to be replaced, such that the EE lighting project achieves
sustainable energy savings whereas the project developers obtain their maximum benefits in the sense
of a maximum cost-benefit ratio. The OMP problem is aptly formulated under a control system framework.
According to existing studies on the lamp population decay modelling, the lamp population
decay dynamics are taken as the plant of the control system. The number of lamps to be replaced is
designed as the inputs of the control system. As different lighting technologies have different population
decay dynamics, different procurement prices and different rebate tariffs, the control inputs
can be optimally decided to satisfy the project budget constraints and project boundary constraints.
The optimal maintenance planning problem is then translated into an optimal control problem and solved by a model predictive control (MPC) approach. Since the lighting population has a close
relationship with the sample size determination, the optimal maintenance planning approach is also
integrated with the proposed MCM models, which further improves the performance and flexibility
to the applications of the proposed MCM models for the M&V metering plan designing.Thesis (PhD)--University of Pretoria, 2015.
tm2015
Electrical, Electronic and Computer Engineering
PhD
Unrestricted
32
Huang, Chin-hsing, i 黃進興. "The Study of Senior Moving Ability Applied to Evacuation Plan Verification". Thesis, 2007. http://ndltd.ncl.edu.tw/handle/64301918402503492592.
Pełny tekst źródłaStreszczenie:
博士國立臺灣科技大學
建築系
95
Due to a dramatic increase in senior population, Taiwan has become an aging society since 1993. The study aims to identify senior horizontal, vertical walking speed, flow speed, and walking behavior derived from traveling through different width of opening of dwelling and to serve as reference for designing eldercare facilities and conducting an evacuation plan verification inspection. Three senior eldercare facilities under the supervision of Taipei Municipal City Government were chosen as a study area. The results indicate that the average horizontal speed for self-walk senior is 1.12m/ sec and that the average vertical speed is composed of the average stair ascent speed of 0.63m/sec and the average descent speed of 0.69m/ sec. Seven variables, including gender, age, length of retirement, education, occupation before retirement, exercise duration per day, and BMI, are used to test whether they demonstrate significant effects on horizontal speed and vertical speed. The results display that the variables demonstrate no significant effects on walking speed acquired by the physically independent elders, while only the gender variable plays significant difference in walking stick users. The results also display that no significant relationships are found between the variables and the average stair descent speed, but 3 variables-- gender, age, and exercise duration per day demonstrate significant effects on the average stair ascent speed. As for investigating senior flow speed and walking behavior, the results reveal that their flow speed ranges from 0.35 to 0.38m/sec and the maximum density is 3.33 persons/㎡ because of their sluggish movement and a larger body ellipse required. The results also reveal that the desirable Q value ranges from 1.00 to 2.20 persons/ m× sec. For eldercare facility users, a recommended Neff value ranging from 30 to 35 persons/ m × minute is suggested. Through observation, It is found that the seniors lined up and most of them walked directly through the center when they traveled through a 90-cm-wide opening of dwelling. As for a120-cm-wide opening and a 150- cm-wide opening, both of them allowed either two seniors standing abreast or one leading on the left and the other following on the right to travel through. After traveling through the opening, they veered to the right. It is particularly apparent that senior walking behavior was affected by the walking speed of the preceding one and the pressure from the one standing behind as they traveled through a 90-cm-wide opening. Senior walking behavior patterns such as bypass slow moving, turning around, making changes to their walking paths, or a slight traveling backward were not found in this study.
33
Li, Kuo-Chuan, i 李國全. "Reliability test plan and performance verification method for hand-held products". Thesis, 2010. http://ndltd.ncl.edu.tw/handle/36831542044732992767.
Pełny tekst źródłaStreszczenie:
碩士國立臺灣海洋大學
電機工程學系
97
There are growing numbers of companies developing and manufacturing handheld products. Such products are possessing increasing numbers of functions. For example, small sized devices with multiple functions including communication, photo taking, MP3 playback, GPS, lighting, and projection. Such device with multiple daily functions has won consumers over and has attracted many more. With increased demands from consumers the styles and functions of handheld devices have also become diversified with more and more innovative designs. Of course, other than attractive styles and functions consumers are also interested in high quality products. For a product to standout from the myriad of makers and brands it is important to focus on research and development as well as comprehensive knowledge on components and features of materials. In order to raise reliability of products without additional cost it is important to make innovations and breakthroughs on design, technology, and choice of components and materials. In addition, reliability testing specifications and standards are also vital. Accurate quality and reliability tests can only be achieved through good testing specifications and standards. The present study will begin with reliability theory followed by an introduction on the internal structure of GSM/GPRS phones. Finally, environmental reliability, structural reliability, and functional reliability of handheld devices were investigated and discussed through testing category examples, and levels of reliability were analyzed.
34
Liu, Ho-Tai, i 劉和泰. "The Effect of Verification Levels of MIL-STD-1916 Attribute Sampling Plan on An Electronic Company". Thesis, 2011. http://ndltd.ncl.edu.tw/handle/12943221446408317840.
Pełny tekst źródłaStreszczenie:
碩士世新大學
國際經營管理碩士學位學程碩士班
99
Sampling inspection is the quality control measure often used in the electronic manufacturing industry. Since the U.S. Department of Defense issued MIL-STD-1916 sampling plan to replace MIL-STD-105E in 1996, the industry has faced a problem as VL is not as a clear index of acceptance standard as AQL of MIL-STD-105E. This research employs hypergeometric distribution of statistical theory to calculate the cost of sampling inspection and potential profit loss of a lot as a result of expected inspection and that of return shipment from customer with different VLs in real case of company A. The result shows the effect at different VLs under MIL-STD-1916 sampling plan.
35
Santos, Guilherme João Pinto Medeiros dos. "Plano de Racionalização do Consumo de Energia para a Biblioteca das Ciências da Saúde da Universidade de Coimbra". Master's thesis, 2016. http://hdl.handle.net/10316/81517.
Pełny tekst źródłaStreszczenie:
Dissertação de Mestrado Integrado em Engenharia Electrotécnica e de Computadores apresentada à Faculdade de Ciências e TecnologiaEsta dissertação nasce da decisão conjunta do Departamento de Engenharia Eletrotécnica e de Computadores (DEEC) e do Serviço de Gestão do Edificado, Segurança e Ambiente da Universidade de Coimbra (UC), com vista à criação de um documento que irá permitir planear a execução de diversas Medidas de Racionalização de Energia (MRE), por parte dos gestores da Biblioteca das Ciências da Saúde (BCS) da UC, conduzindo a boas práticas de utilização racional de energia e permitindo tornar o campus da Universidade cada vez mais sustentável. O Plano de Racionalização do Consumo de Energia (PRCE) consiste no instrumento que define as MRE que permitirão alcançar metas de redução relativas a indicadores energéticos regulamentados. Este plano foi realizado de acordo com a legislação do Sistema de Gestão dos Consumos Intensivos de Energia, que consta no Decreto-Lei nº 71/2008, de 15 de abril, e foi estruturado com base noutros PRCE promovidos anteriormente pelo DEEC. Cumprindo esta legislação, a elaboração do PRCE iniciou-se com inspeções à instalação, familiarização com os principais equipamentos instalados e fontes de energia utilizadas, passando também pela monitorização de consumos e estudo das possíveis oportunidades de racionalização e melhorias na utilização da energia. Durante a familiarização com o regime de utilização de alguns equipamentos, foi possível identificar algumas MRE, tendo-se iniciado um levantamento de todos os equipamentos e sistemas instalados na BCS, respetiva potência instalada e área útil de todos os espaços. De seguida, deu-se início ao período de monitorização dos equipamentos que permitiu determinar consumos específicos dos mesmos, e em conjunto com dados de consumo obtidos pelo contador geral da biblioteca permitiu saber o impacto energético de cada equipamento, no consumo global da BCS. Por fim, após a criação das MRE e estudo da viabilidade técnico-económica de cada medida, elaborou-se uma lista de medidas passíveis de serem implementadas e cujas estimativas de poupança deverão alcançar os valores estabelecidos pelo SGCIE, para este edifício. Além disso, foram realizados planos de implementação com todos os detalhes técnicos associados à implementação das MRE, garantindo, desta maneira, o sucesso deste PRCE. Este tipo de dissertações tem uma importância extrema para a melhoria de eficiência energética de edifícios, tendo este sido o primeiro estudo dedicado ao edifício da BCS. Espera-se assim que estes trabalhos possam vir a ser adaptados a outros campus universitários, e que este PRCE possa servir de exemplo de boas práticas associadas à utilização eficiente de energia.
This thesis was brought from the mutual decision of the Department of Electrical and Computer Engineering and the Facilities, Safety and Environment Management Service of the University of Coimbra, in order to create a document that could assure the planning and execution of different Energy Rationalization Measures (ERM) by building managers of the Health Sciences Library, resulting in good practices of rational use of energy and allowing the University campus to become more and more sustainable.The Energy Consumption Rationalization Plan (PREn) is a tool that defines the ERM which will allow to reach the reduction targets associated with regulated Energy Indicators. This Plan was completed in accordance to legal directives from the Management System of Intensive Energy Consumption, included in the Decree-Law n. 71/2008, of April 15th, and based upon other PREn previously promoted by the Department of Electrical and Computer Engineering. Following this legislation, the execution of the PREn started with the facility’s inspection, familiarization with the main systems installed and energy sources, monitoring of energy consumption and study of rationalization opportunities and enhancements in the use of energy.During the familiarization with the main systems and their operation, it was promptly possible to identify some ERM, as well as to begin the description of every equipment, corresponding nominal power and area of all the rooms in the Library. Afterwards, monitoring actions were started, which led to the determination of specific consumption of different equipment, which together with data of consumption obtained from the building energy meter, allowed to find how much each of these systems represented on the global consumption of Health Sciences Library.Finally, after the elaboration of the ERM and the economic and technical feasibility of each one, we identified some measures to be carried out, with estimated energy savings that should achieve the values established by the Management System of Intensive Energy Consumption, for this facility. Furthermore, implementation plans were created with all the technical details related to each ERM, this way ensuring the success of this PREn. This type of thesis has an extreme importance for the improvement of energy efficiency of buildings, thus being the first study dedicated to the Health Sciences Library. It is expected that these dissertations may be applied to other university campus worldwide, and that this specific PREn could become an example of good practices for the efficient use of energy.
36
Hu, Yuxiao. "Generation and Verification of Plans with Loops". Thesis, 2012. http://hdl.handle.net/1807/32740.
Pełny tekst źródłaStreszczenie:
This thesis studies planning problems whose solution plans are program-like structures that contain branches and loops. Such problems are a generalization of classical and conditional planning, and usually involve infinitely many cases to be handled by a single plan. This form of planning is useful in a number of applications, but meanwhile challenging to analyze and solve. As a result, it is drawing increasing interest in the AI community.
In this thesis, I will give a formal definition of planning with loops in the situation calculus framework, and propose a corresponding plan representation in the form of finite-state automata. It turns out that this definition is more general than a previous formalization that uses restricted programming structures for plans.
For the verification of plans with loops, we study a property of planning problems called finite verifiability. Such problems have the property that for any candidate plan, only a finite number of cases need to be checked in order to conclude whether the plan is correct for all the infinitely many cases. I will identify several forms of finitely-verifiable classes of planning problems, including the so-called one-dimensional problems where an unknown and unbounded number of objects need independent processing. I will also show that this property is not universal, in that finite verifiability of less restricted problems would mean a solution to the Halting problem or an unresolved mathematical conjecture.
For the generation of plans with loops, I will present a novel nondeterministic algorithm which essentially searches in the space of the AND/OR execution trees of an incremental partial plan on a finite set of example instances of the planning problem. Two different implementations of the algorithm are explored for search efficiency, namely, heuristic search and randomized search with restarts. In both cases, I will show that the resulting planner generates compact plans for a dozen benchmark problems, some of which are not solved by other existing approaches, to the best of our knowledge.
Finally, I will present generalizations and applications of the framework proposed in this thesis that enables the analysis and solution of related planning problems recently proposed in the literature, namely, controller synthesis, service composition and planning programs. Notably, the latter two require possiblynon-terminating execution in a dynamic environment to provide services to coming requests. I will show a generic definition and planner whose instantiation accommodates and solves all the three example applications. Interestingly, the instantiations are competitive with, and sometimes even outperform, the original tailored approaches proposed in the literature.
37
Wei, Shou-Chin, i 魏守勤. "Construction and Verification of an In-Plane/Out-of-Plane Integrated ESPI System". Thesis, 2011. http://ndltd.ncl.edu.tw/handle/37195207700337809439.
Pełny tekst źródłaStreszczenie:
碩士國立清華大學
動力機械工程學系
99
As the progress of semiconductor manufacturing technology, even the mechanical components in MEMS (Micro Electro Mechanical System) are fairly small and shrink to micro-scale. Accompanied with the size reduction, how to measure the deformation of a package or a device becomes an issue. Therefore, this study proposes an improvement of the ESPI (Electronic Speckle Pattern Interferometry) light path design that switches between ESPI in-plane/out-of-plane measurement without moving and rotating any optical devices. And phase-shifting is built in the light path as the phase extraction method and phase map quality enhancement. In order to verify the feasibility and reliability of the novel light path design, four-point bending test with silicon specimens is performed. Numerical results obtained by finite element software (ANSYS®) and the theoretical solution from Euler-Bernoulli beam equation is also brought in for affirmation. By comparing the three results with different methods, the 2D ESPI light path design can be validated. However, there are still lots of singular points (noise) in the phase map acquired from phase-shifting, so the sine/cosine image smoothing algorithm is introduced in image post-processing. And the quality guided phase unwrapping algorithm is implemented for generating the continuous phase map. Because the linear relationship between continuous phase map and displacement map is established when light path is set, the whole in-plane/out-of-plane displacement map is obtained as the continuous phase map is obtained. Compare the experiment results with FEM and theoretical results, the errors of all tests are lesser than 5%, and the standard variation is minor . It shows that the light path proposed in this study is feasible and stable.
38
Lin, Chi-Ming, i 林志明. "Model Verification and Response Prediction of a Model Plane". Thesis, 2007. http://ndltd.ncl.edu.tw/handle/60475713102933784941.
Pełny tekst źródłaStreszczenie:
碩士國立屏東科技大學
機械工程系所
95
This work presents vibration characteristic analysis and response prediction for a model plane. This work combines both finite element analysis (FEA) and experimental modal analysis (EMA) to perform model verification for the model plane. From FEA, the theoretical natural frequencies, mode shapes and frequency response functions (FRFs) for the model plane can be obtained. Via EMA, the real structural modal parameters and FRFs can also be determined. Base on the experimental results, the material parameter of the model plane can be optimally determined, and so forth the equivalent FE model can be validated. The operational deflection shape (ODS) of the model plane in operating condition is also measured and simulated via the force prediction procedure. Finally, the stress distribution of the model plane in operating condition can be predicted and visualized. This work establishes the analytical and experimental approach for a model plane. The developed methodology can be applied to practical aircraft or even land vehicle and ship and will be beneficial to product design, in particalar for vibration effect consideration.
39
Hung, Hung-Chih, i 洪宏志. "Development and Verification of PCTRAN Feedwater System in Lungmen Nuclear Power Plant". Thesis, 2008. http://ndltd.ncl.edu.tw/handle/32379257807232651153.
Pełny tekst źródła
40
Gao, Xiong, i 高雄. "Simulation of the Balance of Plant of Maanshan NPP and Model Verification". Thesis, 2016. http://ndltd.ncl.edu.tw/handle/66743817082988365146.
Pełny tekst źródłaStreszczenie:
碩士國立清華大學
核子工程與科學研究所
104
The main purpose of this research is to establish a RELAP5-3D BOP (Balance of Plant) system simulation model. This research depends on the integration and analysis of data according to the various components of pressurized water power plants, Maanshan Nuclear Power Plant. The RELAP5-3D thermal-hydraulic analysis software is applied to connect each functional hydraulic component that is appropriate to accomplish the simulation model. In addition, the research also includes combination of BOP and NSSS (Nuclear Steam Supply System) to build a complete simulation of a whole nuclear power plant. After combination, one power test (Thermal power is linearly changed from 100% of rated power to 75% and end at 50%) is applied on the whole model. The purpose is to verify the simulation at different power. Finally, two transients (Turbine trip and Loss of feedwater) are simulated on the model. Simulation results are compared with the plant test data at the end of this paper, which indicates that the model could simulate the Maanshan Nuclear Power Plant to a certain degree.
41
Tsao, Chun-Wei, i 曹軍偉. "The Study of Verification Level for Attributes Sampling Plans in MIL-STD-1916". Thesis, 2008. http://ndltd.ncl.edu.tw/handle/90511225750033680450.
Pełny tekst źródłaStreszczenie:
碩士逢甲大學
工業工程與系統管理學研究所
96
Since 1996, the Department of Defense-USA has used MIL-STD-1916 (Military Standard-1916) sampling plans instead of the traditional MIL-STD-105E (Military Standard-105E) sampling plans. Nevertheless, the MIL-STD-1916 puts emphasis on an effective prevention-based strategy quality system. Attributes sampling plans are based on Zero Based Acceptance (ZBA) plans framework to determine the sample size using Verification Level (VL) and lot size. However, the relationship between defect rate and probability of acceptance under the different VL has never been examined. Therefore, this study adopts statistical methods to investigate VL for different lot sizes with various sample sizes to establish sampling plans for attributes. The results of this research provide guidance for defense contractors and other commercial organizations supplying goods and services to the U.S. Government on the application of MIL-STD-1916.
42
Yang, Yeon-Sheng, i 楊永盛. "A Variational Upper-Bound Method - Its Application and Experimental Verification for Plane strain Problems". Thesis, 1997. http://ndltd.ncl.edu.tw/handle/32084006910971564725.
Pełny tekst źródłaStreszczenie:
碩士國立中央大學
機械工程學系
85
As for the upper-bound method on the theoretical analysis of metal forming, the most research interests concentrate on the kinematically admissible velocity field for a lower upper- bound solution of energy dissipation. The analysis result could provide some important reference for the metal forming process. However, a large gap exists between the theoretical prediction on deformation behavior and the experimental results (normally, the metal deformation could directly affect the mechanical behavior and also the metallurgical properties of the final product). Therefore, in this research work, a variational upper-bound (VUB) method is proposed. It is the method that determines an upper- bound solution using variational calculus.Specifically, the upper-bound equation on energy dissipation, expressed in terms of the rigid/plastic boundary function, is derived as a functional and can be optimized by using a variational approach. Consequeotly, in addition to the kinematically boundary condition, a set of natural boundary conditions (NBCs) can be derived theoretically and can be applied to approximate the solution. These NBCs were found to affect the upper- bound solution of energy dissipation as well as the pattern of metal deformation significantly. In order to verify the suitability and applicability of VUB method, the plane strain problems of tube ironing and tube extrusion are analyzed. Experimentaltests are designed and carried out to verify the validity ofthe VUB method. The results show that the prediction of metal deformation has been greatly improved while comparing to the conventional upper-bound (CUB) method and the slipline field theory, although that only 2% - 8% improvemnet of energy dissipation has been achieved (comparing with CUB method). Therefore, by applying VUB method, the effective strain distribution for the deformed material can be easily accessed. In addition, as for the metal deformation of tube ironing and tube extrusion, experiments show that the shear strain distribution on both internal tube walls exist in opposite directions. This trends cannot be predicted by applying CUB method and/or slipline field theory. However, it can be well defined by the current proposed VUB method.
43
Lyu, Yo-Xuen, i 呂宥勳. "Mechanics Analysis and Experimental Verification of Flange Joints in Piping Systems of Power Plant". Thesis, 2016. http://ndltd.ncl.edu.tw/handle/65869676765453510932.
Pełny tekst źródłaStreszczenie:
碩士國立臺灣大學
機械工程學研究所
104
Piping systems are used to carry gas and liquid medium, the pipes are often connected to each other by welding or flange joints in the same or different directions with fittings and valves, building up the piping systems. To make sure the piping system working properly, we should avoid the failure modes such as damage、leakage and so on happened, especially for those in the connected joints. Piping systems are usually used to transport the steam driving the turbine or the water in the cooling units. The Residual Heat Removal (RHR) piping system is one of the most important systems in a power plant, composed of heat exchangers 、valves and primary the piping systems. When the power plant is under emergency condition, the systems mentioned will supply the emergency cooling water to make sure the core components won’t be damaged due to high temperature. In order to avoid the failure modes such as damage、leakage, and so on happened, we should make sure the pipelines especially for those within the joint are strong enough to function normally under seismic condition. In this thesis, we study the loosening mechanism in the case of RHR-C loop in power plant, and focus on how the plastic deformation on the gasket will lead to loosening of the clamping force of the bolts. By setting the zero clamping force as the index of failure, discuss if the allowable moment of flange joints defined by ASME B&PV Code is applicable for this case. This study is divided into two parts. In the first part, we found that the leakage phenomenon happened in the quasi static test of RHR pipeline. Then, a simplified component test is going to examine all the components in the flange joint. After finding that the gasket is the most critical component by a comparison test, we study the mechanism between the deformation and loading on it. After then, by taking the experimental data into the FEM input and creating the numerical model of those pipeline in experiments. By comparing the FEM results and the experiment data measured, we can make sure that the deformation behavior of the gasket accounts for the loosening in clamping force of the bolts. We build the piping system taking the gasket behavior into account, and setting both static and dynamic analysis. By comparing the results of the analysis and experiment data, it is concluded that the analysis is fitting reasonably well. By the end of the study, we’ll make an analysis to predict if the ASME piping PV code is suitable for this case.
44
ZHANG, WAN-QING, i 張萬慶. "A study on the verification of nuclear power plant emergency operating procedure tracking system". Thesis, 1991. http://ndltd.ncl.edu.tw/handle/72112636489060072205.
Pełny tekst źródła
45
Shou-Sei, Ma, i 馬紹仕. "Small Break LOCA Analyses and Related EOP Verifications of Maanshan Nuclear Power Plant". Thesis, 1993. http://ndltd.ncl.edu.tw/handle/79237319196870416598.
Pełny tekst źródła
46
Chao, Hsi-Ya, i 趙璽雅. "Three-Dimensional Dose Verification for Intensity-Modulated Radiation Therapy Treatment Plans Using NIPAM Gel Dosimeter". Thesis, 2014. http://ndltd.ncl.edu.tw/handle/99162921525297005611.
Pełny tekst źródłaStreszczenie:
碩士中臺科技大學
醫學影像暨放射科學系暨研究所
102
Purpose:Except the NIPAM polymer gel, dose verification in radiotherapy can only be performed in two-dimension using other modern measurement tools. Although the NIPAM polymer gel analyzed by magnetic resonance imaging (MRI) is the only one tool that can measure radiation dose and perform in three-dimension, this technique is still limited in clinical department of radiation oncology without MRI scanner. Recently, computed tomography (CT) is developed to analyze the NIPAM polymer gel. That can improve the 3D radiation dose verification development in general department of radiation oncology. In this study, we used the CT scanner in our department to create the gel dose curve that can perform the relationship of the radiation dose and the density of polymer gel. Materials and Methods:We made intensity modulated radiotherapy (IMRT) plans in home-designed phantom. The dose verifications of these treatment plans will be performed by both MatriXX and the NIPAM polymer gel, and the dose differences with the treatment planning system was estemated. This study present the 3D measurement of dose distribution delivered using IMRT technique and NIPAM polymer gel with X-ray CT as the dose reading tool. The changes of dose response curve between one-field exposure vs multiple-field exposure and X-ray CT vs CBCT were also analyzed in this study. Results:The images acquired with X-ray CT are less noisy and with fewer artifact than those acquired with CBCT. The passing rate of Gamma Index (3%/3mm or 5%/5mm or 7%/7mm) in high dose region (80% prescribed dose) and medium dose region (30~80% prescribed dose) are all larger than 90%. The sensitivity of the dose response curve in one-field exposure is 0.503CTN/Gy, and would be improved to 0.667CTN/Gy in multiple-field exposure. Conclusion:The CT scanner is more convenient, which can be used to analyzed the NIPAN polymer gel and increase the potential of the NIPAN polymer gel used in dose verification in radiotherapy.
47
Lu, Jun-Jen, i 盧俊仁. "Design, Verification and Risk Assessment of FPGA-based Instrumentation &; Control System for Nuclear Power Plant". Thesis, 2015. http://ndltd.ncl.edu.tw/handle/04796854005867308489.
Pełny tekst źródłaStreszczenie:
博士國立清華大學
工程與系統科學系
104
The instrumentation and control (I&;C) systems for the Lungmen nuclear power plant are fully digitized based on microprocessor and software technology, and extensively utilize multiplexing networks. That is, undetectable software faults and common cause failures due to software errors may occur, and that will defeat the redundancy of a nuclear power plant (NPP). A diverse backup implementation for the digital I&;C systems is an important means to defense against undetectable software faults. This research is to explore the feasibility and preliminary design of using FPGA-based instrumentation and control systems for nuclear power plants (PWR type Maanshan NPP and ABWR type Lungmen NPP). First, this research explores a concepture design of using FPGA-based triple-redundant system for Anticipated-Transient-Without-Scam Mitigation System and Actuation Circuit (AMSAC) for Taipower’s Maanshan PWR type NPP. A simulated interface between AMSAC system and simplifed reactor/plant systems is developed to provide a test environment to validate the triple-redundant FPGA-based system. Second, this paper presents a new feed-water controller under the automatic power regulating system (APR) for Taipower’s Lungmen ABWR type NPP (LMNPP). The new feed-water controller is designed by using a rule-based hierarchical fuzzy logic control algorithm and is implemented by using the modern FPGA technology. The FPGA-based feed-water controller is integrated into the LMNPP’s full-scope engineering simulator with APR system for validation and performance evaluation. Under automatic power maneuvers, two trajectories in the power/flow map have been tested and compared with the origin design. The transient response and the steady state tracking capability are evaluated and showed satisfactory results. The results demonstrate that the FPGA-based hierarchical fuzzy logic controller is a practical approach for automatic power operations in advanced nuclear power plant applications. Third, this paper presents the system assessment of a quad-redundant RPS system design for Taipower’s Lungmen ABWR type NPP by utilizing FPGA technology. The FPGA-based RPS system has been assessed by using the LMNPP’s full-scope engineering simulator. Accident scenarios and abnormal conditions are inserted into the engineering simulator in order to activate the function of the FPGA-based RPS. The assessment results demonstrate that the FPGA-based nuclear instrumentation and control system is a practical approach to implement a diverse backup for nuclear power plant applications and can easily be used for the modernization of Taipower’s nuclear power plant analog systems. The software-free FPGA-based system may reduce the safety risk of undetectable software faults and common cause failures, and also minimize the regulatory licensing efforts and cost. Final, the sensitivity study of probabilistic risk assessment (PRA) shows that RPS combined with ARI (Alternative Rod Insertion) contributes significant influence on the core damage frequency (CDF) calculation of LMNPP. The PRA sensitivity study is independent of the RPS technology.
48
Chang, Yi Chung, i 張義忠. "A Study of Building Plant Layout Strategy: The Case of a Verification Field Test of Small Aerogenerator". Thesis, 2014. http://ndltd.ncl.edu.tw/handle/ca5687.
Pełny tekst źródłaStreszczenie:
碩士國立高雄應用科技大學
工業工程與管理系碩士在職專班
102
In recent decades, with fossil energy depletion and energy demand growing with each passing day, it has caused the earth's greenhouse effect and climate anomaly, and seriously affected the living environment of mankind. Thus, the human being must continuously develop green energy, among which the wind turbine industry is an example. In this respect, Taiwan’s small wind turbine industry chain is complete. If the testing verification factory of small wind turbine can be well built, the business owners can reduce cost, enhance competitiveness and connect with the international. The site selection of wind turbine test field, theoretically the best is a large area of flat land can be afforded. But in practicality you often cannot find a flat terrain or the coherent landforms of land. Plus, if the uneven land needs to be leveled, it may cost a very big money and become infeasible. In academic papers, the plant layout studies are huge, but they lean much toward the discussion of process layout and product layout. This paper drawing on the location layout related study of wind turbine explores the building strategy of fixed position layout. The purpose aims to establish the correction method of wind turbine test, through which it can quantify the influence of landforms and obstacles, and further find out the current revision coefficient of effective measurement sector of the wind turbine test field to lower the landforms and obstacles influence on the measurement of power performance and then select the best plant layout. Keywords: Greenhouse Effect, Climate Anomaly, Wind Turbine Industry, Plant Layout, Fixed Position Layout
49
Liu, Yen-Cheng, i 劉彥呈. "Simulation and Verification Methodology of RESRAD Computer Code for Residual Radioactive Contamination of Decommissioning Nuclear Power Plant". Thesis, 2018. http://ndltd.ncl.edu.tw/handle/s67grb.
Pełny tekst źródła
50
林慶逸. "Using the “Fire Prevention and Emergency Evacuation Safety Verification Method” to Evaluate the Emergency Evacuation Plans of Hospital Surgery Departments". Thesis, 2012. http://ndltd.ncl.edu.tw/handle/91959246437966020640.
Pełny tekst źródłaStreszczenie:
碩士逢甲大學
建築學系
101
Hospital patients generally have more limited mobility than the average citizen, and thus move more slowly when evacuating a building in an emergency. The problem is particularly serious in the case of patients in the surgery department, who will often have been anaesthetized, and will thus be incapable of evacuating without assistance. Due to concerns regarding the safety of surgery department patients, when hospitals hold emergency evacuation drills they usually exclude the surgery department from participation in the drill. This creates a situation where it is not possible to appraise the effectiveness of the emergency evacuation plan for the surgery department. The main aim of the present study is to develop a method for verifying the efficacy of surgery department emergency evacuation plans. The present study seeks to explore the appropriateness of hospitals’ emergency response planning, with the goal of ensuring that, when a hospital implements its emergency evacuation plan, it is possible to complete the safe evacuation of all patients from the surgery department within the specified time period. The “Fire Prevention and Emergency Evacuation Safety Verification Method” is used to examine the impact of surgery department spatial design and other factors that could affect safety in the case of emergency evacuation. Integrated analysis is undertaken with respect to the spatial layout of the surgery department, the smoke barrier layout, the evacuation routes, and the emergency response plan, and practical, realistic strategies are proposed for surgery department evacuation. The present study incorporates a case study of three regional teaching hospitals in Central Taiwan. A review of the literature is used to develop a basic foundation for the research in terms of the relevant hospital building codes, hospital building plans, and hospital emergency response plans. This basic data was then used in the implementation of on-site field surveys to examine the spatial layout of surgery departments and the circulation routes within the department, and the “Fire Prevention and Emergency Evacuation Safety Verification Method” was used to evaluate the emergency response plans that had been formulated by the hospitals in question, so as to be able to develop more concrete conclusions that can serve as a reference for the revision and adjustment of hospital emergency response plans. On the basis of the data collected, the analysis performed, and the results of verification using the “Fire Prevention and Emergency Evacuation Safety Verification Method,” it is apparent that, as things stand at present, if a fire were to break out at any of the three hospitals studied, they would not be able to evacuate patients and staff from their respective surgery departments within a safe period of time. It is suggested that the following improvements should be made to the hospital buildings: 1. At least two rooms within the surgery department should have direct access to fire escapes. 2. The ends of the corridors within the surgery department should have direct access to fire escapes. 3. The distance that patients and staff need to walk to evacuate from the surgery department should be less than 20 meters. 4. The floor on which the surgery department is located should be equipped with an emergency evacuation balcony. Keywords：Surgery department; emergency evacuation; Fire Prevention and Emergency Evacuation Safety Verification Method