F8上盘童子岩组3段煤层可采性及地质找煤前景分析

本文通过对翠屏山煤矿+120m、+80m区段两条探巷所揭露的地质资料进行分析,探讨了F8上盘童子组3段含煤地层构造特征、可采煤层的赋存状况及煤质特征,认为F8上盘的22~#、27~#、28~#等煤层存在有稳定的可采块段,并重新估算了各煤层的储量,为矿井在F8上盘地质找煤提供参考。     

盾构进洞杯形冻结温度场现场实测研究

基于天津站盾构进洞水平冻结加固工程,通过对杯形冻结温度场发展的现场实测,分析研究盐水温度变化及不同主面、界面冻结温度场发展规律。监测结果表明:在微承压性富水粉砂层地质工况下利用冻结法加固岩土体可行;杯体主面、界面岩土体冻结温度发展规律基本相同;杯底范围岩土体受杯体冻结壁的影响,冻结发展速度更快,基本呈线性发展;土体与地连墙交界面冻结温度发展速度较内部土体快;冻结30 d,杯体主面、界面冻结平均温度分别可达-14.22℃和-10.30℃,杯底冻结平均温度可达到-25℃。     

基于Stateflow电力机车变流器控制设计与实现

某出口型号交流电力机车牵引控制系统要求变流器控制逻辑具备接触器控制、牵引系统数据交互、变流器故障保护、变流器启动自检等功能。针对以上功能,基于MATLAB中的Simulink/Stateflow可视化编程工具进行牵引控制模型的搭建,遵循模块化编程理念,采用较少的程序代码编写实现复杂的逻辑控制模型,生成逻辑清晰的控制功能流程图,进行半实物仿真测试,增强控制模型的可靠性。通过该变流器产品型式试验检验,验证变流器控制逻辑的功能可以满足控制系统的需求。     

因子分析耦合可拓聚类在矿井通风可靠性评价中的应用

为了更加简便准确地描述矿井通风系统的安全可靠性,采用因子分析法确定影响通风系统的主要因素。考虑到因素之间的可拓关系,将每一种因素进行聚类分析,构建可拓聚类评价模型。结合某矿通风系统的5组观测点案例,利用各观测点关于可靠性等级的关联度,计算出待评观测点的矿井通风系统隶属度,判定通风系统的可靠性等级,结果与实际案例情况一致,因此,此方法为评价矿井通风系统安全可靠性提供了新的技术途径。     

重新找回人工智能的可解释性

针对深度神经网络AI研究的可解释性瓶颈，指出刚性逻辑（数理形式逻辑）和二值神经元等价，二值神经网络可转换成逻辑表达式，有强可解释性。深度神经网络一味增加中间层数来拟合大数据，没有适时通过抽象把最小粒度的数据（原子）变成粒度较大的知识（分子），再把较小粒度的知识变成较大粒度的知识，把原有的强可解释性淹没在中间层次的汪洋大海中。要支持多粒度的知识处理，需把刚性逻辑扩张为柔性命题逻辑（命题级数理辩证逻辑），把二值神经元扩张为柔性神经元，才能保持强可解释性。本文详细介绍了从刚性逻辑到柔性逻辑的扩张过程和成果，最后介绍了它们在AI研究中的应用，这是重新找回AI研究强可解释性的最佳途径。     

CSNS工程GPPD谱仪主探测器读出电子学的研制

中国散裂中子源(China Spallation Neutron Source,CSNS)工程通用粉末衍射谱仪(General Purpose Powder Diffractometer,GPPD)采用闪烁体探测器作为主探测器。为满足谱仪的设计需求,读出电子学系统要求在实现高达数千通道数据读出的同时,完成高精度的中子探测。基于设计目标,以及进一步提高读出系统的集成度和灵活性,读出电子学系统采用了"子板+母板"的架构。前放子板采用专用集成电路(Application Specific Integrated Circuit,ASIC)实现探测器输出信号的放大、成形、甄别等模拟调理;母板固件采用了多级流水线机制的设计方法,在保证数据并行性和可靠性的同时,进一步减小了数据处理的死时间,实现数据的采集打包、缓存等处理,最终数据通过千兆以太网传到后端数据处理系统,便于数据的分析处理。对设计实现的读出电子学系统的评估测试结果表明:最小时间分辨11 ns,单通道计数率200 K?s-1,各项指标均好于设计目标。目前所有读出电子学单元已部署到GPPD工程现场并长期稳定运行,为谱仪顺利开展实验提供了可靠保证。