分级破碎机在综采工作面的适应性设计与应用

介绍了井下综采工作面产生的大块物料不易破碎的现状,分析了传统分级破碎机的结构以及无法适应综采工作面的原因,并通过取消设备底座、改变轴承座盖的结构形式、改变电机、减速机的联接形式与冷却方式等技术措施设计开发了悬臂式分级破碎机,同等技术条件下使设备外形尺寸及重量大幅减小。经实践应用证明,悬臂式分级破碎机能够较好地适应井下狭小的安装空间,较大地提高了其在综采工作面的适应性。     

广州市传统滨水动态人文景观的类型及空间格局

文章从风景园林学科的角度出发，对传统老广州曾经存在的地域人文景观里的典型——滨水动态人文景观进行了初步的全面整理，以日常型滨水动态人文景观和节庆型滨水动态人文景观为两种基本类型，总结梳理出超过25种滨水动态人文景观的主要类型，充分说明了广州市传统滨水动态人文景观的多样性和独特性。并以景观格局的理论视角分析了传统滨水动态人文景观在广州旧城的空间格局，分析得出其两个核心聚集区：以祭祀水神的仁威神庙为精神核心节点的呈圆形扩散的西关功能核心区和以长堤滨江段为中线的呈椭圆形扩散的珠江两岸功能核心区，并总结了促使这种人文景观发展与繁盛的历史经验，为广州地域文化景观的发扬及旧城更新工作提供借鉴。     

基于大数据的政府信息资源共享模式探讨

伴随着大数据时代的来临,政府机构部门借助信息技术手段实现内部资源共享,是推进廉政、高效和服务型政府建设的有效方式。文章以大数据时代为讨论背景,研究政府部门应用政府信息资源共享模式的基本策略,为行业相关人员提供一些可参考的经验。     

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

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

转向系参数对汽车拖车组合系统稳定性的影响

车身摆振是汽车拖车组合系统中一种复杂的动力学失稳现象，它常常表现为车身折叠、侧滑、侧倾等行为，给道路交通安全带来了巨大的隐患。针对此问题，应用拉格朗日方程建立了考虑牵引车转向系统的汽车拖车组合系统6自由度非线性综合模型，并通过非线性分析方法研究了转向系惯性参数和各个结构刚度、阻尼对汽车拖车组合系统稳定性的影响。结果表明，转向系结构参数对系统稳定性存在不同影响，合理选择转向系结构参数可以有效提高汽车拖车组合系统的动态稳定性。     

底侧卸矿车空间卸载曲轨制作研究

底侧卸式矿车空间曲轨关系到卸矿过程是否平稳顺畅，空间曲轨属细长件，在三维方向上均有尺寸及位置要求。为了更好地实现空间曲轨的加工精度，针对制作过程中易出现定位不准、变形过大等问题，结合制作条件，对底侧卸式矿车空间卸载曲轨的结构、制作工装、制作步骤及检验工具进行了研究。研究实现了可借鉴与复制的空间曲轨制作、检验方法。     

煤田地震勘探中多井组合爆炸法浅析

地震勘探中炸药作为激发震源的激发条件多样,采用有效的震源激发方式,才能取得高信噪比的地震原始数据。本文依据有关爆破原理,理论结合实践经验,提出在厚黄土区采用多井组合的激发方式,能有效压制噪声,增强性噪比,提高数据质量。