一种使用静态分析的汇编代码缺陷检测方法

针对当前缺乏汇编代码自动化审查工具的情况,对汇编代码人工审查方法进行研究,提出了一种基于静态分析的汇编代码缺陷检测方法.该方法中,在控制流线性化后,运用特征识别处理间接寻址跳转,采用结点克隆处理延迟条件分支,使用调用序列处理存在递归函数的过程间控制流图的构造.在此基础上,实现了ADSP SHARC汇编代码检测工具,并进行了静态分析测试和缺陷检测测试.测试结果表明,该方法可以有效地检测汇编代码中的不可退出点、循环、寄存器、以及内存访问缺陷.     

坡耕地径流小区产流产沙规律

基于四川省连宁水保试验站坡耕地水土流失的观测和数据统计,通过探讨降雨产生的地表径流深及冲刷量随坡度的变化,以及耕作措施和植被对坡面侵蚀的影响,提出坡耕地在降雨时的产流产沙规律.同时用灰色关联系数法确定了各因子时坡耕地水土流失的影响序列.     

FeCoB基薄膜微波噪声抑制器的传导噪声抑制特性研究

为了获得高性能的微波噪声抑制器,采用射频磁控溅射工艺制备了FeCoB基薄膜微波噪声抑制器,并用微带线法测试了其传导噪声抑制特性。研究了薄膜噪声抑制器的工艺参数和几何尺寸对其传导噪声抑制特性的影响。结果表明,合适的低氩气压有利于其噪声抑制性能的提高;通过控制FeCoB基薄膜和SiO2介质层的几何尺寸,可以实现对其微波噪声抑制性能的连续可调,这主要归因于软磁薄膜的铁磁共振损耗和涡流损耗。制备的FeCoNiB薄膜(长25mm,宽10mm,厚250nm)微波噪声抑制器在3.4GHz时的信号传输功率损耗比Ploss/Pin达到75%。结果表明,该FeCoB基薄膜微波噪声抑制器可应用于GHz频段抗电磁干扰中。     

X65碳钢在模拟油田采出水中的阴极保护研究

采用极化曲线、恒电位阴极极化和失重法,并结合SEM,EDS和XRD分析产物的形貌、成分和结构,研究了不同保护电位下X65碳钢的保护效果和机制。结果表明:该环境中,自腐蚀条件下的X65碳钢发生严重腐蚀,失重速率大,坑蚀严重;-800~-1000 mV的保护电位对X65碳钢的腐蚀均有明显抑制效果;-800 mV阴极保护电位下X65碳钢表面无良好的钙质沉积层形成,-900 mV下表面能生成牢固致密的钙质沉积层,有效降低保护电流密度,-1000 mV下沉积层容易因析氢反应而鼓泡脱落;相比于海洋环境,X65碳钢在油田采出水中的析氢电位偏正,沉积层中不含Mg(OH)2。     

FeCoNiB软磁薄膜微波电磁性能研究

采用射频磁控溅射工艺,制备了一系列 (Fe40Co40B20)1-xNix (x为原子分数)磁性薄膜,研究了样品在微波频段下的电磁性能。结果表明,通过调整Ni含量及合适的工艺参数可有效调控薄膜的微结构和电磁性能,且在(Fe40Co40B20)0.91Ni9薄膜样品中获得了优良的微波性能和高电阻率。其饱和磁化强度4πMs达到2.21 T,复磁导率实部μ'在0.5~3 GHz频率范围内大于195,铁磁共振频率fFMR达到3.16 GHz,电阻率也达到276 μΩ·cm。该薄膜可应用于GHz频段下电磁器件的设计中。     

基于正交基函数-编辑距离的低信噪比下磁异常信号相似性度量方法

针对低信噪比下磁异常信号相似性难以度量的问题,该文提出基于正交基函数(OBF)分解和编辑距离法(EDR)相结合的OBF-EDR磁异常信号相似性度量方法.该方法通过对磁异常信号进行正交基函数分解得到离散基函数系数,根据背景噪声与基函数不相关的特性提高离散基函数系数信噪比,利用编辑距离法对离散基函数系数进行相似性计算从而间...     

Ni添加量对FeCoNiB-SiO_2薄膜电磁性能的影响

采用RF溅射工艺制备了FeCoNiB-SiO2系薄膜。研究了Ni添加量对该种薄膜微结构和电磁性能的影响。结果表明,添加适量的Ni有利于FeCoNiB-SiO2薄膜获得优良的微波电磁性能。通过控制Ni的添加量,可以得到在GHz频段同时具有高磁导率和高损耗的薄膜样品,其磁导率实部μ'和虚部μ"在0.5~2.0GHz的宽频带范围内分别大于240和100,在2.1GHz处更是均大于400,其电阻率也达到了868×10–6?·cm。该薄膜可应用于微波吸收材料或抗电磁干扰的设计中。     

联合机试和面试的研究生招生复试选拔与考评体系研究

分析国内研究生招生复试的现状和发展趋势,提出采用联合机试和面试的方法进行研究生招生复试,合理分配机试和面试的分数比例,建立联合机试和面试的研究生招生复试选拔和考评体系,对研究生招生复试的具体实施办法提出若干改革措施和建议。     

基于分形理论的小流域相似性判别初探

利用嘉陵江中下游地区遂宁试验站的谢家湾小流域与李子溪赵家祠中流域的多年汛期径流量为基础数据,用分形盒维数的理论计算了两个不同尺度流域的汛期径流量变化曲线的合维数值DB,得出计算结果,并分析了两个流域的相似性,实践了分形理论在小流域相似性上的初步应用。     

基于基本块划分的库函数快速识别技术。

分析一般函数在反汇编后的结构特征,提出一种基于基本块划分的函数识别技术,将其用于库函数快速识别的设计中。针对库函数识别中的重定位及级联识别等问题,给出解决方案,阐述建立、读取库函数特征数据库的实现方法以及库函数识别算法。实验结果证实,该技术可以准确地识别库函数。