煤矿巷道喷雾降尘智能控制系统设计

介绍了喷雾降尘机理,分析了影响喷雾降尘效果的重要因素,设计了一种煤矿巷道喷雾降尘智能控制系统。该控制系统利用粉尘浓度传感器检测粉尘浓度,通过单片机比较粉尘浓度标准值与在线监控测量值,当粉尘浓度超标时,单片机发出喷雾降尘指令,若粉尘浓度低于标准值,则停止降尘。试运行结果表明,该系统实现了自动控制喷雾降尘功能,调试方便,降尘效果较好。     

粉尘浓度超限自动喷雾降尘系统在陈家沟煤矿的应用

针对陈家沟煤矿主井筒为进风井兼胶带运输井筒,胶带运煤方向与风流方向相反,容易造成粉尘飞扬的问题,该煤矿在主井筒安装了一套粉尘浓度超限自动喷雾降尘系统。文章介绍了系统工作原理及工作方式,给出了系统的具体应用情况。该系统结构简单,使用和维护方便,具有粉尘浓度自动监测、自动喷雾、浓度超限报警功能,实际应用效果较好。     

粉尘在线监测与自动喷雾除尘装置

<正>粉尘在线监测与自动喷雾除尘装置由天地(常州)自动化股份有限公司研制推出,是基于粉尘浓度传感器和光控传感器开发的新一代智能化、人性化矿用自动喷雾降尘装置,可实现粉尘浓度超限自动喷雾,测得的粉尘浓度值可实时就地显示。该装置可以单独自成系统使用,也可与矿井安全监测系统联网使用,实现粉尘浓度在线监测。     

煤矿井下空气质量革命技术现状与展望

我国煤矿安全高效开采技术处于世界领先水平,但以粉尘为主的毒害物质、高温、高湿、噪声等多种职业危害因素诱发的职业疾病长期困扰煤矿从业人员,目前职业病危害已超过安全事故对职工的伤害,严重制约行业未来发展。提出了井下空气质量革命理念,全面总结了井下控降尘技术（包括煤层注水减尘技术、喷雾降尘技术、通风排尘技术、化学试剂抑尘技术、井下空气质量革命控降尘体系）、燃油车辆尾气治理、井下空气质量监测预警系统的现状。为进一步推进井下空气质量革命理论与技术突破,立足于“分源-分区-分级-分策”的粉尘高效治理理念,寻求建立多源多相多场粉尘协同降尘与综合治理的理论体系;指明了采掘区域粉尘高效智能防控技术及装备、矿井粉尘环境多参量同步智能监测技术及装备等关键技术装备的发展方向;指出必须充分融合理工医管学科建立煤矿粉尘防控多主体协同体系,为井下空气质量革命由目前的起步阶段向中高级阶段发展奠定理论与技术基础,分步实现煤矿从业人员生命全周期职业健康的目标,最终做到煤矿职业病少发病或零发病,助力健康中国战略。     

基于Web的煤矿智能喷雾实时监控系统

针对目前煤矿上使用的喷雾系统存在的一些问题,提出了一种基于 Web 技术的煤矿智能喷雾井上实时监控系统设计方案,给出了系统组成、工作原理、主要功能及实现的关键技术。系统采用Web技术,可与煤矿其它系统有机集成。该系统不但能根据实时检测到的粉尘、烟雾、温度、瓦斯等情况实现自动喷雾,而且还可在地面实时监测井下的环境及工作状态,并且无须下井就能直接控制井下喷雾系统的运行。实际应用表明,该系统实现了井下环境监测、智能喷雾、地面实时监控的功能。     

煤炭粉尘监控系统的设计

介绍了一种用于煤炭企业的粉尘监控系统的设计方案,阐述了该系统的硬件设计及软件工作流程、数据表设计及系统软件功能。该系统采用粉尘传感器和单片机技术,可对煤矿井下粉尘浓度进行实时监测及控制。实际应用表明,该系统运行效果良好。     

矿用粉尘浓度传感器的设计与应用

针对现有粉尘测量方法存在无法实时反映现场空气中粉尘浓度的问题,设计了一种矿用粉尘浓度传感器,介绍了该传感器组成、工作原理及其在煤矿自动喷雾降尘装置中的应用。该传感器利用激光散射原理测量悬浮在空气中的粉尘颗粒浓度,同时采用根据粉尘沉降原理设计的精密机械结构和激光镜头刷镜机构,保证了测量的可靠性和精确性。     

掘进机高压降尘喷雾装置的设计与应用

针对因掘进机机身外喷雾水系统压力不足导致降尘效果不理想的问题,改造设计了一种掘进机高压降尘喷雾装置。该装置通过高压风流与水流的混合,引射出雾化效果好、覆盖面积大的高速水雾粒,大大地降低了工作面的粉尘浓度。实际应用结果表明,该装置降尘效果显著,在距掘进工作面10m处的进风、回风侧风流中总粉尘降尘效率均在80%以上。     

采煤工作面煤流智能喷雾系统的设计

针对采煤工作面原煤流喷雾系统存在的操作烦琐、故障率高、降尘效果差的问题,设计基于PLC控制技术的煤流智能喷雾系统.将采集到的粉尘浓度值进行分析并动态控制供水压力值,达到动态智能恒压供水状态,提升喷雾效果,降低粉尘浓度.实际使用情况表明,设计并实现的煤流智能恒压喷雾系统操作便捷、故障率低、降尘效果明显,可使采煤工作面粉尘...     

煤矿粉尘监测技术探讨

分析了煤矿粉尘的危害、特性和作业场所空气中呼吸性煤尘接触浓度标准,介绍了煤矿粉尘监测技术的发展状况,比较了取样法与非取样法的特点,指出非取样法应为煤矿粉尘监测的主要方法,并指出非取样法中的光散射法最适用于煤矿井下。应用光散射法研制的GCG1000粉尘浓度传感器在煤矿井下的应用验证了该方法的有效性。     

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为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

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

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

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

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

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.