不同注F剂量与CMOS运放电路辐照损伤的相关性

在不同注F剂量条件下,对P沟和N沟两种不同差分对输入CMOS运放电路的电离辐照响应进行了研究.分析比较了注F和未注F运放电路电离辐照响应之间的差异.结果表明,在栅场介质注入适量的F,可有效抑制辐照感生的氧化物电荷尤其是界面态的增长,从而提高CMOS运放电路的抗辐照特性.     

钻井参数仪的模块化设计方法研究

文章以模块化设计原理为基础，讨论了钻井参数仪的模块划分，模块化设计准则和主要设计内容。采用模块化设计方法、现场设备网络的开放网络和现场总线解决方案设计的钻井参数仪，具有传输信号稳定、可靠性高、抑制噪声能力强、组建现场网络成本低等特点。     

浅海污水处理及回注工艺技术应用研究

详细介绍了已应用于埕岛油田中心一号平台的原油污水处理回注工艺流程,及采用的新技术。应用实践表明该技术适用于海洋油田综合型平台。     

多孔板体结构足尺性能分析及材料基本要求

本文就利用诸如蛋白石这样的疏松多孔矿料同灰土构成的混合料，在路面结构中表现出的独特有效的抗冻作用机理作了深入分析，并结合足尺试验数据加以验证。阐述了所谓多孔板体结构的概念、机制和材料组成要求。     

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.