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.     

CAD-oriented formulas for the quasi-tem parameters of shielded and semi-enclosed (coupled) coplanar waveguides

On the magnetic-wall approximation for their slots, shielded coplanar waveguides (SCPWs) and semienclosed CPWs (SECPWs) are analyzed through an intensive use of elliptic function transformation. CAD-oriented formulas for the quasi-TEM parameters of SCPWs and SECPWs, including their coupled versions, are derived. The comparison of the results calculated here with previous ones show 2% accuracy for formulas in the practical situation where the slots are not too wide, e.g., s / (s + 2w) ≥ 0.2 for an SCPW. © 1994 John Wiley & Sons, Inc.     

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

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

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

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

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

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

用晶种技术解决低品位石灰石配料中存在的问题

采用晶种技术，能有效地改善熟料的煅烧过程和熟料的质量。晶种和复合矿化剂的作用机理不同，在某些方面具有互补性。     

怎样合理安装冲压模具

对冲压模具的安装过程进行了分析,提出了在冲模安装过程中应注意或考虑的事项。