区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.     

散装物料定量自动装车系统

为了顺利推进散装物料定量自动装车系统的应用，分析了砂石骨料无人智能化定量自动装车系统与传统化手工装车的区别及优势，简述了无人智能化定量自动装车系统的实现与应用。从投入成本、物流速度、设备成本、人员职业安全及健康等多角度考虑，定量自动装车系统更符合企业可持续的快速发展，可为企业发展助力。     

塔山煤矿复合坚硬顶板切顶留巷围岩变形机理及控制技术研究

以大同矿区塔山煤矿8304工作面切顶留巷为工程背景,综合采用理论计算、数值模拟及现场监测等方法对切顶留巷围岩的变形机理进行了分析,并提出了相应的控制技术。沿空顺槽实施切顶后,留巷顶板形成短臂梁结构,巷道整体处于卸压状态。切顶形成的切缝结构面阻断了采空区顶板压力传递到实体煤帮的路径,降低了煤帮应力集中程度,从而较大幅度减弱了实体煤帮及底板的变形;顶板最大变形集中在切缝侧,但下沉量有所减小;矸石帮变形分为垮落阶段的冲击变形和稳定阶段的缓慢变形,变形先急剧增大,后缓慢增加至稳定。基于对留巷围岩的变形分析,提出了对留巷顶板实施恒阻大变形锚索加强支护以控制顶板下沉,垮落矸石帮侧布置单体支柱配合11#工字钢与钢筋网片防冲护巷,煤帮采取左旋无纵筋螺纹钢锚杆加固处理及底板采用C20混凝土硬化的综合控制技术。现场监测留巷断面尺寸约为2 834 mm×4 615 mm,较原巷道断面最大收缩率为15.6%。监测结果表明:该控制技术能够有效控制围岩变形,所留巷道完全满足复用生产需求。     

燃油选择性吸附脱硫的多孔材料研究进展

吸附脱硫技术具有操作条件温和、节能、不改变燃油品质和成本低等特点而备受关注。针对噻吩类难脱除硫化物的深度脱除和转化问题，综述了近年来应用多孔吸附材料选择性吸附超深度脱除燃油中噻吩类硫化物的作用机理及最新研究进展。重点分析了分子筛、金属有机骨架、多孔炭材料、复合材料等不同吸附剂的研究现状，并探讨了各种吸附材料的吸附机理、改性方式和优缺点。本文指出分子筛因优异的热稳定性、高比表面积、均一的孔道结构、低成本和易于工业化等特点，是目前最具优势的吸附剂材料。未来研究应着重阐明吸附机理、提高合成便捷性、脱硫性能以及再生能力，更全面系统的研究将为开发具有理想选择性和再生能力的高效吸附剂奠定基础。     

基于近似测地线的分层次自动铺带轨迹规划方法

自动铺带技术是一种增量制造技术，适用于制造翼面、壁板等大尺寸、小曲率复合材料构件，具有加工成本低、效率高等特点。轨迹规划是自动铺带技术的关键环节，它直接关系到复合材料构件的成型精度与质量。现有的自动铺带轨迹规划方法难以便捷兼顾调控铺放间隙与防止铺放褶皱，保证铺带产品的最终质量。有鉴于此，提出了一种基于近似测地线的分层次铺放轨迹规划方法。主要目标是合理利用预浸带允许变形能力，在防止铺放褶皱产生的前提下，保证相邻带料不产生覆盖，且间隙不超过2.5 mm。首先，研究了铺放间隙的产生与演化规律，给出了几种典型曲面上初始铺放间隙的优化方法。接下来，提出了近似测地线的数学模型与求解格式。然后，基于铺放褶皱的产生机制与铺放间隙的演化规律，确定了近似测地线的测地曲率大小与符号。最后，在双曲面模具以及自由曲面模具上验证了所提出方法的有效性。     

LC-QH-12型露天矿螺旋采煤机的结构与功能

介绍了自主研制的LC-QH-12型露天矿螺旋采煤机整装装备的8大组成系统和主要技术指标与采煤工艺。该机开采能力为25万t/a,可遏制煤的自燃及因之造成的环境污染。该机采充一体化功能与弹仓式摇臂自动装卸杆装置是技术创新与进步,标志着我国已跨进国际先进露天矿山装备研发制造的行列。     

冲击地压应力波作用机理

针对动载扰动下大型冲击地压的发生及演化过程难题,分析了采场动载应力波的产生机制,研究了动载应力波与静载耦合作用下煤岩体冲击破坏规律,从应力波的产生、传播与致灾过程详细解释了大型冲击地压演化机理。研究结果表明,采场高位坚硬顶板断裂与深部应力集中区煤体破断所产生的动载应力波幅值随着煤岩体强度增大而升高,应力波持续时间随着破断尺度增大而增大,说明在煤矿开采过程中,顶板或煤体强度越高、破断尺度越大,越容易产生大能量的动载应力波;动静载耦合冲击破坏实验结果证实,高静载、高动载应力波、静载与应力波耦合加载条件均能使煤岩体发生冲击破坏,且随着轴向静载的增大,试样发生冲击破坏所需的临界动载应力波强度先增大后减小,其上升段与下降段的分界点约为单轴抗压强度的50%。当静载达到该临界点时,煤体发生冲击破坏所需的动载应力波强度急剧减小,说明高地应力环境煤岩体受到动载应力波的影响更为显著;现场大尺度模拟分析表明,动载应力波作用下,采场煤岩体塑性破坏区范围逐渐增加并主要集中在巷道两侧,且随着应力波幅值和持续时间增加,塑性破坏区范围不断扩大;研究提出了冲击地压应力波作用机理:动载扰动下冲击地压是静载、动载应力波与煤岩体结构耦合作用的结果,采场煤岩体大尺度破断产生高能量动载应力波,应力波与地应力耦合作用导致采掘空间围岩发生大范围破坏,最终形成冲击地压灾害。     

[学科发展]机构学中机构重构的理论难点与研究进展——变胞机构演变内涵、分岔机理、设计综合及其应用

生产力发展与工程技术革新要求机构具备可自重组与可重构及“一机多用”的功能，以满足复杂工况需求。可重构机构具有可变活动度和可变构态，可以满足多任务、多工况与多功能的要求，然而，决定其设计方法的演变内涵与分岔机理的研究目前仍不为学者们充分了解。从变胞机构的演变与分岔机理的角度，以旋量理论、李群与李代数及微分流形为主要工具，揭示了机构演变内涵及运动与约束空间的内在关联关系；探究了机构演变中的分岔机理与可控奇异位形，回顾了变胞机构与折纸及折展机构的历史渊源，综述了变胞机构的构型设计、性能综合与新型设计理念及其创新应用。     

区域循环风在红透山矿井下通风系统优化中的运用

红透山矿井下作业面多,需风量大,而井下的实际情况难以实现提高通风系统总供风量的目的。根据井下通风系统调查与研究,利用其-287 m中段运输道完整,清理及恢复工程量小,实施了井下区域循环风净化及利用,工程实施后,取得了满意的效果。