基于可信执行环境的物联网边缘流处理安全技术综述

万物互联时代,物联网中感知设备持续产生大量的敏感数据。实时且安全的数据流处理是面向物联网关键应用中需要解决的一个挑战。在近年兴起的边缘计算模式下,借助靠近终端的设备执行计算密集型任务与存储大量的终端设备数据,物联网中数据流处理的安全性和实时性可以得到有效的提升。然而,在基于边缘的物联网流处理架构下,数据被暴露在边缘设备易受攻击的软件堆栈中,从而给边缘带来了新的安全威胁。为此,文章对基于可信执行环境的物联网边缘流处理安全技术进行研究。从边缘出发,介绍边缘安全流处理相关背景并探讨边缘安全流处理的具体解决方案,接着分析主流方案的实验结果,最后展望未来研究方向。     

基于图表示学习的消息回复关系判断方法

微信、QQ和钉钉等社交媒体都提供多对多聊天群组功能,这些聊天群组包含海量信息,对群组聊天内容进行有效分析,获取有价值的关联信息,是当前领域的研究热点。群组中用户间交互是群组实现的主要功能,用户间消息回复是用户间交互实现的方式,消息间的回复行为下隐藏着消息间和用户间的关系。群组消息间回复通常是隐式和非连续的,大部分群组消息间没有指定明确的回复关系,当前消息也不一定是上一条临近消息的回复,回复关系要根据具体的聊天场景确定。当消息间没有显示指定回复关系时,回复不易于分析和理解群组聊天内容,阻碍了对群组聊天内容的整体性分析。本论文针对群组消息间的回复关系,提出了基于图表示学习的消息回复关系判断方法,该方法不同于以往方法仅使用部分群组要素,是在综合学习消息的文本信息、发送消息的用户信息和上下文信息的基础上,根据群组内容构建群组图和生成自适应消息图,得到了多种群组要素信息和要素间关系组成的图结构,利用图模型在图结构上进行群组消息的表示学习,图模型输出群组消息的表示向量,拼接消息对的表示向量并进一步预测群组消息间的回复关系。在消息间回复关系的学习过程中,图模型通过任务学习更新图中消息节点,同时更新图中用户节点向量表示,经过用户向量分析实验验证了该模型输出的用户向量的有效性和合理性。在公开数据集和标注数据集上进行了对比实验和显著性检验分析,结果显示模型在多个评估指标上大幅优于对比模型,如在F1指标上,比单纯依赖BERT的句子对分类模型提高了接近20%。     

中缅天然气管线沿线滑坡变形监测与机理分析——以黔西南州沙子镇滑坡为例

中缅天然气管线黔西晴隆段沙子镇2016年和2017年连续2次因滑坡引发天然气管线破裂事件,引起了人们的极大关注。滑坡的变形机制和监测对该区的天然气管线的正常运营具有非常重要的意义。在研究区域构造背景的基础上,根据该区地质、构造特征和现场收集的滑坡变形资料及监测数据,开展了该区段变形机制的研究和变形监测分析。研究结果表明:滑坡变形主要划分为管线正常运行阶段的坡体未变形、缓慢蠕滑变形、加速蠕滑变形和管线破裂变形4个阶段。滑坡主要是由于人工堆填土方所引起的蠕滑变形所致。监测数据表明:通过抗滑处理后,坡体的变形得到了有效控制,天然气管线运行较为安全,但仍需要进一步的监测和预报。     

低消耗免查找表CORDIC算法

为减少传统流水线型CORDIC(Coordinate Rotation Digital Computer)算法的硬件资源消耗和输出时延,在包含查找表的三阶段CORDIC算法实现基础上,提出一种免去查找表环节的CORDIC算法实现方法.提出的改进算法直接使用四次移位相加的迭代运算替换查找表结构从而显著降低寄存器消耗,同时通过合并迭代降低迭代次数进而有效减少最大输出时延,并综合运用角度二极化重编码(Binary To Bipolar Recoding,BBR)方法和角度区间折叠技术保证了输出精度.使用Verilog HDL语言在ISE14.2软件平台上对三种算法进行具体实现,利用XST工具对其进行综合,并通过MATLAB建模计算得到算法的正余弦值输出误差.仿真实验结果表明:在输出位宽均设置为16位的情况下,免查找表CORDIC算法能够有效地输出正余弦值;与传统流水线型算法相比,免查找表算法的寄存器资源消耗减少大约74.42%,计算所需的时钟周期降低68.75%,其输出精度也有明显改善;与三阶段算法相比,免查找表算法的寄存器消耗减少大约43.3%.本文提出的免查找表CORDIC算法具有实时性强、输出精度高、硬件资源消耗少等优势,更适用于高速实时的现代数字通信系统应用.     

Ultra-low latency and omit-iteration CORDIC algorithm

The pipeline structure Coordinate Rotation Digital Computer (CORDIC) algorithm improves its precision by increasing the stages of iterations, which leads to a large delay, excessive consumption of hardware and limits its applications.The omit-iteration CORDIC algorithm is proposed to solve this problem by using the methods of binary to bipolar recoding, folding angle domain, merging iteration and optimizing the lookup table. Simulation results show that this method needs only two clock cycles to get the output and also makes improvement on the hardware consumption and its precision, especially having privilege to the application on high speed and real-time occasions compared with other realization of the CORDIC algorithm.     

Fast method for SAR echo simulation of a three-dimensional ground scene

Due to huge calculation of SAR echo simulation of a three-dimensional (3D) ground scene, a fast simulation method is proposed. First, the data of a 3D ground scene are fractionally interpolated based on the Fractional Brownian Motion (FBM) model. Second, the data interpolated are divided into lots of small facets whose precision meets the simulation requirement, the backscattering coefficients of the small facets are calculated. Third, the shaded area is judged by the comparison method of overlook angles. Three parallel levels are analyzed and the kernel function is designed. Finally, the computing method of reduction adding and external thread are also utilized under the framework of GPU in order to get high efficiency. With the methods mentioned above, the imaging result of experimental DEM data verifies the validity and superiority of the proposed method.     

Review:Mg and Its Alloy——Scope, Future Perspectives and Recent Advancements in Welding and Processing

镁/镁合金焊接与加工的最新进展与未来展望

Sachin Kumar,武传松

（山东大学 材料科学与工程学院,济南 250061）

中文说明：

该文非常详细地综述了镁及镁合金的生产、加工及焊接的研究现状。尤其是在镁合金焊接部分,作者比较详细地阐述了熔化焊、激光焊、固相焊及钎焊等方法在镁合金焊接中的研究现状、存在问题与发展动向。该文对于镁合金焊接研究人员具有重要的参考价值。

关键词：镁;镁合金;加工;焊接;连接;最新进展

     

事件约束的时间不确定事件流查询处理

提出两种事件约束的时间不确定事件流查询处理方法.基于可能世界的查询处理方法,根据事件约束的不确定事件查询语义,通过对可能世界的遍历获取查询结果.基于事件约束优先的查询处理方法中,根据事件约束计算其所涉及事件发生时间的联合分布律,进而获得复合查询所涉及事件的边缘分布律,最后利用时间不确定事件查询处理技术进行后续的查询处理.实验证明了2种方法对时间不确定约束事件查询有效.基于事件约束优先查询处理方法的可能世界集规模更小,比基于可能世界的查询处理方法更高效.     

基于图像处理的水表智能检定系统研究

为实现指针式水表自动判读和提高识别精度,结合水表表盘结构信息来识别表盘读数的图像.水表指针提取过程中采用色差模型对图像进行处理;计算针尖像素质心均值实现对指针方向的确定;特别对指针判读时采用一种改进的角度法实现判读准确性的提高.最后,以检定水表的不同流量点的示值误差作为衡量系统准确性的主要验证指标,通过与其他传统方法相比较,结果表明,利用图像处理和改进的角度判读方法具有很好的准确性和可靠性.     

激光雕刻系统中数据处理技术研究

近年来,激光雕刻技术受到越来越多的关注,FPGA数据处理是激光雕刻系统中的重要部分,数据检测提取负责雕刻中重要参数的提取,灰度功率匹配将灰度级和激光器输出功率建立线性关系,使得雕刻系统实现多灰度级的平滑雕刻。雕刻结果表明可以实现256级灰度雕刻,雕刻图像具有层次感。