Digital Commons Network^™

Order Statistics And Other Complex Data Operations On Tree-Structured Dictionary Machines, Michael T. Goodrich, Mikhail J. Atallah

Department of Computer Science Technical Reports

No abstract provided.

A Practical Application To Data Consistency Validation Using Finite State Automata, Michael Lee Richardson

Masters Theses

The data which are input to a complex information system must often be verified for both syntactic and semantic consistency. The syntactic consistency can be enforced in a straightforward manner during the data entry process. The semantic inconsistencies can be more difficult to discover. A general approach, using finite state automata, is demonstrated here as applied to enforce consistency on client questionnaire responses in a large information system. This approach is developed using those software engineering standards are outlined and justified in this research. A discussion of semantic inconsistencies which require more sophisticated techniques is included.

A Distributed Shortest Path Algorithm For A Planar Network, Greg N. Frederickson

Department of Computer Science Technical Reports

No abstract provided.

Display Oriented Front End Interfaces, Balachander Krishnamurthy, Francie J. Newbery, Craig E. Wills

Department of Computer Science Technical Reports

No abstract provided.

Eliminating Proofs Of Interference-Freedom From Levin-Gries Csp Program Proofs, Thomas P. Murtagh

Department of Computer Science Technical Reports

No abstract provided.

A Parallel Branch And Bound Algorithm For Integer Linear Programming Models, Rochelle L. Boehning, Billy E. Gillett

Computer Science Technical Reports

A parallel branch and bound algorithm is developed for use with MIMD computers to study the efficiency of parallel processors on general integer linear programming problems. The Haldi and IBM test problems and a System Design model are used in the implementation of the algorithm. Initially the algorithm solves the Haldi and IBM test problems on a single processor computer which simulates a multiple processor computer. The algorithm is then implemented on the Denelcor HEP multiprocessor using two of the IBM problems to compare the results of the simulation to the results using an MIMD computer. Finally the algorithm is …

Analog Computer Simulation With Automatic Scaling By Digital Computer, Mark Anthony Motter

Electrical & Computer Engineering Theses & Dissertations

A computer-aided design approach for the simplification of analog computer simulation is presented. The simulation configuration consists of an EAI 2000 analog computer with serial communications link to a PDP — 11/24 digital computer. Under control of the PDP-11, the analog simulations are realized with appropriate time and magnitude scaling which adjusts the range of the simulation coefficients and prevents overloads of the analog components. The analog computer hardware configuration accommodates both stable plants up to eighth order and closed-loop systems up to tenth order. Cascade compensation is provided for the closed-loop systems.

The plant may be described by either …

Color Display Of Vowel Spectra As A Training Aid For The Deaf, Amir Jalali Jagharghi

Electrical & Computer Engineering Theses & Dissertations

The objective of this research was to develop a transformation for mapping speech parameters to color parameter. This transformation is done in real-time, and the resulting color parameter are continuously displayed on a color monitor. This visual speech display is to be used as a speech articulation training aid for the deaf. The conversion of speech acoustic signals into speech parameter was accomplished using special -purpose electronics. The real-time conversion of speech parameter to display parameter was controlled by an 8086/8088 microprocessor operating in an S-100 bus structure. The coefficients of the Karhunen-Loeve series expansion of speech power spectra were …

Development Of An On-Line Computer System For Cyclic Voltammetry Studies, Tai-Lee Leo Huo

Chemistry & Biochemistry Theses & Dissertations

An Apple II Plus microcomputer was interfaced to a PAR 174A Polarographic Analyser, an HP 7O4OA X-Y recorder and a three-electrode system. This on-line computer system was applied to Cyclic Voltammetry (CV) studies. The interfacing involved both hardware and software development. Various hardware components were used to amplify and transmit the analog signal both going into the computer and coming from the computer. Software programs were written for staircase waveform generation, data acquisition, and plotting the voltammograms obtained.

A package was designed for CV experiments to be used by the students in the instrumental analysis laboratory. This package contains several …

Representing Graph Families With Edge Grammars, Francine Berman, Gregory Shannon

Department of Computer Science Technical Reports

No abstract provided.

Solving Tree Problems On A Mesh-Connected Processor Array, Mikhail J. Atallah, Susanne E. Hambrusch

Department of Computer Science Technical Reports

No abstract provided.

A Meta-Level Extension Of Prolog, Kenneth A. Bowen, Tobias Weinberg

Electrical Engineering and Computer Science - Technical Reports

Prolog has many attractive features as a programming tool for artificial intelligence. These include code that is easy to understand, programs that are easy to modify, and a clear relation between its logical and procedural semantics. Moreover, it has proved possible to create clear and efficient implementations. Nonetheless, we perceive several shortcomings. Chief among these is difficulty representing dynamic databases (databases which change in time) and an apparent restriction to backward chaining, backtracking, and depth-first search. Our intent in this paper is to present an extension to Prolog, called metaProlog, which preserves the virtues of Prolog while introducing powerful constructions …

Approaching Distributed Database Implementations Through Functional Programming Concepts, Robert M. Keller, Gary Lindstrom

All HMC Faculty Publications and Research

The application of functional programming concepts to the data representation and querying aspects of databases has been discussed by Shipman and Buneman, et al. respectively. We argue the suitability of a function-based approach to additional aspects of database systems, including updating, transaction serialization, and physical distribution and communication. It is shown how the NmergeH extension of a purely functional model permits serializable concurrent "primary site" distribution control. We also present preliminary experimental results which indicate that a reasonable degree of concurrency is attainable from the functional approach.

Collecting Data About Logic Simulation, Roger D. Chamberlain, Mark A. Franklin

All Computer Science and Engineering Research

Design of high performance hardware and software based gate-switch level logic simulators requires knowledge about the logic simulation process itself. Unfortunately, little data is publically available concerning key aspects of this process. An example of this is the lack of published empirical measurements relating to the time distribution of events generated by such simulators. This paper presents a gate-switch level logic simulator lsim which is oriented towards the collection of data about the simulation process. The basic components of lsim are reviewed, and its relevant data gathering facilities are discussed. An example is presented which illustrates the use of lsim …

Some Thoughts On A Uniform Generic Command Interface, Balachander Krishnamurthy

Department of Computer Science Technical Reports

No abstract provided.

Performance Analysis Of Network File Systems, Walter F. Tichy, Zuwang Ruan

Department of Computer Science Technical Reports

No abstract provided.

Electing A Leader In A Synchronous Ring, Greg N. Frederickson, Nancy A. Lynch

Department of Computer Science Technical Reports

No abstract provided.

A Survey Of Program Design Languages (Pdls), Brian A. Nejmeh, Herbert E. Dunsmore

Department of Computer Science Technical Reports

No abstract provided.

On The Existence Of Analytical Proofs For Vlsi Computational Networks, Rami Melhem

Department of Computer Science Technical Reports

No abstract provided.

The Analysis Of Software Development And Testing Processes: An Empirical Study, T. J. Yu, Herbert E. Dunsmore

Department of Computer Science Technical Reports

No abstract provided.

The Tilde File Naming Scheme, Douglas E. Comer, Thomas P. Murtagh

Department of Computer Science Technical Reports

No abstract provided.

A Study Of Data Interlock In Vlsi Computational Networks For Sparse Matrix Multiplication, Rami G. Melhem

Department of Computer Science Technical Reports

No abstract provided.

Doctor Of Education In Computer Education Center For Computer-Based Learning 1985, Nova University

College of Engineering and Computing Course Catalogs

The Center for Computer-Based Learning was formed in 1983 and began offering online programs in 1985. The publication date of this item is approximate and should be considered as published during the mid to late 1980s.

Computer-Aided Normalizing And Unpacking: Some Interesting Machine-Processable Transformations Of Legal Rules, Layman E. Allen, Charles S. Saxon

Book Chapters

One way of dealing with an important aspect of the natural language barrier that researchers m artificial intelligence have been wrestling with for more than two decades is to normalize the expression of the logical structure of legal rules.

The computer program, NORMALIZER, will enable a legal analyst to automatically generate Normalized Versions of legal rules and Outlines of them from Parenthesized Logical Expressions of their structure and Marked Versions of the Original Text of the rules. In brief:

Parenthesized Logical Expression & Marked Version = = > Outline & Normalized Version.

The Parenthesized Logical Expression of a normalized rule is …

Designing A Relational Data Base For A Problem Solving Environment, Kathryn S. Dawson

Theses and Dissertations

When choosing a system design in which to solve a recurring problem which depends on interrelated data a relational data base environment should be considered. The original problem can be solved through this design and by allowing users to view the data in the relational constructs the data can be easily used in numerous other applications. Theoretical support insures the design is sound avoiding inaccurate results. Independence between the logical and physical views of the data enables the data base administrator to adjust the physical data structures in order to optimize system performance without affecting existing user applications.

Doctor Of Arts In Information Science 1985, Nova University

College of Engineering and Computing Course Catalogs

The Center for Computer-Based Learning was formed in 1983 and began offering online programs in 1985. The publication date of this item is approximate and should be considered as published during the mid to late 1980s.

Center For Computer Based Learning--Computer Simulation On Unix 1985, Nova University

College of Engineering and Computing Course Catalogs

The Center for Computer-Based Learning was formed in 1983 and began offering online programs in 1985. The publication date of this item is approximate and should be considered as published during the mid to late 1980s.

Doctor Of Arts In Information Science Computer-Based Program Delivered Through Unix Leadership 1985, Nova University

College of Engineering and Computing Course Catalogs

The Center for Computer-Based Learning was formed in 1983 and began offering online programs in 1985. The publication date of this item is approximate and should be considered as published during the mid to late 1980s.

Doctor Of Arts In Training And Learning-Leadership 1985, Nova University

College of Engineering and Computing Course Catalogs

The Center for Computer-Based Learning was formed in 1983 and began offering online programs in 1985. The publication date of this item is approximate and should be considered as published during the mid to late 1980s.

Doctor Of Arts In Training And Learning Technology, Nova University

College of Engineering and Computing Course Catalogs

The Center for Computer-Based Learning was formed in 1983 and began offering online programs in 1985. The publication date of this item is approximate and should be considered as published during the mid to late 1980s.