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.     

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.     

以网格曲线为连续条件的光滑曲面

本文提出一种以网格边界曲线定义曲面的方法。曲面的计算式唯一地由网格的四条边界线的参数而定，各网格间连接的光滑度完全由网格间的边界线的光滑度来决定。当网格间的边界线具有Ｃ~１连续以上的光滑度时，网络曲面间将自动保证是Ｃ~１连续的，否则将是Ｃ~０连续。利用这个方法，可以方便地从线框模型（ｗｉｒｅ－ｆｒａｍｅｍｏｄｅｌ）建立面模型（ｓｕｒｆａｃｅｍｏｄｅｌ）。     

实体造型中的几何约束

实体造型是一个基于约束的过程，完成从功能约束到几何约束、再到代数约束的转化而得到实体模型。本文讨论了几何约束的层次性及其表示，并且对几何约束同设计意图的关系进行了研究，提出了基于ＣＳＧ／ＧＣＧ／Ｂ－ｒｅｐ的模型表示。     

强度反射型光纤温度传感器

本文提出并研究了一种新型的强度反射型光纤温度传感器.根据定容气体温度与压力的线性关系,通过简单的测温元调制光纤中的反射光强,从而得知待测温度.这种传感器结构紧凑,造价低廉.在30~50℃范围内,灵敏度可以达到30mV/℃以上.     

超声波车辆车轴探头的研制与应用

提出了一种用于检测在役车辆车轴产生疲劳裂纹的超声波方法,设计了中心孔探头与斜角探头一起,完成了对车辆车轴的关键区域探伤。     

Suppressive effect of corticosteroids on the gene expression of interleukin-5 and eosinophil activation in asthmatics

Although cortico steroids are effective anti-inflammatory agents in ameliorating asthma symptoms and bronchial hperreactivity, their mechanism of action is unknown. Interleukin (IL)-5 is known to play a key role in regulating eosinophil proliferation and activation. Therefore, we examined the changes of IL-5 mRNA expressions in PBMC semi-quantitatively with RT-PCR as well as serum ECP levels and MCH-PC20 values in asthmatics before and after being treated with corticosteroids. The results revealed that there were significant decrease in the level of IL-5 mRNA and serum ECP concentration after therapy (P < 0.05) and there was remarkable improvement in the values of MCH-PC20 and FEV1% (P < 0.05). It was also found that the changes of serum ECP levels or MCH-PC20 values were accompanied by a reduction in IL-5 mRNA expression (r = 0.5426 or 0.4857, P < 0.05). These results suggested that the therapeutic effects of corticosteroids in asthma may result from modulation of IL-5 gene expression with consequent inhibition of eosinophil activation.     

BEM 系列原油流动性改进剂的应用

对BEM系列原油流动性改进剂的基本原理以及在中洛、濮临、东临、东黄、鲁宁、魏荆等几条原油长输管道工业应用的现场测试情况进行了介绍。结果表明，BEM系列原油流动性改进剂在降低原油凝点和粘度方面性能良好，能满足管道安全，平稳运行的要求。