基于tPUF的物联网设备安全接入方案

针对现有的物联网设备安全接入方案不适用于资源受限的物联网设备的问题,提出一种基于tPUF的物联网设备安全接入方案。利用物理不可克隆函数技术（Physical Unclonable Function,PUF）,物联网设备不需要存储任何秘密信息,实现设备与认证端的双向认证以及协商会话秘钥;利用可信网络连接技术（Trusted Network Connect,TNC）,完成认证端对物联网设备的身份认证、平台身份认证、完整性认证。安全性分析表明,方案能够有效抵抗篡改、复制、物理攻击等。实验结果表明,相较于其他方案,该方案明显降低了设备的资源开销。     

融合黄金正弦混合变异的自适应樽海鞘群算法

针对基本樽海鞘群算法收敛速度慢、收敛精度低、易陷入局部最优的缺点,提出了一种融合黄金正弦混合变异的自适应樽海鞘群算法AGHSSA（Adaptive Salp Swarm Algorithm with Golden Sine Algorithm and Hybrid Mutation）。该算法引入了自适应变化的权重因子以加强精英个体的引导作用,提升收敛速度与精度。通过黄金正弦算法优化领导者位置更新方式,增强算法的全局搜索和局部开发能力。融合邻域重心反向学习与柯西变异对最优个体位置进行扰动,提升算法跳出局部最优的能力。通过对12个基准测试函数进行仿真实验来评估改进算法的寻优能力,实验结果表明,改进算法能显著提升寻优速度和精度,并且具备较强的跳出局部最优的能力。     

Ethereum smart contract security research: survey and future research opportunities

Blockchain has recently emerged as a research trend, with potential applications in a broad range of industries and context. One particular successful Blockchain technology is smart contract, which is widely used in commercial settings (e.g., high value financial transactions). This, however, has security implications due to the potential to financially benefit froma security incident (e.g., identification and exploitation of a vulnerability in the smart contract or its implementation). Among, Ethereum is the most active and arresting. Hence, in this paper, we systematically review existing research efforts on Ethereum smart contract security, published between 2015 and 2019. Specifically, we focus on how smart contracts can be maliciously exploited and targeted, such as security issues of contract program model, vulnerabilities in the program and safety consideration introduced by program execution environment. We also identify potential research opportunities and future research agenda.     

PIV技术在冰盖下复式断面渠道流速测量中的运用

在测定冰盖下复式断面流场、流速的模型试验中,水体中的运动粒子是重点研究对象。粒子图像测速(Particle Image Velocimetry,PIV)技术已在水力学研究领域得到普遍应用,但该技术在冰盖下复式断面渠道模型试验的应用为国内首次。基于试验特点,设计砖砌混凝土的循环水箱,采用变频器配合水泵、流量计实现对流量的定量控制,对不同流量下不同断面的流场、流速进行测定,采用PIV技术对水体中运动的粒子的位移场进行具体分析。试验结果表明,PIV分析结果能够直观反映流场中的状态,且可以避免测量盲区,其所测的流速与多普勒超声测速仪测得值吻合较好,并给出了横向流速分布图,弥补了传统方法无法获得冰盖下的流场分布的难题。     

面向多区域防洪的长江上游水库群协同调度模型

长江上游水库群是长江流域防洪工程体系的重要组成部分,承担着水库所在河流、川渝河段以及长江中下游的防洪任务。长江流域面积广大,水系众多,洪水地区组成与遭遇十分复杂,防洪需求众多,防洪对象分散,且要兼顾发电、航运、供水、生态、库区安全等多种因素,水库群防洪调度面临大规模、多区域、多层次等协同调度技术难题。以长江上游25座控制性水库为研究对象,基于防洪格局和防洪任务将水库群防洪调度划分为核心、骨干和群组水库,阐明了水库群多区域协调防洪的调度节点和角色定位,提出了兼顾"时-空-量-序-效"多维属性的模型功能结构,构建了长江上游水库群多区域协同防洪调度模型,并在长江流域防洪调度形成示范应用,以挖掘长江上游水库群防洪调度潜力,进而提升长江流域防洪调度管理水平。     

基于改进轮盘赌策略的反馈式模糊测试方法

针对随机模糊测试方法测试盲目效率低下的问题,提出一种反馈式模糊测试方法,目的是通过流程优化来提高测试效果。首先,通过网络爬虫收集原始样本文件,确保原始样本的多样性。其次,通过代码覆盖率分析来从大量样本文件中筛选用于变异的最佳种子文件,在保证足够的测试空间的同时避免冗余测试。接下来通过变异种子文件的部分比特来生成测试用例,并根据测试结果基于改进轮盘赌策略不断调优种子文件的变异范围,以期发现尽可能多的软件故障。实现了一个原型系统OSSRWSFuzzer,在实验中发现了国产软件WPS Office的56个故障,体现了较强的漏洞检测能力。     

基于SWMM的铁心桥实验基地内涝防治效果模拟

基于南京水科院铁心桥实验基地的地形、下垫面条件等数据构建了SWMM,模拟了实验基地象目湖观景平台和水上餐厅两个监测点在不同降雨重现期、低影响开发措施、溢流孔设置和水泵强排条件下受淹情况。结果表明,初始水位较低(25.1 m)时,象目湖遭遇500年一遇的降雨事件时水位并未抬升至水上餐厅。初始水位较高(25.6 m)时,200年一遇和500年一遇的降雨事件中水上餐厅受淹持续时间分别为7 h和11 h。采用集水池、雨水花园和生物滞留池3种LID措施对象目湖水位峰值影响模拟结果显示,在5年或10年一遇的降雨事件中雨水花园和集水池可以分别降低象目湖峰值水位0.06 m和0.02 m,生物滞留池没有削减峰值水位。在降雨量为218.5 mm的20160707次降雨事件中LID措施削减象目湖水位效果不明显。水泵抽排流量越大,象目湖水位越早回落到观景平台以下。LID在应对造成城市内涝的低频次、短历时强降雨方面作用有限,铁心桥实验基地象目湖内涝防治应以加强水文气象预测和水位管理、加大溢流孔尺寸和采用水泵强排等措施为主。     

面向安全的轮流中继选择方案

针对多中继轮流中继系统被窃听的问题,提出面向安全的轮流中继选择方案。首先提出了遍历的最优中继选择方案,并推导得到了保密速率的理论值;之后为降低复杂度,分别从降低计算复杂度和信道估计开销的角度设计了两种两阶段的次优中继选择方案,先缩小中继选择范围再进行搜索。仿真结果表明K-最大主信道中继选择方案能够以较低的复杂度实现最优保密速率。     

电动汽车用锂离子电池热特性试验研究

为研究锂离子电池的热特性,以3 200 m A·h、3.67 V圆柱形三元材料锂电池为研究对象,进行了不同温度、不同充/放电倍率的热特性试验和低温加热试验.试验结果表明:随着充/放电电流的增大以及环境温度的降低,电池温度快速升高,低温下加热可以提高锂离子电池的充/放电性能.     

抗差自适应Kalman滤波及其在GNSS导航中的应用

针对Kalman滤波易受粗差影响而导致结果失真的问题,提出一种抗差自适应Kalman滤波方法,该方法结合自适应滤波与抗差Kalman滤波的优点,同时设计自适应因子和抗差因子,采用改进的两段Huber函数与2~3倍的观测噪声中误差来充当抗差因子与粗差判别标准。并对Kalman滤波和抗差自适应滤波(Adaptive Robust Kalman Filtering,ARKF)结果进行比较。车载实验结果表明,ARKF可以有效抵制观测异常对状态估值的影响,同时在系统先验信息不能精确给出的情况下,显著改善了滤波估值的稳定性和可用性。