Browsing Theses by Title
Now showing items 6023-6042 of 15570
-
Formability Characterization of Sheet Metals using the Angular Stretch Bend Test
(University of Waterloo, 2023-06-15)This thesis investigates the mechanics of the angular stretch bend test (ASBT) and analytical models using three different advanced high strength steels (AHSS) and finite element simulation. The three steels, 590R, 3rd Gen ... -
FORMABILITY OF ADVANCED HIGH STRENGTH STEEL TUBES IN TUBE BENDING AND HYDROFORMING
(University of Waterloo, 2007-09-25)An investigation of the tube hydroforming process is conducted in order to understand the effect of pre-bending operation on formability in tube hydroforming and assess the application of the newly developed Extended ... -
Formability of Aluminum Alloy Sheet at Elevated Temperature
(University of Waterloo, 2012-09-26)An experimental and numerical study of the isothermal and non-isothermal warm formability of an AA3003 aluminum alloy brazing sheet is presented. Forming limit diagrams were determined using warm limiting dome height (LDH) ... -
Formability of Polycarbonate
(University of Waterloo, 2009-01-13)Current thermoplastic processing techniques involve high capital costs for moulds and significant use of energy to melt or soften the materials. Single-step process cold forming techniques, such as stretch forming, could ... -
Formal Hypothesis Testing for Prospective Hydrological Model Improvements
(University of Waterloo, 2016-10-31)New algorithms for simulating hydrological processes are regularly proposed in the hydrological literature. However, the tests used to evaluate the effectiveness of these algorithms are typically no more than history ... -
Formal Methods in Quantum Circuit Design
(University of Waterloo, 2019-02-26)The design and compilation of correct, efficient quantum circuits is integral to the future operation of quantum computers. This thesis makes contributions to the problems of optimizing and verifying quantum circuits, with ... -
Formal Semantics and Mechanized Soundness Proof for Fast Gradually Typed JavaScript
(University of Waterloo, 2018-08-31)As dynamic scripting languages are increasingly used in industry in large-scale projects, a need has arisen for more some of the convenient features of statically typed languages. This led to the development of gradual ... -
Formal Verification of Instruction Dependencies in Microprocessors
(University of Waterloo, 2011-08-19)In microprocessors, achieving an efficient utilization of the execution units is a key factor in improving performance. However, maintaining an uninterrupted flow of instructions is a challenge due to the data and control ... -
A Formalism for Visual Query Interface Design
(University of Waterloo, 2009-01-15)The massive volumes and the huge variety of large knowledge bases make information exploration and analysis difficult. An important activity is data filtering and selection, in which both querying and visualization play ... -
A Formalization of an Extended Object Model Using Views
(University of Waterloo, 2000)Reuse of software designs, experience and components is essential to making substantial improvements in software productivity, development cost, and quality. However, the many facets of reuse are still rarely used in ... -
Formalizing the Excluded Minor Characterization of Binary Matroids in the Lean Theorem Prover
(University of Waterloo, 2024-01-23)A matroid is a mathematical object that generalizes the notion of linear independence of a set of vectors to an abstract independence of sets, with applications to optimization, linear algebra, graph theory, and algebraic ... -
Formation and Characteristics of Microstructures from PEM Fuel Cell Catalyst Ink Drying
(University of Waterloo, 2015-08-17)In this study, the process of catalyst ink drops drying in room air is investigated experimentally, which is key to the fabrication of, hence the microstructure formation in, the catalyst layers of polymer electrolyte ... -
Formation and Field-switching Dynamics of Nematic Droplets
(University of Waterloo, 2017-08-23)Liquid crystals (LCs) refer to a class of materials which have anisotropic properties. They are used in many technological applications ranging from displays to biological sensors. One example of a category of technologically ... -
Formation and Removal of SOx and NOx in Pressurized Oxy-fuel Coal Combustion
(University of Waterloo, 2019-02-19)Growing concerns over greenhouse gas emissions have driven extensive research in carbon capture, storage and sequestration. Oxy-fuel combustion is a promising technology in CO2 capture, as the combustion products consists ... -
The Formation and Run-off of Condensate on a Vertical Glass Surface: An Experimental Study
(University of Waterloo, 2007-01-23)An experimental study of condensate was performed by exposing a sheet of glass, cooled at its bottom edge, to an enclosure with a controlled environment. The air in the enclosure was maintained at a constant relative ... -
Formation Control of Multi-agent Systems via Impulsive Strategy
(University of Waterloo, 2023-09-08)Multi-agent systems (MASs) involving cooperative control problems such as consensus tracking of distributed networks, flocking control with obstacle avoidance, and attitude alignment have received a considerable amount of ... -
FormlSlicer: A Model Slicing Tool for Feature-rich State-machine Models
(University of Waterloo, 2015-06-04)A model of the feature-oriented requirements of a software system usually contains a large number of non-trivial features; each feature may have unintended interactions with other features. It may be difficult to comprehend ... -
forms of relief
(University of Waterloo, 2022-01-19)I am calling this paper, and the body of work that it supports: forms of relief. The word relief has a couple of meanings: in the sculptural sense, the Latin root word relievo means to “raise or to lighten”, visually ... -
Formulating Complex Queries Using Templates
(University of Waterloo, 2009-01-23)While many users have relatively general information needs, users who are familiar with a certain topic may have more specific or complex information needs. Such users already have some knowledge of a subject and its ... -
Formulation of a Path-Following Joint for Multibody System Dynamics
(University of Waterloo, 2015-03-23)The development and validation of a new multibody joint that constrains a body to follow a spatial path and an orientation defined by a user is presented. The resulting joint has a single degree of freedom (DOF), and ...