哈得4联合站技术改造

位于塔克拉玛干大沙漠腹地的哈得4油田,2004年成为全国最大的沙漠油田,2005年产量达到200×104t。在对联合站存在问题逐一分析的基础上,提出了技术改造的措施。现场采集的运行数据表明技术改造效果明显,增强了流程可靠性,提高了自动化水平,降低了能耗。     

一种制氢预转化催化剂还原的新方法

对上海高桥分公司2×10~4m~3/h(标准状态)制氢装置原设计的预转化催化剂还原流程进行了改进。先跳开预转化反应器,利用转化炉制取氢气,再用自产的高纯氢气代替重整氢,对预转化催化剂进行单独升温还原,避免了催化剂在还原初期因发生甲烷化反应而超温失活的问题,使催化剂具有更好的活性和稳定性。     

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

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

Densification involved in the UV-based photosensitivity of silicaglasses and optical fibers

A comprehensive survey of photosensitivity in silica glasses and optical fiber is reviewed. Recent work on understanding the mechanisms contributing to germanium or aluminum doped fiber photosensitivity is discussed within the framework of photoelastic densification models     

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.     

空气压缩机实时监控系统

介绍一种以工业控制机为核心的空气压缩机实时监控系统。为防止电磁干扰，系统采取了有效的隔离保护措施。论述了系统结构、工作原理和硬软件配置。