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.     

Analytical formulae for calculating stresses in unidirectional/cross-ply unbalanced laminates

A multilayer theory has been developed for unidirectional/cross-ply unbalanced laminates subjected to surface shear tractions, using the assumption of plane strain. The analytical solution for the stress field in the laminate is obtained and it is shown that the stresses in each layer are in good agreement with the results of a three-dimensional finite element analysis. Approximate formulae for the analytical stresses are also derived for a laminate subjected to an offset distributed force at one end. The accuracy of this solution is shown by comparison with a three-dimensional finite element analysis.     

聚合物载体－稀土金属络合物的研究 ⅩⅢ．聚［苯乙烯－甲基丙烯酸β（甲基亚硫酰基）乙酯］的结构与其稀土金属络合物催化丁二烯聚合的活性

从测得的竞聚率计算了单体链节在聚［苯乙烯－甲基丙烯酸β（甲基亚硫酰基）乙酯］（ＰＳＭ）中的序列分布。苯乙烯（Ｓ）或甲基丙烯酸β（甲基亚硫酰基）乙酯（Ｍ）的长序列的概率随着ＰＳＭ中相应单体含量的增加而增加。对于Ｓ和Ｍ摩尔分数大致相等的ＰＳＭ，单体链节的长序列分布函数值相接近。用与此结构相近的ＰＳＭ合成的稀土金属络合物，其催化活性不佳。在Ｍ短序列分布和Ｓ长序列分布较高的情况下，络合物的催化活性最好。所得聚丁二烯的微观结构与ＰＳＭ中单体单元的分布无关。     

CMF300M355NU型质量流量计在油库汽车装车中的应用

介绍了质量流量计的工作原理有应用效果。这种新型质量流量计精度高，稳定性好，示值计量简便，可直接显示质量、流量、介质温度、密度等，维护量低，但必须正确安装、使用，才能发挥其应有的作用。