基于深度语义融合的代码缺陷静态检测方法

随着计算机软件规模和复杂度的不断增加,软件中存在的代码缺陷对公共安全形成了严重威胁。针对静态分析工具拓展性差,以及现有方法检测粒度粗、检测效果不够理想的问题,提出了一种基于程序切片和语义特征融合的代码缺陷静态检测方法。首先,对源代码中的关键点进行数据流和控制流分析,并采用基于过程间有限分布子集（IFDS）的切片方法,以获取由多行与代码缺陷相关的语句组成的代码片段;然后,通过词嵌入法获取代码片段语义相关的向量表示,从而在保证准确率的同时选择合适的代码片段长度;最后,利用文本卷积神经网络（TextCNN）和双向门控循环单元（BiGRU）分别提取代码片段中的局部关键特征和上下文序列特征,并将所提方法用于检测切片级别的代码缺陷。实验结果表明,所提方法能够有效检测不同类型的代码缺陷,并且检测效果显著优于静态分析工具Flawfinder;在细粒度的前提下,IFDS切片方法能进一步提高F1值和准确率,分别达到了89.64%和92.08%;与现有的基于程序切片的方法相比,在关键点为应用程序编程接口（API）或变量时,所提方法的F1值分别达到89.69%、89.74%,准确率分别达到92.15%、91....     

沥青路面半刚性基层反射裂缝成因及防治

文章介绍了半刚性基层材料的性能及裂缝产生机理,针对裂缝成因提出相应的防治对策.     

十字花科油料植物遗传资源及其生物技术研究的若干新进展

国际芸属植物研讨会暨十字花科植物遗传学工艺会于１９９４年１１月１５－１９日在葡萄牙里斯本召开。根据收集的资料，介绍近年来十字花科油料植物遗传资源研究，以及一物技术研究方面的若干新进展。     

+40m高位切口定向爆破拆除一座150m和两座210m高烟囱

介绍了1座150 m高2座210 m高烟囱因倒塌空间不足而采用的高位切口爆破拆除工程实例。采用+40 m高位切口成功爆破拆除3座高大烟囱,待爆破烟囱均采用正梯形爆破切口,分三次实施定向倾倒爆破,采用孔内、孔外相结合的延时起爆技术,在烟囱倒塌方向铺设缓冲层、堆设防冲堤、开挖减震沟,爆破切口采用密目网、土工格栅覆盖防护等防护措施,通过测振仪对爆破振动进行监测,爆破飞散物和触地振动均控制在安全允许范围内,未对周围建(构)筑物造成损害。爆破效果表明:采用高位切口爆破能有效地解决倒塌空间局限的问题,且避免烟囱底部积灰平台、烟道口等因素影响倒塌方向,减少触地飞溅物的距离,降低触地振动和爆破振动;将钻孔钻透烟囱混凝土壁,打入内衬和隔热层中进行爆破,能够有效地处理烟囱内衬;钻孔取芯机预处理定向窗与导向窗,有利于减少用药量,有利于切口破碎,确保切口顺利闭合,有利于确保倾倒方向的精确性,对于同类型复杂环境下烟囱定向拆除具有一定的参考价值。     

基于ABTS协议的FC-AE-1553交换管理模块研究与实现

相对于传统1553总线,基于光纤的FC-AE-1553航电总线具有更大的的带宽、更灵活的拓扑和更高的系统可靠性,其核心为交换型的总线通信模式;在分析FC-AE-1553总线交换协议的基础上,提出一种基于ABTS的FC-AE-1553交换管理模块实现方案,对模块进行原理设计并详细分析了交换处理流程;基于FPGA硬件平台完成了交换管理模块的工程实现,搭建系统模拟NC和NT进行总线通信,验证了总线数据交换和ABTS差错处理功能,实现了FC-AE-1553总线数据的5Gbps传输;验证结果表明,模块支持各类复杂交换管理模式,有高的集成度和较强的通用性,IP软核能够方便地进行功能扩展和平台移植,具有良好的实用价值和应用前景。     

精细化运营，移动宽带的炼金术

移动宽带能为用户提供丰富多彩的内容，以帮助运营商吸引更多用户，进一步延长产业链。因此，实现针对内容的精细化运营，无异于为运营商挖掘移动宽带这个巨大的金矿提供了卓有成效的炼金术。     

精细化运营,华为打造移动宽带炼金术

华为推出的新一代高性能智能分组核心网IPN,可协助运营商逐步改变以往的粗放运营模式,进入到移动宽带的精细化运营时期。     

蒸汽发生器泄漏率监测仪修复经验总结

目前压水堆核电站使用辐射监测仪对主蒸汽管道中的N-16核素浓度进行连续监测,由于蒸汽发生器泄漏监测仪长期工作在高温高湿环境下,普遍存在故障率偏高的问题,影响到了核电站相关系统的正常运行。从6台SGLM201型蒸汽发生器泄漏率监测仪的故障诊断、故障原因分析、修复技术研究等方面入手,分析了总γ计数异常闪发故障、稳峰异常故障...     

基于PMP的钢轨三维形貌在线测量模糊条纹复原

在线相位测量轮廓术(PMP)中,当被测物体运动速度较高时,所采集的变形条纹往往为运动模糊图像,使得复原误差增大,严重时可能导致三维重建无法进行。将在线PMP运用于钢轨外形及表面缺陷的在线三维测量时,为了实现钢轨表面模糊变形条纹的清晰化,本文对维纳滤波法、点扩散函数算法、盲解卷积算法和Richardson-Lucy算法等几种模糊图像复原算法进行了对比分析,用峰值信噪比对模糊条纹图像的复原效果进行评估。同时,研究了车辆运行速度和图像复原效果之间的关系,得出了复原效果与运行速度之间的关系曲线,进行了误差分析,并用在线PMP实现了钢轨外形的三维重建。理论及实验结果表明：在对钢轨外形轮廓及表面缺陷的在线三维测量时,Richardson-Lucy算法的复原效果最佳,图像复原程度与车辆运行速度呈多项式关系。     

葵花籽多肽的制备及其降压活性研究

试验以低温脱脂葵花籽粕为原料,进行脱脂和脱绿原酸处理后,用碱性蛋白酶制备葵花籽多肽。以水解度和ACE抑制率为评价指标,对底物浓度、加酶量、酶解温度、酶解时间和pH值进行单因素试验,在此基础上采用响应面试验优化碱性蛋白酶制备葵花籽多肽的最佳水解工艺。结果表明:底物浓度为15g/mL、加酶量为3 700U/g、酶解温度为56℃和pH值为8.2的条件下水解3h,ACE抑制率可达63.74%。