Physical Sciences and Mathematics Commons^™

Porting The Sisal Functional Language To Distributed-Memory Multiprocessors, Jui-Yuan Ku

Dissertations

Parallel computing is becoming increasingly ubiquitous in recent years. The sizes of application problems continuously increase for solving real-world problems. Distributed-memory multiprocessors have been regarded as a viable architecture of scalable and economical design for building large scale parallel machines. While these parallel machines can provide computational capabilities, programming such large-scale machines is often very difficult due to many practical issues including parallelization, data distribution, workload distribution, and remote memory latency.

This thesis proposes to solve the programmability and performance issues of distributed-memory machines using the Sisal functional language. The programs written in Sisal will be automatically parallelized, scheduled and …

Flame Dynamics In Steady Strained Flows, Zili Huang

Dissertations

In this dissertation, the response of a premixed flame to time-dependent strained flow fields is investigated. Because of the potential application to turbulent combustion modeling, the main focus is on the particular case of a flame in stagnation point flow with an imposed oscillatory strain rate. The flame is modeled as a hydrodynamic discontinuity separating burned from unburned gasses. To complete the formulation of the problem, conditions relating the fluid variables across the flame front are needed, as is a flame speed equation that determines the evolution of the discontinuity. These conditions are derived through asymptotic analysis of the flame …

Dynamical Systems Associated With Particle Flow Models : Theory And Numerical Methods, Roman V. Samulyak

Dissertations

A new class of integro - partial differential equation models is derived for the prediction of granular flow dynamics. These models are obtained using a novel limiting averaging method (inspired by techniques employed in the derivation of infinite-dimensional dynamical systems models) on the Newtonian equations of motion of a many-particle system incorporating widely used inelastic particle-particle force formulas. By using Taylor series expansions, these models can be approximated by a system of partial differential equations of the Navier-Stokes type. Solutions of the new models for granular flows down inclined planes and in vibrating beds are compared with known experimental and …

Automatic Document Classification And Extraction System (Adoces), Xuhong Li

Dissertations

Document processing is a critical element of office automation. Document image processing begins from the Optical Character Recognition (OCR) phase with complex processing for document classification and extraction. Document classification is a process that classifies an incoming document into a particular predefined document type. Document extraction is a process that extracts information pertinent to the users from the content of a document and assigns the information as the values of the “logical structure” of the document type. Therefore, after document classification and extraction, a paper document will be represented in its digital form instead of its original image file format, …

Knowledge Management For Texpros, Jianshun Hu

Dissertations

Most of the document processing systems today have applied Al technologies to support their system intelligent behaviors. For the application of Al technologies in such systems, the core problem is how to represent and manage different kinds of knowledge to support their inference engine components' functionalities. In other words, knowledge management has become a critical issue in the document processing systems. In this dissertation, within the scope of the TEXt PROcessing System (TEXPROS), we identify knowledge of various kinds that are applicable in the system. We investigate several problems of managing this knowledge and then develop a knowledge base for …

Pattern Discovery In Trees : Algorithms And Applications To Document And Scientific Data Management, Chia-Yo Chang

Dissertations

Ordered, labeled trees are trees in which each node has a label and the left-to-right order of its children (if it has any) is fixed. Such trees have many applications in vision, pattern recognition, molecular biology and natural language processing.

In this dissertation we present algorithms for finding patterns in the ordered labeled trees. Specifically we study the largest approximately common substructure (LACS) problem for such trees. We consider a substructure of a tree T to be a connected subgraph of T. Given two trees T₁, T₂ and an integer d, the LACS problem is to find …

A New-Generation Class Of Parallel Architectures And Their Performance Evaluation, Qian Wang

Dissertations

The development of computers with hundreds or thousands of processors and capability for very high performance is absolutely essential for many computation problems, such as weather modeling, fluid dynamics, and aerodynamics. Several interconnection networks have been proposed for parallel computers. Nevertheless, the majority of them are plagued by rather poor topological properties that result in large memory latencies for DSM (Distributed Shared-Memory) computers. On the other hand, scalable networks with very good topological properties are often impossible to build because of their prohibitively high VLSI (e.g., wiring) complexity. Such a network is the generalized hypercube (GH). The GH supports full-connectivity …

Modeling Controlled Vocabularies Using Oodbs And Multilevel Area Diagrams, Li-Min Liu

Dissertations

A Controlled Vocabulary (CV) is a software system of domain knowledge that consolidates and unifies the terminology of a large application domain. With a common, centralized CV, costly and time-consuming translations can be eliminated between pairs of organizations and pairs of software systems. Unfortunately, the more knowledge we put into a CV, the harder it is to understand and maintain it. In this dissertation, a comprehensive theoretical methodology for modeling CVs using Object-Oriented Database (OODB) technology is presented. We present two methods for representing a semantic network CV as an equivalent OODB, which we call an Object-Oriented Vocabulary Repository (OOVR). …

Periodicity And Disorder, Simeon D. Simeonov

Dissertations

We have studied four examples of periodicity and disorder in nature and the phenomena associated with them.

In the first chapter of the dissertation we present an introduction to this work.

In the second chapter, the photonic band structures of two types of zinc blend structures are computed using the plane wave expansion method. Both structures are formed from an array of dielectric spheres in a vacuum background. In a first type zinc blend structure the spheres have the same size but different dielectric constants. In a second type of structure we keep the dielectric contrast of the spheres the …

Domain Architecture A Design Framework For System Development And Integration, Vassilka D. Kirova

Dissertations

The ever growing complexity of software systems has revealed many short-comings in existing software engineering practices and has raised interest in architecture-driven software development. A system's architecture provides a model of the system that suppresses implementation detail, allowing the architects to concentrate on the analysis and decisions that are most critical to structuring the system to satisfy its requirements. Recently, interests of researchers and practi-tioners have shifted from individual system architectures to architectures for classes of software systems which provide more general, reusable solutions to the issues of overall system organization, interoperability, and allocation of services to system components. These …

Parallelization For Image Processing Algorithms Based Chain And Mid-Crack Codes, Wai-Tak Wong

Dissertations

Freeman chain code is a widely-used description for a contour image. Another mid-crack code algorithm was proposed as a more precise method for image representation. We have developed a coding algorithm which is suitable to generate either chain code description or mid-crack code description by switching between two different tables. Since there is a strong urge to use parallel processing in image related problems, a parallel coding algorithm is implemented. This algorithm is developed on a pyramid architecture and a N cube architecture. Using link-list data structure and neighbor identification, the algorithm gains efficiency because no sorting or neighborhood pairing …

A Methodology For Component-Based System Integration, Yongming Tang

Dissertations

Component-based software based on software architectures is emerging to be the next generation software development paradigm. The paradigm shifts the development focus from lines-of-codes to coarser-grained components and the interconnections among them. It consists of system architecture design, architecture description, component search and system integration from components to generate a software system.

However, one of the bottlenecks in this paradigm is the integration of the individual components into the overall system. In this dissertation a methodology for component-based system integration is proposed. It is based on an architectural aggregation view, a component model, flowgraphs and cyclomatic complexity. We introduce this …

Oxidation Of Dimethyl-Ether And Ethylene In The Atmosphere And Combustion Environment And Thermodynamic Studies On Hydrofluorocarbons Using Ab Initio Calculation Methods, Takahiro Yamada

Dissertations

Reaction pathways and kinetics are analyzed on CH₃OC·H₂ unimolecular decay and on the complete CH₃OC·H₂ + O₂ reaction system using thermodynamic properties (ΔH_f°₂₉₈, S°₂₉₈, and C(T) 300≤T/K≤1500) derived by two ab initio calculation methods, CBS-q and G2. These are used to determine thermodynamic properties of reactants, intermediate radicals and transition state (TS) compounds. Quantum Rice-Ramsperger-Kassel (QRRK) analysis is used to calculate energy dependent rate constants, k(E), and master equation is used to account for collisional stabilization. Comparison of calculated fall-off with experiment indicates that the CBS-q and …

A Theoretical Study Of Bubble Motion In Surfactant Solutions, Yanping Wang

Dissertations

We examine the effect of surfactants on a spherical gas bubble rising steadily in an infinite fluid at low and order one Reynolds number with order one and larger Peclet numbers. Our mathematical model is based on the Navier-Stokes equations coupled with a convection-diffusion equation together with appropriate interfacial conditions. The nonlinearity of the equations and boundary conditions, and the coupling between hydrodynamics and surfactant transport make the problem very challenging.

When a bubble rises in a fluid containing surface-active agents, surfactant adsorbs onto the bubble surface at the leading edge, convects to the trailing edge by the surface flow …

A Resource Allocation Mechanism Based On Cost Function Synthesis In Complex Systems, Carlos C. Amaro

Dissertations

While the management of resources in computer systems can greatly impact the usefulness and integrity of the system, finding an optimal solution to the management problem is unfortunately NP hard. Adding to the complexity, today's 'modern' systems - such as in multimedia, medical, and military systems - may be, and often are, comprised of interacting real and non-real-time components. In addition, these systems can be driven by a host of non-functional objectives – often differing not only in nature, importance, and form, but also in dimensional units and range, and themselves interacting in complex ways. We refer to systems exhibiting …

Microwave Heating Of Fluid/Solid Layers : A Study Of Hydrodynamic Stability And Melting Front Propagation, John Gilchrist

Dissertations

In this work we study the effects of externally induced heating on the dynamics of fluid layers, and materials composed of two phases separated by a thermally driven moving front. One novel aspect of our study is in the nature of the external source, which is provided by the action of microwaves acting on dielectric materials. The main challenge is to model and solve systems of differential equations, which couple fluid dynamical motions (the Navie- Stokes equations for nonisothermal flows) and electromagnetic wave propagation (governed by Maxwell's equations).

When an electromagnetic wave impinges on a material, energy is generated within …

Emissivity Measurements And Modeling Of Silicon Related Materials And Structures, Sufian Abedrabbo

Dissertations

The objective of this dissertation is to investigate the major issues concerning applications of pyrometry for applications in rapid thermal processing (RTP) of silicon related materials. The research highlights of this work are:

Establishment of spectral ernissometry as a novel, reliable and reproducible technique for:

Determination of wavelength and temperature dependent reflectivity, transmissivity, emissivity and temperature, simultaneously, of silicon related materials and structures. The emissometer operates in the wavelength range of 1-20mm and temperature range of 300-1200K. The analysis of the influence of morphological effects on the radiative properties by measurement of (a) front-smooth incidence versus backside-rough incidence of singleside …

A Folder Organization Model For Information Systems : Exploring Its Architectural Expressive Power And Predicate-Based Filing, Simon Doong

Dissertations

This dissertation presents an Internal Folder Organization (I-ORG) which supplements the architectural deficiencies of the existing model - the User Folder Organization (U-ORG), to electronically model a person's filing system in the modern office environment. An I-ORG folder organization gives a logical representation of how documents of the same or different kinds are related and grouped into folders based on predefined premises. Our model is represented by a Rooted Direct Acyclic Graph (RDAG). Each node in the graph represents a folder; and folders are related by "subfolder relationship" (for capturing the "and" relation) and "virtual-folder relationship" (for capturing the "or" …

A Graph Based Process Model Measurement Framework Using Scheduling Theory, Gary Guang-Li Mou

Dissertations

Software development processes, as a means of ensuring software quality and productivity, have been widely accepted within the software development community; software process modeling, on the other hand, continues to be a subject of interest in the research community. Even with organizations that have achieved higher SEI maturity levels, processes are by and large described in documents and reinforced as guidelines or laws governing software development activities. The lack of industry-wide adaptation of software process modeling as part of development activities can be attributed to two major reasons: lack of forecast power in the (software) process modeling and lack of …

A Generalization Of Cayley Graphs For Finite Fields, Dawn M. Jones

Dissertations

A central question in the area of topological graph theory is to find the genus of a given graph. In particular, the genus parameter has been studied for Cayley graphs. A Cayley graph is a representation of a group and a fixed generating set for that group. A group is said to be planar if there is a generating set which produces a planar Cayley graph. We say that a group is toroidal if there is a generating set that produces a toroidal Cayley graph and if there are no generating sets which produce a planar Cayley graph. Characterizations for …

Angle-Resolved Studies Of Inner Shell Excitations For Argon, Krypton And Xenon Using Third Generation Synchrotron Sources, Ahmad H. Farhat

Dissertations

This dissertation, which is in the area of atomic physics, concentrates on the study of the interaction between VUV-soft X-ray radiation and atoms in the gas phase. The main area of interest is the study of Auger decay in atoms utilizing the process known as the resonance Auger effect, where an inner shell electron is excited to an unfilled orbital followed by the ejection of an Auger electron. The measurements in this thesis were performed by using the high resolution Atomic, Molecular and Optical Physics undulator beam line, which utilizes a spherical grating monochromator at the Advanced Light Source at …

A Study Of The Knowledge Structure Of Expert, Intermediate, And Novice Subjects In The Domain Of Physics, Jennifer L. Discenna

Dissertations

The objective of this research was to investigate the knowledge structure in physics by describing the knowledge of experts, intermediates, and novices. A review of the literature on expertise, physics knowledge, and conceptual structure provided two competing representations of physics knowledge: one defined as a hierarchy of models arranged from general to specific models, the second defined by theories which link knowledge together.

In order to investigate the two representations described above, a reiterative categorization task was employed. This task resulted in a hierarchical sort with larger piles at the top of the hierarchy and smaller piles at the bottom …

Units In Integral Group Rings For Direct Products, Richard M. Low

Dissertations

Given a finite group G and the ring of integers, one can form the integral group ring ZG . A natural problem to investigate is to find a description of the group of units for this ring ZG. Since the unit problem for integral group rings arises in the contexts of algebraic topology, number theory, and algebra, it is an important question to try to answer. For this reason, it has drawn the attention of researchers from diverse areas of mathematics.

Graham Higman (circa 1940) made substantial contributions to the solution of this problem, in the case where G was …

Perturbed Hamiltonian System Of Two Parameters With Several Turning Points, Myeong Joon Ann

Dissertations

No abstract provided.

Surface Models Of Finite Geometries, Ramon Manuel Figueroa-Centeno

Dissertations

The standard non-Euclidean geometries, hyperbolic geometry and elliptical geometry, both arise by negating the parallel postulate of Euclid. Both these geometries share with Euclidean geometries an infinitude of points and lines. But also possible are many finite geometries. Among these are the class of projective geometries PG(m,q) of projective dimension m (m > 2) and the k-configurations. These mathematical objects, although primarily geometric in nature, provide related structures of combinatorial interest: block designs. These have applications in scheduling problems and the design of experiments for statistical analysis. Recently, A. T. White has added a topological flavor to the study …

Electron Emission Following The Interaction Of Slow Highly Charged Ions With Solids, Joseph W. Mcdonald

Dissertations

The interaction of highly-charged ions with surfaces involves many excitation processes of the surface atoms and the bulk material. One such process, the emission of electrons from surfaces due to the potential energy of the incident ions has been studied. The experimental results presented here confirm that the majority of electrons emitted as a result of highly-charged ions interacting with a solid surface have energies of about 20 eV. Auger processes contribute a smaller fraction of the total emitted electrons with increasing Z o f the projectile. This contribution to the total electron emission yield is found to be less …

The Intelligent Browser For Texpros, Chih-Ying Wang

Dissertations

Browsing is a technique, which helps users to formulate their query and retrieve information in the information retrieval system. This technique provides users with capabilities of understanding their information needs and gaining system knowledge during the course of the browsing and thus it eases the users' burden when issuing queries. The basic components of the browser provides an underlying structure which allows users to navigate and a browsing process controller which provides users with the needed assistance during each browsing session.

In this dissertation, a new infrastructure (OP-Net), transformed from the existing object network is proposed. Each object in the …

Knowledge-Based Document Filing For Texpros, Xien Fan

Dissertations

This dissertation presents a knowledge-based document filing system for TEXPROS. The requirements of a. personal document processing system are investigated. In order for the system to be used in various application domains, a flexible, dynamic modeling approach is employed by getting the user involved in document modeling. The office documents are described using a dual-model which consists of a document type hierarchy and a folder organization. The document type hierarchy is used to capture the layout, logical and conceptual structures of documents. The folder organization, which is defined by the user, emulates the real world structure for organizing and storing …

Groundwater Hydraulics And Slope Stability Analysis: Elements For Prediction Of Shoreline Recession, William W. Montgomery

Dissertations

Studies documenting the roles that geologic materials and groundwater play in Great Lakes bluff recession are rare. This study reports findings concerning relationships between bluff lithology, bluff hydrology, and bluff recession along a 10-mile stretch of eastern Lake Michigan shoreline in heterogeneous Pleistocene deposes. According to a newly-developed, field-tested, GIS-based methodology, bluffs in the study area can be characterized lithologically as sand, clay, or mixed sand/clay, and can be characterized hydrologically as exhibiting either high head or low head.

Geotechnical analysis indicates that Atterberg limits, index properties, consolidation state, and drainage conditions affect the shear strength of bluff materials. Silty …

A Paleoclimatic Study Of The Midwestern United States From The Stahle Isotope Records In Lake Sediments, Norman Alan Lovan

Dissertations

No abstract provided.