链臂锯切顶卸压小煤柱留巷开采围岩稳定性分析

在大同矿区"三硬"煤层条件下,随着浅部煤炭资源的日益枯竭,采矿活动不断走向深地,地应力逐渐增大,塔山煤矿8311工作面和8312工作面间仅留设6m小煤柱,2312巷会遭受两工作面的重复采动,为保证两工作面重复采动影响下巷道的围岩稳定性,同时保证煤炭采出率,采用同煤集团自行研发的链臂锯进行机械切顶,以达到顶板弱化效果。为研究该技术使用条件下留巷在两工作面回采期间受重复应力扰动下围岩稳定性,运用数值模拟、力学分析等手段对切顶及未切顶后的巷道围岩应力及变形分布规律等进行研究。研究结果表明:链臂锯切顶卸压能有效切断基本顶间的应力传递,使留巷内顶底板应力峰值下降,应力分布均匀,小煤柱内应力集中峰值大幅降低,提高了留巷围岩稳定性;同时针对小煤柱留巷实体煤侧仍会受超前应力和侧向应力影响形成叠加应力集中区域及小煤柱产生的塑形变形等问题,本文相应提出了改进意见。     

膜过程中热质耦合传递分析

研究了透过致密无孔膜的传热传质过程,考察了传热传质的相互作用,建立了膜过程中热质耦合传递的数学模型,并以湿空气透过薄膜分离过程为例,分析了温差及浓度差的变化对传热传质过程的影响,发现温差及浓度差的变化会引起热阻及湿阻的变化,从而进一步影响热流量和传质通量,所以对传热传质过程有加成作用。     

IA64二进制翻译中过程抽象技术及其实现

过程抽象技术是用机器无关的表达方式对过程中与机器相关的内容进行抽象.然而用传统的Pascal,C或者是C++语言来实现该技术是相当困难的.本文基于IA64二进制翻译框架,提出了一种新的过程抽象技术,并对扩展的过程抽象语言进行了详细介绍.     

IA-64二进制翻译中跳转表恢复技术

基于IA-64体系结构下二进制翻译系统,本文提出了应用过程内静态切片技术恢复索引跳转中跳转表以及目标地址的解决方案.并通过在IA-64体系结构上对C和C++编译器产生的代码进行测试,表明通过该技术可以很好的解决二进制翻译中跳转表的恢复问题,提高二进制解码的覆盖率.     

提高乡镇工业整体水平推进乡镇工业的“二次创业”

武进市的乡镇企业是国内乡镇工业的主要发祥地之一,经过改革开庭０年来的艰苦创业,乡镇企业得到了迅猛的发展,现已成为武进市农村经济的主体力量和全市国民经济的重要支柱。本文通过调查乡镇企业,分析乡镇企业发展过程中存在的问题,提出了搞好乡镇企业发展的一些建议。     

基于Kafka和Storm的车辆套牌实时分析存储系统

城市机动车数量、出行量的增加,使得车辆套牌现象屡禁不止.交管部门为了解决套牌监测的难题,采用传统的识别方式（如基于人工识别、基于牌照识别、基于射频识别等）.然而面对海量的日志记录,这些方式普遍存在效率低、实时性差的问题.为此引入大数据技术,提出一个基于Kafka和Storm的车辆套牌实时分析存储系统.Kafka可以作为中间件进行缓存,提高数据采集和数据分析的同步性,还能避免数据丢失;Storm框架可以实现日志信息的实时计算,然后将套牌车辆信息存入指定文档中.整个系统具有实时、分布式存储、稳定、可扩展等特性.     

并行软件性能监测分析工具的设计与实现

本文详细介绍了一个可对运行在多处理机上的并行应用软件进行性能评估的软件工具包。文章首先提出了性能分析的主要任务，然后较细致地介绍了并行软件性能监测工具包的设计与实现思想。利用工具包可以对并行程序执行过程作详细分析，能够帮助算法设计人员及软件体系结构设计人员揭示系统的行为，分析影响应用软件执行效率的因素和瓶颈，据此通过改进和优化软件结构，达到充分利用某种应用软件的内在并行特征和硬件特色，提高运行效能之目的。     

基于Logit模型的华东四省一市居民生活用电预测研究

分析了华东居民家用电器及照明需求的变化规律及用电特征,利用Logit模型自下而上构建了居民生活用电模型,在验证模型稳健性的基础上,对未来华东居民生活用电进行了情景预测。     

微细电火花加工机理研究

通过设计单脉冲放电实验,获得加工材料的表面形貌,以及单脉冲放电形成的凹坑.根据不同参数下材料的表面形貌,分析主要电参数与加工表面粗糙度的关系,以及加工表面凹坑的形成原因,得到影响加工质量的主要参数.     

反投机技术研究

投机优化技术作为一种先进的现代编译技术,有效地提高了指令执行的并行性。然而,在逆向工程中,有时要实现代码的跨平台移植,而投机优化技术又受硬件平台的制约;有时需要优化代码的结构,使程序的逻辑结构易于理解;这些都要求消除这种与硬件息息相关的优化技术。论文基于IA-64平台,提出了一种反投机处理算法,对ICC编译器编译后的可执行二进制代码进行处理,消除代码中的投机优化,将其转换成等价的没有投机优化的指令序列,这样使反投机后的代码更容易理解,而且在逆向工程中摆脱了硬件的限制。测试表明该反投机技术可以对ICC编译后的代码进行有效处理。