Jmsc Model Building

---
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 <目标>（对<主体>，期望/风险调整）
【假设】A1<…,类型,辩护> A2<…> …
【循环假设检查】无 / 有 <哪条>
【与问题对应】完整 / 缺 <项>
【下一步】jmsc-proofs
```