排序方式: 共有16条查询结果,搜索用时 0 毫秒
1.
2.
3.
智能合约是区块链技术最成功的应用之一,为实现各式各样的区块链现实应用提供了基础,在区块链生态系统中处于至关重要的地位.然而,频发的智能合约安全事件不仅造成了巨大的经济损失,而且破坏了基于区块链的信用体系,智能合约的安全性和可靠性成为国内外研究的新关注点.首先从Solidity代码层、EVM执行层、区块链系统层这3个层面介绍了智能合约常见的漏洞类型和典型案例;继而,从形式化验证法、符号执行法、模糊测试法、中间表示法、深度学习法这5类方法综述了智能合约漏洞检测技术的研究进展,针对现有漏洞检测方法的可检测漏洞类型、准确率、时间消耗等方面进行了详细的对比分析,并讨论了它们的局限性和改进思路;最后,根据对现有研究工作的总结,探讨了智能合约漏洞检测领域面临的挑战,并结合深度学习技术展望了未来的研究方向. 相似文献
4.
5.
6.
7.
8.
9.
针对中型无人直升机活塞发动机的恒定转速控制难题,设计一种带前馈补偿的模糊自抗扰控制(ADRC)方法。通过引入旋翼负载特性对发动机进行数学建模,将总距操纵、前飞速度作为已知扰动进行前馈补偿,设计模糊PID控制器适应活塞发动机复杂做功过程的非线性特性,将旋翼气动力变化以及风扰作为未知扰动,设计扩张状态观测器(ESO)对扰动进行在线估计与反馈补偿。通过数值仿真验证了控制方法可以有效地提高发动机转速控制的抗干扰能力与控制精度。并进行了发动机地面开车和飞行试验,结果表明,在飞行试验过程中,无人直升机的旋翼转速控制误差小于5.0 r/min,动态跟踪性能得到显著提升。 相似文献
10.