期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于深度学习的巡检机器人高效识别算法研究
1
作者 赵书田 《水电站机电技术》 2025年第9期55-61,共7页
针对水电站无人机自动巡检系统在暴雨、大雾等极端天气下获取图像质量退化以及图像去雨模型参数量巨大,计算复杂,难以部署在可穿戴设备、无人机等内存、算力受限的移动端设备的问题,本文面向水利设施安全监测需求,提出了一种基于Recursi... 针对水电站无人机自动巡检系统在暴雨、大雾等极端天气下获取图像质量退化以及图像去雨模型参数量巨大,计算复杂,难以部署在可穿戴设备、无人机等内存、算力受限的移动端设备的问题,本文面向水利设施安全监测需求,提出了一种基于Recursive Transformer的轻量化图像去雨算法。该模型通过采用Recursive Transformer的思想,结合局部注意和跨窗口交互的特征提取块,提高了模型在图像去雨任务中的精度。为了平衡模型的精度和计算效率,设计了一种带有跳跃连接的递归注意力结构。这一设计允许在网络的自注意力块之间共享权重,避免了随着网络深度增加而导致参数数量急剧增加的问题。通过利用残差连接,降低了自注意力块的数量,重点关注雨纹检测,从而有效减少了整个网络的复杂度。在3个公开的数据集上与主流算法的主、客观结果进行对比试验表明,所提算法DMRATNet不仅在精度上取得了良好表现,而且在计算上更为高效。 展开更多
关键词 recursive Transformer 跨窗口交互 递归注意力
在线阅读 下载PDF
程序变换的若干探讨
2
作者 王士铁 《厦门大学学报(自然科学版)》 CAS 1988年第1期8-12,共5页
本文试用不动点原理研究几种程序变换,讨论了一类二重递归的终止条件,并用之计算91函数与证明3x+1问题(Ⅰ)。
关键词 Fixpoint theory recursive program transformation
在线阅读 下载PDF
Finite-time Stabilization of a General Class of Nonholonomic Dynamic Systems via Terminal Sliding Mode
3
作者 Yu-Qiang Wu Cheng-Long Zhu Zhong-Cai Zhang 《International Journal of Automation and computing》 EI CSCD 2016年第6期585-595,共11页
This paper presents control strategies for finite-time stabilization of a class of nonholonomic dynamic systems with unknown virtual control coefficients and system parameters. The minimal dilation degree technique an... This paper presents control strategies for finite-time stabilization of a class of nonholonomic dynamic systems with unknown virtual control coefficients and system parameters. The minimal dilation degree technique and the terminal sliding mode control scheme with finite-time convergence are used to design the controllers. The systematic control strategy development involves the introduction of state transformations and the application of recursive terminal sliding mode structure. Depending on whether the system in question can be converted into a time-invariant linear system or not, two control schemes are proposed respectively guaranteeing that system states converge to zero in finite time. The effectiveness and the robust feature of the developed control approaches are testified by two practical examples: the simplified underactuated hovercraft system and the parking problem for a mobile robot of the unicycle type. 展开更多
关键词 invariant simplified sliding stabilization converge robot recursive coordinates dilation transformed
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部