摘要:

摘要:

摘要:智能合约是去中心化生态中的重要组件,它降低了多方合作的信任成本,因而广泛应用于数字货币和金融等领域。智能合约在区块链上自动执行,具有不可修改和不可中止的特性,合约常常持有大量数字资产,一旦存在漏洞就有可能会造成巨大损失。随着智能合约技术的发展,合约漏洞开始从简单的语法漏洞向复杂的逻辑漏洞转变,触发漏洞的条件也可能从单一的交易演变为特定的交易序列。目前,各种针对合约的攻击层出不穷,因此开发出有效的合约漏洞检测工具显得尤为重要。为此,首先介绍了11个著名的智能合约漏洞;然后从静态分析和动态分析2个方面介绍了21个合约漏洞检测技术和工具,并从检测方法、研究对象、检测能力等方面对比这些工具,讨论了它们的优点和不足;最后,结合当前合约的安全现状展望了未来的研究工作。

摘要:为了对智能家电进行远程管理，移动端应用程序得到了广泛应用，智能家电设备、用户和云端之间的远程绑定成为实现设备安全远程访问的关键。为此，主要研究了智能家居远程绑定中的安全威胁问题。首先，建立了远程绑定的全过程状态机模型；然后，基于该模型，系统分析了针对10款远程家居设备的远程绑定方案，并发现了多个安全缺陷；最后，提出了一个增强的远程绑定方案IoTBinder，该方案针对现有远程绑定中静态设备 ID容易被暴力破解或泄露问题，从云端生成动态设备ID并通过用户传递给设备完成远程绑定。通过安全协议分析工具ProVerif的验证表明，IoTBinder可有效保护远程绑定过程，性能开销可以忽略不计。

摘要:网络切换技术不仅可以保证用户的网络连接，同时能够以较强的信号传输网络数据。网络切换技术的性能对网络服务质量(quality of service, QoS)的影响至关重要。然而，现有的切换算法多数存在严重的乒乓效应，这不仅造成网络资源的严重浪费，还会损害用户的QoS。为此，提出了一种基于强化学习的异构网络垂直切换方案，主要从触发切换、网络选择及判决切换等方面进行优化。在触发切换时将垂直切换考虑成必要切换和择优切换，通过Q-Learning（QL）算法在选择网络时优化垂直切换；然后以QoS为条件，在判决切换时加入驻留定时器，从多角度减少用户切换次数，降低乒乓效应对异构网络垂直切换的影响。仿真结果表明，基于强化学习的异构网络垂直切换方法可以在保证QoS的条件下有效减少用户切换网络的次数，短时间内频繁切换的情况也有所改善，降低了乒乓效应的影响。

摘要:随着激光致盲武器的快速发展，与之对应的激光致盲防护技术逐渐成为了一项重要的研究。相变材料二氧化钒(VO₂)因在合适的热、光、场等激励下发生半导体相与金属相的可逆相变导致光学和电学特性的显著变化而受到激光防护领域的持续关注。使用Drude-Lorentz模型对VO₂的光学常数进行了研究，针对单层二氧化钒在半导体相红外透过率不够高的问题进行了多层膜设计和优化，并实际制作了多层膜系。使用激光器与傅里叶红外光谱仪测试制备的VO₂薄膜，得到了薄膜的相变与防护效果等性能，验证了VO₂良好的激光致盲防护性能，实际测试表明半导体相的透过率大于92%，相变前后多层膜系的红外开关率超过98%。

摘要:激光是干扰可见光侦察与告警、跟踪与制导系统的常用技术手段，但存在着频段短、波束窄、瞄准难等问题。非相干强光干扰技术能有效弥补激光干扰技术的不足，针对非相干强光干扰可见光成像系统的理论分析与实验测试问题，分析了非相干强光干扰可见光成像系统的技术机理，研究了基于图像结构相似性的干扰效果分析模型，构建了检测干扰过程并获取测试数据的实验平台，实验测试并定量分析了光源照度、入射方向、等效距离、背景照度和视场大小等参数条件的变化对可见光成像质量、干扰实施前后图像的相似程度、非相干强光干扰效果的影响。结果表明：当入射到探测器表面的非相干强光定向光束照度值满足一定条件后，实施干扰前后的图像结构相似性参数平均结构相似度值减小，干扰后的图像质量下降、失真严重，模糊了图像中的有效信息，呈现出难以识别目标与背景的干扰效果。该研究成果可为非相干强光定向光束干扰可见光侦察系统和电视制导武器提供技术支撑和方法参考。

摘要:射频干扰是影响星载SAR系统精细化观测能力的主要因素，而随着组网卫星的发展，在星载SAR系统时空频交叠的情况下，又出现了一种新的地形散射干扰。因此，研究星载SAR系统的星间地形散射干扰对于提高其观测能力具有重要意义。本文介绍了星载SAR系统的星间地形散射干扰样式，分析了其存在条件和作用机理，构建了干扰传播路径的几何关系，推导出叠加干扰后的回波信号模型。基于地面直射干扰和星间散射互扰信号模型的不同，对比分析了两种干扰在不同信号表征域中的特征差异。仿真分析了模拟场景下不同干扰源所产生的成像结果，并从成像质量评估方面给出了雷达工作带宽、脉冲重复频率和卫星运行速度的影响。

摘要:量测协方差广泛应用于多传感器航迹融合领域，研究量测协方差在不同坐标系之间的转换方法有着重要的意义。量测协方差的转换方法虽已有部分研究，但在融合中的使用存在转换流程和框架不明确而影响融合精度的问题。为此，开展了航迹融合中的量测协方差转换方法研究，分线性转换和非线性转换2种情况，为基于协方差加权的航迹融合处理提供了一套规范化协方差转换流程和统一的转换公式。以非线性的坐标转换为例，仿真实验验证了不同位置和不同量测精度下使用转换方法计算协方差，得到的相对误差始终保持在可接受的范围内。转换的协方差有利于提高航迹融合精度，体现了该方法的有效性，可广泛应用于分布式航迹融合。

摘要:太赫兹合成孔径雷达（terahertz synthetic aperture radar，THz-SAR）波长短，可以工作在灰尘、雾霾等复杂战场环境。由于工作波长短，平台微小振动误差会使图像散焦严重。受高频振动误差的影响，目标除了自身响应外，沿方位向还会出现成对回波，给传统相位梯度自聚焦（phase gradient autofocus，PGA）算法强点提取和加窗操作增加了难度，影响运动误差提取精度。为了提高PGA算法精度，提出一种基于子带分解共轭消除相位误差的THz-SAR运动补偿方法，利用该概念可以重建出等效频率更低的SAR图像。由于相同运动误差对等效低频SAR图像影响大大降低，孤立强散射体散焦减弱，有利于强点提取和加窗。利用该图像结合PGA算法可实现运动误差信息的有效提取，并最终用于对原始THz-SAR图像的运动误差补偿。利用仿真数据和0.3 THz雷达实测数据进行了原理验证实验，结果验证了所提算法的有效性。