期刊文献+
共找到587篇文章
< 1 2 30 >
每页显示 20 50 100
软件运行时配置研究综述
1
作者 周书林 李姗姗 +2 位作者 董威 王戟 廖湘科 《软件学报》 EI CSCD 北大核心 2024年第1期63-86,共24页
运行时配置为用户使用软件提供了灵活性和可定制性,但其巨大的规模和复杂的机制也带来了巨大的挑战.大量学者和研究机构针对软件运行时配置展开了研究,以提升软件系统在复杂外部环境中的可用性和适应性.建立运行时配置研究分析框架,从... 运行时配置为用户使用软件提供了灵活性和可定制性,但其巨大的规模和复杂的机制也带来了巨大的挑战.大量学者和研究机构针对软件运行时配置展开了研究,以提升软件系统在复杂外部环境中的可用性和适应性.建立运行时配置研究分析框架,从配置分析与理解、配置缺陷检测与故障诊断、配置应用3个阶段对现有研究工作进行归类和分析,总结归纳现有研究的不足和面临的挑战,并对未来的研究趋势进行展望,对下一步研究具有一定的指导意义. 展开更多
关键词 运行时配置 配置理解 配置缺陷检测 配置故障诊断 配置应用
在线阅读 下载PDF
研究生数理逻辑课程教学改革初探
2
作者 刘万伟 陈立前 +1 位作者 李暾 董威 《计算机教育》 2024年第1期46-50,共5页
针对研究生数理逻辑课程的性质和特点,分析目前研究生数理逻辑课程教学中存在的问题,从课程的重难点梳理、针对性教学方法改革、课程内容改革、课程思政实施及课程群内容知识衔接几方面,提出相应的教学改革思路、方法并阐述具体实施过程... 针对研究生数理逻辑课程的性质和特点,分析目前研究生数理逻辑课程教学中存在的问题,从课程的重难点梳理、针对性教学方法改革、课程内容改革、课程思政实施及课程群内容知识衔接几方面,提出相应的教学改革思路、方法并阐述具体实施过程,最后通过一系列尝试结果说明教学成效。 展开更多
关键词 数理逻辑 课程改革 课程思政 课程内容衔接
在线阅读 下载PDF
林业高职院校科技创新服务乡村振兴新路径--以湖北生态工程职业技术学院为例
3
作者 汪义亚 董威 《国家林业和草原局管理干部学院学报》 2024年第3期36-41,61,共7页
适应区域经济、校企深度合作、培育高技能人才,是办好职业教育的关键,也是“双高”创建、服务乡村振兴的基础。湖北生态工程职业技术学院探索建立了“三对接四联动四培育”实践模式,运用科技创新成果服务乡村振兴,赢得政府政策帮扶支持... 适应区域经济、校企深度合作、培育高技能人才,是办好职业教育的关键,也是“双高”创建、服务乡村振兴的基础。湖北生态工程职业技术学院探索建立了“三对接四联动四培育”实践模式,运用科技创新成果服务乡村振兴,赢得政府政策帮扶支持的力度加大,深化社会和企业育人的合作,较好地解决了高职教师队伍和学生培养、行业经济和企业需求脱节等问题,为探索高职院校科技创新服务乡村振兴提供了宝贵经验,对促进乡村振兴战略的深入实施具有重要的理论指导意义与实践借鉴价值。 展开更多
关键词 科技创新 乡村振兴 职教改革 人才培养
在线阅读 下载PDF
数字化转型下M企业成本管理研究——基于动态能力视角
4
作者 孙德芝 董威 《财会通讯》 北大核心 2025年第6期123-128,共6页
文章选取数字化转型成功的M企业为研究对象,探讨在数字化转型背景下M企业如何运用客制化能力、实时分析与预测能力、资源配置能力与重构能力优化内部研发、生产制造以及销售服务各环节业务流程,实现精准研发、动态存货管理以及降本增效... 文章选取数字化转型成功的M企业为研究对象,探讨在数字化转型背景下M企业如何运用客制化能力、实时分析与预测能力、资源配置能力与重构能力优化内部研发、生产制造以及销售服务各环节业务流程,实现精准研发、动态存货管理以及降本增效,完善企业成本管理体系,打造核心竞争力,以期为数字化转型企业的成本管理提供参考。 展开更多
关键词 数字化转型 动态能力 成本管理
在线阅读 下载PDF
耦合空气系统的燃气轮机拓扑自构建建模方法
5
作者 郑培英 周泽均 +2 位作者 钟易成 董威 刘家兴 《航空发动机》 北大核心 2024年第3期33-39,共7页
为了实现通用性强、可扩展性好、灵活高效的整机性能模型通用建模,提出了一种拓扑自构建的燃气轮机整机性能通用建模方法。基于面向对象思想,采用模块化技术构建通用部件库,再通过拓扑接口关联部件组成整机模型,建立了适用于不同燃气轮... 为了实现通用性强、可扩展性好、灵活高效的整机性能模型通用建模,提出了一种拓扑自构建的燃气轮机整机性能通用建模方法。基于面向对象思想,采用模块化技术构建通用部件库,再通过拓扑接口关联部件组成整机模型,建立了适用于不同燃气轮机类型的整机性能仿真模型。耦合了多支路复杂空气系统迭代求解模型,将其作为部件嵌入整机模型,以取代现有的定比例引气量计算方法。采用跨平台图形开发框架及图像可视化技术,开发了人机交互友好的整机性能预测平台。采用典型双轴燃气轮机算例,与试验结果进行了对比验证。结果表明:对于动力涡轮出口温度,采用恒定引气比方式和当前耦合方法的计算结果与试验结果对比得到的最大误差分别为3.36%和1.31%;对于出口压力的计算在多数工况下的计算精度也有所提高。提出的拓扑自构建的燃气轮机整机性能通用建模方法实现了部件自由搭建及整机拓扑自构建,且耦合空气系统后,整机性能仿真精度显著提高。 展开更多
关键词 拓扑自构建 空气系统 整机性能模型 燃气轮机
在线阅读 下载PDF
压力影响硅基防热材料界面多相催化的微观机理研究
6
作者 李芹 杨肖峰 +1 位作者 董威 杜雁霞 《空气动力学学报》 CSCD 北大核心 2024年第4期84-95,I0002,共13页
反应分子动力学模拟是阐明高温壁面效应微观致热机理、深化高速飞行器非平衡气动热认知的重要途径之一,然而通过人为增加压力实现计算效率提升的微观模拟,往往会导致反应路径和速率系数差异,进而影响气动热,造成机理认知偏差。采用基于R... 反应分子动力学模拟是阐明高温壁面效应微观致热机理、深化高速飞行器非平衡气动热认知的重要途径之一,然而通过人为增加压力实现计算效率提升的微观模拟,往往会导致反应路径和速率系数差异,进而影响气动热,造成机理认知偏差。采用基于ReaxFF力场的分子动力学方法,以离解氧原子在硅基防热材料表面的催化复合反应体系为对象,计算分析了不同气相压力条件下的基元反应速率、表面覆盖率和复合系数,用于获得基元反应速率常数与压力的量化关系,明确通过增压提高计算效率的上限范围。结果表明,增压可导致主导反应路径从吸附相间作用至气相-吸附相作用的转变,且使基元反应速率常数-压力的关系偏离实验/飞行条件下的规律。在1200 K条件下、单原子碰撞的压力范围内,各基元反应步骤的速率常数均随压力的降低而下降。其中,ER1~ER3复合反应的速率常数随压力呈近似线性变化,速率常数分别与压力的1.10179、1.01686和0.91654次方呈线性关系;LH1~LH3复合反应的速率常数与压力呈对数关系,且对数前因子显著小于非单原子碰撞区;热解附反应的速率常数与压力呈指数关系。根据气相压力影响催化反应机制的微观机理,以基元反应速率常数-压力关系可以稳定解析为判据,提出了人为增加压力的约束上限条件:以体系高度为特征长度的努森数应大于102量级,以保证气固单原子碰撞。相关研究为气固界面反应的分子模拟方法和防热材料微观催化数据的累积提供了支撑。 展开更多
关键词 气固作用 多相催化 气相压力 主导路径 反应分子动力学
在线阅读 下载PDF
UMLStatecharts的模型检验方法 被引量:40
7
作者 董威 王戟 齐治昌 《软件学报》 EI CSCD 北大核心 2003年第4期750-756,共7页
统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁... 统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Bchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统. 展开更多
关键词 UMLStatecharts 模型检验方法 软件开发 统一建模语言
在线阅读 下载PDF
多工况混电飞机板翅式散热器优化设计方法
8
作者 邱相臣 郑皓冉 +1 位作者 程显达 董威 《航空发动机》 北大核心 2024年第6期32-38,共7页
针对机载板翅式散热器在结构设计时传热和压降的极端工况点不一致的问题,提出了考虑多工况约束条件的散热器结构优化算法。建立了散热器计算模型并验证了模型的准确性,并基于遗传算法(GA)和粒子群优化算法(PSO)建立了改进的GAPSO算法模... 针对机载板翅式散热器在结构设计时传热和压降的极端工况点不一致的问题,提出了考虑多工况约束条件的散热器结构优化算法。建立了散热器计算模型并验证了模型的准确性,并基于遗传算法(GA)和粒子群优化算法(PSO)建立了改进的GAPSO算法模型,在该模型基础上考虑了散热器工作包线作为入口参数,通过不断改进散热器结构参数,确保散热器在不同入口参数下计算得到的传热和压降都能够满足约束条件。结果表明:与GA算法和PSO算法相比,GA-PSO算法在解决多工况优化问题时具有更强的全局寻优能力和收敛性,得到的优化结果在限定体积内质量最小,最小质量达3.91kg,与优化前相比降低了14%,同时也保证了散热器在工作包线内任意工况下压降和传热均满足约束要求,验证了基于GA-PSO算法的散热器多工况优化方法的可行性。 展开更多
关键词 板翅式散热器 多工况 遗传算法 粒子群优化 冷侧压降 混电飞机
在线阅读 下载PDF
人机物融合与新型计算人才培养
9
作者 朱培栋 董威 《计算机教育》 2024年第3期172-176,共5页
分析人机物融合时代的特征,针对目前计算机学科机遇与挑战并存的现状,从世界观、价值观、工程能力等方面阐述人机物融合时代新型计算人才培养的方向与要求,从素养、知识和能力等方面说明培养方法。
关键词 人机物融合 计算机学科 新型计算 计算人才 培养目标 培养方法
在线阅读 下载PDF
抗凝联合他汀类降脂药治疗激素性股骨头坏死大鼠模型疗效及机制研究 被引量:13
10
作者 董威 王健 +4 位作者 贾国兴 林雷 于晓光 刘国彬 张国平 《东南大学学报(医学版)》 CAS 2019年第1期131-135,共5页
目的:探究抗凝联合他汀类降脂药治疗激素性股骨头坏死大鼠模型疗效及机制。方法:大鼠分为对照组、模型组和观察组,使用大肠杆菌内毒素和甲基强地松龙复制激素性股骨头坏死大鼠模型,模型复制后观察组大鼠灌胃华法林和阿托伐他汀。比较各... 目的:探究抗凝联合他汀类降脂药治疗激素性股骨头坏死大鼠模型疗效及机制。方法:大鼠分为对照组、模型组和观察组,使用大肠杆菌内毒素和甲基强地松龙复制激素性股骨头坏死大鼠模型,模型复制后观察组大鼠灌胃华法林和阿托伐他汀。比较各组大鼠形态、股骨头X线观察结果、股骨头骨密度、血清中磷、钙和血管内皮生长因子(VEGF)水平、血浆中总胆固醇(Tch)测试盒和低密度脂蛋白(LDL)水平。结果:与模型组比较,观察组大鼠模型复制后的精神状态、毛发色泽、活动量均显著的改善,观察组大鼠模型复制后股骨头的大体形态得到有效的改善,骨密度均一,股骨头光滑,骨小梁清晰;模型复制后,观察组大鼠股骨头骨密度、血清中的磷和钙水平显著高于模型组(P<0.05),观察组大鼠血清中的磷和钙水平、VEGF均显著高于模型组(P<0.05),观察组大鼠血浆PT和t-PA水平、血清TCH和LDL水平均显著低于模型组(P<0.05)。结论:抗凝联合降脂治疗激素性股骨头坏死时可以收到显著的疗效。其作用机制可能为通过降脂和抗凝,改善股骨头坏死部位的血液循环,促进血管再生,促进骨细胞生长。 展开更多
关键词 抗凝 降脂 他汀类药物 激素性股骨头坏死
在线阅读 下载PDF
并发和实时系统的模型检验技术 被引量:10
11
作者 董威 王戟 齐治昌 《计算机研究与发展》 EI CSCD 北大核心 2001年第6期698-705,共8页
模型检验是一种重要的自动验证技术 ,通过显式状态搜索或隐式不动点计算来验证并发或实时系统的模态 /命题性质 ,以保证通信协议、数字电路等设计的正确性 .详细阐述了模型检验技术的发展与研究现状 .首先描述了并发系统分别基于自动机... 模型检验是一种重要的自动验证技术 ,通过显式状态搜索或隐式不动点计算来验证并发或实时系统的模态 /命题性质 ,以保证通信协议、数字电路等设计的正确性 .详细阐述了模型检验技术的发展与研究现状 .首先描述了并发系统分别基于自动机理论和符号化的两种主要模型检验策略 ,并给出解决状态爆炸问题的主要方法 ;然后介绍了针对实时系统以及面向对象设计的模型检验方法 ;对每种方法都介绍了相应的典型工具 . 展开更多
关键词 模型检验 形式化验证 并发系统 实时系统 自动机理论 软件工程
在线阅读 下载PDF
多孔层板换热特性实验研究 被引量:10
12
作者 董威 韩树军 曹玉璋 《航空动力学报》 EI CAS CSCD 北大核心 2002年第1期122-126,共5页
本实验选取了一种典型结构的多孔层板作为研究对象 ,进行了换热特性实验研究。研究了改变冷热气流吹风比对该型层板冷却效果的影响。另外 ,对该型多孔层板的冷却效果沿中轴线顺气流方向的变化规律也作了深入的研究。并给出了层板局部 N ... 本实验选取了一种典型结构的多孔层板作为研究对象 ,进行了换热特性实验研究。研究了改变冷热气流吹风比对该型层板冷却效果的影响。另外 ,对该型多孔层板的冷却效果沿中轴线顺气流方向的变化规律也作了深入的研究。并给出了层板局部 N ux 和冷却效果 E关于局部 Rex 及冷热气流吹风比 M的数学拟合表达式。 展开更多
关键词 多孔层板 换热特性 冷却效果 吹风比 航空燃气涡轮发动机 实验研究
在线阅读 下载PDF
并发程序的切片模型检验方法 被引量:7
13
作者 董威 王戟 齐治昌 《计算机学报》 EI CSCD 北大核心 2003年第3期266-274,共9页
提出了一种对并发程序进行切片以缩减模型检验状态空间的方法 .首先针对并发程序中的同步与通信定义了一组依赖关系 ,包括并发分支与接合、非确定性、信道、共享变量等特征 .对于从要验证的时态逻辑性质中提取的关于多个程序点的切片标... 提出了一种对并发程序进行切片以缩减模型检验状态空间的方法 .首先针对并发程序中的同步与通信定义了一组依赖关系 ,包括并发分支与接合、非确定性、信道、共享变量等特征 .对于从要验证的时态逻辑性质中提取的关于多个程序点的切片标准 ,文中给出算法根据相应的依赖关系通过不动点运算得到并发程序切片 . 展开更多
关键词 并发程序 模型检验 程序切片 自动验证 JAVA语言 SPL语言
在线阅读 下载PDF
关于偏好信息全序化的加权TOPSIS新方法 被引量:9
14
作者 董威 王建辉 顾树生 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第17期3996-3999,共4页
针对通过辨识矩阵无法求取偏序集,不能进行后续的偏好信息全序化算法的普遍问题,提出了基于粗糙集的加权TOPSIS偏好信息全序化方法。首先根据属性间差异程度计算各个属性的权值,然后再对信息系统进行加权TOPSIS排序分析。克服了原算法... 针对通过辨识矩阵无法求取偏序集,不能进行后续的偏好信息全序化算法的普遍问题,提出了基于粗糙集的加权TOPSIS偏好信息全序化方法。首先根据属性间差异程度计算各个属性的权值,然后再对信息系统进行加权TOPSIS排序分析。克服了原算法对信息表本身的过严限制,扩大了偏好信息全序化的粗糙集方法的应用范围。最后通过在球团厂中链蓖机-回转窑系统信息表的应用验证了该方法的有效性。 展开更多
关键词 粗糙集 TOPSIS 权重 偏好信息 全序化
在线阅读 下载PDF
软件工程专业在线课程建设思考 被引量:15
15
作者 董威 文艳军 +1 位作者 李暾 齐治昌 《计算机教育》 2015年第6期51-55,共5页
针对国家和军队信息化建设对软件工程人才的迫切需求,以及软件工程专业课程面临的知识与工具变化快、项目实践要求高、强调协同与合作等特征为目前在线课程模式和平台带来的挑战性问题,分析研究2014版软件工程知识体(SWEBOK)对在线课程... 针对国家和军队信息化建设对软件工程人才的迫切需求,以及软件工程专业课程面临的知识与工具变化快、项目实践要求高、强调协同与合作等特征为目前在线课程模式和平台带来的挑战性问题,分析研究2014版软件工程知识体(SWEBOK)对在线课程建设的影响,分别针对大规模公开在线课程(MOOC)和小规模私有在线课程(SPOC)的建设提出一系列建设思路与方案。 展开更多
关键词 软件工程 在线课程 软件工程知识体 MOOC SPOC
在线阅读 下载PDF
UML状态机的模型检验方法 被引量:7
16
作者 董威 王戟 +1 位作者 郑延平 齐治昌 《计算机工程与科学》 CSCD 2001年第6期7-11,共5页
模型检验是一种确保设计规范正确性的形式化自动验证技术 ,本文提出了对 UML状态机进行模型检验的方法。文中首先对 UML状态机的语法和语义进行描述 ,然后基于语义中的 RTC步给出生成状态机全局可达状态迁移图的方法 ,方法的核心是在当... 模型检验是一种确保设计规范正确性的形式化自动验证技术 ,本文提出了对 UML状态机进行模型检验的方法。文中首先对 UML状态机的语法和语义进行描述 ,然后基于语义中的 RTC步给出生成状态机全局可达状态迁移图的方法 ,方法的核心是在当前格局下根据使能条件确定所有的最大无冲突迁移集。文章最后给出算法以验证 UML状态机是否满足用计算树逻辑 ( CTL) 展开更多
关键词 UML 状态机 模型检验 计算树逻辑 软件质量 软件工程
在线阅读 下载PDF
基于可变精度粗糙集理论的规则获取算法 被引量:8
17
作者 董威 王建辉 顾树生 《控制工程》 CSCD 2007年第1期73-75,共3页
为了在处理噪声数据时获得更可靠的分类规则,提出了一种粗糙规则挖掘算法。通过粗糙规则集的不确定量度,在变精度粗糙集理论下近似约简分析的基础上,引入了信息熵,建立了变精度意义下的决策表的度量方式。利用离散粒子群算法,提出一种... 为了在处理噪声数据时获得更可靠的分类规则,提出了一种粗糙规则挖掘算法。通过粗糙规则集的不确定量度,在变精度粗糙集理论下近似约简分析的基础上,引入了信息熵,建立了变精度意义下的决策表的度量方式。利用离散粒子群算法,提出一种基于粒子群优化的粗糙集知识的近似约简算法,导出了粗糙规则集。经过实例分析说明,这种算法不但具有一定的噪声容忍度,而且该算法得到的规则具有较高的正确度和覆盖度,从而保证分类的准确性。 展开更多
关键词 变精度粗糙集 粒子群优化 信息增益 正确度 覆盖度
在线阅读 下载PDF
基于Agent的软件可靠性评估系统 被引量:3
18
作者 董威 毛新军 +2 位作者 陈磊 王戟 齐治昌 《计算机科学》 CSCD 北大核心 2000年第6期28-31,共4页
1 引言现代软件产品的重要特征之一是软件质量,而软件可靠性被认为是软件质量的关键因素。软件可靠性指软件在特定环境和给定时间内无故障运行的概率。它面向用户而不是开发者,是软件质量诸多因素中最容易度量的属性。软件可靠性模型是... 1 引言现代软件产品的重要特征之一是软件质量,而软件可靠性被认为是软件质量的关键因素。软件可靠性指软件在特定环境和给定时间内无故障运行的概率。它面向用户而不是开发者,是软件质量诸多因素中最容易度量的属性。软件可靠性模型是随机过程的一种表示,可以将软件可靠性或与其直接有关的量(如平均无故障时间或故障率) 展开更多
关键词 软件可靠性 评估算 软件工程 AGENT
在线阅读 下载PDF
UML Statecharts的切片模型检验方法 被引量:4
19
作者 董威 王戟 齐治昌 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期2083-2089,共7页
统一建模语言UML已被广泛应用于软件设计和开发中,而验证UML模型是否满足关键的性质需求成为一个重要问题.由于空间爆炸和语义的复杂性,对Statecharts进行模型检验受到软件规模和设计精化程度的制约.本文在用扩展层次自动机(EHA)结构化... 统一建模语言UML已被广泛应用于软件设计和开发中,而验证UML模型是否满足关键的性质需求成为一个重要问题.由于空间爆炸和语义的复杂性,对Statecharts进行模型检验受到软件规模和设计精化程度的制约.本文在用扩展层次自动机(EHA)结构化的表示UML Statecharts后,通过分析EHA中存在的层次、并发和事件同步等特征定义了一组依赖关系.对于由状态和迁移组成的切片准则,给出对EHA进行切片的算法.该算法能保证切片后的EHA与原来的Statecharts对性质具有相同的可满足性,且删除了与被验证性质无关的层次和并发状态,缓解了空间爆炸问题. 展开更多
关键词 UML STATECHARTS 切片 模型检验 统一建模语言
在线阅读 下载PDF
过表达Bestrophin 3对皮质类固醇诱导的股骨头坏死保护作用及其机制 被引量:3
20
作者 董威 朱超华 +5 位作者 王健 张海静 李军 赵振拴 李全海 张国平 《实用医学杂志》 CAS 北大核心 2019年第20期3164-3167,3172,共5页
目的探讨与评价过表达Bestrophin 3对皮质类固醇诱导的股骨头坏死(osteonecrosis of the femoral head,ONFH)保护作用及其机制。方法根据纳入标准和排除标准选取本院于2017年2月至2017年12月期间就诊的ONFH患者术后股骨头骨组织50例作... 目的探讨与评价过表达Bestrophin 3对皮质类固醇诱导的股骨头坏死(osteonecrosis of the femoral head,ONFH)保护作用及其机制。方法根据纳入标准和排除标准选取本院于2017年2月至2017年12月期间就诊的ONFH患者术后股骨头骨组织50例作为观察组,股骨颈骨折患者自愿捐赠的股骨头骨组织50例作为对照组,采集两组标本的骨髓基质细胞,使用PCR方法检测骨髓基质细胞Bestrophin 3的表达水平。利用分子生物学手段构建Bestrophin 3不同表达水平的细胞株,通过MTT检测细胞生存率方法比较不同细胞株中细胞生存率。结果观察组中的股骨头骨组织Bestrophin 3相对表达量高于对照组,差异有统计学意义(P<0.05)。高表达Bestrophin 3的细胞株细胞生存率比较高,差异有统计学意义(P<0.05),且细胞生存率与Bestrophin 3表达量呈正相关(P<0.01)。结论Bestrophin 3在皮质类固醇性股骨头坏死骨组织中的呈现高表达状况,Bestrophin 3表达量与细胞生存率呈正相关,高表达Bestrophin 3对细胞具有保护作用。 展开更多
关键词 股骨头坏死 BESTROPHIN 3 骨髓基质细胞 细胞生存率 表达量
在线阅读 下载PDF
上一页 1 2 30 下一页 到第
使用帮助 返回顶部