一种针对C程序缓冲区溢出的检测方法*

为了增强对程序缓冲区溢出漏洞的检测,提出一种利用CCured和BLAST对C程序进行分析的检测方法。首先利用CCured对C语言源程序进行运行时检测的代码插桩;然后用BLAST提供的自定义安全属性语言对这些插桩代码进行相关约束描述;最后让BLAST根据约束描述文件对代码插桩后的程序进行模型检测,就可以尽可能地找出C语言程序中潜在的缓冲区溢出漏洞。     

基于改进人口模型的微博话题趋势预测

趋势预测问题是当前社会计算中的研究热点,但微博平台的话题趋势预测还处在探索阶段。在分析、抽取和定义事件趋势的影响因素的基础上,改进了人口模型使其适用于微博趋势预测,然后将改进的人口模型映射在神经网络上,并利用遗传优化的神经网络对事件的趋势进行预测。实验证明,该方法对于预测网络中长期酝酿的事件发展趋势效果明显,能够有效地预测事件的爆发点和发帖量,而且适用于小样本预测问题。     

基于模拟关系的编译优化实现正确性验证方法

编译器中通常采用各种优化方法来提高目标代码的质量,为了实现较好的效果,一些编译优化算法通常十分复杂,很容易给可靠性和安全性带来隐患.现有的编译器缺陷大部分是由优化阶段引起的.传统的编译优化正确性研究大部分只关注优化算法的正确性,但是只有该算法被正确的实现了才能确保实际运行的优化过程是正确的.本文提出一种基于模拟关系的方法来验证编译优化实现的正确性.在每次优化结束后,我们通过建立优化前代码和优化后代码之间的模拟关系生成优化正确应满足的逻辑条件,然后验证逻辑条件是否成立从而判定编译优化的实现是否正确性.以优化编译中的常量折叠优化和变量替换的验证作为示例显示了本方法的有效性和可靠性.     

一种面向应用需求的代码保护方法

为了防止攻击者对编译后可执行代码进行读取分析和篡改,提出了一种基于编译器分析的软硬件相结合的 保护框架。首先对具体应用需求进行分类(数据重要型和算法重要型),然后提取分类后的关键代码块,生成带标记的 二进制代码,最后综合数字签名(RSA)和(AES)加解密算法对标记信息进行相应处理,并将其加载到FPGA进行校验 运行。实验分析显示,该方法具有较好的可操作性和可维护性,既减小了软件保护的开销,降低了系统实现成本,又达 到了保护目的。     

基于程序流敏感的自修改代码混淆方法

自修改代码混淆方法是一种隐藏程序重要信息的有效技术。为减少代码混淆造成的额外开销而又不影响代码混淆的质量,利用程序流敏感分析方法选择比较重要的指令进行混淆。为提高代码混淆的质量,有效地防止反汇编,提出一个二步比较混淆模型。该模型包括两个子混淆器,混淆器1采用程序流敏感分析方法获得混淆的指令并产生两个混淆代码文件和一个混淆代码映射文件。混淆器2通过比较两个混淆代码文件精确地定位混淆指令在二进制代码中的位置,然后利用混淆代码映射文件对二进制代码进行混淆,以进一步提高代码混淆的质量。通过实验分析,混淆后二进制文件的额外开销只占整个代码的3%左右,并且混淆后的反汇编代码明显异于原始的反汇编代码,甚至出现了一些无法识别的错误指令。     

北京大学体育馆弦支网壳预应力设计与施工技术

北京大学体育馆工程结构屋盖为复杂钢结构体系,其屋盖体系由圆钢管焊接组合成的中央刚性环、中央球壳、辐射桁架、拉索和支撑体系组成.预应力索桁架是本结构的主要承力构件,也是结构施工的重点、难点,通过制定张拉方式、施工仿真计算与分析以及施工监测,使预应力拉索设置合理,有效地增加结构的刚度、降低结构竖向变形.     

北京大学体育馆空间辐射弦支网壳钢屋盖安装

结合北京大学空间辐射弦支网壳钢结构屋盖,介绍了其安装方式和工艺特点.包括在加工厂分段加工钢结构构件,现场分段高空组装.同时,采用由中央向四周的扩散安装顺序,先安装刚性环,依次安装辐射桁架、支撑杆件和环向支撑.辐射桁架采用对称循环安装,环向桁架采用由外向内推入的方法.结果表明刚性环的组装顺序合理,保证了安装过程中刚性环的整体稳定性.同时,选择合理的焊接工艺,可达到安装质量的要求.     

钢结构工程现场负温焊接技术措施

钢结构现场焊接是施工中的重点、难点之一,冬期负温度下的焊接质量控制更是钢结构施工企业面临的难题。结合乌鲁木齐某工程实践,提出了负温焊接的质量通病和形成原因,总结了钢结构冬期焊接施工经验以及保证钢结构负温焊接质量的技术措施。     

一种多核系统可靠性加强的任务调度方法

 多核系统已经被广泛应用于各行各业,其稳定性和可靠性也越来越受到人们的关注.在分析了现有芯片可靠性模型的基础上,增加温度和工作负载对多核芯片可靠性的影响,建立了对多核系统的可靠性评估模型.该模型以处理器为依托,从指令到任务,逐层构建可靠性评估指标,以便于定量分析影响多核系统可靠性的因素.同时,以该模型为指导,设计了一种面向多核系统可靠性的任务调度方法,该方法通过对评估指标值的计算,选择评估指标值尽可能高的调度策略对多核系统中的任务进行调度,以减少由于芯片本身可靠性而导致的错误.通过模拟实验可以看出,该任务调度算法能有效减少系统的出错率45%左右,为系统的稳定运行提供了可靠的保证.     

大截面穿结构梁多段钢拉杆施工与监测技术

南京苏宁易购总部基地项目A区悬挑结构采用3根UU650型200mm钢拉杆进行拉接,结合以往钢拉杆施工经验及钢拉杆的生产能力,确定钢拉杆加工形式、连接节点,采用"让钢拉杆提前参与受力,结构荷载逐级-缓慢加载"的施工方法,免除张拉步骤、过程监测,最终完成施工。