有机化合物中碳原子化学环境的分类

进行碳－１３ＮＭＲ波谱模拟的一种常用方法为线性回归，其数学模型则由已知结构所测得的化学位来建立。显然，每一数学模型仅可用于某种相似的化学环境。因此，为了进行化学环境的分类，本文提出权重层次位图法和分子连接性指数法两种方法以进行一些参数的计算，同时采用多元分析手段，如主成分分析和聚类分析，以进行多维空间数据点的显示，所得结果比较满意，从而可为碳－１３波谱模拟中回归方程的选择提供理论依据。     

微机监控技术 一

本文系统地讲述了以微型计算机为中心的微机监控系统的工作原理、系统组成和应用方面的有关技术。分为监控系统的功能和结构、硬件系统和软件系统三个部分。本文为第一部分。     

Error in the UNITY substitution rule for subscripted operators

UNITY, introduced by Chandy and Misra [ChM88], is a programming logic intended to reason about temporal properties of distributed programs. Despite the fact that UNITY does not have the full power of, for example, linear temporal logic, it enjoys popularity due to its simplicity.There was however a serious problem with the Substitution Rule. The logic is incomplete without the rule, and with the rule it is inconsistent.     

A formal description of open distributed processing (ODP) trading based on guidelines for the definition of managed objects (GDMO)

New requirements of growing computer networks and information systems have an influence on extended client/server models with increased functionality. This forms the basis for service management in distributed systems which is realized by a service trading concept. This paper studies the requirements derived from the Open Distributed Processing (ODP) Reference Model in order to consider an open service market. Furthermore, it examines management possibilities for describing the service trading scenario. Because of similar architectures and properties ODP services, service offers, types, exporters and traders are mapped onto management components and modeled as managed objects. Therefore, the Guidelines for the Definition of Managed Objects (GDMO) are used. The final concept allows a precise and unambiguous study of the service trading scenario and provides means for exporting and importing of service offers in a distributed environment.     

核电材料在模拟反应堆环境中应力腐蚀破裂测试技术与性能评价

简要介绍了采用慢应变速率试验，Ｕ型弯曲和Ｃ形环试验等技术，分别对８００合金，３０４和３１６及３１６Ｔｉ不锈钢Ａ５３３Ｂ压力容器用多在模拟核反应堆环境中的应力腐蚀破裂敏感性性进行的试验研究的一些主要结果；并结合电化学测试和表面膜俄歇电子能谱分析结果进行了讨论。     

Stabilization of uncertain boundary control systems

We consider a class of linear infinite-dimensional systems subject to boundary uncertainties, which are linear and time-invariant. Using a deterministic approach to the design of stabilizing feedback controls, uniform exponential stability of the zero state is achieved. Lyapunov techniques are combined with Datko or Ichikawa theory. Three illustrative examples are presented.     

环境友好阻燃环氧树脂覆铜板研究进展

论述了环境友好阻燃环氧树脂覆铜板研究开发的意义。提出通过开发并使用含氮、磷或硅的非卤阻燃型环氧树脂,含磷、氮或磷-氮的功能性阻燃固化剂和在体系中添加有机磷阻燃剂、氢氧化铝等无机阻燃剂等途径来开发环境友好阻燃环氧树脂覆铜板。并对我国在今后该领域的研究作了展望。     

南水北调西线工程水环境影响分析

南水北调西线工程调水后，引水坝址下游局部河段水量明显减少，但影响范围和程度十分有限。随着两岸环保力度的加大，排污量的减少，径流量减少对局部江段水质的不利影响，可得到控制。预估调水后下游水质不会发生类别变化。     

中国城市水利面临的严峻形势

我国许多城市的发展特点是城市水利的发展现状令人堪忧，本文从城市人口、水资源、防洪、水环境、管理体制等方面分析了我国城市水利面临的严峻形势，并就水资源、城市防洪标准等方面提出了相应的对策。