基于DEM的鄱阳湖区沟谷网络提取及沟壑密度分析

利用鄱阳湖区1∶250 000比例尺的数字高程模型(DEM)数据,采用水文分析方法提取了鄱阳湖区沟谷网络,并以提取的沟谷网络数据为基础,计算出了鄱阳湖区沟壑密度,分析了沟壑密度空间分布规律,由此而得出了鄱阳湖区河谷分布密集的特征,为鄱阳湖区的水利工程设计和水土保持工作提供依据.     

基于混合代码表示的源代码脆弱性检测

软件脆弱性对网络与信息安全产生了极大的威胁,而脆弱性的根源在于软件源代码。因为现有的传统静态检测工具和基于深度学习的检测方法没有完整地表示代码特征,并且简单地使用词嵌入方法转换代码表示,所以检测结果准确率低,误报率高或漏报率高。因此,提出了一种基于混合代码表示的源代码脆弱性检测方法来解决代码表示不完整的问题,并提升检测性能。首先将源代码编译为中间表示（IR）,并提取程序依赖图;然后基于数据流和控制流分析进行程序切片来得到结构化的特征,同时使用doc2vec嵌入节点语句得到非结构化的特征;接着使用图神经网络（GNN）对混合特征进行学习;最后使用训练好的GNN进行预测和分类。为了验证所提方法的有效性,在软件保证参考数据集（SARD）和真实世界数据集上进行了实验评估,检测结果的F1值分别达到了95.3%和89.6%。实验结果表明,所提方法有较好的脆弱性检测能力。     

煤气化联合循环发电技术及发展前景

简述了整体煤气化联合循环发电技术（ＩＧＣＣ）的概念和技术特点，通过与传统发电技术和其它先进技术的对比，在效率，费用与环境等方面对Ｐｒｅｎｆｌｏ工艺，ＩＧＣＣ技术进行了评价；介绍了Ｐｒｅｎｆｌｏ工艺第一台大型商业化示范电站以及对ＩＧＣＣ的发展前景的展望。