基于 契约理论 (Contract Theory) 与 虚拟类型方法论 (Virtual Type / Myerson Ironing) 的 6G 通算一体网络 (ICCN) 激励相容算力调度仿真平台。
本项目对应论文:
"Incentive-Compatible Contract Design with Virtual Type Methodology for Computation Offloading in 6G Integrated Communication-Computing Networks"
Northwestern Polytechnical University · Direction ③: Integrated Communication-Computing
核心问题:在 6G 通算一体网络中,基站 (BS) 与用户 (UE) 之间存在信息不对称——用户对边缘计算服务的私人估值
Simulator.html 是一个基于 Tailwind CSS + Chart.js 构建的纯前端交互式仿真平台,无需安装任何依赖,直接在浏览器中打开即可运行。
| 功能 | 说明 |
|---|---|
| 论文架构 | 展示论文完整框架:系统模型、契约设计问题、Myerson Ironing 方法论、最优契约闭式解 |
| 仿真实验 | 交互式参数控制面板,可调节 |
| 结果分析 | 四大理论洞察:排除原理、向下扭曲、信息租金、效率损失有界 |
| 实时图表 | 6 张联动图表:契约菜单、资源分配、虚拟类型、用户效用、BS 收益、信息租金 |
可通过滑块实时调节以下参数并重新运行仿真:
-
固定成本
$c_0$ (0.1 ~ 2.0) — 基站的固定运营成本 -
边际成本系数
$c_1$ (0.5 ~ 5.0) — 资源供给的边际成本 -
最小类型
$\underline{\theta}$ (0.1 ~ 1.0) — 用户估值下限 -
最大类型
$\overline{\theta}$ (1.5 ~ 5.0) — 用户估值上限
仿真运行后生成 6 张联动图表:
- 最优契约菜单 (q-p) — 第二最优 vs 第一最优的资源配置与支付对比
-
资源分配 vs 用户类型 — 低类型被排除 (
$q^*=0$ ),中间类型向下扭曲 - 虚拟类型方法论 — 真实类型、原始虚拟类型、熨平后虚拟类型的对比
- 用户效用对比 — 低类型 IR 绑定,高类型获得信息租金
- BS 收益与社会福利 — 两种信息结构下的收益对比
- 信息租金分析 — 信息租金随类型单调递增
# 直接在浏览器中打开
start Simulator.html或使用 VS Code Live Server 等工具启动。
| 文件 | 说明 |
|---|---|
Simulator.html |
交互式仿真平台(纯前端,无需后端) |
simulation_code_v3.py |
Python 数值仿真代码(完整实现契约求解、Ironing 算法) |
extract_table_data.py |
提取仿真关键指标用于论文表格 |
images/ |
仿真结果截图与图表 |
README.md |
本文件 |
完整的契约理论数值仿真实现,包含:
- 系统模型:6G ICCN 通信与计算参数
-
用户类型:连续类型空间
$[\underline{\theta}, \overline{\theta}]$ ,均匀分布 - 虚拟类型:$\theta^v(\theta) = \theta - (1-F(\theta))/f(\theta)$
- Ironing 算法:对非单调虚拟类型进行熨平处理
- 最优契约求解:满足 IC + IR 约束的第二最优契约
- 第一最优对比:对称信息下的基准方案
- 性能指标:BS 收益、社会福利、信息租金、效率损失
python simulation_code_v3.py
