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 17 of 17 for “"Code verification"”.
-
Machine Code Verification Using The Bogor Framework
Verification and validation of embedded systems software is tedious and time consuming. Software model checking uses a tool-based approach automating this process. In order to more accurately model software it is necessary to provide hardware support that enables the execution of software as it …
-
Code Verification and Numerical Accuracy Assessment for Finite Volume CFD Codes
A detailed code verification study of an unstructured finite volume Computational Fluid Dynamics (CFD) code is performed. The Method of Manufactured Solutions is used to generate exact solutions for the Euler and Navier-Stokes equations to verify the correctness of the code through order of …
-
CPU/GPU Code Acceleration on Heterogeneous Systems and Code Verification for CFD Applications
… scientific computing community. In addition to code acceleration, it is important to ensure that the code and algorithm are implemented numerically correctly, which is called code verification. This dissertation focuses on accelerating research CFD codes on multi-CPUs/GPUs using MPI and OpenACC, …
-
Analytical and Numerical Methods Applied to Nonlinear Vessel Dynamics and Code Verification for Chaotic Systems
In this dissertation, the extended Melnikov's method has been applied to several nonlinear ship dynamics models, which are related to the new generation of stability criteria in the International Maritime Organization (IMO). The advantage of this extended Melnikov's method is it overcomes the …
-
Verification of Compressible and Incompressible Computational Fluid Dynamics Codes and Residual-based Mesh Adaptation
Code verification is the process of ensuring, to the degree possible, that there are no algorithm deficiencies and coding mistakes (bugs) in a scientific computing simulation. In this work, techniques are presented for performing code verification of boundary conditions commonly used in …
-
Improving Smart Contracts Management and Designs for Blockchain Systems
… as smart cities, vaccination certificates, and code verification, by which the blockchain increases individuals’ trust in the application processes, as has been proven in academia. Most blockchain platforms, such as Ethereum and Hyperledger, utilize smart contracts to interact with their …
-
Análise termo-elasto-plástica de componentes de equipamentos industriais em microcomputadores
… thermal analysis are discussed, and examples for code verification are also presented, running them on a 640 kb PC/XT computer.
-
An All-in-One Debugging Approach: Java Debugging, Execution Visualization and Verification
… intermediate results by injecting our own bytecode, which does not affect the source code, and, through a two-step data processing mechanism, these data will be aggregated, structured and parallel processed for the purpose of replay in high fidelity while keeping the overhead at a satisfactory …
-
Validation of Plant Buzz Operational Data Using Serpent-DYN3D Sequence
… irradiation period involves the use of lattice codes followed by a nodal diffusion core solver. In this thesis, the Monte Carlo-based SERPENT code is coupled to the nodal diffusion code, DYN3D. The validation data focused on five cycles, and the analysis itself focused on the three benchmarking …
-
Transient modeling of host rock for a deep borehole nuclear waste repository
… options were adjusted for best performance. Code verification was performed on Rayleigh-Bnard convection in a porous medium. Cross-code validation was performed between the FALCON code and the FEHM code on a single borehole test case, and the thermal results were further compared to …
-
Large Eddy Simulation of Supersonic Twin-Jet Impingement Using a Fifth-Order WENO Scheme
… scheme is used to advance the solution in time. Code verification is achieved by comparison with flat-plate boundary-layer linear stability analysis, and computational data by Bendiks <i>et al.</i> (Bendiks <i>et al.</i>, 1999). for a compressible turbulent round jet. Instantaneous flow, mean …
-
The Effect of Anomalous Resistivity on the Electrothermal Instability
… solids to plasmas. This dissertation presents a code-code verification study to effectively model the ETI. Specifically, this study provides verification cases which ensure the unit physics components essential to modeling ETI are accurate. This provides a way for fluid-based codes to simulate …
-
A Study of Heat and Mass Transfer in Porous Sorbent Particles
… previous CHT implementations using IBM. Detailed code verification and validation studies are carried out to demonstrate the accuracy of the developed method. The developed IBM scheme is used in conjunction with a stochastic reconstruction procedure based on simulated annealing. The developed …
-
Application of Improved Truncation Error Estimation Techniques to Adjoint Based Error Estimation and Grid Adaptation
… In order to complete this work, a new CFD code incorporating a variety of best practices from the field of Computer Science is developed as well as a new method of performing code verification using the method of manufactured solutions which is significantly easier to implement than …
-
Dynamic Fracture of Adhesively Bonded Composite Structures Using Cohesive Zone Models
… a material model to be used in an explicit code (LS-DYNA). Dynamic simulations of the standard test configurations for Mode I (Double Cantilever Beam) and Mode II (End Load Split) are carried out using the explicit code. Verification of these coupon tests leads to the crash analysis of …
-
Optimization Under Uncertainty and Total Predictive Uncertainty for a Tractor-Trailer Base-Drag Reduction Device
… design is obtained. That process includes verification and validation of the flow solver, a less complex but much broader 2-D pathfinder study, and the culminating 3-D aerodynamic shape optimization under uncertainty (OUU) study. To gain confidence in the accuracy and precision of a …
-
Explicit-State Model Checking of Concurrent x86-64 Assembly
The thesis presents xavier, a novel tool-set for model checking of concurrent x86-64 assembly programs, via Partial Order Reduction (POR). xavier{} presents a realistic platform for systematically exploring and analyzing the state-space of concurrent x86 assembly programs, with the aim of detecting …