热作模具钢表面激光堆焊耐磨合金层的研究

本文主要通过在H13钢上用大功率CO_2激光束进行堆焊,阐述了激光堆焊工艺变化对堆焊组织和性能的影响,在本试验条件下,得到了高密度弥散金属化合物组织的激光堆焊层,平均硬度为HV800,与基体呈冶金结合,耐磨性比H13模具钢提高149%。     

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

国际上许多标准化组织都在对自动交换光网络的相关技术和标准规范进行研究。本文介绍了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.     

R&D activities on wireless systems in China

Various wireless systems and the research preceding their practical use in China are described. The topics discussed include research establishments, research and development projects underway, challenges inherent to digital radio, and expansion opportunities afforded by satellite communications