You limited your search to:

  Partner: UNT Libraries
 Decade: 1990-1999
 Collection: UNT Theses and Dissertations
An Algorithm for the PLA Equivalence Problem

An Algorithm for the PLA Equivalence Problem

Date: December 1995
Creator: Moon, Gyo Sik
Description: The Programmable Logic Array (PLA) has been widely used in the design of VLSI circuits and systems because of its regularity, flexibility, and simplicity. The equivalence problem is typically to verify that the final description of a circuit is functionally equivalent to its initial description. Verifying the functional equivalence of two descriptions is equivalent to proving their logical equivalence. This problem of pure logic is essential to circuit design. The most widely used technique to solve the problem is based on Binary Decision Diagram or BDD, proposed by Bryant in 1986. Unfortunately, BDD requires too much time and space to represent moderately large circuits for equivalence testing. We design and implement a new algorithm called the Cover-Merge Algorithm for the equivalence problem based on a divide-and-conquer strategy using the concept of cover and a derivational method. We prove that the algorithm is sound and complete. Because of the NP-completeness of the problem, we emphasize simplifications to reduce the search space or to avoid redundant computations. Simplification techniques are incorporated into the algorithm as an essential part to speed up the the derivation process. Two different sets of heuristics are developed for two opposite goals: one for the proof of equivalence ...
Contributing Partner: UNT Libraries
Alterations in Human Baroreceptor Reflex Regulation of Blood Pressure Following 15 Days of Simulated Microgravity Exposure

Alterations in Human Baroreceptor Reflex Regulation of Blood Pressure Following 15 Days of Simulated Microgravity Exposure

Date: August 1993
Creator: Crandall, Craig G. (Craig Gerald)
Description: Prolonged exposure to microgravity is known to invoke physiological changes which predispose individuals to orthostatic intolerance upon readaptation to the earth's gravitational field. Attenuated baroreflex responsiveness has been implicated in contributing to this inability to withstand orthostatic stress. To test this hypothesis, eight individuals were exposed to 15 days of simulated microgravity exposure using the 6° head-down bed rest model. Prior to, and after the simulated microgravity exposure, the following were assessed: a) aortic baroreflex function; b) carotid baroreflex function; c) cardiopulmonary baroreflex function; and d) the degree of interaction between the cardiopulmonary and carotid baroreflexes.
Contributing Partner: UNT Libraries
Alternative Funding Models for Financing Construction of Public School Facilities and Debt Retirement

Alternative Funding Models for Financing Construction of Public School Facilities and Debt Retirement

Date: December 1992
Creator: Rambo, Jack (Jack Howard)
Description: The main purpose of this study was to examine the various finance models that are presently being used to finance facilities and to provide information for the Texas legislature, the Texas Education Agency, and local school districts concerning facilities funding models that might be used in Texas. Based on the information gathered and analyzed, several conclusions are drawn and recommendations regarding state funding of capital projects in the State of Texas are made. The model recommended for Texas is one that provides for an equalized grant and includes formulas for the distribution of state money.
Contributing Partner: UNT Libraries
Aluminum and Copper Chemical Vapor Deposition on Fluoropolymer Dielectrics and Subsequent Interfacial Interactions

Aluminum and Copper Chemical Vapor Deposition on Fluoropolymer Dielectrics and Subsequent Interfacial Interactions

Date: December 1997
Creator: Sutcliffe, Ronald David
Description: This study is an investigation of the chemical vapor deposition (CVD) of aluminum and copper on fluoropolymer surfaces and the subsequent interfacial interactions.
Contributing Partner: UNT Libraries
Alzheimer's Disease and Attention: An Investigation into the Initial Stage of Information Processing

Alzheimer's Disease and Attention: An Investigation into the Initial Stage of Information Processing

Date: August 1990
Creator: Houtz, Andrew W.
Description: None
Contributing Partner: UNT Libraries
Ambiguity of Loss, Anticipatory Grief, and Boundary Ambiguity in Caregiver Spouses and Parents

Ambiguity of Loss, Anticipatory Grief, and Boundary Ambiguity in Caregiver Spouses and Parents

Date: August 1993
Creator: Rider, Jan, K. (Jan Kathleen)
Description: The purpose of the present cross-sectional study was to examine the effects of ambiguity of loss and type of caregiver-to-patient relationship on anticipatory grief, negative physical and psychological outcomes associated with grief, and boundary ambiguity in family caregivers of chronically ill patients. Questionnaires were completed by 23 parents of ill children and 30 spouses of ill mates. Using an original and a revised concept for level of ambiguity, partial support was found for the prediction that parents and spouses in high ambiguity of loss circumstances would report more anticipatory grief than those in low ambiguity ones. Contrary to prediction, a slight but nonsignificant trend occurred for parents and spouses in low ambiguity situations to report more negative physical and psychological effects associated with grief as well. Level of ambiguity was not found to impact boundary ambiguity as had been hypothesized. Spouses reported more boundary ambiguity than parents, regardless of level of ambiguity of the loss. Contrary to prediction that parents would report less anticipatory grief and more negative physical and psychological outcomes than spouses, generally, no significant differences were found between the two groups. However, using the original concept of ambiguity, parents did tend to recall more past grief than ...
Contributing Partner: UNT Libraries
The American Eve: Gender, Tragedy, and the American Dream

The American Eve: Gender, Tragedy, and the American Dream

Date: May 1993
Creator: Long, Kim Martin
Description: America has adopted as its own the Eden myth, which has provided the mythology of the American dream. This New Garden of America, consequently, has been a masculine garden because of its dependence on the myth of the Fall. Implied in the American dream is the idea of a garden without Eve, or at least without Eve's sin, traditionally associated with sexuality. Our canonical literature has reflected these attitudes of devaluing feminine power or making it a negative force: The Scarlet Letter, Moby-Dick, Adventures of Huckleberry Finn, The Great Gatsby, and The Sound and the Fury. To recreate the Garden myth, Americans have had to reimagine Eve as the idealized virgin, earth mother and life-giver, or as Adam's loyal helpmeet, the silent figurehead. But Eve resists her new roles: Hester Prynne embellishes her scarlet letter and does not leave Boston; the feminine forces in Moby-Dick defeat the monomaniacal masculinity of Ahab; Miss Watson, the Widow Douglas, and Aunt Sally's threat of civilization chase Huck off to the territory despite the beckoning of the feminine river; Daisy retreats unscathed into her "white palace" after Gatsby's death; and Caddy tours Europe on the arm of a Nazi officer long after Quentin's suicide, ...
Contributing Partner: UNT Libraries
American Grotesque from Nineteenth Century to Modernism: the Latter's Acceptance of the Exceptional

American Grotesque from Nineteenth Century to Modernism: the Latter's Acceptance of the Exceptional

Date: August 1994
Creator: Kisawadkorn, Kriengsak
Description: This dissertation explores a history of the grotesque and its meaning in art and literature along with those of its related term, the arabesque, since their co-existence, specifically in literature, is later treated by a well-known nineteenth-century American writer in Tales of the Grotesque and Arabesque- Theories or views of the grotesque (used in literature), both in Europe and America, belong to twelve theorists of different eras, ranging from the sixteenth century to the present period, especially Modernism (approximately from 1910 to 1945)--Rabelais, Hegel, Scott, Wright, Hugo, Symonds, Ruskin, Santayana, Kayser, Bakhtin, (William Van) O'Connor, and Spiegel. My study examines the grotesque in American literature, as treated by both nineteenth-century writers--Irving, Poe, Hawthorne, and, significantly, by modernist writers--Anderson, West, and Steinbeck in Northern (or non-Southern) literature; Faulkner, McCullers, and (Flannery) O'Connor in Southern literature. I survey several novels and short stories of these American writers for their grotesqueries in characterization and episodes. The grotesque, as treated by these earlier American writers is often despised, feared, or mistrusted by other characters, but is the opposite in modernist fiction.
Contributing Partner: UNT Libraries
American Indian Music in Elementary School Music Programs of Oklahoma : Repertoire, Authenticity and Instruction

American Indian Music in Elementary School Music Programs of Oklahoma : Repertoire, Authenticity and Instruction

Date: December 1998
Creator: Damm, Robert J., 1964-
Description: The purpose of this study was to determine the instructional methods of Oklahoma's elementary school music educators with respect to the inclusion of an authentic repertoire of American Indian music in the curriculum. The research was conducted through two methods. First, an analysis and review of adopted textbook series and pertinent supplemental resources on American Indian music was made. Second, a survey of K-6 grade elementary music specialists in Oklahoma during the 1997-1998 school year was conducted.
Contributing Partner: UNT Libraries
American Literary Pragmatism : Lighting Out for the Territory

American Literary Pragmatism : Lighting Out for the Territory

Date: August 1998
Creator: England, Peter S. (Peter Shands)
Description: This thesis discusses pragmatist philosophy in the nineteenth century and its effect on American literature of the time.
Contributing Partner: UNT Libraries