期刊文献+
共找到51篇文章
< 1 2 3 >
每页显示 20 50 100
CONVERGENCE AND OPTIMALITY OF ADAPTIVE MIXED METHODS FOR POISSON’S EQUATION IN THE FEEC FRAMEWORK
1
作者 Michael Holst Yuwen Li +1 位作者 Adam Mihalik Ryan Szypowski 《Journal of Computational Mathematics》 SCIE CSCD 2020年第5期748-767,共20页
Finite Element Exterior Calculus (FEEC) was developed by Arnold, Falk, Winther andothers over the last decade to exploit the observation that mixed variational problems canbe posed on a Hilbert complex, and Galerkin-t... Finite Element Exterior Calculus (FEEC) was developed by Arnold, Falk, Winther andothers over the last decade to exploit the observation that mixed variational problems canbe posed on a Hilbert complex, and Galerkin-type mixed methods can then be obtained bysolving finite-dimensional subcomplex problems. Chen, Holst, and Xu (Math. Comp. 78(2009) 35–53) established convergence and optimality of an adaptive mixed finite elementmethod using Raviart–Thomas or Brezzi–Douglas–Marini elements for Poisson’s equationon contractible domains in R^2, which can be viewed as a boundary problem on the deRham complex. Recently Demlow and Hirani (Found. Math. Comput. 14 (2014) 1337–1371) developed fundamental tools for a posteriori analysis on the de Rham complex.In this paper, we use tools in FEEC to construct convergence and complexity resultson domains with general topology and spatial dimension. In particular, we construct areliable and efficient error estimator and a sharper quasi-orthogonality result using a noveltechnique. Without marking for data oscillation, our adaptive method is a contractionwith respect to a total error incorporating the error estimator and data oscillation. 展开更多
关键词 Finite Element Exterior Calculus Adaptive finite element methods A posteriori error estimates Convergence quasi-optimality
原文传递
Convergence and Quasi-Optimality of an Adaptive Multi-Penalty Discontinuous Galerkin Method
2
作者 Zhenhua Zhou Haijun Wu 《Numerical Mathematics(Theory,Methods and Applications)》 SCIE CSCD 2016年第1期51-86,共36页
An adaptive multi-penalty discontinuous Galerkin method(AMPDG)for the diffusion problem is considered.Convergence and quasi-optimality of the AM-PDG are proved.Compared with the analyses for the adaptive finite elemen... An adaptive multi-penalty discontinuous Galerkin method(AMPDG)for the diffusion problem is considered.Convergence and quasi-optimality of the AM-PDG are proved.Compared with the analyses for the adaptive finite element method or the adaptive interior penalty discontinuous Galerkin method,extra works are done to overcome the difficulties caused by the additional penalty terms. 展开更多
关键词 Multi-penalty discontinuous Galerkin method adaptive algorithm CONVERGENCE quasi-optimality
原文传递
不同正则化方法在船舶辐射噪声计算中对比与试验研究 被引量:5
3
作者 李瑞彪 何琳 +1 位作者 卜文俊 徐荣武 《振动与冲击》 EI CSCD 北大核心 2021年第16期151-158,共8页
为研究不同背景下不同正则化参数方法在船舶辐射噪声评估中的适用性,降低辐射噪声计算误差,介绍了基于工况传递路径分析(OTPA)的船舶辐射噪声计算方法,讨论了奇异值分解(SVD)法、基于L-curve和广义交叉验证(GCV)的Tikhonov正则化方法在... 为研究不同背景下不同正则化参数方法在船舶辐射噪声评估中的适用性,降低辐射噪声计算误差,介绍了基于工况传递路径分析(OTPA)的船舶辐射噪声计算方法,讨论了奇异值分解(SVD)法、基于L-curve和广义交叉验证(GCV)的Tikhonov正则化方法在辐射噪声传递函数求解问题上的适用性,并进一步提出基于准最优(Q-O)判别准则的Tikhonov法。千岛湖舱段模型水下声辐射试验结果表明:在不同环境下,SVD方法性能最差;在正常环境下,L-curve、GCV和Q-O准则方法性能基本相同;随着背景噪声水平的升高,L-curve方法优于GCV方法,而Q-O准则方法优于L-curve方法,可较L-curve降低辐射噪声误差约0.42 dB,较SVD方法降低约1.19 dB。同时,Q-O准则鲁棒性分析表明该参数可近似视为最佳正则化参数,该方法可为后续实船工程应用提供指导。 展开更多
关键词 船舶辐射噪声 工况传递路径分析(OTPA) TIKHONOV正则化 奇异值分解(SVD) L-CURVE 广义交叉验证(GCV) 准最优(Q-O)准则
下载PDF
NEW SYSTEMS OF GENERALIZED QUASI-VARIATIONAL INCLUSIONS IN FC-SPACES AND APPLICATIONS 被引量:4
4
作者 丁协平 《Acta Mathematica Scientia》 SCIE CSCD 2011年第3期1142-1154,共13页
In this paper, we study some new systems of generalized quasi-variational inclusion problems in FC-spaces without convexity structure.By applying an existence theorem of maximal elements of set-valued mappings due to ... In this paper, we study some new systems of generalized quasi-variational inclusion problems in FC-spaces without convexity structure.By applying an existence theorem of maximal elements of set-valued mappings due to the author, some new existence theorems of solutions for the systems of generalized quasi-variational inclusion problems are proved in noncompact FC-spaces. As applications, some existence results of solutions for the system of quasi-optimization problems and mathematical programs with the systems of generalized quasi-variational inclusion constraints are obtained in FC-spaces. 展开更多
关键词 maximal element system of generalized quasi-variational inclusion problems system of quasi-optimization problems mathematical programs with systems of generalized quasi-variational inclusion constraints F C-space
下载PDF
UUV编队协同搜索静止目标的准最优方法 被引量:4
5
作者 陈盼 胡剑光 尹志伟 《火力与指挥控制》 CSCD 北大核心 2013年第4期53-56,共4页
考虑到操作的简单性且实际执行搜索任务时搜索力不是无限可分,将连续空间的搜索问题转换为离散空间的最优搜索问题。通过划分网格,将连续的目标位置分布离散化。根据最优搜索理论,提出了单个无人水下航行器的准最优随机搜索方法,较好地... 考虑到操作的简单性且实际执行搜索任务时搜索力不是无限可分,将连续空间的搜索问题转换为离散空间的最优搜索问题。通过划分网格,将连续的目标位置分布离散化。根据最优搜索理论,提出了单个无人水下航行器的准最优随机搜索方法,较好地逼近理论最优值。并以此为基础,分析了无人水下航行器编队的3种协同搜索方法:集中最优搜索、分散最大概率搜索和准最优搜索。最后通过实例仿真,得出了编队准最优搜索策略的有效性、优越性和可操作性。此方法将对无人水下航行器编队的战法研究具有参考借鉴意义。 展开更多
关键词 无人水下航行器 协同搜索 最优搜索 静止目标 准最优
下载PDF
极坐标系准最优乘子病态潮流解法研究 被引量:24
6
作者 王宪荣 包丽明 柳焯 《中国电机工程学报》 EI CSCD 北大核心 1994年第1期40-45,共6页
本文提出的极坐标系准最优乘子牛顿法病态潮流算法,相对于以往极坐标系病态潮流算法而言,有明显进展,本文算法十分简捷,计算精度高,易于纳入常规牛顿一拉夫逊潮流算法,且附加计算量极少。本文的研究还解决了牛顿一拉夫逊潮流算法... 本文提出的极坐标系准最优乘子牛顿法病态潮流算法,相对于以往极坐标系病态潮流算法而言,有明显进展,本文算法十分简捷,计算精度高,易于纳入常规牛顿一拉夫逊潮流算法,且附加计算量极少。本文的研究还解决了牛顿一拉夫逊潮流算法对初值的敏感性问题。对国内114节点的实际电力系统十余种运行方式及对典型的11节点、13节点和43节点系统所作的计算,验证了本文算法的有效性。 展开更多
关键词 电力系统 病态潮流 计算
下载PDF
被动及半主动摩擦阻尼器对合肥翡翠电视塔地震反应的控制 被引量:7
7
作者 瞿伟廉 陈朝晖 徐幼麟 《地震工程与工程振动》 CSCD 北大核心 2000年第2期101-106,共6页
摩擦阻尼器是一种构造简单的耗能减振装置,已应用于国内外多座新建建筑的抗震设计和已建建筑的抗震加固.半主动磨擦阻尼器则通过调整阻尼器的起滑力来改善被动摩擦阻尼器的耗能减振性能。本文研究了被动及半主动摩擦阻尼器对于高耸塔... 摩擦阻尼器是一种构造简单的耗能减振装置,已应用于国内外多座新建建筑的抗震设计和已建建筑的抗震加固.半主动磨擦阻尼器则通过调整阻尼器的起滑力来改善被动摩擦阻尼器的耗能减振性能。本文研究了被动及半主动摩擦阻尼器对于高耸塔架结构地震反应的减振效果。为满足摩擦阻尼器对高耸塔架结构风振控制的特殊需要,本文建立了合肥电视塔的空间桁架有限元模型和串联多自由度体系模型,并在形成控制力变换矩阵和计算摩擦阻尼器两端的相对位移的过程中综合地运用了这两种力学模型。在半主动摩擦阻尼器的控制策略方面,本文提出了一种基于次优控制理论的半主动控制策略.本文研究表明,摩擦阻尼器可以抑制高耸塔架结构的地震反应.而半主动摩擦阻尼辞的耗能减振效果明显优于被动摩擦阻尼器. 展开更多
关键词 摩擦阻尼器 准最优控制策略 地震反应 电视塔
下载PDF
交通流诱导与控制协同的双目标优化模型及准最优求解算法 被引量:8
8
作者 保丽霞 杨兆升 +1 位作者 胡健萌 杨晓光 《吉林大学学报(工学版)》 EI CAS CSCD 北大核心 2007年第2期319-324,共6页
提出了一种基于消散拥堵和系统总出行时间最小的双目标诱导控制协同优化模型,算法引入饱和度的概念,采用小步距微量调整信号配时、试算优化的方法,适当加载或卸载交通量,优化交叉口信号配时,使交通流在不断反馈与不断调整过程中达到最... 提出了一种基于消散拥堵和系统总出行时间最小的双目标诱导控制协同优化模型,算法引入饱和度的概念,采用小步距微量调整信号配时、试算优化的方法,适当加载或卸载交通量,优化交叉口信号配时,使交通流在不断反馈与不断调整过程中达到最优。采用VISSIM建立模拟路网进行了协同算法试验,并对协同实施效果进行了评价,结果表明:在进行3次协同后拥堵基本消散,经过第4、5次协同能实现系统总行程时间尽可能小。 展开更多
关键词 交通运输系统工程 协同模型 准最优算法 交通流诱导 交通控制
下载PDF
论初轨计算的最佳精度及二重解 被引量:8
9
作者 贾沛璋 吴连大 《天文学报》 CSCD 北大核心 1998年第4期337-343,共7页
从最优估计的角度,研究短弧测角资料初轨计算的最佳精度及准最佳精度算法.按照统计理论,对一般的参数估计问题,其估计误差的方差存在Cram’e4-Rao下界,这就是初轨理论的最佳精度;通过大量的模拟计算表明,文[1]中提出参考矢量... 从最优估计的角度,研究短弧测角资料初轨计算的最佳精度及准最佳精度算法.按照统计理论,对一般的参数估计问题,其估计误差的方差存在Cram’e4-Rao下界,这就是初轨理论的最佳精度;通过大量的模拟计算表明,文[1]中提出参考矢量法,其精度已充分接近C·R下界,且模拟计算轨道统计精度与观测误差成正比,可以认为是一种初轨计算的准最佳精度算法;对于小偏心率情况,发现一个重要的事实:初轨计算有二重解,更准确地说,在M0的左右两个半平面内有真假两个解,偏心率愈小,平近点角M0愈接近±π/2,给出的假解的概率愈大.针对这一情况,提出一种算法,可以给出2个解,其中必定有一个是真解,它有较高的精度. 展开更多
关键词 初轨 最佳精度 准最佳算法 轨道计算
下载PDF
基于改进层次分析法的作战目标优选研究 被引量:9
10
作者 杨晓 王玉玫 《计算机应用与软件》 北大核心 2018年第4期28-32,共5页
目标优选问题是作战指挥中的一个关键问题。考虑到传统层次分析法中存在的不足,引入一种改进的层次分析法,在选取合适评估指标的基础上,建立作战目标综合评价模型。通过使用三标度法构造比较矩阵,并对比较矩阵进行相关变换,得到拟优一... 目标优选问题是作战指挥中的一个关键问题。考虑到传统层次分析法中存在的不足,引入一种改进的层次分析法,在选取合适评估指标的基础上,建立作战目标综合评价模型。通过使用三标度法构造比较矩阵,并对比较矩阵进行相关变换,得到拟优一致性矩阵,求得各方案相对权重。通过实例,验证了改进的层次分析法能提高作战效率,为作战辅助决策提供科学依据。 展开更多
关键词 目标优选 改进的层次分析法 综合评价模型 三标度法 拟优一致性矩阵
下载PDF
弹性力学问题自适应有限元及其局部多重网格法 被引量:8
11
作者 刘春梅 肖映雄 +1 位作者 舒适 钟柳强 《工程力学》 EI CSCD 北大核心 2012年第9期60-67,91,共9页
针对平面弹性力学问题,利用最新顶点二分法,设计了一种不需要标记振荡项和加密单元不需要满足"内节点"性质的自适应有限元法;利用自适应加密过程中每层网格上只有局部单元需要加密这一特性,设计了一种基于局部松弛的多重网格... 针对平面弹性力学问题,利用最新顶点二分法,设计了一种不需要标记振荡项和加密单元不需要满足"内节点"性质的自适应有限元法;利用自适应加密过程中每层网格上只有局部单元需要加密这一特性,设计了一种基于局部松弛的多重网格法。数值实验结果表明:该文设计的自适应有限元法具有一致收敛性和拟最优计算复杂度,基于局部松弛的多重网格法对求解弹性力学问题自适应网格下的有限元方程具有很好的计算效率和鲁棒性。 展开更多
关键词 弹性力学问题 自适应有限元 拟最优复杂性 局部松弛 多重网格法
原文传递
动态多路径选择的混合演化算法 被引量:4
12
作者 张玲 高淑萍 王进鑫 《计算机工程与应用》 CSCD 北大核心 2009年第8期200-203,共4页
动态路径诱导系统(DRGS)是智能运输系统(ITS)研究的一个重要内容,动态路径诱导算法要考虑到全局最优和实时性问题。因此建立了一种包含实时路网信息而且可以针对时间进行离散化处理的路网模型,同时提出了一种用改进的Ford最短路径算法... 动态路径诱导系统(DRGS)是智能运输系统(ITS)研究的一个重要内容,动态路径诱导算法要考虑到全局最优和实时性问题。因此建立了一种包含实时路网信息而且可以针对时间进行离散化处理的路网模型,同时提出了一种用改进的Ford最短路径算法来初始化种群的演化算法,并设计了一组特定的演化算子(选择、交叉、变异),来求解动态路径诱导系统中的"多准最优路径"。最后,通过数值实验表明了此算法的可行性和有效性。 展开更多
关键词 动态路径诱导系统 多准最优路径 改进的Ford算法 演化算法
下载PDF
基于信号灯配时的动态路径诱导模型 被引量:4
13
作者 高淑萍 赵会宾 +1 位作者 张玲 王进鑫 《中国公路学报》 EI CAS CSCD 北大核心 2011年第1期109-114,共6页
针对城市交通流量变化产生的问题,在交叉口信号灯配时方案改进的基础上建立了动态路径诱导的双层优化模型,上层模型以行驶时间为目标函数,下层模型以总交叉口延误最小为目标函数。利用改进蚁群算法来求解优化模型,从而获得多准最优路径... 针对城市交通流量变化产生的问题,在交叉口信号灯配时方案改进的基础上建立了动态路径诱导的双层优化模型,上层模型以行驶时间为目标函数,下层模型以总交叉口延误最小为目标函数。利用改进蚁群算法来求解优化模型,从而获得多准最优路径。以实际交叉口为例,将信号灯配时改进前、后的模型计算结果进行比较。结果表明:应用信号灯配时改进后的模型获得的路径更省时,交叉口等待通行时间更短。 展开更多
关键词 交通工程 动态路径 双层优化模型 信号灯配时 改进蚁群算法 多准最优路径
原文传递
求解绝对值方程组的广义SOR型方法
14
作者 彭小飞 余文松 陈饶杰 《华南师范大学学报(自然科学版)》 CAS 北大核心 2024年第1期104-111,共8页
为了求解大规模的绝对值方程Ax-|x|=b,利用预处理技术及参数矩阵取代单参数的策略,文章提出了一类广义SOR型(GSOR)方法。通过选取适当的预处理矩阵或参数,GSOR方法能简化为已有的一种SOR型(NSOR)方法或导出更有效的SOR型方法。而且,基于... 为了求解大规模的绝对值方程Ax-|x|=b,利用预处理技术及参数矩阵取代单参数的策略,文章提出了一类广义SOR型(GSOR)方法。通过选取适当的预处理矩阵或参数,GSOR方法能简化为已有的一种SOR型(NSOR)方法或导出更有效的SOR型方法。而且,基于Ax-|x|=b方程解的唯一性条件,建立了GSOR方法的收敛性定理并给出了该方法的拟最优参数。特别地,利用截断的Neumann展开构建了一个新的预处理矩阵,由此导出了一种特殊的GSOR方法,记为GSOR-1方法。文章进一步证明:GSOR-1方法具有比NSOR方法更小的拟最优收敛因子。数值测试进一步揭示:GSOR-1方法比NSOR方法具有更快的收敛速度且耗费更少的计算时间。 展开更多
关键词 绝对值方程 广义SOR型方法 预处理矩阵 拟最优参数 收敛
下载PDF
复对称不定线性方程组的不均衡变形PMHSS预处理算法
15
作者 曾闽丽 赵开英 朱睦正 《计算数学》 CSCD 北大核心 2024年第3期253-271,共19页
本文在复对称不定线性方程组的等价形式的基础上,结合预处理的修正的Hermitian与反Hermitian分裂(PMHSS)迭代法的设计思路,提出了PMHSS迭代方法的一种不均衡变形迭代格式(即:LVPMHSS迭代法).在理论上详细分析了LVPMHSS迭代法的收敛性,同... 本文在复对称不定线性方程组的等价形式的基础上,结合预处理的修正的Hermitian与反Hermitian分裂(PMHSS)迭代法的设计思路,提出了PMHSS迭代方法的一种不均衡变形迭代格式(即:LVPMHSS迭代法).在理论上详细分析了LVPMHSS迭代法的收敛性,同时,还给出了特殊预处理矩阵下的LVPMHSS预处理矩阵的谱性质,并通过极小化对应迭代法的迭代矩阵谱半径得到拟最优迭代参数.数值实验的结果验证了新算法的可行性与有效性. 展开更多
关键词 复对称线性方程组 PMHSS迭代法 不均衡分裂迭代法 收敛性分析 拟最优参数
原文传递
“双一流”背景下应用型本科院校学科建设与调整 被引量:4
16
作者 王强 姜莉 +2 位作者 吴彪 付百学 李雯 《黑龙江工程学院学报》 CAS 2019年第2期54-56,共3页
"双一流"建设不仅对"985""211"等创新型、研究型高校提出了更高要求,同样对应用型本科院校也带来了机遇和挑战。文章在分析"双一流"学科建设的基本内涵、交通运输工程学科建设发展现状基础上,... "双一流"建设不仅对"985""211"等创新型、研究型高校提出了更高要求,同样对应用型本科院校也带来了机遇和挑战。文章在分析"双一流"学科建设的基本内涵、交通运输工程学科建设发展现状基础上,从"精准学科办学定位,瞄准学科发展特色、找准学科服务地方需求、优化学科师资队伍结构"三准一优化四个方面探讨了应用型本科院校交通运输工程学科建设与调整的途径。 展开更多
关键词 “双一流”背景 应用型本科院校 学科建设 三准一优化
下载PDF
改进专家群决策方法的风电机组故障风险评价研究 被引量:4
17
作者 贾子文 顾煜炯 +1 位作者 邢月 宋磊 《可再生能源》 CAS 北大核心 2018年第3期453-460,共8页
针对风电机组故障风险定量分析困难,评价过程主观性强的问题,提出了一种改进的专家群决策方法。首先,采用拟优一致判断矩阵法保证各个专家判断矩阵的一致性;其次,利用几何平均法(GMM)完成专家组矩阵的权重划分工作;最后,将灰色关联度方... 针对风电机组故障风险定量分析困难,评价过程主观性强的问题,提出了一种改进的专家群决策方法。首先,采用拟优一致判断矩阵法保证各个专家判断矩阵的一致性;其次,利用几何平均法(GMM)完成专家组矩阵的权重划分工作;最后,将灰色关联度方法与层次分析法(AHP)相结合,对各个专家组权重进行合理调整,形成针对风电机组设备故障风险的评价模型。经过实例验证,此方法能较为准确地对机组故障风险进行定量分析,同时提高故障风险评价过程的可行性与客观性。 展开更多
关键词 风电机组 故障风险评价 专家群决策 拟优一致判断矩阵 几何平均法 灰色关联度
下载PDF
基于混合元模型的准最优策略在汽车轻量化中的应用 被引量:3
18
作者 顾纪超 李光耀 +1 位作者 干年妃 王国春 《中国机械工程》 EI CAS CSCD 北大核心 2011年第16期1997-2000,共4页
汽车轻量化问题通常被定义成设计空间较大、设计变量较多的优化问题。为解决这一问题,提出了准最优策略。该策略需要与最优化方法配合,对所提出的优化问题进行多次优化,通过对前一次优化结果进行分析,逐渐地减少设计变量、缩小设计空间... 汽车轻量化问题通常被定义成设计空间较大、设计变量较多的优化问题。为解决这一问题,提出了准最优策略。该策略需要与最优化方法配合,对所提出的优化问题进行多次优化,通过对前一次优化结果进行分析,逐渐地减少设计变量、缩小设计空间,直到满足设计需要。将所提出的准最优策略与基于混合元模型的最优化方法相结合对某款车的后车架系统进行轻量化分析,系统的质量在三次优化中都有所减小,这一结果验证了该策略的有效性。此外,文章中也指出了准最优化策略的不足。 展开更多
关键词 准最优策略 混合元模型 全局最优化 轻量化 后车架
下载PDF
利用“准最优基”简化单纯形法求解过程 被引量:3
19
作者 陶凤玲 宛士春 《武汉大学学报(工学版)》 CAS CSCD 北大核心 2004年第1期68-71,共4页
深入剖析线性规划的优化机理,在线性规划单纯形表解法的基础上,利用单位资源所获得的价值由大到小规定了进基顺序,依据基的概念确定了"准最优基",将相应于"准最优基"的系数矩阵化为单位阵,然后依照单纯形法的判定标... 深入剖析线性规划的优化机理,在线性规划单纯形表解法的基础上,利用单位资源所获得的价值由大到小规定了进基顺序,依据基的概念确定了"准最优基",将相应于"准最优基"的系数矩阵化为单位阵,然后依照单纯形法的判定标准,判定"准最优基"是否为最优基,若不是,再利用原单纯形表解法进行基的转换,直至找到最优基."准最优基"方法有效地化简了求解过程,使计算缩减了60%以上,同时,不再引入人工变量,求解过程改两阶段为一阶段,为解决大规模线性规划问题提供了一个有效的方法. 展开更多
关键词 线性规划 单纯形法 准最优基
下载PDF
“准最优基”程序实现与应用探讨 被引量:3
20
作者 杨欢 陶凤玲 +2 位作者 李若东 高霞 李积花 《数学的实践与认识》 CSCD 北大核心 2014年第20期219-227,共9页
在利用"准最优基"简化单纯形法的求解过程的基础上,采用matlab将"准最优基"方法程序化,并采用程序进行了模型.求解原采用两阶段法求解的线性规划问题,用"准最优基"方法,不必加入人工变量,改两阶段为一阶... 在利用"准最优基"简化单纯形法的求解过程的基础上,采用matlab将"准最优基"方法程序化,并采用程序进行了模型.求解原采用两阶段法求解的线性规划问题,用"准最优基"方法,不必加入人工变量,改两阶段为一阶段,简化了求解过程,并针对只能将其目标函数系数为正的变量进基、约束条件都为正的局限性进行了探讨."准最优基"方法对目标函数的系数有正有负的情况,约束条件的系数有正有负的情况都适用.借助"bland法则"的思想,按下标顺序进基取代变量强度系数进基,得出了同样的结果,并对E.Beale的循环例子进行计算,一步得出最优解."准最优基"方法既可以提高运算速度,同时具有很好的适用性. 展开更多
关键词 线性规划 单纯形法 准最优基 两阶段法
原文传递
上一页 1 2 3 下一页 到第
使用帮助 返回顶部