基于安全感知的网络切片部署策略

针对网络切片的安全部署问题,提出一种基于安全感知的网络切片部署策略。在网络切片部署阶段,先进行虚拟网络功能（VNF）映射,从安全需求的角度定义VNF与物理节点之间的安全约束条件;其次,提取切片部署过程中物理节点的安全特征矩阵,利用策略网络输出安全特征矩阵的概率分布并进行排序;最后,采用基于策略的强化学习方法求解VNF的映射结果。当VNF映射完成后,采用Dijkstra算法进行虚拟链路映射,得到网络切片安全部署结果。仿真结果表明,所提策略在长期收益开销比、请求接受率、网络资源利用率、带宽利用率与运行时间上均优于GRC、VNEC-RL与SVNEC-RL算法,且保证了部署过程中网络切片的安全需求。     

Application of Dynamic Slicing in Test Data Generation

The program slicing technique is employed to calculate the current values of the variables at some interest points in software test data generation. This paper introduces the concept of statement domination to represent the multiple nests, and presents a dynamic program slice algorithm based on forward analysis to generate dynamic slices. In the approach, more attention is given to the statement itself or its domination node, so computing program slices is more easy and accurate, especially for those programs with multiple nests. In addition, a case study is discussed to illustrate our algorithm. Experimental results show that the slicing technique can be used in software test data generation to enhance the effectiveness.     

三维高密度电法技术在岩层富水性探测中的应用

针对目前采用二维高密度探测矿井底板水只能获得巷道底板的富水性特征而不能获得工作面内部的底板富水性情况的现状,通过改造测线的布置方法,改进仪器设备,开发数据采集与处理软件,提出了三维高密度电法探测技术,实现了对工作面底板富水性采前三维数据体的采集,并以slice-dicer为平台实现了采场底板含水性三维电阻率成像,可方便地进行水平及垂直切片,将工作面底板富水状态直观地表现出来,结合实例应用说明该技术的实用性和有效性.     

改进的基于逆向流分析的C程序切片算法

为解决切片算法时空开销太大的问题, 提出一种改进的基于逆向流的静态切片算法。只需通过分析控制依赖, 获得程序整体框架, 再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖, 以此得到程序切片。该算法减少了计算控制流的工作量, 避免计算谓词依赖集的过程, 减少了存储资源开销, 提高了切片的效率。     

Web application comprehension based on dependence analysis

Many research indicate a lot of money and time are spent on maintaining and modifying program delivered. So the policies to support program comprehension are very important. Program comprehension is a crucial and difficult task. Insufficient design, illogical code structure, short documeres will enhance the comprehensive difficulty. Developing Web application is usually a process with quick implementation and delivery. In addition, generally a Web application is coded by combining mark language statements with some embedded applets. Such programming mode affects comprehension of Web applications disadvantageously. This paper proposes a method to improving understanding Web by dependence analysis and slice technology.     

过程间的程序分片技术

程序分片在程序理解、调试、维护、测试和集成等许多领域都有广泛的应用.过程间的程序分片是分片技术的难点之一.在总结了现有的过程间分片技术基础之上,重点介绍了具有代表性的图形可达性算法.     

石料截断切割最优化数学模型

通过引入变换矩阵的方法,建立了截断切割问题的一般数学模型,对数学模型提出了求解方法,利用ＰＡＳＣＡＬ语言编写了一个对给定参数快速求截断切割最优解的程序。     

面向服务定制的未来网络架构

互联网业务的蓬勃发展带动网络技术进步,但是,近几年出现的新业务,例如4K/8K高清视频、增强现实、自动驾驶等技术都对网络提出了新的需求,面对这些新需求,目前的网络架构暴露出诸多问题.因此,提出一种面向服务定制(service-customized networking,SCN)的未来网络架构.SCN基于SDN/NFV(software defined network/network functions virtualization)技术实现网络切片,为业务提供差异化的端到端服务质量保障.SCN通过在网络中差异化部署缓存资源,解决网络中冗余传输的问题.同时,SCN在其架构设计中加入了网络信息感知平面,通过采集底层网络状态并对收集的信息进行大数据处理分析,为更加合理的网络切片以及差异化缓存部署提供依据.     

激光快速成形中直接切片处理技术的研究

激光快速成形是近年来发展起来的一项高新制造技术,文章针对激光快速成形前处理过程中使用的STL(STere-oLithography)格式文件的信息冗余量大、数据处理时间长、精度差、需要检查和修改等缺点,提出了对三维CAD模型直接切片的方法,通过对模型的直接切片,能减少数据处理时间,降低文件规模,提高工件精度。直接切片的方法在MDT(Mechani-calDesktop)软件平台上得到了实现。     

Complexity measure based on program slicing and its validation

The popular single-factor complexity measure cannot comprehensively reflect program complexity and the existing hybrid complexity measure cannot express the interactive behaviors of programs. To treat these problems, in this paper, we propose a complexity measure based on program slicing（CMBPS）. CMPBS not only can evaluate factors which affect program complexity such as the length of the program, control flow, data flow and data types of output variables, but also can give expression of the interactive relation between programs. And we also prove that CMBPS satisfies all of Weyuker properties. Compared with the popular complexity measures, CMBPS is a well-structured complexity measure.