高水固结尾砂充填采矿充填体合理配比的研究

高水固结尾砂充填采矿是一种新型充填采矿法。试验测定了高水固结尾矿充填体的强度和变形特征；研究分析了影响充填体强度的主要因素、高水充填工艺的特殊要求，以及上向，下向进路开采对充填体强度和稳定性的要求，提出了满足支护强度，工艺及经济需求的充填材料的合理配比范围。     

固液相变蓄能的数学模型和自然对流换热系数的实验研究

引入自然对流换热系数 ,将固液蓄能数学模型简化为仅用能量方程加以描述。并通过实验测得相变过程的实际温度场 ,证明了自然对流固液相变换热的影响不可忽略 ,验证了固液相变界面移动速率随自然对流换热系数的增大而增大的定性关系     

Structure and Magnetic Properties of LaCo_(13-X)M_X Intermetallic Compounds

ＳｔｒｕｃｔｕｒｅａｎｄＭａｇｎｅｔｉｃＰｒｏｐｅｒｔｉｅｓｏｆＬａＣｏ＿（１３－Ｘ）Ｍ＿ＸＩｎｔｅｒｍｅｔａｌｌｉｃＣｏｍｐｏｕｎｄｓＷＵＪｉａｎＭｉｎ；ＬＩＦｅｎｇ；ＴＡＩＬｉＣｈｉａｎｄＺＨＥＭＧＱｕｎＳｔｒｕｃｔｕｒｅａｎｄＭａｇｎｅｔｉｃＰ...     

IPA模型对Hopfield模型神经网络的改进

考虑Ｈｏｐｆｉｅｌｄ模型中假态之间的布尔逻辑关系，提出利用ＩＰＡ模型对神经网络中的假态进行抑制，并和原网络的性能进行了比较，结果表明：改进后的网络性能比Ｈｏｐｆｉｅｌｄ模型和ＩＰＡ模型均有较大提高。     

影响磁式TIMS测量准确度的主要因素

测量准确度是热电离质谱 ( TIMS)的重要指标 ,对于使用年限较长的 TIMS,造成准确度下降的因素很多 ,分析判断更复杂。为了准确、系统地了解其中的主要原因 ,本文从 TIMS的基本工作原理出发 ,对影响测量准确度的主要因素 ,如离子束的角分散、能量分散、电磁场稳定性、多接收器的形变和位移、电子倍增器的衰老和放大器增益的差异等及相应的解决办法作了较深入的探讨     

4-氰基苯甲酸酐的合成

以偏苯三甲酸酐和氯化亚砜为原料 ,其摩尔比为 1:1 2 ,在回流状态下首先合成中间体 4 -氯甲酰基苯甲酸酐Ⅱ ,产率可达 98%。Ⅱ经过胺化、减压脱水制得 4 -氰基苯甲酸酐 ,其沸点为 175～ 180 C/ 0 2 6KPa ,各反应物摩尔比为n (Ⅱ ) :n (NH3 ) :n (P2 O5) =1 0 :4 7:2 1。通过红外分析、1H -NMR分析及元素分析证明 ,所得到的化合物即为目标物。     

Evaluation of influence of external magnetic disturbance on superconducting magnet taking conservation of linkage flux into account

External magnetic disturbance influences the quality of the image obtained with a magnetic resonance imaging (MRI) system because it causes magnetic resonance frequency drift. When a superconducting magnet in persistent current mode operation is exposed to external magnetic disturbance coil current varies to keep linkage flux constant. Conventional analysis is usually formulated with constant current and does not provide correct evaluation of drift of magnetic field in the magnet. This paper proposes a method of numerical analysis of magnetic field considering conservation of linkage flux in a superconducting magnet under a persistent current mode operation. This method is applied to evaluate drift of the magnetic field in a superconducting magnet for magnetic resonance imaging due to external magnetic disturbance. Analysis results show good agreement with the experimental results.     

On the monotonicity of (LDL) logic programs with set

LDL is one of the recently proposed logical query languages, which incorporate set, for data and knowledge base systems. Since LDL programs can simulate negation, they are not monotonic in general. On the other hand, there are monotonic LDL programs. This paper addresses the natural question of “When are the generally nonmonotonic LDL programs monotonic?” and investigates related topics such as useful applications for monotonicity. We discuss four kinds of monotonicity, and examine two of them in depth. The first of the two, called “ω-monotonicity”, is shown to be undecidable even when limited to single-stratum programs. The second, called “uniform monotonicity”, is shown to implyω-monotonicity. We characterize the uniform monotonicity of a program (i) by a relationship between its Bancilhon-Khoshafian semantics and its LDL semantics, and (ii) with a useful property called subset completion independence. Characterization (ii) implies that uniformly monotonie programs can be evaluated more efficiently by discarding dominated facts. Finally, we provide some necessary and/or sufficient, syntactic conditions for uniform monotonicity. The conditions pinpoint (a) enumerated set terms, (b) negations of membership and inclusion, and (c) sharing of set terms as the main source for nonuniform monotonicity.     

三峡永久船闸结构缝渗漏处理技术

在三峡永久船闸结构缝处理过程中，认真分析了结构缝渗漏的原因，通过止水检查槽进行压水检查，确定了渗漏部位。结合渗漏具体情况，采取了结构缝表面嵌填止水材料和廊道周边止水检查槽灌浆相结合的处理方法。在实施过程中，采用了多种新材料和新工艺，取得了良好的效果。     

网络化永久性油气藏远程动态实时监测系统设计

本文设计了一种应用于油气藏永久性实时动态监测系统。该系统用光纤Bragg光栅(FBG)传感器作为井下永久性传感器,测量目的层的温度、压力等参数的模拟信号;在井口建立数据采集处理系统,将模拟信号解调成数字信号;通过GPRS无线移动通信网络传输到监测中心的数据库服务器上,并以Web形式发布到Internet网络上,同时提供移动用户浏览接口,且当数据异常时可以发送报警短消息。该系统实现了油气藏的远程实时动态监测,可以为油藏管理人员和技术人员及时、准确地做出决策提供可靠依据。