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.     

烧结工艺对液相合成（SrPb）TiO3基陶瓷热敏特性影响的研究

本文在液相合成（ＳｒＰｂ）ＴｉＯ３粉的基础上，研究了升温速率、保温时间、烧结温度及降温方式对（ＳｒＰｂ）ＴｉＯ３基陶瓷的Ｖ型ＰＴＣ热敏特性的影响。实验表明：升温速率对其热敏特性影响不大，保温时间和烧结温度的作用是一致的，具有一最佳范围。而降浊方式对材料的热敏特性影响较大。综合各因素的影响，本配方中，样品的烧结制度定为：以２００℃／ｈ的速率升温，在１２５０℃保温１ｈ，炉冷至９５０℃，保温０．５ｈ，再     

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.     

中国古典园林三维造型研究

论述了采用层次结构化及参数化三维造型方法，建立一个以造型函数库为核心，从而构造各类、各级园林景观构件表面模型的方法和过程。对于某些非建筑类的园林配景构件，采用了Ｆｒａｃｔａｌ方法进行造型。     

大系统分散鲁棒容错控制的进展及主要成果

综述了近２０年来关联大系统分散鲁棒容错控制的研究动态及取得的主要成果。说明了统一地研究分散鲁棒容错控制的必要性。在分散控制、鲁棒控制和容错控制研究领域内，分析了各种设计方法的主导思想及实质；指出了这些研究成果的意义与存在的问题。文中着重论述了分散、鲁棒、容错控制研究方法的发展途径。     

Modeling and CW operation of a quasi-three-level 946 nm Nd: YAG laser

A model is developed for an end-pumped quasi-three-level laser with population in the lower laser level at equilibrium such as for transitions to the manifolds⁴I9/2in Nd³⁺,⁴I15/2in Er³⁺,⁵I8in Ho³⁺and³H6in Tm³⁺. It is shown that the effect of residual lower laser level population on laser operation can be treated as a saturable loss. Room temperature operation on the⁴F3/2-⁴I9/2transition in Nd:YAG under CW dye laser pumping has been demonstrated with a threshold as low as 11.5 mW incident power and a slope efficiency of 7 percent with 0.3 percent output coupling. Performance is limited by the low output coupling and diffraction loss.     

地壳应力场和密度场资料在油气检测中的应用

依据卫星轨道摄动测量结果反演的地壳区域构造应力场和密度场资料，可圈定油气区域构造圈闭和储集油气的低密度层。计算绘制了闽江口扇形洲区域构造应力场和密度卫星遥感图，图上显示出东海近海闽浙中拗陷含油气带与温东丽水油气构造带相接，敖江口官岭与闽江口川石储岛沥青苗等迹象都在此范围内，在闽江口扇形洲东部沿海沙泥沉积区，邻区东海宽长带深厚海沙软泥沉积区及本区北部罗源湾，用大地电磁CSAMT检测到1000－3000m深度范围内的低阻率地层，与本区卫星遥感图图低密度场相符。     

Replacement of beef fat in Frankfurters by interesterified palm,cottonseed and olive oils

Three interesterified vegetable oils (IVOs) prepared from palm, cottonseed, and olive oil, respectively, have been studied for application to Frankfurters. Beef fat (10%) was replaced by one of the IVOs at 20, 60 or 100%. Fatty acid composition of the lipid fraction in the Frankfurters and saturated/unsaturated ratios were established for all batches. We found that total or partial replacement of beef fat by IVOs did not lead to significant changes in appearance, colour, texture, flavour or sensory score. We conclude that IVOs may be successfully applied as beef fat substitutes in Frankfurters.