测定地下水流向的多计数管探头的研制

多计数管流向探头;;单孔;;总流向;;局部流向;;滤水管 掌握地下水的流动方向,有助于研究地下水的运动规律。利用放射性单孔法可以测定地下水流某一点流动方向。 应用放射性指示剂在单孔中测定地下水流向的方法由奥地利的梅尔霍费于1963年首先提出,1964年波兰的鲍劳斯齐克等把这种方法用于现场测量。放射性单孔流向测量方法有若干种,其原理基本相同,仅测量装置结构有区别,早期有单管旋转式探头。我们从1983年7月     

中山包水电站钢岔管设计

中山包水电站钢岔管在天生桥二级水电站 6号压力钢管下平段分岔 ,岔管HD值达 15 40m2 ,结构体形复杂 ,采用NK HITEN780A Z35和NK HITEN6 90B高强度钢材制造安装 ,在国内水电工程中实际应用较少。文章着重介绍岔管的布置、结构分析和焊缝的无损检验要求。中山包水电站的正常发电运行 ,为 80kg/mm2 级高强钢在国内水电行业的应用提供了第 3个成功实例     

利用大流量液压支架控制顶板事故的发生

通过对工作面端面冒顶原因及支护系统的分析得出，加大液压支架的流量可以加快移架速度，降低冒顶事故率，提高生产效率。     

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

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

应用底饲回燃循环流化床技术改造东锅DG35/3.82-7型流化床锅炉

采用飞灰循环底饲回燃技术改造西南合成制药总厂热电分厂、天府矿务局磨心坡发电厂2台东方DG35/3.82-7型低倍率循环流化床锅炉。改造后运行结果表明,锅炉可长期、稳定运行,尾部飞灰可燃物含量大幅度降低,锅炉蒸发量提高20％左右,节煤效果明显。为燃用贫煤、无烟煤和煤矸石等劣质燃料且锅炉炉膛高度较低的电站技改,提供了一种切实可行的方法。     

重型车床专用喷吸钻的设计

主要介绍了喷吸钻装置的工作原理、结构设计和使用特点,并对其运行的可靠性作简要分析.此喷吸钻的设计目的主要是为了解决大型轴类(轧辊类)工件的深孔加工问题,提高实际生产中的深孔加工效率.     

南洋河水库粘土心墙风化料坝设计与施工控制

结合南洋河水库大坝为粘土心墙风化料坝坝址的自然地形条件，心墙土料不均匀、坝壳料渗透性差的特点，从坝体剖面结构设计、各坝料设计、质量控制标准及基础处理等方面作了分析介绍，以期对类似条件的工程有所借鉴。     

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

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

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分析及元素分析证明 ,所得到的化合物即为目标物。     

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.