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.     

实体造型中的几何约束

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

R&D activities on wireless systems in China

Various wireless systems and the research preceding their practical use in China are described. The topics discussed include research establishments, research and development projects underway, challenges inherent to digital radio, and expansion opportunities afforded by satellite communications     

Internet网的服务方式与入网方式一览

目前，世界上最大的计算机网络Ｉｎｔｅｒｎｅｔ网，已成为通达１５０多个国家的国际互联网络。作为引导中国计算机用户进入Ｉｎｔｅｒｎｅｔ的中国公用计算机互联网ＣＨＩＮＡＮＥＴ也正迅速发展。本文就Ｉｎｔｅｒｎｅｔ网的服务方式和入网方式进行了综述。     

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

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

具有细小组织的高强度和高延性钢管的开发

介绍了日本川崎制铁公司技术研究所开发出的电焊钢管采用热张力减径工艺的特性 ,及这种钢管的高强度、高延性等基本特性。用这种钢管制造的汽车零部件 ,经弯曲、冲击和疲劳特性等实验 ,证明具有良好的机械加工性能 ,是制造汽车用零部件的优良材料。     

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.     

减粘裂化分馏塔顶系统的腐蚀及防护

辽河石化分公司减粘裂化装置改炼辽河超稠油的减压渣油后 ,分馏塔顶系统由HCl -H2 S -HCN -有机酸 -H2 O引起的电化学腐蚀严重 ,其中油水分离器局部腐蚀速率达 3.1mm/a ,12AlMoV管束的空冷器运行不足两个月即发生泄漏。塔顶系统采用BZH - 1中和缓蚀剂、无机氨BZH - 913油溶性缓蚀剂综合注剂方案 ,使腐蚀得到控制