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

Physical Sciences and Mathematics Commons™

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

Computer Sciences

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 55861 - 55890 of 57994

Full-Text Articles in Physical Sciences and Mathematics

Binary Programming Models Of Spatial Pattern Recognition: Applications In Remote Sensing Image Analysis, Thomas G. Reed Dec 1991

Binary Programming Models Of Spatial Pattern Recognition: Applications In Remote Sensing Image Analysis, Thomas G. Reed

Theses and Dissertations

The major purpose of this investigation was to implement subregion allocation objectives using a network model base on an existing subregion allocation binary programming model (Benabdallah and Wright (B&W), 1990), the ultimate goal being the application of subregion allocation concepts towards the spatial analysis of satellite imagery. The multi-objective aspects of subregion allocation can be accomplished via a network formulation, a formulation vastly simpler in complexity than the binary programming models previously used. Without a network programming package that could maintain integral flows, however, deriving the solution was a tiresome task for the user. Nonetheless, several new concepts and advantages …

Go to article

A Formal Definition Of The Object-Oriented Paradigm For Requirements Analysis, Andrew D. Boyd Dec 1991

A Formal Definition Of The Object-Oriented Paradigm For Requirements Analysis, Andrew D. Boyd

Theses and Dissertations

This paper develops a formal definition of the Object-Oriented paradigm for requirements analysis. The literature was surveyed for both formal and informal methods for conducting an Object-Oriented Requirements Analysis (OORA). The informal methods reviewed are: Bailin's, Shlaer and Mellor's, Booch's, and Coad and Yourdon's. The formal methods reviewed are: Bralick's, Z, and REFINE. None of the methods were found to be adequate for doing an OORA. A formal definition of an OORA, based on the concept of classes, is developed. The definition itself is presented as set and relation theory. A supporting graphical representation is also developed and presented. The …

Go to article

Multi-Layered Feedforward Neural Networks For Image Segmentation, Gregory L. Tarr Dec 1991

Multi-Layered Feedforward Neural Networks For Image Segmentation, Gregory L. Tarr

Theses and Dissertations

Artificial neural network image segmentation techniques are examined. The biological inspired cortex transform is examined as a means to preprocess images for segmentation and classification. A generalized neural network formalism is presented as a means to produce common pattern recognition processing techniques in a single iterable element. Several feature reduction preprocessing techniques, based on feature saliency, Karhunen-Loeve transformation and identity networks are tested and compared. The generalized architecture is applied to a problem in image segmentation, a tracking of high- value fixed tactical targets. A generalized architecture for neural networks is developed based on the second order terms of the …

Go to article

An Expert System For Measuring, Interpreting, And Managing System Performance Factors For The Work Information Management System, Billy J. C. Irwin Dec 1991

An Expert System For Measuring, Interpreting, And Managing System Performance Factors For The Work Information Management System, Billy J. C. Irwin

Theses and Dissertations

This study develops an expert system for measuring, interpreting, and managing the Wang VS operating system performance factors for the Work Information Management System. The system's performance concerns least known to system administrators are identified. Of these, SHARER buffers and VTOC cache are identified as factors that can significantly impact system performance with little effort. A six step process is used in developing the expert system. Concept maps representing the structure of the Wang VS Disk Input/Output problem domain are provided. The expert system provides information about the system parameters, SHARER buffers and VTOC cache, and recommends main memory allocations. …

Go to article

Relative Utility Of Selected Software Requirement Metrics, James H. Byers Dec 1991

Relative Utility Of Selected Software Requirement Metrics, James H. Byers

Theses and Dissertations

The objective of this study was to determine the relative utility of selected software requirement metrics in assessing the productivity of the software requirements analysis process and the quality of the products of this process. This objective was met by collecting information about the perceptions that practicing software professionals have of the usefulness of various requirement metrics. The study employed a two part methodology. The first part utilized Basili's goal/question/metric paradigm to identify specific goals of the measurement effort and to identify requirement metrics worthy of further investigation. The second part employed a typical research design to gather perceptions that …

Go to article

An Expert System Advisor For Medical Evaluation Boards, Jerry S. G. Harrington Dec 1991

An Expert System Advisor For Medical Evaluation Boards, Jerry S. G. Harrington

Theses and Dissertations

Expert system technology has proven itself to be able to improve productivity and decision making in a variety of fields of endeavor. The purpose of this study was to determine if an expert system for medical evaluation boards (MEBs) could improve upon the processing of medical evaluation board cases. Research was conducted to develop an expert system and measure the capabilities of the system, both in terms of accuracy and timeliness of case completion of the medical evaluation administrators/clerks who were assisted by the system. The research methodology involved a three - phase approach. The objective of phase one was …

Go to article

Radar System Classification Using Neural Networks, David M. Cameron Dec 1991

Radar System Classification Using Neural Networks, David M. Cameron

Theses and Dissertations

This study investigated methods of improving the accuracy of neural networks in the classification of large numbers of classes. A literature search revealed that neural networks have been successful in the radar classification problem, and that many complex problems have been solved using systems of multiple neural networks. The experiments conducted were based on 32 classes of radar system data. The neural networks were modelled using a program called the Neural Graphics Analysis System. It was found that the accuracy of the individual neural networks could be increased by controlling the number of hidden nodes, the relative numbers of training …

Go to article

Parallel Implementation Of Vhdl Simulations On The Intel Ipsc/2 Hypercube, Ronald C. Comeau Dec 1991

Parallel Implementation Of Vhdl Simulations On The Intel Ipsc/2 Hypercube, Ronald C. Comeau

Theses and Dissertations

VHDL models are executed sequentially in current commercial simulators. As chip designs grow larger and more complex, simulations must run faster. One approach to increasing simulation speed is through parallel processors. This research transforms the behavioral and structural models created by Intermetrics' sequential VHDL simulator into models for parallel execution. The models are simulated on an Intel iPSC/2 hypercube with synchronization of the nodes being achieved by utilizing the Chandy Misra paradigm for discrete-event simulations. Three eight-bit adders, the ripple carry, the carry save, and the carry-lookahead, are each run through the parallel simulator. Simulation time is cut in at …

Go to article

Logic Programming In Digital Circuit Design, Joseph W. Eicher Dec 1991

Logic Programming In Digital Circuit Design, Joseph W. Eicher

Theses and Dissertations

The design of large, complex digital circuitry requires highly skilled engineers. Much of the time spent by these engineers in the design phase involves tasks that are repetitive, tedious, and slow. If these repetitive tasks are automated, the engineer can spend more time managing the design process and produce a better-quality design in less time. Logic programming can be used to automate design tasks, even those that require a high degree of skill. This thesis investigates several aspects of the digital circuit design process that involve pattern-matching paradigms suitable for encoding in the logic programming language Prolog.

Go to article

A Spatially Partitioned Parallel Simulation Of Colliding Objects, Robert S. Moser Dec 1991

A Spatially Partitioned Parallel Simulation Of Colliding Objects, Robert S. Moser

Theses and Dissertations

This study investigated the application of a conservative synchronization paradigm to the classical, distributed pool balls simulation executed on an eight node, Intel iPSC/2 hypercube. Wieland's concept of spatial partitioning and limited data replication was used. Analysis has shown that 100% parallelization of execution is possible in a conservative environment via assignment of multiple sectors to nodes. Two conservative formulations for minimum safe time were derived. A tradeoff exists between scalability and efficiency. Optimum sectoring prediction has been shown possible through application of linear regression techniques. The results of this research reveal that a conservative approach to distributed, discrete event …

Go to article

Real Imagery As A Three Dimensional Display, Juan C. Echeverry Dec 1991

Real Imagery As A Three Dimensional Display, Juan C. Echeverry

Theses and Dissertations

This research effort implemented two 3-D display designs to assess their performance and effect on an observer's depth perception. Both 3-D displays produced real images for the observer to view. The first display setup combined a lens relay with a two concave mirror projector. The second display setup combined the two concave mirror projector with a diffuser. The lens relay/ two concave mirror projector combination was successful in imaging a source from the CRT to a point in space above the two mirror system. The problem was that the observer could not assess the image location by just looking at …

Go to article

Object-Oriented Analysis And Design Of The Saber Wargame, Christine M. Sherry Dec 1991

Object-Oriented Analysis And Design Of The Saber Wargame, Christine M. Sherry

Theses and Dissertations

This thesis presents an object-oriented analysis and design of Saber, a theater-level computerized wargame, for the Air Force Wargaming Center, Maxwell AFB, Alabama. The analysis and design is based on a recently developed conceptual model, and existing land battle, and additional research. This thesis also begins the implementation process. The design was accomplished using an iterative, five step design process. Objects and operations were chosen and then encapsulated in Ada packages. This thesis also makes necessary changes to the land battle as described by the conceptual model and as the result of additional research. Sound software engineering principles were used …

Go to article

A Hybrid Approach To Battlefield Parallel Discrete Event Simulation, Steven R. Soderholm Dec 1991

A Hybrid Approach To Battlefield Parallel Discrete Event Simulation, Steven R. Soderholm

Theses and Dissertations

This thesis describes a method of parallelizing a battlefield discrete event simulation. The method combines elements of conservative time synchronization together with elements of optimistic computation and local rollback on a message passing hardware architecture. The battle simulation features aircraft moving in a battle area and launching missiles at enemy aircraft. Aircraft are randomly grouped into logical process (LPs), and a single LP is assigned to each processor. Aircraft state information is replicated across all LPs. Only the LP with the minimum next event time can execute safely. While one LP is executing safely all other LPs are precomputing their …

Go to article

Graph-Based Visualization Of Formal Specification And Domain Specific Languages, Randel K. Langloss Dec 1991

Graph-Based Visualization Of Formal Specification And Domain Specific Languages, Randel K. Langloss

Theses and Dissertations

This research develops and implements Visual Refine, a graph-based visualization system, for the Refine wide-spectrum formal specification language and environment developed and marketed by Reasoning Systems, Inc. Refine specifications are represented in the Refine object base as abstract syntax trees (AST). Using these AST representations, one-to-one mappings are defined between nodes of the AST and the graphical icons of Visual Refine. Visual Refine uses these mappings to implement a set of formal transformations. Each transformation is encapsulated within a Refine rule, and this set of rules form the Visual Refine transformation system. The Visual Refine transformation system, in conjunction with …

Go to article

Control Of A Large Flexible Space Structure Using Multiple Model Adaptive Algorithms, John A. Gustafson Dec 1991

Control Of A Large Flexible Space Structure Using Multiple Model Adaptive Algorithms, John A. Gustafson

Theses and Dissertations

The development and performance of moving-bank multiple model adaptive estimation (MMAE) and control (MMAC) algorithms for quelling vibrations induced in the SPICE 2 space structure are analyzed in this thesis. The structure consists of a large platform and a smaller platform connected by three legs in a tripod fashion. The model supplied by Phillips Laboratory, Kirtland AFB is used to develop a truth model and multiple reduced ordered filter models. The filter models are developed from modal analysis and internally balanced techniques. Deviations of the line-of-sight vector from the center of the large platform to the center of the smaller …

Go to article

An Event Driven State Based Interface For Synthetic Environments, Mark J. Gerken Dec 1991

An Event Driven State Based Interface For Synthetic Environments, Mark J. Gerken

Theses and Dissertations

Previous research at the Air Force Institute of Technology (AFIT) has produced synthetic environments using head mounted displays (HMDs) and hand measurement devices. This thesis is a continuation of AFIT synthetic environment research. Hand measurement data from a VPL DataGlove is combined with hand orientation and translational data to define a set of valid gestures. These gestures form the basis of an input language for class of finite automata known as finite state machines. Using the input symbols from this language, the user may define a finite state machine which associates a stream of input symbols with one or more …

Go to article

Parallelizing Serial Code For A Distributed Processing Environment With An Application To High Frequency Electromagnetic Scattering, Paul R. Work Dec 1991

Parallelizing Serial Code For A Distributed Processing Environment With An Application To High Frequency Electromagnetic Scattering, Paul R. Work

Theses and Dissertations

This thesis investigates the parallelization of existing serial programs in computational electromagnetics for use in a parallel environment. Existing Algorithms for calculating the radar cross section of a object are covered, and a ray-tracing code is chosen for implementation on a parallel machine. Current parallel architectures are introduced and a suitable parallel machine is selected for the implementation of the chosen ray tracing algorithm. The standard techniques for the parallelization of serial code are discussed, including load balancing and decomposition considerations, and appropriate methods for the parallelization effort are selected. A load balancing algorithm is modified to increase the efficiency …

Go to article

Establishing A Methodology For Evaluation And Selecting Computer Aided Software Engineering Tools For A Defined Software Engineering Environment At The Air Force Institute Of Technology School Of Engineering, Jody L. Mattingly Dec 1991

Establishing A Methodology For Evaluation And Selecting Computer Aided Software Engineering Tools For A Defined Software Engineering Environment At The Air Force Institute Of Technology School Of Engineering, Jody L. Mattingly

Theses and Dissertations

This thesis identifies the software engineering environment (SEE) as it exists at the Air Force Institute of Technology (AFIT) School of Engineering. It also describes the software process model employed and the software development methods presented as part of the curriculum. Based on this information, criteria was established to evaluate computer aided software engineering (CASE) tools being considered for integration into the SEE. Each criterion was weighted to indicate its importance when selecting CASE tools. The criteria were further used to establish a methodology to be used to evaluate and select the CASE tools under consideration as well as future …

Go to article

Structured Hypermedia Application Development Model (Shadm): A Structured Model For Technical Documentation Application Design, Peter W. Cassell Dec 1991

Structured Hypermedia Application Development Model (Shadm): A Structured Model For Technical Documentation Application Design, Peter W. Cassell

Theses and Dissertations

This research was conducted to determine how a Royal Australian Air Force technical maintenance publication could be transformed into a task oriented hypermedia application and to develop a model that could be used for future similar transformations. The model was developed following in-depth analysis of the existing USAF F-15E maintenance publication set and validation was conducted using a prototype developed in HyperWriter, a commercial hypermedia product. The prototype model was based around the performance of three maintenance tasks on an aircraft sub-subsystem and incorporated online user access to the necessary support data for task completion. Publication managers, producers, and users …

Go to article

Possible Application Of Quality Function Deployment In Software Systems Development In The United States Air Force, Craig R. Lamb Dec 1991

Possible Application Of Quality Function Deployment In Software Systems Development In The United States Air Force, Craig R. Lamb

Theses and Dissertations

The objectives of the thesis were to determine whether the methods of Quality Function Deployment (QFD) could be used in the software development environment within the USAF, and whether or not this area should be researched further. The research was limited to the requirements analysis and definition phase. The different areas of study included a brief review of the structured analysis methodology, a detailed review of the QFD models currently being used in the product industries, a review of how QFD fits into the software development cycle, and specific software modifications to the QFD methodology. A review of some applications …

Go to article

An Object-Oriented Database Implementation Of The Magic Vlsi Layout Design System, Timothy M. Jacobs Dec 1991

An Object-Oriented Database Implementation Of The Magic Vlsi Layout Design System, Timothy M. Jacobs

Theses and Dissertations

This thesis attempts to prove that the commercially available Object Store data management system provide the performance and functionality necessary to support a complex engineering design system. This is accomplished by modifying the Magic VLSI circuit layout design system to eliminate its current Unix file data management system and replace it with Object Store. The approach to this research effort includes a design recovery of the Magic system and identification of its ket data management functions. These functions are then modified to take advantage of the database management facilities of Object Store. Additional code is added to instrument performance measurement …

Go to article

A Case Study In Software Reuse: The Rntds Architecture, Barry J. Stevens Dec 1991

A Case Study In Software Reuse: The Rntds Architecture, Barry J. Stevens

Computer Science Theses & Dissertations

It has been asserted that the most significant gains in software productivity will come from increased levels of software reuse. Some economic models for predicting savings through software reuse exist, but none are based on actual project experience. This paper surveys those models and presents the results of a case study, the Restructured Naval Tactical Data Systems (RNTDS) architecture, in the light of those models. According to the models, software reuse via the RNTDS architecture has enabled the production of fourteen major computer programs at five to twenty-one percent of the cost to create them without software reuse. Organizational characteristics …

Go to article

Knowledge-Based Systems Approach For Offshore Safety Training, B. S. Lee, Venky Shankararaman Dec 1991

Knowledge-Based Systems Approach For Offshore Safety Training, B. S. Lee, Venky Shankararaman

Research Collection School Of Computing and Information Systems

A number of training methods has been used within the offshore industry to impart safety knowledge and safe operating skills. In this paper a Knowledge-Based Safety Training architecture is proposed. The architecture uses both expert system and hypertext methods and is also applicable to plants other than offshore platforms. Special attention is given to the types of knowledge dealt with in safety training and how to represent this knowledge and teach it using various teaching strategies.

Go to article

Practical Prefetching Techniques For Parallel File Systems, David Kotz, Carla Schlatter Ellis Dec 1991

Practical Prefetching Techniques For Parallel File Systems, David Kotz, Carla Schlatter Ellis

Dartmouth Scholarship

Parallel disk subsystems have been proposed as one way to close the gap between processor and disk speeds. In a previous paper we showed that prefetching and caching have the potential to deliver the performance benefits of parallel file systems to parallel applications. In this paper we describe experiments with practical prefetching policies, and show that prefetching can be implemented efficiently even for the more complex parallel file access patterns. We test these policies across a range of architectural parameters.

Go to article

Caching And Writeback Policies In Parallel File Systems, David Kotz, Carla Schlatter Ellis Dec 1991

Caching And Writeback Policies In Parallel File Systems, David Kotz, Carla Schlatter Ellis

Dartmouth Scholarship

Improvements in the processing speed of multiprocessors are outpacing improvements in the speed of disk hardware. Parallel disk I/O subsystems have been proposed as one way to close the gap between processor and disk speeds. Such parallel disk systems require parallel file system software to avoid performance-limiting bottlenecks. We discuss cache management techniques that can be used in a parallel file system implementation. We examine several writeback policies, and give results of experiments that test their performance.

Go to article

Optimal Parallel Algorithms For Periods, Palindromes And Squares (Preliminary Version), Alberto Apostolico, Dany Breslauer, Zvi Galil Nov 1991

Optimal Parallel Algorithms For Periods, Palindromes And Squares (Preliminary Version), Alberto Apostolico, Dany Breslauer, Zvi Galil

Department of Computer Science Technical Reports

No abstract provided.

Go to article

A Distributed Object-Oriented Discrete Event-Driven Simulation Environment-Dodese, Min Chen Nov 1991

A Distributed Object-Oriented Discrete Event-Driven Simulation Environment-Dodese, Min Chen

FIU Electronic Theses and Dissertations

A new distributed object-oriented discrete event-driven simulation environment, DODESE, is developed to provide a common framework for simulation model design and implementation. The DODESE can be used to define a simulation including all the simulation objects participating in the simulation while the execution of the simulation can be interactively monitored on DODESE. The DODESE system has combined the strengths of both object-oriented paradigms and data base technology to make computer simulation more powerful and has achieved the goals of object-orientation, distribution, reusability, maintainability and extensibility. The system runs on two Sun workstations concurrently connected by an Ethernet. One of the …

Go to article

Gcache: A Generalized Caching Mechanism, Douglas E. Comer, Shawn Ostermann Nov 1991

Gcache: A Generalized Caching Mechanism, Douglas E. Comer, Shawn Ostermann

Department of Computer Science Technical Reports

No abstract provided.

Go to article

Representation Requirements For Supporting Knowledge-Based Construction Of Decision-Models In Medicine, Tze-Yun Leong Nov 1991

Representation Requirements For Supporting Knowledge-Based Construction Of Decision-Models In Medicine, Tze-Yun Leong

Research Collection School Of Computing and Information Systems

This paper analyzes the medical knowledge required for formulating decision models in the domain of pulmonary infectious diseases (PIDs) with acquired immunodeficiency syndrome (AIDS). Aiming to support dynamic decision-modeling, the knowledge characterization focuses on the ontology of the clinical decision problem. Relevant inference patterns and knowledge types are identified.

Go to article

Effects Of Replication On The Duration Of Failure In Distributed Databases, Donald B. Johnson, Larry Raab Nov 1991

Effects Of Replication On The Duration Of Failure In Distributed Databases, Donald B. Johnson, Larry Raab

Computer Science Technical Reports

Replicating data objects has been suggested as a means of increasing the performance of a distributed database system in a network subject to link and site failures. Since a network may partition as a consequence of such failures, a data object may become unavailable from a given site for some period of time. In this paper we study duration failure, which we define as the length of time, once the object becomes unavailable from a particular site, that the object remains unavailable. We show that, for networks composed of highly-reliable components, replication does not substantially reduce the duration of failure. …

Go to article

First Prev Next Last