一种实现公开密钥密码体制的新方法

本文介绍一种新的实现方法,这种方法利用Y=A~x(mod p)作为单向函数,报文识别也很容易实现。     

威斯特发伦矿业研究公司陀螺仪使用二千次的回顾及精度分析

采用陀螺仪可完成井下多边形定向和方向加测。论文介绍了陀螺仪发展过程并分析了新仪器的精度。     

利用短波吸收法的油中含水监测器

Agar油中含水率监测器与介面探测器,利用水和油对吸收无线电短波、消耗电能的差别,能测出0～100％的含水率,是一种新型有效的含水率测定仪,适用于监测、计量高含水原油和低含水原油。含水率80％以下时,温度对仪器的影响可忽略不计;含水率40％以下时,含盐量影响可忽略不计。     

高岭土的浮选

高岭石的分离自40年代起,从洗矿槽发展成水力旋流器和浮选。小于5μm粒级物料选择性降低是由于吸附在矿物表面上捕收剂的量对分选效果的影响很小。粒度大于5μm时,借助Krupp-Polysius的带有特殊定片的盘式搅拌器改善了选择性。带喷射扇风机的充气浮选槽得到同样的结果,但是,值得注意的是这种槽型结构较为简单。     

Horn子句谓词逻辑作为归约语言及其语义学

本文为谓词逻辑的 Horn 子句语言塑造了一种归约语言,构作了它的语义学。此语义学是相当简洁的,它能满足严格数学处理所要求的公理基础的简明性,并使逻辑程序设计语言纳入正式函数程序设计的体系结构的轨道而作好理论准备。大体说来,归约语言的((CE,C,μ),(A,K),ρ)部分相当于通常所说的语法和指称语义学(由于这里的函数均为单类型的,指称语义学就要简单得多);(E′,C′,τ)部分,则相当于通常的操作语义学。     

英古里拱坝安全的设计保障及原型观测

英古里拱坝的可靠性及安全运行在设计、施工、临时运行所有阶段都是头等关注的问题。 为了确保建筑物的可靠性进行了大规模的勘测、科研、生产试验等综合性工作,以研究坝址的自然条件,并在此基础上研制了详细的工区自然因素和技术因素结合模型。下面列出主要勘测工作量。     

长壁工作面采煤机的故障诊断用专家系统

<正> 目前的主要问题是,在煤炭生产过程中所用的长壁工作面采煤机停机时间很长。解决这一问题的方法很多,但是最重要的方法之一是采用专家系统,该系统能缩短诊断和修理时间。椐英国煤管局1982年估计,采煤机的     

溶解气体浮选法(DAF)在矿业和矿物加工中的潜在应用

在矿物加工及水处理和水再利用中使用的常规浮选法和非常规浮选法目前在矿业中也得到迅速推广应用.应用微气泡(30～100 μm)的常规浮选法可以用来浮选回收细矿物颗粒(＜30 μm).应用这些微气泡也可以对固液进行分离,以除去水中的污染物.联合应用小气泡和大气泡的浮选机可以改进分选指标,特别是分离超细颗粒(＜5 μm).随着气泡尺寸的减小(通过喷射产生小的气泡),气泡表面积通流增大,捕俘的细颗粒增多.应用微气泡的DAF(溶解气体浮选)法多年来已经在水、废水和市政污水处理中得到了应用,现在逐步应用到矿山环境工程领域中.这个方法在很多情况下优于沉淀法、过滤法和应用天然或人造吸附剂的吸附法.该法的目的是除去油滴(乳浊状的和非乳浊状的)、离子(重金属离子或阴离子)和水处理中形成的沉淀.该法的优点是处理过的水质量高、启动快、处理能力大、得到的泥浆浓度高.用DAF法还可以用于处理矿山卡车冲洗水、矿山酸性排水和固液分离水.本文评述了DAF法在回收细粒矿物和除去矿山废水中的污染物方面的新应用.重点叙述了DAF设备的设计特点.     

建立稳定海岸系统 控制海岸冲刷

一、前言近年来,随着河川流域的开发和沿岸土地的利用,海岸冲刷已成为众所周知的重大课题。对自然环境的保护问题,已引起各方面的高度重视。作为海岸防护的对策,很早就开始建造大量的护岸工程,如丁坝及离岸堤等各种海岸建筑物。尽管建筑经费在逐年增长,但就现状来看,各种建筑物尚未充分发挥作用。很久以前,地貌学家们研究了地貌的特性,他们发现:沙质海岸与入射波向线垂直的海岸,称为稳定海岸,并把它命名为“之”形海湾或“勾”状海湾。尤其是本文