2024数维杯国际赛C题【脉冲星定时噪声推断和大气时间信号的时间延迟推断的建模】思路详解
脉冲星是快速旋转的中子星,具有连续和稳定的旋转,因此被称为“宇宙的灯塔”。对脉冲星的空间观测在深空航天器导航和时间标准的维护中起着关键作用。
将脉冲星时间应用于原子时间的保持,预期可以提高本地原子钟的稳定性和可靠性,代表着时间保持未来发展的长期方向。脉冲星时间研究的一个关键挑战是如何解决由于脉冲星计时噪声导致的精度和稳定性下降问题。
脉冲星计时噪声是发生在长时间尺度(通常为数月或数年)上的一种连续扰动,作用于脉冲星的旋转参数中。它表现为预测的脉冲到达时间(PT)与实际到达时间(PT-TT)之间的差异,这个差异永远不等于零。计时噪声通常为“红噪声”,存在于几乎所有脉冲星中,包括毫秒脉冲星。一些脉冲星表现出随机变化,而另一些则表现出准周期性,如图1所示。
请建立模型解决以下问题:
问题(1):考虑使用函数模型模拟图2中的脉冲星计时噪声,目标为模型拟合度达到95%或更高。建模所需的数据可在附件1中找到。可以参考但不使用的数据关系包括:该脉冲星的观测频率为1540 MHz,带宽为320 MHz,在MJD 52473到56081之间的RMS值为75268.376 µs,在MJD 52473到56646之间的RMS值为78502.322 µs。通常假设红噪声的强度与RMS值成比例,但并不相等。
思路:
1. 理解脉冲星计时噪声:脉冲星计时噪声是一种长时间尺度的干扰,表现为脉冲星实际到达时间 (PT-TT) 与预测到达时间 (PT) 之间的偏差。噪声主要表现为“红噪声”,具有一定的随机性或准周期性。
2. 选择合适的模型:根据题意,参考功率谱模型和其他可能的噪声模型(如8Δ模型、指数模型、经验模态分解等)来拟合脉冲星的计时噪声。
3. 数据拟合:
o 通过已有的数据集,计算噪声的功率谱密度(PSD),分析噪声在频域中的特性。
o 建立函数模型(如红噪声功率谱模型)来拟合噪声的频谱特性。
o 使用最小二乘法或其他拟合方法,调整模型参数以使得拟合度达到95%以上。
4. 模型验证:通过计算拟合误差和相关指标(例如均方误差、相关系数),验证模型的准确性,确保拟合度满足要求。
精力有限,以下只是简略的图文版初步思路,更详细的视频版完整讲解请移步:
2024数维杯国际赛数学建模选题建议及ABCD题思路!_哔哩哔哩_bilibili
问题(2):考虑对图2中的脉冲星计时噪声的未来趋势进行短期(几天到一个月)和长期(几个月到几年)的预测。预测验证所需的数据可在附件1中找到。
思路:
1. 短期预测:脉冲星计时噪声的短期变化可以基于近期的数据进行建模。可以使用以下方法:
o 时间序列方法:如ARIMA模型、指数平滑法等适合短期时间序列预测。
o 机器学习方法:如支持向量回归、LSTM等方法适用于时间序列数据的非线性短期预测。
2. 长期预测:长期趋势预测可以使用更具平稳性的模型,如:
o 长时间尺度模型:如GARCH模型、红噪声模型等,捕捉长期的趋势性变化。
o 频谱分析法:对噪声数据进行频域分析,通过频谱峰值检测长期的周期性成分,结合趋势项进行预测。
3. 数据处理:分别对短期和长期的预测结果进行验证,并通过实际数据检验预测精度。可以通过滑动窗口法进行多个时间段的测试,观察不同方法的预测效果。
问题(3):考虑对高于20 GHz的无线电观测频率进行折射时间延迟建模,确保天顶延迟小于或等于7.69纳秒。相关参数和计算过程也可以参考《时空参考系》第6.1章。
思路:
1. 理解大气折射延迟:在高频无线电观测中,电磁波通过大气时的传播速度会减慢,造成折射延迟。天顶延迟是指垂直方向上信号的延迟时间。
2. 模型选择:采用常用的折射延迟模型,如Saastamoinen模型或Herring模型,根据题意约束确保天顶延迟小于或等于7.69 ns。
3. 计算步骤:
o 计算大气折射延迟的积分路径,使用气象数据(如大气压力、温度)对折射效应进行校正。
o 根据电磁波的传播频率,对延迟进行频率修正,特别是针对高于20 GHz的频段。
4. 模型验证:对折射时间延迟进行实际观测数据验证,确保天顶延迟符合精度要求,特别是对于高频段的校正效果。
问题(4):考虑为小仰角(10度或更小)的观测建模大气延迟,以提高TOA的准确性。请提供您的模型,并描述您的考虑因素以及可以达到的目标。
思路:
电磁波在小仰角穿过大气层时路径更长,延迟效应更明显,尤其是在10度以下时大气延迟更加复杂。
1. 模型选择:采用Herring模型等适用于小仰角的延迟分离模型,可以分离干延迟和湿延迟。
2. 仰角映射函数:根据观测仰角小于10度的要求,选择合适的仰角映射函数,将天顶方向的延迟转化为小仰角的延迟,并进行修正。
OK,上述思路的文档领取、视频讲解以及后续的完整成品论文预定请点击我的下方个人卡片查看↓:
相关文章:
2024数维杯国际赛C题【脉冲星定时噪声推断和大气时间信号的时间延迟推断的建模】思路详解
脉冲星是快速旋转的中子星,具有连续和稳定的旋转,因此被称为“宇宙的灯塔”。对脉冲星的空间观测在深空航天器导航和时间标准的维护中起着关键作用。 将脉冲星时间应用于原子时间的保持,预期可以提高本地原子钟的稳定性和可靠性,代…...
【Linux】MTD 分区
我在文章 计算机储存与分区 中讲了关于 GUID 分区和 MBR 分区,他们在 PC 上很常见,但是在嵌入式系统上,Linux 会使用 MTD 分区,至于什么是 MTD 分区,请看: NAND/MTD/UBI/UBIFS概念及使用方法 General MTD…...

MySQL(5)【数据类型 —— 字符串类型】
阅读导航 引言一、char🎯基本语法🎯使用示例 二、varchar🎯基本语法🎯使用示例 三、char 和 varchar 比较四、日期和时间类型1. 基本概念2. 使用示例 五、enum 和 set🎯基本语法 引言 之前我们聊过MySQL中的数值类型&…...
【数据搜集】初创企业获客,B端数据获取
在竞争激烈的商业世界中,初创企业面临着诸多挑战,而获取 B 端客户资源无疑是其中的关键一环。今天,就让我们深入了解一款专为解决此类难题而生的强大工具 —— 探商宝。 对于初创企业来说,B 端客户往往具有更高的价值和稳定性&am…...
hhdb数据库介绍(9-13)
函数与操作符 计算节点对函数的支持 此文档仅列出部分经特殊处理的函数,若需要了解所有计算节点支持的函数,请向官方获取《计算节点最新功能清单》。 函数名称支持状态是否拦截说明ABS()支持否ACOS()支持否ADDDATE()支持否ADDTIME()支持否AES_DECRYPT…...

Jmeter基础篇(24)Jmeter目录下有哪些文件夹是可以删除,且不影响使用的呢?
一、前言 Jmeter使我们日常做性能测试最常用的工具之一啦!但是我们在和其他同学协同工作的时候,偶尔也会遇到一些问题,例如我想要给别人发送一个Jmeter工具包,但这个文件包往往会很大,比较浪费流量和空间,…...

卷积、频域乘积和矩阵向量乘积三种形式之间的等价关系与转换
线性移不变系统 线性移不变系统(Linear Time-Invariant System, LTI系统)同时满足线性和时不变性两个条件。 线性:如果输入信号的加权和通过系统后,输出是这些输入信号单独通过系统后的输出的相同加权和,那么该系统就…...
【Vue】Vue3.0(二十二) v-model 在原始Dom元素、自定义输入组件中双向绑定的底层实现原理详解
上篇文章 【Vue】Vue3.0(二十一)Vue 3.0中 的$event使用示例 🏡作者主页:点击! 🤖Vue专栏:点击! ⏰️创作时间:2024年11月11日17点30分 文章目录 1. v-model 用于 HTML 标…...

史上最强大的 S3 API?介绍 Prompt API。
迄今为止,对象存储世界已由 PUT 和 GET 的 S3 API 概念定义。然而,我们现在生活的世界需要更多。鉴于 MinIO 的 S3 部署甚至比 Amazon 还多,因此我们不得不提出下一个出色的 S3 API。 这个新 API 就是 Prompt API,它很可能成为有…...

单片机设计智能翻译手势识别系统
目录 前言 一、本设计主要实现哪些很“开门”功能? 二、电路设计原理图 电路图采用Altium Designer进行设计: 三、实物设计图 四、程序源代码设计 五、获取资料内容 前言 在全球化的浪潮下,语言的多样性也为人们的交流带来了不小的挑战…...
「Mac玩转仓颉内测版12」PTA刷题篇3 - L1-003 个位数统计
本篇将继续讲解PTA平台上的题目 L1-003 个位数统计,通过对数字的处理与统计,掌握基础的字符串操作与数组计数功能,进一步提升Cangjie编程语言的实际应用能力。 关键词 PTA刷题数字统计数组操作字符串处理编程技巧 一、L1-003 个位数统计 题…...

飞书文档只读限制复制
飞书文档只读限制复制 场景描述解决方式插件安装测试 场景描述 当使用飞书时,可能会存在无对方文档编辑/管理权限,对方只给自己开放只读权限的时候,此时如果文档较重要,需要本地保存一份,但是又无法复制文档或直接屏蔽…...

【WPF】Prism学习(二)
Prism Commands 1.命令(Commanding) 1.1. ViewModel的作用: ViewModel不仅提供在视图中显示或编辑的数据,还可能定义一个或多个用户可以执行的动作或操作。这些用户可以通过用户界面(UI)执行的动作或操作…...

【鸿蒙开发】第二十一章 Location位置服务
目录 1 简介 1.1 Location Kit简介 1.2 运作机制 1.3 约束与限制 2 位置服务开发 2.1 申请位置权限开发指导 2.1.1 场景概述 2.2 获取设备的位置信息开发指导 2.2.1 场景概述 2.2.2 接口说明 2.2.3 开发步骤 2.3(逆)地理编码转化开发指导 2.…...

《目标检测》R-CNN网络基础(RCNN,Fast-RCNN)
文章目录 1.Overfeat模型2.RCNN网络2.1 算法流程2.1.1 候选区域的生成(了解,已经不再使用了)2.1.2 CNN网络提取特征2.1.3 目标分类(SVM)2.1.4 目标回归(线性回归修正坐标)2.1.5 预测过程 2.2 算…...

iOS中的定位实现(逆地理编码)及Info.plist位置权限详解
引言 在现代移动应用开发中,位置服务已经成为不可或缺的一部分。无论是地图导航、社交分享,还是基于位置的个性化推荐,位置数据都为用户提供了更加丰富和智能的体验。然而,随着用户隐私保护的不断加强,iOS对位置权限的…...

【从零开始的LeetCode-算法】3270. 求出数字答案
给你三个 正 整数 num1 ,num2 和 num3 。 数字 num1 ,num2 和 num3 的数字答案 key 是一个四位数,定义如下: 一开始,如果有数字 少于 四位数,给它补 前导 0 。答案 key 的第 i 个数位(1 < …...

Web认证机制 Cookie、Token、Session、JWT、OAuth2 解析
标题 一、Cookie二、Session三、Token四、JWTSSO(单点登录) 五、OAuth2如何设计权限系统区别总结 Cookie、Token、Session 和 JWT 都是在 Web 开发中常用的身份验证和授权技术,它们各有优缺点,适用于不同的场景。 Cookie 简单易用…...

Docker 基础命令介绍和常见报错解决
介绍一些 docker 可能用到的基础命令,并解决三个常见报错: 权限被拒绝(Permission Denied)无法连接到 Docker 仓库(Timeout Exceeded)磁盘空间不足(No Space Left on Device) 命令以…...

如何轻松导出所有 WordPress URL 为纯文本格式
作为一名多年的 WordPress 使用者,我深知管理一个网站的复杂性。从迁移网站、设置重定向到整理内容结构,每一步都需要精细处理。而拥有所有 URL 的清单,不仅能让这些工作变得更加简单,还能为后续的管理提供极大的便利。其实&#…...
KubeSphere 容器平台高可用:环境搭建与可视化操作指南
Linux_k8s篇 欢迎来到Linux的世界,看笔记好好学多敲多打,每个人都是大神! 题目:KubeSphere 容器平台高可用:环境搭建与可视化操作指南 版本号: 1.0,0 作者: 老王要学习 日期: 2025.06.05 适用环境: Ubuntu22 文档说…...

【入坑系列】TiDB 强制索引在不同库下不生效问题
文章目录 背景SQL 优化情况线上SQL运行情况分析怀疑1:执行计划绑定问题?尝试:SHOW WARNINGS 查看警告探索 TiDB 的 USE_INDEX 写法Hint 不生效问题排查解决参考背景 项目中使用 TiDB 数据库,并对 SQL 进行优化了,添加了强制索引。 UAT 环境已经生效,但 PROD 环境强制索…...
Qt Widget类解析与代码注释
#include "widget.h" #include "ui_widget.h"Widget::Widget(QWidget *parent): QWidget(parent), ui(new Ui::Widget) {ui->setupUi(this); }Widget::~Widget() {delete ui; }//解释这串代码,写上注释 当然可以!这段代码是 Qt …...

Opencv中的addweighted函数
一.addweighted函数作用 addweighted()是OpenCV库中用于图像处理的函数,主要功能是将两个输入图像(尺寸和类型相同)按照指定的权重进行加权叠加(图像融合),并添加一个标量值&#x…...
Java 加密常用的各种算法及其选择
在数字化时代,数据安全至关重要,Java 作为广泛应用的编程语言,提供了丰富的加密算法来保障数据的保密性、完整性和真实性。了解这些常用加密算法及其适用场景,有助于开发者在不同的业务需求中做出正确的选择。 一、对称加密算法…...
关于 WASM:1. WASM 基础原理
一、WASM 简介 1.1 WebAssembly 是什么? WebAssembly(WASM) 是一种能在现代浏览器中高效运行的二进制指令格式,它不是传统的编程语言,而是一种 低级字节码格式,可由高级语言(如 C、C、Rust&am…...
【Go语言基础【13】】函数、闭包、方法
文章目录 零、概述一、函数基础1、函数基础概念2、参数传递机制3、返回值特性3.1. 多返回值3.2. 命名返回值3.3. 错误处理 二、函数类型与高阶函数1. 函数类型定义2. 高阶函数(函数作为参数、返回值) 三、匿名函数与闭包1. 匿名函数(Lambda函…...

免费PDF转图片工具
免费PDF转图片工具 一款简单易用的PDF转图片工具,可以将PDF文件快速转换为高质量PNG图片。无需安装复杂的软件,也不需要在线上传文件,保护您的隐私。 工具截图 主要特点 🚀 快速转换:本地转换,无需等待上…...

Git 3天2K星标:Datawhale 的 Happy-LLM 项目介绍(附教程)
引言 在人工智能飞速发展的今天,大语言模型(Large Language Models, LLMs)已成为技术领域的焦点。从智能写作到代码生成,LLM 的应用场景不断扩展,深刻改变了我们的工作和生活方式。然而,理解这些模型的内部…...
Vite中定义@软链接
在webpack中可以直接通过符号表示src路径,但是vite中默认不可以。 如何实现: vite中提供了resolve.alias:通过别名在指向一个具体的路径 在vite.config.js中 import { join } from pathexport default defineConfig({plugins: [vue()],//…...