回热损失对磁斯特林制冷循环制冷率的影响

从铁磁质的磁化强度一般表示式出发，探讨热阻和回热损失对磁斯特林制冷循环性能的影响，导出最大制冷率及其它性能参数。得到了结果适用于以顺磁质为工质的磁斯特林制冷循环。并指出在理想回热条件下的结论也适用于磁卡诺制冷循环。     

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.     

心电地图仪中工频干扰的一种滤除方法

在心电地图仪中记录到的体表心电信号往往由于电磁的影响而引进工频干扰．基于体表心电信号中工频干扰的特点，作者提出了一种滤除工频干扰的方法，即就单独—胸导联信号通过提高频谱的分辨率来估计工频干扰的频率；基于最小均方误差准则来估计各导联信号中工频干扰的幅度和相位。文中还给出了该算法的流程图和滤波性能分析。模拟结果表明了该算法的有效性。应用该算法对心电地图仪中的工频干扰进行对消，取得了满意的结果。     

用于提高国产氩离子激光器相干长度的相干扩展器

本文报导了最近研制成功的用于提高国产氩离子激光器相干长度的相干扩展器。利用这种基于F-P理论的相干扩展器可以使国产氩离子激光器的相干长度由不足5cm一下提高到m的量级,功率损耗在25%～40%之间,有着很好的应用前景。     

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

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