Engineering Commons^™

An Intelligent Real-Time System Architecture Implemented In Ada, Michael A. Whelan

Theses and Dissertations

Conventional real-time systems are fully deterministic allowing for off-line, optimal, task scheduling under all circumstances. Real-time intelligent systems add non-deterministic task execution times and non- deterministic task sets for scheduling purposes. Non-deterministic task sets force intelligent real-time systems to trade-off execution time with solution quality during run-time and perform dynamic task scheduling. Four basic design considerations addressing those tradeoffs have been identified: control reasoning, focus of attention, parallelism, and algorithm efficacy. Non-real- time intelligent systems contain an environment sensor, a model of the environment, a reasoning process, and a large collection of procedural processes. Real-time intelligent systems add to these …

Solution To A Multicriteria Aircraft Routing Problem Utilizing Parallel Search Techniques, James J. Grimm Iii

Theses and Dissertations

Pilots select routes based on factors such as threats, fuel, time on target, distance, and refueling points. This is a time consuming task. This thesis presents the software engineering synthesis of a software tool, based on a parallelized A* search algorithm, to select routes. For simplicity only threats and distance are used. A centralized open list is used with one processor managing the list while the other processors perform the node expansions. This decomposition result in a dynamically load balanced system. A number of parameters are changed to study their impact on the execution time. The use of a branch …

Parallel Simulation Of Structural Vhdl Circuits On Intel Hypercubes, Thomas A. Breeden

Theses and Dissertations

Many VLSI circuit designs are too large to be simulated with VHDL in a reasonable amount of time. One approach to reducing the simulation time is to distribute the simulation over several processors. This research creates an environment for designing and simulating structural VHDL circuits on the Intel iPSC/2 and iPSC/860 Hypercubes. Logic gates and system behaviors are partitioned among the processors, and signed changes are shared via event messages. Circuit simulations are run over the SPECTRUM parallel simulation testbed, and the null- message paradigm is used to avoid deadlock. Structural circuits ranging from forty to over one thousand logic …

Creating And Manipulating Formalized Software Architectures To Support A Domain-Oriented Application Composition System, Cynthia G. Anderson

Theses and Dissertations

This research investigated technology which enables sophisticated users to specify, generate, and maintain application software in domain-oriented terms. To realize this new technology, a development environment, called Architect, was designed and implemented. Using canonical formal specifications of domain objects, Architect rapidly composes these specifications into a software application and executes a prototype of that application as a means to demonstrate its correctness before any programming language specific code is generated. Architect depends upon the existence of a formal object base (or domain model) which was investigated by another student in related research. The research described in this thesis relied on …

Automatic Surface Mount Solder Joints Inspection, Zhu Liu

Theses

This thesis reports the research results on automatic inspection of solder joints on printed circuit boards. The previous work on this subject has been advanced significantly in the following three aspects. With the support of AT&T Bell Lab, the most updated surface mount solder joints are inspected in this work instead of larger simulation solder joints or traditional through hole solder joints in the previous work. A small set of features is extracted for surface mount solder joints in both infrared and visual light inspection. A new image processing software named Khoros has been applied to improve the quality of …

Developing Image Processing Tools In X Window System, Xin Zhang

Dissertations and Theses

The X Window System is an industry-standard software system which facilitates programmers to develop portable graphical user interfaces. This thesis describes an image processing tool developed under the X Window System. A multiwindow image display software with image editing and improvement functions is developed. The software has four modules: environment generation, image creation, image editing and image improvement.

The environment generation module creates working windows, scrollbars, dialogbox and pulldown menu buttons, and tracks mouse cursor positions. The working windows are three adjacent windows allowing display of three different images simultaneously. The dialogbox provides an interface between the user and the …

Ignoring Interprocessor Communication During Scheduling, Chintamani M. Patwardhan

Dissertations and Theses

The goal of parallel processing is to achieve high speed computing by partitioning a program into concurrent parts, assigning them in an efficient way to the available processors, scheduling the program and then executing the concurrent parts simultaneously. In the past researchers have combined the allocation of tasks in a program and scheduling of those tasks into one operation. We define scheduling as a process of efficiently assigning priorities to the already allocated tasks in a program. Assignment of priorities is important in cases when more than one task at a processor is ready for execution. Most heuristics for scheduling …

Counterpropagation Neural Network Detection Of Visual Primitives, Cynthia Lynn Johnson

Retrospective Theses and Dissertations

Psychological testing has shown that there is an early preattentive stage in the human visual system. At this level, simple features and properties of objects known as visual primitives are detected spatially in parallel by groupings of cells in the visual cortex known as feature maps. In order to study this preattentive stage in a machine vision system, the biologically inspired, highly parallel architecture of the artificial neural network shows great promise. This paper describes how the unique architecture of the counterpropagation neural network was used to simulate the feature maps which detect visual primitives in the human visual system. …

Application Of Case-Based Reasoning Techniques To The Automation Of Single-Family Residential Property Appraisals, Raymond Laureano-Ortiz

Retrospective Theses and Dissertations

Case-based reasoning has emerged as an alternative to rule-based reasoning techniques for the design of expert systems. This paper concentrates on the issues involved in the application of the case-based reasoning techniques to a specific domain, property appraisal. Case-based reasoning has been recently favored because it seems to resemble more closely to the psychological process human follows when trying to apply their knowledge to the solution of problems: People adapt solutions of similar problems they handled in past experiences to address present situations.

Property appraisal or valuation is a domain characterized by having a single parameter in its solution, that …

Muslib: A Proposed Database For The Management Of A Music Library, Gary St. Germain

Theses Digitization Project

No abstract provided.

Investigation And Evaluation Of A Computer Program To Minimize Vfr Flight Planning Errors, Peter Joseph Mcalindon

Master's Theses - Daytona Beach

The purpose of this study was to investigate the effect of computer aided flight planning on flight planning errors. Subjects were selected from the introductory flight courses at Embry-Riddle Aeronautical University. After the subjects completed a conventional VFR navigation log, they were asked to plan the return trip of the flight using a computer aided flight plan. It was initially expected that the computer aided flight plans would have fewer flight planning errors than those calculated using conventional methods. The results supported the hypothesis that flight planning errors are greatly reduced when computer aided flight planning techniques are used.

Parallel Architectures For Solving Combinatorial Problems Of Logic Design, Phuong Minh Ho

Dissertations and Theses

This thesis presents a new, practical approach to solve various NP-hard combinatorial problems of logic synthesis, logic programming, graph theory and related areas. A problem to be solved is polynomially time reduced to one of several generic combinatorial problems which can be expressed in the form of the Generalized Propositional Formula (GPF) : a Boolean product of clauses, where each clause is a sum of products of negated or non-negated literals.

Object-Oriented Development Techniques For Real-Time Software Systems: A Case Study, Thomas S. Seldenright

Retrospective Theses and Dissertations

Great improvements have been made in computer technology over the last forty years. Today, systems are being developed to solve complex problems that were previously thought to be out of the reach of computer solutions. Unfortunately, advances in software development techniques have been outpaced by the advances made in hardware development techniques. In recent years, effort has been made to formalize software development techniques suitable for real-time systems. This paper presents an object-oriented approach to realtime systems development. The object-oriented development approach is applied to a real-time case study problem. The case study involves controlling the speed of a toy …

Design Of A Systolic Architecture To Implement Graphic Transforms, Aimee A. Murray

Retrospective Theses and Dissertations

The graphics generator hardware is an important component of flight-training simulators. The function of this hardware is to generate 3D perspective images at rates of 30 frames per second to produce realistic out-ofwindow scenes viewed by the crew under training. Within most graphics generator hardware are array processors which achieve high computation throughput necessary to generate real-time processing. The function of the array processors is to transform, clip, rotate and perspective project the data base into screen coordinates for use by the graphic generator. A FIMD (few instructions multiple data) systolic architecture is proposed to achieve high computational throughput that …

Development Of A Bi-Directional Inference Engine Using An Object-Oriented Approach, Taha A. Sidani

Retrospective Theses and Dissertations

An inference engine is the mechanism by which an expert system program uses the domain specific information in the knowledge base to solve a problem at hand. Most of the current systems apply one of three control strategies to perform the reasoning process. These strategies are better known as forward chaining, backward chaining, and hybrid control. However, some of these systems restrict the user by confining him/her to use only the type of control provided. Hybrid systems infer using both forward and backward chaining. In either case, the user is limited to the method in which the knowledge engineer represented …

Survey Of Local Area Networks For Low End Systems, Wipawadee P. Sonprasit

Retrospective Theses and Dissertations

Local area networks (LANs) that support small systems, the personal computers in particular, are surveyed. LAN environments, factors motivating interest in PC LANs, and capability requirements of LANs posed by low-end systems users, are outlined. Discussion of LAN technology includes standards, architecture, transmission media, topology, transmission techniques, access protocol, and performance factors topics. Commercial products are presented with more in-depth outline on selected products. Observation and future of PC LANs conclude the survey.

Comparison Of Graphical Design Methodologies, Pamela Stark Woodard

Retrospective Theses and Dissertations

The recent development of the Ada language by the Department of Defense and its required use within the Department of Defense for the development of embedded software systems has resulted in a need for better methods to represent Ada software designs. Graphical design techniques have long been used as software design and documentation aids. The use of graphical techniques to illustrate an Ada design can provide a clear, concise means to describe a complex software system. The purpose of this paper is to investigate several software design methodologies which incorporate graphical design notations. The specific software methodologies examined in detail …

Ada Real-Time Performance Benchmarks For Personal Computer Environments, Stephen L. Laroche

Retrospective Theses and Dissertations

A set of benchmarks were developed to test the real-time performance of Ada Personal Computer (PC) compilers. The benchmark set measures the overhead associated with various functions, including subprogram calls both from within and outside of packages ( including generic), dynamic allocation and deallocation of objects, exceptions, task activation/termination, task rendezvous, various time related functions, common arithmetic functions, and file I/0. The benchmark set also determines the type of memory deallocation supported, and determines whether fixed-interval or pre-emptive delay task scheduling is used. The different benchmarks are described along with an explanation of the testing methods for each benchmark. Two …

Char: The Fire Investigators Aid The Implementation Of Expert System, Pamella M. Johnson

Retrospective Theses and Dissertations

The purpose of this research is to determine the applicability of expert systems to fire investigation. This will be accomplished by: a) using an expert systems building tool, b) extraction and organization of the knowledge base, c) application of the system to solve a real problem.

Two Dimensional And Three Dimensional Path Planning In Robotics, Hyun Suk Kim

Dissertations and Theses

A methodology for 2D and 3D collision free path planning algorithm in a structured environment is presented. The isolated free convex areas are represented as a nodes in a graph, and a graph traversal strategy that dynamically allocates costs to graph path is used. Modification of the algorithm for small computational time and optimality is discussed. The 3D path planning is done in the three orthogonal two-dimensional projections of a 3D environment. Collision checking to increase the optimality for 3D paths is done in each of the three orthogonal two-dimensional subspaces.

Direct Digital Control Of A Liquid Level Control Unit, Barbara Viehman Lytle

Retrospective Theses and Dissertations

A system was developed to allow undergraduate engineering students the capability of simulating various types of control modes in a laboratory environment. The use of digital control and common industrail components such as transducers, recorders, and valves was implemented.

Modification to an existing bench scale process control system is outlined and demonstrated. A computer program was written which interfaces with the hardware and data acquisition software allowing the user many options to study control processes under a variety of conditions. A wide range of parameters can be selected. System parameters can be saved on disk or printed directly. Data are …

Utilizing Object-Oriented Design To Reduce The Effort Expended On The Maintenance Phase Of A Software Project, Susan Muriel Storma

Retrospective Theses and Dissertations

Due to poor software design, software products typically incur substantial cost overruns during the maintenance phase of the life cycle. Use of modern software engineering principles (e.g., information hiding and abstraction) can i mprove the design of a product and, hence, reduce the effort associated with the maintenance phase of a product. Object-oriented design (OOD) is a tool which embodies these software engineering principles. This paper first presents the concepts of 00D and how it is used. A design example involving a programmable temperature controller is presented utilizing 00D and is then compared to a top-down design approach. Conclusions are …

Development Of Techniques To Perform Simulation-Adaptation In A Simulation Training Environment Using Expert System Methods, Cheryl E. Bagshaw

Retrospective Theses and Dissertations

The use of computers for instructional purposes is steadily increasing, along with an emphasis on developing systems which create environments tailored to human beings. Artificial Intelligence techniques have been incorporated into these systems with an aim at developing better methods of modeling of simulating knowledge and intelligent behavior. One type of these systems, Intelligent Simulation Training Systems (ISTS), utilize a simulation in the training process. This is an ideal environment for the instruction of skills which focus on the ability to understand the time and space relationships of objects.

An intelligent tutor module of an ISTS must configure scenarios for …

Compiling Unit Clauses For The Warren Abstract Machine, George D. Herbert

UNF Graduate Theses and Dissertations

This thesis describes the design, development, and installation of a computer program which compiles unit clauses generated in a Prolog-based environment at Argonne National Laboratories into Warren Abstract Machine (WAM) code. The program enhances the capabilities of the environment by providing rapid unification and subsumption tests for the very significant class of unit clauses. This should improve performance substantially for large programs that generate and use many unit clauses.

The Design Of A Processing Element For The Systolic Array Implementation Of A Kalman Filter, John P. Condorodis

Retrospective Theses and Dissertations

The Kalman filter is an important component of optimal estimation theory. It has applications in a wide range of high performance control systems including navigational, fire control, and targeting systems. The Kalman filter, however, has not been utilized to its full potential due to the limitations of its inherent computational intensiveness which requires "off-line" processing or allows only low bandwidth real-time applications.

The recent advances in VLSI circuit technology have created the opportunity to design algorithms and data structures for direct implementation in integrated circuits. A systolic architecture is a concept which allows the construction of massively parallel systems in …

Implementation Of A Parallel Ynet Architecture, Julie Nadeau Leblanc

Retrospective Theses and Dissertations

A simulation of an alternate implementation of a redundant busing network based on the Teradata Ynet architecture is presented. An overview of the Teradata DBC/1012 data base parallel processing computer including the Ynet, an active logic busing network, is given. Other multiprocessor busing networks are examined and compared to the standard Ynet and the alternate Ynet.

In the standard Ynet system, two networks, called Ynets, process message packets concurrently. When one of the Ynet paths fails, the system is reset. The remaining Ynet path restarts using the previously interrupted packets and processing continues without the aid of the failed Ynet. …

Implementation Of Inversion Algorithms In Reconfigurable Systolic Arrays, Haritini E. Andre

Retrospective Theses and Dissertations

Reducing the computing time of the matrix inversion has been a concern of many authors. The use of Systolic architectures containing orthogonally connected processing elements capable of few instructions multiple data have allowed for new algorithms to be implemented. Two algorithms are examined that rely on the triangularization methods for matrix inversion. One can be applied to the general non-singular matrix and the other to the symmetric matrix. The throughput in both implementation is revolutionized. The speed improvement over Liu and Young’s implementation of the symmetric matrix inversion is by a factor of three.

The throughput in both implementation is …

Design And Applications Of A Graphics Package For The Hp1000 Computer., Hsiao-Chih George Lee

Electronic Theses and Dissertations

The objective of this thesis is to develop the FORTRAN subroutine PLOTER which is a general-purpose plotting tool to plot charts on a Hewlett Packard plotter. The programs RESP and INVLAP which can plot the frequency and time responses of system functions are modified to adopt the PLOTER subroutine and are stored of the HP1000-A900 minicomputer whose software, the GRAPHICS/1000, supports the graphics ability of PLOTER. This thesis describes the theories, functions, software techniques and operations of the PLOTER subroutine and the application programs RESP and the INVLAP. It also provides program listings and example plots.

Editor Design In The Context Of Control System Simulation, Leon Fadden

Retrospective Theses and Dissertations

Advances in microcomputer display devices and support software during the past decade have made the microcomputer an increasingly popular vehicle for technical education. This is especially apparent in the area of simulation. The pedagog can provide the student of control theory not merely with the block diagrams and differential algebra but with high resolution color graphic animations supported by mathematical models whose parameters are easily changed by some editor facility. This mode of control system design and behavior study is both faster and more enjoyable for the student, providing greater continuity, concentration, and learning efficiency.

This paper describes the simulation …

Design Of A Laboratory Course In Embedded Computer Systems, Alexander Nikoloff

Retrospective Theses and Dissertations

This research report discusses and presents the design of a university undergraduate level laboratory course introducing the topic of embedded computer systems. The course utilizes the Rainbow 100 computer and the Data Translation LDT2801 interface board to illustrate this concept.

Lab problems in Digital to Analog conversions, Analog to Digital conversions, Digital input/output, serial communication, motor drivers and parallel communication are presented, as are fully documented solutions. Suggested lecture material appropriate to the course is reviewed.