Engineering Commons^™

Irrelevance, Polymorphism, And Erasure In Type Theory, Richard Nathan Mishra-Linger

Dissertations and Theses

Dependent type theory is a proven technology for verified functional programming in which programs and their correctness proofs may be developed using the same rules in a single formal system. In practice, large portions of programs developed in this way have no computational relevance to the ultimate result of the program and should therefore be removed prior to program execution. In previous work on identifying and removing irrelevant portions of programs, computational irrelevance is usually treated as an intrinsic property of program expressions. We find that such an approach forces programmers to maintain two copies of commonly used datatypes: a ...

Window Queries Over Data Streams, Jin Li

Dissertations and Theses

Evaluating queries over data streams has become an appealing way to support various stream-processing applications. Window queries are commonly used in many stream applications. In a window query, certain query operators, especially blocking operators and stateful operators, appear in their windowed versions. Previous research work in evaluating window queries typically requires ordered streams and this order requirement limits the implementations of window operators and also carries performance penalties. This thesis presents efficient and flexible algorithms for evaluating window queries. We first present a new data model for streams, progressing streams, that separates stream progress from physical-arrival order. Then, we present ...

Design Of Radio-Frequency Filters And Oscillators In Deep-Submicron Cmos Technology, Haiqiao Xiao

Dissertations and Theses

Radio-frequency filters and oscillators are widely used in wireless communication and high-speed digital systems, and they are mostly built on passive integrated inductors, which occupy a relative large silicon area. This research attempted to implement filters and oscillators operating at 1-5 GHz using transistors only, to reduce the circuits’ area. The filters and oscillators are designed using active inductors, based on the gyrator principle; they are fabricated in standard digital CMOS technology to be compatible with logic circuits and further lower the cost. To obtain the highest operating frequency, only parasitic capacitors were used.

Two new active-inductor circuits are derived ...

Semantic Components: A Model For Enhancing Retrieval Of Domain- Specific Information, Susan Loucette Price

Dissertations and Theses

Despite the success of general Internet search engines, information retrieval remains an incompletely solved problem. Our research focuses on supporting domain experts when they search domain-specific libraries to satisfy targeted information needs. The semantic components model introduces a schema specific to a particular document collection. A semantic component schema consists of a two-level hierarchy, document classes and semantic components. A document class represents a document grouping, such as topic type or document purpose. A semantic component is a characteristic type of information that occurs in a particular document class and represents an important aspect of the document’s main topic ...

Coupling The Hydrodynamic And Water Quality Model Ce-Qual-W2 With A Multi-Trophic Fish Bio-Energetics Model For Lake Roosevelt, Washington, Michael Lee Mckillip

Dissertations and Theses

Grand Coulee Dam created Franklin D. Roosevelt Lake as part of the Columbia Basin Project. Located in northeastern Washington State, the Project provides economically important hydropower (19 billion kilowatt hours per year), irrigation (225,000 ha), flood control, and sport fishing ($5 to 20 million annually). A good system understanding aids in balancing these beneficial uses for the 230 km long reservoir. The reservoir's atypical 45-day mean residence time is much shorter than a typical lake, and much longer than for a riverine dam. The spring freshet requires drawdowns of 15 to 20 m for flood control—the driving ...