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.     

In times of survival, the right of silence

The purpose of this study was to assess cortical and cancellous bone responses to unilateral limb immobilization and, subsequently, to remobilization with exercise, in a young adult canine model. Right forelimbs of 14 1-2-year old mongrel dogs were immobilized in a non-weight-bearing position by a bandage for 16 weeks. Six control dogs were untreated. At 16 weeks, seven immobilized and three control dogs were euthanized. The remaining seven immobilized dogs began a recovery protocol consisting of 16 weeks of kennel confinement (without the right forelimb bandaged) followed by 16 weeks of treadmill exercise conducted three times per week. These seven dogs and three control dogs were euthanized at 48 weeks. Bone mineral density of the proximal radii was determined with dual-energy X-ray absorptiometry and humeral middiaphyseal cross-sectional areas were determined with computed tomography. Humeri were tested in cranio-caudal three-point bending to failure. Cancellous bone cores from the lateral humeral condyles had wet apparent density determined and were tested to failure in compression. Mechanical properties, bone density, and cross-sectional areas were compared between immobilized (right forelimb), contralateral weight bearing (left forelimb), and control forelimbs with Kruskal-Wallis and post hoc tests. At 16 weeks, bone mineral density, cortical load, yield, and stiffness as well as cancellous bone failure stress, yield stress, and modulus were significantly lower (p < 0.02) for immobilized limbs than control limbs. Immobilized limb cancellous bone mechanical properties were 28%-74% of control values, and cortical bone mechanical properties were 71%-98% of control values. After 32 weeks of remobilization, cortical and cancellous bone mechanical properties were not different from control values except that cortical bone failure stress and modulus were significantly higher (p < 0.01) between remobilized and control limbs. In summary, 16 weeks of forelimb immobilization was associated with significantly lower mechanical properties, and with greater differences in cancellous than cortical bone properties. Mechanical properties were not different from control values after 32 weeks of recovery that included 16 weeks of treadmill exercise.     

攀钢1450热轧带钢厂精轧机组电动压下机构带钢压下时的动特性计算和探讨

从理论上和实践上对武钢１７００、鞍钢１７００改造前后、本钢１７００改造前后和攀钢１４５０精轧机组的电动压下机构在带钢压下时的动特性进行计算和探讨，得出有说服力的结论。主题词：     

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.     

Characterization of allergoids from ovalbumin in vitro and in vivo

Several in vivo and in vitro methods for monitoring immunological properties of two allergoids obtained by formaldehyde treatment of ovalbumin (OA) were developed. The calculated molecular weight of allergoids was 80 kD (OA-F1) and 165 kD (OA-F2), respectively. The allergenic activity in vitro of allergoids in mast-cell histamine release assay was 1000 times lower than of OA. Both allergoids showed reduced ability to induce passive cutaneous anaphylaxis in the Sprague-Dawley rats or systemic anaphylaxis in Dunkin-Harley guinea-pigs. The ability of OA and allergoids to bind to the OA-specific IgE antibodies was measured in vivo by the inhibition of passive cutaneous anaphylaxis (PCA-inhibition). Allergoid binding to IgE was 51-66% lower than the native allergen. Moreover, the avidity of OA-specific IgG antibodies, measured by ELISA-inhibition, for allergoids and allergen was of the same order. Allergoids induced a different pattern of humoral immune response from that, induced by the native allergen. Thus, after immunization of BALB/c mouse, both allergoids induced a higher production of IgG and a lower production of IgE than OA, only OA-F2 induced a lower production of IgG1. The differences in the IgA response to the immunogens was not significant. Delayed hypersensitivity studies in the BALB/c mouse showed that allergoids were 5- to 12-times less effective in inducing a cell-mediated immune response than OA. The present study provides a battery of immunological methods for preclinical testing of modified allergens.