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 49 for “"Model verification"”.
-
Symbolic timing diagrams: a visual formalism for model verification
… formalism named STD which can be used to verify models of reactive systems. The presentation has three parts: First, an introduction and motivation is given. Second, a theoretical framework needed to describe the context of the design of STD is layed out. Third, the novel formalism itself is …
-
Application of distributed measurements for finite element model verification
… a rigorous comparison between a distributed model and distributed measurements that was not possible previously. The purpose of this work is to obtain and compare experimental and analytical distributed measurements for a simple structure excited by a point force (from a shaker) and by a …
-
A neural-symbolic system for temporal reasoning with application to model verification and learning
… and learning into a robust computational model is one of the key challenges in Computer Science and Artificial Intelligence. In particular, temporal models have been fundamental in describing the behaviour of Computational and Neural-Symbolic Systems. Furthermore, knowledge acquisition of …
-
Vacuum Assisted Resin Transfer Molding of Foam Sandwich Composite Materials: Process Development and Model Verification
… prove costly and ineffective. Therefore, process modeling of the associated flow details and infiltration times can aide in manufacturing design and optimization. The purpose of this research was to develop a process using VARTM to resin infiltrate stitched and unstitched dry carbon fiber preforms …
-
Case study of a 39-story building : model verification and performance comparison with a semi-active device
… kind of problems. A 39 story building computer model is fully developed. Static and dynamic characteristics of the model obtained are compared with the data obtained from the original design and the wind tunnel results in order to show the accuracy of the computer model. Finally, a comparative …
-
A taxonomical review of software verification techniques: an illustration using discrete-event simulation
The use of simulation and modeling as a technique for solving today's complex problems is ever-increasing. Correspondingly, the demands placed on the software which serves as a computer-executable representation of the simulation model are increasing. With the increased complexity of simulation …
-
Modeling Fate and Transport of Nitrogen and Phosphorus in Crop Fields Under Tropical Conditions
Modeling is a very important tool for developing nonpoint source (NPS) pollution control plans. Current NPS models were developed for temperate conditions and, thus, do not appropriately represent tropical conditions. The objective of this research was to develop or adapt a nonpoint source …
-
Development of HEC-HMS and HEC-RAS models for urban floodplain mapping and flood damage reduction in Brownsville, Texas
… project was to develop hydrologic and hydraulic models for the floodplain analysis for Brownsville, Texas and analyze mitigation alternatives within a Geographic Information Systems (GIS) and digital data framework. This framework allowed for flexible manipulation of data and easy interpretation …
-
Transient analysis of six-phase synchronous machines
… supplies. This thesis presents a mathematical model for investigating the transient performance of a six-phase synchronous machine, and develops a model for the simulation of such machines with the EMTP. The effect of the mutual leakage coupling between the two sets of three-phase stator …
-
Structural analysis and optimization with a locally-Cartesian Hybrid Shell Model
The Hybrid Shell Model (HSM) is presented as an intermediate-fidelity structural model well suited for conceptual design of aerospace vehicles. Although significantly simpler and more economical than full 3D elasticity models, it can still capture full 3D geometries, large deformations, and …
-
Modeling and Feedback Control for a Guyed, Flexible, Tubular Lunar Tower
… of damaging the tower, a tenth-scale physical model of SELTI was designed and built for experimentation and analytical model verification. The system dynamics were approximated using a “first principles” second order model. The model’s step response was compared to reality to assess the model’s …
-
Moisture distribution in soil irrigated with a line source subsurface trickle irrigation system
… was an Uchee loamy sand. The Continuous System Modeling Program (CSMP) Model was used to simulate the soil moisture distribution resulting from the linesource. The model was modified and developed in FORTRAN programming language. The modification included the effects of layered soil, source …
-
A Numerical Model for Flux Decline During the Crossflow Ultrafiltration of Colloidal Suspensions
… filtration. A step-wise pseudo steady-state model was developed to predict the flux decline due to concentration polarization during crossflow ultrafiltration. An iterative algorithm was employed to predict the amount of flux decline for each finite time interval until the true steady-state …
-
A Framework for Executable Systems Modeling
<p>Systems Modeling Language (SysML), like its parent language, the Unified Modeling Language (UML), consists of a number of independently derived model languages (i.e. state charts, activity models etc.) which have been co-opted into a single modeling framework. This, together with the lack of an …
-
Automated verification of model-based programs under uncertainty
… about their environment. Those that employ the model-based autonomy paradigm automatically diagnose and plan future actions, based on models of themselves and their environment. This includes autonomous systems that must operate in harsh and dynamic environments, like, deep space. Such systems …
-
A model of the winding and curing processes for filament wound composites
… investigation was to develop a two-dimensional model which describes the winding and curing processes of filament wound composite structures. The model was developed in two parts. The first part is the cure model which relates the cure temperature, applied at the boundaries of the composite, to …
-
The development and use of aircraft evacuation modelling as a viable tool for the certification and safety analysis of passenger aircraft
Evacuation modelling technology offers designers and regulators of aircraft new opportunities to rigorously test designs and theories. However, before evacuation models can be used effectively they need to be understood by the regulatory and aviation industry, validated and developed further. This …
-
Construction and characterization of removable and reusable piezoelectric actuators
… well suited for actuator performance testing and model verification since attaching the actuator is time-consuming, removing the actuator is difficult, and the actuator is destroyed when it is removed. We present three alternate techniques for bonding flat piezoelectric patch-type actuators to …
-
Construction 4.0 Digital Maturity Model Development
… Artificial Intelligence, Building Information Modelling, the Internet of Things, and Construction Robotics, to address productivity and sustainability challenges. Despite technological advancements, a significant research gap exists in developing a systematic approach to integrate diverse …
-
Humic Substances Removal by Activated Carbon
… The application of a developed mathematical model to predict the performance of the carbon bed for the adsorption of humic substances was successful. Model parameter estimation techniques and model verification were evaluated and the applicability of the model was verified. In general, this …
Page 1 of 3