炮采放顶煤开采

介绍了鹤岗兴山矿２１３－２采煤队进行炮采放顶煤开采的经验。     

一种基于切片技术度量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.     

基于关键谓词的程序错误定位方法

将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数。提出一种基于关键谓词的程序错误定位方法,从程序中找出能影响输出结果的关键谓词,对该谓词和错误输出语句进行数据切片,并引入代码优先技术。该方法考虑了数据依赖和控制依赖,能实现准确快速的错误定位。     

空天地一体化融合组网的挑战与关键技术

面向全域一致通信体验的需求,协同天基、空基、地基网络,能够消除通信盲区、加强广域互联的空天地一体化融合组网是未来通信重要的发展方向之一。然而,现阶段的空天地一体化融合组网只在一些特殊场景中取得了初步的应用,距离消除通信盲区、广域万物智联的愿景仍然存在诸多挑战。首先,文中概述了未来的空天地一体化融合组网架构;然后,分别从硬件、协议、节点部署和服务保障的角度分析了融合组网过程中面临的四大挑战,包括基于专用硬件的网元节点带来的融合组网功能升级困难、现有卫星通信协议标准性能低、三维广域空间带来的活动基站选址困难以及多样化业务难以进行差异化保障等问题。针对上述挑战,分别介绍了面向卫星的轻量级虚拟化技术、基于5G技术的卫星通信系统、水平与垂直面解耦的的活动基站选址和端到端的空天地一体化网络切片4个解决方案,为空天地一体化融合组网的发展提供参考。     

基于子块积分循环双谱的雷达辐射源信号识别

循环双谱性能优越,能用于雷达辐射源信号的识别,但是其数据量庞大。循环双谱对角切片法丢失了大部分信息。证明了循环双谱的对称性和周期性,在此基础上提出了子块积分循环双谱,该方法不但能有效地减小数据量,而且保留了大部分的循环双谱信息。然后用Fisher判决率(FDR)选择鉴别能力较强的子块积分循环双谱。仿真条件下,对比分析了子块积分循环双谱与循环双谱对角切片法的识别效果,结果表明新方法的识别性能远优于对角切片法。     

一种软件体系结构动态变动影响分析方法

提出一种基于构件交互序列的软件体系结构动态变动影响分析方法,对于给定的软件体系结构变动,该方法确定导致该变动的软件体系结构元素集合、受该变动影响的软件体系结构元素集合以及回归测试用例集合。提出基于组装的软件体系结构,定义构件交互序列,给出通过软件体系结构的静态结构模型和对象顺序图生成构件交互序列的算法。列举软件体系结构元素的变动并对其进行分类。针对每一类变动,给出一系列影响传递规则来确定变动在构件内及构件间的传递。     

基于SolidWorks的CAD模型直接切层研究

针对面曝光快速成形系统的需要,提出了基于SolidWorks的CAD模型直接切层方法.利用SolidWorks在工程图环境下的剖切功能,实现对CAD模型的直接切层.解决了对复杂CAD模型切层时出现的截面错位问题.论述了用于多种曝光模式的截面填充样式的实现方法.以该切层方法得到的CAD模型的截面图形作动态掩膜,利用面曝光快速成形系统成功制作出了三维实体原型,表明该直接切层方法适用于面曝光快速成形系统.