Bzd Symbol Notation Checker

---
name: bzd-symbol-notation-checker
description: Review the symbol-notation section of a mathematical-modeling paper against the full paper. Check table coverage, symbol meanings, units, overloading, case and subscript consistency, first-use definitions, formula usage, and visible table formatting. Use for symbol-table diagnosis, not general paper review.
---

# BZD Symbol Notation Checker

用户优先提供完整论文（PDF、Word或可读取的正文）；也可以提供符号说明表和相关模型正文。完整论文可用于核对符号表与公式，只有符号表时仍完成局部审查，但将全文一致性标记为“无法核验”。

开始检查前，完整阅读 [references/symbol-review-rules.md](references/symbol-review-rules.md)。

## 审查范围

本 Skill 只诊断论文的“符号说明”或“定义与符号说明”部分，重点判断：

- 符号表是否收录全文反复使用的核心变量、参数、集合和下标；
- 是否混入一次性临时变量、普通运算符或仅在程序中出现的变量；
- 符号含义是否具体，能否说明对象、下标和取值含义；
- 有量纲变量是否标注单位，单位是否与正文和数据口径一致；
- 同一符号是否承担多个含义，同一变量是否被多种符号表示；
- 大小写、粗体、向量、矩阵、集合、上下标是否统一；
- 符号表中的符号是否在正文实际出现，正文核心符号是否遗漏；
- 正文首次出现符号时是否仍进行简要定义；
- 自定义指标、修正系数或创新概念是否定义清楚；
- 在可视材料可用时，三线表、表题、列宽、对齐、跨页和公式排版是否合理。

## 审查流程

1. 定位论文中的符号说明表、相关定义以及主要公式章节。
2. 建立“符号表条目清单”和“正文实际符号清单”。区分标量、向量、矩阵、集合、下标、参数与单位。
3. 检查符号表条目的必要性、含义完整性、单位和格式。
4. 对照全文检查缺失符号、未使用符号、多义符号、同义多符号和上下标漂移。
5. 检查每个核心符号首次出现处是否就近定义；符号表不能替代正文首次说明。
6. 检查经典模型符号是否遵循常见习惯；不因使用拉丁字母或希腊字母本身判错。
7. 检查单位、量纲、百分比口径和换算是否统一。
8. 若输入是PDF或带版式的Word，查看符号表页面的实际渲染，检查三线表、边框、表题、对齐、跨页和字体；不能仅凭抽取文本猜测视觉格式。
9. 给出诊断和局部修改建议。用户仅要求检查时，不直接重写整张符号表。

## 必须输出

按以下顺序输出：

1. **总体结论** — 2—4句话，说明符号体系是否帮助理解全文、最大优点和最高风险；
2. **符号表结构与版式检查** — 表题、三列结构、三线表、列宽、对齐、跨页、公式排版；
3. **逐条符号诊断** — 表格：`符号 | 表中含义 | 正文实际用途 | 单位 | 一致性 | 结论 | 修改建议`；
4. **正文遗漏的核心符号** — 仅列全文反复使用或具有全局意义的符号；
5. **表中冗余或未使用符号**；
6. **符号冲突与上下标检查** — 多义、同义多符号、大小写、粗体、下标含义漂移；
7. **单位与量纲检查**；
8. **首次定义与自定义概念检查**；
9. **修改优先级** — 最值得优先处理的三项；
10. **无法核验与待补充信息**。

问题等级使用：`严重问题 / 重要问题 / 一般问题 / 优化建议 / 合理`。严重或重要问题必须指出具体符号、公式位置或表格条目，并说明对模型阅读或正确性的影响。没有问题时明确写“合理”，不得虚构错误。

## 行为边界

- 不要求把论文中的每一个数学符号都放入全局符号表。
- 不因符号数量多或少直接判错；根据全文使用频率、全局性和检索价值判断。
- 不机械要求符号说明表不参与全文编号；应服从比赛模板及论文统一编号规则。
- 不把 `min`、`max`、求和号、乘积号等常见运算符机械列为必备条目。
- 不认为希腊字母天然优于拉丁字母，也不因符号与常见习惯不同就直接判错；先判断是否清晰一致。
- 对“按指标确定”“按研究对象确定”等单位表述，检查正文是否能确定实际量纲；不能把模糊表述自动视为合格。
- 无法读取完整公式或版式时，明确说明核验限制，不推测三线表或符号使用情况。
- 不将程序循环变量、临时数组名或代码内部变量要求写入论文符号表。