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.     

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

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

940nm高功率激光二极管及线阵

设计并制作出了940 nm无铝有源区高功率激光二极管和激光条.通过MOCVD法生长出应变量子阱材料,器件显示出极好的性能,100μm条宽的激光二极管最大输出功率达800mW(室温),填充因子为17%的激光二极管条发射功率达32 W.     

微型无阀泵参数化结构设计及测试

 从理论计算和试验两方面研究了用于微流控化学分析芯片的微型无阀泵流动特性，初步建立了微型无阀泵流道结构的数学模型，重点讨论了结构参数的选取原则及相应的流动阻尼系数的计算方法． 通过试验验证了数值计算的可靠性，为微型无阀泵参数化设计及优化提供了理论依据及经验曲线．     

预处理工艺对硬质合金与金刚石膜间粘结力的影响

在两种经不同预处理的硬质合金YG8基底上，采用微波等离子体化学气相沉积法，在微波功率2kW，压强4.0kPa和6.5kPa，CH4和H2流量分别为1.6cm/s和100.0cm/s的条件下生长金刚石薄膜。利用X射线衍射检测了金刚石薄膜是否存在，用拉曼光谱分析了薄膜的质量，用金相显微镜观察了薄膜的洛氏硬度压痕，标定并比较了不同预处理工艺膜与基底的结合力。实验结果表明，不同的预处理方法对于粘结力的影响不大，最主要的因素是钴含量的多少。     

A novel cyclic process using CaSO<Subscript>4</Subscript>/CaS pellets for converting sulfur dioxide to elemental sulfur without generating secondary pollutants: Part I. Feasibility and kinetics of the reduction of sulfur dioxide with calcium-sulfide pellets

Certain new sulfide-smelting processes and coal-gasification processes generate high-strength sulfur dioxide streams, for which a new process for converting sulfur dioxide to elemental sulfur needs to be developed because no process exists that is generally and economically applicable to the treatment of such streams. A thermodynamic and experimental investigation to develop a new process for converting sulfur dioxide to elemental sulfur by a cyclic process involving calcium sulfide and calcium sulfate without generating secondary pollutants was carried out. In this process, the starting raw material, calcium sulfate, is reduced by a suitable reducing agent, such as hydrogen, to produce calcium sulfide, which is used to reduce sulfur dioxide to elemental sulfur vapor and calcium sulfate. The latter is, in turn, reduced to regenerate calcium sulfide. In this Part I, detailed experimental results are presented on the kinetics of the reaction between sulfur dioxide and calcium-sulfide pellets, which produces elemental sulfur and calcium sulfate. The experiments were carried out at temperatures between 1023 and 1088 K and sulfur-dioxide partial pressures between 9 and 60 kPa by the use of a thermogravimetric analysis (TGA) technique. The rate of this reaction was demonstrated by the conversion of 40 pct calcium-sulfide pellets obtained from the hydrogen reduction of fresh calcium sulfate in 10 minutes at 1073 K under a sulfur-dioxide partial pressure of 43 kPa. The reactivity decreased somewhat during the first three cycles but remained largely unchanged thereafter up to the tenth cycle. This characteristic of the pellets is important because the solids must be reusable for repeated cycles to avoid generating secondary pollutants. A pore-blocking model was found to fit the reaction rate. The reaction is first order with respect to sulfur-dioxide partial pressure and has an activation energy of 101 to 134 kJ/mol (24 to 32 kcal/mol) for calcium-sulfide pellets reacted and regenerated several different times. Sulfur dioxide-containing streams from certain sources, such as the regenerator off-gas from an integrated-gasification, combined-cycle, desulfurization unit and new sulfide-smelting plants, contain much higher partial pressures of SO₂. In these cases, the rate of the first reaction is expected to be proportionally higher than in the test conditions reported in this article. The reduction kinetics of calcium-sulfate pellets with hydrogen gas is reported in the accompanying Part II.