Physical Sciences and Mathematics Commons^™

Responding To Policies At Runtime In Trustbuilder, Bryan J. Smith

Theses and Dissertations

Automated trust negotiation is the process of establishing trust between entities with no prior relationship through the iterative disclosure of digital credentials. One approach to negotiating trust is for the participants to exchange access control policies to inform each other of the requirements for establishing trust. When a policy is received at runtime, a compliance checker determines which credentials satisfy the policy so they can be disclosed. In situations where several sets of credentials satisfy a policy and some of the credentials are sensitive, a compliance checker that generates all the sets is necessary to insure that the negotiation succeeds …

Analysis Of Clinically Important Compounds Using Electrophoretic Separation Techniques Coupled To Time-Of-Flight Mass Spectrometry, Zlatuse Durda Peterson

Theses and Dissertations

Capillary electrophoretic (CE) separations were successfully coupled to time-of-flight mass spectrometric (TOFMS) detection for the analysis of three families of biological compounds that act as mediators and/or indicators of disease, namely, catecholamines (dopamine, epinephrine, norepinephrine) and their O-methoxylated metabolites (3-methoxytyramine, norepinephrine, and normetanephrine), indolamines (serotonin, tryptophan, and 5-hydroxytryptophan), and angiotensin peptides. While electrophoretic separation techniques provided high separation efficiency, mass spectrometric detection afforded specificity unsurpassed by other types of detectors.

Both catecholamines and indolamines are present in body fluids at concentrations that make it possible for them to be determined by capillary zone electrophoresis coupled to TOFMS without employing any …

Query Rewriting For Extracting Data Behind Html Forms, Xueqi Chen

Theses and Dissertations

Much of the information on the Web is stored in specialized searchable databases and can only be accessed by interacting with a form or a series of forms. As a result, enabling automated agents and Web crawlers to interact with form-based interfaces designed primarily for humans is of great value. This thesis describes a system that can fill out Web forms automatically according to a given user query against a global schema for an application domain and, to the extent possible, extract just the relevant data behind these Web forms. Experimental results on two application domains show that the approach …

Aggressive Telecommunications Overbooking Ratios, Robert Ball, Mark J. Clement, Casey T. Deccio, Feng Huang, Quinn O. Snell

Faculty Publications

The Internet is comprised of vast networks of wires and fiber. A common misconception is that there is an unlimited amount of bandwidth; in reality there exists only a finite amount. Each length of wire and fiber is owned by a company, and every company wants to maximize its profit. One means of improving profit is to overbook existing transmission lines in order to increase income without increasing expenses. If too much overbooking is performed, the Quality of Service (QoS) seen by customers will decline. This paper explains a process to achieve an optimal Overbooking Ratio (OR) for admission control …

A Piecewise Linear Approach To Overbooking, Robert Ball, Mark J. Clement, Casey T. Deccio, Feng Huang, Quinn O. Snell

Faculty Publications

Overbooking is frequently used to increase the revenue generated by a network infrastructure without incurring additional costs. If the overbooking factor is chosen appropriately, additional virtual circuits can be admitted without degrading quality of service for existing customers. Most implementations use a single factor to accept a linear fraction of traffic requests. If a piecewise linear approach is used in admissions, additional traffic can be accepted without causing proportional increases in loss rate and utilization. This additional accepted traffic can significantly improve the profit margin for network service providers.

Fast Registration Of Tabular Document Images Using The Fourier-Mellin Transform, Luke Alexander Daysh Hutchison

Theses and Dissertations

Image registration, the process of finding the transformation that best maps one image to another, is an important tool in document image processing. Having properly-aligned microfilm images can help in manual and automated content extraction, zoning, and batch compression of images. An image registration algorithm is presented that quickly identifies the global affine transformation (rotation, scale, translation and/or shear) that maps one tabular document image to another, using the Fourier-Mellin Transform. Each component of the affine transform is recovered independantly from the others, dramatically reducing the parameter space of the problem, and improving upon standard Fourier-Mellin Image Registration (FMIR), which …

Microsecond Spin-Flip Times In N-Gaas Measured By Time-Resolved Polarization Of Photoluminescence, John S. Colton, T. A. Kennedy, A. S. Bracker, D. Gammon

Faculty Publications

We have observed microsecond spin-flip times in lightly doped n-GaAs, by measuring the photoluminescence polarization in the time domain with pump and probe pulses. Times up to 1.4 μs have been measured. Our results as a function of magnetic field indicated three regions governing the spin relaxation: a low field region, where spin-flip times increase due to suppression of the nuclear hyperfine interaction for localized electrons, a medium field region where spin-flip times increase due to narrowing of the hyperfine relaxation for interacting electrons, and a high field region where spin-flip times begin to level off due to the increasing …

Dynamic Autonomous Transport Selection In Heterogeneous Wireless Environments, Jeffrey M. Brown, Heidi R. Duffin, Charles D. Knutson, Shannon B. Barnes, Ryan W. Woodings

Faculty Publications

In this paper, we introduce Quality of Transport (QoT), an architecture for synergistically and autonomously managing session-layer protocol access to multiple transports in heterogeneous wireless environments. We present an overview of the QoT architecture including: 1) transport discovery, 2) service discovery, 3) object exchange, 4) transport switching, and 5) intelligent transport selection. Preliminary successes with our design and implementation of QoT suggest that dynamic intelligent autonomous transport switching can help to optimize user experience and session layer performance in multi-transport environments.

Prioritized Soft Constraint Satisfaction: A Qualitative Method For Dynamic Transport Selection In Heterogeneous Wireless Environments, Heidi R. Duffin, Michael A. Goodrich, Charles D. Knutson

Faculty Publications

This paper presents Prioritized Soft Constraint Satisfaction (PSCS), a novel approach to selecting the “best” transport in dynamic wireless transport switching systems. PSCS maintains a satisfying connection to another endpoint by choosing transports based on a user-established range of preferences and priority for criteria such as speed, power, range and cost. Additionally, feedback is provided regarding tradeoffs among the criteria, thus enabling the user to adjust inputs according to the capabilities of the system. We also recommend guidelines for setting preferences and priorities.

A Forbidden Subgraph Characterization Problem And A Minimal-Element Subset Of Universal Graph Classes, Michael D. Barrus

Theses and Dissertations

The direct sum of a finite number of graph classes H_1, ..., H_k is defined as the set of all graphs formed by taking the union of graphs from each of the H_i. The join of these graph classes is similarly defined as the set of all graphs formed by taking the join of graphs from each of the H_i. In this paper we show that if each H_i has a forbidden subgraph characterization then the direct sum and join of these H_i also have forbidden subgraph characterizations. We provide various results which in many cases allow us to exactly …

Active Minimization Of Acoustic Energy Density In A Mock Tractor Cab, Benjamin Mahonri Faber

Theses and Dissertations

An active noise control (ANC) system has been applied to the problem of attenuating low-frequency tonal noise inside small enclosures. The intended target application of the system was the reduction of the engine firing frequency inside heavy equipment cabins. The ANC system was based on a version of the filtered-x LMS adaptive algorithm, modified for the minimization of acoustic energy density (ED), rather than the more traditional minimization of squared acoustic pressure (SP). Three loudspeakers produced control signals within a mock cabin composed of a steel frame with plywood sides and a Plexiglas® front. An energy density sensor, capable of …

Problems Related To The Zermelo And Extended Zermelo Model, Benjamin Zachary Webb

Theses and Dissertations

In this thesis we consider a few results related to the Zermelo and Extended Zermelo Model as well as outline some partial results and open problems related thereto. First we will analyze a discrete dynamical system considering under what conditions the convergence of this dynamical system predicts the outcome of the Extended Zermelo Model. In the following chapter we will focus on the Zermelo Model by giving a method for simplifying the derivation of Zermelo ratings for tournaments in terms of specific types of strongly connected components. Following this, the idea of stability of a tournament will be discussed and …

Lattices And Their Applications To Rational Elliptic Surfaces, Gretchen Rimmasch

Theses and Dissertations

This thesis discusses some of the invariants of rational elliptic surfaces, namely the Mordell-Weil Group, Mordell-Weil Lattice, and another lattice which will be called the Shioda Lattice. It will begin with a brief overview of rational elliptic surfaces, followed by a discussion of lattices, root systems and Dynkin diagrams. Known results of several authors will then be applied to determine the groups and lattices associated with a given rational elliptic surface, along with a discussion of the uses of these groups and lattices in classifying surfaces.

Boron Alloying In Gan, Gus L. W. Hart, Laurian Escalanti

Faculty Publications

Using first-principles calculations in the local density approximation, we studied effects of adding up to 6% boron to zinc-blende GaN. We found that the band gap increases monotonically with boron incorporation, in agreement with experiment. A composition-independent band-gap bowing parameter of 4.30 eV was determined, and proved to be large compared to bowing for other mixed cation systems. The formation enthalpy of mixing, ΔH, was determined for BxGa1-xN, BxGa1-xAs, and GaAs1-xNx. A comparison of enthalpies indicates that the production of BxGa1-xN films with boron concentrations of at least 5% may be possible.

Derivation Of Moving-Coil Loudspeaker Parameters Using Plane Wave Tube Techniques, Brian Eric Anderson

Theses and Dissertations

Small-signal moving-coil loudspeaker driver parameters are traditionally derived through electrical impedance measurement techniques. These parameters are commonly called Thiele/Small parameters, after Neville Thiele and Richard Small who are credited with developing industry-standard loudspeaker modeling techniques. However, because loudspeaker drivers are electro-mechano-acoustical transducers, it should be possible to measure their parameters in physical domains other than the electrical domain. A method of measuring loudspeaker parameters from the acoustical domain will be developed. The technique uses a plane wave tube to measure acoustical properties of a baffled driver under test. Quantities such as the transmission loss through the driver are measured for …

A Thermoviscoelastic Beam Model For Brakes, Kenneth Kuttler, J. Bajkowski, J. R. Fernandez, M. Shillor

Faculty Publications

A model for the dynamic thermomechanical behavior of a viscoelastic beam which is in frictional contact with a rigid rotating wheel is presented. It describes a simple braking system in which the wheel comes to a stop as a result of the frictional traction generated by the beam. Friction is modelled with a temperature and slip rate dependent coefficient of friction. Frictional heat generation is taken into account as well as the wheel temperature evolution, and the wear of the beam's contacting end. The model is formulated as a variational inequality. A FEM numerical scheme for the model is described, …

Fast Registration Of Tabular Document Images Using The Fourier-Mellin Transform, William A. Barrett, Luke A. D. Hutchison

Faculty Publications

A new technique is presented for quickly identifying global affine transformations applied to tabular document images, and to correct for those transformations. This technique, based on the Fourier-Mellin transform, is used to register (align) a set of tabular documents to each other. Each component of the affine transform is handled separately, which dramatically reduces the total parameter space of the problem. This method is robust, and deals with all components of the affine transform in a uniform way. The Fourier-Mellin transform is also extended to handle shear, which can approximate a small amount of perspective distortion, and to not need …

Uranium Oxide As A Highly Reflective Coating From 100-400 Ev, Richard L. Sandberg, David D. Allred, Luke J. Bissell, Jed E. Johnson, R. Steven Turley

Faculty Publications

We present the measured reflectances (Beamline 6.3.2, ALS and LBNL) of naturally oxidized uranium and naturally oxidized nickel thin films from 100-460 eV (2.7 to 11.6 nm) at 5 and 15 degrees grazing incidence. These show that uranium as UO2, can fulfill its promise as the highest known single surface reflector for this portion of the soft x-ray region, being nearly twice as reflective as nickel in the 124-250 eV (5-10 nm) region. This is due to its large index of refraction coupled with low absorption. Nickel is commonly used in soft x-ray applications in astronomy and synchrotrons. (Its reflectance …

Integrating Perception, Language And Problem Solving In A Cognitive Agent For A Mobile Robot., Deryle W. Lonsdale, D. Paul Benjamin, Damian M. Lyons

Faculty Publications

We are implementing a unified cognitive architecture for a mobile robot. Our goal is to endow a robot agent with the full range of cognitive abilities, including perception, use of natural language, learning and the ability to solve complex problems. The perspective of this work is that an architecture based on a unified theory of robot cognition has the best chance of attaining human-level performance.

This agent architecture is an integration of three theories: a theory of cognition embodied in the Soar system, the RS formal model of sensorimotor activity and an algebraic theory of decomposition and reformulation.

These three …

Digital Mountain: From Granite Archive To Global Access, William A. Barrett, Luke A. D. Hutchison, Douglas J. Kennard, Heath E. Nielson, Dallan Quass

Faculty Publications

Large-scale, multi-terabyte digital libraries are becoming feasible due to decreasing costs of storage, CPU, and bandwidth. However, costs associated with preparing content for input into the library remain high due to the amount of human labor required. This paper describes the Digital Microfilm Pipeline – a sequence of image processing operations used to populate a large-scale digital library from a “mountain” of microfilm and reduce the human labor involved. Essential parts of the pipeline include algorithms for document zoning and labeling, consensus-based template creation, reversal of geometric transformations and Just-In-Time Browsing, an interactive technique for progressive access of image content …

Guided Model Checking With A Bayesian Meta-Heuristic, Michael D. Jones, Peter Lamborn, Kevin Seppi

Faculty Publications

This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by applying the Empirical Bayes method to revise heuristic estimates of the distance from a given state to an error state. Guided search using the revised estimates finds errors with less search effort than the original estimates.

Self-Aligned Mechanical Attachment Of Carbon Nanotubes To Silicon Dioxide Structures By Selective Silicon Dioxide Chemical-Vapor Deposition, Jed D. Whittaker, Ghaleb A. Husseini, Matthew A. Linford, Robert C. Davis, Markus Brink

Faculty Publications

A self-aligned thin-film deposition technique was developed to mechanically attach carbon nanotubes to surfaces for the fabrication of structurally robust nanotube-based nanomechanical devices. Single-walled carbon nanotubes were grown by thermal chemical-vapor deposition (CVD) across 150-nm-wide SiO2 trenches. The nanotubes were mechanically attached to the trench tops by selective silicon tetraacetate-based SiO2 CVD. No film was deposited on the nanotubes where they were suspended across the trenches.

A Study Of The Suitability Of Irobex For High-Speed Exchange Of Large Data Objects, Casey T. Deccio, Joseph Ekstrom, Charles D. Knutson, D. Ryan Partridge, Kevin B. Tew

Faculty Publications

This paper demonstrates that careful tuning of the OBEX and IrLAP negotiated parameters allows OBEX to scale well for use with large data objects and high transmission rates. Due to the substantial time overhead inherent in link turnarounds, minimizing turnarounds during the transmission of a large object helps to maximimize link efficiency. The IrLAP window size and OBEX packet size significantly impact the number of required turnarounds during the transmission of a large object. When these parameters are properly tuned, maximum throughput can be achieved, and OBEX performs efficiently at high data rates.

Delineation Of Mass Movement Prone Areas By Landsat 7 And Digitial Image Processing, Shiloh Marie Howland

Theses and Dissertations

The problem of whether Landsat 7 data could be used to delineate areas prone to mass movement, particularly debris flows and landslides, was examined using three techniques: change detection in NDVI (Normalized Difference Vegetation Index), change detection in band 5, and the tasseled cap transformation. These techniques were applied to areas that had recently experienced mass movement: Layton, Davis County and Alpine, Spanish Fork Canyon and Santaquin, Utah County. No distinctive spectral characteristics were found with any of these techniques with two possible explanations: 1. That despite improved spatial resolution in Landat 7 over its predecessors and improved digital image …

Long Coherence Times At 300 K For Nitrogen-Vacancy Center Spins In Diamond Grown By Chemical Vapor Deposition, John S. Colton, T. A. Kennedy, J. E. Butler, R. C. Linares, P.J. Doering

Faculty Publications

Electron-spin-echo experiments reveal phase-memory times as long as 58 μs at 300 K for nitrogen-vacancy centers in chemical vapor deposition (CVD) single crystals. The spins were optically polarized and optically detected. Two high-quality CVD samples were studied. From the current results, it is not clear whether these phase-memory times represent a fundamental limit or are limited by an external source of decoherence.

Ordering Tendencies In Octahedral Mgo-Zno Alloys, Gus L. W. Hart, Mahdi Sanati, Alex Zunger

Faculty Publications

Isostrutural II-VI alloys whose components are either rocksalt stable (e.g., CaO-MgO) or zincblende stable (e.g., ZnS-ZnSe) are known to be thermodynamically unstable at low temperatures, showing a miscibility gap and no bulk ordering. In contrast, we show that heterostructural MgO-ZnO is stable, under certain conditions, in the sixfold-coordinated structure for Zn concentrations below 67%, giving rise to spontaneously ordered alloys. Using first-principles calculations, we explain the origin of this stability, the structures of their low-temperature ordered phases, short-range-order patterns, and their optical band-gap properties.

Allowed Mesoscopic Point Group Symmetries In Domain Average Engineering Of Perovskite Ferroelectric Crystals, Dorian M. Hatch, H. T. Stokes, W. Cao

Faculty Publications

In multivariant systems, several energetically degenerate low temperature domain states can be produced at the structural phase transition. Coexistence of these domain states can produce mesoscopic structures that possess symmetries distinct from the microscopic single domain crystal symmetry. Such engineered domain structures in certain ferroelectric materials have been proven to give superior piezoelectric properties and extremely soft shear moduli. The objective of this article is to consider the variety of symmetries that can be produced through domain average engineering in proper ferroelectric systems arising from the cubic Pm[overline 3]m symmetry perovskite structure.

Trust Negotiation For Authentication And Authorization In Healthcare Information Systems, Charles D. Knutson, Kent E. Seamons, Tore L. Sundelin, David K. Vawdrey

Faculty Publications

The expanding availability of health information in an electronic format is strategic for industry-wide efforts to improve the quality and reduce the cnst of health care. The implementation of electronic medical record systems has been hindered by inadequate security provisions. This paper describes the use of frust negotiation as a framework for providing authentication and access control services in healthcare information systems. nust negotiation enables two parties with no pre-existing relationship to establish the trust necessary to perform sensitive transactions via the mutual disclosure of attributes contained within digital credentials. An extension of this system, surrogate irusf negoikiion is introduced …

Schema Matching And Data Extraction Over Html Tables, Cui Tao

Theses and Dissertations

Data on the Web in HTML tables is mostly structured, but we usually do not know the structure in advance. Thus, we cannot directly query for data of interest. We propose a solution to this problem for the case of mostly structured data in the form of HTML tables, based on document-independent extraction ontologies. The solution entails elements of table location and table understanding, data integration, and wrapper creation. Table location and understanding allows us to locate the table of interest, recognize attributes and values, pair attributes with values, and form records. Data-integration techniques allow us to match source records …

Target Sets: A Tool For Understanding And Predicting The Behavior Of Interacting Q-Learners, Nancy Fulda, Dan A. Ventura

Faculty Publications

Reinforcement learning agents that interact in a common environment frequently affect each others’ perceived transition and reward distributions. This can result in convergence of the agents to a sub-optimal equilibrium or even to a solution that is not an equilibrium at all. Several modifications to the Q-learning algorithm have been proposed which enable agents to converge to optimal equilibria under specified conditions. This paper presents the concept of target sets as an aid to understanding why these modifications have been successful and as a tool to assist in the development of new modifications which are applicable in a wider range …