Digital Commons Network^™

Using Discovery-Based Learning To Prove The Behavior Of An Autonomous Agent, David N. Mezera

Theses and Dissertations

Computer-generated autonomous agents in simulation often behave predictably and unrealistically. These characteristics make them easy to spot and exploit by human participants in the simulation, when we would prefer the behavior of the agent to be indistinguishable from human behavior. An improvement in behavior might be possible by enlarging the library of responses, giving the agent a richer assortment of tactics to employ during a combat scenario. Machine learning offers an exciting alternative to constructing additional responses by hand by instead allowing the system to improve its own performance with experience. This thesis presents NOSTRUM, a discovery-based learning DBL system …

An Object-Oriented Database Interface For Ada, Anthony D. Moyers

Theses and Dissertations

Object data management ODM is currently at the forefront of research and development efforts in the database community. In order to take advantage of ODM technology, the Department of Defense DoD needs to ensure that these systems are accessible to Ada programmers. The Air Force Institute of Technology AFIT is conducting research towards the development of an Ada ODM interface to existing ODM systems. The design goals are portability, transparency, and completeness for Ada programmers. Portability means that the ODM system can be changed without affecting any existing application programs. Transparency means that Ada programmers can use the interface without …

Genetic Algorithms Applied To A Mission Routing Problem, James B. Olsan

Theses and Dissertations

This thesis applies genetic algorithms to a mission routing problem. The mission routing problem involves determining an aircraft’s best route between a staging base and a target. The goal is to minimize the route distance and the exposure to radar. Potential routes are mapped to a 3-dimensional mesh where the nodes correspond to checkpoints in the route and the arcs correspond to partial paths of the route. Each arc is weighted with respect to distance and exposure to radar. A genetic algorithm is a probabilistic search technique loosely based on theories of biological evolution. Genetic crossover and survival of the …

A Method For Populating The Knowledge Base Of Aptas, A Domain-Oriented Application Composition System, Raleigh A. Sandy Iii

Theses and Dissertations

A formal process is described for populating the knowledge base of the Automatic Programming Technologies for Avionics Software APTAS system. This process was developed using a general knowledge base population process that applies to many knowledge-based software engineering systems. This general process is also described. The formal process for APTAS was demonstrated by storing new information from the radar tracking domain into the knowledge base of APTAS. Several procedures some automatic and some manual were implemented to support the formal process.

Virtual Memory Management And Virtual Bus Overloading On Multiple Channel Architectures, John N. Armitstead

Theses and Dissertations

Today's computational environment requires the processing capabilities available only through parallel architectures. The bottleneck that limits the potential of parallel processing is communication between processors, memories, and other hardware devices. A proposed multiple channel architecture (MCA) utilizes tunable semiconductor lasers and fiber optic cables that serve as the communication medium between processor, memory, and I/O nodes. A memory management unit (MMU) was completely described and implemented in a multiprocessor simulator. A permutation-based interleaving (PBI) scheme was utilized to reduce the chance of memory access collisions. Virtual bus utilization, number of collisions, and message traffic patterns were studied under various amounts …

Design Of A Parallel Discrete Event Simulation Coprocessor, Jacob L. Berlin

Theses and Dissertations

A Parallel Discrete Event Simulation Coprocessor was designed to off- load the synchronization overhead from the processors executing the application. In a multiprocessor architecture, one coprocessor executes the synchronization routines for each host processor. Speedup can be achieved when the host processor executes the application and the coprocessor concurrently executes synchronization routines. The coprocessor uses a programmable microcode control store to guarantee flexibility in the synchronization routines. The coprocessor uses an Extreme Search Associative Memory to support fast Next Event Queue NEQ management. This associative memory uses bit-serial word-parallel search logic to provide 01 insert and retrieval time of events …

Simple High-Quality Lossy Image Coding Scheme, Shaolin Bi, Khalid Sayood

Department of Electrical and Computer Engineering: Faculty Publications

A simple yet efficient image data compression method is presented. This method is based on coding only those segments of the image that are perceptually significant to the reconstruction of the image. Sequences of image pixels whose gray-level differences from the pixels of the previous row exceed two prespecified thresholds are considered significant. These pixels are coded using a differential pulse code modulation scheme that uses a 15-level recursively indexed nonuniform quantizer for the first pixel in a segment and a 7-level recursively indexed nonuniform quantizer for all other pixels in the segment. The quantizer outputs are Huffman coded. Simulation …

Investigation Of Solution Space Of Trees And Dags For Realization Of Combinational Logic In At 6000 Series Fpgas, Philip Ho

Dissertations and Theses

Various tree and Directed Acyclic Graph structures have been used for representation and manipulation of switching functions. Among these structures the Binary Decision Diagrams have been the most widely used in logic synthesis. A BDD is a binary tree graph that represents the recursive execution of Shannon's expansion. A FDD is a directed function graph that represents the recursive execution of Reed Muller expansion.

A family of decision diagrams for representation of Boolean function is introduced in this thesis. This family of Kronecker Functional Decision Diagrams (KFDD) includes the Binary Decision Diagrams (BDD) and Functional Decision Diagrams (FDD) as subsets. …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 9, Number 9, November 1993, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 9, Number 8, October 1993, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

Declarative Representations Of Multiagent Systems, Munindar P. Singh, Michael N. Huhns, Larry M. Stevens

Faculty Publications

This paper explores the specification and semantics of multiagent problem-solving systems, focusing on the representations that agents have of each other. It provides a declarative representation for such systems. Several procedural solutions to a well-known test-bed problem are considered, and the requirements they impose on different agents are identified. A study of these requirements yields a representational scheme based on temporal logic for specifying the acting, perceiving, communicating, and reasoning abilities of computational agents. A formal semantics is provided for this scheme. The resulting representation is highly declarative, and useful for describing systems of agents solving problems reactively.

Cyclo-Static Scheduling Of Large Grain Dataflow Algorithms On A Local Area Atamm Multicomputing Testbed, Sudeepto Roy

Electrical & Computer Engineering Theses & Dissertations

A strategy for cyclo-statically scheduling deterministic large grain dataflow (LGDF) algorithms for distributed execution on loosely coupled multicomputer architectures is presented in this research. The computational paradigm used is the ODU/NASA developed Algorithm To Architecture Mapping Model (ATAMM), which consists of marked graphs and Gantt chart representations that model the iterative execution of deterministic LGDF algorithms for different values of throughput and computation time. It is postulated that the behavior of these algorithms could be represented by the aggregate execution of an ensemble of cyclically shifted threads of a specific node sequence. Assuming the existence of one or more such …

Acoustic Correlates Of Vowel Perception As Determined From Synthesis Experiments With Multi-Tone Stimuli, Zhongjiang Zhang

Electrical & Computer Engineering Theses & Dissertations

An essential requirement of speech signal processing is to extract information (features or parameters) from the speech signal which encode the information carried by the signal. The objective of this thesis work was to examine and evaluate two feature sets as acoustic correlates for vowel perception. They are formants and DCTCs. Formants are the frequencies of spectral peaks of the speech signal. DCTCs are the Discrete Cosine Transform Coefficients of the magnitude spectrum and are thus features which encode the global spectral shape of speech signal.

There are different opinions regarding which feature set is a more accurate representation for …

Gyroless Line-Of-Sight Stabilization For Pointing And Tracking Systems, Marcelo C. Aigrain

Department of Electrical and Computer Engineering: Faculty Publications

A new platform stabilization approach is described where miature, low-cost, linear accelerometers are used (instead of gyroscopes) for line-of-sight (LOS) stabilization. This is accomplished by placing the accelerometers at strategic locations and combining their outputs so that angular motion is determined from linear acceleration measurements. The control system uses the sensed angular accelerations to generate movement commands for the gimbal servomotors in the stabilization platform. This counterrotates the imaging device to stabilize its LOS. The use of accelerometers allows the servo system to operate in an acceleration control mode, which is more desirable than position or velocity control modes, typical …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 9, Number 7, September 1993, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

Electronic Simulation Of The Temporal Characteristics Of Photon Memory Echoes And Some Related Applications, Yuwen Kuo, Monish Ranjan Chatterjee

Electrical and Computer Engineering Faculty Publications

The characteristics of nonlinear photon memory echoes are investigated by means of SPICE simulations using equivalent resonator ensembles. By developing implicit nonlinear circuit models in the memory echo domain, the triple product formalism of electronic holography, involving correlation and convolution, is tested for the storage and recall of arbitrary signals and/or data bit streams in both time-inverted and nontime-inverted modes. Furthermore, a few specific optical data processing applications are also simulated in which the mixed binary multiplication of two or more binary bit streams is achieved.

Higher order products, optical pattern recognition, and other possible applications are also discussed. It …

Networking Your Cd-Roms: A Texas Tale, Margaret Sylvia

Faculty Publications

Installation of a CD-ROM network at St. Mary's University Academic Library created a revolution in the way students and faculty do research.

Variable Structure End Point Control Of A Flexible Manipulator, Shailaja Chenumalla, Sahjendra N. Singh

Electrical & Computer Engineering Faculty Research

We treat the question of control and stabilization of the elastic multibody system developed in the Phillips Laboratory, Edwards Air Force Base, California. The controlled output is judiciously chosen such that the zero dynamics are stable or almost stable. A variable structure control (VSC) law is derived for the end point trajectory control. Although, the VSC law accomplishes precise end point tracking, elastic modes are excited during the maneuver of the arm. A Linear stabilizer is designed for the final capture of the terminal state.

Three Points Of Great Height On Elliptic Curves, Andrew Bremner, Duncan A. Buell

Faculty Publications

We give three elliptic curves whose generators have great height, demonstrating along the way a moderately efficient method for finding such points.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 9, Number 6, June 1993, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

Building A Gateway For The Cd-Rom Network: A Step Toward The Virtual Library With The Virtual Microsystems V-Server, Margaret Sylvia

Faculty Publications

Describes one college library's experience with a gateway for dial-in access to its CD-ROM network to increase access to automated index searching for students off-campus. Hardware and software choices are discussed in terms of access, reliability, affordability, and ease of use. Installation problems are discussed, and an appendix lists product information.

A Decision Criteria To Select An Associative-Memory Organization That Minimizes The Execution Time Of A Mix Of Associative-Search Operations, David W. Banton

Theses and Dissertations

The dissertation develops a decision criteria to select an associative-memory organization that minimizes the execution time of a mix of associative-search operations and a decision criteria to estimate the layout dimensions of each organization for a specified memory size. The dissertation reclassifies Feng's associative-search operations into three hardware-influenced categories: bit-position independent (BPI), record-content independent (RCI); bit-position dependent (BPD), RCI; and BPD, record-content dependent (RCD). It develops a relationship between the categories and three associative-memory organizations: the CAM, the bit-serial word-parallel associative memory (BSWPAM) , and the extreme-search associative memory (ESAM). A version of the CAM, three versions of the BSWPAM, …

Tolerance Specification Of Robot Kinematic Parameters Using An Experimental Design Technique, Y.H. Andrew Liou, Paul P. Lin, Richard R. Lindeke, Hsiang-Dih Chiang

Mechanical Engineering Faculty Publications

This paper presents the tolerance specification of robot kinematic parameters using the Taguchi method. The concept of employing inner and outer orthogonal arrays to identify the significant parameters and select the optimal tolerance range for each parameter is proposed. The performance measure based on signal-to-noise ratios (S/N) using the Taguchi method is validated by Monte Carlo simulations. Finally, a step-by-step tolerance specification methodology is developed and illustrated with a planar two-link manipulator and a five-degree-of-freedom Rhino robot.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 9, Number 5, May 1993, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

The Application Of Neural Networks To Optimal Robot Trajectory Planning, Daniel J. Simon

Electrical and Computer Engineering Faculty Publications

Interpolation of minimum jerk robot joint trajectories through an arbitrary number of knots is realized using a hardwired neural network. Minimum jerk joint trajectories are desirable for their similarity to human joint movements and their amenability to accurate tracking. The resultant trajectories are numerical rather than analytic functions of time. This application formulates the interpolation problem as a constrained quadratic minimization problem over a continuous joint angle domain and a discrete time domain. Time is discretized according to the robot controller rate. The neuron outputs define the joint angles (one neuron for each discrete value of time) and the Lagrange …

Suboptimal Robot Joint Interpolation Within User-Specified Knot Tolerances, Daniel J. Simon, Can Isik

Electrical and Computer Engineering Faculty Publications

Approximation of a desired robot path can be accomplished by interpolating a curve through a sequence of joint-space knots. A smooth interpolated trajectory can be realized by using trigonometric splines. But, sometimes the joint trajectory is not required to exactly pass through the given knots. The knots may rather be centers of tolerances near which the trajectory is required to pass. In this article, we optimize trigonometric splines through a given set of knots subject to user-specified knot tolerances. The contribution of this article is the straightforward way in which intermediate constraints (i.e., knot angles) are incorporated into the parameter …

Ua66/3/3 Acm/Upe Awards Banquet, Association For Computing Machinery, Upsilon Pi Epsilon

Student Organizations

ACM/UPE awards and initiation banquet program.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 9, Number 4, April 1993, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

Resource Utilization Model For The Algorithm To Architecture Mapping Model, Rakesh R. Patel

Electrical & Computer Engineering Theses & Dissertations

The analytical model for resource utilization, and the variable node time and conditional node model for the enhanced ATAMM model for a real-time data flow architecture, is presented in this research. The Algorithm To Architecture Mapping Model, ATAMM, is a Petri net based graph theoretic model developed at Old Dominion University, and is capable of modeling the execution of large-grained algorithms on a real-time data flow architecture. Using the resource utilization model, the resource envelope may be obtained directly from a given graph and, consequently, the maximum number of required resources may be evaluated. The node timing diagram for one …

Robot Force Velocity Control Using Expert System For Control Mode Changes, William R. Doggett

Electrical & Computer Engineering Theses & Dissertations

The most important property of an automated mechanical system is reliable execution of a specified task. Automated mechanical systems work best in precisely structured environments where all operations are repeatable. Typically, these systems are difficult to modify and expensive to install. Sensors can be used to detect disturbances, thus reducing hardware cost by offsetting the need for precise rigid construction components. Sensors, however, increase the complexity and cost of the control software. Efficient methods of reacting to sensor information during automated system operation are required to reduce software complexity and expense.

This thesis analyzes a robotic construction task and describes …