TBM掘进隧洞回填固结灌浆施工的探讨

豆砾石回填灌浆和固结灌浆在引黄工程南干线长达90kmTBM施工中得到成功的应用。文中介绍了引黄工程南干线4^#-7^#隧洞豆砾石回填灌浆、特殊地质洞段的固结灌浆的灌浆设备、材料、浆液配比、压力、工艺等诸方面的现场施工情况。     

自动交换光网络的标准化现状

国际上许多标准化组织都在对自动交换光网络的相关技术和标准规范进行研究。本文介绍了ITU－T、IETF和OIF等几个主要的标准化组织在自动交换光网络标准方面的进展情况。     

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.     

大型现浇钢筋混凝土U型渡槽施工技术

禹门口提水工程干渠上的十几座大型钢筋混凝土渡槽采用现浇混凝土施工方案。经过十几座渡槽的施工及通水检验，证明现浇施工技术与工艺已经成熟。本文就施工中遇到的高大排架外形与垂直度控制、槽身模板制做与固定、模具的空中支撑、运输与入仓办法等做以简单介绍。     

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.     

水溶性油墨用富马酸改性松香树脂的研制

介绍了一种水溶性富马酸改性松香树脂的制备方法 ,选取了较佳的工艺条件 ,本产品经国内几家油墨厂使用 ,结果表明适合水溶性油墨的应用要求