Physical Sciences and Mathematics Commons^™

X.500 Directory Service Support For Electronic Mail, Mihai G. Sirbu

Masters Theses

"One of the difficult problems on the Internet is finding the electronic mail addresses of users. In practice, there are some indirect ways of finding these addresses such as the finger program in UNIX, but almost all of these methods require the user to know the exact host name of the destination. What is most desirable is an automated mechanism which provides the e-mail addresses of users if some minimal information about the destination site is known.

This thesis describes the design of such a directory service support system, based on the X.500 Series of CCITT Recommendation, for the elm …

Genetic Algorithms With 3-Parent Crossover, L. Vincent Edmondson

Doctoral Dissertations

"A new genetic algorithm which uses a 3-parent uniform crossover operator is developed and analyzed. Uniform crossover operators are shown to be based on the premise that all bit-level genetic information should be passed from parents to children. The 3-parent uniform crossover operator is shown to adhere to this premise. The 3-parent uniform crossover operator is shown to be better than the 2-parent uniform crossover operator on the De Jong test functions.

Two new genetic algorithms which use 3-parent traditional crossover operators are developed and analyzed. The first uses a strategy of randomly selecting 3 of the 6 children resulting …

Intelligent, Integrated, Interactive Design, David Brown, R. Sisson, D. Zenger, J. Bausch, J. O'Shaughnessy

David C. Brown

No abstract provided.

Robust Reinforcement Learning In Motion Planning, Satinder P. Singh, Andrew G. Barto, Roderic Grupen, Christopher Connolly

Roderic Grupen

While exploring to find better solutions, an agent performing on-line reinforcement learning (RL) can perform worse than is acceptable. In some cases, exploration might have unsafe, or even catastrophic, results, often modeled in terms of reaching 'failure' states of the agent's environment. This paper presents a method that uses domain knowledge to reduce the number of failures during exploration. This method formulates the set of actions from which the RL agent composes a control policy to ensure that exploration is conducted in a policy space that excludes most of the unacceptable policies. The resulting action set has a more abstract …

Purification And Characterization Of Porin From Corn (Zea Mays L.) Mitochondria, Philadelphia University

Philadelphia University, Jordan

No abstract provided.

Performance Of Iterative Methods For Distributed Memory Processors, Dan C. Marintescu, John R. Rice, E. Vavallis

Department of Computer Science Technical Reports

No abstract provided.

The Gati Client/Server Animation Toolkit, Changrajit L. Bajaj, Steve Cutchin

Department of Computer Science Technical Reports

No abstract provided.

Distributed Design Of Hip Protheses With Bhautik, Chandrajit L. Bajaj, Daniel R. Schikore

Department of Computer Science Technical Reports

No abstract provided.

On Domains Of Superior Convergence Of The Ssor Method Over The Sor Method For P- Cyclic H-Matrices, Apostolos Hadjidimos, Michael Neumann

Department of Computer Science Technical Reports

No abstract provided.

A-Splines: Local Interpolation And Approximation Using Ck Continuous Piecewise Real Algebraic Curves, Chandrajit L. Bajaj, Guoliang Xu

Department of Computer Science Technical Reports

No abstract provided.

A Theory Of Global Concurrency Control In Multidatabase Systems, Aidong Zhang, Ahmed K. Elmagarmid

Department of Computer Science Technical Reports

No abstract provided.

An Efficient Over-The-Cell Routing Algorithm For High Performance Circuits, Sivakumar Natarajan

Masters Theses

In this thesis, we present a three-layer and a two-layer over-the-cell (OTC) channel routing algorithm (WILMA3 and WILMA2 respectively) for high speed circuits. This router not only minimizes the channel height by using over-the-cell areas but also achieves the net’s timing requirements.

We have implemented our routers in C on SUN Sparc 1+ workstation and tested it on MCNC benchmarks Primary I and II. Experimental results show that WILMA3 can achieve results which are 72% better (on the average) than the conventional two layer channel router, 61% better than two layer over-the-cell router and 51% better than three layer greedy …

Eztex: A Graphical User Interface System For Latex, Ravi K. Kosaraju

Masters Theses

No abstract provided.

An Integrated Simulation Model Development Environment For Slam Ii Using Object-Oriented Paradigm, Rizvan Erol

Masters Theses

An integrated simulation model development environment was implemented to assist the modeler by automating certain activities of simulation modeling. The system included interactive model definition, experimental design, automatic simulation program generation in SLAM II. Object-oriented paradigm at software development stage was extensively used to conceptualize the structure, and rules of the SLAM II language in order to generate efficient, and modular program code. The present system targeted modeling of various probabilistic inventory control system problems. The remarkable advantages of the system were rapid model development time, and achieving reliable program code without requiring any knowledge in SLAM II. Object-oriented programming …

Improved Global Routing Using ⋋-Geometry, Surendra Burman

Masters Theses

No abstract provided.

Efficient Accommodation Of May-Alias Information In Ssa Form, Ron Cytron, Reid Gershbein

All Computer Science and Engineering Research

We present an algorithm for incrementally including may-alias information into Static Single Assignment form by computing a sequence of increasingly precise (and correspondingly larger) partial SSA forms. Our experiments show significant speedup of our method over exhaustive use of may-alias information, as optimization problems converge well before most may-aliases are needed.

Exact Dominance Without Search In Decision Trees, Nilesh L. Jain, Ronald P. Loui

All Computer Science and Engineering Research

In order to improve understanding of how planning and decision analysis relate, we propose a hybrid model containing concepts from both. This model is comparable to [Hartman90], with slightly more detail. Dominance is simple concept in decision theory. In a restricted version of our model, we give conditions under which dominance can be detected without search: that is, it can be used as a pruning strategy to avoid growing large trees. This investigation follows the lead of [Wellman87]. The conditions seem hard to meet, but may nevertheless be useful in forward-chaining situations without focus, such as [Breese87]. It may be …

Version And Transaction Management In Osmagic: An Object-Oriented Database Implementation Of The Magic Vlsi Layout Design Tool, Gary M. Lightner

Theses and Dissertations

The goal of this thesis was to study the feasibility of using an object-oriented database management system to provide the functionality and performance needed to support a complex computer-aided design tool. We do this by modifying OSMagic, a prototype system of the Magic very large scale integrated (VLSI) circuit design tool implemented on the ObjectStore object- oriented database management system. OSMagic was changed to support three different interfaces to ObjectStore and to work in a networking environment. We then designed and examined the use of version and transaction management models as a means of addressing the weaknesses of the prototype …

An Enhanced User Interface For The Saber Wargame, Donald R. Moore

Theses and Dissertations

This thesis is part of an on-going effort by the Air Force Institute of Technology to develop a computer-based, theater-level wargame for the Air Force Wargaming Center at Maxwell AFB, AL. The wargame, Saber, is intended to augment the education the students receive at the Air War College and the Air Command and Staff College in the employment of air and ground power. This thesis documents the integrated design and implementation of the two components of the Saber user interface: the pre-processor and the post-processor. Although previous thesis students designed and implemented substantial portions of the user interface, a fully …

Detection Of Spoofing, Jamming, Or Failure Of A Global Positioning System (Gps), Juan R. Vasquez

Theses and Dissertations

The Air Force has equipped its aircraft with avionic systems such as Global Positioning System (GPS) and Inertial Guidance Systems (INS) capable of providing accurate navigation solutions. The aircrews flying these aircraft require a system that can either survive the hostile environments encountered in combat or notify the aircrew that their performance has been significantly degraded. This research focuses on failure detection and isolation techniques using an extended Kalman filter and generalized likelihood ratios using matched filters. Analysis is conducted using a Kalman filter development package known as the Multimode Simulation for Optimal Filter Evaluation (MSOFE). Both a large order …

Recurrent Neural Networks For Radar Target Identification, Eric T. Kouba

Theses and Dissertations

A real-time recurrent learning algorithm was applied to a five class radar target identification problem. The wideband radar was assumed to measure both kinematic (tracking information expressed as estimated aspect angles) and high range resolution data from a single, isolated aircraft. The aspect angles (azimuth and elevation) of the aircraft relative to the radar were assumed to be constantly chancing. This created temporal sequences of high range resolution radar signatures that changed as the aspect angles changed. These sequences were used as input features to a recurrent neural network for three radar target identification test cases. The first test case …

Power Analysis In Flexible Automation, Nathan A. Titus

Theses and Dissertations

The performance of an automation or robotic device can be measured in terms of its power efficiency. Screw theory is used to mathematically define the task instantaneously with two screws. The task wrench defines the effect of the device on its environment, and the task twist describes the motion of the device. The tasks can be separated into three task types: kinetic, manipulative, and reactive. Efficiency metrics are developed for each task type. The output power is strictly a function of the task screws, while device input power is shown to be a function of the task, the device Jacobian, …

Comparison Of Artificial Neural Networks With A Conventional Heuristic Technique For Optimization Problems, Jeffrey S. Gruner

Theses and Dissertations

This research investigates the utility of the Hopfield and Kohonen artificial neural networks to the traveling salesman optimization problem. A third, non-neural-network technique (the Christofides Algorithm - a competitive, bounded-solution operations research technique) is also investigated for comparison to the artificial neural network solutions. An eight and forty-two city distribution are chosen for comparison of the solutions.

Spatial Partitioning Of A Battlefield Parallel Discrete-Event Simulation, Kenneth C. Bergman

Theses and Dissertations

This thesis describes a method for spatially partitioning a battlefield into units known as sectors to achieve speedup two ways: through the reduction of each battlefield object's next event search space, and lowering the amount of message-passing required. Each sector is responsible for tracking and controlling access to all objects within its boundaries. A distributed proximity detection algorithm employing boundary-crossing events is used to control player movement between sectors. Each object's state information is replicated in all sectors it has sensor capability for the minimum time required; -this ensures that each object's next event is properly determined based upon interactions …

Examining A Layered Approach To Function And Design Representation For Reusable Software Components, Paul D. Siebels

Theses and Dissertations

This effort examined ways to improve the effectiveness of reusable software libraries. The main area of investigation was in improving the user interface by finding better ways to present the software components to potential re-users. The first aspect which was considered was finding an effective representation for reusable software components. A set of criteria was developed for evaluating the effectiveness of software representations. The criteria consisted of generality, expressiveness, understandability, consistency, and resolution. The second aspect which was considered was how to present the software component information to the user to facilitate finding the appropriate component for reuse. A representation …

An Object Based Approach Towards The Automation Of Office Procedures Using Intelligent Messages, Robert L. Palumbo

Student Work

Office support systems are used to automate routine office tasks. Since office tasks often require the cooperation of several office workers who may be physically dispersed, it is important to develop advanced communication systems that better facilitate collaborative and cooperative office work among office workers.

In this thesis, we propose an approach to the construction of advanced communication systems in which messages are represented as objects that are “intelligent” and “active” and can therefore perform certain activities (such as interacting with various entities to collect data) and decisions (such as dynamically deciding which user to go to next) on their …

Object-Oriented Analysis, Design, And Implementation Of The Saber Wargame, David S. Douglass

Theses and Dissertations

Saber is a two-sided, air and land war game that simulates decisions made of commanders at the theater-level. It is being developed by the Air Force Institute of Technology for the Air Force Wargaming center at Maxwell AFB, Alabama. Saber models conventional, chemical, and nuclear warfare between aggregated air and land forces. It also portrays the effects of logistics, satellites, weather, terrain, and intelligence which add to the realism of the Saber war game. The Saber war game has three main components, the preprocessor. which is responsible for scenario development and pregame activities, the simulation. the guts of the war …

A Vhdl Interpreter For Model-Based Diagnoses, David R. Griffin

Theses and Dissertations

Model-based reasoning permits diagnostic applications to be written without waiting for someone to become an 'expert' of the system. For model-based diagnostics, there must be a model to reason from. This thesis explores using a VHDL description of the system as that model. A system based around a VHDL interpreter was written specifically for a model-based diagnostic algorithm. Currently, the diagnostic system uses an algorithm by Dries. This algorithm was derived from Scarl's Full Consistency Algorithm. The system was designed to be modular so that different diagnostic techniques could be implemented. It is divided into three parts: a VHDL parser, …

An Intelligent Real-Time System Architecture Implemented In Ada, Michael A. Whelan

Theses and Dissertations

Conventional real-time systems are fully deterministic allowing for off-line, optimal, task scheduling under all circumstances. Real-time intelligent systems add non-deterministic task execution times and non- deterministic task sets for scheduling purposes. Non-deterministic task sets force intelligent real-time systems to trade-off execution time with solution quality during run-time and perform dynamic task scheduling. Four basic design considerations addressing those tradeoffs have been identified: control reasoning, focus of attention, parallelism, and algorithm efficacy. Non-real- time intelligent systems contain an environment sensor, a model of the environment, a reasoning process, and a large collection of procedural processes. Real-time intelligent systems add to these …

Creating And Manipulating Formalized Software Architectures To Support A Domain-Oriented Application Composition System, Cynthia G. Anderson

Theses and Dissertations

This research investigated technology which enables sophisticated users to specify, generate, and maintain application software in domain-oriented terms. To realize this new technology, a development environment, called Architect, was designed and implemented. Using canonical formal specifications of domain objects, Architect rapidly composes these specifications into a software application and executes a prototype of that application as a means to demonstrate its correctness before any programming language specific code is generated. Architect depends upon the existence of a formal object base (or domain model) which was investigated by another student in related research. The research described in this thesis relied on …