Digital Commons Network^™

A Syntax-Directed Editor For Borland’S Turbo Pascal, John Gatewood Ham, Thomas J. Sager

Computer Science Technical Reports

This study details the design and implementation of the LSD program, a syntax-directed editor for use in editing the source code for Borland’s Turbo Pascal. LSD is a dual-mode editor which allows both traditional text editing and also grammar-based editing. LSD promotes better programming for novice users by allowing the user to edit the program with a graphical representation of a parse tree. A list of syntactically correct choices is displayed at each point where a choice must be made in the structure of the program. Since only these choices are available, no syntax errors are possible. For more advanced …

Fault-Tolerant Ring Embeddings In Hypercubes -- A Reconfigurable Approach, Jun-Lin Liu, Bruce M. Mcmillin

Computer Science Technical Reports

We investigate the problem of designing reconfigurable embedding schemes for a fixed hypercube (without redundant processors and links). The fundamental idea for these schemes is to embed a basic network on the hypercube without fully utilizing the nodes on the hypercube. The remaining nodes can be used as spares to reconfigure the embeddings in case of faults. The result of this research shows that by carefully embedding the application graphs, the topological properties of the embedding can be preserved under fault conditions, and reconfiguration can be carried out efficiently.

In this dissertation, we choose the ring as the basic network …

Effect Of Joystick Versus Control Yoke Use On Personal Computer (Pc) Flight Training: A Comparative Analysis, Gregory Alan Fontaine

Master's Theses - Daytona Beach

The purpose of this study was to provide a comparative performance analysis of a generic control yoke device and a generic joystick device. The comparison provided data needed for further evaluation of personal computer (PC) aircrew training device (ATD) potential. Both devices were used in support of the same PC flight simulation software program, and were evaluated using the experimental research method. Objective and subjective data were obtained during controlled testing, and subsequently analyzed using basic summation and t-test methods. The results tested the research hypothesis that there is no significant difference in personal computer ATD operator performance using a …

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 …

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 …

Alternative Architectures For Domain-Oriented Application Composition And Generation Systems, Warren E. Gool

Theses and Dissertations

This thesis presents a formalized framework for comparing the structure and semantics of software architectures. The framework uses object diagrams for analyzing the structure of the architectures and the axiomatic approach for analyzing the semantics. This framework is used to compare the Object Connection Update OCU model developed by the Software Engineering Institute against four other software architectures VHDL defined by Lipsett, MetaH defined by Honeywell, microRapide defined by Luckham, and hierarchical software systems as defined by Batory. The goal of the comparison was to evaluate the OCU model for suitability within prototype application composition and generation systems. This research …

Synthetic Battlebridge: Information Visualization And User Interface Design Applications In A Large Virtual Reality Environment, Kirk G. Wilson

Theses and Dissertations

With shrinking budgets and fewer personnel, future military training will rely heavily on simulated environments. The goal for this training is to reduce cost while maintaining readiness and unparalleled capability for all levels of military command. This thesis effort, the Synthetic Battle Bridge SBB , provides a real-time simulated environment for military commanders to observe on-going computer simulations of varying participation levels and helps them wring the most from a simulation. The SBB, designed for higher ranking personnel with little time to spend learning how to run the system, must exhibit three capabilities ease-of-use, long-term retention, and adaptability. Based on …

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 …

Filtering, Coding, And Compression With Malvar Wavelets, Stephen R. Hall

Theses and Dissertations

This thesis develops and evaluates a number of new concepts and tools for the analysis of signals using Malvar wavelets lapped orthogonal transforms . Windowing, often employed as a spectral estimation technique, can result in irreparable distortions in the transformed signal. By utilizing the Malvar wavelet, any signal distortion resulting from the transformation can be eliminated or cancelled during reconstruction. This is accomplished by placing conditions on the window and the basis function and then incorporating the window into the orthonormal representation. Paradigms for both a complex-valued and a real-valued Malvar wavelet are summarized. I-lie algorithms for the wavelets were …

Probing Tcp Implementations, Douglas E. Comer, John C. Lin

Department of Computer Science Technical Reports

No abstract provided.

An Optimal O(Log Log N) Time Parallel Algorithm For Detecting All Squares In A String, Albert Apostolico, Dany Breslauer

Department of Computer Science Technical Reports

No abstract provided.

C3: A Parallel Model For Coarse-Grained Machines, Susanne E. Hambrusch, Ashfaq A. Khokhar

Department of Computer Science Technical Reports

No abstract provided.

Correctness Proof Of A Geometric Constraint Solver, Ioannis Fudos, Christoph M. Hoffmann

Department of Computer Science Technical Reports

No abstract provided.

A Probabilistic Analysis Of A String Editing Problem And Its Variations, Guy Louchard, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Data Structures And Algorithms For The String Statistics Problem, Alberto Apostolico, Franco P. Preparata

Department of Computer Science Technical Reports

No abstract provided.

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

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

Department of Computer Science Technical Reports

No abstract provided.

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

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

Department of Computer Science Technical Reports

No abstract provided.

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 …

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

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 …

A Probabilistic Approach To Fault Diagnosis In Linear Lightwave Networks, Robert H. Deng, A. A. Lazar, W. Wang

Research Collection School Of Computing and Information Systems

The application of probabilistic reasoning to fault diagnosis in linear lightwave networks (LLNs) is investigated. The LLN inference model is represented by a Bayesian network (or causal network). An inference algorithm is proposed that is capable of conducting fault diagnosis (inference) with incomplete evidence and on an interactive basis. Two belief updating algorithms are presented which are used by the inference algorithm for performing fault diagnosis. The first belief updating algorithm is a simplified version of the one proposed by Pearl (1988) for singly connected inference models. The second belief updating algorithm applies to multiply connected inference models and is …

User-Database Interface: The Effect Of Abstraction Levels On Query Performance, Hock Chuan Chan, Kwok Kee Wei, Keng Siau

Research Collection School Of Computing and Information Systems

A common classification of data models is based on their abstraction levels: physical, logical and conceptual. The user-database interaction can be similarly classified. For the conceptual-level interaction, the user and the database exchange information on the user's world, e.g., information of entities, relationships, and attributes. For the logical-level interaction, the user and the database communicate based on concepts in the database system, e.g., relations and join operations. We expect users to be familiar with concepts in their world but not the concepts in the database system. This is especially so for infrequent or naive database users. The conceptual level should …

Asynchronous Transaction Commitment In Federated Database Systems, San-Yih Hwang, Ee Peng Lim, Jaideep Srivastava

Research Collection School Of Computing and Information Systems

We propose a new (and restricted) model for global transactions which allows asynchronous commitment of subtransactions. Our model requires each global transaction to have a fixed structure with update to the data in at most one database. Based on this transaction model, we present two concurrency control algorithms, namely Asynchronous Site Graph and Asynchronous VirtGlobalSG, which employ asynchronous commitment and achieve global serializability. Compared to other proposed algorithms, our algorithms employ asynchronous commitment so as to increase transaction performance. Furthermore, our algorithms do not put restrictions on transaction data access or local histories.

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°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°C ambient temperature. These power vs. current characterizations were conducted at room temperature on each laser before and after exposure to 100°C as well as …

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 …

Genetic Algorithms And Their Application To The Protein Folding Problem, Donald J. Brinkman

Theses and Dissertations

The protein folding problem involves the prediction of the secondary and tertiary structure of a molecule given the primary structure. The primary structure defines sequence of amino-acid residues, while the secondary structure describes the local 3-dimensional arrangement of amino-acid residues within the molecule. The relative orientation of the secondary structural motifs, namely the tertiary structure, defines the shape of the entire biomolecule. The exact, mechanism by which a sequence of amino acids protein folds into its 3- dimensional conformation is unknown Current approaches to the protein folding problem include calculus-based methods, systematic search, model building and symbolic methods, random methods …

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 …