Digital Commons Network^™

Response Surface Methodology: An Analytical Method For Locating Migrated Contaminant Sources, Orlando J. Dona Jr.

Theses and Dissertations

The use and storage of hazardous chemicals at U.S. military facilities often adversely affect the groundwater when contaminants infiltrate the subsurface as a result of leaks and accidental spills. These contaminants, if not located and remediated in a relatively short time, may move and settle unpredictably, essentially creating a source some distance from the original leak or spill. An example of this phenomenon is found with migrating dense nonaqueous phase liquid (DNAPL) contaminants. Although various methods for estimating the present day locations of these migrated contaminants are in use, accurately pinpointing the source of contaminants remains a difficult problem in …

Student Modeling In An Intelligent Tutoring System, Jeremy E. Thompson

Theses and Dissertations

This thesis explores a new approach to modeling the student in an intelligent tutoring system (ITS), by providing a student model which learns new solutions from the student. A prototype of the new approach to ITS is demonstrated in the Euclidean geometry domain. Complete C++, CLIPS, and Tcl/Tk code listings are included in the appendices for reference. Adaptable multiple software agents were targeted for implementation, based on current literature. However, the student model is found to be maintainable without multiple software agents, while still allowing for tracking several possible solution paths when monitoring student solutions. This capability contradicts previous research …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 12, Number 10, December 1996, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A twelve page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Reverse Engineering Of Computer-Based Navy Systems, Lonnie R. Welch, Guohui Yu, Binoy Ravindran, Franz J. Kurfess, Jorge Henriques, Mark Wilson, Antonio L. Samuel, Michael W. Masters

Computer Science and Software Engineering

The financial pressure to meet the need for change in computer-based systems through evolution rather than through revolution has spawned the discipline of reengineering. One driving factor of reengineering is that it is increasingly becoming the case that enhanced requirements placed on computer-based systems are overstressing the processing resources of the systems. Thus, the distribution of processing load over highly parallel and distributed hardware architectures has become part of the reengineering process for computer-based Navy systems.

This paper presents an intermediate representation (IR) for capturing features of computer-based systems to enable reengineering for concurrency. A novel feature of the IR …

A Specialization Toolkit To Increase The Diversity Of Operating Systems, Calton Pu, Andrew P. Black, Crispin Cowan, Jonathan Walpole, Charles Consel

Computer Science Faculty Publications and Presentations

Virus and worm attacks that exploit system implementation details can be countered with a diversified set of implementations. Furthermore, immune systems show that attacks from previously unknown organisms require effective dynamic response. In the Synthetix project, we have been developing a specialization toolkit to improve the performance of operating system kernels. The toolkit helps programmers generate and manage diverse specialized implementations of software modules. The Tempo-C specializer tool generates different versions for both compile-time and run-time specialization. We are now adapting the toolkit to improve operating system survivability against implementations attacks.

Artificial Cochlea Design Using Micro-Electro-Mechanical Systems, George C. Dalton Ii

Theses and Dissertations

The use of Micro-Electro-Mechanical Systems (MEMS) in the design of an artificial cochlea is investigated in depth. Interdigitated finger (comb), cantilever, bridge, and mirror resonators are presented as possible devices used to implement the artificial cochlea. These resonators are demonstrated to be extremely high Q devices, capable of being tuned with a simple DC bias. This suggests a possible change to existing cochlea models that claim highly complex AC feedback as being responsible for changes in the damping of the basilar membrane. The new cochlea model presented here, using MEMS to approximate the tuning of the basilar membrane, may be …

Elicitation Of Formal Software Specifications From An Object-Oriented Domain Model, Timothy Karagias

Theses and Dissertations

The ability to provide automated support for the generation of formal software specifications would lead to decreased software development time. By eliciting the needed information from a software developer and harvesting the proper parts of a domain model, a software specifications document could be created. This research establishes the feasibility of producing customized software specifications based on an object-oriented domain model. The research was conducted in three phases. The first phase was to define the requirements for the Elicitor Harvester. Those requirements were balanced between the capabilities of the existing Knowledge Based Software Engineering (KBSE) software used at AFIT and …

A Test-Case Based Approach To Bayesian Knowledge Base Incompleteness Detection And Correction, Louise J. Lyle

Theses and Dissertations

This work develops tools and techniques to identify particular Bayesian Knowledge Base (BKB) incompletenesses, and to modify the existing knowledge-base (KB) structure to correct these problems. The methodology performs manually or automatically, informing the user of either problems causing the incompleteness, or of details resulting from the automatic knowledge-base correction. The proposed methodology is designed for integration with BVAL, to augment BVAL's validation techniques.

Low-Threat Security Patches And Tools, Mohd A. Bashar, Ganesh Krishnan, Markus G. Kuhn, Eugene H. Spafford, Samuel S. Wagstaff Jr

Department of Computer Science Technical Reports

No abstract provided.

A Cscw Framework For Networked Multimodal Synthetic Environments, Chandrajit L. Bajaj, Fausto Berardini, Steven Cutchin, Raimund Merket

Department of Computer Science Technical Reports

No abstract provided.

Misplaced Trust: Kerberos 4 Session Keys, Bryn Dole, Steve Lodin, Eugene H. Spafford

Department of Computer Science Technical Reports

No abstract provided.

Safe Structural Conformance For Java, Konstantin Laufer, Gerald Baumgartner, Vincent F. Russo

Department of Computer Science Technical Reports

No abstract provided.

A Strategy For Distributed Relational Database Design, Ismail Omar Hababeh

Masters Theses

This thesis presents a strategy for the fragmentation and allocation of data in a distributed relational database. The strategy introduces a way to fragment and allocate data to accomplish the benefits of allocating each fragment independently for each site. Some fragments may be allocated to multiple sites in order to achieve some constraints such as availability, consistency, and integrity. The strategy is appropriate for different types of computers at various sites connected to a network, with different costs of retrieval, update, and communication.

To increase the system 1/0 performance, sites having similar communication costs are grouped into clusters to which …

Inference Algorithm Performance And Selection Under Constrained Resources, Brett J. Borghetti

Theses and Dissertations

Knowing that reasoning over probabilistic networks is, in general, NP-hard, and that most reasoning environments have limited resources, we need to select algorithms that can solve a given problem as fast as possible. This thesis presents a method for predicting the relative performance of reasoning algorithms based on the domain characteristics of the target knowledge structure. Armed with this knowledge, the research shows how to choose the best algorithm to solve the problem. The effects of incompleteness of the knowledge base at the time of inference is explored, and requirements for reasoning over incompleteness are defined. Two algorithms for reasoning …

A Specific Network Link And Path Likelihood Prediction Tool, Gary K. Moy

Theses and Dissertations

Communications have always been a crucial part of any military operation. As the pace of warfare and the technological complexity of weaponry have increased, so has the need for rapid information to assess battlefield conditions. Message passing across a network of communication nodes allowed commanders to communicate with their forces. It is clear that an accurate prediction of communication usage through a network will provide commanders with useful intelligence of friendly and unfriendly activities. Providing a specific network link and path likelihood prediction tool gives strategic military commanders additional intelligence information and enables them to manage their limited resources more …

Speaker Recognition By Hidden Markov Models And Neural Networks, Erik J. Zeek

Theses and Dissertations

As humans, we develop the ability to identify people by their voice at an early age. Getting computers to perform the same task has proven to be an interesting problem. Speaker recognition involves two applications, speaker identification and speaker verification. Both applications are examined in this effort. Two methods are employed to perform speaker recognition. The first is an enhancement of hidden Markov models. Rather than alter some part of the model itself, a single-layer perceptron is added to perform neural post-processing. The second solution is the novel application of an enhanced Feature Space Trajectory Neural Network to speaker recognition. …

An Incremental Language Conversion Method To Convert C++ Into Ada95, Ding-Yuan Sheu

Theses and Dissertations

This thesis develops a methodology to incrementally convert a legacy object oriented C++ application into Ada95. Using the experience of converting a graphic application, called Remote Debriefing Tool (RDT), in the Graphics Lab of the Air Force Institute of Technology (AFIT), this effort defined a process to convert a C++ application into Ada95. The methodology consists of five phases: (1) reorganizing the software application, (2) breaking mutual dependencies, (3) creating package specifications to interface the existing C++ classes, (4) converting C++ code into Ada programs, and (5) embellishing. This methodology used the GNAT's C++ low level interface capabilities to support …

Efficient Parallel Algorithms On Reconfigurable Mesh Architectures, His-Chieh Lee, Fikret Ercal

Computer Science Technical Reports

This dissertation describes a number of novel parallel algorithms for solving maze-routing problems and string matching problems on a proposed reconfigurable mesh architecture.

Section I reviews the field of reconfigurable parallel computing. This includes an introduction to a number of reconfigurable architectures proposed in the literature and a list of references to the current literature on algorithms in the field of reconfigurable computing.

Section II presents a number of time-efficient algorithms to solve the mazerouting problem. Maze-routing algorithms are used in VLSI routing and robot path planning. In that section, definitions for absolute shortest path (ASP), shortest duplex-path (SDP), shortest …

Algebraic Algorithm Design And Local Search, Robert P. Graham Jr.

Theses and Dissertations

Formal, mathematically-based techniques promise to play an expanding role in the development and maintenance of the software on which our technological society depends. Algebraic techniques have been applied successfully to algorithm synthesis by the use of algorithm theories and design tactics, an approach pioneered in the Kestrel Interactive Development System (KIDS). An algorithm theory formally characterizes the essential components of a family of algorithms. A design tactic is a specialized procedure for recognizing in a problem specification the structures identified in an algorithm theory and then synthesizing a program. Design tactics are hard to write, however, and much of the …

Analysis Of Linkage-Friendly Genetic Algorithms, Laurence D. Merkle

Theses and Dissertations

Evolutionary algorithms (EAs) are stochastic population-based algorithms inspired by the natural processes of selection, mutation, and recombination. EAs are often employed as optimum seeking techniques. A formal framework for EAs is proposed, in which evolutionary operators are viewed as mappings from parameter spaces to spaces of random functions. Formal definitions within this framework capture the distinguishing characteristics of the classes of recombination, mutation, and selection operators. EAs which use strictly invariant selection operators and order invariant representation schemes comprise the class of linkage-friendly genetic algorithms (lfGAs). Fast messy genetic algorithms (fmGAs) are lfGAs which use binary tournament selection (BTS) with …

Pulse Coupled Neural Networks For The Segmentation Of Magnetic Resonance Brain Images, Shane L. Abrahamson

Theses and Dissertations

This research develops an automated method for segmenting Magnetic Resonance (MR) brain images based on Pulse Coupled Neural Networks (PCNN). MR brain image segmentation has proven difficult, primarily due to scanning artifacts such as interscan and intrascan intensity inhomogeneities. The method developed and presented here uses a PCNN to both filter and segment MR brain images. The technique begins by preprocessing images with a PCNN filter to reduce scanning artifacts. Images are then contrast enhanced via histogram equalization. Finally, a PCNN is used to segment the images to arrive at the final result. Modifications to the original PCNN model are …

Requirements, Design, And Development Of A Rapidly Reconfigurable, Photo-Realistic, Virtual Cockpit Prototype, Terry A. Adams

Theses and Dissertations

The United States Air Force uses aircraft flight simulators for pilot training and mission rehearsal. They use a variety of simulators for this task ranging with prices ranging from $400,000 to $30,000,000. These simulators have specialized hardware that restricts reuse of their components and increases maintenance costs. Air Education and Training Command wants to reduce simulators cost and improve availability to the operational commands by supporting research in virtual reality flight simulators. This thesis looks at the development of a reconfigurable virtual cockpit in a distributed virtual environment that can be used for different aircraft as well as training scenarios. …

Analysis And Design Of Standard Telerobotic Control Software, Matthew L. June

Theses and Dissertations

The Robotics and Automation Center for Excellence (RACE) has defined an open telerobotics control architecture. This architecture, called the Unified Telerobotic Architecture Project (UTAP), is a proposed standard for all Air Force telerobotic systems. Implementation of UTAP will reduce the cost of robotic applications by increasing software modularity, portability, and reusability. This thesis continued the effort to prove the feasibility of UTAP. In December, 1995, 1st Lt Anchor implemented a portion of the UTAP specification on a PUMA robot. The UTAP-compliant controller exhibited some degradation in the system performance. However, the performance degradation was not fully measured. This thesis extended …

Refined Genetic Algorithms For Polypeptide Structure Prediction, Charles E. Kaiser Jr.

Theses and Dissertations

Accurate and reliable prediction of macromolecular structures has eluded researchers for nearly 40 years. Prediction via energy minimization assumes the native conformation has the globally minimal energy potential. An exhaustive search is impossible since for molecules of normal size, the size of the search space exceeds the size of the universe. Domain knowledge sources, such as the Brookhaven PDB can be mined for constraints to limit the search space. Genetic algorithms (GAs) are stochastic, population based, search algorithms of polynomial (P) time complexity that can produce semi-optimal solutions for problems of nondeterministic polynomial (NP) time complexity such as PSP. Three …

Utilizing Bayesian Techniques For User Interface Intelligence, Robert A. Harrington

Theses and Dissertations

The purpose of this research is to study the injection of an intelligent agent into modern user interface technology. This agent is intended to manage the complex interactions between the software system and the user, thus making the complexities transparent to the user. The background study will show that while interesting and promising research exists in the domain of intelligent interface agents, very little research has been published that indicates true success in representing the uncertainty involved in predicting user intent. The interface agent architecture presented in this thesis will offer one solution for solving the problem using a newly …

A Domain Independent Framework For Developing Knowledge Based Computer Generated Forces, James L. Benslay Jr.

Theses and Dissertations

Computer Generated Forces (CGFs) are important players in Distributed Interactive Simulation (DIS) exercises. A problem with CGFs is that they do not exhibit sufficient human behaviors to make their use effective. The SOAR approach has yielded a human cognitive model that can be applied to CGFs, but this is extremely complex. The product of the research reported in this thesis is a much less complex behavioral framework for a CGF that is easy to validate, revise, and maintain. To support this, an existing, domain independent CGF architecture is discussed and applied to an experimental CGF. Techniques for modeling the knowledge …

Implementation Of An Ada95 Crosscompiler For The Real-Time Executive For Military Systems (Rtems), Kendall M. Lemley Jr.

Theses and Dissertations

This thesis represents a continuation of the assessment of the Unified Telerobotics Architecture Project (UTAP), a proposed Air Force standard. This architecture was developed by the NASA Jet Propulsion Laboratory and the National Institute of Standards under contract to the Air Force Materiel Command Robotics and Automation Center of Excellence at Kelly AFB, Texas. Due to operating system constraints, the only UTAP implementation to date has required a separate software interface layer, adding complexity and overhead to the overall system, while reducing portability. This thesis proposes a long term effort to design and implement UTAP-compliant application software devoid of this …

Molecular Articulation In Response To Interactive Atomic Forces In Docker, Todd R. Kellett

Theses and Dissertations

Molecular docking aids in the design of materials supporting the current and future needs of the warfighter by simulating the real-world results of combining molecules. Specifically, it supports research and development in novel non-linear optical materials for laser-hardening and other advanced optical applications. Potential uses for these materials range from personnel and optical system laser protection to holographic information displays. DOCKER, our baseline docking system, minimizes the computational overhead of the simulation by modeling the molecules as rigid objects. This simplification can cause DOCKER's solutions to disagree with the real-world results, because molecules flex as they react to one another …

Survivability Analysis Of The Iridium Low Earth Orbit Satellite Network, Douglas K. Stenger

Theses and Dissertations

This thesis evaluates the survivability of the proposed Iridium Low Earth Orbit (LEO) Satellite Network. In addition to the complete Iridium constellation, three degraded Iridium constellations are analyzed. This analysis occurs via the use of simulation models, which are developed to use three dynamic routing algorithms over three loading levels. The Iridium network models use a common set of operating assumptions and system environments. The constellation survivability was determined by comparing packet rejection rates, hop' counts, and average end to end delay performance between the various network scenarios. It was concluded that, based on the established scenarios, the proposed Iridium …

An Approach To Evaluate Software Effectiveness, Timothy J. Schalick

Theses and Dissertations

The Air Force Operational Test and Evaluation Center (AFOTEC) is tasked with the evaluation of operational effectiveness of new systems for the Air Force. Currently, the software analysis team within AFOTEC has no methodology to directly address the effectiveness of the software portion of these new systems. This research develops a working definition for software effectiveness, then outlines an approach to evaluate software effectiveness-- the Software Effectiveness Traceability Approach (SETA). Effectiveness is defined as the degree to which the software requirements are satisfied and is therefore application-independent. With SETA, requirements satisfaction is measured by the "degree of traceability" throughout the …