Digital Commons Network^™

A Study In Systems Integration Architecture, Sashidhar M. Prasad

Theses

This Thesis studies the two architectures OSCA and ANSA which support the ODPSE principle in the first two parts. In the third part the framework for integrating these two architectures is described. The idea of integration architectures in relation to open architectures is studied using the enabling technologies.

User Authentication And Related Topics: An Annotated Bibliography, Eugene H. Spafford, Stephen A. Weeber

Department of Computer Science Technical Reports

No abstract provided.

A Note On Many-One And 1-Truth-Table Complete Languages, Steven Homer, Stuart A. Kurtz, James S. Royer

Electrical Engineering and Computer Science - Technical Reports

The polynomial time 1-tt complete sets for EXP and RE are polynomial time many-one complete.

Migrating A C-Based Cad Tool To An Object-Oriented Database/C++ Environment: Conversion Costs And Performance Analysis, Mark A. Roth, Timothy M. Jacobs

AFIT Documents

his paper examines the potential of object-oriented databases to support complex design applications. To do this we migrated the Magic very large scale integrated (VLSI) circuit design tool written in the C language to a new environment in which Magic's existing file management code is replaced with a C++ language interface to the commercial object-oriented database management system (OODBMS) product Object Store. In our initial implementation we found the performance of this tool as implemented on the OODBMS to be marginally faster than the tool as currently implemented with a flat file system in several critical areas. Increased functionality, including …

The Combinatorics Of Algebraic Splines, Chanderjit L. Bajaj

Department of Computer Science Technical Reports

No abstract provided.

Optimal Algorithms For Multipacket Routing Problems On Rings, Fillia Makedon, Antonios Symvonis

Computer Science Technical Reports

We study multipacket routing problems. We divide the multipacket routing problem into two classes, namely, distance limited and bisection limited routing problems. Then, we concentrate on rings of processors. We prove a new lower bound of 2n/ 3 routing steps for the case of distance limited routing problems. We also give an algorithm that tightens this lower bound. For bisection limited problems the lower bound is kn/ 4,k >2, where k is the number of packets per processor. The trivial algorithm needs in the worst case k | n /2| steps to terminate. An algorithm that completes the routing in …

Visualization Of Four Dimensional Space And Its Applications (Ph.D. Thesis), Jianhua Zhou

Department of Computer Science Technical Reports

No abstract provided.

An Efficient Neural Algorithm For The Multiclass Problem, Rangachari Anand, Kishan Mehrotra, Chilukuri K. Mohan, Sanjay Ranka

Electrical Engineering and Computer Science - Technical Reports

One connectionist approach to the classification problem, which has gained popularity in recent years, is the use of backpropagation-trained feed-forward neural networks. In practice, however, we find that the rate of convergence of net output error is especially low when training networks for multi-class problems. In this paper, we show that while backpropagation will reduce the Euclidean distance between the actual and desired output vectors, the difference between some of the components of these vectors will actually increase in the first iteration. Furthermore, the magnitudes of subsequent weight changes in each iteration are very small, so that many iterations are …

The Fast Fourier Transform, Per Brinch Hansen

Electrical Engineering and Computer Science - Technical Reports

This tutorial discusses the fast Fourier transform, which has numerous applications in signal and image processing. The FFT computes the frequency components of a signal that has been sampled at n points in O( n log n) time. We explain the FFT and illustrate it by examples and Pascal algorithms. We assume that you are familiar with elementary calculus.

Ccis Networking - December 1991, Nova University

CCIS Networking / SCIS Networking magazines

No abstract provided.

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 …

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 …

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 …

Parallel Divide And Conquer, Per Brinch Hansen

Electrical Engineering and Computer Science - Technical Reports

We develop a generic divide and conquer algorithm for a parallel tree machine. From the generic algorithm we derive balanced, parallel versions of quicksort and the fast Fourier transform by substitution of data types, variables and statements. The performance of these algorithms is analyzed and measured on a Computing Surface configured as a tree machine with distributed memory.

Do Hypercubes Sort Faster Than Tree Machines?, Per Brinch Hansen

Electrical Engineering and Computer Science - Technical Reports

We develop a balanced, parallel quicksort algorithm for a hypercube and compare it with a similar algorithm for a binary tree machine. The performance of the hypercube algorithm is measured on a Computing Surface.

Efficient Maximum-Likelihood Soft-Decision Decoding Of Linear Block Codes Using Algorithm A, Yunghsiang S. Han, Carlos R.P. Hartmann, Chih-Chieh Chen

Electrical Engineering and Computer Science - Technical Reports

In this report we present a novel and efficient maximum-likelihood soft-decision decoding algorithm for linear block codes. The approach used here is to convert the decoding problem into a search problem through a graph which is a trellis for an equivalent code of the transmitted code. Algorithm A*, which uses a priority-first search strategy, is employed to search through this graph. This search is guided by an evaluation function f defined to take advantage of the information provided by the received vector and the inherent properties of the transmitted code. This function f is used to drastically reduce the search …

Specifying Interdatabase Dependencies In A Multidatabase Environment, Marek Rusinkiewicz, Amit P. Sheth, George Karabatis

Kno.e.sis Publications

The problem of interdatabase dependencies and the effect they have on applications updating interdependent data are addressed. A model that allows specifications of constraints among multiple databases in a declarative fashion is proposed. The separation of the constraints from the application programs facilitates the maintenance of data constraints and allows flexibility in their implementation. It allows investigation of various mechanisms for enforcing the constraints, independently of the application programs. By grouping the constraints together, it is possible to check their completeness and discover possible contradictions among them. The concepts of polytransactions, which use interdatabase dependencies to generate a series of …

Design And Analysis Of Asynchronous Adders, Khalid Khanfar

Masters Theses

The aim of this study is to come up with a fast adder suitable for use in self-timed subsystems. 7 adders were evaluated.

The findings from this study indicated that a Conditional Sum Adder (CSA) is the best candidate for high speed addition. One of the two resulting adders was given the name High Speed Conditional Sum Adder (HSCSA) .

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 …

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 …

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. …

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 …

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 …

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 …

Investigative Search Of Quality Historical Software Support Cost Data And Software Support Cost-Related Data, Brent L. Barber

Theses and Dissertations

The purpose of the study was to determine what software support cost data and software support cost-related data should and can be collected by the Air Force. In addition, the study was to determine how the subject data should be collected. The collection of this data is necessary in order to measure the accuracy and calibration requirements of the software support cost models used by the Air Force. The study found there was no standard set of data items, and no standard procedures in place for the collection of this data. In most cases data were available or easily accessible, …

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 …

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 …

Analysis Of A Decision Support System For Case Tool Selection And The Specification Of An Ada To Sql Abstract Interface, Tina M. Deangelis

Theses and Dissertations

Information overload has long been a problem in the fast moving technical field of software development. Yet quality information is needed to make informed decisions about buying software tools that help in software development. Computer Aided Software Engineering (CASE) tools help to coordinate and control information in large software developments. Many CASE tool purchases, however, are being based on ad hoc tool evaluation and selection methods which depend on biased vendor information. To capture specific knowledge about how to pick a tool for a given software development effort, a historical database that identifies important tool characteristics needed to be maintained …

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 …

Design And Implementation Of A Graphical User Interface And Database Management System For The Saber Wargame, Andrew M. Horton

Theses and Dissertations

Saber is a theater level, multi-sided, airpower employment computerized wargame that can be programmed to simulate any combat scenario. The model simulates theater level combat between air and land forces, and takes into account the effects of logistics, resupply, and both theater nuclear and chemical warfare. The major objective of the Saber model is to provide a suitable educational platform to allow users to apply basic, tactical employment concepts to multiple combat units, each having a specialized mission, and incorporating every branch of the armed services. This thesis documents a graphical user interface and data management system that has been …