brycewang-stanford 模型构建（jmsc-model-building）
触发时机
- 决策问题清楚了，要写出正式模型
- 审稿质疑"假设不合理 / 模型设定不完整"
- 模型有变量但约束或目标缺项
- 假设一堆，但说不清每条为什么需要
核心：模型设定必须完整且可辩护
本刊的模型设定要做到完整（complete）+ 可辩护（defensible）。完整指四要素无缺；可辩护指每条假设都有"为什么这样设"的理由，且与建模目标一致。
模型四要素（缺一不可）
- 决策变量与参数：列清符号、定义域、量纲；变量与参数分开声明。
- 约束：容量/预算/非负/可行性/激励相容（IC）/参与（IR）等，写成显式不等式或等式。
- 目标函数：期望利润 / 风险调整收益 / 成本 / 社会福利…；明确是 max 还是 min、对谁而言。
- 假设：分布假设、凸性/单调性、信息结构、参数取值范围——每条单独编号。
假设的三类与辩护
| 假设类型 | 例子 | 辩护方式 |
|---|---|---|
| 技术性（保证可解） | 凸性、连续、紧致 | 说明放松后会失去什么性质 |
| 实质性（刻画情境） | 风险中性、信息对称 | 对应现实管理情境，给文献支撑 |
| 简化性（聚焦核心） | 两期、两主体、线性需求 | 说明可扩展，且不改变核心机制 |
危险信号：实质性假设被当成"显然"不加辩护；或假设强到把结论"假设进来了"。
自检清单
- 决策变量、参数、定义域、量纲齐全且区分清楚
- 约束写成显式数学表达，可行域非空
- 目标函数明确（max/min、对谁、是否期望/风险调整）
- 每条假设单独编号，并说明类型与辩护理由
- 没有"循环假设"（把要证的结论藏在假设里）
- 模型与第一步的决策问题五要素一一对应
- 特例/退化情形（如单期、对称）能从模型自然得到
反模式
- 目标函数和约束都有，唯独漏掉关键假设（分布/信息）
- 假设强到结论几乎平凡，方法贡献被掏空
- 参数与变量混用，导致后续证明含混
- 模型比问题复杂得多，加了一堆与核心机制无关的装饰
本刊建模审稿期待与退稿模式
《管理科学学报》的模型构建环节，审稿人按"设定—可解—可辩护—与情境一致"四档评。下表把本刊常见退稿信号与设定缺陷对齐：
| 退稿信号（审稿常用语） | 根因（设定缺陷） | 本刊期望的修法 |
|---|---|---|
| "假设脱离管理情境" | 实质性假设（信息结构/风险态度）当显然处理 | 把每条实质假设锚到具体运营场景，并给文献或行业事实支撑 |
| "模型把结论假设进来了" | 简化性假设强到结论平凡 | 弱化假设重证，或证明放松后核心机制不变 |
| "可行域可能为空/无界" | 约束未验证相容性 | 给出可行解存在的充分条件，或参数前提下可行域非空的引理 |
| "目标函数对谁、何种风险度量不清" | 目标主体与风险偏好未声明 | 显式写 max/min、主体、期望/CVaR/均值-方差，并与情境一致 |
| "与已有契约/定价模型无区别" | 新设定淹没在标准模板里 | 用一句话点出本模型新增的决策维度或信息环节 |
锚点：本刊已刊运营管理论文的模型节多以"参数表 + 假设 A1–A5（含类型与辩护）+ 决策时序图"开篇；技术性假设单列，避免与实质假设混排。具体体例以编辑部最新稿约为准。
微型走查：平台动态定价模型设定
虚构稿件《双边平台的动态定价与佣金联合决策》。用四要素+三类假设走一遍（示意数字仅作演示）：
- 变量/参数：决策变量为各期价格 p_t∈[0,200] 元与佣金率 φ∈[0,0.3]；参数为到达强度 λ=50/期、价格敏感 β=0.4、容量 C=120、贴现 δ=0.95。变量（p_t,φ）与参数分行声明、标量纲。
- 约束：每期成交量 q_t=λ(1−βp_t/200)≤C（容量）；φ≥0、p_t≥0；商户参与 (1−φ)p_t·q_t≥U₀=800（IR）。可行域非空：取 p_t=100、φ=0.1 时 q_t=40≤120 且商户净收益 3600≥800。
- 目标：max_{p_t,φ} E[Σ_t δ^{t-1} φ·p_t·q_t]，主体为平台，贴现期望佣金收入（风险中性）。
- 假设三类：A1 需求线性（简化性，非线性可扩展且不改机制）；A2 商户同质（简化性，可扩展到异质）；A3 平台先承诺佣金、商户再定参与（实质性，对应平台规则先行，给文献支撑）；A4 到达平稳（技术性，保证 MDP 可解）。
- 循环假设检查：结论"佣金随需求波动单调"不来自任何假设，通过。
审稿人若追问"佣金率上限为何取 0.3"，回应应锚到行业可观测费率区间作为参数依据，而非"为计算方便"。
输出格式
【变量/参数】<符号: 定义, 定义域, 量纲>
【约束】<显式表达，可行域非空？>
【目标】max/min <目标>（对<主体>，期望/风险调整）
【假设】A1<…,类型,辩护> A2<…> …
【循环假设检查】无 / 有 <哪条>
【与问题对应】完整 / 缺 <项>
【下一步】jmsc-proofs