Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 60121 - 60150 of 63084

Full-Text Articles in Entire DC Network

Extending Multidatabase Transaction Management Techniques To Software Development Environments, Aidong Zhang, Omran Bukhres Dec 1993

Extending Multidatabase Transaction Management Techniques To Software Development Environments, Aidong Zhang, Omran Bukhres

Department of Computer Science Technical Reports

No abstract provided.


Collaborative Multimedia Game Environments, Vinod Anupam, Chandrajit L. Bajaj Dec 1993

Collaborative Multimedia Game Environments, Vinod Anupam, Chandrajit L. Bajaj

Department of Computer Science Technical Reports

No abstract provided.


The Use Of Neural Networks To Support "Intelligent" Scientific Computing, Anupam Joshi, Csanjiva Weerawarana, Elias N. Houstis Dec 1993

The Use Of Neural Networks To Support "Intelligent" Scientific Computing, Anupam Joshi, Csanjiva Weerawarana, Elias N. Houstis

Department of Computer Science Technical Reports

No abstract provided.


Object-Orientation In Multidatabase Systems, Evaggelia Pitoura, Omran Bukhres, Ahmed K. Elmagarmid Dec 1993

Object-Orientation In Multidatabase Systems, Evaggelia Pitoura, Omran Bukhres, Ahmed K. Elmagarmid

Department of Computer Science Technical Reports

No abstract provided.


Scheduling Support Mechanisms For Autonomous, Heterogeneous, Distributed Systems (Ph.D. Thesis), Steve J. Chapin Dec 1993

Scheduling Support Mechanisms For Autonomous, Heterogeneous, Distributed Systems (Ph.D. Thesis), Steve J. Chapin

Department of Computer Science Technical Reports

No abstract provided.


A View-Based Approach To Relaxing Global Serializability In Multidatabase Systems, Aidong Zhang, Evaggelia Pitoura, Bharat K. Bhargava Dec 1993

A View-Based Approach To Relaxing Global Serializability In Multidatabase Systems, Aidong Zhang, Evaggelia Pitoura, Bharat K. Bhargava

Department of Computer Science Technical Reports

No abstract provided.


Asymptotic Behavior Of The Lempel-Ziv Parsing Scheme And Digital Search Trees, Philippe Jaquet, Wojciech Szpankowski Dec 1993

Asymptotic Behavior Of The Lempel-Ziv Parsing Scheme And Digital Search Trees, Philippe Jaquet, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.


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

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 …


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

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.


Investigation Into Formalization Of Domain-Oriented Parallel Software Development, Daniel P. King Dec 1993

Investigation Into Formalization Of Domain-Oriented Parallel Software Development, Daniel P. King

Theses and Dissertations

This research investigates the conceptual design of a semi-automated platform for parallel software development. The proposed semi-automated environment applies transformational techniques and domain-specific knowledge to a parallel software development process. Domain-specific and software design knowledge interact within the transformational development process in the creation of a software application. The underlying parallel specification language requires a set of parallel composition operators in order to capture an application’s concurrent properties. A set of parallel composition operators is proposed that consists of parallel composition, parallel enumeration, nondeterministic choice, sequential composition specific communication and synchronization variable types are also proposed. A semi-automated environment based …


Developing A Graphical User Interface To Support A Real-Time Digital Signal Processing System, Jeffrey C. Miller Dec 1993

Developing A Graphical User Interface To Support A Real-Time Digital Signal Processing System, Jeffrey C. Miller

Theses and Dissertations

A graphical software user interface for a VMEbus-based real-time digital signal processing system was designed. Use, requirements were defined and the Rumbaugh object-oriented analysis and design technique was applied to analyze the requirements and produce an object-oriented design. The software design includes a graphical, mouse- and keyboard driven user interface, specialized hardware driver modules, and operating system interfaces. An implementation plan was also developed to map the design into the C programming language using existing system code, automatically generated code, and newly written code. Based on the implementation plan, a limited software system prototype w successfully developed and demonstrated. The …


The Development And Use Of An Evaluation Mechanism For The Assessment Of Software Configuration Management Tools, Wayne M. Descheneau, Neil W. Robinson Dec 1993

The Development And Use Of An Evaluation Mechanism For The Assessment Of Software Configuration Management Tools, Wayne M. Descheneau, Neil W. Robinson

Theses and Dissertations

This study investigated the development of a mechanism for use in the evaluation of Software Configuration Management SCM tools. An examination of applicable DoD standards identified the SCM requirements that could be levied on a development contractor, and a literature search revealed the functionality common to various automated tools. These two sets of information were organized into a matrix, and for each requirement that was met, the intersection on the matrix of the requirement and each functionality used to meet that requirement was checked. In addition to the matrix, the mechanism consisted of general information about a given tool and …


Design And Construction Of The Aerobot Robotic Manipulator (Arm), William L. Cochran Dec 1993

Design And Construction Of The Aerobot Robotic Manipulator (Arm), William L. Cochran

Theses and Dissertations

This thesis designed, constructed, and tested a robotic arm for the Aerobot Aerial Robot. The main purpose of the ARM is to enable the Aerobot to retrieve objects for use in an annual robotics competition. Design of the ARM involved synthesizing the characteristics of simplicity, weight, strength, and size. The result was a three-degree-of-freedom manipulator that uses electric motors, cable linkages, and telescoping tubes to access a work space below the Aerobot. Forward and inverse kinematics were investigated to enable automation of the ARM. Data was collected from infrared sensors to validate the model. Manipulation of the ARM is presently …


A Numerical Study Of High-Speed Missile Configurations Using A Block- Structured Parallel Algorithm, Douglas C. Blake Dec 1993

A Numerical Study Of High-Speed Missile Configurations Using A Block- Structured Parallel Algorithm, Douglas C. Blake

Theses and Dissertations

A numerical analysis of the aerodynamic phenomena associated with the high-speed flight of a sharp-nosed, four-finned, high-fineness ratio missile using a block-structured, parallel computer algorithm is presented. The algorithm, PANS-3EM, utilizes a second-order-accurate, shock-capturing, Total Variation Diminishing scheme and incorporates a Baldwin-Lomax turbulence model. PANS-3EM allows for extreme flexibility in the choice of computational domain decomposition and computing machine of implementation. Developmental work consists of conceptualization and verification of the algorithm as well as parallel performance and scalability studies conducted on a variety of computing platforms. Using PANS-3EM, the aerodynamic characteristics of the missile are investigated. Drag and pitching moment …


Vulnerability Assessment Using A Fuzzy Logic Based Method, Richard W. Fleming Dec 1993

Vulnerability Assessment Using A Fuzzy Logic Based Method, Richard W. Fleming

Theses and Dissertations

This thesis demonstrates the feasibility of using qualitative analysis methods to evaluate computer security vulnerabilities. Although many risk analysis systems exist, few provide for the adequate analysis of identified vulnerabilities. While the main focus of this thesis is to evaluate computer security vulnerabilities, the methods involved have application in other areas requiring evaluation using qualitative methods. It is proposed, and demonstrated by this thesis, that the use of qualitative analysis using linguistic variables to describe the impact of computer security vulnerabilities is not only feasible, but intrinsically easier to understand and use than quantitative methods.


Developing Realistic Behaviors In Adversarial Agents For Air Combat Simulation, George S. Hluck Dec 1993

Developing Realistic Behaviors In Adversarial Agents For Air Combat Simulation, George S. Hluck

Theses and Dissertations

This thesis describes an initial effort into creating a rule-based, reactive system for air combat simulation. This program uses the object-oriented extension of the expert system tool known as the C Language Integrated Production System CLIPS. This effort rose out of the need for creating and integrating semi-autonomous forces for the Distributed Interactive System DIS. This thesis describes the basic maneuvers a pilot uses in present air-to-air combat. The methodology includes the design decisions, knowledge-base development, phase architecture, and maneuver architecture development. The actual implementation of the selected architecture is described. This thesis also discusses the results of experimental runs …


Developing Realistic Cooperative Behaviors For Autonomous Agents In Air Combat Simulation, Dean P. Hipwell Dec 1993

Developing Realistic Cooperative Behaviors For Autonomous Agents In Air Combat Simulation, Dean P. Hipwell

Theses and Dissertations

This thesis investigated, developed and implemented cooperative decision-making behaviors in an air combat simulation by using a knowledge-based system. Knowledge-based systems were well suited for this task because of built- in features such as inference engines and rule-based constructs. This thesis addresses the specific problem of generating autonomous forces for inclusion in the Advanced Research Projects Agency Distributed Interactive Simulation program. Existing autonomous forces implementations lacked flexibility, realistic behaviors, real-time planning and other features. The simulation system in this thesis addresses the problem of realistic behavior by modeling pilot decision processes rather than aircraft platforms. The system is based on …


Using Database Technology To Support Domain-Oriented Application Composition Systems, Danny A. Cecil, Joseph A. Fullenkamp Dec 1993

Using Database Technology To Support Domain-Oriented Application Composition Systems, Danny A. Cecil, Joseph A. Fullenkamp

Theses and Dissertations

This research designed and prototyped an OODBMS technology base to store and retrieve various types of domain artifacts for domain-oriented application composition systems (DOACS). We developed object-oriented database schemas for a validating domain and the Object-Connection-Update software architecture. We implemented an inheritance relationship between the schemas so a domain model can inherit an architectural structure from an architecture model allowing us to isolate domain-specific knowledge from architecture-specific knowledge. We also developed a meta-model to formally define domain models in the database. We then developed a set of database methods to transform a domain model into a database schema for storing …


Integration And Enhancement Of The Saber Wargame, Karl S. Mathias Dec 1993

Integration And Enhancement Of The Saber Wargame, Karl S. Mathias

Theses and Dissertations

The Saber wargame is a theater-level air/land battle wargame written in Ada that is being developed for the Air Force Wargaming Center at Maxwell AFB, AL. This thesis documents how the user interface and simulation engine were integrated. Integration was accomplished by developing a portable object-oriented database system (OODBMS) interface. The interface was implemented in Ada and tied to an OODBMS also written in Ada. Using the interface, both subsystems were able to work from a consistent database and exchange information. The user interface was enhanced by converting it from the Software Technology for Adaptable Reliable Systems Ada/X Window System …


Performance Measurement Of Three Commercial Object-Oriented Database Management Systems, Timothy J. Halloran Dec 1993

Performance Measurement Of Three Commercial Object-Oriented Database Management Systems, Timothy J. Halloran

Theses and Dissertations

The goal of this thesis was to study the performance of three commercial object-oriented database management systems. The commercial systems studied included Itasca, sold by Itasca Systems Incorporated Matisse, sold by Intellitic International and ObjectStore, sold by Object Design Incorporated. To examine performance of these database management systems two benchmarks were run the OO1 benchmark and a new AFIT Simulation benchmark. The OO1 benchmark was designed, implemented, and run on all three database management systems. ObjectStore was our top performer on all configurations of the OO1 benchmark. The AFIT Simulation benchmark was designed, implemented, and run on the ObjectStore database …


A Prototype Architecture For An Automated Scenario Generation System For Combat Simulations, Mark W. Pfefferman Dec 1993

A Prototype Architecture For An Automated Scenario Generation System For Combat Simulations, Mark W. Pfefferman

Theses and Dissertations

This research effort examines the problem of automating the scenario generation process and presents a prototype architecture for an automated scenario generation system. This architecture is designed using an object- oriented approach which leads to a modular and modifiable design. The architecture provides a mechanism for automatically generating scenario files from a textual US Army operation order. This translation process occurs in two phases. First, the text operation order is translated into an intermediate format called the mission file. In the second phase, the system reads the mission file, instantiates intelligent entities, and assigns missions to those entities. The intelligent …


Design Of A Shared Coherent Cache For A Multiple Channel Architecture, John A. Reisner Dec 1993

Design Of A Shared Coherent Cache For A Multiple Channel Architecture, John A. Reisner

Theses and Dissertations

The Multiple Channel Architecture MCA is a recently proposed computer architecture which uses fiber optic communications to overcome many of the problems associated with interconnection networks. There exists a detailed MCA simulator which faithfully simulates an MCA system, however, the original version of the simulator did not cache shared data. In order to improve the performance of the MCA, a cache coherency protocol was developed and implemented in the simulator. The protocol has two features which are significant: (1) a time-division multiplexed TDM communication bus is used for coherency traffic, and (2) the shared data is cached in an independent …


Object Interaction In A Parallel Object-Oriented Discrete-Event Simulation, Walter G. Trachsel Dec 1993

Object Interaction In A Parallel Object-Oriented Discrete-Event Simulation, Walter G. Trachsel

Theses and Dissertations

This thesis investigates object interaction issues involved in developing an object-oriented parallel discrete-event simulation and develops a simulation model that provides object interaction capabilities. The research covers issues in object representation, object interaction, object management. discrete-event simulation, and parallel simulation. There are three primary types of objects that the research discusses. The first type is a basic simulation object, whose size and behavior is insignificant compared to the size of the simulation as a whole. The second type is an aggregate object which consists of smaller component objects that interact and affect the performance of the larger object as a …


Domain Analysis And Modeling Of A Model-Based Software Executive, Robert L. Welgan Dec 1993

Domain Analysis And Modeling Of A Model-Based Software Executive, Robert L. Welgan

Theses and Dissertations

This research was adapted the domain analysis techniques of Prieto- Diaz and Tracz to specify a domain analysis process which was used to conduct domain analysis over the domain of software executives. This analysis created a set of informal and formal domain model artifacts. The domain model artifacts were instantiated into two application executive subsystems. These executive subsystems operated in Architect, a domain-oriented application composition system based on the Object-Connection-Update OCU model. This research demonstrated and evaluated execution of the instantiated executive domain model in a series of event-driven and time-driven applications. As a consequence of developing the application executive …


Domain Modeling Of Time-Dependent Systems, Robert W. Waggoner Dec 1993

Domain Modeling Of Time-Dependent Systems, Robert W. Waggoner

Theses and Dissertations

This research investigated the feasibility of composing time-dependent specifications in Architect, a domain-oriented application composition and generation system being developed at the Air Force Institute of Technology (AFIT). Architect composes formally specified domain objects into an executable software specification that can be used to verify program correctness prior to generation of language specific code. As part of this research, domain modeling techniques were investigated and a candidate process was selected for evaluation. The process was used to develop domain models for two diverse time-dependent domains. Using object-oriented analysis, formal specifications were developed for a collection of event-driven logic circuit components …


Three Dimensional Object Recognition Using A Complex Autoregressive Model, David E. Chelen Dec 1993

Three Dimensional Object Recognition Using A Complex Autoregressive Model, David E. Chelen

Theses and Dissertations

Based on an autoregressive model, Complex Partial Correlation CPARCOR features are known to provide exceptional Position, Scale, and Rotation Invariant PSRI properties for planar 2-Dimensional 2-D object recognition. Although autogressive models have been successfully applied to numerous spatio-temporal recognition tasks, the effects of out-of-plane image rotations were never considered. This study investigates application of the CPAR-COR model to a five class problem of nonplanar 2-D views of 3-D objects. Recognition based on CPAR-COR features is evaluated using a Template Matching algorithm, two K-Nearest-Neighbor KNN classifiers, and a Hidden Markov Model HMM. Direct comparisons to recognition based on Fourier features are …


Identity Verification Through The Fusion Of Face And Speaker Recognition, John G. Keller Dec 1993

Identity Verification Through The Fusion Of Face And Speaker Recognition, John G. Keller

Theses and Dissertations

In this research, face recognition and speaker identification systems are each converted into verification systems. The two verification systems are then fused to form a single identity verification system. Finally, the use of the Karhunen-Loeve Transform (KLT) for dimensional reduction is examined for suitability in the verification task. The base face recognition system used the KLT for feature reduction and a back-propagation neural net for classification. Verification involved training a net for each individual in the database for two classes of outputs, 'Joe' or 'not Joe.' The base speaker identification system used Cepstral analysis for feature extraction and a distortion …


Failure Mechanisms Of High Temperature Semiconductor Lasers, David H. Leicester Dec 1993

Failure Mechanisms Of High Temperature Semiconductor Lasers, David H. Leicester

Theses and Dissertations

The primary intent of this research was to determine the influence of three common degradation mechanisms, dark area defects, facet degradation, and contact degradation, on the operational lifetime of GaAs edge-emitting semiconductor lasers driven by continuous current at 100 deg C. Inherent to this work was the quantified characterization of the lasers during their operation. This characterization arose as the power output as a function of driving current at room temperature before and after laser exposure to 100 deg C ambient temperature. These power vs. current characterizations were conducted at room temperature on each laser before and after exposure to …


Investigation Into Model-Based Fuzzy Logic Control, Michael W. Logan Dec 1993

Investigation Into Model-Based Fuzzy Logic Control, Michael W. Logan

Theses and Dissertations

This thesis investigates the feasibility of a proposed hybrid linear/Fuzzy controller for nonlinear plants. The proposed controller concept is based on the use of multiple linearizations of a nonlinear plant, which describe the dynamics of perturbations about equilibrium points throughout the desired envelope of operation. A bank of linear compensators is developed, each corresponding to a linearized plant about a different equilibrium. The multiple control signals generated by the bank of compensators are then weighted and summed using Fuzzy Logic to produce a composite control perturbation signal, which is used to drive the nonlinear plant. Experiments were conducted to test …


Handwritten Word Recognition Based On Fourier Coefficients, Gary F. Shartle Dec 1993

Handwritten Word Recognition Based On Fourier Coefficients, Gary F. Shartle

Theses and Dissertations

A machine which can read unconstrained words remains an unsolved problem. For example, automatic entry o handwritten documents into a computer is yet to be accomplished. Most systems attempt to segment letters o a word and read words one character at a time. Segmenting a handwritten word is very difficult and often, the confidence of the results is low. Another method which avoids segmentation altogether is to treat each word as a whole. This research investigates the use of Fourier Transform coefficients, computed from the whole word, for the recognition of handwritten words. To test this concept, the particular pattern …