静态软件缺陷预测方法研究

开源软件缺陷预测通过挖掘软件历史仓库的数据,利用与软件缺陷相关的度量元或源代码本身的语法语义特征,借助机器学习或深度学习方法提前发现软件缺陷,从而减少软件修复成本并提高产品质量. 漏洞预测则通过挖掘软件实例存储库来提取和标记代码模块,预测新的代码实例是否含有漏洞,减少漏洞发现和修复的成本. 通过对2000年至2022年12月软件缺陷预测研究领域的相关文献调研,以机器学习和深度学习为切入点,梳理了基于软件度量和基于语法语义的预测模型. 基于这2类模型,分析了软件缺陷预测和漏洞预测之间的区别和联系,并针对数据集来源与处理、代码向量的表征方法、预训练模型的提高、深度学习模型的探索、细粒度预测技术、软件缺陷预测和漏洞预测模型迁移六大前沿热点问题进行了详尽分析,最后指出了软件缺陷预测未来的发展方向.

     

网络安全威胁情报共享与交换研究综述

网络空间新生威胁正在以其复杂多变的攻击方式危害着个人、组织乃至政府的利益.在传统网络安全防御手段捉肘见襟时,威胁情报共享与交换机制的提出给网络空间安全的防护带来了一丝曙光.网络安全威胁情报是对组织和机构产生潜在危害与直接危害的信息集合,这些信息能帮助组织和机构研判所面临的网络安全威胁,并据此制定决策和进行防御.威胁情报的交换与共享可以使威胁情报价值最大化,降低情报搜集成本和改善信息孤岛问题,进而提高参与共享各方的威胁检测与应急响应能力.首先介绍了网络安全威胁情报的概念和主流的威胁情报共享规范;其次,调研了近10年来国内外有关威胁情报共享与交换的文献,分析和归纳了威胁情报共享与交换的现状与发展趋势,着重从共享模型与机制、交换机制的收益分配以及共享数据的隐私保护3个角度进行了深入分析,指出了3部分存在的问题及相关解决方案,并对各方案的优缺点进行了分析讨论;最后展望了威胁情报共享与交换未来的研究趋势和方向.     

含多个能源站的区域综合能源系统建模及协同优化运行策略

区域综合能源系统通过统一调度不同能源设备,协调优化电、气、冷、热多种能源系统来提高区域供能的经济性和环保性。但是多种能源的耦合提高了系统运行的复杂性,因此需要有效的优化方法来保证其运行经济性。通过分析多能源站区域综合能源系统结构,构建了区域综合能源系统模型。在此基础上,提出了一种以系统运行经济性为目标、包含多个能源站的区域综合能源系统协同优化调度方法。案例仿真结果显示,多能源站协同优化运行可以大幅提高区域综合能源系统运行的经济性。     

“智”造十年:大数据、云计算与传统工业深度融合

<正>十年前,在浙江宁波,汽车铝合金精密压铸件供应商爱柯迪只有一个生产基地和两个产品生产工厂,并且工厂内部设备相对独立,没有任何互联,是真正的“设备孤岛”。每台设备开机率无法获取,导致生产效率不能达到最大化,压铸取件、机加工上下料都需要通过人工操作。2013年12月,随着4G商用,爱柯迪通过物联网技术实现集团内部所有生产和检测设备的互联,实时掌控每台设备数据;并以压铸机和加工中心为载体,组建压铸精益单元岛和加工精益单元岛,缩短制造周期,使得产品在工厂内只流转两次。     

海底钴结壳TEM的响应规律

大洋富钴结壳是潜在的海底金属资源,为了更快、更准确地对海底钴结壳进行勘探,本文研究了其TEM的响应规律.通过分析深海钴结壳的电性和物性特征,说明了瞬变电磁法满足海底探测的物化条件,进而建立探测深海钴结壳的地电模型,证明了本方法应用于海底钻结壳勘探的可行性;采用瞬变电磁全空间理论,计算了深海钴结壳瞬变电磁响应,这为瞬变电磁探测深海钴结壳的反演提供了依据.计算结果表明:海底瞬变电磁测深能很好地探测到海底钴结壳的存在,且异常峰值对应钴结壳的中心在海面的投影位置;深海与无海水情况下的瞬变电磁相比,响应曲线形态变化不大,响应幅值明显增加;地形对探测有一定的影响.     

激光测距仪与相机信息融合过程中位姿标定方法

激光测距仪与视觉图像的融合研究在最近的工业机器人等应用领域中受到越来越多的关注,其中对这两种仪器的位姿标定有利于对二者信息的有效融合。以单点激光测距仪和相机的位姿融合为主要研究内容,提出两种确定两者相对位置和方向的标定方法,在建立光斑相机坐标的基础上分别以可见光斑和不可见光斑为研究内容,分别通过光斑的坐标和平面约束对两种情况建立标定方程,并结合实验验证两种标定方法的有效性和可靠性,实验结果表明:在有限次测量次数的情况下标定结果能够使重投影误差达到3个像素以内,而且运算时间大大减小。     

计及资源与时间约束的自动需求响应模型

需求响应(demand response,DR)对能源经济发展、资源与能源节约以及环境保护具有重要的战略意义,而如何实现自动化DR还有待进一步研究.首先从电力用户响应成本、企业生产特性、响应时间这3个方面研究了DR的影响因素;其次在变量分析及以可持续中断供电时间划分用户群的基础上,以停电时间与缺电功率为约束条件、以参与DR的企业用户为变量、以停电总成本最小为目标函数,采取由简入繁的思路逐步建立2种情形下的数学模型;最后根据停电时间的不同选取2种典型算例以验证这2种模型的有效性.     

对国内立式加工中心可持续发展之思考

由上海移师北京、扩大规模的CCMT 2008(第五届中国数控机床展览会)展会,以"展示自我创新成果,推动重大专项实施"为主题,成为机床工具行业企业展示成果与实力的舞台,用户与制造企业交流与沟通的理想平台.充分展示了中国数控机床最新的发展成果.     

城市空间要素的生态节能性设计

从城市空间要素的角度分析和设计城市与建筑的生态节能性,并提供与道路、边界、区域、节点和标志物相关的生态节能措施,指导城市空间建设和建筑单体设计,促进城市和建筑朝着低碳、低消耗、生态节能、循环可持续的方向发展.     

1W2A小角散射光束线的物理设计

本文主要介绍了目前北京同步辐射实验室正在建设的新的小角散射光束线--1W2A的设计方案,以及北京正负电子对撞机二期改造工程完成后该束线能够达到的性能指标.