@furongjun1999/dsh-memory 0.4.10 → 0.4.11

package/md_cg/whitebox_kb/knowledge//346/225/260/345/255/246/345/210/206/346/236/220/302/267/347/237/245/350/257/206/347/273/274/350/277/260.md

@@ -1,349 +0,0 @@
-# 数学分析·知识综述 识别卡 2.0
-
-- **层级**: L4 · 系统性前沿层（课标骨架填充，待终裁）
-- **状态**: pending（骨架填充 · 待设计者终裁）
-- **领域**: 数学
-- **教育层级**: E4（大学）· 分布：骨架 44 知识点 / 内容 44 条
-
-## 核心主张
-
-数学分析（课标骨架 44 知识点填充）：现象+规律，简单词汇，规律性出现即知识……
-
-## 条件空间
-
-- **观测位置**: 数学分析（大学层）外部观测位
-- **观测工具**: 课标骨架 + 现象规律性判定
-- **时间窗口**: (0.0, 9999999999.0)
-- **存在约束**: 大学学段知识按课标骨架定位；通用现象/规律不受版权保护，开源非盈利知识库提取知识点而非复制教材表达
-
-## 出招
-
-- **触发**: 涉及数学分析议题
-- **行动**: 以数学分析知识点（大学层）回应
-- **克制**: 越级使用高于大学层级的未学概念
-
-## 知识点内容（按骨架填充）
-
-### M判别法
-
-- **生效条件**: 问M判别法 | 问魏尔斯特 | 问用正项级
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-魏尔斯特拉斯M判别法：若|un(x)|小于等于Mn且ΣMn收敛，则Σun(x)一致收敛。用正项级数控制函数项级数的一致收敛。
-
-### 一致收敛
-
-- **生效条件**: 问一致收敛 | 问函数项级
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-函数项级数一致收敛：余项在定义域上一致趋于0。一致收敛的判别：魏尔斯特拉斯M判别法（优级数判别法）、狄利克雷、阿贝尔判别法。
-
-### 一致收敛性质
-
-- **生效条件**: 问一致收敛性质 | 问一致收敛 | 问这些性质
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-一致收敛函数项级数的性质：和的连续性（连续函数一致收敛的极限连续）、逐项积分、逐项求导（导数级数一致收敛时可逐项求导）。这些性质是非一致收敛所没有的。
-
-### 一致连续
-
-- **生效条件**: 问一致连续 | 问闭区间上
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-一致连续：δ只依赖ε不依赖x0。闭区间上的连续函数必一致连续（康托定理）。一致连续函数保持柯西列。开区间连续不一定一致连续。
-
-### 上下极限
-
-- **生效条件**: 问上下极限 | 问上极限 | 问下极限
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-上极限：数列的上确界极限；下极限：下确界极限。上下极限刻画数列聚点的最大最小值。收敛当且仅当上下极限相等。
-
-### 偏导可微性
-
-- **生效条件**: 问偏导可微性 | 问多元函数 | 问偏导连续 | 问可微性
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-多元函数可微：增量等于偏导线性主部加高阶无穷小。偏导连续则可微，可微则偏导存在且连续方向导数存在。可微性是最强的局部性质。
-
-### 傅里叶级数收敛定理
-
-- **生效条件**: 问傅里叶级数收敛定理 | 问傅里叶级
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-傅里叶级数收敛定理（狄利克雷条件）：逐段光滑的周期函数傅里叶级数逐点收敛，连续点收敛于函数值，间断点收敛于左右极限平均。
-
-### 凸函数
-
-- **生效条件**: 问凸函数 | 问二阶导数 | 问詹森不等
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-凸函数：f(λx1加(1减λ)x2)小于等于λf(x1)加(1减λ)f(x2)。二阶导数非负等价于凸。詹森不等式：凸函数满足f(平均)小于等于平均f。凸函数在优化理论中核心。
-
-### 函数极限深化
-
-- **生效条件**: 问函数极限深化 | 问函数极限 | 问海涅定理
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-函数极限：ε-δ定义。海涅定理（归结原则）：函数极限存在当且仅当任意趋近序列的函数值收敛。函数极限与数列极限相互转化。
-
-### 单调有界定理
-
-- **生效条件**: 问单调有界定理 | 问单调 | 问单调递减 | 问定理
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问柯西收敛准则 | 问数列极限深化
-
-单调有界定理：单调递增有上界的数列必有极限（收敛于上确界）。单调递减有下界同理。定理给出了数列收敛的充分条件。
-
-### 反函数定理
-
-- **生效条件**: 问反函数定理 | 问反函数定
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-反函数定理：Jacobi矩阵在点处可逆，则函数在该点邻域有可微反函数。反函数定理与隐函数定理等价，是微分同胚的理论基础。
-
-### 可积函数类
-
-- **生效条件**: 问可积函数类 | 问可积函数
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-可积函数类：连续函数、单调函数、有界且间断点有限的函数都可积。可积函数不一定连续。可积函数的有界性是必要条件。
-
-### 可积条件
-
-- **生效条件**: 问可积条件 | 问单调函数
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-可积条件：有界函数可积当且仅当其不连续点集是零测集。单调函数可积、连续函数可积、只有有限个间断点的函数可积。
-
-### 多元极值
-
-- **生效条件**: 问多元极值 | 问约束极值 | 问最值在驻 | 问条件极值
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则 | 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限
-
-多元极值：驻点（梯度为零）用Hessian矩阵判别——正定极小、负定极大、不定鞍点。约束极值用拉格朗日乘数法。最值在驻点和边界取得。
-
-### 多元泰勒公式
-
-- **生效条件**: 问多元泰勒公式 | 问多元泰勒
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-多元泰勒公式：f在点展开为一次项加Hessian二次项加余项。多元泰勒公式用于极值判别和误差估计。
-
-### 实数完备性
-
-- **生效条件**: 问实数完备性 | 问实数完备 | 问六大等价
-- **不适用条件**: 问确界原理 | 问单调有界定理 | 问柯西收敛准则 | 问数列极限深化
-
-实数完备性：实数系是完备的。六大等价定理：确界原理、单调有界定理、闭区间套定理、聚点定理、有限覆盖定理、柯西收敛准则——它们相互等价，是分析学的基石。
-
-### 导数存在性
-
-- **生效条件**: 问导数存在性 | 问导数存在 | 问可导必连 | 问导数
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-导数存在：极限lim[f(x)减f(x0)]除以(x减x0)存在。可导必连续，连续不一定可导（如|x|在0不可导）。导数的几何意义是切线斜率。
-
-### 帕塞瓦尔等式
-
-- **生效条件**: 问帕塞瓦尔等式 | 问帕塞瓦尔
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-帕塞瓦尔等式：Σan方加bn方等于(1/π)∫f方dx，等号成立当且仅当傅里叶级数均方收敛于f。帕塞瓦尔等式是函数能量与频谱能量的守恒。
-
-### 幂级数收敛半径
-
-- **生效条件**: 问幂级数收敛半径 | 问幂级数收 | 问阿贝尔定 | 问端点收敛
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-幂级数收敛半径：用比值法或根值法求，R等于1除以lim|an|的n次方根。阿贝尔定理：收敛半径内的幂级数绝对收敛且内闭一致收敛。端点收敛单独判断。
-
-### 幂级数解析性
-
-- **生效条件**: 问幂级数解析性 | 问幂级数解 | 问幂级数在
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-幂级数解析性：收敛区间内幂级数的和函数可任意次求导、逐项积分，仍为幂级数。幂级数在收敛域内是解析函数。
-
-### 广义积分
-
-- **生效条件**: 问广义积分 | 问收敛定 | 问绝对收敛
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-广义积分：无穷限积分和无界函数积分（瑕积分）。收敛定义：极限存在。绝对收敛与条件收敛。比较判别法、极限比较判别法。
-
-### 康托定理
-
-- **生效条件**: 问康托定理
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-康托定理：闭区间上的连续函数一致连续。这是闭区间连续函数最重要的性质之一，应用于一致收敛和积分的理论。
-
-### 微积分基本定理深化
-
-- **生效条件**: 问微积分基本定理深化 | 问微积分基 | 问f连续时 | 问可积不一
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-微积分基本定理：变上限积分函数F(x)等于∫f(t)dt，F连续；f连续时F可导且F'等于f。可积不一定存在原函数。牛顿莱布尼茨公式。
-
-### 数列极限深化
-
-- **生效条件**: 问数列极限深化 | 问数列极限 | 问收敛数列 | 问子列
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-数列极限严格定义：ε-N语言。收敛数列唯一、有界、保号。子列的极限与原极限相同。夹逼准则。施托尔茨定理处理分式型极限。
-
-### 曲率
-
-- **生效条件**: 问曲率 | 问曲率：曲 | 问曲率半径 | 问曲率圆
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-曲率：曲线弯曲程度的度量，k等于|y''|除以(1加y'方)的3/2次方。曲率半径是曲率的倒数。曲率圆与曲线二阶接触。
-
-### 曲线曲面积分
-
-- **生效条件**: 问曲线曲面积分 | 问曲线积分 | 问曲面积分 | 问两类积分
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-曲线积分：第一类（对弧长）与第二类（对坐标）。曲面积分：第一类（对面积）与第二类（对坐标）。两类积分的联系：方向余弦。
-
-### 极限交换
-
-- **生效条件**: 问极限交换 | 问二重极限 | 问一致收敛
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-极限交换：一致收敛保证极限与积分、极限与求导可交换。二重极限交换次序的条件。一致收敛是交换极限的充分条件。
-
-### 柯西收敛准则
-
-- **生效条件**: 问柯西收敛准则 | 问柯西收敛 | 问柯西准则
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问数列极限深化
-
-柯西收敛准则：数列收敛当且仅当它是柯西列（对任意ε大于0存在N，m、n大于N时|an减am|小于ε）。柯西准则不依赖极限值，是收敛的充要条件。
-
-### 格林高斯斯托克斯公式
-
-- **生效条件**: 问格林高斯斯托克斯公式 | 问三大积分
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-三大积分公式：格林公式（平面曲线与二重）、高斯公式（曲面与三重，散度）、斯托克斯公式（曲线与曲面，旋度）。公式联系区域内部与边界，是向量分析的顶峰。
-
-### 泰勒定理
-
-- **生效条件**: 问泰勒定理
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-泰勒定理：n阶可导函数可用n次多项式逼近，余项有佩亚诺型、拉格朗日型、柯西型。泰勒定理是函数逼近和近似计算的基础。
-
-### 确界原理
-
-- **生效条件**: 问确界原理 | 问上确界
-- **不适用条件**: 问实数完备性 | 问单调有界定理 | 问柯西收敛准则 | 问数列极限深化
-
-确界原理：非空有上界的实数集必有上确界。上确界是最小上界。确界原理是实数完备性的表达，由它可以推出其他等价定理。
-
-### 积分判别法
-
-- **生效条件**: 问积分判别法 | 问积分判别 | 问连接级数 | 问应用于p
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-积分判别法：正项级数Σf(n)与广义积分∫f(x)dx同敛散（f单调递减非负）。连接级数与积分的桥梁。应用于p级数。
-
-### 级数收敛准则
-
-- **生效条件**: 问级数收敛准则 | 问数项级数 | 问柯西收敛 | 问收敛必要
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-数项级数收敛：部分和数列收敛。柯西收敛准则。收敛必要条件：通项趋于0。级数收敛与数列收敛等价。
-
-### 绝对收敛条件收敛
-
-- **生效条件**: 问绝对收敛条件收敛 | 问绝对收敛 | 问条件收敛
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-绝对收敛：Σ|an|收敛。条件收敛：Σan收敛但Σ|an|发散。绝对收敛级数可重排，条件收敛级数重排可改变和（黎曼重排定理）。
-
-### 贝塞尔不等式
-
-- **生效条件**: 问贝塞尔不等式 | 问贝塞尔不 | 问傅里叶系
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-贝塞尔不等式：Σan方加bn方小于等于(1/π)∫f方dx。傅里叶系数的平方和不超过函数平方积分的常数倍。贝塞尔不等式是完备性的度量。
-
-### 路径无关条件
-
-- **生效条件**: 问路径无关条件 | 问第二类曲 | 问此时存在 | 问积分
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-第二类曲线积分与路径无关的充要条件：Qx等于Py（平面单连通区域）。此时存在势函数。积分与路径无关等价于沿闭路积分为0。
-
-### 达布和
-
-- **生效条件**: 问达布和 | 问达布 | 问黎曼可积
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-达布和：分割后取小区间上确界（上和）和下确界（下和）。黎曼可积当且仅当上和与下和的差随分割加细趋于0。达布和是黎曼积分的基础。
-
-### 达布定理
-
-- **生效条件**: 问达布定理
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-达布定理（导数的介值性）：导数具有介值性质——导函数在区间两端值之间取遍一切中间值，即使导函数不连续。这是导数的独特性质。
-
-### 连续性
-
-- **生效条件**: 问连续性 | 问函数连续 | 问ε-δ定 | 问连续函数
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-函数连续：lim f(x)等于f(x0)。ε-δ定义。连续函数四则运算连续，复合连续。初等函数在定义域连续。不连续点分类。
-
-### 重排定理
-
-- **生效条件**: 问重排定理 | 问黎曼重排 | 问绝对收敛 | 问这体现绝
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-黎曼重排定理：条件收敛级数可以重排使其收敛到任意给定的和甚至发散。绝对收敛级数任意重排和不变。这体现绝对收敛与条件收敛的本质区别。
-
-### 重极限累次极限
-
-- **生效条件**: 问重极限累次极限 | 问重极限 | 问累次极限 | 问重极限存
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-重极限：点沿任意路径趋于时函数极限。累次极限：先后沿x、y方向求极限。重极限存在则累次极限存在且相等，反之不一定。
-
-### 重积分换元
-
-- **生效条件**: 问重积分换元 | 问重积分变 | 问极坐标 | 问换元要保
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-重积分变量替换：∫∫f(x,y)dxdy等于∫∫f(x(u,v),y(u,v))|J|dudv，J是Jacobi行列式。极坐标、柱坐标、球坐标是常用换元。换元要保证一一对应。
-
-### 闭区间连续函数性质
-
-- **生效条件**: 问闭区间连续函数性质 | 问闭区间连 | 问闭区间上 | 问性质
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则 | 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限
-
-闭区间连续函数性质：有界、取得最大值最小值、介值定理、零点定理、反函数连续。闭区间连续函数具有良好的整体性质。
-
-### 隐函数定理
-
-- **生效条件**: 问隐函数定理 | 问隐函数定
-- **不适用条件**: 问实数完备性 | 问确界原理 | 问单调有界定理 | 问柯西收敛准则
-
-隐函数定理：F(x,y)满足F(x0,y0)等于0且Fy连续不为0，则在邻域内唯一确定隐函数y等于y(x)且连续可导。隐函数定理是多元分析的核心定理。
-
-## 识别卡明细
-
-- **observation_position**: 从数学分析（大学层）结构端透视
-- **existence_preset**: 默认存在预设：大学学段知识按课标骨架存在
-- **irreducible_start**: 不可约起点：数学分析的核心概念
-- **observation_method**: 有效观测方式：课标骨架知识点 + 现象规律性格式
-- **time_causality**: 时间与因果结构：按课标学段递进（大学）
-- **condition_boundary**: 边界：数学分析知识点按课标骨架定位学段；具体数值/例题以教材为准
-- **consistency**: 自洽性评估：知识点内容为现象+规律格式，待人工审校
-- **protocol_mapping**: 可映射协议概念：数学分析与条件论知识图谱的接口
-- **silent_preset**: 沉默预设：知识点内容为通用现象/规律，不声称终极解释
-
-## 关系
-
-- 课标骨架（similar）：数学分析与 knowledge_skeleton.json 的 大学 学段对应

package/md_cg/whitebox_kb/knowledge//346/225/260/345/255/246/347/211/251/347/220/206/346/226/271/346/263/225/302/267/347/237/245/350/257/206/347/273/274/350/277/260.md

@@ -1,153 +0,0 @@
-# 数学物理方法·知识综述 识别卡 2.0
-
-- **层级**: L4 · 系统性前沿层（课标骨架填充，待终裁）
-- **状态**: pending（骨架填充 · 待设计者终裁）
-- **领域**: 物理学
-- **教育层级**: E4（大学）· 分布：骨架 16 知识点 / 内容 16 条
-
-## 核心主张
-
-数学物理方法（课标骨架 16 知识点填充）：现象+规律，简单词汇，规律性出现即知识……
-
-## 条件空间
-
-- **观测位置**: 数学物理方法（大学层）外部观测位
-- **观测工具**: 课标骨架 + 现象规律性判定
-- **时间窗口**: (0.0, 9999999999.0)
-- **存在约束**: 大学学段知识按课标骨架定位；通用现象/规律不受版权保护，开源非盈利知识库提取知识点而非复制教材表达
-
-## 出招
-
-- **触发**: 涉及数学物理方法议题
-- **行动**: 以数学物理方法知识点（大学层）回应
-- **克制**: 越级使用高于大学层级的未学概念
-
-## 知识点内容（按骨架填充）
-
-### PDE分类
-
-- **生效条件**: 问PDE分类 | 问偏微分方 | 问类型决定
-- **不适用条件**: 问留数在物理中应用 | 问傅里叶变换 | 问拉普拉斯变换 | 问狄拉克δ函数
-
-偏微分方程分类：二阶线性PDE按判别式分双曲（波动方程）、抛物（热传导）、椭圆（拉普拉斯）。类型决定初边值问题的适定性。
-
-### 伽马函数
-
-- **生效条件**: 问伽马函数 | 问性质：Γ | 问递推公
-- **不适用条件**: 问留数在物理中应用 | 问傅里叶变换 | 问拉普拉斯变换 | 问狄拉克δ函数
-
-伽马函数：Γ(z)等于∫t的z减1次方e的负t次方dt。性质：Γ(n加1)等于n!。递推公式、斯特林公式。伽马函数推广阶乘到复变量。
-
-### 傅里叶变换
-
-- **生效条件**: 问傅里叶变换 | 问傅里叶变 | 问逆变换 | 问变换
-- **不适用条件**: 问留数在物理中应用 | 问拉普拉斯变换 | 问狄拉克δ函数 | 问伽马函数
-
-傅里叶变换：f(ω)等于∫f(t)e的负iωt次方dt。逆变换。变换的性质（线性、平移、卷积定理）。傅里叶变换是信号处理和波动问题的基本工具。
-
-### 分离变量法
-
-- **生效条件**: 问分离变量法 | 问分离变量 | 问本征值问 | 问解为特征 | 问拉普拉斯 | 问用边界条
-- **不适用条件**: 问留数在物理中应用 | 问傅里叶变换 | 问拉普拉斯变换 | 问狄拉克δ函数 | 问约束与自由度 | 问虚位移与虚功原理 | 问达朗贝尔原理 | 问广义坐标
-
-分离变量法：u(x,t)等于X(x)T(t)代入方程分离。本征值问题产生特征函数系。解为特征函数乘积的级数，系数由初值条件确定。分离变量法是PDE求解的基本方法。
-
-### 勒让德多项式
-
-- **生效条件**: 问勒让德多项式 | 问勒让德多 | 问正交性 | 问生成函数
-- **不适用条件**: 问留数在物理中应用 | 问傅里叶变换 | 问拉普拉斯变换 | 问狄拉克δ函数
-
-勒让德多项式：勒让德方程的多项式解Pn(x)。正交性：∫PnPm dx等于2δnm/(2n加1)。生成函数。勒让德多项式用于球对称问题（势论、量子力学）。
-
-### 埃尔米特多项式
-
-- **生效条件**: 问埃尔米特多项式 | 问埃尔米特 | 问正交性 | 问递推关系
-- **不适用条件**: 问留数在物理中应用 | 问傅里叶变换 | 问拉普拉斯变换 | 问狄拉克δ函数
-
-埃尔米特多项式：Hn(x)，谐振子本征函数。正交性（权重e的负x方次方）。递推关系。埃尔米特多项式在量子谐振子中自然出现。
-
-### 拉普拉斯变换
-
-- **生效条件**: 问拉普拉斯变换 | 问拉普拉斯 | 问适合初值
-- **不适用条件**: 问留数在物理中应用 | 问傅里叶变换 | 问狄拉克δ函数 | 问伽马函数
-
-拉普拉斯变换：F(s)等于∫f(t)e的负st次方dt（Re s大于σ0）。拉普拉斯变换把微分方程化为代数方程。适合初值问题和含阶跃冲激函数的问题。
-
-### 拉普拉斯方程
-
-- **生效条件**: 问拉普拉斯方程 | 问拉普拉斯 | 问分离变量
-- **不适用条件**: 问留数在物理中应用 | 问傅里叶变换 | 问拉普拉斯变换 | 问狄拉克δ函数
-
-拉普拉斯方程：uxx加uyy等于0。调和函数。分离变量解（矩形、圆、球坐标）。边界值问题：狄利克雷、诺伊曼。拉普拉斯方程描述稳态位势。
-
-### 施图姆刘维尔问题
-
-- **生效条件**: 问施图姆刘维尔问题 | 问施图姆刘 | 问性质：特 | 问特征函数
-- **不适用条件**: 问留数在物理中应用 | 问傅里叶变换 | 问拉普拉斯变换 | 问狄拉克δ函数
-
-施图姆刘维尔问题：-(py')'加qy等于λwy带边界条件。性质：特征值实、可列、趋于无穷；特征函数正交完备。施图姆刘维尔理论是分离变量法的理论基础。
-
-### 格林函数法
-
-- **生效条件**: 问格林函数法 | 问格林函数 | 问解u等
-- **不适用条件**: 问留数在物理中应用 | 问傅里叶变换 | 问拉普拉斯变换 | 问狄拉克δ函数
-
-格林函数法：G(x,ξ)是点源的响应。解u等于∫G f dξ（叠加原理）。格林函数满足方程和边界条件。格林函数法是边值问题的一般方法（势论、电磁、量子散射）。
-
-### 波动方程
-
-- **生效条件**: 问波动方程 | 问行波解 | 问初值问题 | 问达朗贝尔
-- **不适用条件**: 问留数在物理中应用 | 问傅里叶变换 | 问拉普拉斯变换 | 问狄拉克δ函数 | 问可分离变量 | 问齐次方程 | 问一阶线性方程 | 问伯努利方程
-
-波动方程：utt等于c方uxx。行波解（达朗贝尔公式）：u等于f(x减ct)加g(x加ct)。初值问题由初位移初速度决定。驻波与特征振动。
-
-### 热传导方程
-
-- **生效条件**: 问热传导方程 | 问热传导方 | 问解光滑化 | 问分离变量 | 问初值决定
-- **不适用条件**: 问留数在物理中应用 | 问傅里叶变换 | 问拉普拉斯变换 | 问狄拉克δ函数 | 问可分离变量 | 问齐次方程 | 问一阶线性方程 | 问伯努利方程
-
-热传导方程：ut等于a方uxx。解光滑化（扩散）。分离变量：特征函数为余弦级数。解随时间趋于稳态。热传导方程描述扩散过程。
-
-### 狄拉克δ函数
-
-- **生效条件**: 问狄拉克δ函数 | 问狄拉克δ | 问性质：∫ | 问δ函数
-- **不适用条件**: 问留数在物理中应用 | 问傅里叶变换 | 问拉普拉斯变换 | 问伽马函数
-
-狄拉克δ函数：δ(x)在x等于0无穷大、积分等于1。性质：∫f(x)δ(x减a)dx等于f(a)。δ函数是广义函数，表示点源。δ函数是格林函数方法的核心。
-
-### 球谐函数
-
-- **生效条件**: 问球谐函数 | 问角动量本 | 问正交完备
-- **不适用条件**: 问留数在物理中应用 | 问傅里叶变换 | 问拉普拉斯变换 | 问狄拉克δ函数
-
-球谐函数：Ylm(θ,φ)等于归一化勒让德函数乘e的imφ次方。角动量本征函数。正交完备。球谐函数展开是球坐标问题的基本工具。
-
-### 留数在物理中应用
-
-- **生效条件**: 问留数在物理中应用 | 问留数定理 | 问围道选取 | 问物理中
-- **不适用条件**: 问傅里叶变换 | 问拉普拉斯变换 | 问狄拉克δ函数 | 问伽马函数
-
-留数定理计算物理中的实积分：无穷积分、三角积分。围道选取（上半平面、单位圆）。物理中的积分（傅里叶变换、格林函数）常用留数计算。
-
-### 贝塞尔函数
-
-- **生效条件**: 问贝塞尔函数 | 问贝塞尔函 | 问性质：振
-- **不适用条件**: 问留数在物理中应用 | 问傅里叶变换 | 问拉普拉斯变换 | 问狄拉克δ函数
-
-贝塞尔函数：贝塞尔方程的解Jn(x)、Yn(x)。性质：振荡衰减、生成函数、递推关系。贝塞尔函数用于圆柱对称问题（圆膜振动、波导）。
-
-## 识别卡明细
-
-- **observation_position**: 从数学物理方法（大学层）结构端透视
-- **existence_preset**: 默认存在预设：大学学段知识按课标骨架存在
-- **irreducible_start**: 不可约起点：数学物理方法的核心概念
-- **observation_method**: 有效观测方式：课标骨架知识点 + 现象规律性格式
-- **time_causality**: 时间与因果结构：按课标学段递进（大学）
-- **condition_boundary**: 边界：数学物理方法知识点按课标骨架定位学段；具体数值/例题以教材为准
-- **consistency**: 自洽性评估：知识点内容为现象+规律格式，待人工审校
-- **protocol_mapping**: 可映射协议概念：数学物理方法与条件论知识图谱的接口
-- **silent_preset**: 沉默预设：知识点内容为通用现象/规律，不声称终极解释
-
-## 关系
-
-- 课标骨架（similar）：数学物理方法与 knowledge_skeleton.json 的 大学 学段对应

package/md_cg/whitebox_kb/knowledge//346/225/260/346/215/256/345/272/223/347/263/273/347/273/237/302/267/347/237/245/350/257/206/347/273/274/350/277/260.md

@@ -1,146 +0,0 @@
-# 数据库系统·知识综述 识别卡 2.0
-
-- **层级**: L4 · 系统性前沿层（课标骨架填充，待终裁）
-- **状态**: pending（骨架填充 · 待设计者终裁）
-- **领域**: 计算机科学
-- **教育层级**: E4（大学）· 分布：骨架 15 知识点 / 内容 15 条
-
-## 核心主张
-
-数据库系统（课标骨架 15 知识点填充）：现象+规律，简单词汇，规律性出现即知识……
-
-## 条件空间
-
-- **观测位置**: 数据库系统（大学层）外部观测位
-- **观测工具**: 课标骨架 + 现象规律性判定
-- **时间窗口**: (0.0, 9999999999.0)
-- **存在约束**: 大学学段知识按课标骨架定位；通用现象/规律不受版权保护，开源非盈利知识库提取知识点而非复制教材表达
-
-## 出招
-
-- **触发**: 涉及数据库系统议题
-- **行动**: 以数据库系统知识点（大学层）回应
-- **克制**: 越级使用高于大学层级的未学概念
-
-## 知识点内容（按骨架填充）
-
-### NoSQL
-
-- **生效条件**: 问NoSQL | 问[数据库 | 问NoSQ | 问键值、文
-- **不适用条件**: 问变量与数据类型 | 问控制结构 | 问函数与递归 | 问数组与字符串 | 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限
-
-NoSQL：非关系数据库。键值（Redis）、文档（MongoDB）、列族（HBase）、图（Neo4j）。NoSQL特点：灵活模式、水平扩展。适用场景（缓存、日志、社交图）。
-
-### 事务ACID
-
-- **生效条件**: 问事务ACID | 问[数据库 | 问事务：数 | 问ACID | 问事务保证
-- **不适用条件**: 问变量与数据类型 | 问控制结构 | 问函数与递归 | 问数组与字符串 | 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限
-
-事务：数据库操作的原子单元。ACID：原子性（Atomicity）、一致性（Consistency）、隔离性（Isolation）、持久性（Durability）。事务保证数据正确。
-
-### 云数据库
-
-- **生效条件**: 问云数据库 | 问[数据库 | 问云上部署 | 问云原生数
-- **不适用条件**: 问变量与数据类型 | 问控制结构 | 问函数与递归 | 问数组与字符串 | 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限
-
-云数据库：数据库即服务（DBaaS）。云上部署、弹性伸缩、托管运维。云原生数据库（TiDB、Aurora）。多云数据架构。
-
-### 关系代数与SQL
-
-- **生效条件**: 问关系代数与SQL | 问[数据库 | 问SQL | 问关系代数
-- **不适用条件**: 问变量与数据类型 | 问控制结构 | 问函数与递归 | 问数组与字符串 | 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限
-
-SQL：数据定义（DDL：CREATE）、数据操作（DML：SELECT/INSERT/UPDATE/DELETE）、数据控制（DCL）。关系代数：选择、投影、连接、并交差。SQL是关系数据库标准语言。
-
-### 分布式数据库
-
-- **生效条件**: 问分布式数据库 | 问分布式数 | 问分布式事 | 问CAP定 | 问[数据库
-- **不适用条件**: 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限 | 问变量与数据类型 | 问控制结构 | 问函数与递归 | 问数组与字符串
-
-分布式数据库：数据分片、复制。分布式事务（两阶段提交）。CAP定理（一致性、可用性、分区容错性三选二）。一致性协议（Raft、Paxos）。
-
-### 大数据技术
-
-- **生效条件**: 问大数据技术 | 问[数据库 | 问大数据 | 问Hado | 问数据湖
-- **不适用条件**: 问变量与数据类型 | 问控制结构 | 问函数与递归 | 问数组与字符串 | 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限
-
-大数据：海量数据存储处理。Hadoop（HDFS+MapReduce）、Spark（内存计算）。数据湖。流处理（Kafka、Flink）。大数据技术处理PB级数据。
-
-### 存储引擎
-
-- **生效条件**: 问存储引擎 | 问Inno | 问[数据库
-- **不适用条件**: 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限 | 问变量与数据类型 | 问控制结构 | 问函数与递归 | 问数组与字符串
-
-存储引擎：数据存储与索引的实现。InnoDB（事务、行锁）、MyISAM（表锁）。存储引擎差异影响功能与性能。日志与数据文件。
-
-### 并发控制
-
-- **生效条件**: 问并发控制 | 问锁、时间 | 问隔离级别 | 问[数据库
-- **不适用条件**: 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限 | 问变量与数据类型 | 问控制结构 | 问函数与递归 | 问数组与字符串
-
-并发控制：隔离并发事务。锁（共享锁、排他锁、两阶段锁）、时间戳排序、多版本并发控制（MVCC）。隔离级别（读未提交、读已提交、可重复读、串行化）。
-
-### 故障恢复
-
-- **生效条件**: 问故障恢复 | 问日志、检 | 问恢复过程 | 问[数据库
-- **不适用条件**: 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限 | 问变量与数据类型 | 问控制结构 | 问函数与递归 | 问数组与字符串
-
-故障恢复：数据库崩溃后的恢复。日志（redo/undo日志）、检查点、WAL（预写日志）。恢复过程：重做已提交、回滚未提交。故障恢复保证持久性。
-
-### 数据仓库
-
-- **生效条件**: 问数据仓库 | 问ETL | 问星型/雪 | 问[数据库
-- **不适用条件**: 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限 | 问变量与数据类型 | 问控制结构 | 问函数与递归 | 问数组与字符串
-
-数据仓库：面向分析的数据库。ETL（抽取、转换、加载）。星型/雪花模型。OLAP（联机分析）。数据仓库支撑商业智能（BI）。
-
-### 数据库安全
-
-- **生效条件**: 问数据库安全 | 问[数据库 | 问数据库安
-- **不适用条件**: 问变量与数据类型 | 问控制结构 | 问函数与递归 | 问数组与字符串 | 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限
-
-数据库安全：用户权限管理（GRANT/REVOKE）、视图限制、加密（传输、存储）、审计日志、SQL注入防护（参数化查询）。
-
-### 数据库设计范式
-
-- **生效条件**: 问数据库设计范式 | 问范式：第 | 问反范式 | 问ER图→ | 问[数据库
-- **不适用条件**: 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限 | 问变量与数据类型 | 问控制结构 | 问函数与递归 | 问数组与字符串
-
-范式：第一范式（原子性）、第二范式（消除部分依赖）、第三范式（消除传递依赖）、BCNF。反范式（冗余换性能）。ER图→关系模式设计。
-
-### 数据模型
-
-- **生效条件**: 问数据模型 | 问[数据库 | 问关系：元
-- **不适用条件**: 问变量与数据类型 | 问控制结构 | 问函数与递归 | 问数组与字符串 | 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限
-
-数据模型：关系模型（表）、ER模型（实体联系）、层次网状模型。关系：元组、属性、键（主键外键）。数据模型是数据库的基础。
-
-### 查询优化
-
-- **生效条件**: 问查询优化 | 问代价估算 | 问等价变换 | 问[数据库
-- **不适用条件**: 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限 | 问变量与数据类型 | 问控制结构 | 问函数与递归 | 问数组与字符串
-
-查询优化：执行计划选择。代价估算（统计信息）。等价变换（连接顺序、谓词下推）。优化器（基于规则、基于代价）。查询优化显著提升性能。
-
-### 索引
-
-- **生效条件**: 问索引 | 问索引：加 | 问B+树索 | 问聚簇索引 | 问[数据库
-- **不适用条件**: 问数列极限 | 问函数极限 | 问极限运算法则 | 问两个重要极限 | 问变量与数据类型 | 问控制结构 | 问函数与递归 | 问数组与字符串
-
-索引：加速查询的数据结构。B+树索引（范围查询）、哈希索引（等值查询）、全文索引。聚簇索引与非聚簇索引。索引代价（存储、更新）。
-
-## 识别卡明细
-
-- **observation_position**: 从数据库系统（大学层）结构端透视
-- **existence_preset**: 默认存在预设：大学学段知识按课标骨架存在
-- **irreducible_start**: 不可约起点：数据库系统的核心概念
-- **observation_method**: 有效观测方式：课标骨架知识点 + 现象规律性格式
-- **time_causality**: 时间与因果结构：按课标学段递进（大学）
-- **condition_boundary**: 边界：数据库系统知识点按课标骨架定位学段；具体数值/例题以教材为准
-- **consistency**: 自洽性评估：知识点内容为现象+规律格式，待人工审校
-- **protocol_mapping**: 可映射协议概念：数据库系统与条件论知识图谱的接口
-- **silent_preset**: 沉默预设：知识点内容为通用现象/规律，不声称终极解释
-
-## 关系
-
-- 课标骨架（similar）：数据库系统与 knowledge_skeleton.json 的 大学 学段对应