铼

铼是最稀少的非放射性元素之一,尚未发现有原生铼矿床存在。在北美洲、南美洲和小亚细亚的铜/钼斑岩矿床中存有大量的铼。其次,在非洲铜带和苏联的沉积铜矿床中也发现有铼。     

合成孔径雷达用于雪和冰川调查的可能性和局限性

概述了解释冰雪微波测量的物理背景。根据在瑞士阿尔卑斯山的测量结果，说
明了各类雪的后向散舒的角特性和光谱特性。讨论了与雪和冰川调查有关的SAR图
象的信息量，并举例说明了海军卫星SAR和机载SAR图象。初步给出了用于雪和
冰川监测的最佳SAR系统的技术参数。SAR的主要优越性是无天气依赖性，所以，
SAR资料对调查冰雪的物理状态特别有意义。令后，SAR遥感器在雪和冰川监测
系统中将成为重要的组成部分。但为了满足各类任务的需求，仍需要高分辫率的光
学遥感器和改进后的被动微波遥感器。     

A Structured Temporal Logic Language:XYZ/SE

In order to enhance the readability and to simplify the verification of temporal logic programs in the XYZ system,we propose a structured temporal logic language called XYZ/SE,based on XYZ/BE which is the basis language of the XYZ system.A set of proof rules are given and proved to be sound and adequate for proving the partial correctness of XYZ/SE programs in a compositional way.Moreover,we show that every XYZ/BE program can be transformed into an equivalent XYZ/SE program.So we have developed a general conpositional verification method in the XYZ system concerning the sequential case.     

看图说事儿——认清假货真面目

您见过的假货都是什么样子的？您了解假货的主要伪装手段么？假货众多，无奇不有，让我们仔细欣赏一下各类假货的“英姿”吧！[编者按]     

铬钢用喷吹碳化钙法脱磷

<正> 前言在最近十年里,对钢的洁净度,特别是磷的要求愈来愈高。磷对钢性能的有害影响是众所周知的,并且下了很大功夫致力于炼铁及炼钢过程中的脱磷。在一般的炼钢过程中,通常在氧化期进行铁和低合金钢的脱磷,目前还对高炉铁水进     

亚微米MOS场效应管的完全解析二维模型

本文对二维非线性泊松方程这一基本问题进行了求解.采用一个微分算符将泊松方程分解成自由载流子部份和掺杂分布部份.自由载流子部份正是著名的刘维方程,具有解析解。掺杂分布部份采用“相似变换”的方法予以求解.将包含自由载流子影响的完全的二维电势分布用于亚微米MOS场效应管,得到了阈值电压的解析模型.它能很好地说明短沟道效应.本解析模型的特点是其完整性及简单性.它能很方便地用于器件模拟,也能推广到三维情况.     

论东西伯利亚油气无机生成的可能性

目前，世界上仍根据油气有机生成说（沉积-运移）对油气进行预测和勘探。但近年来出现了越来越多的热力学、地球化学、地球物理学和地质学资料证实，可能存在着地幔生成的烃类（B．C．祖布科夫，2000）。这些具有定量特征的资料确保了油气有机成因说的科学性。本文并不涉及油气成因2种基本学说的争论，而是以东西伯利亚（西伯利亚地台的涅普斯克-鲍图奥宾台背斜及其周围不同年代的大陆裂谷）为例，分析油气无机成因的标志并关注改变该地区油气资源勘探战略的合理性。     

"即连即铸"的奥钢联连铸技术

1前言 生产率和作业率方面的收益以及可能性调整的灵活性是提高钢铁工业竞争力的关键因素.     

无因次裂缝导流能力∶极佳输入值得到极佳的油井产能

无因次裂缝导流能力是油井增产作业中一个主要的设计参数 ,它是裂缝传输流体至井眼的裂缝传导能力与地层输送流体至裂缝的传导能力的比较。它在压裂设计上的应用追溯到 5 0年代水力压裂技术的最早时期。尽管在数值模拟方面有所进展 ,但也许因为在目前这样一种重要理论中它的相对简单性 ,因此连续使用 4 0年之后它仍是一个主要的设计参数。然而 ,作为任意设计参数 ,它的值与测定中使用的数据一样有价值。近年来文献中的测试报道和 70年代初期其他研究表明 ,多数工程师使用的裂缝导流能力的数据源对裂缝的有效渗透率估计过高 ,竟高出一个数量级。这一结果导致当今的水力压裂增产处理在生产能力方面受到限制 ,并且与油藏的潜在供油能力不相匹配。因此 ,了解该试验参数 ,使当今的工程师们可以测出输入数据 ,以便更精确地计算出无因次裂缝导流能力值 ,从而提高油井产能