基于力控和S7-300的煤矿瓦斯抽放监控系统的设计

使用力控组态软件和S7-300 PLC设计了一种煤矿瓦斯抽放监控系统,并详细介绍了该系统的组成及系统功能,现场运行表明,该系统能够实时准确的监测管道的工况参数、泵站环境参数、电气参数及供水参数,能够对相关设备进行远程控制和保护,完全满足煤矿瓦斯抽放监控系统的需求。     

GPRS煤矿瓦斯抽放监测系统

介绍了应用GPRS的煤矿瓦斯抽放监测系统的组成方式、功能、主要设备、特点.     

一种瓦斯抽放多参数巡检仪的设计

设计了一种瓦斯抽放多参数巡检仪,介绍了该仪器硬件和软件的设计及实现。该巡检仪采用传感器采集甲烷浓度、工况流量、管道温度等主要性能参数;参数经AD转换后,通过RS485上传到上位机,用户通过上位机可以直观地分析瓦斯抽放管道的参数。该仪器具有测量精度高、采集通道多的特点,提高了煤矿瓦斯抽采监测的效率。     

具有动态补偿的差压式瓦斯抽放流量仪表设计

针对现有瓦斯抽放流量仪表不能对管道流量参数进行实时补偿而导致流量测量结果存在较大误差的问题,设计了一种具有动态补偿的差压式瓦斯抽放流量仪表。给出了气体温度、压力和浓度的补偿方法,介绍了该仪表的软硬件设计。现场测试结果表明,该仪表测量数据准确、稳定,满足煤矿瓦斯抽放计量的精度要求。     

煤矿远程安全监测监管一体化平台创新设计

针对神华宁夏煤业集团近年来发展及调度管理需求,综合运用数据字典、云计算、物联网等技术对原有安全监测远程联网系统进行创新设计,构建了新型煤矿远程安全监测监管一体化平台。该平台实现了集团公司对下辖矿井安全监测信息、瓦斯抽放数据、洗煤厂环境监测数据的实时在线监测,环境参数异常分析,安全预测预报,日常运维监管与决策支持分析等功能,有效解决了基层单位分散、管理层级多、系统异构带来的集中监管难度大的问题,实现了企业体制创新、技术创新和管理创新。     

煤矿瓦斯抽放浓度控制系统设计

针对现有煤矿瓦斯抽放控制采用粗放式控制方法存在瓦斯抽放浓度控制缺失和水环真空泵能耗高等问题,设计了一套煤矿瓦斯抽放浓度控制系统。该系统基于分级调节思想,在控制程序集中控制下,通过瓦斯浓度传感器检测抽采管路中的瓦斯浓度,利用PLC逻辑运算功能计算出瓦斯浓度变化率,并根据瓦斯浓度变化分级调节电动瓦斯调节阀开度和水环真空泵变频电动机转速,以提高抽采瓦斯浓度,从而提高抽采瓦斯利用率。试验结果表明,该控制系统能有效提高抽采瓦斯浓度,瓦斯体积分数可提高3.6%～4.2%,使抽采瓦斯利用率大大提高;且节能效果明显,瓦斯抽放浓度控制后节能效果提高了24%。     

羽状钻孔预抽矿井瓦斯过程的数值模拟研究

合理抽放瓦斯是解决煤矿瓦斯灾害的重要方法之一。文章在分析煤层瓦斯抽放过程机理的基础上,建立了羽状钻孔预抽瓦斯过程的数学模型,并对该模型进行了数值离散,同时采用牛顿-拉夫逊数值方法,将非线性方程组转化为线性方程组最终得以求解。数值模拟程序采用VB6.0编写,模拟了矿井瓦斯羽状钻孔预抽过程。通过矿山瓦斯抽放实际数据验证,羽状钻孔预抽矿井瓦斯过程的数值模拟结果基本反映了真实的瓦斯抽放情况,为进一步研究瓦斯抽放过程的参数优化奠定了基础。     

AFE变频器在煤矿瓦斯抽放机控制系统中的应用

以抚矿集团暖气厂瓦斯抽放机控制系统的改造为例,介绍了AFE变频器在煤矿瓦斯抽放机控制系统的应用,重点介绍了AFE变频器构造、控制原理及相关技术参数的设置方法。仿真结果表明,AFE变频器的网侧电流几乎没有失真,对电网污染极小。实际运行结果表明,应用AFE变频器对煤矿瓦斯抽放机控制系统进行改造后,系统运行稳定,未发生任何故障,且提高了瓦斯抽放机效率,有效节能约为30%。     

瓦斯抽采数据预处理技术及达标评判应用

针对瓦斯抽采达标人工测定数据周期长、在线监测装置存在数据缺失等问题,采用数据拟合的方法研究井下管道瓦斯抽采时长与累计抽采量的关系以及单点缺失、连续缺失这2种情况下的瓦斯监测数据修补算法,设计并实现一套瓦斯抽采达标评判系统。石壕煤矿N1633北回风巷抽采评价单元试验效果显示,该系统达到了煤矿瓦斯抽采达标评价需求,为矿井现阶段瓦斯抽采达标提供了应用示范。     

一种矿用瓦斯管道设备防爆等级转换接口设计

针对煤矿瓦斯抽放监控系统中瓦斯管道设备及其相关联的电源和通信接口必须满足"ia"安全防爆等级要求,在现有"ib"防爆等级的煤矿瓦斯抽放监控系统基础上,通过增加一种安全等级转换接口对瓦斯管道设备进行了升级改造。详细介绍了具有梯形输出特性的阻性限流的电源转换原理和具有线性输出特性的阻性限流的信号转换原理,并对关键元件的相关参数进行了分析及计算。测试结果表明,该转换接口具有转换效率较高、频率失真小等特点,输出特性满足"ia"安全防爆等级要求。     

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软件中实现与之相关的功能。     

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.     

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

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

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

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

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

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

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

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