采矿废石—尾砂混合骨料在下向分层进路胶结充填采矿中应用的试验研究

为了降低金川矿山充填采矿成本,针对下向分层进路胶结充填采矿法,开展了废石—尾砂混合骨料现场工业充填试验.对废石和尾砂进行了粒度分析与级配研究,选取合适的废石—尾砂配比混合骨料开展现场工业充填试验研究.结果表明:-16 mm废石粗骨料和选矿尾砂细骨料的配比在5:5～7:3范围内,此时混合骨料的堆积密实度达到或接近于最大;...     

并发程序切片方法综述

随着实际应用对并发软件需求的不断增加,并发程序的应用越来越广,程序切片的研究不再仅仅局限于顺序程序,并发程序切片的研究也越来越多。但是由于并发程序执行的不确定性,并发程序切片的研究还有许多问题有待解决。文中介绍了当前主要的几种并发程序切片方法及其主要特性,并对这些切片方法进行了比较分析,结果表明并发程序切片的效率和精度都达到理想的目标是不可能的,只能是在两者之间的均衡,最后简要介绍了并发程序切片的应用。     

基于切片分组网（SPN）的彩光技术及组网方案

随着5G的规模部署,对传输网络提出更大带宽、更低时延的要求。作为面向5G的综合业务承载平台,切片分组网（SPN）统一承载无线业务、家庭宽带业务和政企专线业务等,业务量的激增迫使SPN汇聚层和核心层急需大带宽长距传输技术。对SPN彩光技术及组网方案进行研究,包括业务需求、技术方案、组网方案、产业及标准进展等,并进行实验室和现网测试,验证SPN彩光组网功能和性能。     

深井高应力难采煤层上行卸压开采的研究与实践

以新汶矿区为工程背景，深入研究了采动覆岩裂隙亚分带特征、覆岩运动与结构分带特征、上行卸压开采作用效应，建立了上行卸压开采可行程度的评价方法，论证了深井复合顶板煤层上行卸压开采的可行程度，通过应用实践根除了深井高应力难采煤层的多重障碍，为上行卸压开采的可行程度判别、区域划分、开采部署提供了决策依据。     

分层开采底板岩体渗透性变化的试验研究

华北煤田石炭二叠纪煤系地层底部存在着含水丰富的奥陶纪石灰岩。开采实践表明,一旦煤层与奥灰之间的隔水层内存在地质构造或煤层开采引志底板岩体破坏,可能会在煤层和含水层之间形成导水带,从而诱发突水,介绍了分层开采引起对底板岩石渗透性影响的试验成果,并进行了详尽的分析,获得了分层开采对煤层底板岩体渗透性的影响规律。     

An implicit slicing method for additive manufacturing processes

ABSTRACT

All additive manufacturing processes involve a distinct pre-processing stage whereby the part geometry is translated into a process-specific printing plan. This plan is developed in layers or slices of the original part geometry by a set of algorithms collectively known as a slicer. Most commercial slicing programmes generate tool paths explicitly and do not consider the impact of resulting geometric part features (e.g. thin walls, small corners, round profiles) which can result in critical voids leading to part failure. Recent work into an implicit slicing algorithm allows for an infinite set of functionally defined infill patterns to be defined. When these patterns are overlaid onto each part layer, the mechanical properties of the part and the presence undesirable voids and flaws can be reduced or eliminated. The variation of part properties is demonstrated with tensile tests of dog-bone specimens with different infill patterns to determine their resulting mechanical properties.     

基于“IPv6+”的智能IP网络方案

随着第4次工业革命的到来,人类社会正逐步迈向万物互联的智能时代。智能时代需要更加自动化、智能化的IP网络,基于“IPv6+”的SRv6、BIERv6等技术是使能新一代IP网络的关键基础。全面阐述了“IPv6+”的技术内涵,结合华为在智能 IP 网络解决方案上的创新和思考,介绍了“IPv6+”在极简连接、SLA 保障、专网体验、质量感知和云网一体等多个解决方案场景的关键技术与典型应用,助力5G与云业务发展。     

一种包含异常处理结构的面向对象切片方法

针对面向对象语言的特点,结合异常处理机制,对传统的系统依赖图（SDG图）进行了扩展,实现了面向对象的系统依赖图（OSDG图）.改进后的OSDG图可以很好地支持继承和多态等特征,并能处理多态对象抛出和处理异常所带来的数据和控制依赖关系.通过传统的程序切片算法,可以在OSDG上切出较为精确的切片.     

A HYBRID DYNAMIC PROGRAM SLICING

This letter proposes a hybrid method for computing dynamic program slicing. The key element is to construct a Coverage-Testing-based Dynamic Dependence Graph (CTDDG),which makes use of both dynamic and static information to get execution status. The approach overcomes the limitations of previous dynamic slicing methods, which have to redo slicing if slice criterion changes.