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 59701 - 59730 of 63093

Full-Text Articles in Entire DC Network

A Numerical Model To Predict The Fate Of Jettisoned Aviation Fuel, Karl D. Pfeiffer Dec 1994

A Numerical Model To Predict The Fate Of Jettisoned Aviation Fuel, Karl D. Pfeiffer

Theses and Dissertations

While airborne, military and civilian aircraft must occasionally jettison unburned aviation fuel into the atmosphere. This research investigates the fate of a jettisoned fuel (e.g. JP-4, JP-8, etc.) from initial release to final ground fall by numerically modeling the physical phenomena governing the fate of this fuel: evaporation, advection, and dispersion. Using previous work in evaporation and free fall of fuel droplets as a foundation, this thesis presents an integrated evaporation advection and dispersion model designed to run under the resources of a typical personal computer. This integrated model is capable of using near real-time meteorological data (i.e. vertical profiles …

Go to article

Multiple Model Adaptive Estimation And Head Motion Tracking In A Virtual Environment: An Engineering Approach, James E. Russell Dec 1994

Multiple Model Adaptive Estimation And Head Motion Tracking In A Virtual Environment: An Engineering Approach, James E. Russell

Theses and Dissertations

Software engineering tools and techniques were applied to design and implement an application that reduces lag typically present in virtual environment displays. The application was a Multiple Model Adaptive Estimator (MMAE), composed of three Kalman filters, that predicted head orientation one sample period into the future. The environment rendering software used these predictions to generate the environment display. Each of the filters in the MMAE was designed for a different assumed head motion type (benign, moderate, or heavy), which allowed the MMAE to adapt to changes in head movement characteristics. The use of Ada 9X as an implementation language for …

Go to article

Unification Of Larch And Z-Based Object Models To Support Algebraically-Based Design Refinement: The Z Perspective, Kathleen M. Wabiszewski Dec 1994

Unification Of Larch And Z-Based Object Models To Support Algebraically-Based Design Refinement: The Z Perspective, Kathleen M. Wabiszewski

Theses and Dissertations

This research established a foundation for formalizing the evolution of based object models to theories, part of a dual approach for formally extending object-oriented analysis models using the Z and LARCH languages. For the initial phase, a comprehensive, consistent, and correct Z language parser was implemented within the SOFTWARE REFINERY™ Programming Environment. The Z parser produced abstract syntax trees (ASTs) of objects, thereby forming the basis for analyzing the similarities and differences between the based and LARCH-based object representations. The second phase used the analysis of the two languages to identify fundamental core constructs that consisted of similar syntactic and …

Go to article

Space Modeler: An Expanded, Distributed, Virtual Environment For Space Visualization, John C. Vanderburgh Dec 1994

Space Modeler: An Expanded, Distributed, Virtual Environment For Space Visualization, John C. Vanderburgh

Theses and Dissertations

The Space Modeler is the first truly immersive virtual environment that models the solar system, models satellites in near-Earth orbit, and can operate in a Distributed Interactive Simulation (DIS) environment. It increases the capabilities of the 1993 Satellite Modeler by expanding the physical limits of the environment and by implementing a new three-dimensional user interface. Satellite orbits are modeled using NASA two line element sets. The positions of the Sun, Moon and planets are computed using an algorithm based on planetary orbital element sets using a linear polynomial fit. For higher precision, the planetary orbits can be computed using an …

Go to article

Embedology And Neural Estimation For Time Series Prediction, Robert E. Garza Dec 1994

Embedology And Neural Estimation For Time Series Prediction, Robert E. Garza

Theses and Dissertations

Time series prediction has widespread application, ranging from predicting the stock market to trying to predict future locations of scud missiles. Recent work by Sauer and Casdagli has developed into the embedology theorem, which sets forth the procedures for state space manipulation and reconstruction for time series prediction. This includes embedding the time series into a higher dimensional space in order to form an attractor, a structure defined by the embedded vectors. Embedology is combined with neural technologies in an effort to create a more accurate prediction algorithm. These algorithms consist of embedology, neural networks, Euclidean space nearest neighbors, and …

Go to article

Image Perception Wavelet Simulation And Enhancement For The Visually Impaired, Lemuel Ray Myers Jr. Dec 1994

Image Perception Wavelet Simulation And Enhancement For The Visually Impaired, Lemuel Ray Myers Jr.

Theses and Dissertations

This research delves into the area of image enhancement for the visually impaired. Binocular macular degeneration a visual impairment, affects many Americans; since this condition could not be corrected with conventional glasses the literature suggested using an enhancement system which used a pre-emphasis algorithm to enhance the input image for output to the observer. The work of Dr. Eli Peli, a pioneer in the field of image enhancement, is examine and reproduced. Since his work concentrated mainly on frequency analysis of images, the bulk of this research involves using discrete wavelet analysis to augment that work. A biorthogonal wavelet set …

Go to article

A Correlational Study Of The Sei's Capability Maturity Model And Software Development Performance In Dod Contracts, Robert M. Flowe, James B. Thordahl Dec 1994

A Correlational Study Of The Sei's Capability Maturity Model And Software Development Performance In Dod Contracts, Robert M. Flowe, James B. Thordahl

Theses and Dissertations

The Software Engineering Institute's (SEl's) Capability Maturity Model (CMM) is to measure an organization's software development process maturity. The Department of Defense (DoD) has model with the belief that a more mature software development process will result in a more successful software subject. Although there is a growing body of anecdotal evidence supporting this presumed correlation, there is empirical evidence. Thus, the goal of our research was to determine the nature of the correlation, if any, :ware process maturity and software project success, where process maturity is based on a CMM rating and success based on the parameters of cost …

Go to article

An Analysis Of Bayesian Networks As Classifiers, Gregory C. Ahlquist Dec 1994

An Analysis Of Bayesian Networks As Classifiers, Gregory C. Ahlquist

Theses and Dissertations

An analysis of Bayesian networks as classifiers is presented. This analysis results in an algorithm and several tools related to Bayesian network classifiers. The tools calculate and display the decision regions for two level Bayesian network classifiers. They collectively provide an approach to analyze the effects of changing network parameters on the network's decision regions. The algorithm defines a Bayesian network classifier to solve traditional classification problems. The algorithm is data driven, meaning that the resulting Bayesian network classifier is uniquely tuned to the classification problem at hand. Also, the algorithm contains procedures for defining the topology of a Bayesian …

Go to article

Next Generation Real-Time Systems: Investigating The Potential Of Partial-Solution Tasks, Robert E. J. Caley Dec 1994

Next Generation Real-Time Systems: Investigating The Potential Of Partial-Solution Tasks, Robert E. J. Caley

Theses and Dissertations

While the cyclic executive and fixed-priority scheduling strategies have been sufficient to handle traditional real- time requirements. they are insufficient for dealing with the complexities of next-generation real-time systems. New methods of intelligent control must be developed for guaranteeing on-time task completion for real-time systems that are faced with unpredictable and dynamically changing requirements. Implementing real-time processes as partial-solution tasks is one technique that may be beneficial. This type of task. when combined with intelligent control, has the potential for increasing pre-runtime schedulability, system maintainability. and runtime robustness. This research investigates the benefits of partial-solution tasks by experimentally measuring the …

Go to article

Unification Of Larch And Z-Based Object Models To Support Algebraically-Based Design Refinement: The Larch Perspective, Catherine J. Lin Dec 1994

Unification Of Larch And Z-Based Object Models To Support Algebraically-Based Design Refinement: The Larch Perspective, Catherine J. Lin

Theses and Dissertations

This research describes the feasibility of developing object-oriented LARCH specifications, part of a dual approach for formally extending object-oriented analysis models using LARCH and Z. The first phase consisted of two steps establishing a set of transformation heuristics for algebraically representing object models and implementing a robust LARCH parser. The LARCH parser produced abstract syntax trees ASTs of objects forming the basis for analyzing the similarities and differences between Z-based and LARCH-based object representations. The second phase used the analysis of LARCH and Z to identify fundamental core constructs in the languages and abstract syntax trees. These core constructs consisted …

Go to article

Artificially Intelligent Air Combat Simulation Agents, Daniel E. Gisselquist Dec 1994

Artificially Intelligent Air Combat Simulation Agents, Daniel E. Gisselquist

Theses and Dissertations

The Advanced Research Projects Agency (ARPA), in an effort to improve military simulations, has proposed a standard for Distributed Interactive Simulation (DIS). This network protocol will allow dissimilar applications to communicate simulation information. In the field of air combat, this will allow pilots in remote simulators to fly in a common simulation. The success of this standard is dependent on applications being able to work within that standard, as well as a large variety of Computer Generated Forces (CGFs) to complement interactive forces. CGFs are needed to help simulate the large combat scenarios that can only occur in wartime. By …

Go to article

Predicting Protein Structure Using Parallel Genetic Algorithms, George H. Gates Jr. Dec 1994

Predicting Protein Structure Using Parallel Genetic Algorithms, George H. Gates Jr.

Theses and Dissertations

The protein folding problem is a biochemistry Grand Challenge problem. The challenge is to reliably predict natural three-dimensional structures of polypeptides. Genetic algorithms (GAs) are robust, semi-optimal search techniques modeling natural evolutionary processes. Fast messy GAs (fmGAs) are variants of messy GAs that reduce the exponential time complexity to polynomial. This investigation evaluates the merits of parallel SGAs and fmGAs for minimizing the potential energy of a pentapeptide, (Met)-enkephalin. AFIT's energy model is compared to a similar model in a commercial package called QUANTA. Differences between the two models are identified and resolved to enhance GAs' abilities to correctly fold …

Go to article

Analytic Performance Models For Parallel Discrete Event Battlefield Simulation With Conservative Synchronization, James B. Hiller Dec 1994

Analytic Performance Models For Parallel Discrete Event Battlefield Simulation With Conservative Synchronization, James B. Hiller

Theses and Dissertations

This study investigated the development and use of analytic models for performance analysis of parallel discrete event battlefield simulation using conservative synchronization. A simulation architecture with layered application, simulation, and host machine services provided the model development basis. Simulation entities were modeled with set-theoretic definitions. Deterministic performance models using these definitions were developed for event prediction, scheduling, and execution in sequential battlefield simulation. The sequential model was expanded to include relative bounds for overhead factors introduced when the simulation is spatially decomposed for a parallel distributed memory machine. Comparison of sequential and parallel models instantiated for a simulation with uniform …

Go to article

Modeiing Operational Task Assignment In Air Force Wing Command And Control, Robert J. Hunt Dec 1994

Modeiing Operational Task Assignment In Air Force Wing Command And Control, Robert J. Hunt

Theses and Dissertations

This research investigated the feasibility of applying software engineering technology to the Air Force wing command and control (C2) domain. As part of this research, domain analysis and object-oriented techniques were investigated and a specific approach was chosen to analyze the domain. Analysis of the domain resulted in an object-oriented domain model that captured the key objects, operations, and associations, and behavior of wing C2. The domain model was used to design and implement a prototype software tool that enables wing decision makers to assign resources to mission tasks and to make assessments about automation's impact on wing C2 operations.

Go to article

Enhanced Visual User Interface Support For Domain-Oriented Application Composition Systems, Richard A. Guinto Dec 1994

Enhanced Visual User Interface Support For Domain-Oriented Application Composition Systems, Richard A. Guinto

Theses and Dissertations

This research refined the functionality and usability of a previously developed visual interface for a domain-oriented application composition system. The refinements incorporated more sophisticated user interface design concepts1 to reduce user workload. User workload was reduced through window reordering, menu redesign, and Human Computer Interaction techniques such as; combining repetitive procedures into single commands, reusing composition information whenever possible and deriving new information from existing information. The Software Refinery environment, including its visual interface tool INTERVISTA, was used to develop techniques for visualizing and manipulating objects contained in a formal knowledge base of objects. The interface was formally validated with …

Go to article

Using Object-Oriented Database Technology To Develop A Multiple Domain Capability For Domain-Oriented Application Composition Systems, Alfred W. Harris Jr. Dec 1994

Using Object-Oriented Database Technology To Develop A Multiple Domain Capability For Domain-Oriented Application Composition Systems, Alfred W. Harris Jr.

Theses and Dissertations

This thesis describes the design and implementation of a multiple domain capability for a domain-oriented application composition system, named Architect. The research goal was to show how object-oriented database management system (OODBMS) technology can be used to provide simultaneous access to multiple domain-oriented knowledge bases. Since the Architect system was originally designed using the object-oriented paradigm, insertion of OODBMS technology was relatively simple and many of the object-oriented concepts, such as inheritance and aggregation, proved beneficial. Inheritance was used to encapsulate domain knowledge by defining each domain as a subclass of Architect's software architecture. Aggregation was used to allow applications …

Go to article

Development Of A Mammographic Image Processing Environment Using Matlab, John L. Kelley Dec 1994

Development Of A Mammographic Image Processing Environment Using Matlab, John L. Kelley

Theses and Dissertations

Breast cancer is a disease that accounts for a disturbingly large number of deaths in females each year. Its prevalence is a topic of concern to all of us since it can affect our families, friends, and coworkers. Although mammographic screening is the most effective method currently available for the early detection of breast cancer, it is far from being an infallible procedure. Mammographic reading is error prone, partly because of the complexity of the task and partly because of the variability in human performance. Computers offer high reproducibility, and when used as an adjunct by the radiologist, may improve …

Go to article

Designing And Implementing An Ada Language Binding Specification For Odmg-93, Stephen R. Lindsay Dec 1994

Designing And Implementing An Ada Language Binding Specification For Odmg-93, Stephen R. Lindsay

Theses and Dissertations

Object-oriented database management systems (ODBMSs) represent the latest advancement in database technology, combining the reusability and maintainability of the object-oriented programming paradigm with the ability to efficiently store and retrieve a wide range of data types as well as code to manipulate stored data. Unfortunately, programmers developing software in the Ada programming language do not have the ability to interface to object databases without significant customized code development. One important reason for this has been the absence of a standard defining the constructs accessing ODBMS functionality. This thesis documents the creation of an Ada language binding to the ODMG-93 standard …

Go to article

A General Object Model Transformation System, John P. Mullaney Dec 1994

A General Object Model Transformation System, John P. Mullaney

Theses and Dissertations

Cecil and Fullenkamp developed a program that transforms knowledge captured in an object-model in one environment into a different object-model in a different environment. This program worked well for the intended purpose, but if one of the object-models is replaced by a different object-model then this transformation program has to be re-engineered. As the object-modeling paradigm becomes more prevalent, many systems are experiencing this problem. The primary goal of this research was to determine what reusable knowledge could be extracted from these types of program and used to build a general object-model transformer that generalizes such transformation programs. Toward this …

Go to article

Topologies Invariant Under A Group Action, Paul Bankston Dec 1994

Topologies Invariant Under A Group Action, Paul Bankston

Mathematics, Statistics and Computer Science Faculty Research and Publications

We study links between faithful group actions on a set and topologies on that set. In one direction, a group action has its invariant topologies (so we may regard members of the action to be homeomorphisms relative to those topologies); in the other direction, a topology has its preserving group actions (i.e., the subgroups of the homeomorphism group of the topology). This two-way passage allows us to discuss topological features of group actions as well as symmetry features of topologies.

Go to article

Interactive Shape Control And Rapid Display Of A-Patches, Chandrajit L. Bajaj, Jindon Chen, Guoliang Xu Dec 1994

Interactive Shape Control And Rapid Display Of A-Patches, Chandrajit L. Bajaj, Jindon Chen, Guoliang Xu

Department of Computer Science Technical Reports

No abstract provided.

Go to article

Display User Manual Version 1.1, Edward Mascarenhas, Vernon J. Rego Dec 1994

Display User Manual Version 1.1, Edward Mascarenhas, Vernon J. Rego

Department of Computer Science Technical Reports

No abstract provided.

Go to article

Ariadne User Manual Version 2.0, Edward Mascarenhas, Vernon J. Rego, Vaidy Sunderam Dec 1994

Ariadne User Manual Version 2.0, Edward Mascarenhas, Vernon J. Rego, Vaidy Sunderam

Department of Computer Science Technical Reports

No abstract provided.

Go to article

Performance Monitoring Of Hybrid Intelligent Systems, Nariman Abdel Baky, Fikret Ercal Dec 1994

Performance Monitoring Of Hybrid Intelligent Systems, Nariman Abdel Baky, Fikret Ercal

Computer Science Technical Reports

Development of an automated system to enable the ongoing monitoring and control of the performance of HIS is a step towards increasing the confidence and security with which ordinary users will perceive AI-based Systems. The main objective of this research was to develop a prototype intelligent system to perform this monitoring. The proposed monitming system integrates performance metrics for the HIS's components with heuristics for evaluating data quality by checking data types, data ranges, percentage of missing data and the composition of data. The research demonstrated the possibility of developing such system and the feasibility of using it for a …

Go to article

Ccsp - A Formal System For Distributed Program Debugging, Hanan Lutfiyya, Bruce Mcmillin, Beth Arrowsmith, Cristina Serban Dec 1994

Ccsp - A Formal System For Distributed Program Debugging, Hanan Lutfiyya, Bruce Mcmillin, Beth Arrowsmith, Cristina Serban

Computer Science Technical Reports

One major problem with programming in a parallel/distributed environment is the difficulty in debugging the programs owing to the complex interactions of their component processes. Complete knowledge of the program's state is not generally attainable in a distributed system. This paper presents a distributed system for debugging distributed programs that allows for the execution and evaluation of embedded assertions expressed in Hoare's CSP [6]. We show examples of the use of this system, prove its correctness, and describe how the system can be used for the more general case of ensuring an application's correctness at run-time.

Go to article

Knowledge-Based Safety Training System (Kbsts): A Prototype Implementation, Venky Shankararaman, B. S. Lee Dec 1994

Knowledge-Based Safety Training System (Kbsts): A Prototype Implementation, Venky Shankararaman, B. S. Lee

Research Collection School Of Computing and Information Systems

A computer-based safety training system for process operators must be able to make effective presentation of textual material, test the trainee's understanding through quizzes and facilitate plant simulation. The general framework of such a system is presented in an earlier paper (Computers in Industry, Vol. 17, 1991, pp. 349–358). In this paper, we discuss the development and implementation of a prototype Knowledge-Based Safety Training System based on the framework. The design philosophy, system architecture and the plant modelling methodology are described.

Go to article

Survey And Implementation Of Commercial Manual Controllers For A Generic Telerobotics Architecture, Thomas E. Deeter Dec 1994

Survey And Implementation Of Commercial Manual Controllers For A Generic Telerobotics Architecture, Thomas E. Deeter

Theses and Dissertations

The purpose of this study is to determine an input device for the Air Force's generic telerobotics architecture for large aircraft maintenance and repair. One area of concern is the human to machine interface, more specifically, which manual controller should be used for the specified tasks in this architecture. We mailed a survey to 68 companies in order to compile a list of possible input devices that the telerobotics architecture could use. 32 companies responded which gave me enough data to generate a list that described the physical traits of the input devices. We then divided the required tasks into …

Go to article

Modeling Workload Effectiveness And Efficiency Of Air Force Wing Command And Control, Michael D. Sarchet Dec 1994

Modeling Workload Effectiveness And Efficiency Of Air Force Wing Command And Control, Michael D. Sarchet

Theses and Dissertations

This research investigated the feasibility of applying software engineering technology to the Air Force wing command and control (C2) domain. As part of this research, domain analysis and object-oriented techniques were investigated and a specific approach was chosen to analyze the domain. Analysis of the domain resulted in an object-oriented domain model that captured the key objects, operations, and associations of wing C2. The domain model was used to design and implement a prototype software tool that enables wing decision makers to make assessments about automation's impact on wing C2 operations.

Go to article

The Re-Engineering Of The Air Force Institute Of Technology Student Information System, Douglas J. Wu Dec 1994

The Re-Engineering Of The Air Force Institute Of Technology Student Information System, Douglas J. Wu

Theses and Dissertations

This research describes the design and implementation issues associated with re-engineering the Air Force Institute of Technology Student Information System (AFITSIS). Currently, AFITSIS executes on aging relational database technology and has unfriendly user interface mechanisms. The two research objectives met were to research current AFITSIS requirements, design, and implementation, and use object-oriented methods to design an alternative implementation based on proposed object database management system standards. This research explores how AFITSIS performance and capabilities might be enhanced by taking advantage of new object-oriented software engineering techniques. One of the primary benefits of this research is a detailed object modeling technique …

Go to article

Minimizing The Impact Of Synchronization Overhead In Parallel Discrete Event Simulations, Andrew C. Walton Dec 1994

Minimizing The Impact Of Synchronization Overhead In Parallel Discrete Event Simulations, Andrew C. Walton

Theses and Dissertations

A Parallel Discrete Event Simulation Coprocessor was designed for conservative synchronization protocols and was implemented in software using some of a parallel computer's nodes to act as coprocessors. The coprocessor was designed to offload synchronization overhead and next event queue management from the nodes running the simulation. The coprocessor was designed to accelerate simulations based on the Simulation Protocol Evaluation on a Concurrent Testbed with ReUsable Modules (SPECTRUM) environment. The research was conducted in three steps: the SPECTRUM environment was ported from an Intel iPSC-2 to an Intel Paragon XP-S, the coprocessor was designed and the simulations were timed, with …

Go to article

First Prev Next Last