jse-tju-theory-analysis

《系统工程学报》理论分析（jse-tju-theory-analysis）

触发时机

当模型已闭合，需要决定应证明什么、条件和结论是否对应、理论结果如何解释系统机制时使用。

“有公式”不等于理论贡献；本 skill 要求每项形式结果改变对系统边界、互动、反馈或决策规律的理解。

若变量和信息结构仍不完整，先回到 jse-tju-system-modeling。

输入诊断

收集模型、假设、均衡/最优解定义、候选命题、证明草稿和数值发现。对每个结果先问：

1. 它回答哪条研究问题？
2. 哪些条件是充分、必要或仅为证明便利？
3. 结论是存在、唯一、方向、阈值、稳定、效率还是边界？
4. 该结论相对基准文献新增什么？
5. 用什么反例或数值情景检验适用范围？

若结论只是“目标函数在最优点更优”，删除；若只是算法输出描述，转 algorithm-computation。

结果层级

| 层级 | 典型交付 | 系统工程价值 |

|---|---|---|

| 可行性 | 解/均衡存在、约束可满足 | 系统设计是否可能 |

| 结构性 | 单调、凸性、分解、阈值 | 解释系统结构如何简化决策 |

| 互动性 | 最优反应、均衡、外部性、福利 | 揭示多主体冲突与协同 |

| 动态性 | 稳定性、收敛域、级联条件 | 解释反馈与长期状态 |

| 比较静态 | 参数变化的方向与区间 | 形成可操作决策规则 |

| 边界性 | 反例、非唯一、失稳、不可行 | 明确理论不适用位置 |

一篇稿件无需覆盖所有层级，但主定理与系统主张必须同层。

处理步骤

1. 建立“问题—结果—证据”图

每个研究问题只连接必要结果，每个结果连接完整证明或明确计算证据。避免大量引理与主问题无关。

引理应为主定理服务；推论应真正由条件特化获得，而不是换一种语言重复命题。

2. 精确陈述

命题前列出模型、参数域、正则条件和比较对象。结论注明量词、方向、严格/非严格、不等式区间和

例外点。不要在证明中临时增加正文未给的条件。

3. 设计证明路线

先写证明骨架：关键变换、采用的定理及条件核验、分情况节点、边界处理和结论闭合。正文可给

机制和关键步骤，长代数放附录，但不可用“容易证明”隐藏关键跳步。

4. 连接系统机制

每个主结果后解释：哪个系统结构造成该性质；删除该结构是否仍成立；结果如何改变控制、配置、

协同或风险判断。解释必须受定理条件约束，不将局部结果外推为普遍规律。

5. 做比较静态和稳定性

先确定可比较参数的现实含义与单位，再选择解析导数、格序、隐函数、数值扫描或局部稳定方法。

方向不全局单调时，报告阈值和分区；多均衡时说明选择机制；动态系统区分局部与全局稳定。

6. 寻找反例与边界

主动搜索零交互、极端容量、完全/无信息、高低网络密度、参数等值和初值边界。一个有效反例能

暴露缺失条件，不能把反例悄悄排除。理论不成立处应转化为限制或后续验证情景。

命题审计卡

结果编号：
系统问题：
前提条件（逐项）：
结论与量词：
相对基准的新信息：
证明骨架：
关键系统机制：
反例 / 失败边界：
数值或数据验证接口：
可操作含义（限定在条件内）：

微型示例

弱结果：“信息共享提高系统绩效。”这既无条件，也无比较基准。

合格方向：“当共享精度高于阈值且恢复容量处于给定区间时，分散主体的共享均衡降低期望系统损失；

容量过低时共享诱发同步响应，结论反转。”证明需要给均衡存在、阈值推导和反转条件，数值实验再

展示不同网络结构下阈值如何移动。

反模式

• 用公式数量、求导长度或附录页数代替理论新意。
• 定理条件散落在证明中，正文结论无条件化。
• 仅证明算法收敛，就声称解释系统行为。
• 只报局部稳定，却写成全局稳定。
• 比较静态只选一组参数画图，没有解析或范围依据。
• 不报告与直觉相反的边界情形。

期刊专属拒稿风险

本刊允许理论研究，但结果需服务系统机制或系统设计。若模型专属性弱、命题是标准凸优化或经典

博弈结论的直接复述，即使证明正确也可能缺乏期刊匹配。近年内容画像只是定位证据，不代表编辑部

规定；动态事实应回查 [official-source-map.md](../../resources/official-source-map.md)。

输出格式

【研究问题—结果映射】
【定义与均衡/解概念】
【主命题 / 定理 / 推论】
【条件—结论对应表】
【证明骨架与附录分配】
【比较静态 / 稳定性】
【反例与适用边界】
【系统机制解释】
【验证接口】
【最大拒稿风险】