不同注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.     

以网格曲线为连续条件的光滑曲面

本文提出一种以网格边界曲线定义曲面的方法。曲面的计算式唯一地由网格的四条边界线的参数而定，各网格间连接的光滑度完全由网格间的边界线的光滑度来决定。当网格间的边界线具有Ｃ~１连续以上的光滑度时，网络曲面间将自动保证是Ｃ~１连续的，否则将是Ｃ~０连续。利用这个方法，可以方便地从线框模型（ｗｉｒｅ－ｆｒａｍｅｍｏｄｅｌ）建立面模型（ｓｕｒｆａｃｅｍｏｄｅｌ）。     

The Solutions for Adjustment and Reconstruction of Water-Drive Surface Systems in the Old Areas of Daqing Oilfield

Introduction 　　Owing to long-time running, more facilities including stations, pipelines, vessels have become corrosive and aged ,some process has grown old, it has exert more burden for the maintenance and repair.Simultaneously, the fluid production rate, oil production rate and water injection rate has changed greatly so that the inflicts and problems from the established surface systems will become more obvious. Energy cost of production and running has increasing continuously. Capacity has been unbalance in systems and areas. 　　……     

在协议集成测试系统上开展路由协议测试

在分析路由协议的特性及其测试需求的基础上，提出利用窗口黑盒来描述被测协议，利用多通道测试方法扩展对被测实现的控制和观察，通过扩充参考实现增强系统的测试能力。将这些理论，技术应用于系统中，对路由协议开展了有效的测试活动，为国产高性能路由器的开发提供了有力的支持，也进一步增强了PITS系统的功能和适用性。