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.     

Applications of a super element model for non-linear analysis of stiffened box structures

Numerical investigations are carried out to verify the new super element model developed in Reference 1 for non-linear analysis of stiffened box structures. The results presented here are obtained from a variety of examples which are chosen to illustrate the accuracy and convergence of the model in various applications. Good agreement is obtained for most of the problems considered and the present formulation is found to be accurate and economical for preliminary engineering design.     

SiC（w）／TZP＋mullite陶瓷复合材料界面和组成设计与力学性能

本文从理论上分析了ＳｉＣ（ｗ）ＴＺＰ＋ｍｕｌｌｉｔｅ（ｐ）复合材料界面残余热应力及其在基质内的分布规律。提出在ＳｉＣ（ｗ）表面涂复Ａｌ２Ｏ３和在ＰＺＴ中加入ｍｕｌｌｉｔｅ（ｐ）联合作用来降低晶须／基质界面残余热应力的界面设计方案，导出ＳｉＣ（ｗ）和ｍｕｌｌｉｔｅ（ｐ）协同补强ＰＺＴ的匹配条件。制备了ＳｉＣ（ｗ）／ＴＺＰ＋ｍｕｌｌｉｔｅ（ｐ）复合材料并了ＳｉＣ（ｗ）表面涂层Ａｌ２Ｏ３厚度和ＳｉＣ（ｗ     

PP－g－AA的制备和表征

用熔融接枝方法制备了聚丙烯－ｇ－丙烯酸（ＰＰ－ｇ－ＡＡ）。用光电子能谱，广角Ｘ射线衍射，红外光谱和化学滴定方法对接枝物进行了定性和定量表征。讨论了单体和引发剂浓度对接枝率的影响，确定了用红外光谱法测定接枝物含量的经验公式     

CF/ABS树脂复合材料制备工艺对导电性能的影响及对屏蔽性能的理论预测

本文研究了使用溶剂法、密炼机和开炼机混炼碳纤维填充ABS树脂复合材料的导电性能,得到了纤维填充量与复合材料电阻率的关系,对其导电机理进行了分析.通过比较,发现纤维长径比是决定复合材料导电性能的重要因素,其它如纤维在基体中的分布也对复合材料导电性能有影响.最后对复合材料的屏蔽性能进行了理论计算.     

BEM 系列原油流动性改进剂的应用

对BEM系列原油流动性改进剂的基本原理以及在中洛、濮临、东临、东黄、鲁宁、魏荆等几条原油长输管道工业应用的现场测试情况进行了介绍。结果表明，BEM系列原油流动性改进剂在降低原油凝点和粘度方面性能良好，能满足管道安全，平稳运行的要求。     

面向表面微加工工艺的微器件设计框架的研究

本文以微器件设计为对象，对微硅表面制造驱动的微器件并行设计方法学及相应的计算机辅助设计工具的开发逻辑进行了研究，提出了采用基于三层Web-ASP集成框架实现e-CAD原型工具的编程方案，其中，并行任务流管理与控制，微器件实例及设计资源库，微加工工艺规划及仿真，微器件设计评价等是该系统实现的关键要素，在此基础上将建立网上微器件设计中心，并通过应用服务机制，实现对微器件设计工具使用的商务化，以达到降低设计成本，加快MEMS产业化之目的。