Error in the UNITY substitution rule for subscripted operators

UNITY, introduced by Chandy and Misra [ChM88], is a programming logic intended to reason about temporal properties of distributed programs. Despite the fact that UNITY does not have the full power of, for example, linear temporal logic, it enjoys popularity due to its simplicity.There was however a serious problem with the Substitution Rule. The logic is incomplete without the rule, and with the rule it is inconsistent.     

The performance of cache-based error recovery in multiprocessors

Several variations of cache-based checkpointing for rollback error recovery from transient errors in shared-memory multiprocessors have been recently developed. By modifying the cache replacement policy, these techniques use the inherent redundancy in the memory hierarchy to periodically checkpoint the computation state. Three schemes, different in the manner in which they avoid rollback propagation, are evaluated in this paper. By simulation with address traces from parallel applications running on an Encore Multimax shared-memory multiprocessor, we evaluate the performance effect of integrating the recovery schemes in the cache coherence protocol. Our results indicate that the cache-based schemes can provide checkpointing capability with low performance overhead, but with uncontrollable high variability in the checkpoint interval     

The design, fabrication, and testing of corrugated silicon nitridediaphragms

Silicon nitride corrugated diaphragms of 2 mm×2 mm×1 μm have been fabricated with 8 circular corrugations, having depths of 4, 10, or 14 μm. The diaphragms with 4-μm-deep corrugations show a measured mechanical sensitivity (increase in the deflection over the increase in the applied pressure) which is 25 times larger than the mechanical sensitivity of flat diaphragms of equal size and thickness. Since this gain in sensitivity is due to reduction of the initial stress, the sensitivity can only increase in the case of diaphragms with initial stress. A simple analytical model has been proposed that takes the influence of initial tensile stress into account. The model predicts that the presence of corrugations increases the sensitivity of the diaphragms, because the initial diaphragm stress is reduced. The model also predicts that for corrugations with a larger depth the sensitivity decreases, because the bending stiffness of the corrugations then becomes dominant. These predictions have been confirmed by experiments. The application of corrugated diaphragms offers the possibility to control the sensitivity of thin diaphragms by geometrical parameters, thus eliminating the effect of variations in the initial stress, due to variations in the diaphragm deposition process and/or the influence of temperature changes and packaging stress     

Comments on “Editorial: fuzzy models-what are they andwhy?”

In the editorial by J.C. Bezdek (ibid., p.1), an example is presented to demonstrate differences between fuzzy membership and probability. The authors argue that probability can be used in a way much more closely analogous to this use of fuzzy membership, weakening the argument for the latter     

A generalized fuzzy Petri net model

The paper proposes a new model of Petri nets based on the use of logic based neurons. In contrast to the existing generalizations, this approach is aimed at neural-type modeling of the entire concept with a full exploitation of the learning capabilities of the processing units being used there. The places and transitions of the net are represented by OR and AND-type and DOMINANCE neurons, respectively. A correspondence between this model and the previous two-valued counterpart is also revealed. The learning aspects associated with the nets are investigated     

A semantic modeling approach for image retrieval by content

We introduce a semantic data model to capture the hierarchical, spatial, temporal, and evolutionary semantics of images in pictorial databases. This model mimics the user's conceptual view of the image content, providing the framework and guidelines for preprocessing to extract image features. Based on the model constructs, a spatial evolutionary query language (SEQL), which provides direct image object manipulation capabilities, is presented. With semantic information captured in the model, spatial evolutionary queries are answered efficiently. Using an object-oriented platform, a prototype medical-image management system was implemented at UCLA to demonstrate the feasibility of the proposed approach.     

Robotica: a Mathematica package for robot analysis

Robotica is a computer aided design package for robotic manipulators developed in the Coordinated Science Laboratory at the University of Illinois at Urbana-Champaign. It encapsulates over 30 functions into a Mathematica package allowing efficient symbolic and numeric calculation of kinematic and dynamic equations for multi-degree-of-freedom manipulators. An X-Windows front end that utilizes the interprocess communication features of Mathematica 2.1 has also been created for ease of use. This paper describes the most important features of the package and how they are used     

Partial congenital defect of the left pericardium: angiographic diagnosis and treatment by thoracoscopic pericardiectomy: case report

Twenty-six patients with an intracardiac myxoma underwent surgical resection at our institution from 1977 through 1992. Left atrial myxoma was diagnosed in 22 patients, left ventricular in 1, right atrial in 2, and right ventricular in 1. Six patients were asymptomatic; preoperative symptoms included dyspnea, arrhythmias, embolic episodes, and syncope. The diagnosis was established with transthoracic echocardiography in all cases but one. Surgery was performed in all cases with the aid of cardiopulmonary bypass with moderate hypothermia and cold crystalloid cardioplegia. One patient with a left ventricular myxoma died in a comatose state during the immediate postoperative period. Long-term clinical and echocardiographic evaluation was performed in 19 patients; results were excellent (all the patients were in New York Heart Association functional class I or II), and no recurrences were documented. The clinical characteristics, diagnostic methods, and surgical approach are presented and discussed.     

Luminol and lucigenin amplified chemiluminescence and lipidperoxidation with brain microsomes from rats during ontogenetic development

During the 1980s, the ecologic association of conjugated estrogens with endometrial cancer changed from positive to negative in a prepaid health plan. During the same period, use of progestins increased dramatically. We investigated whether the latter increase could explain the reversal of the estrogen-cancer association. Endometrial cancer incidence was estimated from cases recorded in the health plan registry divided by the number of women over age 45 years. Conjugated estrogens usage was measured as milligrams prescribed per woman per year and progestin was measured as tablets per woman per year, both based upon pharmacy records. Graphical and regression methods were used to analyze the resulting ecologic data. In a log-linear regression of incidence on conjugated estrogens and medroxyprogesterone usage, estrogen usage had a strong positive association with incidence, while medroxyprogesterone had a strong negative association with incidence. The change in the direction of the ecologic association between estrogen and endometrial cancer that occurred in 1984 continued until 1993, suggesting that the decline in endometrial cancer incidence and concomitant increase in conjugated estrogens usage since 1984 is explained by the increasing use of progestins. The data are entirely consistent with the hypothesis that progestins can protect against most of the excess risk conferred by conjugated estrogens, although the ecologic nature of the data prohibits drawing further inferences.     

Providing information to clients about psychological tests: A survey of attorneys' and law students' attitudes.

Surveyed 70 practicing attorneys and 150 law students to determine the extent to which they felt it was their responsibility to inform clients they referred for psychological testing about the testing process and about the validity scales on tests. Results showed that almost 50% of the attorneys and over 33% of the students believe that clients referred for testing always or usually should be informed of validity scales on tests. These results suggest that many test takers, particularly in forensic settings, may have information about validity scales that facilitates their giving biased responses without detection. Psychologists doing forensic evaluations should be alert to this possibility and should consider using more than one approach to detect response distortions. (PsycINFO Database Record (c) 2010 APA, all rights reserved)