Digital Commons Network^™

The Design And Implementation Of The Programming Language Natural, Alan L. Sparks

Masters Theses

"This paper reports progress on the development of the programming language Natural, currently under design by Dr. Thomas J. Sager at the University of Missouri--Rolla. Natural is a very high-level language with a mathematical flavor, and includes several concepts relatively uncommon in programming language design.

The text also discusses an implementation on the IBM Personal Computer of Mini-Natural, a subset of Natural, and presents examples of programs written in Mini-Natural"--Abstract, page ii.

Program Modeling And Control Synthesis For Robotic Manipulators, Ramiz Najib Ballou

Masters Theses

"The control and programming methodology of industrial robots is becoming increasingly important. The speed and accuracy of data generation, and the performance of the robot are considered the most important factors in robotics control.

This paper presents and discusses algorithms that solve for the inverse solution for a given point in space at a very high speed based on the top down abstract method. The algorithms are independent of any specific type of manipulator configuration or programming language. The algorithms were implemented or the IBM-PC using the FORTRAN language to control the Armdroid robot. The program generates 500 sets of …

Ciegen: A System For Testing Knowledge Base Compilation Heuristics On A Microcomputer, Jayne D. Ward

Masters Theses

"The expert system has proven itself to be a valuable aid in diagnosing and treating problems in domains requiring expertise. The commercial world has been alerted to this fact and the thrust is to make the expert system portable and available on small computers.

The goal of this research has been to lay the groundwork for a domain independent expert system builder on a microcomputer. The result of this effort was CIEGEN, a system consisting of a rule compiler, inference engine, and rule generator developed on the IBM PC. It is domain independent, responsible for transforming a knowledge base of …

Toward A Normative Computer-Aided Contingency Planning Protocol, Peter H. Aiken

Theses and Dissertations

This thesis effort is an investigation into the subject of contingency planning.

Increases in the number of organizations operating in "turbulent environments" have highlighted deficiencies in planning methodologies which attempt to base continued organizational survival upon a single course of action. In these instances, organizations experience an increase in the number of variables and possible events for which they must be prepared. Traditional contingency planning efforts attempt to prepare the organization for the occurrence of events that are foreseen deviations from "the master plan". When operating in turbulent environments, organizations must plan to move quickly through a series of differing …

Survey Of Routing Algorithms For Computer Networks, Lu Yu

Masters Theses

"This thesis gives a general discussion of routing for computer networks, followed by an overview of a number of typical routing algorithms used or reported in the past few years. Attention is mainly focused on distributed adaptive routing algorithms for packet switching (or message switching) networks. Algorithms for major commercial networks (or network architectures) are reviewed as well, for the convenience of comparison"--Abstract, page ii.

Incompleteness, Negation, Hazard: On The Precariousness Of Systems, Martin Zwick

Complex Systems Faculty Publications and Presentations

An account is offered of the dialectical tensions which afflict systems of widely differing type, "contradictions" which cannot be fully or permanently resolved, and from which follow the lawfulness of both hazard and opportunity.

An Experimental Study Of The Effects Of Modularity On Resource Consumption In Software Development, Alan D. Christiansen

Masters Theses

"Many authors have encouraged the use of modular programming techniques in software development. In fact, there is almost total agreement within industrial and academic circles that modularity is a desirable feature of any software package. Unfortunately, the desirability of modular design is almost always voiced without support from experimental evidence.

This thesis consists of an experiment comparing the resource consumption of programmers based on the modularity practices employed during the design and programming phases of software development. The experiment tests the effectiveness of modularity in reducing psychological complexity of software.

The results of the research show that in some cases …

The Optimal Trajectory Modelling Of Robot Manipulators, Mary Claire Miller

Masters Theses

"Greater robot capability can be achieved through the use of robot manipulator control systems. Crucial to the success of these control systems is the optimal trajectory modelling of the path traced by the end- effector. To create this optimal path the utilization of B-Spline curve functions will be investigated, and compared to Cubic Spline curve functions"--Abstract, page ii.

Specification Of Synchronizing Processes, Krithivasan Ramamritham, Robert M. Keller

All HMC Faculty Publications and Research

The formalism of temporal logic has been suggested to be an appropriate tool for expressing the semantics of concurrent programs. This paper is concerned with the application of temporal logic to the specification of factors affecting the synchronization of concurrent processes. Towards this end, we first introduce a model for synchronization and axiomatize its behavior. SYSL, a very high-level language for specifying synchronization properties, is then described. It is designed using the primitives of temporal logic and features constructs to express properties that affect synchronization in a fairly natural and modular fashion. Since the statements in the language have intuitive …

The Proposed Darpa Ip-To-X.25 Interface Standard: Performance Optimization With Multiple Circuits, Douglas E. Comer, John T. Korb

Department of Computer Science Technical Reports

No abstract provided.

Expansion Of The Performance Evaluation Capabilities Of Ellpack, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Cost-Benefit Analysis Of Computer Systems In Community Hospital Food Service, Beverly Kittle

Loma Linda University Electronic Theses, Dissertations & Projects

Cost containment has always been a major concern to managers. Therefore, any system which decreases costs by reducing labor time is given serious evaluation.

A five week comparison was made between financial record keeping by the manual method and by the computerized method. A continuous time study was utilized to make this comparison.

Over the five weeks, an average overall time savings of 245 minutes for the computerized versus the manual method was observed. The net savings to the institution was 223 minutes per week which translates to approximately $140.00 per month over a 5 year period.

The rapid payback …

An Optimal Design Of Relational Data Model, Pissamai Amatayakul

Masters Theses

The objective of this study was to propose a design methodology to support a designed in mapping a conceptual model to a logical model. The system was created as a semiinteractive software to produce an optimal relational data model for a given database. The software was developed by combining a well known normalization method from a theory of relational data model which was presented by Codd and the ideas of new normal form which were presented recently by many researchers in the field of database design. The complete description of data objects and their associations are initially defined as a …

A Uniform System For Data Base Directories, Karl Chang

Masters Theses

The objective of this study is to provide an efficient uniform system for data base directories, so that every file in the data base will have the same type of efficient directory. Data base directories will then be uniformly generated, updated and maintained.

The uniform system which is developed here can handle not only discrete attributes, but also range attributes. For the range attributes, it provides the uniform ranges (i.e., a set of ranges such that the records are distributed uniformly between ranges.)

In this thesis, the design and implementation of the hybrid B-plus tree and inverted files which is …

Collocation Software For Second Order Elliptic Partial Differential Equations, Elias N. Houstis, W. F. Mitchell, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Orthodontic Information Systems : A Developmental Study, Gary D. Sheldon

Loma Linda University Electronic Theses, Dissertations & Projects

The intent of this study was to design and implement a computer-based orthodontic system providing an integrated information environment throughout the entire patient treatment process.

Total system integration was achieved by restructuring the entire information gathering process. A complete, evaluation of patient diagnosis and treatment evaluation procedures established five major information categories and a critical information list for proper patient management. Information organization was outlined to provide a logical progression in the information gathering process and patient chart forms were designed to implement this. Defining the computer system's performance identified three functions as follows: 1) entry and editing of individual …

Software Maintenance And Comprehension: Some Empirical Results, C. D. Burch, Tze-Jie Yu, Herbert E. Dunsmore

Department of Computer Science Technical Reports

No abstract provided.

A Comparative Study Of Christian Mathematical Realism And Its Humanistic Alternatives, Paul Zwier

ACMS Journal 2004

This paper addresses the growing popularity of views of mathematics that see it primarily as a social entity and that reject Platonism. It contrasts two Christian realist philosophies - those of Alvin Plantinga and Vernon Poythress - with the secular perspective of Philip Davis and Reuben Hersch. It affirms the insight of Davis and Hersch that mathematics is indeed a social entity. However, it argues that belief in God enables a fuller understanding of mathematics - one that accounts for the apparent transcendence of mathematics and its power to explain concepts in the physical world.

Incremental Analysis Of Programs, Vida Ghodssi

Retrospective Theses and Dissertations

Algorithms used to determine the control and data flow properties of computer programs are generally designed for one-time analysis of an entire new input. Application of such algorithms when the input is only slightly modified results in an inefficient system. In this theses a set of incremental update algorithms are presented for data flow analysis. These algorithms update the solution from a previous analysis to reflect changes in the program. Thus, extensive reanalysis to reflect changes in the program. Thus, extensive reanalysis of programs after each program modification can be avoided. The incremental update algorithms presented for global flow analysis …

Interface Issues In A Software Parts Technology, John R. Rice, Herbert D. Schwetman

Department of Computer Science Technical Reports

No abstract provided.

Dynamic Computational Geometry, Mikhail J. Atallah

Department of Computer Science Technical Reports

No abstract provided.

The String-To-String Correction Problem With Block Moves, Walter F. Tichy

Department of Computer Science Technical Reports

No abstract provided.

Transparent Integrated Local And Distributed Environment (Tilde) Project Overview, Douglas E. Comer

Department of Computer Science Technical Reports

No abstract provided.

A Matching Problem In The Plane, Mikhail J. Atallah

Department of Computer Science Technical Reports

No abstract provided.

A Linear Time Algorithm For The Hausdorff Distance Between Convex Polygons, Mikhail J. Atallah

Department of Computer Science Technical Reports

No abstract provided.

Parallel Strong Orientation Of An Undirected Graph, Mikhail J. Atallah

Department of Computer Science Technical Reports

No abstract provided.

A Graph Orientation Problem, Mikhail J. Atallah

Department of Computer Science Technical Reports

No abstract provided.

A Model For Coherent Distributed Systems, Robert L. Brown, Peter J. Denning, Walter F. Tichy

Department of Computer Science Technical Reports

No abstract provided.

A Simplified Method To Calculate Failure Times In Fault-Tolerant Systems, Sharad C. Seth, Lester Lipsky

School of Computing: Faculty Publications

A simplified method is presented to calculate moments of failure time and residual lifetime of a fault-tolerant system. The method is based on recent results in queueing theory. Its effectiveness is illustrated by considering a dual repairable system from the literature.

A Comparison Of Processor Technologies, Eddie R. Wachter

Theses and Dissertations

The purpose of this paper is to present a discussion of the technology implementation and design of four very high performance mainframe computer systems. The systems evaluated are:

Amdahl 580 Series

CDC 170 Series 800

IBM 308x Series

Univac 1100/90 Series

Included in this evaluation is a survey of the technology used, its characteristics, packaging and performance. Each system component is evaluated on the basis of design philosophy, technology, and the total system design with regards to reliability, availability, and performance.