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

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

平巷掘进工作面圆形掏槽法

通过对平巷掘进的炮眼排列和雷管起爆段数及顺序的优化组合 ,起爆机理的分析总结 ,得出了一种新的、高效的掏槽方式———圆形掏槽     

酒泉盆地青西油田快速钻井技术

酒泉盆地青西地区油层储藏深 ,地层可钻性差 ,钻井过程中存在机械钻速低、井斜不易控制、刺断钻具频繁等问题。为此 ,在近年的钻井实践中 ,采取了优化钻具组合、优选钻头、应用 PDC钻头、强化钻具管理等措施 ,使该区块的钻井速度不断提高 ,钻井周期缩短 ,钻头用量减少 ,从而形成了一套适合该区块的快速钻井技术。     

吐哈油田钻井液技术发展综述

以钻井液体系应用的广泛性为标准 ,将吐哈油田钻井液技术发展分为四个阶段 ,即聚合物和新三磺钻井液阶段、两性离子聚合物和聚磺钻井液阶段、聚磺和正电胶钻井液阶段、低钾聚合物和聚磺钻井液阶段。详细介绍了每一阶段钻井液技术的核心及发展情况。     

葡北地区快速钻井技术

介绍了葡北地区地质构造及分层特征 ,分析了钻井难点 ,并给出了详细对策 ,从钻具组合、钻头优选、钻进参数优选、钻井液体系及安全技术措施等方面详细介绍了该区快速钻井技术。在葡北 4 - 11井和葡北 6- 1井的应用表明 ,该快速钻井技术能显著提高钻速 ,钻井周期明显缩短     

乳化炸药混装车水孔爆破的优越性

该文分析了应用袋装炸药装填水孔爆破产生拒爆、"冲天炮"、根底偏高和爆破效果差等问题,然而应用乳化炸药混装车装填水孔可以解决这些问题,并且爆破后具有根底平整、大块率低、毒气少和综合效益高等优点.以三峡永久船闸旁侧泄水箱涵工程和江苏田湾核电站工程为例进行了分析.     

发动机连杆螺纹孔加工质量的改进

对发动机连杆螺纹孔在攻丝过程中出现烂牙、粗糙度差等加工质量问题进行了分析，提出了解决问题的方法，使连杆的合格率行到显著的提高。     

Lyapunov‐stable discrete‐time model reference adaptive control

Discrete‐time model reference adaptive control (MRAC) is considered with both least squares and projection algorithm parameter identification. For both cases complete Lyapunov proofs are given for stability and convergence. The results extend the approach of Johansson (Int. J. Control 1989; 50 (3):859–869) to include Lyapunov stability for MRAC when the normalized projection algorithm is used for parameter identification. Copyright © 2005 John Wiley & Sons, Ltd.     

深孔松动爆破提高瓦斯抽放率的应用研究

本文探讨了深孔松动爆破孔和瓦斯抽放孔的布置参数及工艺等 ,并设计了实施方案。在潘一矿的应用试验表明 ,用深孔松动爆破技术来提高低透气性煤层的瓦斯抽放效果 ,是一条很好的途径。     

A hybrid PC/PLC architecture for manufacturing-system control—theory and implementation

This paper presents a novel and generic PC/PLC-based software/hardware architecture for the control of flexible manufacturing workcells. The proposed implementation methodology is based on the utilization of any one of the available formal discrete-event-system control theories in conjunction with state-of-the-art industrial programmable-logic controllers (PLCs). The methodology has been illustrated to be a viable technique through its actual implementation in our laboratory using a robotic-workcell testbed. The specific control theory used is a combination of Extended Moore Automata and Ramadge-Wonham Automata that has been developed by our research group. The modular control software architecture has been developed for MS-Windows environments (running on one PC interfaced to the PLCs) and allows the use of different formal control theories as well as different commercial PLC hardware. The effective graphical user interface provides a transparent programming environment, where users are not expected to have a full knowledge of the formal control theory used.