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.     

埋地管道涂层检测技术现状

文章对各种埋地管道涂层检测技术进行了综述,并指出了各种技术的优缺点及应用前景.     

一种多晶硅高温压力传感器

制作压力传感器时，在二氧化硅层上淀积多晶硅膜，既可利用优良的机械特性，又可保证压敏电阻与衬底间具有良好的绝缘性，由此可大大提高器件的温度特性。介绍了一种多晶硅压力传感器的原理和设计。实验结果表明，这类传感器具有灵敏度好，精度高等特点，电路工作范围为０－２５０℃，且具有良好的温度稳定性。     

大型现浇钢筋混凝土U型渡槽施工技术

禹门口提水工程干渠上的十几座大型钢筋混凝土渡槽采用现浇混凝土施工方案。经过十几座渡槽的施工及通水检验，证明现浇施工技术与工艺已经成熟。本文就施工中遇到的高大排架外形与垂直度控制、槽身模板制做与固定、模具的空中支撑、运输与入仓办法等做以简单介绍。     

移动式宽频带高产额中子发生器

多用途中子发生器有着广阔的市场和应用领域 ,文章对移动式宽频带高产额中子发生器 ,在设计制造过程中所涉及到的技术难点 :绝缘尺寸小、频率适应范围宽、为中子管提供靶压的高压负载特性好等作了技术分析 ,使多用途中子发生器在更广阔的范围内应用 ,提供了广阔前景。     

单片机仿真系统

本文讨论单片机离线仿真系统的设计方法，其关键技术是：单片机硬件系统（ＲＡＭＲＥＧＩＳＴＥＲＳ）仿真，指令系统仿真，中断系统仿真，应用系统硬件仿真。     

参数化图形库技术

本文论述了参数化图形库的实现原理，建立了以尺寸叠加算法为基础的参数化图形库开发工具，利用这种开发工具建立的图形数据可以由数据库管理，方便有效。     

Windows系统中两种动态交换数据的方法

本文介绍了Ｗｉｎｄｏｗｓ环境下基于消息的ＤＤＥ和基于动态链接库的ＤＤＥＭＬ的区别，并详细叙述了如何使用ＤＤＥＭＬ编制Ｗｉｎｄｏｗｓ应用程序。     

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.