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 11 of 11 for “"Forward simulation"”.
-
The ChainQueen differentiable physics engine
… our simulator achieves high precision in both forward simulation and backward gradient computation. We have successfully employed it in a diverse set of control tasks for soft robots, including problems with nearly 3, 000 decision variables.
-
Learning compositional dynamics models for model-based control
… outperform current learnable physics engines in forward simulation, but also achieve superior performance on various control tasks, such as manipulating a pile of boxes, a cup of water, and a deformable foam, with experiments both in simulation and in the real world. Compared with existing …
-
Modeling and theoretical design methods for directed self-assembly of thin film block copolymer systems
… Modeling techniques based on field theoretic simulations are used to both characterize and predict the morphological behavior of a variety of BCPs under a variety of processing conditions including solvent annealing and DSA under topographical boundary conditions. These methods aid …
-
Stability and robustness of adaptive controllers for underactuated Lagrangian systems and robotic networks
… of robustness, is explored using numerical simulations, estimation of the time-delay margin of an equivalent linear, time-invariant system, and parameter continuation for Hopf bifurcation analysis. This dissertation also performs theoretical study of the delay robustness of the control …
-
Acoustical characterization of glacierized fjords
… The inferred surface was incorporated into a forward simulation of the environment using BELLHOP, a ray tracing code. The measured data and simulated results were compared, providing insight to the shape and reflection characteristics of brash ice. Nearly continuous acoustic data was collected …
-
Microwave Tomography Using Stochastic Optimization And High Performance Computing
… Finite Difference Time Domain (FDTD) forward solver in conjunction with non-linear stochastic optimization based inverse solvers. Because such solvers require very heavy computation, their investigation has been limited in favour of deterministic inverse solvers that make use of …
-
Exploring Temporal and Spatial Correlations on Circuit Variables for Enhancing Simulation-based Test Generation
… we target three related problems in simulation-based Design Verification and Testing: Sequential ATPG (Automatic Test Pattern Generation), Unbounded Model Checking (UMC) of safety properties, and low power testing for full-scan sequential circuits. We model these three problems as …
-
Techniques for Foundational End-to-End Verification of Systems Stacks
… behavior and nondeterminism, and enable forward-simulation compiler correctness proofs with nondeterministic languages, whereas previous approaches need to fall back to the much less convenient backward simulations if support for nondeterminism is needed. Live Verification is proposed, a …
-
Study of reactive flow, ground deformation and real-time tomography with applications on CO₂ sequestration
… rate in the horizontal pipe is 0.2 Mt/km/yr. Simulation with a constitutive law that incorporates these estimates shows the difference between the surface uplift from the injection in the carbonate reservoir and the poroelastic response are negligible given the resolution of geodetic …
-
Novel Application of Nondestructive Testing to Evaluate Anomalous Conditions in Drilled Shafts and the Geologic Materials Underlying Their Excavations
Drilled shafts are deep foundation elements created by excavating cylindrical shafts into the ground and filling them with concrete. Given the types of structures they support, failure to meet their performance criteria can jeopardize public safety and cause severe financial losses. Consequently, …
-
Disentangling the chemodynamical history of the Milky Way disc with asteroseismology and spectroscopy
… be modelled with a computer. A realistic simulation must take into account cosmology and gravitation as well as effects of plasma, nuclear, and particle physics that occur on very different time, length, and energy scales. The Milky Way is the ideal test bench for such simulations, because …