试论矿井安全救援与通风

文章从风流控制的目的、方法及具体操作步骤等几个角度进行了论述,说明通风在矿井安全救援中具有重要作用。     

四维时空中场方程表述形式的推导方法

场方程的推导在量子场论中占有很重要的地位。鉴于在大多数理论物理教程中都是仅仅给出场方程的形式,而鲜有得出场方程的具体推导过程。从物质场的作用量S(其中拉格朗日函数具有对称性)和四维平直时空、四维弯曲时空的度规出发,应用变分原理及数学知识,分别给出了四维平直时空和四维弯曲时空中物质场场方程的具体推导过程,供广大理论物理学习者和爱好者参考。     

高校图书馆占座问题的动态博弈分析

通过建立自习读者之间的静态博弈模型,分析了图书馆占座现象产生的原因;通过建立图书馆与读者之间的动态博弈模型,分析了在图书馆占座现象管理中图书馆与读者的行为选择,对图书馆占座现象的管理提出了一些建议。     

煤层气井快速钻进和气层保护技术

空气钻进和无固相植物胶钻井液适合煤层气钻进。空气钻进速度快,对煤层和环境无污染。无固相植物胶钻井液可生物降解,交联剂可交联堵漏。空气钻井复杂情况的判断与处理具有针对性。     

并联机床虚拟样机建模与加工过程动力学仿真

为了实现并联机床性能的真实预测,确保加工过程的安全性,提出了基于Adams的并联机床加工过程的动力学仿真方法。在包括螺旋副在内的仿真模型的各个运动关节加载了摩擦力,实现了仿真模型与实际机床的高度仿真;根据NC文件和切削参数,建立并联机床加工过程的切削力模型和运动控制模型,实现了机床加工零件全过程的动力学仿真。对5-UPS/PRPU并联机床的加工过程进行了仿真分析,仿真结果准确的预测了实际加工中可能出现的问题。该方法简单、准确、可靠、实用性强。     

4045铝合金热变形行为及其加工图

采用Gleeble-3500热模拟试验机对4045铝合金在变形速率为0.01~10 s-1，变形温度为300~450 ℃条件下进行等温热压缩实验，研究了该合金的热变形行为及其热加工特性.结果表明：4045铝合金热变形过程的流变行为可用双曲正弦模型来描述，其平均激活能为189.93 kJ/mol.基于动态材料模型(DMM)获得了4045铝合金的热加工图，并结合热加工图和金相显微组织分析得到了该合金在实验参数范围内较优的热加工工艺参数范围：加工温度为380~450℃，变形速率为0.1~0.3 s-1.     

延安大学校园植物叶片镉污染的现状分析

以延安大学校园为调查和采样区域,进行植物小刺柏叶片镉污染状况的研究。引入单项污染指数法,评价植物镉污染状况,以此指示延安大学校园的大气环境质量。结果表明,延安大学校园植物叶片的镉含量均高于清洁对照区,但未出现严重镉污染状况;主要交通枢纽、车辆停靠区域属于中度污染;延安大学校园大气环境中无严重镉污染。     

柔性飞艇主气囊干湿模态分析与影响因素

为了掌握柔性飞艇无约束状态下的模态特性,以25m平流层验证飞艇为基本分析对象,对其自振特性进行研究.根据充气膜结构的力学特点,基于柔性飞艇主气囊初始形状,通过充气压力静力非线性分析得到充气平衡形态位形和应力,利用兰索斯法进行模态数值分析.分析表明,影响柔性飞艇模态特性的主要因素为:壳单元与膜单元模型、拼接缝、不均匀质量分布、内外压差、尺寸、飞艇周围空气附加质量,且最后三者为重要影响因素;壳单元和膜单元模型频率相近且振型一致.对柔性平流层飞艇结构设计具有参考价值.     

重液化地基强夯与碎石挤密桩处理方案的优选

着重介绍了采用强夯和碎石挤密桩的办法进行重液化地基处理的施工工艺、处理结果,并从工程造价、工期、设计要求等方面对两种方案进行了优选。     

On the Equivalent Keys in Multivariate Cryptosystems

The number of equivalent keys in multivariate cryptosystem is closely related to the scheme security. This study analyzes the structure of the private key space in some multivariate schemes.The result gives the lower bounds on the number of equivalent keys of some variants of the hidden field equation (HFE) scheme including plus, minus-plus, embedding, and internal perturbation. This method estimates the number of invertible transformations which maintain the form of the central map invariant. Furthermore,a formal proof shows that the two modifications of fixing and embedding are equivalent in security analyses of multivariate schemes. Also this paper corrects previous proofs in Wolf’s work on the number of equivalent keys in HFEv,the unbalanced oil and vinegar (UOV) scheme, and the stepwise triangular systems (STS).