期刊文献+
共找到4,910篇文章
< 1 2 246 >
每页显示 20 50 100
uClinux操作系统在嵌入式SOC平台上的移植 被引量:7
1
作者 沈沙 苏佳宁 +1 位作者 田骏骅 章倩苓 《计算机工程与应用》 CSCD 北大核心 2004年第26期104-105,108,共3页
论文介绍如何在实验室自主开发的嵌入式SOC平台上移植并运行uClinux嵌入式操作系统。uClinux是一个源码公开的嵌入式操作系统,适合运行于无MMU的SOC平台。该设计中的嵌入式SOC平台包括一个自主设计的32位RISCCPU,并遵循Wishbone3.0总线... 论文介绍如何在实验室自主开发的嵌入式SOC平台上移植并运行uClinux嵌入式操作系统。uClinux是一个源码公开的嵌入式操作系统,适合运行于无MMU的SOC平台。该设计中的嵌入式SOC平台包括一个自主设计的32位RISCCPU,并遵循Wishbone3.0总线规范。 展开更多
关键词 uclinux操作系统 嵌入式SOC平台 OS内核移植 BOOTLOADER
在线阅读 下载PDF
uClinux操作系统实时性能的研究与实现 被引量:7
2
作者 马学文 朱名日 程小辉 《计算机工程与科学》 CSCD 2005年第3期102-104,共3页
增强uClinux的实时性能是工业控制等实时性要求高的领域的必然要求,也是 uClinux操作系统研究的关键技术之一。本文在借鉴RTLinux实现原理的基础上,研究了增强uClinux实时性能的方法,并给出了具体的实现例程。
关键词 uclinux 操作系统 实时性能 桌面系统 中断处理程序
在线阅读 下载PDF
基于UcLinux操作系统的配电变压器远程监测终端设计 被引量:3
3
作者 丁丹一 蔡勇 李晶 《电测与仪表》 北大核心 2009年第10期60-62,共3页
按照配电变压器监测系统应传输数据可靠、经济实用等技术实现要求,基于ucLinux操作系统、嵌入式处理器AT91RM9200、专用测量芯片ATT7022以及GPRS网络等设计出一款配电变压器监测终端。
关键词 LINUX操作系统 嵌入式微处理器 专用测量芯片 GPRS网络 监测终端
在线阅读 下载PDF
细小病毒反向遗传学操作系统的构建策略及其应用
4
作者 王薏敏 田传龙 +7 位作者 毕庄莉 王锦斌 刘禹含 孟春春 朱杰 刘光清 王勇 李传峰 《中国动物传染病学报》 北大核心 2025年第4期229-236,共8页
细小病毒是一种基因组全长为4~6 kb的单链DNA病毒,可以感染各种各样的宿主。它们感染宿主产生的临床症状从严重致命到亚临床甚至是仅长期潜伏感染各不相同。更重要的是,一些细小病毒的变种已经扩大了它们的宿主范围,产生新的流行或大流... 细小病毒是一种基因组全长为4~6 kb的单链DNA病毒,可以感染各种各样的宿主。它们感染宿主产生的临床症状从严重致命到亚临床甚至是仅长期潜伏感染各不相同。更重要的是,一些细小病毒的变种已经扩大了它们的宿主范围,产生新的流行或大流行病毒。本文概述了细小病毒的分类及其一般基因组特征,并基于此介绍了构建细小病毒反向遗传学操作系统平台的策略及其应用,这一技术平台对研究细小病毒的复制机制、致病机理和致弱机制等方面具有重要意义,还可为高效优质疫苗的研制提供技术支持。 展开更多
关键词 细小病毒 感染性克隆 反向遗传学操作系统
在线阅读 下载PDF
操作系统内核权能访问控制的形式验证
5
作者 徐家乐 王淑灵 +8 位作者 李黎明 詹博华 吕毅 代艺博 崔舍承 吴鹏 谭宇 张学军 詹乃军 《软件学报》 北大核心 2025年第8期3570-3586,共17页
操作系统内核是构建安全攸关系统软件的基础.任何计算机系统的正确运行都依赖于底层操作系统实现的正确性,因此,对操作系统内核进行形式验证是很迫切的需求.然而,操作系统中存在的多任务并发、数据共享和竞争等行为,给操作系统内核的验... 操作系统内核是构建安全攸关系统软件的基础.任何计算机系统的正确运行都依赖于底层操作系统实现的正确性,因此,对操作系统内核进行形式验证是很迫切的需求.然而,操作系统中存在的多任务并发、数据共享和竞争等行为,给操作系统内核的验证带来很大的挑战.近年来,基于定理证明的方法广泛用于操作系统各功能模块的形式验证,并取得多个成功应用.微内核操作系统权能访问控制模块提供基于权能的细粒度访问控制,旨在防止未经授权的用户访问系统内核资源和服务.在权能访问控制模块实现中,所有任务的权能空间构成多个树结构,同时每个任务权能节点包含多种嵌套的复杂数据结构,以及权能函数中广泛存在的对权能结构的访问、修改、(递归)删除等操作,使得它的形式验证与操作系统其他功能模块相比更加困难.将以并发精化程序逻辑CSL-R为基础,通过证明权能应用程序接口函数(API函数)和其抽象规范之间的精化关系,来验证航天嵌入式领域某微内核操作系统权能访问控制的功能正确性.首先对权能数据结构进行形式建模,并在此基础上定义全局不变式来保持权能空间的一致性;然后定义反映功能正确性需求的内核函数的前后条件规范和API函数的抽象规范;最终验证权能API函数C代码实现和抽象规范之间的精化关系.以上所有的定义和验证均在Coq定理证明器中完成.在验证过程中发现实现的错误,并得到微内核操作系统设计方的确认和修改. 展开更多
关键词 操作系统内核 形式验证 权能访问控制 并发精化分离逻辑
在线阅读 下载PDF
GhostFunc:一种针对Rust操作系统内核的验证方法
6
作者 何韬 董威 文艳军 《软件学报》 北大核心 2025年第8期3494-3511,共18页
操作系统是软件的基础平台,操作系统内核的安全性往往影响重大.Rust是逐渐兴起的内存安全语言,具有生命周期、所有权、借用检查、RAII等安全机制,使用Rust语言构建内核逐渐成为当前热门的研究方向.但目前使用Rust构建的系统多包含部分un... 操作系统是软件的基础平台,操作系统内核的安全性往往影响重大.Rust是逐渐兴起的内存安全语言,具有生命周期、所有权、借用检查、RAII等安全机制,使用Rust语言构建内核逐渐成为当前热门的研究方向.但目前使用Rust构建的系统多包含部分unsafe代码段,无法从根本上保证语言层面的安全性,因而针对unsafe代码段的验证对于保证Rust构建的内核正确可靠尤为重要.以某使用Rust构建的微内核为对象,提出GhostFunc的safe和unsafe代码段组合验证方法,将两类代码段采用不同层级的抽象,使用GhostFunc进行组合验证.针对任务管理与调度模块,基于λ_(Rust)形式化Arc<T>等unsafe代码段,并给出形式化GhostFunc的具体实现,完成此方法的验证实例.所有验证工作基于定理证明的方法,在Coq中采用Iris分离逻辑框架完成正确性的验证. 展开更多
关键词 形式化验证 操作系统内核 分离逻辑 RUST 定理证明
在线阅读 下载PDF
面向软件生态演化的操作系统兼容性研究综述
7
作者 洪欣然 马俊 +5 位作者 王静 张闯 余杰 李小玲 张雪艳 阳娅婧 《计算机科学》 北大核心 2025年第7期1-12,共12页
随着软硬件技术的飞速发展,软件生态成为信息产业创新发展的关键。然而,软件生态规模和数量庞大、应用场景复杂多样、依赖和供应链关系纵横交错,使得软件生态快速演化带来的兼容性问题日益突出,传统兼容性分析方法的局限性也越来越明显... 随着软硬件技术的飞速发展,软件生态成为信息产业创新发展的关键。然而,软件生态规模和数量庞大、应用场景复杂多样、依赖和供应链关系纵横交错,使得软件生态快速演化带来的兼容性问题日益突出,传统兼容性分析方法的局限性也越来越明显。操作系统作为支撑整个软件生态系统的基础设施,其兼容性问题直接关系到软件的稳定性、可用性、安全性以及软件生态的健康发展。从操作系统视角分析兼容性能够更宏观地把握整个软件生态的上下层次和依赖关系,并可以借助大数据和智能化手段,对海量的软件生态关系和复杂演化进行分析,从而更高效地识别和解决兼容性问题,提高操作系统的适应性和用户体验。文中旨在从架构层次、关系网络、演化过程等多个维度全面总结分析操作系统兼容性的内涵、模型,并从操作系统中软件生态演化的角度,结合复杂关系网络、人工智能、知识图谱等技术手段发展,从分析评估、检测定位、修复保障等方面系统性地探讨了当前兼容性问题的主要解决方案和研究成果,并对该领域的研究挑战和未来发展方向进行了归纳总结。 展开更多
关键词 兼容性分析 软件生态演化 操作系统 依赖关系 关系网络 知识图谱
在线阅读 下载PDF
星载操作系统中面向最优分配的分布式任务调度方法
8
作者 赵俊博 乔磊 +2 位作者 杨孟飞 杨建宇 李奕乐 《空间控制技术与应用》 北大核心 2025年第2期87-95,共9页
随着分布式系统在各个领域的的广泛应用,实时操作系统中的分布式任务调度问题日益凸显,尤其在多节点任务分配场景下更为关键.为应对任务响应时间、负载均衡及节点间通信开销等挑战,提出一种多节点最优任务分配方法,并设计了新颖的分布... 随着分布式系统在各个领域的的广泛应用,实时操作系统中的分布式任务调度问题日益凸显,尤其在多节点任务分配场景下更为关键.为应对任务响应时间、负载均衡及节点间通信开销等挑战,提出一种多节点最优任务分配方法,并设计了新颖的分布式任务调度算法.该算法综合考虑任务实时性、节点处理能力及网络通信状况,动态评估节点负载、任务依赖关系和优先级,实现了任务的最优分配.通过理论分析和实验证明,该算法能有效提高系统响应速度,优化资源利用率,减少通信开销,并增强系统稳定性.因此,文章提出的算法为实时操作系统任务调度问题提供了新的解决方案,具有显著的理论意义与实际应用价值. 展开更多
关键词 最优分配 分布式操作系统 任务调度
在线阅读 下载PDF
实现Linux操作系统tickless运行的方法研究
9
作者 郑会吉 汪光森 甘波 《海军工程大学学报》 北大核心 2025年第3期99-104,112,共7页
实时仿真等应用场景需要实时任务运行时不受干扰,而tick中断是操作系统中的典型中断之一,会对实时任务造成严重干扰。虽然现代Linux内核支持的Adaptive-ticks特性可以减少tick中断,但通过测试发现,仅配置Adaptive-ticks特性还不能完全... 实时仿真等应用场景需要实时任务运行时不受干扰,而tick中断是操作系统中的典型中断之一,会对实时任务造成严重干扰。虽然现代Linux内核支持的Adaptive-ticks特性可以减少tick中断,但通过测试发现,仅配置Adaptive-ticks特性还不能完全消除实时任务运行时的tick中断。针对此问题,提出了一种内核配置优化方法,该方法基于Adaptive-ticks特性以及对5.4.87版本Linux内核源码的分析,只需添加配置参数而不用修改内核即可实现操作系统tickless运行。实验验证结果表明:连续测试2 h内未发现tick中断且最大抖动被控制在百ns级,证明了该方法的可行性。 展开更多
关键词 LINUX操作系统 Adaptive-ticks 实时系统
在线阅读 下载PDF
基于视觉动捕的仿真掘进机操作系统
10
作者 李永玲 刘凌志 +3 位作者 周百顺 雷经发 张淼 赵汝海 《系统仿真学报》 北大核心 2025年第6期1531-1541,共11页
为实现仿真掘进环境中的人机自然交互,设计了一种基于视觉动捕的仿真掘进机操作系统。视觉动捕单元基于Mediapipe框架,通过相机捕捉手势动作,实现真实世界与虚拟空间的映射;针对手部关键点数据在大范围运动中的不合理跳变问题,通过设置... 为实现仿真掘进环境中的人机自然交互,设计了一种基于视觉动捕的仿真掘进机操作系统。视觉动捕单元基于Mediapipe框架,通过相机捕捉手势动作,实现真实世界与虚拟空间的映射;针对手部关键点数据在大范围运动中的不合理跳变问题,通过设置加权质心提出一种改进的卡尔曼滤波算法,并依据操作者手势输出对应指令。实验结果表明:该方法在均方误差、信噪比、近似熵参数上更具有优势,所需的特定手势识别正确率可达92%以上,操作者可实现对仿真掘进机的高效控制。 展开更多
关键词 人机交互 手势捕捉 卡尔曼滤波 仿真操作系统 近似熵
在线阅读 下载PDF
GAI使能网络智能化:基于LLM的网络操作系统
11
作者 霍如 沙宗轩 +4 位作者 吕科呈 陈伟 汪硕 黄韬 F.Richard Yu 《通信学报》 北大核心 2025年第6期32-44,共13页
为了实现对网络高智能化可管可控的目标,提出了基于大语言模型(LLM)的高可控大网级网络操作系统。通过网络态势感知和微调大模型的意图理解优化资源配置,实现智能化运维。同时,设计了面向中国网络操作系统(CNOS)的网络大模型微调和推理... 为了实现对网络高智能化可管可控的目标,提出了基于大语言模型(LLM)的高可控大网级网络操作系统。通过网络态势感知和微调大模型的意图理解优化资源配置,实现智能化运维。同时,设计了面向中国网络操作系统(CNOS)的网络大模型微调和推理流程,可识别CNOS指令并对系统反馈结果进行归纳总结,周期性的自主训练及模型迭代更新。实验结果表明,所提系统能够快速识别并准确转换用户指令,有效降低操作系统管理任务时间,实现网络资源的智能化调度和配置,提升网络操作系统的可控性和人机交互的友好程度。 展开更多
关键词 网络大模型 网络操作系统 大语言模型 流量调度 智能运维
在线阅读 下载PDF
量子操作系统(QuOS)及软件栈的设计
12
作者 刘磊 王卓浩 李芃羽 《电子科技大学学报》 北大核心 2025年第2期210-220,共11页
量子计算机潜力巨大,是国内外积极关注的颠覆性计算技术,已经逐步进入人们的视野,被赋予能够高效解决经典计算机不能解决的问题期望。该文首先总结了国内外量子计算机系统的发展(涉及硬件、软件多个层次),并归纳了目前量子计算系统需要... 量子计算机潜力巨大,是国内外积极关注的颠覆性计算技术,已经逐步进入人们的视野,被赋予能够高效解决经典计算机不能解决的问题期望。该文首先总结了国内外量子计算机系统的发展(涉及硬件、软件多个层次),并归纳了目前量子计算系统需要面对的问题以及相关的解决方案和方向。随后,提出了量子操作系统的设计原则,并介绍了一种量子操作系统QuOS的原型核心机制。 展开更多
关键词 量子计算机体系结构 量子操作系统 量子计算 量子计算软件栈
在线阅读 下载PDF
面向国产超算的操作系统评测与优化
13
作者 高亦沁 罗智宇 +1 位作者 王一超 林新华 《计算机科学》 北大核心 2025年第5期11-24,共14页
超级计算机是“国之重器”,我国在“十四五”期间建设后E级国产超算,支撑关系国计民生的重大计算应用。操作系统作为超算核心系统软件之一,其开销将影响超算整机的运行性能,因此操作系统测评成为新一代国产超算技术路线的重要研究课题... 超级计算机是“国之重器”,我国在“十四五”期间建设后E级国产超算,支撑关系国计民生的重大计算应用。操作系统作为超算核心系统软件之一,其开销将影响超算整机的运行性能,因此操作系统测评成为新一代国产超算技术路线的重要研究课题之一。openEuler在搭载了鲲鹏处理器的系统上有良好的性能与兼容性,但尚未在超算领域有过大规模应用,因此需要对其性能进行全面评测,并对存在的性能瓶颈进行优化。文中的工作分为两个部分。1)对openEuler在超算系统上的性能开展了评测,并以CentOS为参考对象进行了对比。结果表明,在运行非集合通信密集型应用时,openEuler的性能与CentOS相当。然而,在使用OpenMPI进行Allreduce等集合通信操作时,openEuler的性能会降低最多76.83%,并导致千核规模下通信密集型应用的性能降低最多23.01%。2)基于在评测过程中发现的MPI集合通信性能问题,提出了一种性能建模与优化方法。该方法基于点对点通信的霍克尼模型,为集合通信各实现算法进行建模,以预测不同进程数量和消息大小下的通信时间,从而选择合适的集合通信实现算法。所提方法可通过OpenMPI的MCA接口在运行时动态调整实现算法的选择。优化后,openEuler上的科学计算应用性能提升显著,运行时间最多缩短了26%。 展开更多
关键词 高性能计算 国产超级计算机 操作系统 性能评测 集合通信性能
在线阅读 下载PDF
基于大数据的精准农业机械操作系统设计
14
作者 李德宇 《南方农机》 2025年第14期65-67,共3页
为提升农业机械操作系统的智能化水平,文章基于大数据技术设计了一种精准农业机械操作系统。借助多层次的数据采集、处理与控制技术,系统集成了环境监测、作物生长监测、土壤监测和农机作业监测功能,运用分布式计算框架与机器学习算法... 为提升农业机械操作系统的智能化水平,文章基于大数据技术设计了一种精准农业机械操作系统。借助多层次的数据采集、处理与控制技术,系统集成了环境监测、作物生长监测、土壤监测和农机作业监测功能,运用分布式计算框架与机器学习算法对数据进行分析和决策。研究结果表明,该系统提高了农业作业的精度和效率,实现了农业生产的智能化管理,具有广阔的应用前景。 展开更多
关键词 大数据 精准农业 机械操作系统 智能控制
在线阅读 下载PDF
以学习操作系统构建数字化转型的数智动能 被引量:7
15
作者 顾小清 王羽萱 《电化教育研究》 CSSCI 北大核心 2024年第2期55-61,70,共8页
伴随着数据要素价值的凸显,如何以教育数据的有效治理,充分发挥数智驱动教育变革的强大潜力,成为教育数字化转型的关键所在。在智能教育大脑的隐喻下,学习技术系统依托于充当“数智大脑”角色的核心构件,搭建“数据组织—数据建模—数... 伴随着数据要素价值的凸显,如何以教育数据的有效治理,充分发挥数智驱动教育变革的强大潜力,成为教育数字化转型的关键所在。在智能教育大脑的隐喻下,学习技术系统依托于充当“数智大脑”角色的核心构件,搭建“数据组织—数据建模—数据分析”的教育数据治理通路,深度挖掘并最大化释放教育数据价值。基于此,文章以数据为主线重塑新一代学习技术系统框架,并以学习操作系统作为核心构件的隐喻,从“为何”“是何”及“如何”三个方面深度阐释其来源、内涵与体系架构,聚焦于数智动能的系统实现。同时,基于团队研发的“数智大脑”平台,文章以案例故事的形式描绘其在学校教育中的多元化使用场景,展现出以学习操作系统构建的数智动能的强大应用潜力,以期为数智驱动教育数字化转型提供全新的视角和思路。 展开更多
关键词 学习操作系统 学习技术系统 数智动能 数智大脑 教育数据治理
在线阅读 下载PDF
车控操作系统实时性/安全性保障技术 被引量:1
16
作者 杨世春 崔海港 +3 位作者 周思达 周新岸 范春鹏 曹耀光 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2024年第7期2051-2065,共15页
电子控制技术为智能网联汽车的高速发展持续赋能,车控操作系统是保障汽车电子控制软件安全、高效、实时运行的基石。随着智能网联汽车向集中式、端云融合式电子电气架构发展,车载硬件演化为多核异构处理器、弹性计算平台,车控软件向面... 电子控制技术为智能网联汽车的高速发展持续赋能,车控操作系统是保障汽车电子控制软件安全、高效、实时运行的基石。随着智能网联汽车向集中式、端云融合式电子电气架构发展,车载硬件演化为多核异构处理器、弹性计算平台,车控软件向面向服务的软件架构转变,车控操作系统的架构、关键技术等也随之发展。综述了智能网联汽车用车控操作系统的发展历程与现状,对任务调度、实时性/安全性保障、形式化表征与验等基础理论和关键技术进行深入分析,阐述现有车控操作系统的技术挑战与发展趋势,为智能网联汽车的车控操作系统发展提供参考。 展开更多
关键词 智能网联汽车 车控操作系统 任务调度 代码隔离 最坏执行时间分析
在线阅读 下载PDF
数字媒体在矿用可视化操作系统中的应用 被引量:1
17
作者 艾志刚 周丽娜 《工矿自动化》 CSCD 北大核心 2024年第S2期234-236,共3页
矿用可视化操作系统基于工业以太环网系统、摄像机及井上信息显示与处理3层架构构建,底层数据经过数据采集、数据存储、数据处理、数据分析等环节,将底层环境及设备状态回馈到井上可视化操作系统中,系统通过数字媒体技术将数据以图像的... 矿用可视化操作系统基于工业以太环网系统、摄像机及井上信息显示与处理3层架构构建,底层数据经过数据采集、数据存储、数据处理、数据分析等环节,将底层环境及设备状态回馈到井上可视化操作系统中,系统通过数字媒体技术将数据以图像的形式显现。介绍了数字媒体技术在矿用可视化系统中的设计方案,提出了采用整数U型图像压缩方法来压缩图像。数字媒体技术在以太网的基础上,将传感器、摄像头等设备采集的信号进行处理,最后在上位机上以视频的形式显现,为智慧矿山远程控制、井下实时监控提供了优质的视觉效果。 展开更多
关键词 数字媒体 可视化操作系统 智慧矿山 远程控制 整数U型图像压缩
在线阅读 下载PDF
基于uClinux的嵌入式操作系统在状态监测中的应用 被引量:8
18
作者 邹思轶 张广春 吴广宁 《电力自动化设备》 EI CSCD 北大核心 2002年第7期38-40,共3页
uClinux是近年发展起来的一种专用于微控制领域的嵌入式操作系统。介绍了一种基于u Clinux的嵌入式系统在电力设备状态监测方面的应用 ,构建了一种以MC6 8EZ32 8型CPU为控制核心的嵌入式监测系统。该系统可以很好地取代传统单片机系统... uClinux是近年发展起来的一种专用于微控制领域的嵌入式操作系统。介绍了一种基于u Clinux的嵌入式系统在电力设备状态监测方面的应用 ,构建了一种以MC6 8EZ32 8型CPU为控制核心的嵌入式监测系统。该系统可以很好地取代传统单片机系统实现数据的采集、预处理和通信等功能 ,并能依靠互联网将数据处理结果和上位机的控制信息进行远距离传送 ,同时支持远端客户通过Webserver的访问和监测 ,从而方便地实现分布式控制。 展开更多
关键词 uclinux 嵌入式操作系统 状态监测 电力设备 单片机
在线阅读 下载PDF
四种流行的嵌入式实时操作系统的比较研究——VxWorks,QNX,ucLinux,RTEMS 被引量:14
19
作者 孙鲁毅 《计算机应用与软件》 CSCD 北大核心 2007年第8期196-197,共2页
对比了市场上比较流行的VxW orks,QNX,uCL inux和RTEMS四种操作系统的不同特点,为嵌入式工作者挑选适合的嵌入式实时操作系统提供参考。
关键词 RTOS 嵌入式系统 VXWORKS QNX uclinux RTEMS 实时性
在线阅读 下载PDF
操作系统病毒传播模型及混合防御策略 被引量:1
20
作者 李娟 王刚 冯云 《空军工程大学学报》 CSCD 北大核心 2024年第4期107-117,共11页
针对现实网络中用户业务需求偏好和单一防御策略的局限性,研究提出操作系统病毒传播模型及混合防御策略。首先,将网络按照采取的防御策略拆分成子网,综合考虑子网间的交叉感染和网络中病毒传播的关联性,构建多防御策略下的操作系统病毒... 针对现实网络中用户业务需求偏好和单一防御策略的局限性,研究提出操作系统病毒传播模型及混合防御策略。首先,将网络按照采取的防御策略拆分成子网,综合考虑子网间的交叉感染和网络中病毒传播的关联性,构建多防御策略下的操作系统病毒传播模型,给出了系统的平衡点求解和稳定性分析。其次,引入网络业务评估指数及负面成本定义,提出了抑制操作系统病毒传播的混合防御策略,设计了策略最优配置计算方法、执行流程和参数辨识算法。理论和实验结果表明,所提出的操作系统病毒传播模型及混合防御策略能有效补充传统防御手段的空档期。 展开更多
关键词 操作系统病毒 病毒传播模型 链路中断 操作系统迁移 混合防御策略
在线阅读 下载PDF
上一页 1 2 246 下一页 到第
使用帮助 返回顶部