射孔枪+内置式压力计托筒+水力泵新三联作试油(测试)工艺技术在大港油田研制与应用

该工艺技术是在原三联作(TCP+MFE+JET)基础上,根据大港油田勘探试油(测试)的需要,研制开发出的又一新技术,与原三联作相比,一趟管柱不但完成求产、测压、泵排工作,而且还能进行酸化等措施,提高了资料品质,减少了作业成本。经过6井次现场应用,全部达到了设计要求,取得了工艺、资料、成本、速度的较大进步,具有较高推广应用价值。     

丙烯醛制备1,3-丙二醇的中型试验研究

对丙烯醛水合、加氢制1，3-丙二醇工艺进行了中试研究，主要对小试技术的可靠性进行验证。结果表明，丙烯醛经水合、加氢制1，3-丙二醇的工艺技术可行，反应器、精馏塔等设备设计合理。中试丙烯醛水合单程转化率为45％～55％，3-羟基丙醛选择性达到了93％左右，3-羟基丙醛加氢收率接近100％，产品1，3-丙二醇的醛基质量分数降至5μg／g以下。与小试结果相比较，中试的水合选择性明显提高，加氢催化剂活性寿命延长。     

转炉溅渣护炉改质剂的开发研究

影响转炉溅渣护炉效果的关键因素是终渣成分的控制,采用改质剂对转炉终渣成分进行调整,降低渣中FeO含量和炉渣温度,提高MgO含量和炉渣熔点及粘度,有利于改善炉渣与炉衬的粘结效果,并提高溅渣层的耐蚀性能,缩短溅渣起孕时间,在一定程度上抑制炉渣中铁的氧化物与炉衬中石墨的反应.     

声光效应拉曼-内斯方程矩阵级数解法及声光调制器优化设计

提出一种求解正常声光相互作用拉曼 内斯 (Raman Nath)方程的矩阵级数解法 ,该解法直观方便且具有普遍性。计算结果表明 ,对Q =4 1π ,Bragg衍射的效率只有 97 5 % ;对非对称入射 ,以往的Raman Nath近似解误差较大 ;指出提高Bragg衍射效率的有效途径在于提高声光频率比并给出计算声光器件最优长度的计算公式。     

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.     

Hierarchical models for analysis and recognition of handwritten characters

Different hierarchical models in pattern analysis and recognition are proposed, based on occurrence probability of patterns. As an important application of recognizing handprinted characters, three typical kinds of hierarchical models such asM _89-89,M _89-36 andM _36-36 have been presented, accompanied by the computer algorithms for computing recognition rates of pattern parts. Moreover, a comparative study of their recognition rates has been conducted theoretically; and numerical experiments have been carried out to verify the analytical conclusions made. Various hierarchical models deliberated in this paper can provide users more or better choices of pattern models in practical application, and lead to a uniform computational scheme (or code). The recognition rates of parts can be improved remarkably by a suitable hierarchical model. For the modelM _89-36 in which case some of the Canadian standard handprinted characters have multiple occurrence probabilities, the total mean recognition rates of the given sample may reach 120% of that by the model proposed by Li et al., and 156% of that obtained from the subjective experiments reported by Suen.     

SUN工作站的EEPROM浅析

ＥＥＰＲＯＭ的参数设置控制着系统的基本功能，设置的改变对系统的起动和运行起着重要作用。本文详细地列出了ＥＥＰＲＯＭ的地址分配表，并通过上机实验对那些重要的地址了详细的说明。