Evaluating the impact of CASE: an empirical comparison of retrospective and cross-sectional survey approaches

The purpose of this paper is to evaluate two methods of assessing the productivity and quality impact of Computer Aided Software Engineering (CASE) and Fourth Generation Language (4GL) technologies: (1) by the retrospective method; and (2) the cross-sectional method. Both methods involve the use of questionnaire surveys. Developers' perceptions depend on the context in which they are expressed and this includes expectations about the effectiveness of a given software product. Consequently, it is generally not reliable to base inferences about the relative merits of CASE and 4GLs on a cross-sectional comparison of two separate samples of users. The retrospective method that requires each respondent to directly compare different products is shown to be more reliable. However, there may be scope to employ cross-sectional comparisons of the findings from different samples where both sets of respondents use the same reference point for their judgements, and where numerical rather than verbal rating scales are used to measure perceptions.     

Laparoscopic operation of a Morgagni hernia

Morgagni hernias are the least common form of diaphragmatic hernias. Although they are congenital, most of them are not diagnosed until later in life. The indication for surgery is based on the patient's symptoms or on the radiological evidence of incarcerated tissue, and until quite recently involved a laparotomy or thoracotomy. Laparoscopy not only permits the suspected diagnosis to be confirmed--which is otherwise often difficult--but also makes it possible to close the hernia site by suturing. For improved security, the hernia site is augmented by fixing in place a non-absorbable mesh. The operative technique employed is described.     

Electrical linewidth test structures fabricated in monocrystallinefilms for reference-material applications

The physical widths of reference features incorporated into electrical linewidth test structures patterned in films of monocrystalline silicon have been determined from Kelvin voltage measurements. The films in which the test structures are patterned are electrically insulated from the bulk-silicon substrate by a layer of silicon dioxide provided by SIMOX (Separation by the IMplantation of OXygen) processing. The motivation is to facilitate the development of linewidth reference materials for critical-dimension (CD) metrology-instrument calibration. The selection of the (110) orientation of the starting silicon and the orientation of the structures' features relative to the crystal lattice enable a lattice-plane-selective etch to generate reference-feature properties of rectangular cross section and atomically planar sidewalls. These properties are highly desirable for CD applications in which feature widths are certified with nanometer-level uncertainty for use by a diverse range of CD instruments. End applications include the development and calibration of new generations of CD instruments directed at controlling processes for manufacturing devices having sub-quarter-micrometer features     

Scientific and artistic investigation of multi-dimensional fractals on the AT & T pixel machine

The pipelined architecture and parallel organization of the AT&T Pixel Machine image computer are described and demonstrated with applications for the visualization of multidimensional fractals, particularly linear fractals and quaternion/ stacked Julia sets. Techniques for pushing the Pixel Machine to its peak abilities are described and apply to more recent parallel image computers as well.     

Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

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