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.     

心电地图仪中工频干扰的一种滤除方法

在心电地图仪中记录到的体表心电信号往往由于电磁的影响而引进工频干扰．基于体表心电信号中工频干扰的特点，作者提出了一种滤除工频干扰的方法，即就单独—胸导联信号通过提高频谱的分辨率来估计工频干扰的频率；基于最小均方误差准则来估计各导联信号中工频干扰的幅度和相位。文中还给出了该算法的流程图和滤波性能分析。模拟结果表明了该算法的有效性。应用该算法对心电地图仪中的工频干扰进行对消，取得了满意的结果。     

恢复城市水环境的自然生态

为了确保城市社会经济的可持续发展,城市的水资源管理是重要的一环,而且,这项管理会逐步从防洪、水资源利用的量的管理向水质管理、空间管理和生态体系的保护等综合管理发展,其中恢复河流清澈、优美的自然生态,科学有效地建设城市水环境是个需要研究的大课题.     

Systematic characterization of Cl2 reactive ion etchingfor improved ohmics in AlGaN/GaN HEMTs

Pre-metal-deposition reactive ion etching (RIE) was performed on an Al_0.3Ga_0.7N/AlN/GaN heterostructure in order to improve the metal-to-semiconductor contact resistance. An optimum AlGaN thickness for minimizing contact resistance was determined. An initial decrease in contact resistance with etching time was explained in terms of removal of an oxide surface layer and/or by an increase in tunnelling current with the decrease of the AlGaN thickness. The presence of a dissimilar surface layer was confirmed by an initial nonuniform etch depth rate. An increase in contact resistance for deeper etches was experienced. The increase was related to depletion of the two-dimensional (2-D) electron gas (2-DEG) under the ohmics. Etch depths were measured by atomic force microscopy (AFM). The contact resistance decreased from about 0.45 Ωmm for unetched ohmics to a minimum of 0.27 Ωmm for 70 Å etched ohmics. The initial thickness of the AlGaN layer was 250 Å. The decrease in contact resistance, without excessive complications on device processing, supports RIE etching as a viable solution to improve ohmic contact resistance in AlGaN/GaN HEMTs     

应用德国PAR88挤出机生产PVC异型材的工艺研究

从控制PVC异型材挤出机的工艺参数的角度，分析并论述了挤出机工艺参数对PVC异型材低温落锤性能的影响。     

高质量ZnO薄膜的退火性质研究

在LP－MOCVD中，我们利用Zn(C2H5)2作Zn源，CO2作氧源，在（0002）蓝宝石衬底上成功制备出皮c轴取向高度一致的ZnO薄膜，并对其进行500℃-800℃四个不同温度的退火。利用XRD、吸收谱、光致发光谱和AFM等手段研究了退火对ZnO晶体质量和光学性质的影响。退火后，（0002）ZnO的XRD衍射峰强度显著增强，c轴晶格常数变小，同时（0002）ZnOX射红衍射峰半高宽不断减小表明晶粒逐渐增大，这与AFM观察结果较一致。由透射谱拟合得到的光学带隙退火后变小，PL谱的带边发射则加强，并出现红移，蓝带发光被有效抑制，表明ZnO薄膜的质量得到提高。