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

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

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

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

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

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

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

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

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

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

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

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

自行走式隧道施工中装配式塑料管道合理支护形式试验研究

采用装配式塑料管道为新型自行走式隧(管)道施工提供配套支护技术.需要研究管道的支护强度、管道变形等相关参数.将整体聚乙烯(PE)中空壁缠绕管沿管壁轴向切割成片,再焊接拼装成环.选择管道周向的分片数目和拼装角度作为试验的2个因素,采用双因素实验方法,并参考管道环刚度测试方法,在环刚度试验机上对分片拼装后的管道进行承压实验.以塑料管道在径向变形最大达到15%时的承载力为承载极限,经对实验结果分析后选出合理的管道拼装分片数目和角度.结果表明,拼装角度对强度的影响最为显著,分片数目次之.合理支护形式为:管道周向均分成4片,并将4条分割缝分别置于与水平和铅垂方向旋转45°的位置.     

Quality and Shelf-life of Fresh Cut Carrot Slices as Affected by Slicing Method

The effects of slicing method on the quality and storage-life of modified atmosphere packaged carrot slices were determined using microscopy, sensory evaluation, microbial counts and a range of physical and chemical tests. Slicing caused physical damage, physiological stress and enhanced microbial growth. The severity of these effects were in the order of blunt machine blade > sharp machine blade > razor blade. These findings provide insights into the magnitude and basis of slicing effects and also confirm the importance of gentle processing and the use of a sharp blade.     

Non-Standard Semantics for Program Slicing

In this paper we generalize the notion of compositional semantics to cope with transfinite reductions of a transition system. Standard denotational and predicate transformer semantics, even though compositional, provide inadequate models for some known program manipulation techniques. We are interested in the systematic design of extended compositional semantics, observing possible transfinite computations, i.e. computations that may occur after a given number of infinite loops. This generalization is necessary to deal with program manipulation techniques modifying the termination status of programs, such as program slicing. We include the transfinite generalization of semantics in the hierarchy developed in 1997 by P. Cousot, where semantics at different levels of abstraction are related with each other by abstract interpretation. We prove that a specular hierarchy of non-standard semantics modeling transfinite computations of programs can be specifiedin such a way that the standard hierarchy can be derived by abstract interpretation. We prove that non-standard transfinite denotational and predicate transformer semantics can be both systematically derived as solutions of simple abstract domain equations involving the basic operation of reduced power of abstract domains. This allows us to prove the optimality of these semantics, i.e. they are the most abstract semantics in the hierarchy which are compositional and observe respectively the terminating and initial states of transfinite computations, providing an adequate mathematical model for program manipulation.