云环境下基于内存总线的侧信道攻击检测方法

云计算环境下存在基于内存总线阻塞的侧信道,恶意用户可利用该侧信道以最低权限窃取客户敏感信息.针对这一问题,本文引入时序差分熵和虚拟机自省技术,提出了一种面向云计算的基于内存总线的侧信道攻击检测方法.该方法不仅可依据内存阻塞时序特征及系统负载状况对系统状态分类,而且实现了系统高危态的精确判定和恶意进程定位.实验结果表明:该方法能准确识别攻击的存在性,并能实现恶意进程的定位.     

基于查找表的电路老化检测传感器设计

通过对电路老化检测与查找表(Look-Up Table,LUT)方法的研究,提出一种基于查找表的电路老化检测传感器设计方案.该方案首先建立老化压控振荡器(Voltage Controlled Oscillator VCO)频率降级?t_p和电压压降?V_(DC)的老化模型,通过老化感知电路产生基准频率和老化频率其次,利用相位放大原理得到频差信号,并采用计数基准VCO周期的方式将频差信号量化.然后,按LUT规则将老化信息以电压方式输出.最后,在TSMC 65 nm CMOS工艺下仿真验证,结果表明所设计的老化检测传感器感应分辨率为0.001 8%,老化模型计算值与仿真数据相对误差在9%以内,能够实现电路老化检测的功能.     

一种提高差分GPS基准站定位精度的新方法

在差分GPS系统的应用中，基准站的精确定位是一个重要问题，本文首先介绍了C/A码差分GPS基准站的精确定位的一般方法，着重对在实践中最常用的简单平均方法做了详细分析，针对简单平均方法的不足之外，提出了一种基于精确衰减因子（DOP）加权的卡尔曼滤波方法，实验结果表明，本文提出的C/A码差分GPS基准站定位方法能够有效地提高定位精度。     

基于TCM电路的抗温度漂移老化传感器设计

结合电路老化检测原理与温度补偿方法(Temperature Compensation Method, TCM), 提出了一种具有抗温度漂移特性的老化传感器电路方案. 该方案首先根据晶体管的温度补偿, 设计温度不敏感的TCM延迟单元; 然后结合被测组合电路的老化冗余时间, 利用TCM延迟单元级联方式实现参考老化延迟电路; 最后将老化延迟检测电路的输出和参考延迟电路的输出进行时序比较, 判断电路是否处于老化状态. 在SIMC 65nm CMOS工艺下仿真验证, 结果表明所设计的老化传感器功能正常, 在-40~120℃之间稳定性达到98％.     

基于内存对象访问序列动态胎记的程序同源性判别方法

针对现有二进制程序同源性判别方法受限于特定编程语言或环境、难以应对复杂的代码混淆攻击、易受依赖库影响等问题,提出了一种基于内存对象访问序列动态胎记(dynamic birthmarks based on memory object access sequences, DBMOAS)的程序同源性判别方法。该方法将程序对数据结构的访问顺序流作为程序语义的一种鲁棒性特征并加以分析,能较好地应对复杂的代码混淆攻击;基于动态污点分析,表征程序的数据结构,解决了二进制程序缺少数据结构与类型的语义表示问题。为验证DBMOAS方法的可信性和弹性,在窗口大小取值不同的情况下,测试具有相似功能的独立程序间的相似度;针对不同编译器、编译选项、混淆方法、版本迭代产生的同源样本,测试程序间的相似度。实验结果表明,本文方法能有效判别程序间的同源性,可信性评估中误判率仅为6. 7%,弹性评估中无漏判情况。     

一种基于诱饵文件的勒索软件及时检测方法

在对抗勒索软件的技术中,静态特征检测难以处理文件混淆、加壳,传统动态检测存在检测延迟,而基于诱饵文件的动态检测方法普遍存在诱饵设计缺陷。通过对大量勒索软件样本进行动态行为分析,总结出其在文件遍历与加密方面的行为模式,并基于勒索软件的文件遍历模式,系统地研究了诱饵文件的设计与部署方法。从文件名、文件类型、文件内容等角度设计诱饵文件,然后从静态部署和动态部署两方面进行诱饵部署。提出了一种基于诱饵文件的勒索软件及时性动态检测方法,该方法通过监控诱饵文件的文件活动来检测勒索软件。实验结果表明,本文方法具有较高的时效性,勒索软件均在运行的早期被检测出来,减少了用户的损失。     

高压大功率IGBT封装用有机硅凝胶热老化特性分析

由于功率损耗的增加,IGBT器件内部结温会升高。长期在高结温的环境下运行,IGBT器件绝缘封装材料有机硅凝胶会发生热老化,老化后其热稳定性和绝缘特性的改变会直接影响其使用寿命。为了研究热老化对有机硅凝胶热稳定性和介电特性的影响,本文基于有机硅凝胶材料加速热氧老化实验,结合FTIR、TGA和宽频介电谱等分析手段对不同老化阶段的有机硅凝胶材料的理化特性进行了测试。实验结果表明：老化后有机硅凝胶的主链基团增多,侧链基团减少,在老化过程中其主要发生交联反应,交联度不断增加;老化后有机硅凝胶的质量保持率出现明显下降,热稳定性降低;老化后有机硅凝胶材料的相对复介电常数实部和虚部均明显增加,老化后有机硅凝胶材料的介质损耗增大,绝缘性能变差。本文实验结果为下一步研究有机硅凝胶的热老化机制和改性奠定了实验基础。     

精确的堆内存使用量上界分析

基于符号执行框架分析了程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对＂平板循环＂、带分支循环等常见循环结构给出了特殊处理策略,并采用程序切片技术缩减程序分析的规模.最后基于开源符号执行工具KLEE设计实现了一个堆内存使用量上界分析原型工具.实验结果证明,该工具能够针对很多常见程序给出精确可靠的堆内存使用量上界.     

一类长记忆时间序列趋势项变点的Wilcoxon秩检验

对一类带Hurst指数的分数布朗运动趋势项变点的检验问题进行了研究,提出了一种先对观测序列做一阶差分,再基于差分序列构造Wilcoxon秩统计量做检验的后验检验方法。在原假设下证得检验统计量的极限分布是标准分数布朗运动的泛函,并给出了检验统计量的临界值。数值模拟结果表明,提出的检验方法除Hurst值较大外,均能很好地控制经验水平,经验势随样本量的增多几乎能趋近于1,且在样本量较大时,对截距项变点和方差变点稳健。采用该方法分析了1854—1989年北半球月均气温数据,未检测到趋势项变点。     

关于非线性复方程整函数解的几个结果

经典的Nevanlinna理论是研究复微分方程解的性质的有效工具,而Halburd和Korhonen,Chiang和Feng分别给出了差分的对数导数引理的不同版本,在此基础上建立起来的差分的Nevanlinna理论为研究复差分方程,复差分多项式理论提供了理论的基础。主要利用差分的Nevanlinna理论,研究各种     

基于时空老化模型的服务端瓦片缓存置换算法

随着网络地理信息服务（network geographic information service,NGIS）向云服务演进,客户端瓦片缓存架构的应用局限性逐渐体现。为提升瓦片服务的性能,在老化算法的基础上,综合分析了瓦片访问长短期流行度和瓦片大小特征,设计了基于时空老化模型的服务端瓦片缓存置换算法（server-side cache replacement algorithm based on spatiotemporal aging model for tiles,SSAT）,并利用谷歌全球底图瓦片和瓦片访问日志进行了仿真实验。结果表明,在不同缓存空间下,SSAT的缓存命中率均高于传统算法,缓存空间每增加1 MB,最多可以提高0.24%的请求命中率和0.23%的字节命中率;当缓存空间为500 MB时,SSAT能达到73%的请求命中率和76%的字节命中率,平均访问时长可缩短35%以上。SSAT能兼顾性能与资源消耗,具备高效性和扩展性。     

聚氨酯U001红油宽温域老化特性的试验研究

国内外对聚氨酯耐15号红油老化特性的研究较少, 开展不同老化温度和时间下聚氨酯密封材料性能演化的研究具有重要意义. 依据GB/T 1690-2010开展聚氨酯U001红油宽温域老化特性试验研究, 分析聚氨酯U001宏观力学性能及微观官能团随老化温度和时间的变化规律, 揭示宽温域下聚氨酯U001的红油老化机理. 结果表明, 聚氨酯U001红油老化过程伴随内部溶胀和氧化反应, 导致聚氨酯内部交联密度降低, 氢键数量减少, 质量变化率不断上升, 应力-应变特性变差, 拉伸强度、压缩永久变形等力学性能参数随之下降, 其中以压缩永久变形性能下降最为明显; 聚氨酯U001可在工作温度≤55℃时长期使用, 在工作温度为70℃时仅可短时间使用.     

计算逻辑函数布尔差分及布尔偏导数的表格方法

分析了用图形方法计算逻辑函数的布尔差分与布尔偏导数存在的问题,在分析布尔差分与布尔偏导数的定义的基础上提出了计算布尔差分与布尔偏导数的表格方法,讨论了在1值最小项数较多时用7计算布尔差分与布尔偏导数的表格方法．本文提出的表格方法与图形方法相比,具有不需画图,操作方便,易于计算机编程操作以及可用于多变量逻辑函数等优点．     

基于帧间差分与码本模型的运动车辆检测算法

针对复杂背景下的视频车辆检测问题,采用一种在YUV空间下基于改进的帧间差分与简化码本模型相结合的运动车辆检测方法.首先,对亮度信号建立背景的码本模型,在模型训练中通过帧间差分提高训练速度.其次,在检测阶段引入分块思想,根据分块帧差提取粗略的前景像素,再用码本模型得到准确的前景车辆.视频测试实验结果表明,改进后的方法在树枝晃动、光照变化、前景融人背景的情况下能准确检测出运动车辆,具有较好的实时性和鲁俸性.     

抗内存位翻转的软硬件协同检错纠错方法

针对硬件实现的纠1位错检2位错(SEC-DED)的编码用于内存的保护时纠错能力有限的问题,提出了一种软硬件协同的检错纠错(EDAC)编码方法.在硬件对水平方向的每个字进行SEC-DED编码的基础上,该方法在软件上对垂直方向的每个位片进行奇偶编码,并通过软硬件协同的方式来发现并纠正内存位翻转错误.相对于纯硬件的EDAC方法而言,该方法能纠正更多的内存位翻转错误,并且无需增加硬件资源开销.理论分析和实验结果表明,内存在软硬件协同EDAc保护下的可靠性比在纯硬件EDAC保护下的可靠性具有一定程度的提高.     

硬件木马电路检测技术及发展趋势

随着集成电路产业链的全球化,硬件木马电路(HTH)日益成为潜在的威胁.木马电路的隐蔽性、多样性和植入层次的丰富性给木马电路的检测造成了困难.现有HTH检测方法多数通过测量比较功耗、时延等侧信道信息的方式展开,这些方法都需要存在基准设计.通过比较现有不同层次检测方法的特性,提出了HTH检测领域的发展趋势：注重高层次设计的检测、不同检测方法的效果衡量以及容忍工艺误差和测试噪声等干扰因素的更准确检测技术.     

基于自主扰动变异差分视频的关键帧提取算法

针对传统的支持向量机学习算法(SVM)在对视频关键帧提取过程中普遍存在学习参数不易确定,准确度偏低的问题,提出一种自主扰动变异差分SVM算法用来对视频进行关键帧提取.首先,对差分进化算法的生物学机理进行研究,提出一种改进的自主扰动变异方式.其次,结合改进形式的自主扰动差分进化算法对SVM参数进行选取优化,设计了基于该改进差分SVM算法的视频关键帧提取算法.通过在标准测试函数及视频测试数据库中的实验表明,改进的自主扰动变异差分视频关键帧提取算法能够更加有效地优化支持向量机参数,从而有助于改善视频检索的查全(准)率两个算法性能评价标准.     

静电对Si衬底GaN基蓝光LED老化寿命的影响

对几组本工程中心研制的Si衬底GaN基蓝光二极管(LED)施加了不同静电击打后,分别在30、50和70 mA的驱动电流下进行了老化实验对比,施加静电电压分别为0、100、500和1 000 V.研究对比了1 000 V范围内的静电对Si衬底上GaN基蓝光LED老化寿命的影响,并对相关实验现象进行了分析.结果表明在1000V范围内施加不同的静电对其寿命没有明显的影响.     

全预制式电缆户外终端硅橡胶绝缘的老化分析

为了探究长期服役对电缆户外终端绝缘老化的影响，对退役硅橡胶绝缘户外终端进行研究，分别对绝缘样品的材料特性、陷阱参数、介电特性和热学性能进行了测试和分析。结果表明，同一运行年限的户外终端硅橡胶绝缘其老化状态不同；随着电缆户外终端服役时间的增加，硅橡胶绝缘的体积电阻率下降，陷阱能级变浅，材料分解温度和残余质量下降；硅橡胶绝缘的体积电阻率、陷阱参数分布和热失重分析可有效评价电缆户外终端绝缘的老化状态。     

基于Marmousi模型的声波方程有限差分正演算法

针对现有正演算法中存在的频散及边界反射问题,提出了计算区域使用差分算子而完全匹配层(PML)内使用交错网格的方法进行波场正演计算,并通过升级差分精度以达到抑制频散和减轻边界反射的目的.对于雷克子波做震源波形不明显的情况进行了震源模拟,得到了基于Marmousi模型的理想波形记录.算例结果表明,本算法可有效地改善频散和边界反射现象,特别是在高频的情况下,也能获得理想的结果.