深部掘进巷道爆破卸压防治冲击地压技术

针对深部掘进巷道采用大直径钻孔卸压防治冲击地压存在卸压强度低、卸压不及时、劳动强度大等问题,以陕西彬长矿区孟村煤矿401103回撤通道为工程背景,分析了冲击地压发生主控因素,认为煤岩层强冲击倾向性、大埋深、断层构造是诱发冲击地压的主要原因:煤岩层具有强冲击倾向性使得煤岩系统具备发生冲击地压的能力;工作面埋深大导致集中静载荷水平处于高位,降低了冲击地压发生门槛;主承载区高集中静载荷叠加断层能量积聚释放的集中动载荷,极易诱发冲击启动,进而导致冲击地压显现。利用爆破卸压防治冲击地压作用表现为结构重建、应力释放及能量消耗:对掘进巷道围岩支承压力峰值区域实施爆破致裂可在巷道围岩内形成卸压保护带,从而降低煤岩冲击倾向性、削弱高集中应力、增加冲击能量消耗,达到降低冲击地压风险的目的。针对401103回撤通道提出了顶板、掘进工作面、帮部爆破卸压方案,并采用震波CT探测及微震监测对卸压防冲效果进行检验,结果表明:采用爆破卸压方案后,高应力区面积减少了50%,应力集中程度明显降低;微震事件平均能量显著下降,均小于10⁴ J,且微震事件能量无急剧变化,卸压效果良好。     

基于GA-BP网络的工程兵桥梁爆破方案评估模型

工程兵地爆分队对桥梁实施爆破过程复杂,所受影响因素多,爆破方案难以确定,为了更好的解决这一问题,构建了以爆破目标、爆破实施人员、爆破工具器材为主的桥梁爆破方案评估指标体系,并给出了基于GA—BP神经网络模型来研究桥梁爆破方案评估的方法,确立了GA—BP网络桥梁爆破方案评估模型。以工程兵某部执行桥梁爆破任务为例进行实例验证,采用该网络模型能够快速对待选方案进行较准确的评估,并筛选出较好的方案。结果表明该网络模型具有很强的可行性和有效性。最后给出了工程兵增强爆破作业效果的建议。     

基于 GA-BP 网络的工程兵桥梁爆破方案评估模型

工程兵地爆分队对桥梁实施爆破过程复杂,所受影响因素多,爆破方案难以确定,为了更好的解决这一问题,构建了以爆破目标、爆破实施人员、爆破工具器材为主的桥梁爆破方案评估指标体系,并给出了基于 GA-BP 神经网络模型来研究桥梁爆破方案评估的方法,确立了 GA-BP 网络桥梁爆破方案评估模型.以工程兵某部执行桥梁爆破任务为例进行实例验证,采用该网络模型能够快速对待选方案进行较准确的评估,并筛选出较好的方案.结果表明该网络模型具有很强的可行性和有效性.最后给出了工程兵增强爆破作业效果的建议     

张双楼煤矿应力集中区冲击地压灾害防控实践

目前的爆破卸压防治措施仅针对煤层顶板,对顶板-煤体-底板三协同爆破卸压治理研究较少,特别对坚硬厚层砂岩顶板覆层区域的冲击灾害防治研究更少。针对上述问题,以江苏徐矿能源股份有限公司张双楼煤矿74101工作面为工程背景,从开采布局、煤岩冲击倾向性、砂岩覆层区应力集中程度方面分析了其冲击灾害诱发因素,揭示了煤岩体突然失稳破坏诱发冲击灾害的原因,认为顶板砂岩覆层异常、断层地质构造、底板坚硬细砂岩等地质条件造成局部高应力集中是诱发冲击灾害的主要原因。采用矿震震动波CT反演技术精准探测得到74101工作面强冲击危险区:运输巷侧沿巷道75 m,延伸工作面60 m椭圆形区域;轨道巷侧沿巷道60 m,延伸工作面80 m椭圆形区域。针对划分的高应力集中区,提出了精准的“顶板-煤体-底板”一体化爆破卸压技术,对74101工作面冲击危险区域进行卸压防冲,并采用微震监测手段及现场观测对卸压防冲效果进行评价。结果表明:爆破卸压后,74101工作面厚硬砂岩覆层区矿震日累计能量由1.57×104 J降低至104 J以下,震动频次降低50%,矿震活动呈现低能量、低频次的特征,冲击危险性显著降低,验证了一体化爆破卸压技术适用于张双楼煤矿厚硬砂岩覆层区冲击动力灾害防治。     

基于BP神经网络的工程兵桥梁爆破方案评估模型

工程兵桥梁爆破属特种作业,专业性强,爆破方案的优劣难以评估,针对此问题,文章在对工程兵桥梁爆破影响因素分析基础上,构建了以爆破人员、爆破目标、爆破工具为主的桥梁爆破方案评估指标体系,并研究了军用桥梁爆破方案评估方法,确立了基于BP神经网络的军用桥梁爆破方案评估模型.最后以某工程兵地爆分队执行军用桥梁爆破任务为例,基于相关训练数据对待选方案进行了评估,验证了模型的有效性.     

DHNN模型在岩爆烈度分级预测中的应用研究

针对现有岩爆预测方法权重的确定带有随意性和主观性问题,提出了一种岩爆烈度分级预测的离散Hopfield神经网络(DHNN)模型。该模型选取应力系数、岩石脆性系数及弹性能量指数作为评价指标,将岩爆等级分为强岩爆、中等岩爆、弱岩爆及无岩爆4级,然后进行编码,不需要对样本数据进行归一化处理,只需转换成"1"和"-1"的二值型模式,编码简单,网络迭代次数少,具有很好的联想记忆功能,使岩爆烈度分级预测更加科学合理,可为深部地下工程岩爆烈度分级预测提供一种新途径。典型岩爆工程实例预测结果证明了该模型的正确性。     

GPS时间同步的无线多点爆破振动监测系统

提出一种方便爆破现场测试振动效应的无线测试系统方案.每个测试节点采用3通道并行数据采集得到3个方向的振速值,采用通用GPS接收器的lpps脉冲来实现多节点的数据同步采集;控制器采用低功耗的FPGA;无线通信由nRF24LE1和nRF24LU1+来实现.该系统通过USB连入PC机,并利用VC++编写软件来实时显示和分析波...     

ACP100安全级DCS爆破阀控制系统分析

爆破阀是ACP100自动卸压系统中的关键设备。爆破阀的安全级控制系统能否安全、可靠地执行安全功能与ACP100核电厂的安全密切相关。为了深入分析该系统的功能和性能,以某采用ACP100堆型的核电项目机组为例,对该系统的组成、功能模块设计及定期试验进行分析研究。根据分析可知,无论是单个模块还是整个系统,在冗余、多样化、独立性、可靠性、故障安全等方面都进行了充分的设计考虑;同时,通过定期试验的设计,能够快速、全面地检测出模块和链路的故障。分析结果表明,基于国产安全级数字化控制系统（DCS）平台NASPIC实现的ACP100爆破阀控制系统设计保证了事故情况下可以可靠地驱动爆破阀动作,并缓解事故。所提出的设计方案和分析思路对ACP100堆型的安全级DCS爆破阀控制系统设计具有积极的指导意义。     

卫星推进系统复合材料高压气瓶爆破失效分析

介绍一种卫星推进系统复合材料气瓶的2种功能失效模式:爆破失效和疲劳失效.重点分析引起爆破失效的主要因素,通过ANSYS采用薄壁壳单元SHELL 91模拟碳纤维螺旋缠绕层和环向缠绕层组合缠绕的多层结构模型,并提出一种爆破失效验证方法.研究结果表明,应力断裂、复合层受损和树脂开裂等是引起复合层破裂的主要因素.复合材料气瓶测试结果表明:采用SHELL 91模拟复合多层结构的分析方法是一种有效、实用的方法;基于复合层单层结构判定理论的爆破失效验证方法是合理、可行的,并可以为降低其失效概率提供数据依据.     

石泉煤矿切顶卸压沿空留巷方案

在分析切顶卸压沿空留巷技术优势的基础上,结合石泉煤矿19022工作面地质及开采技术条件,提出适用于石泉煤矿的切顶卸压沿空留巷方案:回采巷道超前加强支护选择高强度锚索配合单体液压支柱迈步抬棚;对采空区至超前支护段的巷道顶板实施预裂爆破,构成卸压时的断裂切顶线;工作面后方的沿空留巷采用贴帮丛柱+单体液压支柱抬棚+液压抬棚的形式进行补强支护。矿压监测结果表明,巷道顶板平均下沉量为95 mm,两帮平均移近量为225 mm,符合巷道断面变形要求;巷道支架平均支护阻力为33MPa,符合巷道支护强度要求。     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Models and Complexity of Problems of Design and Reconstruction of Telecommunication and Transport Systems

This article considers network synthesis problems arising in the design and exploitation of telecommunication and transportation systems. A formalization of network synthesis problems on graphs is proposed in which constraints on cut capacities are given and possibilities of failing some network components are taken into account. Approaches to the solution and analysis of the complexity of the considered problems are described.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。     

椭圆拉伸变形长短轴的计算及应用

在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。     

IPSEC与防火墙协同工作设计与实现

IPSEC提供网络层的安全服务，通过对IP报文的加密和验证，保证数据在传输过程中的安全．由于IPSEC封装了报文中一些重要信息，使得IPSEC与防火墙不能同时有效地工作．本文提出一种分层IPSEC(Layered IP Security，L_IPSEC)思想，即将协议头和数据部分分别进行安全处理．并将这种分层思想与分布式处理技术结合，设计与实现一种IPSEC与防火墙协同工作方案．     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案，并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的SSP。在此基础上，提出了智能网和软交换互通的实现方案，并且以智能用的典型业务FPH为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

Kohonen与Madaline用于解析重叠光谱测定钨和钼

首先应用Kohonen网络对钨、钼的混合吸收光谱进行波长选择，在全光谱中优选最能代表光谱特征的波长，被选波长处吸光度作为Madaline网络的输入，设定输出目标函数为G（λ）＝∑Aiexp[-4(ln20）(λ-t）^2/2]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通.文中首先介绍了互通的种类和方案,并重点讲述了智能网和软交换互通过程中模型的重要部分--软交换侧的SSP.在此基础上,提出了智能网和软交换互通的实现方案,并且以智能网的典型业务FPH为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了描述和分析.     

Binary perfect and extended perfect codes of lengths 15 and 16 and of ranks 13 and 14

Inaccuracies in computations in the paper of the authors on classification of perfect binary codes of lengths 15 and 16 and of rank 13 are fixed. An explicit construction of all extended perfect codes of length 16 and rank 13 with a given kernel size is presented. Perfect binary codes of length 15 and rank 14 obtained by the general doubling construction are classified.