摘要：矿井通风系统是矿井的呼吸系统,它源源不断地将地面新鲜空气输送到井下各作业地点,稀释和排除井下各种有毒、有害的气体和矿尘,也是防治煤与瓦斯爆炸、降温、除尘、灭火的重要技术手段。实现矿井通风智能化是实现智能开采、建设智慧矿山的主要技术保障。通风智能化不仅涉及到空间科学、采矿技术和流体力学理论,更需要数学、自动化、计算机和信息科学的底层支持,由于缺乏完善的理论和技术支撑,长期以来矿井通风作业都停留在人工和半人工状态。为了彻底解决矿井通风智能化,笔者从风网的拓扑结构和状态方程入手,逐一对自然分风算法、按需分风计算和风阻调节优化等理论疑点进行了深入讨论,对按需调风优化、均压调节优化、风向调节优化、联合调节优化、在线闭环调控、监控点优化布局、通风系统状态估计、需风量超前预测、反风风道识别、可靠性调节优化、通风系统初始化、通风系统故障诊断、智能调控风门风窗、通风智能化软件系统等关键技术进行了深入研究。针对这些问题,给出理论上比较完善的、技术上比较可行的、能够付诸实施的解决方案,最后,以计算机软件技术为主线,设计了4层体系架构,并定义了每层架构的技术内涵和主要功能模块,简要说明了应用场景,为打造全程智能化的矿井通风系统提供借鉴。

摘要：非线性管网理论来源于矿井通风,城市给水,煤气供给和石油输送等一大类实际问题.这些实际背景不尽相同,但都可以通过增加虚拟分支和虚拟回路将它们等价于一个不含悬挂点的,具有相似特征的环流网络.自从出现 *** 算法以来,无论是平差方程组的求解,还是设计与控制优化均取得了一些进展.但是,这些理论与算法只局限于某些特定的简单问题,在理论上还很不完善.如,关于平差方程组的研究,只有[2]、[3]给出了简单加压问题解的存在唯一性讨论和收敛算法.文[4—6]虽然也采用了最优化技术求解平差方程组也限于简单情况,且远不如[2,3]中的结果.而在实际问题中出现的大都是比简单加压问题复杂得多的控制问题.遗憾的是对控制方程组,只有[7]给出了一个有唯一解的必要条件,而这个条件一般不是充分的,而更实用的应是充分条件或充要条件.对于非线性管网的设计与控制优化问题,迄今。

摘要：针对目前井下定位存在的问题,设计了由多种传感设备、测绘设备和工控机组成的掘进机器人物联网,发展了一种新的井下定位方法,并据此构建了面向无人工作面的掘进机器人系统,应用所提机器人系统进行了实际作业实验。实验结果和系统持续运行表明,所提定位方法实现了精确可靠的实时定位,均方根误差控制在5 cm以内。基于所提定位方法的掘进机器人实现了对周围环境的实时精确感知和与周围环境的精准交互,从而实现了安全高效高精度的井下掘进,以及综掘面无人化。

摘要：根据设备管理是从经济和技术两个方面对设备进行动态跟踪和管理的过程。介绍了基于结构开发大型设备管理软件系统Client/Sever的结构设计与实现的关键技术,运用面向对象分析和设计的方法,结合设备管理的实际,建立了计算机辅助设备信息管理系统,以实现设备管理的自动化,为企业设备管理提供一种切实可行的工具。

摘要：基于文献分析,综述了有关矿井通风智能化领域的主要研究成果,分析了矿井通风智能化技术所涉及的通风网络解算、数据采集与处理、通风系统优化、灵敏度与可靠性计算、漏风处理技术、状态识别方法、最优调节与控制、智能装备等领域的研究现状;设计了建立矿井通风自动化系统的技术路线,并分析了矿井通风自动化系统的应用前景;提出了实现矿井通风系统自动化还有待解决的2个关键问题及其解决思路,如需风量超前计算模型与方法,以及全量程风表和风速传感器的研制。最后指出矿井通风智能化技术的发展方向是:基于"互联网+"和现代矿山物联网技术,全面实现矿井通风系统自动化和无人化。

摘要：对于一般的非线性动力网络,在某些参数值已知的条件下,本文讨论了网络方程组解的存在唯一性问题,在不要求支路特性曲线可微的条件下,给出了一个求解唯一解问题的总体收敛算法。同时指出了这些理论在某些具体网络分析与设计中的应用,这些网络包括矿井通风网络、煤气供给网络、城市给水网络、线性和非线性电阻网络。

摘要：为了解决在参数化CAD系统中由于参数赋值不合理而导致的几何实体重建失败的问题,提出了确定一类二维参数化CAD模型中参数有效范围的代数算法。该算法可以实时求解所有简单多边形中距离约束参数的有效取值范围,并利用几何变换简化求解规模,提高求解效率。研究结果表明,该算法提供的有效取值范围内的任一赋值,均可保证重建后几何实体的拓扑形状不发生改变,在一定程度上提高了参数化CAD软件的设计效率和人机交互的智能化水平。同时对算法复杂度进行了分析,该算法的复杂度为O(n^2)。

摘要：为有效解决目前权限管理中存在的授权复杂、不灵活等问题,提出了基于角色的细粒度访问控制模型。改进基于角色的访问控制模型,在其中引入属性约束和用户组,从访问控制的粒度出发分析并设计出基于角色的细粒度模型。新模型有效减少了角色和权限的授予数量,降低了权限管理复杂性,确保了细粒度的访问控制。通过将新模型具体运用到基于J2EE的Web系统并以用户权限树和存储过程实现,表明了新模型的可行性、灵活性和高效性。

摘要：在利用参数化CAD系统进行图形设计的过程中,通过修改图形对象的可变参数重新生成图形是最常见的一种操作。但用户在改变参数的过程中,由于事先并不知道有效的参数值,也没有任何引导信息,导致了用户只能盲目地不断输入参数值,通过反复输入参数值来满足约束关系的需要。该文将结构约束引入参数有效取值范围求解的范畴,并提出了确定一类常用的二维参数化CAD模型中参数的有效范围的计算方法和算法。算法复杂度为O(n2)。

摘要：针对立井井筒装备三维设计的关键技术难点,研究了井筒断面的构件关系,设计了一参数三驱动的关键构件快速建模技术及自动装配技术,实现了井筒参数化的三维建模和二维和三维施工图以及设计文档的三驱动设计,进而实现了煤矿立井井筒装备设计的规范化、流程化、自动化和智能化。系统不仅能大幅度提高设计效率和设计质量,间接减少设计错误及设计变更,还能改进设计单位的工作方式,是一次有意义的尝试。