探头的选择

对探头的选择包括探头型式、前沿、晶片尺寸、斜探头K值等进行了介绍。     

AZ91D-RE-xCa镁合金挤压管件组织及性能

研究了镁合金AZ91D加入混合RE及Ca进行合金化后的AZ91D-RE-xCa（x=0．5、1．0、1．5）镁合金挤压管件的显微组织、室温及高温（150℃和200℃）力学性能。结果表明，合金化之后的镁合金挤压管件高温性能得到了显著的提高。在200℃时，钙含量（质量分数）为0．5％时，δb为225．2MPa，δ0.2为179．3MPa，δ为5．3％，好于同等试验条件下的镁合金AZ91D管件。     

半固态挤压Al-Si-Fe合金组织与性能

采用半固态挤压成形技术制备了Al-17Si-5Fe-3Mn-4Cu-1Mg(质量分数,%)合金。利用金相显微镜分析了合金铸态、电磁搅拌态、挤压态的组织。用电子万能试验机对挤压态合金的力学性能进行测量。试验结果表明:经过半固态挤压后,合金组织发生了明显细化,第二相长度和厚度减小,同时尖角发生钝化,且分布较均匀,力学性能比铸态提高了117.4%。     

Improving the Performance and Energy E?ciency of Phase Change Memory Systems

Phase change memory (PCM) is a promising technology for future memory thanks to its better scalability and lower leakage power than DRAM (dynamic random-access memory). However, adopting PCM as main me...     

安全攸关软件系统建模与验证专题前言

随着计算机技术应用的日益普及和不断深入,软件系统的规模和复杂性急剧增大,软件在越来越多的系统中成为主要的使能部件.在航空航天、武器装备、医疗设备、交通、核能、金融等安全攸关的应用领域,软件系统失效将导致灾难性的后果,保障软件系统的质量成为迫切的需求和挑战.建模、分析与验证是保障软件系统质量的重要环节和手段.本专题收录的14篇论文反映了近年来我国学者在安全攸关软件系统建模与验证领域的     

面向自动修复并融合失效场景的缺陷定位方法

为了应对日益增长的软件修复开销,研究高效的软件自动修复技术成为学术界和工业界的共识。缺陷定位作为自动修复技术的前端,是实现快速准确自动修复的关键,其精度直接影响自动修复的性能。然而,初步研究表明,现有缺陷定位技术缺乏对自修复需求的考虑,对自修复算法支持有限。有必要研究面向自修复的高精度自动化缺陷定位技术,以提升自修复性能。因此,提出了失效场景的缺陷定位方法来应对该问题。提出的方法首先采用程序切片技术,构造出与失效相关的场景;然后对失效场景的各个元素实施可疑值度量;最后将可疑值度量化的场景交给自动修复技术实施修复。初步实验结果表明,本缺陷定位方法能有效提升自动修复性能。     

旁多水利枢纽坝体砂砾石过渡料现场控制

旁多水利枢纽工程大坝为碾压式沥青混凝土心墙砂砾石坝,心墙两侧设置砂砾石过渡料,通过砂砾石过渡料现场碾压工艺性试验,确定现场施工参数和施工方法,进而确定现场砂砾石过渡料的质量铺设控制指标,为整个大坝过渡料填筑碾压施工和质量控制提供依据。     

基于四轴飞行器的合训类本科毕业设计实践

针对信息化战争的发展趋势和基础合训类学员的任职需求,以提高学员的综合实践能力和激发学员的学习兴趣为目的,介绍基于AR.Drone四轴飞行器开展飞行器控制软件的合训类本科毕业设计的探索实践。     

新焦点 新挑战

无论是工业互联网,还是数字化时代的信息安全,都将会成为未来一段时间内我国软件和信息服务产业新的焦点。     

基于云计算的网络安全的探析

随着云计算的快速的发展,越来越多的用户将应用和数据托管到了云端。但是由于云计算具有的虚拟化、多用户、可伸缩等新特性,使得传统的安全技术并不能保证云计算的安全,云计算中的安全问题成了阻碍云计算发展的最主要的问题之一。因此,云计算的安全性成为了当前研究云计算的重点。