Digital Commons Network^™

Symbolic Automation And Numerical Synthesis For Robot Kinematics, Jen Sriwattanathamma

Doctoral Dissertations

"This research analyzes three topics in robot arm kinematics. First, the direct kinematics which determines the Cartesian position and orientation of the end effector for the specified values of joint parameters is analyzed. Second, the differential motions concerning the differential relationships between the command variables in position and orientation of the end effector and the joint-controlled variables are studied. Finally, the inverse kinematics which determines the joint variables for a specified Cartesian position and orientation of the end effector is considered.

This dissertation presents a methodology for incorporating the artificial intelligence types of knowledge into automating solutions for the direct …

Self-Alignments In Words And Their Applications, Alberto Apostolico, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Architecture And Operation Invocation In The Clouds Kernel, Eugene H. Spafford

Department of Computer Science Technical Reports

No abstract provided.

Towards Implementing Robust Geometric Computations, Christoph M. Hoffmann, John E. Hopcroft, Michael S. Karasick

Department of Computer Science Technical Reports

No abstract provided.

A Robust Distributed Termination Detection Algorithm, Niraj K. Sharma, Bharat Bhargava

Department of Computer Science Technical Reports

No abstract provided.

Performance Parameter Measurements Of Generic Files, Sankarraman Subramanian, George Winston Zobrist

Computer Science Technical Reports

This study discusses the performance parameter measurements of generic files, the pile file, the sequential file, the indexed-sequential file, the indexed file and the direct file. The file performance measurements are compiled in a software package. The study then describes the use of such software package as a simulation tool in a file design environment.

Heuristic Coloring Algorithm For The Composite Graph Coloring Problem, Johnnie C. Roberts, Billy E. Gillett

Computer Science Technical Reports

A composite graph is a finite undirected graph in which a positive integer known as a chromaticity is associated with each vertex of the graph. The composite graph coloring problem (CGCP) is the problem of finding the chromatic number of a composite graph, i.e., the minimum number of colors (positive integers) required to assign a sequence of consecutive colors to each vertex of the graph in a manner such that adjacent vertices are not assigned sequences with colors in common and the sequence assigned to a vertex has the number of colors indicated by the chromaticity of the vertex. The …

The Western Michigan University Programming Contest Proctor System, Joel Marshall Fletcher

Masters Theses

A software package for administering programming contests has been developed for DECsystem-10 timesharing computers. This package provides a neutral editing environment for contestants, a method for submitting problems for execution, and an automatic judging facility for evaluating contestants' solutions and tabulating scores. The proctor system has been used in numerous competitions, including a regional contest sponsored by the Association for Computing Machinery.

An Application Of Stochastic Learning Automata To Queueing Disciplines, Tearesa Lynn Wegscheid

Masters Theses

There has been extensive research in the area of Stochastic Learning in both Psychology and Computer Science. This thesis examines the literature of Stochastic Learning automata with respect to operation control. It traces the development of an optimal reinforcement scheme, and examines the applications of Stochastic Learning automata in routing. The paper simulates M/M/3 and M/M/5 queueing systems similar to the system described by Glorioso and Osorio. The simulation implements L_r-p, L_i-p, and L_r-i learning models and compares their performance to Teller Window and Jockeying. A blocking factor is developed to provide more information for …

Parallel Symmetry-Breaking In Sparse Graphs, Andrew V. Goldberg, Serge A. Plotkin, Gregory E. Shannon

Department of Computer Science Technical Reports

No abstract provided.

Shape Recognition By Curvature Changing Points And Fourier Transform, Jianzhong Li

Masters Theses

Computer vision is a relatively new and fast-growing field. Shape representation and recognition is a very important but difficult branch in this field.

One method of using curvature changing points and Fourier transform to recognize the shape is described in this thesis. Also an important feature in computer vision, multiscaling, is achieved by this method.

A Microprocessor-Based Multivariable Interactive Control System, Sayed Mehdi Khayam-Nekouei

Electronic Theses & Dissertations

This study outlines the various types of control systems and reviews the necessary mathematical techniques to solve the problem of multivariable interactive control. The characteristics as well as the state representation for control processes involving either p or v type canonical structures are discussed. Next, the characteristics of multivariable interactive discrete control systems are discussed in detail. The advantages of flexibility and speed of microprocessors are used as powerful tools to implement a microprocessor-based system can be employed to control discrete processes. To demonstrate a practical application of a microprocessor-based system in a multivariable interactive discrete process, the algorithm and …

Efficient Parallel Algorithms For String Editing And Related Problems, Alberto Apostolico, Mikhail J. Atallah, Lawrence L. Larmore, Scott Mcfaddin

Department of Computer Science Technical Reports

No abstract provided.

Shadow Editing: A Distributed Service For Supercomputer Access, Douglas E. Comer, Jim Griffioen, Rajendra Yavatkar

Department of Computer Science Technical Reports

No abstract provided.

Robust Set Operations On Polyhedral Solids, Christoph M. Hoffmann, John E. Hopcroft, Michael S. Karasick

Department of Computer Science Technical Reports

No abstract provided.

Decoding Of Dbec-Tbed Reed-Solomon Codes, Robert H. Deng, Daniel J. Jr. Costello

Research Collection School Of Computing and Information Systems

A problem in designing semiconductor memories is to provide some measure of error control without requiring excessive coding overhead or decoding time. In LSI and VLSI technology, memories are often organized on a multiple bit (or byte) per chip basis. For example, some 256K bit DRAM's are organized in 32K ?? 8 bit-bytes. Byte-oriented codes such as Reed-Solomon (RS) codes can provide efficient low overhead error control for such memories. However, the standard iterative algorithm for decoding RS codes is too slow for these applications. In this correspondence we present a special decoding technique for double-byte-error-correcting (DBEC), triple-byte-error-detecting (TBED) RS …

On-Line Sea Beam Acoustic Imaging, Christian De Moustier, F V. Pavlicek

Center for Coastal and Ocean Mapping

This paper describes a system designed and built at the Marine Physical Laboratory of the Scripps Institution of Oceanography to produce acoustic images of the seafloor on-line with a Sea Beammultibeam echo-sounder. This system uses a stand alone interface between the Sea Beam system and a grey-scale line-scan recorder. The interface is built around a Motorola 68000 microprocessor and has digitizing capabilities. It digitizes the detected echo signals from each of the 16 preformed beams inside the Sea Beam echo processor as well as the roll information given by the ship's vertical reference. Theacoustic data are then roll compensated and …

Model Of Hot-Film Sensor With Substrate Effects, David Mcalpine Judge

Electrical & Computer Engineering Theses & Dissertations

A detailed mathematical model is constructed to investigate the frequency response of a hot-film anemometer system. Since several diverse factors affect the frequency response, the analysis is broken down into three main parts. Each part is a detailed mathematical model. The first model consists of the ordinary differential equations which govern the electronics of the feedback system and heat transfer of the sensor. An important simplification in this model is that the rate of heat conduction from the sensor to its substrate is constant.

In the second model the unsteady state heat transfer properties of the substrate are examined by …

Parallel Construction Of A Suffix Tree With Applications, A. Apostolico, C. Iliopoulos, G. M. Landau, B. Schieber, U. Vishkin

Department of Computer Science Technical Reports

No abstract provided.

Mathematical Aspects Of Scientific Software, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

A Dynamic Majority Determination Algorithm For Reconfiguration Of Network Partitions, Bharat Bhargava, Peter Lei Ng

Department of Computer Science Technical Reports

No abstract provided.

Partitioning The Process Of Interaction: An Implementation, Balachander Krishnamurthy

Department of Computer Science Technical Reports

No abstract provided.

Partitioning The Process Of Interaction: An Abstract View, Balachander Krishnamurthy

Department of Computer Science Technical Reports

No abstract provided.

Shells In An Interactive System, Balachander Krishnamurthy

Department of Computer Science Technical Reports

No abstract provided.

Independent Checkpointing And Concurrent Rollback For Recovery In Distributed System—An Optimistic Approach, Bharat Bhargava, Shy-Renn Lian

Department of Computer Science Technical Reports

No abstract provided.

Intensional Reasoning About Knowledge, Oliver B. Popov, Arlan R. Dekock

Computer Science Technical Reports

As demands and ambitions increase in Artificial Intelligence, the need for formal systems that facilitate a study and a simulation of a machine cognition has become an inevitability. This paper explores and developes the foundations of a formal system for propositional reasoning about knowledge. The semantics of every meaningful expression in the system is fully determined by its intension, the set of complexes in which the expression is confirmed. The knowledge system is based on three zeroth-order theories of epistemic reasoning for consciousness, knowledge and entailed knowledge. The results presented in the paper determine the soundness and the completeness of …

Protran Ii: Preliminary Report, H. S. Mcfaddin, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Convex Hull Of Objects Bounded By Algebraic Curves, Chanderjit Bajaj, Myung-Soo Kim

Department of Computer Science Technical Reports

No abstract provided.

Computing About Physical Objects, Chanderjit Bajaj, Christoph M. Hoffmann, Elias N. Houstis, John T. Korb, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Sorting With Efficient Use Of Special-Purpose Sorters, Mikhail J. Atallah, Greg N. Frederickson, S. Rao Kosaraju

Department of Computer Science Technical Reports

No abstract provided.