SuperAPI AI 工具集

symbol-table-builder

写作与研究

查看项目

更新于 10-16 02:33

技能介绍

用途:确保同一概念只用一个符号、不同概念不共用符号,为数学建模过程提供唯一的符号与单位引用表。

输入:问题解析与关系;激活方法/激活方法卡(Qx/qx_method_card.md);已批准的代码计划(如有);题目依赖图;已有的 planning/symbol_table.md。仅在方法卡缺失时才读取旧候选池。

工作流:提取输入、输出、参数、决策、状态、索引、集合、函数与中间量;保留用户已确立的记号,除非它存在冲突或歧义;解决同义不同符号、同符号不同义、单位或定义域冲突、Qx 输出到输入的交接冲突;按角色与作用域分类每个符号;保存或更新 planning/symbol_table.md;若规范符号变更,将其标为 CANONICAL 并对受影响的 Qx 做范围一致性检查。

表字段:符号;普通名称;定义;类型(input、output、parameter、estimated parameter、decision、state、intermediate、index、set、function);定义域/值域;单位;作用域/Qx;来源产物;备注或冲突解决。

规则:每个符号在首次使用前必须定义;记录适用的单位与定义域;跨小题交接使用统一记号;不要为让表显得完整而虚构变量;不单独维护冗长的冲突日志,实质性冲突解决记入表备注。

验证:激活方法卡与代码计划中的变量均被覆盖;无未解决的符号或单位冲突;共享量在各 Qx 间一致;下游产物可引用同一张规范表。

限制:资料未提供该技能的具体安装命令、运行命令、平台支持范围及收费信息;无法确定时未展开。