SUNKAIS OS · READ ONLY

Jarvis

登录后,可以询问自己的任务、项目和记录。

登录后使用
SUNKAIS OS
SUNKAIS · PERSONAL OS

搜索全站功能

↑↓ 选择↵ 前往
设置
QUICK CAPTURE / TODO

快速记任务

先把想到的事放进任务箱,之后再到 Todo 中补充项目与细节。

保存后会同步到私人 Todo。

QUICK CAPTURE / SECOND BRAIN

快速记知识

先留下正文即可;分类、标题和来源都能稍后在第二大脑中整理。

将保存到仅你可读取的私人知识库。

打开第二大脑

私人研究机构

把个人兴趣变成可持续的研究制度:不靠一时兴奋堆材料,而是持续留下问题边界、证据等级、失败路线与下一次可以开始的动作。

问题

双重奇异拟抛物方程的研究主线正在推进

围绕弱解构造、奇异权控制、局部解与稳态解,把证明依赖拆成可检查的节点。

  • 明确方程、区域、边界条件与解空间。
  • 区分 Galerkin 近似、一致估计、紧性极限与变分结论。
  • 对尚未证明的参数范围始终保留“待验证”状态。
数值观察能说明什么,不能说明什么持续维护

让计算负责趋势、反例线索和一致性检查,让证明负责满足条件时的数学结论。

  • 保存参数、网格、误差、版本和失败运行。
  • 任何“看起来成立”都先标为观察,不升级为定理。
  • 用理论预期反查数值实现,用数值异常反查条件遗漏。

来源与资产

证明路线与公开文章档案持续维护

现有文章记录了从弱形式、Galerkin 方法到 Mountain Pass 等节点,可作为重新进入研究的公开索引。

  • 文章是阶段性理解,不自动等于最终证明。
  • 优先补定义、依赖定理和条件核对。
  • 新结论应链接到其来源、计算或完整推导。
代码、M 文件与伪代码仓库入口正在推进

让实验代码和研究说明共同存在,避免只留下一个无法解释的脚本。

  • 代码记录输入、输出、依赖与运行方式。
  • 伪代码先表达算法逻辑,再绑定具体语言实现。
  • 失败版本也要留下原因和可复查线索。

证据

以可访问页面承载已公开的方法轨迹已有依据

研究页、文章、数学知识页和项目页共同构成当前可公开核验的工作痕迹。

  • 页面链接只能证明页面中真实存在的内容。
  • 履历主张需要更直接的论文、代码、演示或记录支持。
  • 证据不足时明确写“待核验”,不补写想象中的成果。
方法与长期方向

我正在解决什么问题,现有证据能支持到哪一步,下一次从哪里继续?

  1. 界定问题

    写出对象、条件、术语、目标与明确不处理的范围。

    一页问题说明 · 陌生读者能否指出你究竟要证明或解释什么?

  2. 建立证据图

    把定义、定理、文献事实、计算和推测放进不同证据层。

    带来源的依赖图 · 每个关键主张是否能回到直接证据?

  3. 执行最小实验

    选择一次推导、复现、计算或反例搜索,先产生可检查结果。

    可复查的最小产出 · 他人或未来的自己能否按记录重做?

  4. 校准并交接

    分别记录结论、失败、未知、文件位置和下一动作。

    停工交接条目 · 一周后能否在十分钟内恢复上下文?

现在—3 个月 · 稳定一个数学物理主问题的证据账本与停工协议。

每个研究会话都留下来源、产出与下一动作。

每周检查问题是否变清楚,而非只统计阅读量。

1 年 · 形成可复用的 PDE 研究方法、数值复现和公开表达链。

证明笔记、可运行代码、公开文章与答辩式说明互相链接。

每月抽查一条结论能否从页面回到完整依据。

长期 · 建立跨数学、物理与计算的个人研究体系。

重要概念、问题、工具与成果可以被检索、更新和传承。

每年重新判断研究方向是否仍与能力和价值目标一致。

约束、节律与数据边界

以问题、方法、证据和下一动作组织长期研究,让知识积累能够被检索、复查并继续推进。

公开问题框架、研究方法、已发布文章、可复现实验说明与经过核验的结论。

未发表结论、原始研究数据、导师或合作者沟通、私人批注与账户内项目进度不在公共 HTML 中呈现。

  • 先定义对象、条件与不可越过的证据边界,再选择工具。
  • 证明、数值实验、文献事实与个人推测分别标注,互不冒充。
  • 每次停工留下文件、来源、阻塞与一个 15–45 分钟的下一动作。
  • 每次研究前 · 先读上一条停工记录,只选择一个最小产出。 · 降低重启成本,避免在多个问题间漂移。
  • 每次研究后 · 写结论、证据、阻塞、文件位置和下一动作。 · 让疲劳时的自己也能安全交接。
  • 每周 · 删掉失去价值的任务,升级真正重要的问题。 · 让长期路线由证据和现实校准,而非由收藏数量决定。