采区回风下山隔水密闭墙设计与施工

冯家塔煤矿一水平1-2采区2煤回风下山在掘进过程中遇到构造裂隙带,导通2煤上部含水层,造成巷道顶板多处涌水,掘进头涌水量达135 m3/h以上.该矿在调查和分析巷道顶板突水的主要通道和原因的基础上,确定了科学合理的隔水工程设计与施工,保证掘进工作面安全生产.     

数据库一体机技术架构解析

为满足海量数据的高性能、高可用性以及复杂查询快速响应需求,数据库一体机解决方案逐渐被用户所采用,但部分用户不了解其技术架构与特性。文章从数据库一体机的技术架构入手,分析探讨数据库一体机技术架构的实现原理以及相关特性,并与传统解决方案的技术架构进行对比。分析发现,数据库一体机数据处理速度比传统解决方案有大幅提升,具有较好的横向扩展能力,适合海量数据处理场景。     

光传送网基于SDN的控制技术探讨

网络控制技术SDN正在进一步推动网络的可编程能力和开放性。SDN面向分组网络提出了控制架构和OpenFlow协议,但是并没有针对光交换提出成熟的控制方法。本文对比分析了潜在的传送网控制协议的优缺点,包括PCEP和OpenFlow,然后针对电路交换提出了针对OpenFlow的协议扩展方案,并探讨了光传送网络中基于控制器的潜在应用。     

大口径、超长距离顶管工程在西安咸阳国际机场排水工程中的应用

本文结合西安咸阳国际机场排水工程，针对大口径、超长距离顶管工程中的工程测量、触变泥浆减阻和中继间使用等关键环节进行分析总结。     

单/双层水泥基平板的微波吸收性能

依据阻抗匹配原理与电磁波传播规律,提出表层透波、内层吸波的双层法设计,该设计具有电磁波吸收性能的层状水泥基平板结构.研究了硅灰和橡胶粉对表面层阻抗匹配的影响;同时还对碳纤维、钢纤维、碳纤维与铁氧体粉复合以及钢纤维与碳纤维复合作为内层吸收剂时,水泥基平板材料在8～18GHz频段内的吸波性能进行了研究.结果表明:硅灰和橡胶颗粒可以明显地改善水泥平板与自由空间的阻抗匹配:与单层相比,在相同碳纤维掺量时,双层吸波砂浆反射率下降-3dB左右;30%质量分数铁氧体与碳纤维复合作为吸波材料的损耗层的吸收剂,反射率在-10dB以下(12.5～18.0GHz),且随着入射频率的增加反射率下降.     

SPS烧结ZrB2-SiC复合陶瓷的力学性能

用放电等离子体烧结（SPS）制备了ZrB2-30％SIC复合陶瓷材料，在万能力学试验机上测试陶瓷材料的弯曲强度和断裂韧性，用SEM观察陶瓷材料的断口形貌，并分析材料的断裂机制。结果表明ZrB2-SiC复合陶瓷的弯曲强度为743MPa，断裂韧性为6．5MPa.m^1/2；断裂机制主要是沿晶断裂和穿晶断裂的混合机制。     

一种支持领域变化性的Web Services组装方法

随着Web Services及其相关技术的成熟,软件开发逐渐从基于构件的软件开发转向基于服务的软件开发。因此如何支持适应用户需求的Web Services的组装是当前研究的热点之一。本文提出了一种支持领域变化性的Web Services组装方法,该方法可以较好地适应用户需求的更改。文中引入了领域组装模型,使之能对一族具有领域共性和变化性的系统进行定义与描述。接着论述了如何根据用户的需求来确定Web Services应用的系统组装模型,并转换为可执行的组装描述语言的过程和方法。本文在最后给出了一个应用实例。     

一种基于LDA和静态分析的代码功能识别方法

近年来,随着代码复用技术不断成熟和Internet上开源项目不断丰富,软件开发人员的开发行为也逐渐发生了变化。如今,软件开发人员在编程过程中越来越多地依赖于开源软件项目提供的功能。然而,在软件复用活动中,由于开源项目文档的不全面以及代码结构的复杂性,软件开发人员往往只能片面地了解项目的某些功能点,使得复用效率不高。针对开源项目代码丰富而文档较少这一现状,提出了一种基于LDA（Latent Dirichlet Allocation）和静态分析的代码功能识别方法,对传统LDA方法进行了扩展,帮助软件开发人员更全面地了解项目的功能点,从而更好地支持代码复用活动。     

OKQA：一个基于本体的软件开发知识QA工具

近年来,软件开发模式逐渐从经验驱动的手工构造模式到知识驱动的自动生成模式进行转换,而在知识驱动的软件开发过程中,QA工具可以帮助开发人员更好地理解项目源代码。一般的,开发人员往往需要阅读大量文档、并对软件项目代码进行静态分析,利用某种形式化的查询方法才能获取软件项目的相关信息,这增加了软件开发的时间成本和学习成本。基于该问题,实现了一个基于本体的软件开发知识QA工具OKQA,OKQA可以支持开发人员的自然语言查询输入,帮助开发人员找到理解软件代码的相关答案,从而有效地指导开发人员理解及复用软件代码。     

时序知识图谱表示学习

知识图谱作为一种结构化的人类知识形式,对海量多源异构异质的数据语义互通起到了很好的支撑作用,并有效地支持了数据分析等任务,成为了近年来学术界和工业界的研究热点。目前大多数知识图谱都是根据非实时的静态数据构建,没有考虑实体和关系的时间特性。然而社交网络通信、金融贸易、疫情传播网络等应用场景的数据具有实时动态的特点以及复杂的时间特性,如何利用时序数据构建知识图谱并且对该知识图谱进行有效建模是一个具有挑战性的问题。目前,有许多研究工作利用时序数据中的时间信息丰富知识图谱的特征,赋予知识图谱动态特征,将事实三元组拓展为(头实体,关系,尾实体,时间)的四元组表示,使用时间相关四元组进行知识表示的知识图谱被统称为时序知识图谱。文中对时序知识图谱相关文献进行整理和分析,并对时序知识图谱表示学习的工作进行了全面综述。具体地,首先简单介绍了时序知识图谱的背景与定义;其次总结了时序知识图谱表示学习方法相比传统知识图谱表示学习方法的优点;然后从事实的建模方法角度详细阐述了时序知识图谱表示学习的主要方法,并且介绍了上述方法使用到的数据集;最后对该技术的主要挑战进行了总结,并对其未来研究方向进行了展望。