Guaranteeing serializable results in synchronous parallel production systems

To speed up production systems, researchers have studied how to execute many rules simultaneously. Unfortunately, such systems can yield results that are impossible for a serial system to produce, leading to erroneous behaviors. We present a formal solution to the problem of guaranteeing serializable behavior in synchronous parallel production systems that execute many rules simultaneously. We also present a variety of algorithms that implement this solution. Our framework builds upon the work of Ishida and Stolfo [14] and improves upon their solution. The practical advantages of these strategies are demonstrated with measurements from an initial implementation.     

On the performance of the CREL system

This paper presents the performance results of a comprehensive approach to the parallel execution of rule systems. It describes the semantics of a Concurrent Rule Execution Language, CREL, and the architecture of the system that compiles and executes CREL programs. The system has been designed to avoid run-time overhead by performing extensive compile-time analysis and by parallelizing compilation. Static dependency analysis, based on serializability, coupled with a set of optimizing transforms, partitions the program into subsets, called clusters. Clusters execute independently of each other and communicate though asynchronous message passing. At run time two additional sources of parallelism are exploited—run-time consistency checking allowing multiple rules to fire, and match-level parallelism. The CREL system is implemented on a Sequent Symmetry shared-memory computer. This paper presents the results of a factorial experiment that isolates and evaluates each source of parallelism in the CREL system and each possible combination of those methods. The results suggest that multiple-rule firing is the single most important source of parallelism in CREL programs and that the use of static dependency analysis based on serializability is instrumental to effectively exploit parallelism.     

Methylaluminoxane/haloalkane as initiator system for styrene polymerization

Summary Styrene polymerization was initiated by methylaluminoxane in the presence of haloalkane. The propagating species are shown by trapping experiments and electron paramagnetic resonance to be both radicals and cations.     

Aging and everyday memory: A cross-cultural study.

Performance on computer-simulated, everyday memory tasks was found to deteriorate with age in 434 Belgian (aged 14–88 yrs) and 434 American Ss matched on gender and age. This age-related memory decline was reasonably consistent across samples. Difficulties in cross-cultural research and the advantages of ecologically valid measurement instruments are discussed. Instruments included a grocery list selective reminding test, the Wechsler Memory Scale, the Benton Visual Retention Test, and the Wechsler Adult Intelligence Scale (WAIS). (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Aqueous Processing and Stabilization of Manganese Zinc Ferrite Powders via a Passivation–Dispersion Approach

A dispersion scheme for aqueous processing of manganese zinc ferrite suspensions is presented. The addition of oxalic acid leads to the formation of a uniform negative charge on the surface such that a cationic polyelectrolyte, polyethyleneimine (PEI), adsorbs and provides electrosteric dispersion. At 0.5 w/w (weight percent with respect to the dry powder) oxalic acid addition, there is a relatively uniform negative surface charge (approximately −30 mV) within the suspension pH range investigated (3–10), eliminating the isoelectric point (pH ∼7.6) present for the as-received metal oxide powder. At the addition of 0.5 w/w PEI on an oxalate-treated surface, the surface charge is constant and positive (∼20 mV) through a wide pH range, ∼5–10. The resulting rheological data for passivation–dispersion of relatively high-solids manganese zinc ferrite suspensions (∼80 wt%) demonstrate improved colloid stability with improved rheological properties. The resulting apparent viscosity and Bingham yield point is 0.01 Pa·s (12.0 cP) and 0.24 Pa (2.4 dynes/cm²), respectively. A sulfonated napthalene-based dispersant, typically used in industry, gives an apparent viscosity and Bingham yield point of 0.03 Pa·s (32 cP) and 3.1 Pa (31 dynes/cm²), respectively.     

Jitter in ATM networks and its impact on peak rate enforcement

Cells arriving to an ATM network experience random delays due to queueing in upstream multiplexing stages, notably in customer premises. This is the phenomenon of jitter and the aim of the present paper is to study its influence on peak rate enforcement. We first introduce some general characterizations of jitter and then, describe two models of jittered flows based on simple queueing systems. We discuss the objectives of peak rate enforcement and study the impact of jitter on the dimensioning of jumping window and leaky bucket mechanisms. A useful synthetic characterization of jitter appears to be a remote quantile of the cell delay distribution expressed in units of the initial inter-cell interval.     

The relationship between age and depressive symptoms in two national surveys.

There is inconsistency in the literature on the relationship between age and depressive symptoms. Although a careful review shows that some of this inconsistency can be reconciled by recognizing the nonlinear relationship (J. P. Newmann, 1989), 2 additional issues remain unclear. One is that most previous studies used depression screening scales that contain somatic items that could introduce an age bias. The other is that most previous studies combined samples of men and women even though there is evidence that the sex difference in depressive symptoms varies with age. These 2 issues are addressed in this article, using analyzed data from 2 large national surveys. There is a consistent, but quite modest, nonlinear association between age, somatic, and nonsomatic depressive symptoms in both surveys. There is no significant sex difference in the age curves. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Room-temperature deformation and stress-induced phase transformation of laves phases in Fe-10 At. Pct Zr alloy

The microstructure within particles of the Laves phase Fe₂Zr in a two-phase Fe-10 at. pct Zr alloy after compression was investigated using X-ray diffraction and electron microscopy. Stressinduced phase transformation between C36 and C15 structures was found to be a major deformation mode for the Laves phase. Twinning and stacking faults were also found within C15 regions. Phase transformation models based on partial dislocations are discussed.     

The role of modelling in identifying drug targets for diseases of the cell cycle.

The cell cycle is implicated in diseases that are the leading cause of mortality and morbidity in the developed world. Until recently, the search for drug targets has focused on relatively small parts of the regulatory network under the assumption that key events can be controlled by targeting single pathways. This is valid provided the impact of couplings to the wider scale context of the network can be ignored. The resulting depth of study has revealed many new insights; however, these have been won at the expense of breadth and a proper understanding of the consequences of links between the different parts of the network. Since it is now becoming clear that these early assumptions may not hold and successful treatments are likely to employ drugs that simultaneously target a number of different sites in the regulatory network, it is timely to redress this imbalance. However, the substantial increase in complexity presents new challenges and necessitates parallel theoretical and experimental approaches. We review the current status of theoretical models for the cell cycle in light of these new challenges. Many of the existing approaches are not sufficiently comprehensive to simultaneously incorporate the required extent of couplings. Where more appropriate levels of complexity are incorporated, the models are difficult to link directly to currently available data. Further progress requires a better integration of experiment and theory. New kinds of data are required that are quantitative, have a higher temporal resolution and that allow simultaneous quantitative comparison of the concentration of larger numbers of different proteins. More comprehensive models are required and must accommodate not only substantial uncertainties in the structure and kinetic parameters of the networks, but also high levels of ignorance. The most recent results relating network complexity to robustness of the dynamics provide clues that suggest progress is possible.