综放采煤自动化煤岩识别传感器的研究

在实现综放采煤自动化的过程中,能准确检测区分出煤和岩石是实现无人作业工作面的难点.在高速数字信号处理器(DSP)平台上建立CCD数字处理系统,通过DSP对图像的离散脉冲噪声进行中值滤波,并实时计算出每一张图像的灰度直方图,提取煤炭和岩石的特征区别,从而实现对综放工作面的控制.通过Matlab仿真和实际测试结果表明:检测...     

综放面沿空掘巷的矿压显现分析

采用数值分析法并结合现场实际，研究了采空区压实状况对沿空掘巷围岩应力和位移的影响。研究表明，采空区压实稳定是改善沿空掘巷维护状况的先决条件。     

沿煤掘进工作面顶板冒落机理及防治措施

通过对与顶板冒落机理有关的顶板压力、构造、涌水量、支架变形等进行分析,提出了具体的防治措施,指出随着新地质情况的出现,加强新技术、新方法研究的重要性。     

一种基于切片技术度量Java耦合性的框架

在研究面向对象的度量问题时,人们通过简单的统计方法和基于信息源的方法来度量其中的一些特征,例如基本度量、CK度量和AoKi度量等。文中采用一种基于程序切片的方法来度量Java的耦合性问题,通过对J ava源程序中存在的耦合关系的度量,得到了一种比传统方法更精确的耦合度量方法。     

基于程序依赖图的克隆检测及改进

为了发现克隆代码并检测出其中的错误,研究了多种克隆代码检测技术,对于其中一种检测——基于程序依赖图(PDG)的克隆检测进行了详细介绍,并举例对该过程进行了分析.这样检测虽然相比其它检测技术对于断层克隆有着独特的优势,但是对于功能克隆却起不到理想效果.为了使克隆检测更加详尽及精确,以及能有效地检测功能克隆,对程序依赖图的形成过程进一步改进,在语法上对于语句进行断层,并对其进行相应规范.     

基于可靠性的5G-低轨星座网络切片映射算法

随着国家天地一体化信息网络重大项目的 推进,5G-低轨星座网络切片的可靠映射成为业内的研究热点.在基于软件定义网络(software-defined network,SDN)和网络功能虚拟化(network function virtualization,NFV)的5G-低轨星座集成网络架构下,将5G-低轨星座网络切片的可靠映射问题建模为一个混合整数线性规划问题.在此基础上,研究了切片请求的资源编排,进而提出了基于广度优先搜索的可靠映射算法.该算法综合考虑切片请求的可靠性阈值及虚拟网络功能(virtual network function,VNF)的资源需求,在虚拟网络映射中根据节点的可靠重要度对节点进行排序.仿真结果表明,该算法在满足可靠性阈值约束的条件下,能够最大化收益开销比,提高虚拟网络映射成功率,在切片可靠性及接受率等方面优于对比算法.     

A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits

This paper presents a scalable method for parallelizing symbolic reachability analysis on a distributed-memory environment of workstations. We have developed an adaptive partitioning algorithm that significantly reduces space requirements. The memory balance is maintained by dynamically repartitioning the state space throughout the computation. A compact BDD representation allows coordination by shipping BDDs from one machine to another. This representation allows for different variable orders in the sending and receiving processes. The algorithm uses a distributed termination protocol, with none of the memory modules preserving a complete image of the set of reachable states. No external storage is used on the disk. Rather, we make use of the network, which is much faster.We implemented our method on a standard, loosely-connected environment of workstations, using a high-performance model checker. Initial performance evaluation of several large circuits shows that our method can handle models too large to fit in the memory of a single node. The partitioning algorithm achieves reduction in space, which is linear in the number of workstations employed. A corresponding decrease in space requirements is measured throughout the reachability analysis. Our results show that the relatively slow network does not become a bottleneck, and that computation time is kept reasonably small.     

多元QoS约束下电力通信无线资源分配的边缘代理调度方法

为满足不同配电通信业务的服务质量要求,BS需要在时变网络条件下实时优化无线资源。提出一种基于级联深度网络的接入网无线资源边缘代理调度方法,将时频资源和发射功率分配给延迟耐受度不同的业务。核心网采用网元功能与专用硬件设备解耦的软切片方法,在保证负荷在规定时长内可靠切除的同时,提高了核心网服务器对不同业务的时空间复用能力。仿真结果表明,多业务并列运行时RTU与协控子站间的接入时延与TD-LTE专网相比降低40.76%,相邻第一第二信道间的功率泄露比均高于45 dB,满足毫秒级负荷切除业务分路整组动作时延和通信可靠性的要求。     

基于5G网络切片技术的农网智能监控传输应用

基于5G(5th-Generation,第五代移动通信技术)网络背景,根据电网差异化场景定制、多种类数据承载需求,以网络切片架构原理和实现技术为起点,重点针对农村网络(农网)智能监控中覆盖范围存在盲区、信息传输无法实时同步、视频清晰度欠佳等常见问题,提出一种多元化信息的切片传输方案,详细阐述方案原理架构及实现思路.通过...     

基于可行空间并行的安全约束最优潮流

为了提高电网控制决策的实时性,文中将计及预想故障安全约束的经济性优化问题分解为以发电成本最小为目标的基态最优潮流主问题和预想故障安全校核子问题,并提出一种基于可调空间切片并行的分解协调算法进行求解,以避免交替迭代。首先,按不同比例对可调空间进行切片形成多个切片方案,并基于并行计算平台采用原始-对偶内点法对各切片方案进行基态最优潮流主问题求解;然后,对各优化后方式进行预想故障并行安全校核;接着从通过安全校核的切片方案中挑选出发电成本最小的方案;最后,以贵州省某市电网为算例分析验证了所提方法的有效性。