Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 31 for “"Verification & Validation"”.
-
On Methodology for Verification, Validation and Uncertainty Quantification in Power Electronic Converters Modeling
… and simulation of power electronic converters. Verification, Validation, and Uncertainty quantification (VVandUQ) provides a means to quantify the disagreement between computational simulation results and experimental results in order to have quantitative comparisons instead of qualitative …
-
Verification, Validation and Application of Shear Stress Transport Transitional Model to a R/C Aircraft
<p>Accurate numerical prediction of transition onset as well as transition extent is crucial when evaluating the performance of many remotely controlled and autonomous aircraft. The four-equation Menter-Langtry Transitional viscous model in ANSYS Fluent is applied to a number of 2D and 3D airfoils …
-
A fluid loop actuator for active spacecraft attitude control - A Parametric Sizing Model and the Design, Verification, Validation and Test with a Prototype on an Air Bearing
Active spacecraft attitude control by using a pumped fluid as the inertial mass has potential advantages over reaction wheels, including high torque, lower power consumption, reduced jitter and prolonged lifetime. Previous work addressed conceptual and mission-specific control aspects, and one …
-
Advancing Veterinary Cytology with Deep Learning: Development, Validation, and Best Practices
… Yet, there is little information on test validation, verification, or how quality assurance should be maintained for these new diagnostics. Historically, in veterinary medicine, test validation and verification and quality assurance guidelines have been set forth by the American Society of …
-
The model analyzer: prototyping the diagnosis of discrete-event simulation model specifications
… about the model that may prove helpful in the verification, validation, and eventual translation of the model. With the help of a graphical user interface, the Model Analyzer provides automated and semi-automated support to the modeler. The Condition Specification, a world-view independent …
-
Security Requirements for the Prevention of Modern Software Vulnerabilities and a Process for Incorporation into Classic Software Development Lifecycles
… of security artifacts to support a comprehensive verification, validation, and testing (VV&T) strategy. Those artifacts are generic, and represent design and implementation elements reflecting software security requirements. The security artifacts are used in verification strategies to confirm …
-
Assessing Security Vulnerabilities: An Application of Partial and End-Game Verification and Validation
… of software systems. Partial and End-Game Verification, Validation, and Testing (VV&T) strategies utilize the violable constraints/assumptions and are established by this research as viable software security assessment tools. The application of Partial VV&T to the Horticulture Club Sales …
-
Computational Software for Building Biochemical Reaction Network Models with Differential Equations
… biological modeling that make model creation, verification, validation, and testing less of a struggle. This dissertation introduces computational software that automates parts of the biological modeling process, including model building, transformation, execution, analysis, and evaluation. …
-
Fission Multiplicity Distribution Sampling in MCNP6 Criticality Calculations
… using the expected-value outcome method and no verification-validation work has been done to date on using explicit fission neutron multiplicity models in MCNP6. To determine the effect of sampling fission multiplicity probability distributions during criticality (KCODE) calculations, it was …
-
Risk-Based Framework for Focused Assessment of System Dynamics Models
… qualities that support the achievement of verification, validation, and accreditation (VV&A) principles. A system dynamics model was developed as the apparatus for assessing the impacts of various modeling process risk management policies, including those found in the traditional system …
-
Applying Graph Theory to Conservation Documentation
… during this process contributed to a suite of verification, validation and calibration (VVC) practices for graph model creation, assessment, and refinement, including the use of graph theoretic algorithms. The outcome is a graph representation method for conservation data which includes …
-
Numerical simulations of die casting with uncertainty quantification and optimization using neural networks
… the effect of stochastic variation together with verification, validation, uncertainty quantification and design optimization is proposed. This framework includes high-speed numerical simulations of solidification, micro-structure and mechanical properties prediction models along with experimental …
-
Modeling of Power Electronics Distribution Systems with Low-frequency, Large-signal (LFLS) Models
… model (LFLS model). In addition, a complete Verification, Validation, and Uncertainty Quantification (VV&UQ) procedures is applied to a two-level boost rectifier. The goal of this validation process is the improvement of the modeling procedure for power electronics systems, and the full …
-
Validation and optimization of analog circuits using randomized search algorithms
… geometrics introduce new challenging problems in verification, validation, and optimization of analog circuits. These problems include test generation and compression, runtime monitoring and analyzing the worst-case behaviors. State of the art techniques in Monte Carlo are unable to address these …
-
A multi-scale, hierarchical approach to map the location and condition of riparian zones in the southern Rockies ecoregion
… been removed by human activities. Based on field verification/validation, my new method has an overall accuracy of 92% for potential riparian zones and 91% in the current riparian zones. Finally, the method I developed to predict riparian condition indicated that riparian zones in the Southern …
-
Modelling cardiopulmonary interactions. Towards anatomically detailed and physiologically accurate cardiorespiratory models
… The second part of this thesis focuses on the verification, validation and application of increasingly comprehensive physiological models, transitioning from a purely cardiovascular setting (the original ADAVN model), to anatomically and physiologically accurate descriptions of cardiopulmonary …
-
Determination of p53 role in cancer biology and therapy through interactome development and analysis
… some were validated by laboratory and literature verification. Validation of 4 PNPs were investigated in our laboratory using transient gene and protein knockdown, q-PCR and western blot analysis. Of these, 2 PNPs were in agreement with the models prediction.For further validation we superimposed …
-
Model Composition and Aggregation in Macromolecular Regulatory Networks
Mathematical models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large regulatory network models can be built up from smaller models, representing subsets of reactions within the larger network. This dissertation focuses on novel …
-
Progressive damage analysis for aerospace composite structures subjected to impact loads
L'abstract è presente nell'allegato / the abstract is in the attachment
Page 1 of 2