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.     

空气压缩机实时监控系统

介绍一种以工业控制机为核心的空气压缩机实时监控系统。为防止电磁干扰，系统采取了有效的隔离保护措施。论述了系统结构、工作原理和硬软件配置。     

CA／PAN中空纤维血浆分离膜的结构与性能

本研究以CA及PAN的共混溶液,通过干-湿法纺丝制取中空纤维,利用共混高聚物各组分在凝固剂中相分离速度的差异,形成具有稳定结构的中空纤维孔膜,该膜用于分离血液中的血浆成分具有良好效果。讨论了成型条件及添加剂等对膜结构、性能的影响,用SEM及图相分析仪、MAP压汞仪及DSC等分析手段,对膜的微孔结构、形态、孔尺寸及中空纤维膜的血浆通量和水通量等进行了系统的考查。     

利用反射纵波评价裂缝倾角的模拟实验研究

声波全波列测井中的反射纵波可以用来评价高角度裂缝和对井周附近地质结构进行成像。目前的研究主要侧重于直接从波形资料处理出发计算裂缝的位置和倾角 ,其可靠性和准确性无从评价和校验。文中采用模拟实验的方法记录了倾角为 6 0°～80°范围内的 8种倾角裂缝的反射脉冲纵波波形 ,自行推导了反演裂缝倾角的公式 ,结合波场分离技术对实验测量波形数据进行了处理 ,计算出的裂缝倾角与实际值具有良好的一致性。本文结果表明 ,利用至少 2个深度点的纵波反射波波形资料就可以准确地反演裂缝的倾角     

PTA装置压力离心机冲洗新技术

分析了仪征化纤PTA装置压力离心机运转效果不佳的原因,提出解决方案,改造实施后取得了很好的效果。     

万家寨引黄工程北干线输水损失分析

万家寨引黄工程北干线系统输水损失，是关乎输水运行成本和水资源有效利用的重要问题之一。由于各类建筑物施工方法，材料及工艺的差异。其输水损失差异较大，计算方法和计算参数各不相同，文章在对各类建筑物进行输水损失计算的基础上，分析了不同类型建筑物的输水损失特点，提出了减少水量损失的建议和设想。