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     

Robust crossfeed design for hovering rotorcraft

Control law design for rotorcraft fly-by-wire systems normally attempts to decouple the angular responses using fixed-gain crossfeeds. This approach can lead to poor decoupling over the frequency range of pilot inputs and increase the load on the feedback loops. In order to improve the decoupling performance, dynamic crossfeeds should be adopted. Moreover, because of the large changes that occur in the aircraft dynamics due to small changes about the nominal design condition, especially for near-hovering flight, the crossfeed design must be ‘robust’. A new low-order matching method is presented here to design robust crossfeed compensators for multi-input, multi-output (MIMO) systems. The technique minimizes cross-coupling given an anticipated set of parameter variations for the range of flight conditions of concern. Results are presented in this paper of an analysis of the pitch/roll coupling of the UH-60 Black Hawk helicopter in near-hovering flight. A robust crossfeed is designed that shows significant improvement in decoupling perfomance and robustness over the fixed-gain or single point dynamic compensators. The design method and results are presented in an easily used graphical format that lends significant physical insight to the design procedure. This plant precompensation technique is an appropriate preliminary step to the design of robust feedback control laws for rotorcraft.     

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.