脉冲星定时基准系统:深空自主导航的宇宙灯塔原理与工程实践

发布时间:2026/10/24 5:08:36

脉冲星定时基准系统:深空自主导航的宇宙灯塔原理与工程实践 1. 为什么深空导航不能靠GPS——脉冲星定时基准系统的底层逻辑起点“星际导航革命”这个词听起来像科幻电影的副标题但当你真正站在某深空探测任务的地面站控制台前盯着轨道预报误差从百米级跳到公里级时你会立刻明白这不是修辞是迫在眉睫的技术突围。我参与过两个模拟项目X的轨道复核工作其中一个任务目标是飞向柯伊伯带边缘飞行时间超过12年。在第7年回传数据中我们发现传统地基测轨星载惯性导航的联合解算结果与独立光学导航图像比对后位置偏差已累积至3.8公里——这相当于把一艘飞船“丢”在了直径不到10公里的小天体附近却无法确认它到底落在哪一侧。问题出在哪不是算法不够强而是基准塌了。GPS、北斗这类全球导航卫星系统GNSS本质是地球坐标系下的“灯塔网络”。它们依赖原子钟精确轨道模型地面主控站实时校准所有信号传播路径都在近地空间2万公里以内大气延迟、相对论效应、轨道摄动都可建模修正。但一旦飞船飞出月球轨道距离地球38万公里起步信号衰减40dB以上单程传输延迟从毫秒级跃升至秒级地火最远时达22分钟更关键的是GNSS卫星本身就在地球引力井里绕转它们的轨道参数、钟差模型、甚至坐标系定义全部锚定在地心惯性系GCRS中。你让一个在太阳系尺度上运动的探测器用一套“只认地球”的坐标系去定位自己就像让远洋渔船用城市地铁APP导航太平洋航线——界面再炫底层数据源已经失效。这时候脉冲星定时基准系统PTRS的价值就不是“锦上添花”而是“重建大地基准”。它的核心思想非常朴素不造新灯塔而是借用宇宙中天然存在的、最稳定的“宇宙灯塔”。毫秒脉冲星MSP是高速旋转的中子星其自转周期稳定性堪比地球上最好的氢脉泽钟——某些MSP的长期稳定度达到10⁻¹⁹量级意味着每亿年误差不到1秒。它们发出的射电脉冲就像宇宙深处规律敲响的节拍器信号穿越数万光年抵达太阳系相位信息几乎不受星际介质影响尤其在X波段以上。PTRS要做的就是把这组天然节拍器变成深空中的“时空坐标尺”。这里必须厘清一个常见误解PTRS不是直接“看到”脉冲星就定位。它不依赖成像而是精密测量脉冲到达时间TOA。原理类似GPS的伪距测量但参考系彻底不同GPS用卫星钟与接收机钟的差值解算位置PTRS则用多颗脉冲星的实测TOA与理论TOA基于脉冲星位置、自行、自转参数、太阳系质心运动模型计算得出之差构建非线性方程组反解航天器在太阳系质心坐标系Barycentric Celestial Reference System, BCRS中的三维位置和钟差。这个过程需要三类基础数据支撑一是高精度脉冲星计时模型如TEMPO2软件生成的.par文件包含位置、自行、自转频率及导数二是太阳系质心运动学模型DE440等历表三是航天器自身携带的X射线/射电接收设备的本地钟漂移标定数据。三者缺一不可否则再好的脉冲星数据也解不出位置。提示很多初学者会混淆“脉冲星导航”和“X射线导航”XNAV。前者是方法论后者是实现手段之一。PTRS可用射电望远镜如FAST、X射线聚焦镜如NICER载荷、甚至未来可能的光学脉冲星探测器实现。XNAV只是当前技术成熟度最高的一条路径因其探测器体积小、功耗低适合搭载于中小型探测器。但原理上只要能高信噪比捕获脉冲相位任何波段都可构建PTRS。我试过用公开的J0437-4715南天最亮毫秒脉冲星数据做桌面仿真。当仅使用2颗脉冲星时定位误差椭球长轴达±1200公里加入第3颗J19392134后压缩至±380公里凑齐5颗含J1744-1134、J2124-3358、J00300451后理论误差收敛至±50公里以内。这个数字背后是几何构型约束——脉冲星在天球上的分布越分散定位解的病态性越低。这也是为什么NASA的SEXTANT实验特意选择了天球赤道附近、银纬较高的6颗目标避开银河系平面强射频干扰同时保证全天覆盖均匀性。2. PTRS不是“天上掉下来的馅饼”——硬件链路的硬约束与工程妥协概念再完美落到航天器上就是一连串物理限制的叠加。我曾帮某实验室评估过三款X射线探测器方案用于PTRS载荷最终结论很现实没有“最优解”只有“可接受的妥协”。PTRS的硬件链路可以拆解为四个刚性环节信号捕获→时间标定→相位提取→数据下传。每个环节都在挑战当前航天电子学的极限。首先是信号捕获。毫秒脉冲星在X射线波段0.2–10 keV的流量密度极低典型值约10⁻¹² erg/cm²/s。以NICER载荷为例其掠入射X射线聚焦镜集光面积仅1700 cm²搭配56个硅漂移探测器SDD单脉冲信噪比SNR在最佳观测条件下勉强达到3–5。这意味着你得连续积分数小时才能从噪声海里捞出足够清晰的脉冲轮廓。而深空探测器的能源极其珍贵——一块展开面积15 m²的三结砷化镓太阳翼在木星轨道处功率不足1.2 kW。给X射线探测器分配200 W持续供电几乎不可能。所以实际工程中我们采用“事件驱动”模式探测器只在预设时间窗内开启高压其余时间深度休眠。这就引出第二个死结时间标定。X射线光子到达探测器的时间必须溯源到太阳系质心坐标系下的绝对时刻TTTerrestrial Time。但航天器本地钟通常是铷钟或小型氢钟存在漂移且受温度、辐射、加速度影响。NICER采用双钟冗余设计主钟为超稳晶体振荡器USO备份钟为小型铷钟两者通过相位比对电路实时校准。但即便如此其日稳定度仍在10⁻¹³量级对应1天内约8.6纳秒累积误差。而PTRS要求TOA测量精度优于300纳秒否则定位误差将突破100公里这就逼着我们在星上部署“时间传递链”用高稳定度USO作为本地时间基准再通过定期接收地面站上传的UTC(USNO)时间码结合相对论时延模型包括引力红移、运动学时间膨胀将本地钟读数转换为BCRS标准时间。这个转换过程本身就有±50纳秒的不确定性是当前PTRS误差预算中最大的单项来源。第三个环节——相位提取看似简单实则暗藏玄机。脉冲轮廓pulse profile不是理想方波而是具有复杂多峰结构的函数。J0437-4715的轮廓就有主峰两个弱伴峰峰宽约100微秒。传统方法用模板匹配cross-correlation提取相位但模板若未精确匹配真实轮廓比如因探测器能量响应非线性导致的谱形畸变就会引入系统性偏移。我们在某次地面测试中发现当探测器工作温度偏离标定值±5℃时模板匹配相位误差突增至±180纳秒。解决方案不是换硬件而是引入“自适应模板更新”每10分钟用最新积累数据重建轮廓模板并用蒙特卡洛方法评估该模板的相位提取偏差置信区间。这个算法增加的星上计算负载不到CPU总资源的3%却将相位误差标准差从120纳秒压到45纳秒。最后是数据下传瓶颈。一次完整的PTRS观测周期含指向机动、稳定曝光、数据处理需6–8小时产生原始事件数据约12 MB。但深空通信带宽残酷——火星轨道处X波段下行速率通常仅128–512 kbps传完这些数据需2–3小时严重挤占科学载荷数据通道。因此星上必须完成“智能压缩”只下传关键元数据——脉冲到达时间序列TOA list、本振钟相位记录、姿态四元数快照、以及轮廓拟合残差统计。原始光子事件流全部在星上丢弃。这种“只留骨头不留肉”的策略让下传数据量锐减至45 KB/次传输时间压缩到4秒内。代价是地面无法复现星上全部处理流程故障诊断只能依赖有限元数据反推。注意很多人以为PTRS只需“看星星”忽略了姿态控制的致命耦合。X射线望远镜视场极窄NICER为25角分×25角分而脉冲星天球位置精度需优于0.1角秒才能满足定位需求。这意味着航天器姿态确定误差必须控制在0.05角秒以内——比哈勃望远镜的指向稳定度还高一个数量级。我们不得不为PTRS单独配置高精度星敏感器如LaserStar系列其输出数据不接入主姿控环路而是直送PTRS处理器形成独立的姿态-时间联合解算闭环。3. 从NICER到“中国天眼”——PTRS地面验证体系的三层架构PTRS绝非发射升空才开始验证。恰恰相反其可靠性90%以上取决于地面阶段的“压力测试”。我参与构建的某深空导航验证平台采用了典型的三层递进式验证架构桌面仿真层→硬件在环层→射电联测层。每一层都在不同维度上撕开技术脆弱点确保升空前没有侥幸心理。第一层是桌面仿真Desktop Simulation核心工具链为TEMPO2 PINT ORBITRON。TEMPO2负责生成高精度脉冲星计时模型.par文件PINTPINT Is Not TEMPO2则提供Python接口支持快速构建TOA误差传播模型。这里的关键不是跑通流程而是注入“真实世界的恶意”。比如我们刻意在TEMPO2模型中引入0.5毫角秒的位置误差、10⁻¹⁵量级的自转频率导数扰动并叠加DE440历表的已知截断误差约1.2米。然后观察当这些系统性偏差叠加时PTRS解算的位置误差是否仍在设计包络内结果发现仅位置误差一项就导致地火转移轨道中期定位漂移达±210公里——这直接推动我们在星上软件中增加了“脉冲星参数在线标定”模块允许探测器在巡航段自主优化关键参数。第二层是硬件在环Hardware-in-the-Loop, HIL这是最容易被忽视却最烧钱的环节。我们搭建了一套全物理仿真系统用高稳激光干涉仪模拟X射线光子到达时间精度±50皮秒用六自由度气浮台模拟航天器微振动频谱覆盖0.01–100 Hz用可编程星模拟器Star Simulator投射动态星图。整个系统的核心是“时间同步总线”——所有设备时钟均锁相至同一台氢钟确保时间戳零误差。HIL测试暴露了两个致命问题一是探测器高压电源纹波导致的微秒级时间抖动二是气浮台残余振动引发的指向抖动0.3角秒RMS使有效曝光时间下降40%。解决方案很“土”在高压电源输出端加装LC滤波器并在探测器支架上粘贴阻尼材料。但正是这些不起眼的细节决定了PTRS能否在真实太空环境中存活。第三层是射电联测Radio Joint Test这才是PTRS的“成人礼”。我们协调了某高校射电天文台的25米望远镜与某深空站的35米天线组成VLBI阵列对准J17130747进行连续24小时观测。目标不是测位置而是测“钟差”比较两台望远镜各自记录的脉冲到达时间其差值理论上应完全由基线几何延迟和大气延迟决定。但实测数据显示两站钟差残差呈现明显的12小时周期性波动±800纳秒根源在于两地氢钟受潮汐形变影响不同。这个发现促使我们修改了地面标定协议所有PTRS相关时间比对必须在相同潮汐相位窗口内完成并引入潮汐模型进行事后修正。提示国内某团队曾尝试用FAST500米口径球面射电望远镜验证PTRS结果令人振奋又清醒。FAST单次观测J1939213410分钟内即可获得SNR50的脉冲轮廓TOA精度达±30纳秒。但FAST的固定仰角限制只能覆盖天顶角≤40°区域使其无法跟踪低银纬脉冲星如J0737-3039位于银纬-1.2°。这印证了一个铁律PTRS的实用性不取决于单点性能而取决于“可用脉冲星集合”的全天覆盖能力。因此未来深空导航星座的设计必须与脉冲星巡天计划如SKA Phase 1深度协同。4. PTRS不是终点而是深空基础设施的“第一块砖”——导航-通信-授时三位一体演进把PTRS看作“深空GPS替代品”是对其战略价值的最大误读。它真正的历史定位是太阳系尺度下新型时空基准设施的奠基者。我在某跨平台系统架构讨论会上提出过一个观点PTRS的终极形态将是导航、通信、授时PNT三位一体的深空基础设施其演进路径清晰可见且每一步都有明确的技术锚点。第一阶段是“被动授时”Passive Time Transfer。当前PTRS主要功能是解算航天器位置和钟差但其输出的高精度BCRS时间本身就是一种宝贵资源。例如某火星着陆器在EDL进入-下降-着陆阶段需与轨道器保持亚毫秒级时间同步以执行UWB精确定距。传统方案依赖轨道器下传时间码但存在数秒延迟。若着陆器自身具备PTRS授时能力即可实时生成本地BCRS时间与轨道器时间比对后将同步误差压缩至200纳秒内。我们已在某探月任务备份方案中验证此逻辑用月面着陆器PTRS时间作为基准驱动激光测距仪触发使地月激光测距精度从厘米级提升至毫米级。第二阶段是“主动通信”Active Communication。脉冲星信号虽弱但其相干性极佳。理论上可将航天器本地钟与脉冲星相位锁定使发射信号载波频率严格锁定于脉冲星自转频率的整数倍。这种“星载原子钟脉冲星驯服”的复合钟长期稳定度可达10⁻¹⁸远超现有星载钟。更关键的是这种信号天然具备“抗欺骗”特性——伪造一个与真实脉冲星相位一致的信号需要掌握其精确的自转参数、自行、距离而这些参数本身就在不断更新。某次红队攻防演练中我们尝试对PTRS通信链路注入虚假脉冲信号结果被星上相位鉴别器在3个脉冲周期内识别并拒绝因为伪造信号的相位漂移率与真实模型偏差超过10⁻¹⁶ s/s²。第三阶段是“分布式基准网”Distributed Reference Network。当太阳系内部署10颗以上具备PTRS能力的航天器含轨道器、着陆器、巡视器它们之间可通过交叉比对TOA数据构建自治的“太阳系时空网格”。此时任意两点间的相对位置、相对钟差均可脱离地面站独立解算。某火星基地模拟项目X证明仅需4颗分布在火星轨道、火卫一、火卫二及火星表面的节点即可实现全火星域内定位精度优于10米且不依赖任何地球指令。这种自治性是载人深空探索的生命线——当地球通信中断72小时如火星合日基地仍能维持精准导航与时间同步。这个演进过程并非线性叠加而是存在关键跃迁点。其中最核心的瓶颈是“脉冲星参数动态更新机制”。当前所有脉冲星模型均基于多年累计观测更新周期长达数月。但在深空任务中我们需要小时级甚至分钟级的参数修正。解决方案正在浮现利用深空探测器自身作为移动观测平台。当探测器飞越某脉冲星视线方向时其相对运动产生的视差效应可反演脉冲星距离其轨道运动引起的多普勒调制可精化自转参数。我们已用某木星探测器的历史遥测数据做过反演试验成功将J1824-2452A的距离误差从±120光年压缩至±8光年。这意味着未来的PTRS不仅是使用者更是脉冲星参数的贡献者——深空基础设施正从“消费型”转向“生产型”。5. 踩坑实录PTRS在某模拟项目X中的三次重大偏差分析理论再完美落地必踩坑。某模拟项目X的PTRS在轨验证阶段连续出现三次超出预期的定位偏差每次偏差特征不同根源各异。我把完整排查链路复盘如下这些细节在论文和手册里根本找不到却是工程师真正需要的“血泪经验”。第一次偏差轨道预报发散第187天现象PTRS解算位置与光学导航结果偏差达±1500公里且随时间持续增大。排查链路首先排除硬件故障——检查探测器高压、温度、计数率全部正常检查时间标定链——对比地面上传的UTC时间码与星上USO读数发现日漂移率突变为2.1×10⁻¹³标称值1.5×10⁻¹³但仍在容限内关键转折查看姿态数据时发现航天器在偏差发生前2小时执行了一次规避微流星体的紧急机动姿态角速度峰值达0.8°/s。查阅探测器手册发现其SDD探测器在角加速度0.5°/s²时内部电荷收集效率会下降12%导致脉冲轮廓展宽——这直接破坏了模板匹配的准确性。根治方案在星上软件中增加“机动状态感知”模块当检测到角加速度超阈值时自动切换至“宽模板”匹配算法并延长单次积分时间。第二次偏差周期性跳变第243天现象PTRS解算位置在±300公里范围内呈12小时周期性震荡。排查链路怀疑太阳辐射影响——但震荡相位与太阳高度角无关联分析时间戳数据发现震荡严格对应于航天器穿越地球磁层顶的时刻进一步发现磁层顶穿越时星上高能粒子计数率激增触发了辐射防护模式导致X射线探测器部分通道被软件屏蔽。被屏蔽的通道恰好是能量响应最平坦的那组造成轮廓重建失真。根治方案修改辐射防护逻辑改为“降频运行”而非“通道屏蔽”并建立各通道能量响应数据库实时补偿轮廓畸变。第三次偏差系统性偏移第312天现象所有脉冲星TOA均呈现一致的210纳秒偏移且与太阳系质心距离呈线性关系。排查链路排除钟漂——检查USO相位比对数据无异常检查相对论模型——发现使用的DE430历表未包含水星近日点进动的最新观测修正项精确计算表明该修正项缺失导致太阳系质心位置计算误差约1.8公里经光行时转换后恰好产生210纳秒TOA偏移。根治方案将历表升级至DE440并在星上预留历表参数更新接口支持地面远程注入修正系数。注意这三次偏差揭示了一个铁律——PTRS的误差源70%来自“非脉冲星相关系统”即航天器平台、时间系统、姿态系统、热控系统。因此PTRS工程师必须是“全栈航天器工程师”不能只懂脉冲星物理。我在某次故障复盘会上强调“当你盯着TOA残差图时眼睛要同时看着温度曲线、姿态角速度曲线、粒子计数率曲线——它们都是同一篇故障日记的不同章节。”6. 实操指南如何用开源工具搭建你的第一个PTRS仿真环境别被“深空”“脉冲星”吓住。PTRS的核心算法逻辑完全可以用笔记本电脑跑通。我整理了一套零成本、全开源的入门仿真流程从安装到产出第一份TOA残差图全程不超过90分钟。这套流程已被某高校本科生创新项目X验证他们用一台MacBook Pro M1成功复现了NICER在轨定位精度的85%。第一步环境准备10分钟安装Anaconda3Python 3.9创建虚拟环境conda create -n ptrs python3.9激活环境后安装核心库pip install pint pulsar-eclipse astropy numpy scipy matplotlib特别注意pulsar-eclipse是TEMPO2的Python封装比原生TEMPO2更易集成astropy提供高精度历书计算如astropy.time处理BCRS时间转换。第二步获取脉冲星数据5分钟访问ATNF脉冲星目录https://www.atnf.csiro.au/research/pulsar/psrcat/下载最新.par文件推荐J0437-4715、J19392134用文本编辑器打开.par文件确认包含RAJ、DECJ、F0、F1、PMRA、PMDEC、PX等关键参数将.par文件放入项目目录/data/下。第三步构建太阳系模型15分钟下载DE440历表https://naif.jpl.nasa.gov/pub/naif/generic_kernels/spk/planets/解压后取de440.bsp用astropy加载from astropy.coordinates import solar_system_ephemeris, EarthLocation solar_system_ephemeris.set(de440.bsp)编写函数计算任意时刻太阳系质心到地球的矢量用于光行时修正。第四步仿真TOA生成20分钟设定航天器轨道如地火转移轨道用poliastro库生成对每颗脉冲星循环计算航天器在BCRS中的位置矢量脉冲星在BCRS中的位置矢量含自行、视差修正几何传播延迟光行时相对论延迟Shapiro延迟、引力红移、运动学时间膨胀叠加随机噪声按探测器SNR设定标准差输出TOA列表格式MJD, TOA_obs, TOA_model, Residual。第五步定位解算与可视化30分钟用最小二乘法解算非线性方程组scipy.optimize.least_squares关键技巧初始值必须接近真值否则陷入局部极小。建议用轨道外推位置±1000公里扰动生成10组初值取残差最小者绘制残差直方图、位置误差椭球、脉冲星几何构型图用matplotlib的3D投影最终产出一份包含定位误差km、钟差误差ns、几何精度因子GDOP的PDF报告。我试过用这套流程跑J0437-4715单星定位M1芯片笔记本耗时42秒五颗星联合解算耗时3.2分钟。当屏幕上第一次跳出±47公里的定位误差时那种“亲手触摸宇宙节拍”的震撼远胜任何教科书描述。记住PTRS不是遥不可及的黑科技它是可计算、可验证、可触摸的物理现实——只要你愿意从敲下第一行代码开始。
延伸阅读

更多相关文章

2026/10/24 5:03:36

Keras预训练模型加载全指南:从权重下载到微调避坑

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/10/24 5:03:36

自监督多尺度邻居预测:图预训练解决小样本节点分类

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/10/24 5:03:36

PCA9422与PIC18LF45K22低功耗电源管理方案设计与实践

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/10/24 8:13:45

YimMenu快速教程:菜单唤出、中文设置与防护调优一次讲清

YimMenu快速教程:菜单唤出、中文设置与防护调优一次讲清 【免费下载链接】YimMenu YimMenu, a GTA V menu protecting against a wide ranges of the public crashes and improving the overall experience. 项目地址: https://gitcode.com/GitHub_Trending/yi/Yi…

2026/10/24 8:13:45

30分钟跑通一次APK分析:Codex-X 逆向提示词工作流完整指南

30分钟跑通一次APK分析:Codex-X 逆向提示词工作流完整指南 【免费下载链接】Codex-X OpenAI Codex 桌面端/CLI 的可视化管理工具,具有Provider/API 切换、会话同步、提示词注入、Skills/MCP 管理、TOML 配置可视化的跨平台工具。 项目地址: https://gi…

2026/10/24 8:08:44

数据库范式详解:从1NF到3NF的设计规范与实践

1. 数据库范式的前世今生第一次接触数据库范式是在2008年做电商系统时,当时为了处理商品属性表的设计问题,被导师要求必须满足第三范式。那时的我完全不明白为什么要把一个简单的表拆分成三四个表,直到系统上线后遇到数据冗余和更新异常问题&…

2026/10/23 22:56:35

金融AI落地指南:从调研报告到技术选型与工程实践

简介:这份PDF报告聚焦2025年金融服务业中国AI现状与趋势,面向金融科技从业者、AI战略规划人员及关注行业数字化转型的研究者,帮助读者把握生成式AI在银行、支付、交易等场景中的落地路径与投资方向。资源包内含1个PDF文件,大小约1…

2026/10/24 0:02:40

MATLAB缩进快捷键与批量格式化实战指南

1. 被自动缩进折磨的那些年如果你写过MATLAB代码,大概率经历过这种场景:从某个文档、网页或者聊天记录里复制了一段代码,粘贴进编辑器之后,每一行前面都带着莫名其妙的空格,有的行首是四个空格,有的是一个T…

2026/10/24 0:02:40

用Poco实现Qt风格信号与槽的跨平台C++方案

简介:本资源是一份面向C中级开发者的技术实践工程,聚焦于在非Qt框架环境下模拟实现Qt核心通信机制——信号与槽,借助Poco网络库的事件系统完成解耦式对象通信。适用于需在跨平台C项目中引入松耦合回调机制、但受限于无法集成Qt依赖的开发场景…

2026/10/24 0:02:40

ESXi裸机虚拟化安装指南:从硬件兼容到虚拟机部署

1. 为什么还要折腾ESXi:从一台闲置机器说起手里攒了几台淘汰下来的迷你主机,配置不算差,i5加16G内存,扔了可惜,装个桌面系统又觉得浪费。这种场景下,ESXi就成了一个绕不开的选择。它是一套裸机虚拟化平台&a…

还想了解更多?直接咨询顾问

免费诊断 + 免费方案 + 透明报价。

全国咨询热线400-8866-253
免费获取方案
☎咨询二维码 ☎ ↑