Digital Commons Network^™

Cs 466/666-01: Introduction To Formal Languages, Thomas Sudkamp

Computer Science & Engineering Syllabi

CS 466/666 is an introduction to formal language and automata theory. In this course we will examine methods for defining syntax of languages and recognizing patterns: the syntax of languages can be defined using grammars and patterns accepted by finite state machines. Along with presenting with fundamentals of these two topics, the course will develop and investigate the relationships between language definition and pattern recognition. The text will be the third edition of Languages and Machines: An Introduction to the Theory of Computer Science.

Algebraic Characterizations Of Graph Imbeddability In Surfaces And Pseudosurfaces, Lowell Abrams, Dan Slilaty

Mathematics and Statistics Faculty Publications

Given a finite connected graph G and specifications for a closed, connected pseudosurface, we characterize when G can be imbedded in a closed, connected pseudosurface with the given specifications. The specifications for the pseudosurface are: the number of face-connected components, the number of pinches, the number of crosscaps and handles, and the dimension of the first Z2-homology group. The characterizations are formulated in terms of the existence of a dual graph G ∗ on the same set of edges as G which satisfies algebraic conditions inspired by homology groups and their intersection products.

On Adaptive Testing In Orthogonal Saturated Designs, Daniel T. Voss, Weizhen Wang

Mathematics and Statistics Faculty Publications

Adaptive, size-a step-down tests are provided for the analysis of orthogonal saturated designs. The tests work effectively under effect sparsity, and include as special cases the individual nonadaptive tests of Berk and Picard (1991) and the simultaneous nonadaptive tests of Voss (1988). The approach is similar to that used by Wang and Voss (2003) to construct adaptive confidence intervals, but testing is simpler because one can use the same denominator for all statistics. Step-down tests also have a clear power advantage over simultaneous confidence intervals and analogous single-step tests, as is demonstrated theoretically and assessed via simulation.

Characterization And Interpretation Of The Cephalopod Marker Bed, Oakes Quarry Park, Fairborn, Ohio, Jessica Nicole Mcdonough

Browse all Theses and Dissertations

A distinct sequence of orange-brown, fossiliferous grainstones with interbedded blue mudstones exists in the upper portion of the Silurian-aged (Llandoverian) Brassfield Formation exposure at Oakes Quarry Park, Fairborn, Ohio. The unit is locally referred to as the cephalopod marker bed as it can be easily identified and is continuous throughout the quarry. The unit varies considerably in thickness (0.3m-0.9m) and contains a variety of sedimentary structures and fossils indicative of a warm, shallow marine environment subject to wave action. Dominant fossils within the unit include echinoderms, cephalopods, bryozoans, abraded mollusks, gastropods, brachiopods, and trilobites. Less-common fossil organisms within the unit …

Development Of A Fourier Transform Far Infrared (Ftfir) Spectrometer To Characterize Broadband Transmission Properties Of Common Materials In The Terahertz Region, William Paul Ford

Browse all Theses and Dissertations

With sub-millimeter wave or terahertz devices becoming more readily available, there is interest in developing sensors in this region of the spectra. To support this interest, we have developed a Fourier Transform Far InfraRed (FTFIR) spectrometer to characterize broadband transmission and reflectance coefficients of materials. The spectrometer utilizes a broadband blackbody source, a Michelson interferometer, and silicon bolometer. The path difference in the Michelson is obtained using a linear stage and data acquisition and stage control were both implemented in a Labview programming environment. The details of the experimental setup and experimental results are presented in this thesis. The instrument …

Fpga Frequency Domain Based Gps Coarse Acquisition Processor Using Fft, Cyprian D. Sajabi

Browse all Theses and Dissertations

The Global Positioning System or GPS is a satellite based technology that has gained widespread use worldwide in civilian and military applications. Direct Sequence Spread spectrum (DSSS) is the method whereby the data transmitted by the satellite and received by user is kept secure, low power and relatively noise-immune. The first step required in the GPS operation is to perform a lock on the incoming signal, both with respect to time synchronization and frequency resolution. Because of the need for reduced time to lock and also reduced hardware, algorithms based in the frequency domain have been developed. These algorithms take …

Design And Evaluation Of A Discrete Wavelet Transform Based Multi-Signal Receiver, Tony Chiang

Browse all Theses and Dissertations

General purpose receivers of today are designed with a broad bandwidth so that the receiver can accept a wide range of signal frequencies. These receivers usually accept one signal along with any interference that is included. To increase the signal detection capabilities of the wideband receiver, a design for a receiver that can detect two signals is needed. One of the requirements for this receiver is that the second weak signal needs to be processed in a timely manner so that the receiver can recognize it. To remedy the problem, a module was developed using wavelet-based techniques to remove spurs …

Dissipated Energy At A Bimaterial Crack Tip Under Cyclic Loading, Jeremy S. Daily

Browse all Theses and Dissertations

A new theory of fatigue crack growth in ductile solids has recently been proposed based on the total plastic energy dissipation per cycle ahead of the crack. This, and previous energy-based approaches in the literature, suggest that the total plastic dissipation per cycle can be closely correlated with fatigue crack growth rates under mode I loading. The goal of the current research is to extend the dissipated energy approach to steady-state crack growth under mixed-mode I/II loading conditions, with application to cyclic delamination of ductile bimaterial interfaces. Such systems can occur in brazing, soldering, welding, and a variety of layered …

Human-Centered Time-Pressured Decision Making In Dynamic Complex Systems, Subhashini Ganapathy

Browse all Theses and Dissertations

Many real-world applications are complex, dynamic, and uncertain. Human operators play an important role in ensuring the safety and in achieving operational effectiveness in such systems. During task performance, both humans and computerized processes bring in varying strengths and limitations. Research on human-centered automation in aviation, satellite ground control, and nuclear power plant control has resulted in broad guidelines on system design involving human and computerized processes in supervisory control. However, problems such as increased human error, lack of situational awareness, and opacity from poorly automated systems remain, particularly in scenarios where human operators must make decisions in time-pressured planning. …

Cognitively-Engineered Multisensor Data Fusion Systems For Military Applications, Amanda Christine Muller

Browse all Theses and Dissertations

The fusion of imagery from multiple sensors is a field of research that has been gaining prominence in the scientific community in recent years. The technical aspects of combining multisensory information have been and are currently being studied extensively. However, the cognitive aspects of multisensor data fusion have not received so much attention. Prior research in the field of cognitive engineering has shown that the cognitive aspects of any human-machine system should be taken into consideration in order to achieve systems that are both safe and useful. The goal of this research was to model how humans interpret multisensory data, …

Implementation Of A Multi-Layered Fuzzy Controller On An Fpga, Ajit Paal Singh Khatra

Browse all Theses and Dissertations

The uses of Autonomous Mobile robots range from the teleoperated Sojourner on the Mars Pathfinder mission to cleaning robots in the Paris Metro. They have overtaken tasks which are too difficult or dangerous to perform or require the repetition of the same procedure over and over again and can become dull for a human to perform. The objective of this thesis is to develop and implement a multilayered fuzzy controller on an FPGA for the navigational control of an autonomous mobile robot (AMR). The navigational algorithm assists the robot in navigating through complex environments of passages and hallways. The FPGA …

Direct Digital Frequency Synthesizer Implementation Using A High Speed Rom Alternative In Ibm 0.13u Technology, Matthew R. Gerald

Browse all Theses and Dissertations

The direct digital synthesizer is a method of signal generation with many benefits. DDS designs are able to switch frequencies very quickly and also tune precisely to many different frequencies with the use of a constant operating frequency. There is a need for a low power, high speed DDS in the form an ASIC design. One major bottleneck in common DDS systems is the slow access time of a ROM. There is also a need for a high speed ROM alternative. This thesis delivers a high speed ASIC Direct Digital Synthesizer which operates at a 1 GHz operating frequency. This …

A Comparison Of Agent-Based Optimization Approaches Applied To The Weapons To Targets Assignment Planning Problem, Hitesh Deepak Soneji

Browse all Theses and Dissertations

Real-world complex optimization problems are difficult to solve. Agent-based optimization approaches have proved useful in solving a wide variety of problems including optimization problems. Agent-based techniques can be used in military planning for solving allocation problems such as the weapons to targets assignment problem. Classical methods like linear programming (LP) have been used for solving weapons to targets assignment problems. LP approaches provide optimal solutions quickly, but in real-time planning when there are minor changes to input, LP exhibits widely varied solutions. This can be a problem in practice. This research study considers two agent-based optimization approaches, the Stable Marriage …

A Study Of The Impact Of Hardware Design Choices On The System Impulse Response Of A Signal-Level Radar Simulation, Kelly Renee Feirstine

Browse all Theses and Dissertations

The main goal of this research is to study the effect of hardware design choices at the signal-level of an end-to-end radar system. An implementation of waveform diversity concepts, or the use of various waveforms in both transmit and receive is employed. An end-to-end Matlab simulation is developed such that the system impulse response to hardware imperfections and waveform parameters such as bandwidth and frequency channel spacing can be analyzed. Multiple frequency channels as well as multiple pulses are also considered in the research.

All hardware components are nonlinear to some degree. The nonlinearities of the hardware give rise to …

Characterizing Battlefield Human Decision Making With Value Focused Thinking And Reliability Modeling, Fawaz Al-Karaeen

Browse all Theses and Dissertations

Military officers and soldiers in combat are faced with complex, time-critical decision problems. The battlefield, or combat, environment involves decisive operations under unpredictable and rapidly changing conditions. Decisions in battlefields take place under uncertain, time constrained conditions and in a tactical environment. A battlefield decision maker encounters a dynamic information environment. During combat, individuals gather and consider information from a variety of sources to determine what information is reliable and useful, and what information is not. There is a clear correlation between the decision making process and the value of information feeding that process. This research examines a decision making …

Electronic Properties Of Silicon-Based Nanostructures, Gian Giacomo Guzman-Verri

Browse all Theses and Dissertations

We have developed a new unifying tight-binding theory that can account for the electronic properties of recently proposed Si-based nanostructures, namely, Si graphene-like sheets and Si nanotubes. We considered the sp²s* and sp³ models up to first- and second-nearest neighbors, respectively. Our results show that the corresponding Si nanotubes follow the so-called Hamada's rule. Comparison to a recent ab initio calculation is made.

A Formal Language Approach For Detecting Texture Paths And Patterns In Images, Prithviraj S. Patil

Browse all Theses and Dissertations

This Master thesis considers the use of formal languages representation for image processing, especially texture patterns and determining texture paths in them. The texture paths are detected and extracted by using image processing techniques, such as image segmentation to isolate regions of interest, and then the extraction of repeating textures. The detection of the texture blocks is obtained by recursively using 27 X 27, 9 X 9, and 3 X 3 windows. Predefined repeating texture patterns are also searched for in each of the sets. For each set of texture blocks with similar or same characteristics, curve fitting techniques are …

Exploration Of Iron And Cobalt Core-Shell Nanoparticles Via Thermal And Microwave Polyol Synthesis, Hope M. Klukovich

Browse all Theses and Dissertations

Thermal and microwave polyol methods were investigated in the synthesis of various iron and cobalt core-shell nanoparticles. The reaction involved 1 mmol of an Fe⁺² or Co⁺² salt, bis-acetylacetanato [(Acac)2] iron (II), cobalt (Acac)2 or iron (II) acetate along with 1 mmol of a surfactant capping agent. The salt was reduced with 2 mmol of a 1,2 diol. When 1,2-hexadecanediol solid was used as a reducing agent, it was dissolved along with the metal salt and capping agent in octyl ether. When 1,2-hexanediol liquid was used as the reducing agent, it was also the solvent, and octyl ether …

Feasibility Analysis Of The Strontium Ratio Obtained From Pennsylvanian Chondricthian Dentary, Cullen John Erbacher

Browse all Theses and Dissertations

This research was undertaken to determine the amount of time between transgressive and regressive sequences. One of the methods used to determine the amount of missing time in an unconformity is the 87Sr / 86Sr ratio. The 87Sr / 86Sr ratio will be high around brackish and freshwater environments while it will be lower in open marine conditions. Limestones and their constituent parts are susceptible to diagenetic processes that can contaminate or obliterate isotope values contained within the rocks. The purpose of this research was to discover if reliable isotope information could be pulled from Pennsylvanian aged shark teeth. Nine …

Simulation And Analysis Of Rfid Localization Algorithms, Zubin Shah

Browse all Theses and Dissertations

Radio frequency identification (RFID) based localization systems provide a unique approach to localize mobile entities equipped with RFID readers or tagged with RFID tags. UHF RFID systems using passive tags are a good choice considering their cost, reading range, and reliability. With global acceptance and deployment of UHF RFID systems using passive tags for tracking and identification, virtually everything around us can be tagged with small and low-cost passive RFID tags. This thesis describes a Monte Carlo Localization based algorithm to localize a mobile RFID reader within a tagged environment. A software tool is developed to validate this localization process, …

Models Of Disordered Media And Predictions Of Associated Hydraulic Conductivity, L. Aaron Blank Jr.

Browse all Theses and Dissertations

In the late 20th century there was a spill of Technetium in eastern Washington State at the US Department of Energy Hanford site. Resulting contamination of water supplies would raise serious health issues for local residents. Therefore, the ability to predict how these contaminants move through the soil is of great interest. The main contribution to contaminant transport arises from being carried along by flowing water. An important control on the movement of the water through the medium is the hydraulic conductivity, K, which defines the ease of water flow for a given pressure difference (analogous to the electrical conductivity). …

Specification For Visual Requirements Of Work-Centered Software Systems, James Robert Knapp

Browse all Theses and Dissertations

Work-centered software systems function as inherent work-aiding systems. Based on the design concept for a work-centered support system (WCSS), these software systems support user tasks and goals through both direct and indirect aiding methods within the interface client. In order to ensure the coherent development and delivery of work-centered software products, WCSS visual interface requirements must be specified in order to capture the cognitive and work-aiding aspects of the user interface design. Without the ability to specify such original requirements, the probability of creating an accurate and effective work-centered software system is significantly reduced. A new visual requirements specification language …

Coronary Heart Disease Risk Stratification In Full-Time Miami Valley Hospital Employees, Vicki K. Streng

Browse all Theses and Dissertations

Heart disease is the number one killer in the United States (American Heart Association, 2005). The purpose of this study was to demonstrate the results of a twelve-week exercise program on coronary heart disease risk factors in full-time hospital employees. Methods: The participants were given cardiovascular, weight training, and flexibility recommendations to follow during a twelve-week period. The main heart disease risk factors measured before and after the completion of the exercise program were blood pressure, total cholesterol, HDL-cholesterol, and body mass index. The information was put into the Framingham Heart Score to estimate the participants’ 10-year risk of developing …

Robust Estimation Of Reliability In The Presence Of Multiple Failure Modes, Phani R. Adduri

Browse all Theses and Dissertations

In structural design, every component or system needs to be tested to ascertain that it satisfies the desired safety levels. Due to the uncertainties associated with the operating conditions, design parameters, and material systems, this task becomes complex and expensive. Typically these uncertainties are defined using random, interval or fuzzy variables, depending on the information available. Analyzing components or systems in the presence of these different forms of uncertainty increases the computational cost considerably due to the iterative nature of these algorithms. Therefore, one of the objectives of this research was to develop methodologies that can efficiently handle multiple forms …

Computational Study Of Ring-Cusp Magnet Configurations That Provide Maximum Electron Confinement, Taiwo A. Ogunjobi

Browse all Theses and Dissertations

Enhancing the confinement of primary electrons within the plasma in a discharge chamber of an ion thruster improves plasma ionization and consequently the thruster's performance. This work computationally calculates the location, position, and orientation of the permanent magnets that provide a ring-cusp magnetic field that maximizes electron confinement in an axi-symmetric cylindrical aluminum-wall discharge chamber. Small samarium cobalt magnets are circumferentially arranged in a ring around the front, side, or back wall of the chamber. The generated ring-cusp magnetic field for any specified magnet configuration is calculated using MAXWELL2D, a two dimensional electromagnetic field simulation computer code. For various magnet …

Pyrrole Carboxamides As Potential Carbonic Anhydrase Inhibitors, Nishrin Ismailbhai Marketwala

Browse all Theses and Dissertations

Carbonic anhydrases (CAs) are metalloenzymes that catalyze the reversible interconversion of CO2 and bicarbonate. We recently initiated a screen of a broad range of indoles and pyrroles possessing acyl-, carboxyl-, amido-, sulfonyl-, sulfamyl- and oxime- functionalities as potential inhibitors of á-CA II isozyme. As slight inhibition was observed in the case of 2-carboxamido-1-(phenylsulfonyl)pyrrole, and aware that pyrrole carboxamide derived sulfonamides had been previously demonstrated to possess CA inhibition, we sought to prepare a series of 1-(phenylsulfonyl)pyrrole-2-carboxamides but lacking a sulfonamide moiety to ascertain if the activity in our case might be due to a hitherto unrecognized pyrrole pharmacophore. To this …

Geostatistical Characterization Of Heterogeneity In The Aberjona River Aquifer, Woburn, Massachusetts, James Ralph Damico

Browse all Theses and Dissertations

Ground water flow and contaminant transport patterns are largely controlled by the distribution of high- and low-permeability sediments. Therefore, an accurate description of the aquifer architecture is paramount to producing a representative ground water model. Models of contaminant fate and transport in the aquifer near Woburn, Massachusetts, have previously been created by others using a deterministic approach. As a complement to these prior studies, the proportions, geometry, and juxtaposition of the different lithofacies of the aquifer were statistically characterized for developing stochastic models for the aquifer system. The descriptions of lithology from boreholes were separated into eleven categories based primarily …

A Field Programmable Gate Array Architecture For Two-Dimensional Partial Reconfiguration, Fei Wang

Browse all Theses and Dissertations

Reconfigurable machines can accelerate many applications by adapting to their needs through hardware reconfiguration. Partial reconfiguration allows the reconfiguration of a portion of a chip while the rest of the chip is busy working on tasks. Operating system models have been proposed for partially reconfigurable machines to handle the scheduling and placement of tasks. They are called OS4RC in this dissertation. The main goal of this research is to address some problems that come from the gap between OS4RC and existing chip architectures and the gap between OS4RC models and practical applications. Some existing OS4RC models are based on an …

Active Regulation Of Speed During A Simulated Low-Altitude Flight Task: Altitude Matters!, April M. Bennett

Browse all Theses and Dissertations

This study examined active regulation of speed during a low-altitude flight task as a function of global optical flow rate, speed, and the presence or absence of a concurrent altitude disturbance. The results showed that altitude clearly had an impact on speed control; specifically, control of speed was much more difficult when altitude disturbances were present. Even in the no altitude disturbance conditions, performance tended to be best at lower altitudes. Consistent with previous research, the results suggest that speed and altitude changes have additive effects on speed judgments. This is inconsistent with the simple global optical flow rate hypothesis …

Topology Optimization Of Engine Exhaust-Washed Structures, Mark A. Haney

Browse all Theses and Dissertations

Aircraft structure subjected to elevated temperature and acoustic loading present a challenging design environment. Thermal stress in a structural component has typically been alleviated by allowing thermal expansion. However, very little work has been done which directly addresses the situation where such a prescription is not possible. When a structural component has failed due to thermally-induced tensile stresses, the answer to the question of how best to stiffen the structure is far from trivial. In this work, we demonstrate that conventional stiffening techniques, for example, those which add material to the thickness of a failing panel, may actually increase the …