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 “"Verification Method"”.
-
Design, Fabrication and Testing of Diffractive Multifocal Intraocular Lens (MIOL)
… fabrication technique, and performance verification method associated with the diffractive MIOLs will be reported and discussed in this presentation. Two examples will be provided as a demonstration for the capability in the creation of diffractive MIOLs
-
Evaluating the Skillfulness of the Hurricane Analysis and Forecast System (HAFS) Forecasts for Tropical Cyclone Precipitation using an Object-Based Methodology
… forecasts can be improved through precipitation verification as the model weaknesses are identified. In this study, the Hurricane Analysis and Forecast System (HAFS), an experimental NOAA hurricane model, is evaluated for its skillfulness in forecasting TC precipitation. An object-based …
-
Using Live Sequence Chart Specifications for Formal Verification
<p>Formal methods play an important part in the development as well as testing stages of software and hardware systems. A significant and often overlooked part of the process is the development of specifications and correctness requirements for the system under test. Traditionally, English has been …
-
Predicate Diagrams as Basis for the Verification of Reactive Systems
… Diagrams integrate deductive and algorithmic verification techniques for the verification of finite and infinite-state systems, thus combining the expressive power and flexibility of deduction with the automation provided by algorithmic methods. Our formal framework for the specification and …
-
Road sign recognition
A method for recognizing road signs in street scene images is proposed. We first developed a fast region growing segmentation method, combined with a 1NN smoothing filter, to work on color and produce robust segmentation results even when the image is noisy. An effective color distance measurement …
-
Improvements to Enhance The Security and Reliability of Crowdsourced Spectrum Access Systems and Cognitive Radio Networks
… of existing regulatory frameworks, coordination methods, and interference mitigation strategies provides context for the research contributions that follow. To enhance trust in user-reported data, the Whisper Key Location Verification method is introduced. It validates the physical location of …
-
A context-aware method for verifying user identity in pervasive computing environments
… identity attacks. Selecting an appropriate verification method impacts on the system’s overall behaviour since it is a trade-off between security and usability. It is even more significant when that system is situated in a pervasive environment since this type of environment is more …
-
The use of conditional and potential instability axes for severe weather forceasting
… analysis and verified using two independent methods. Skill metrics calculated for the forecasts determined there is significant positive skill of the forecast technique. As a side note, this research attempted to determine the wavelength features (meso-a to meso-B ) that recorded the highest …
-
Certifiably correct SLAM
… difficulty by applying fast local optimization methods to compute a critical point of the MLE. While this approach has enabled significant advances in SLAM as a practical technology by admitting the development of fast and scalable estimation methods, it provides no guarantees on the quality of …
-
A formal methodology for the verification of concurrent systems
… hazardous systems points to an emphasis on the verification of the system relative to a suitably secure specification. However, the process of verification is often made more complex by the concurrency and real-time considerations which are inherent in many applications. A response to this is …
-
Integrating formal specification and verification methods in software development
… for integrating various formal specification and verification methods (predicate transition Petri nets, first order temporal logic, the algebraic, the axiomatic, the denotational, and the operational approaches) in software development has been developed. The model more effectively incorporates …
-
THE RACIAL SOCIALIZATION OF BELIEFS AND ATTITUDES REGARDING SKIN TONE IN A COHORT OF OLDER AFRICAN AMERICAN WOMEN: A PHENOMENOLOGICAL STUDY
… & Shorter-Gooden, 2004). Utilizing a qualitative methodological design, with a phenomenological orientation, the purpose of this study was to better understand the lived experiences of the racial socialization of skin tone in a cohort of older African American women. Twenty older African American …
-
Essays on the Equity Premium Puzzle
… distribution). I utilize the conjecture and verification method to find the form of the state valuation function. After calibrating the model’s parameters, I derive the conditions that enable the Equity Premium puzzle and / or the Volatility puzzle to exist, and then I find the RRA …
-
Verification and Enforcement of State-Based Notions of Opacity in Discrete Event Systems
… estimator, and show how the complexity of the verification method can be greatly reduced in the special case when the set of secret states is invariant (i.e., it does not change over time). We also establish that the verification of initial-state opacity is a PSPACE-complete problem. In order …
-
Metrics, fundamental trade-offs and control policies for delay-sensitive applications in volatile environments
… of multiple heterogeneous wireless access methods with different access costs. Our objective is to analytically characterize the trade-off between usage cost and QoE metrics. We model each access network as a server that provides packets to the user according to a Poisson process with a …
-
Methodology to Validate Traffic Speed Deflection Devices (TSDDs) Measurements Using Laser Doppler Vibrometers (LDV) Sensors
… validity procedures. This research proposes a methodology to verify TSDs deflection velocity measurements using non-contact multi-Laser Doppler Vibrometers (LDVs) as traceable reference sensors. The multi-LDV system, consisting of sensors similar to those used in TSDs operating within the …
-
Evaluación ambiental estratégica: desarrollo de un modelo metodológico para la evaluación de la sostenibilidad ambiental en la planificación urbanística
… chapter sets out the thesis objectives and the methodology used. In order to determine the objectives, the thesis starts with a Conceptual Model based on EU and Spanish Strategic Environmental Assessment (SEA) regulations; and a Meta-model to show how the SEA process requires knowledge of three …