某铁矿隔水护顶矿柱厚度计算及安全影响预测

科学合理地确定矿山隔水护顶矿柱安全厚度是矿山安全生产的前提条件，为保障某铁矿地表民房、道路等建（构）筑物安全，防止矿山开采过程中产生的导水裂隙带贯通第四系含水层，采用荷载传递交汇线法、K.B.鲁别涅依他估算法和冒落带、导水裂隙带高度估算法3种理论分析方法对隔水护顶矿柱厚度进行计算，并利用数值模拟手段对留设隔水护顶矿柱后的开采过程安全影响进行了分析，对理论计算结果进行了验证。3种理论计算方法得出的隔水护顶矿柱厚度分别为14.3～17.3 m、17.5～31.4 m和41.8～57.4 m，推荐隔水护顶矿柱留设厚度为60 m。通过数值模拟分析得出，在留设60 m厚的隔水护顶矿柱的基础上，开采区域和隔水护顶矿柱位置产生的最大拉应力约0.47 MPa，矿山开采不会对隔水护顶矿柱造成破坏；地表产生的最大水平位移约5.8 cm，最大垂直位移约26.5 cm，最大倾斜为1.70 mm/m，最大曲率为0.20 mm/m2，最大水平变形值为0.70 mm/m，满足相关规范要求，预测矿山开采不会造成地表建（构）筑物破坏。     

一种零知识证明协议的安全分析与改进

论文指出了文献[1]中的零知识证明协议在公钥参数选取上的安全漏洞,并从求解离散对数的角度进行了分析证明。然后吸取了DSA数字签名算法中安全密钥选取高效简单的优点,提出了一种比Schnorr身份识别方案快1／3的简单、安全、高效的零知识证明身份识别方案。     

缺省理论的简化

缺省理论△=(D,W)中的缺省规则集D,是该理论的不确定因素.如果能去掉一些缺省规则而又不影响该理论的延伸,则就在一定程度上简化了该理论.本文证明了关于规范缺省理论的延伸的若干性质,利用这些性质,我们可以把某些规范缺省理论在一定条件下得以化简,有的甚至可以把它们化为一阶逻辑理论.     

油库防爆电气设备运行安全管理注意事项

分析了油库防爆电气设备运行中安全管理应注意的几个事项。     

一个安全有效的身份鉴别协议与对应的数字签名方案

本文利用二元一次不定方程和Schnorr身份鉴别协议，构造出一个新的身份鉴别协议，该协议在RSA问题和离散对数问题是难解的假设下是安全的，同时给出了所对应的数字签名方案。     

聚苯乙烯泡沫塑料板在三清干渠改建工程中的试验

高台县友联灌区三清干渠地处严寒地区，且渠道沿线地质条件较差，影响渠道衬砌改建质量的关键技术问题是防冻胀设计。由于三清干渠附近缺乏垫层料，采用垫层置换防冻胀投资高，且垫层质量难以控制。设计人员根据有关规范要求．结合渠线地质条件．采用聚苯乙烯泡沫塑料保温板进行防冻胀试验，较好地解决了冻胀问题。     

济钢小板坯连铸机φ360mm拉辊优化改造

为解决小板坯连铸机φ360mm拉辊断颈、断辊问题，对拉辊原设计及现场使用条件进行了分析，将材质由55^#锻钢改为35CrNiMo，辊身与辊颈处改为圆锥台式，同时加大辊颈处过渡圆弧并磨削处理，延长水冷孔通过辊颈圆弧，从而使拉辊寿命由3～4个月延长到10～12个月，减少了事故损失，加快了生产节奏，年直接经济效益达49万元。     

电子应用产品的防电击试验浅析

本文依据国家有关标准对电子应用产品的防电击试验进行了简介和分析，指出了试验中应注意的问题。     

抗弹陶瓷的犁削机理和自锐作用研究

研制了铬刚玉抗弹陶瓷，其抗弹能力比标准均质钢有很大的提高，通过分析讨论，其主要抗弹机制为犁削机理和自锐作用。     

固井设备发动机防爆系统研究

针对目前固井设备不具备防爆功能的问题, 烟台杰瑞石油装备技术有限公司研制了JCMS210固井混浆橇中Detroit8V—71N发动机防爆气控系统。在对柴油发动机的引燃源进行分析后, 阐述了防爆气控系统设计方案, 给出气控系统工作原理图。室内试验和中海油田服务股份有限公司的现场使用证明, 这种防爆气控系统性能良好, 工作可靠, 能满足ZONE2的防爆要求, 解决了固井设备的防爆问题。