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.     

Kinetics of two-step anionic polymerization

This article deals with the kinetics of two-step anionic polymerization by way of a non-steady state method. Several molecular parameters can be evaluated using the formulae developed. A bimodal molecular weight distribution function for the resulting polymer is derived from the set of kinetic differential equations, which is in agreement with the experimental data reported.     

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.     

在经典极限下量子斯特林制冷机的优化

经济利润率是评价一个实际热力装置的主要指标之一。将有限时间热力学，非平衡量子统计理论和yong经济学相结合，导出了量子斯特林制冷机的最大利润率以及对应的性能界限，其结果与实际斯特林制冷机的优化设计和模型评估提供了一个最佳的预选方案。     

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

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

压型钢板组合楼板承载力的有限元分析

压型钢板组合楼板是 2 0世纪发展起来的一种新型结构形式。它具有显著的优势 ,如轻质、高强 ,施工快捷等 ,将在未来的建筑领域中大有作为。组合楼板的承载力主要取决于钢板 -混凝土界面处的抗剪强度。建立了一个二维有限元模型来研究单向组合板的性能。并将计算结果与试验数据进行对比 ,验证了模型的有效性     

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

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

辐照技术在聚丙烯材料制备和改性中的应用

利用辐照的手段,来制备功能化的聚丙烯材料,在获得新功能的同时,不改变聚丙烯原有的优点,并综述了辐照技术在聚丙烯材料制备和改性中的研究及应用情况