【摘 要】
：
随着软件规模越来越大,如何保证程序的可靠性和安全性越来越受到人们的关注。由于C语言缺乏内存安全检测的机制,导致使用C语言编写的程序容易存在安全漏洞,所以针对C语言的可靠性研究也很越来越多。当前,软件可靠性和安全性常用的验证方法是静态分析和动态分析,动态分析由于能真实反映程序中存在的问题而得到广泛应用。目前针对程序内存安全性的分析工具对较小规模的程序能够正确检测,但是在大规模程序中无法有效地对程序进行插桩和检测。针对此问题,该文在基于指针技术的内存安全分析技术的基础上,采用源代码插桩实现了大规模C程序内存分
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金(U1533130)。
论文部分内容阅读
随着软件规模越来越大,如何保证程序的可靠性和安全性越来越受到人们的关注。由于C语言缺乏内存安全检测的机制,导致使用C语言编写的程序容易存在安全漏洞,所以针对C语言的可靠性研究也很越来越多。当前,软件可靠性和安全性常用的验证方法是静态分析和动态分析,动态分析由于能真实反映程序中存在的问题而得到广泛应用。目前针对程序内存安全性的分析工具对较小规模的程序能够正确检测,但是在大规模程序中无法有效地对程序进行插桩和检测。针对此问题,该文在基于指针技术的内存安全分析技术的基础上,采用源代码插桩实现了大规模C程序内存分
其他文献
随着大型反射面天线技术的不断发展,天线系统对设备功能的多样化与一体化提出了更高的要求,馈源作为大型反射面天线的核心,其性能决定了反射面天线整体特性.文章基于介质波导
针对传统石墨烯可重构天线辐射特性全波模拟耗时问题,将支持向量回归(Support Vector Regression, SVR)这一机器学习方法用于石墨烯贴片天线参数快速重构预测。将石墨烯贴片天线不同参数(贴片尺寸、化学势、频率等)下的电磁响应转化为一个回归估计问题。以天线单元参数为输入,相应S参数为输出,建立回归模型,利用全波模拟仿真软件建立支持向量回归训练数据集和测试数据集,实现石墨烯可重构天线单元电磁响应的快速预测。数值算例中通过对S11参数的预测,并与径向基函数网络方法、全波仿真软件结果进行比较,
设计了一款工作于Ka波段的+45°极化宽带宽角扫描相控阵。基于电磁镜像原理,通过嵌入人工磁导体,提出了一款具备宽波束辐射能力的+45°极化天线单元,其相对带宽达18.2%,水平方位面的3 dB波束宽度达114°,展示出宽角扫描潜能。将上述单元组成4×16均匀面阵并研究相控阵宽角扫描特性。计算结果表明,该面阵能在水平方位面实现±80°宽角扫描,在垂直方位面实现-20°~+30°扫描。
利用高功率微波加热熔化岩石实现地下快速破岩是全新的钻探技术,具有潜在技术优势。基于140 GHz高功率毫米波系统开展了高功率毫米波能量加热穿透岩石的快速钻井技术研究,测量并分析岩石在微波电磁场下的介电损耗特性,采用多物理场耦合法定量模拟不同波束尺寸和入射功率下的岩石温度分布及烧蚀情况,发现峰值功率密度在1~2 kW/cm2情况下毫米波已经可以在很短的时间内将岩石加热至3000℃以上发生相变直至蒸发。分析表明高功率短时间的微波加热方式可以有更高的效率,为下一步依托140 GHz高功率毫
设计了一款基于人工表面等离子体激元(Spoof Surface Plasma Polariton, SSPP)的小型化高效率定向辐射天线。在介质基板表面印刷了共面波导(CPW)、波矢匹配结构和SSPP传输线三种结构,其中波矢匹配结构与共面波导部分相结合,更好地完成阻抗匹配。此外,因人工表面等离子体激元可以将电场约束在天线表面的凹槽中,所以能使天线达到高效的定向辐射。测试结果表明:该天线工作带宽为26~32 GHz,最大增益达到10.44 dB,平均效率为94.3%,可应用于5G高频领域。
基于标准的平面肖特基二极管单片工艺设计了一款平衡式亚毫米波倍频单片集成电路.依据二极管实际结构进行电磁建模,提取了器件寄生参数,并与实测的器件本征参数相结合获得了
提出一种适用于5G毫米波无线通信系统的具有高隔离度和优异通带性能的双频段基片集成波导(SIW)双工器。该双工器由一种新型的Y型耦合谐振器和频带独立可控的新型双频段滤波器组成。新型双频段滤波器基于SIW三角形谐振腔,相比传统矩形SIW谐振腔空载Q值更高,并且设置多种扰动元件以实现两个频带的独立可控。Y型耦合谐振器由圆弧状的微带线拼接而成,最大限度地减弱通道互耦合以提高隔离度。该双频段双工器具有结构紧凑、尺寸小的优点。实际制作的双频段双工器接收通道中心频率分别为27 GHz和36 GHz,发射通道中心频率分别
GPT分区是目前硬盘普遍使用的一种分区形式,克服了MBR对分区管理不能超过2.2 TB的缺点。但是由于用户误操作、计算机病毒破坏、突然掉电等因素的影响,使得GPT分区被破坏的情况时有发生,从而导致存储在硬盘中的数据丢失。针对这一情况,该文以Windows 7为平台,WinHex15.08为分析工具,虚拟硬盘为实验对象,提出了重建GPT分区的基本思路、方法与步骤,以解决GPT分区被破坏后难以恢复的技术问题。通过保护MBR模板恢复保护MBR,通过GPT分区表模板来恢复GPT分区表及GPT分区表备份;通过GPT
毫米波/亚毫米波探测、通信、成像等系统的快速发展对W波段波导滤波器的带宽、损耗、集成方式等多方面提出了高要求。针对新一代W波段固态宽带高集成接收机的应用需求,文中提出了一种基于单侧E面电容耦合型的W波段波导带通滤波器,实现85.5~97.5 GHz(3 dB带宽≈13%)的宽频带响应。该波导滤波器具有易于现代高精度铣削工艺(CNC)制备的对称E面分裂型加工结构,能够获得低损耗特性和高鲁棒性;此外还基于极点提取方法,引入额外谐振腔实现传输零点,进一步提高该滤波器的上边带外抑制。经加工并实测,上述滤波器在W全
随着深度学习的迅速发展,采用卷积神经网络提取图像的特征,用于行人检测技术取得了显著成就,但在拥挤情况下,由于行人间的相互遮挡,以及行人尺度的多变性,当前的行人检测效果还有待进一步提升。为解决这一问题,把行人的中心点和身高作为行人的高级语义特征,使用深度残差网络(ResNet-50)作为图像特征提取的主干网络,结合特征金子塔的特征融合策略,将浅层的位置信息与深层的语义信息进行融合。使用多尺度行人预测