---
name: jmsc-model-building
description: Use when building the formal model for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — making decision variables, parameters, constraints, objective function, and assumptions all explicit, and justifying each assumption against the modeling goal. Use after jmsc-problem-formulation and before jmsc-proofs.
---

# 模型构建（jmsc-model-building）

## 触发时机

- 决策问题清楚了，要写出正式模型
- 审稿质疑"假设不合理 / 模型设定不完整"
- 模型有变量但约束或目标缺项
- 假设一堆，但说不清每条为什么需要

## 核心：模型设定必须完整且可辩护

本刊的模型设定要做到**完整（complete）+ 可辩护（defensible）**。完整指四要素无缺；可辩护指每条假设都有"为什么这样设"的理由，且与建模目标一致。

## 模型四要素（缺一不可）

1. **决策变量与参数**：列清符号、定义域、量纲；变量与参数分开声明。
2. **约束**：容量/预算/非负/可行性/激励相容（IC）/参与（IR）等，写成显式不等式或等式。
3. **目标函数**：期望利润 / 风险调整收益 / 成本 / 社会福利…；明确是 max 还是 min、对谁而言。
4. **假设**：分布假设、凸性/单调性、信息结构、参数取值范围——**每条单独编号**。

## 假设的三类与辩护

| 假设类型 | 例子 | 辩护方式 |
|----------|------|----------|
| 技术性（保证可解） | 凸性、连续、紧致 | 说明放松后会失去什么性质 |
| 实质性（刻画情境） | 风险中性、信息对称 | 对应现实管理情境，给文献支撑 |
| 简化性（聚焦核心） | 两期、两主体、线性需求 | 说明可扩展，且不改变核心机制 |

> 危险信号：实质性假设被当成"显然"不加辩护；或假设强到把结论"假设进来了"。

## 自检清单

- [ ] 决策变量、参数、定义域、量纲齐全且区分清楚
- [ ] 约束写成显式数学表达，可行域非空
- [ ] 目标函数明确（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
```