Digital Commons Network^™

An Approach For Minimizing Spurious Errors In Testing Ada Tasking Programs, N. Mansouri, Amrit L. Goel

Electrical Engineering and Computer Science - Technical Reports

We propose an approach for detecting deadlocks and race conditions in Ada tasking software. It is based on an extension to Petri net-based techniques, where a concurrent program is modeled as a Petri net and a reachability graph is then derived and analyzed for desired information. In this approach, Predicate-Action subnets representing Ada programming constructs are described, where predicates and actions are attached to transitions. Predicates are those found in decision statements. Actions involve updating the status of the variables that affect the tasking behavior of the program and updating the Read and Write sets of shared variables. The shared …

A Petri Net-Based Tool For Detecting Deadlocks And Race Conditions In Concurrent Programs, Amrit L. Goel, N. Mansouri

Electrical Engineering and Computer Science - Technical Reports

A static analysis tool for detecting deadlocks and potential race conditions on shared variables in concurrent programs is presented. It is based on Petri Net modeling and reachability analysis, where a concurrent program is modeled as an augmented Petri net and a reachability graph is then derived and analyzed for desired information. Place-Transition subnets representing programming language constructs are described. Transitions in these subnets are augmented with sets of shared variables that occur in sections of the program, called concurrency zones, related to the transitions. The tool consists of four modules. The modeling module employs the augmented subnets as building …

News, Call For Papers, Erratum, Risk Editorial Board

RISK: Health, Safety & Environment (1990-2002)

Editorial announcements and news for the inactive journal Risk: Health, Safety & Environment (ISSN: 1073-8673).

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, September 1990, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

The Probe, Issue 104 - September/October 1990

The Probe: Newsletter of the National Animal Damage Control Association

THE PROBE National Animal Damage Control Association
SEPTEMBER/OCTOBER 1990
Pride and Professionalism In ADC
Hawthorne Wraps Up ADC Four Corners Rendezvous
Prevention and Control Tips
White-footed and Deer Mice
Pesticide Updates
Wildlife Damage in the News
Animal Damage Control

Gateway Design For Lan Interconnection Via Isdn, Xian-Yu Zhang, Robert H. Deng

Research Collection School Of Computing and Information Systems

Recently, the use of bridges/gateways to interconnect physically distant local area networks (LANs) has become increasingly popular. There are various ways of connecting these bridges/gateways. ISDN is one of them and an attractive one. In this paper we discuss our work in the gateway design for interconnecting LANs via ISDN.

Bis(1h+-Pyrazinium N4-Oxide) Dichromate, Gary L. Gard, Roger D. Willett, W. W. Paudler, R. M. Sheets, Mark R. Pressprich

Chemistry Faculty Publications and Presentations

2C₄H₅N₂O⁺.Cr₂O²₇⁻, Mᵣ=410∙2, monoclinic, P2₁, a=8∙(2), b=6∙132 (2), c=14∙493 (4) Å, β=94∙50 (2)°, V=708∙8 (3) ų, Z=2, Dₓ=1∙92 g cm⁻³, Mο Κα, λ=0∙71069 Å, μ=15∙5 cm⁻¹, F(000)=412, T=293 K, R=0∙0602 for 1980 unique observed reflections with F≥3σ(F). The structure consists of discrete dinegative dichromate anions hydrogen bonded to monopositive pyrazinium N-oxide cations (N―H∙∙∙O=2∙724, 2∙644 Å). A strong hydrogen bond to the bridging O atom in the Cr₂O²₇⁻ anion leads to significant lengthening of the bridging Cr―O bonds. A short C―H∙∙∙O interaction (3∙180 Å) is also observed.

Radiosensitivity Parameters For Cell Survival In Tradescantia And For Chromosome Aberrations In Chinese Hamster Cells, Robert Katz, G. Huang

Robert Katz Publications

Data for the loss of reproductive integrity of Tradescantia stamen hairs irradiated with 250 keV X rays and 0.43 and 5.6 MeV neutrons are fitted with radiosensitivity parameters from track theory, with E₀ and m from X-ray data while σ₀ and κ are then found from neutron irradiations. The X-ray data display a clear shoulder with 100% survival below 0.18 Gy and a “linear tail.” Data for abnormal metaphases and chromatid exchanges in Chinese Hamster cells have also been fitted with parameters. Parameters for abnormal metaphases are nearly identical with those obtained years ago for cell killing from …

On High Level Characterization Of Parallelism, Dan C. Marinescu, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Multisearch Techniques Of Hierarchical Dags On Mesh-Connected Computers, With Applications, Jyh-Jong Tsay, Mikhail J. Atallah

Department of Computer Science Technical Reports

No abstract provided.

Robot Pedagogics: The Adaptation, Analysis, And Computer Control Of A Model Manipulator, Edward T. Hammerand, Chung You Ho

Computer Science Technical Reports

The subject of robotics is addressed by many different fields, among them computer science, electrical engineering, and mechanical engineering. This work is an attempt to bring together all of these aspects from the perspective of a computer science background. Different techniques are considered and reconciled with one another in the analytical area, while detail and explanation are added in all areas that were not previously available. In addition, geometrical interpretations arc presented for concepts that have heretofore been presented only in the form of equations.

Mesh And Pyramid Algorithms For Iconic Indexing, Alok Choudhary, Sanjay Ranka

Electrical Engineering and Computer Science - Technical Reports

In this paper parallel algorithms on meshes and pyramids for iconic indexing are presented. Our algorithms are asymptotically superior to previously known parallel algorithms.

Hydrogeology And Hydrogeochemistry Of The Tekonsha Moraine And Adjacent Interlobate Deposits In Charleston Township, Kalamazoo County, Michigan, Victor V. Melbardis

Masters Theses

Hydrogeochemical analyses and hydrogeologic interpretations provide the basis for an understanding of local ground-water flow, in a 12 square mile study area, transected by the Tekonsha Moraine and bound by glaciofluvial deposits. Glacial tills separate an upper and lower aquifer system throughout most of the area.

Degraded and tritiated ground water is present in the lower aquifer system. A negative correlation (-0.62) between tritium concentrations and depth is statistically significant (.04). In this local system, hydrochemical trends are characterized by decreases in sulfate percentages and increases in bicarbonate in the direction of ground-water flow. Statistical evaluation of the hydrochemical data …

Radiative Kaon Capture On Deuterium And The Λn Scattering Lengths, William J. Fickinger, D. K. Robinson

Faculty Scholarship

The photon spectrum from K-d→Λnγ at rest has been measured for the first time. We obtained the branching ratio, in the end-point region, of (1.89±0.12±0.28)×10-3 where the first error is statistical and the second is systematic. We have found that the shape of the photon energy spectrum is consistent with the distribution calculated by Workman and Fearing with Λn scattering lengths and effective ranges predicted by the Nijmegen group.

A Simulation Of A Multi-Hop Communications Network Using A Kinematic Topology Generator And Static Sphere-Packing Power Control, Kevin Charles Davis

Masters Theses

No abstract provided.

Sums Of Semiprime, Z, And D L-Ideals In A Class Of F-Rings, Suzanne Larson

Mathematics, Statistics and Data Science Faculty Works

In this paper it is shown that there is a large class of f-rings in which the sum of any two semiprime i-ideals is semiprime. This result is used to give a class of commutative f-rings with identity element in which the sum of any two z-ideals which are i-ideals is a z-ideal and the sum of any two d-ideals is a d-ideal.

Potential Petroleum Reservoir Rocks Of North-Central Oregon, Alfred J. Riddle

Loma Linda University Electronic Theses, Dissertations & Projects

Petroleum explorationists have commonly assumed, based on the presence of volcanic and/or volcaniclastic rock, that regions such as northcentral Oregon do not hold potential as petroleum basins. The typical argument has been that volcanic flows have no effective porosity or permeability and poorly sorted volcaniclastic sediments contain a high percentage of mineralogically unstable grains which are too easily and rapidly altered into clays and zeolites for any significant or effective porosity to be retained.

The objective of this study was to determine if potential petroleum reservoir rocks do exist in north-central Oregon. Through field and laboratory study and by comparing …

Synchronization And Load Imbalance Effects In Distributed Memory Multiprocessor Systems, Dan C. Marinescu, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

Interference Enhancement Of The Internal Fields At Structural Scattering Resonances Of A Coated Sphere, James A. Lock

Physics Faculty Publications

We examine the interior electromagnetic energy density of a coated nonabsorbing sphere at a number of scattering resonances. As is the case for an uncoated sphere, the interior energy density becomes large at the a^p_l and b^p_l resonances. It becomes especially large for p - 1 values of the coating thickness at resonance. These p - 1 enhancements are analogous to the interference maxima that occur in the intensity reflectance of two thin films in contact.

Application Of The E/T Performance Modeling Methodology To A Computation On A 128 Processor Ncube, Dan C. Marinescu, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

The Cops Security Checker System, Daniel Farmer, Eugene H. Spafford

Department of Computer Science Technical Reports

No abstract provided.

Administrative Design For Yakima-Klickitat Production Project: Final Report, Jack Churchill, Lee Shissler, Sheldon Edner, Randy Smith

Center for Urban Studies Publications and Reports

This report provides the administrative design to implement the Yakima/Klickitat Production Project. This project is a scientifically designed salmon fishery restoration project funded by the Bonneville Power Administration in compliance with the .fishery policies established by the Northwest Power Planning Council under the authority of the Northwest Power Planning Act.

This project breaks new ground in the field of fishery management. It is the first full scale application of supplementation technology directed toward maintaining and rebuilding native fish stocks and sub stocks with hatchery rearing methods. The work of the organization is an inherently more complex production function than traditional …

A New Organization Of Sparse Gauss Elimination For Solving Pdes, Mo Mu, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.

The Gamut: A Journal Of Ideas And Information, No. 30, Summer 1990, Cleveland State University

The Gamut Archives

CONTENTS OF ISSUE NO. 30, SUMMER, 1990

Louis T. Milic: A Fire in the Kitchen, 2

Leonard M. Trawick: A Place in the Ecosystem, 3

Tenth Anniversary Contest Winners

Jill Wilson Brennan: Terrorism Against Americans, 5

Daniel Hill: The Battle Over Native American Remains, 16

Science, piety, and politics

Todd Lieber: "How Many Acres You Got Out There?", 24

Independent farmers in the age of agribusiness

Eric May: Wood Engravings, 30

Jacque Parsley: Collage/ Assemblage, 35

P.J. Rogers: Aquatint/ Etchings, 40

Richard Kraus: On Vacation, 47

Dashka Slater: Persephone Tells, …

Load Redistribution On Hypercubes In The Presence Of Faults, Sanjay Ranka, Jhy-Chun Wang

Electrical Engineering and Computer Science - Technical Reports

In this paper, we present load redistribution algorithms for hypercubes in the presence of faults. Our algorithms complete in low-order polynomial of the number of faulty nodes and exhibit excellent experimental performance. These algorithms are topology independent and can be applied to a wide variety of networks.

Ua66/7/3 Coal & Fuel Characterization Laboratory: The First Ten Years, Wku Chemistry

WKU Administration Documents

Report of work completed in the first ten years of the Coal & Fuel Characterization Laboratory.

Santa Clara Magazine, Volume 32 Number 4, Summer 1990, Santa Clara University

Santa Clara Magazine

10 - WHAT'S UP WITH COMIC BOOKS? Comic books aren't what they used to be but they continue to charm our children. By Mitch Finley '73

14 - STRESS, ILLNESS, AND PSYCHOTHERAPY The meaning of a stressful situation determines whether it is perceived as a challenge to be overcome or a demoralization. By Jerome D. Frank

18 - A BEELINE TO THE USA "Killer" bees have been winging their way from Brazil since scores of queens escaped a Sao Paolo lab in 1957. By Paul M. McCarthy '46

21 - PROMISE & OPPORTUNITY An economic forecast for the 1990s by …

Visual Speech Training Aid For The Deaf, Subhashri Venkat

Electrical & Computer Engineering Theses & Dissertations

A computer-based vowel articulation training aid has been developed. A "continuous" acoustic-phonetic transformation is performed to map speech parameters to a lower dimensionality display space. There are two possible approaches to this transformation problem. The transformation could be either linear or a combination nonlinear/linear. The nonlinear transformation is performed using a multi-layered feedforward neural network with linear output layers. Speech parameters are extracted either from an analog filter bank arrangement (band energies) or by a digital signal processing procedure (Discrete Cosine Transform Coefficients). The speech parameters obtained from both methods correspond to the spectral envelope of the speech signals. The …

State Of The Fisheries Report 1989, Fisheries Department Of Western Australia

Status Reports of the Fisheries and Aquatic Resources

The State of the Fisheries is published annually by the Fisheries Department as part of the statutory reporting process required under the Fisheries Act. This report covers developments and production in the State's fisheries up to the end of December 1989. Full details of the department's operations for this period are published separately in the department's annual reports for the financial years ending June 1989 and 1990. Figures provided in the tables are derived from catch returns completed by fishermen which are processed by the Australian Bureau of Statistics. Other information provided in the text comes from research programs conducted …

Typed Token Approach For Database Processing During Network Partitioning, Bharat Bhargava, Shy-Renn Lian

Department of Computer Science Technical Reports

No abstract provided.