Digital Commons Network^™

The Development Of An Expert System For The Diagnosis Of Diseases In Fibre And Dairy Goats, Tim S. Roberts

Theses: Doctorates and Masters

This thesis details the development of an expert system for the diagnosis of diseases in fibre and dairy goats. Divided into five sections, five appendices, and a bibliography, this thesis centres on the methods used to build the expert system: the decisions taken at the outset of, and during the course of, development; some of the problems encountered, and the solutions to those problems. A detailed appraisal is made of the development process and suggestions are made for future developments over similar domains (for example, the diagnosis of diseases in animals other than goats). Much emphasis is placed on three …

Linda Implementations Using Monitors And Message Passing, Alan L. Leveton

UNF Graduate Theses and Dissertations

Linda is a new parallel programming language that is built around an interprocess communication model called generative communication that differs from previous models in specifying that shared data be added in tuple form to an environment called tuple space, where a tuple exists independently until some process chooses to use it. Interesting properties arise from the model, including space and time uncoupling as well as structured naming. We delineate the essential Linda operations, then discuss the properties of generative communication. We are particularly concerned with implementing Linda on top of two traditional parallel programming paradigms - process communication through globally …

Performance Analysis Of A Distributed File System, Meenakshi Mukhopadhyay

Dissertations and Theses

An important design goal of a distributed file system, a component of many distributed systems, is to provide UNIX file access semantics, e.g., the result of any write system call is visible by all processes as soon as the call completes. In a distributed environment, these semantics are difficult to implement because processes on different machines do not share kernel cache and data structures. Strong data consistency guarantees may be provided only at the expense of performance.

This work investigates the time costs paid by AFS 3.0, which uses a callback mechanism to provide consistency guarantees, and those paid by …

Development Of An Expert System To Convert Knowledge-Based Geological Engineering Systems Into Fortran, Jill J. Cress, Ralph W. Wilkerson

Computer Science Technical Reports

A knowledge-based geographic information system (KBGIS) for geological engineering map (GEM) production was developed in GoldWorks, an expert system development shell. GoldWorks allows the geological engineer to develop a rule base for a GEM application. Implementation of the resultant rule base produced a valid GEM, but took too much time. This proved that knowledge-based GEM production was possible but in GoldWorks implementation failed as a practical production system. To solve this problem, a Conversion Expert System was developed which accepted, as input, a KBGIS and produced, as output, the equivalent Fortran code. This allowed the engineer to utilize GoldWorks for …

The Directed Steiner Problem On Graphs: A Simulated Annealing Approach, Lawrence Joseph Osborne, Billy E. Gillett

Computer Science Technical Reports

The well-known Steiner Problem on Graphs is an NP-complete problem for which there are many heuristic and exact algorithms that are deterministic. In this dissertation a new approach to the directed version of this problem is made by applying the ideas of statistical mechanics through the use of the method of simulated annealing. A version of annealing is developed for the Directed Steiner Problem and compared with one of the best general annealing schemes. Then a comparison is made between simulated annealing and the traditional branch and bound technique. The dual ascent algorithm of Richard T. Wong is used to …

Attribute Relationships: An Impediment In Automating Schema Integration, Amit P. Sheth, Sunit K. Gala

Kno.e.sis Publications

Success in schema integration depends on understanding the semantics of schema components (e.g., entity sets, relationship sets, attributes), and the ability to capture and reason about these semantics. An important objective of our work on schema integration is to automate the reasoning as much as possible, and when not possible, depend on the human input and guidance. A key results of comparing the semantics associated with schema objects is that of determining attribute relationship. Once attribute relationships are determined, the task of object class(e.g., entity sets and relationship sets) integration becomes simpler and can e automated to a great extent. …

A Methodology For Developing Correct Rule-Based Programs For Parallel Implementation, Rosanne Fulcomer Gamble

All Computer Science and Engineering Research

Production systems, also called rule-based systems, are very useful in automating certain human expert tasks, but the current technology exhibits many problems. We believe that parallelism is difficult to exploit in production system programs for two reasons. First, the original serial programs are designed with a priori knowledge of an explicit global control mechanism which must be simulated for correct execution in parallel. The second reason for the difficulty is that no formal language exists in which to express these programs and no verification techniques are utilized to prove properties which guarantee correct execution in parallel. With these two obstacles …

Data Base Design For Research In Comparative Zapotec, Anita C. Bickford

Theses and Dissertations

This thesis explores the nature and content of a comparative data base for the Zapotec languages of Mexico that may be produced. Many questions are discussed: how to sub-divide and list the Zapotec languages and dialects; what data format will be most accessible to researchers as well as to field workers with data to add; computer software considerations (designing computational tools); how to handle non-cognates with shared meanings, non-overlap of glosses (i.e., one Zapotec gloss covers several Spanish words, or vice versa), semantic shifts and secondary meanings, and other problems such as special characters, free variation, elisions, etc.; whether to …

Computer Vandalism And The Law, Eugene H. Spafford

Department of Computer Science Technical Reports

No abstract provided.

On The Analysis Of The Tail Queue Length And Waiting Time Distributions Of A Gi/Gi/C Queue, John S. Sadowsky, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

A Computer Virus Primer, Eugene H. Spafford, Kathleen A. Heaphy, David J. Ferbrache

Department of Computer Science Technical Reports

No abstract provided.

A Workload Partitioning Strategy For Pdes By A Generalized Neural Network, Elias N. Houstis, S. K. Kortesis, H. Byun

Department of Computer Science Technical Reports

No abstract provided.

The Internet Worm Incident, Eugene H. Spafford

Department of Computer Science Technical Reports

No abstract provided.

Experimental Facility For Kernel Extensions To Support Distributed Database Systems, Bharat Bhargava, Enrique Mafla, John Riedl

Department of Computer Science Technical Reports

No abstract provided.

Fast Parallel Lyndon Factorization With Applications, Alberto Aposiolico, Maxime Crochemore

Department of Computer Science Technical Reports

No abstract provided.

On The Convergence Of The Modified Accelerated Overrelaxation (Maor) Method, A. Hadjidimos, A. Psimarni, A. K. Yeyios

Department of Computer Science Technical Reports

No abstract provided.

Efficient Geometric Algorithms In The Erew-Pram, Danny Z. Chen

Department of Computer Science Technical Reports

No abstract provided.

On The Optimality Of The Counter Scheme For Dynamic Linear Lists, Micha Hofri, Hadas Shachnai

Department of Computer Science Technical Reports

No abstract provided.

An Extended Transaction Model For Multidatabase Systems, Yungho Leu, Ahmed K. Elmagarmid, Marek Rusinkiewicz

Department of Computer Science Technical Reports

No abstract provided.

The Display And Manipulation Of Temporal Information, Steve B. Cousins, Michael G. Kahn Washington University In St. Louis, Mark E. Frisse Washington University In St. Louis

All Computer Science and Engineering Research

Because medical data have complex temporal features, special techniques are required for storing, retrieving, and displaying clinical data from electronic databases. One significant problem caused by the temporal nature of medical data has been called the temporal granularity problem. The temporal granularity problem is said to occur when the set of facts relevant to a specific problem changes as the time scale changes. We argue that what is needed to deal with changes in the relevant time scale are temporal granularity heuristics. One heuristic that we have explored is that, for any level of problem abstraction, and for each type …

Ua66/3/2 Computer Science Alumni Newsletter, Vol. 5, Wku Computer Science

WKU Administration Documents

Newsletter created by WKU Computer Science for the alumni of the program.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, November 1989, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A sixteen page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

On The Height Of Digital Trees And Related Problems, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Transaction Accessibility And Integrity Issues In Heterogeneous Distributed Database Systems, Weimin Du, Ahmed K. Elmagarmid, Marek Rusinkiewicz

Department of Computer Science Technical Reports

No abstract provided.

Protosolid: An Inside Look, George Vanecek

Department of Computer Science Technical Reports

No abstract provided.

Obtaining Boundaries With Respect: A Simple Approach To Performing Set Operations On Polyhedra, George Vanecek

Department of Computer Science Technical Reports

No abstract provided.

A Hierarchical Approach To Concurrency Control For Multidatabases, Ahmed K. Elmagarmid, Yunhho Leu

Department of Computer Science Technical Reports

No abstract provided.

Polygon Nesting And Robustness, Chanderjit Bajaj, Tamai Dey

Department of Computer Science Technical Reports

No abstract provided.

Proof Of A Mutual Exclusion Algorithm-- A `Class'ic Example, Micha Hofri

Department of Computer Science Technical Reports

No abstract provided.

Parallel (//) Ellpack Pde Solving System, Elias N. Houstis, John R. Rice, N. P. Chrisochoides, H. C. Karathansis, P. N. Papachiou, E. A. Vavalis, K. Wang

Department of Computer Science Technical Reports

No abstract provided.