Computer-aided analysis of concurrent systems

The introduction of concurrency into programs has added to the complexity of the software design process. This is most evident in the design of communications protocols where concurrency is inherent to the behavior of the system. The complexity exhibited by such software systems makes more evident the needs for computer-aided tools for automatically analyzing behavior.The Distributed Systems project at UCI has been developing a suite of tools, based on Petri nets, which support the design and evaluation of concurrent software systems. This paper focuses attention on one of the tools: the reachability graph analyzer (RGA). This tool provides mechanisms for proving general system properties (e.g., deadlock-freeness) as well as system-specific properties. The tool is sufficiently general to allow a user to apply complex user-defined analysis algorithms to reachability graphs. The alternating-bit protocol with a bounded channel is used to demonstrate the power of the tool and to point to future extensions

Are Americans confident their ballots are counted?

Building on the literature that investigates citizen and voter trust in government, we analyze the topic of voter confidence in the American electoral process. Our data comes from two national telephone surveys where voters were asked the confidence they have that their vote for president in the 2004 election was recorded as intended. We present preliminary evidence that suggests confidence in the electoral process affects voter turnout. We then examine voter responses to determine the overall level of voter confidence and analyze the characteristics that influence the likelihood a voter is confident that their ballot was recorded accurately. Our analyses indicate significant differences in the level of voter confidence along both racial and partisan lines. Finally, we find voter familiarity with the electoral process, opinions about the electoral process in other voting precincts, and both general opinions about voting technology and the specific technology the voter uses significantly affect the level of voter confidence

Meteoritic material on the moon

Micrometeorites, ancient planetesimal debris from the early intense bombardment, and debris of recent, crater-forming projectiles are discussed and their amounts and compositions have been determined from trace element studies. The micrometeorite component is uniformly distrubuted over the entire lunar surface, but is seen most clearly in mare soils whereas, the ancient component is seen in highland breccias and soils. A few properties of the basin-forming objects are inferred from the trace element data. An attempt is made to reconstruct the bombardment history of the moon from the observation that only basin-forming objects fell on the moon after crustal differentiation. The apparent half-life of basin-forming bodies is close to the calculated value for earth-crossing planetesimals. It is shown that a gap in radiometric ages is expected between the Imbrium and Nectaris impacts, because all 7 basins formed in this interval lie on the farside or east limb

Meteoritic material on the moon

Three types of meteoritic material are found on the moon: micrometeorites, ancient planetesimal debris from the "early intense bombardment," and debris of recent, craterforming projectiles. Their amounts and compositions have been determined from trace element studies. The micrometeorite component is uniformly distributed over the entire lunar surface, but is seen most clearly in mare soils. It has a primitive, C1-chondrite-like composition, and comprises 1 to 1.5 percent of mature soils. Apparently it represents cometary debris. The ancient component is seen in highland breccias and soils. Six varieties have been recognized, differing in their proportions of refractories (Ir, Re), volatiles (Ge, Sb), and Au. All have a fractionated composition, with volatiles depleted relative to siderophiles. The abundance patterns do not match those of the known meteorite classes. These ancient meteoritic components seem to represent the debris of an extinct population of bodies (planetisimals, moonlets) that produced the mare basins during the first 700 Myr of the moon's history. On the basis of their stratigraphy and geographic distribution, five of the six groups are tentatively assigned to specific mare basins: Imbrium, Serenitatis, Crisium, Nectaris, and Humorum or Nubium

Project for the analysis of technology transfer Quarterly evaluation report, 1 Jan. - 31 Mar. 1969

Technology transfer analysis project studying nonspace applications of NASA and AEC generated technolog

Gypsy moths and American dog ticks: Space partners

An experiment intended for the space shuttle and designed to investigate the effects of weightlessness and total darkness on gypsy moth eggs and engorged American dog ticks is described. The objectives are: (1) to reevaluate the effects of zero gravity on the termination of diapause/hibernation of embryonated gypsy moth eggs, (2) to determine the effect of zero gravity on the ovipositions and subsequent hatch from engorged female American dog ticks that have been induced to diapause in the laboratory, and (3) to determine whether morphological or biochemical changes occur in the insects under examination. Results will be compared with those from a similar experiment conducted on Skylab 4

Crystallization of calcite from amorphous calcium carbonate: earthworms show the way

No abstract available