摘要：移动计算以及定位技术的快速发展正在改变人们的生活方式,使人们可以随时随地上网,还带来了大量反映用户运动轨迹的GPS数据。为了收集和分析这些GPS数据,设计实现了一个基于GPS数据的用户生活规律挖掘系统。对于记录数据阶段,通过运行Android系统的智能手机收集GPS数据,并定时将GPS轨迹数据发送到后台服务器;而在挖掘阶段,基于不同用户的GPS数据,挖掘出停留点序列并且获取周期模式。在这里,停留点用来表示与用户行为关联的地点。在获取了停留点的序列后,就可以挖掘频繁周期模式并对这些模式进行分析。最后,通过实验证明系统在处理大量GPS数据时仍能够保证高效性和稳定性。

摘要：采用间歇产气试验方法对红树林淤泥中的混合菌群进行产氢菌群富集,并对混合产氢菌群发酵产氢过程中发酵液的pH值和氧化还原电位(ORP)的变化进行分析。此外,在产氢速率最高时段,发酵液中菌群经过常规的基因组提取,分别采用通用的梭菌属Fe-氢酶基因和16S rRNA基因引物进行PCR扩增,扩增产物经变性梯度凝胶电泳(DGGE)分析。结果发现产氢菌群中至少有6种,而Fe-氢酶基因只含有一种。将Fe-氢酶基因的扩增片段切胶纯化之后,经PCR重新扩增、纯化,克隆测序。NCBI序列比对结果表明,该片段序列与产气荚膜梭菌Fe-氢酶基因的序列相似性达99%。根据已知产气荚膜梭菌Fe-氢酶基因序列设计引物,经两轮PCR扩增获得Fe-氢酶基因全序列。混合菌群中Fe-氢酶基因GenBank数据库的登录号为EU590683。此外,采用Bioedit和Mega2软件构建了Fe-氢酶的NJ系统进化树,结果表明该Fe-氢酶基因与产气荚膜梭菌(Clostridium perfringens)聚为一类。推测的氨基酸序列与产气荚膜梭菌的相应序列相似性达97%—99%。PfamHMM结构域查找结果发现,此氢酶含有五个结构域,分别为1个2Fe-2S铁硫簇结合区域、2个4Fe-4S结合区域、Fe-氢酶大亚基和Fe-氢酶小亚基。

摘要：并联机床作为机床技术和机器人技术相结合的产物 ,与传统结构机床相比具有很多的优点。简要介绍了目前国内外并联机床的发展现状和未来趋势 ,以及关键技术的研究进展 ,提出了发展并联机床需要解决的若干理论与技术问题 ,以及解决这些问题的可行途径。

摘要：高速铁路列控系统的安全与否直接涉及人民的生命财产安全,对高速铁路列控系统进行严格的形式化验证具有重要意义.但是随着高速铁路列控系统软件以及硬件规模的不断增大,系统的复杂性有了很大的提高,直接对高速铁路列控系统进行形式化验证已经变得越来越困难.另一方面,由于图形化建模和仿真表现方式直观且易于理解,在工程实践中已经得到了广泛的应用.因此,为了更好地保证铁路系统的安全,对系统进行仿真,排除部分安全隐患显得尤为重要.本文通过使用Simulink/Stateflow建模工具对高速铁路列控系统的行车许可,等级升级及部分模式转换场景进行了建模.该模型具有普适性,通过修改参数信息,可以对不同的等级转换和模式转换的组合情况进行仿真.本文使用该模型对10种组合情况进行了仿真,发现在某些情况下可能会出现不正常停车或者等级转换失败的现象.类似于测试,仿真仅仅能够发现错误,如未发现错误,也不能证明系统是正确的.因为仿真的这种不完备性,对仿真辅助形式验证在安全攸关系统设计中非常必要.为此,取其中一个不正常停车的场景进行了形式验证,验证结果证明在任何情况下都不能正常停车.

摘要：针对当前集成电路领域企业缺少原始技术积累、高校成果转化困难的问题,提出一种以IP核合作方式促进高校集成电路设计加快发展、实现高校企业双赢的创新机制。高校作为我国IC产业链中不可缺少的一部分,以西安交通大学SoC设计中心近十年来的发展历程为案例进行分析,提出基于IP核开发的高校集成电路设计发展的具体策略。

摘要：从网络计算理论、网络科学和网络设计、网络设计与工程、网络设计与社会价值等方面阐述了构建未来网络面临的若干问题,其中任何一个问题的解决都将极大地推动计算机网络的发展。

摘要：通过在液压支架上合理布置倾角传感器,以两柱掩护式液压支架姿态监测为目标,建立了支架三维杆系模型,推导出支架在任意姿态下各关键参数的姿态算法;并采用Solid Works环境中等比例搭建了支架虚拟样机,通过Motion插件对支架进行了运动学仿真,绘制了极限位态时支架关键构件运移关系曲线,该曲线可作为指导支架姿态监测的依据,同时验证了姿态算法的正确性。

摘要：目前气体钻井均采用出井气体直接排放的方式。如果能将气体回收,象普通钻井液一样循环使用,则可以大大减少能源消耗,降低钻井成本。同时,如果地层出气量较大,还可以进行天然气的分离与回收利用,使气体钻井的综合效益明显提高。文章针对我国目前氮气和天然气钻井中普遍存在的气体不能循环使用、导致成本过高的问题,首次完整提出了气体循环钻井系统的观点,填补了国内外空白。系统设计了气体循环钻井的工艺技术方案和工艺流程。初步现场试验结果表明,该技术简单易行,稳定可靠,应用前景广阔。对进一步降低我国气体钻井成本,加快推广气体钻井技术具有重要价值。

摘要：针对生态环境类电子地图集这种新型的专题性电子地图集在信息构成和功能上的特殊性,首先,研究和确定了它的主题定位和功能定位,提出集信息可视化和空间分析、虚拟仿真等功能于一体的理念。其次,提出并构建了生态环境类电子地图集的新颖的数据模型,第三,研究并阐述了该类电子地图集的专题图型和表达方法,第四,设计并实现了这种电子地图集的体系结构和技术系统,通过丰富的电子地图实例阐述本文的技术和方法创新点。

摘要：论述了液压支架移架中不同推移装置对底板比压的影响,建立了相应的力学模型。通过定性分析和定量计算,得出了移架中不同推移装置对比压的影响趋势及大小。