大数据背景下矿井水害案例库系统建设

为提高煤矿水害防治的信息化水平,实现煤矿水害防治工作由定性到定量、由经验到科学转变,提出了大数据背景下矿井水害案例库系统建设的目的和原则,设计了煤矿水害案例库系统的结构和功能,分析了物联网、云计算、大数据等系统关键技术。矿井水害案例库系统集事故管理、水害防治、安全教育、技术培训于一体。     

基于SPI总线技术的煤矿水害监测系统数据采集系统的设计

文章介绍了SPI总线技术及基于SPI总线技术的煤矿水害监测系统数据采集系统的设计,阐述了该数据采集系统的硬件和软件设计方法。实际工程应用表明,该系统能够适应煤矿恶劣工作环境,硬件电路设计简单、调试方便、抗干扰能力强,可靠性高。     

煤与瓦斯突出综合预警系统应用

针对常规的煤与瓦斯突出预测技术采用单一预测指标不能综合考虑突出危险影响因素的问题,设计了煤与瓦斯突出综合预警系统,给出了系统的结构及其功能,并以龙山煤矿为例介绍了系统的应用流程。实际应用结果表明,该系统能有效探测危险区域,实现了煤与瓦斯突出预警。     

煤矿防治水害系统的三维空间数据模型研究

为了有效减少煤矿水害的发生,降低人员伤亡和财产损失,需要更加清晰准确地对煤矿井下各种相关地质体进行可视化建模,并在此基础上进行力学、数据挖掘等各类分析,研究了煤矿水害的主要成因,分析了常用的三维数据结构的特点和适用场合,指出在煤矿防治水害系统的构建中,针对水害的主要成因--含水层分布,断层分布、隔水层岩性组合,可以分剐使用针体模型、TEN、八又树等模型,使用混合数据结构实现对不同特点的地质体的可视化建模.     

基于系统动力学的煤矿生产物流系统效率研究

针对现有的煤矿生产物流系统研究方法缺乏对各影响因素间相互关系的剖析、不能动态预测投入对系统效率水平的影响程度等问题,应用系统动力学方法构建了煤矿生产物流系统效率水平影响因素的系统动力学模型,对煤矿生产物流系统效率水平进行了动态仿真。仿真结果表明,提高煤矿生产物流系统效率需要持续的资源投入;各影响因素初值水平会影响煤矿生产物流系统达到期望效率的时间;所有的影响因素中,管理及技术人才水平的实际作用率最大,因此,提高煤矿生产物流系统效率的重点在于提升管理及技术人才水平。     

基于遗传神经网络的煤矿突水预测

文章综合考虑了水源、隔水层、断层等因素对煤矿突水的影响，建立了基于遗传神经网络的煤矿突水预测模型，实验结果表明，该模型具有较高的预测精度，预测结果可靠，为矿井水害防治提供了一种辅助决策手段。     

基于CAN总线的煤矿远程监控系统

CAN总线是一种有效支持分布式控制和实时控制的串行通讯总线,能很好地满足煤矿监控系统高实时性和单次通信量少的要求.针对当前国内煤矿监控系统的不足的状况,设计了基于CAN总线技术的煤矿远程监控系统,并对其总体方案设计、智能节点和通讯接口做了详细阐述.实际运行证明该系统具有良好的可靠性和抗干扰性,能更好地监控井下煤矿生产的运行状态,从而为我国煤炭行业的安全生产提供一个好的解决方案.     

基于CAN总线的矿用语音广播对讲系统设计

综合考虑压缩速率、传输距离和音质还原等因素,利用合适的语音压缩编码技术G．729A,设计了基于CAN总线的广播系统。该系统能实现话音和高品质音频信号（MP3文件、WAV文件）在CAN总线网络中的实时传输,方便扩展系统的各项功能,设计成本低,实际安装维护方便,在煤矿井下得到了很好的应用。     

矿井融合调度通信系统的设计及应用

针对大多数煤矿通信系统各自分散、无法跨越各系统进行调度指挥的问题,设计了矿井融合调度通信系统,详细介绍了系统的组成及功能实现。实际应用结果表明,该系统能兼容现有煤矿通信系统,为跨越各系统之间的通信提供高效业务平台与桥梁,有效提高了矿井应急调度处置能力,进一步提升了煤矿安全生产管理水平。     

煤矿安全监控系统中RS485总线的抗干扰设计

针对煤矿井下复杂的电磁环境会使RS485总线性能下降而影响煤矿安全监控系统数据传输的问题,指出应从故障保险电路、电气隔离、抗浪涌过电压的接口保护、通信软件编程等方面对RS485总线进行抗干扰设计,并给出了这几个方面的抗干扰设计实现。实际应用表明,该抗干扰设计可确保煤矿安全监控系统数据传输的稳定运行。     

机车空调逆变电源设计

本文讨论的是机车空调逆变电源系统的设计与研究。该电源系统主要是由DC/DC的BOOST升压部分和DC/AC三相逆变部分两部分组成。DC/DC部分所得直流电压通过DC/AC部分逆变成三相交流电,供给空调机组工作。同时,为使电源系统能更可靠的运行,也设计了相应的故障检测、保护等辅助电路。     

联合收割机脱粒滚筒恒速智能控制器设计

研究了轴流式联合收割机的控制问题,给出了联合收割机脱粒滚筒的数学模型,介绍了基于模式识别的智能控制原理,建立了联合收割机脱粒滚筒恒速控制模型,设计了基于模式识别的智能恒速控制器.应用Matlab/Simulink进行了控制器仿真,其结果表明,将基于模式识别的智能控制应用于联合收割机脱粒滚筒的恒速控制,其过渡过程平稳、响应速度快、无超调、无振荡并且无稳态误差.     

计算机辅助课表编排技术的研究

讨论了几种实用的计算机辅助课表编排技术及在实际编排中的应用。应用分析表明，采用分批与或图搜索和分批优化的匈牙利算法相结合的方法，在计算机辅助课表编排中是行之有效的。     

桥面损坏状态评估专家系统探讨

介绍关于桥梁结构损坏状态评估专家系统，在讨论状态评估方法的基础上，重点介绍损坏状态评估因素关系树的建立及各因素状态的模糊表达式等，最后以桥面诊断过程为例介绍系统的构成及诊断流程图，知识表达方式，系统推理过程及工作流程。     

Complexity of approximation of 3-edge-coloring of graphs

The problem to find a 4-edge-coloring of a 3-regular graph is solvable in polynomial time but an analogous problem for 3-edge-coloring is NP-hard. To make the gap more precise, we study complexity of approximation algorithms for invariants measuring how far is a 3-regular graph from having a 3-edge-coloring. We show that it is an NP-hard problem to approximate such invariants with an error O(n1−ε), where n denotes the order of the graph and 0<ε<1 is a constant.     

Topological formulation of termination properties of iterates of functions

We consider a number of decision problems, that appear in the dynamical systems and database literature, concerning the termination of iterates of real functions. These decision problems take a function as input and ask, for example, whether this function is mortal, nilpotent, terminating, or reaches a fixed point on a given point in . We associate topologies to functions and study some basic properties of these topologies. The contribution of this paper is a translation of the above mentioned decision problems into decision problems concerning well-known properties of topologies, e.g., connectivity. We also show that connectivity of topologies on is undecidable for n>1.     

实现三维喷绘的软件系统设计

对三维喷绘软件系统的设计,通过USB 2.0实现与喷绘主板的高速图像数据通信。基于ARM与MCX314的运动控制器实现实时三轴运动控制以及精确的喷头时序控制,论述USB驱动程序和ARM固件的开发。结果表明,该系统具有设计简洁、成本低、可扩展性强和实用性高等特点。     

矿用传感器的伪数据滤除方法

介绍了矿用传感器的组成和工作原理,分析了矿用传感器伪数据的表现形式和产生的原因,并从抗干扰设计、低功耗设计和信号输出方式等方面提出了矿用传感器伪数据滤除的基本方法。实际应用表明,该方法减少了矿用传感器产生伪数据的几率,提高了矿用传感器的稳定性和安全监控系统的可靠性。     

辐照仪控制系统的设计

通过使用可编程控制器中的专用脉冲输出指令和高速计数器,实现了对辐照仪步进电机的精确控制。介绍了辐照仪的工作过程和控制系统的组成,给出了控制软件的流程及控制步进电机转动误差的措施,并利用触摸屏实现了人机界面控制。实际应用表明,该系统性能可靠、控制精确、实用性强。     

《数据库系统概论》教学方法探索

针对<敷据库系统概论>课程的教学性质,结合其理论和实践教学并重的教学特点,对该门课程的本科生教学进行了探索.分析该门课程的体系结构和教学中存在的问题,给出了相应的解决办法,对该门课程的教学方法进行了研究、探索和总结.