命令参考¶

这页只收录最常用的命令。

构建与测试¶

lake build
python3 -m unittest discover -s tests

查看支持的场景和算法¶

python3 -m vpp_rl.train --list-scenarios
python3 -m vpp_rl.train --list-algorithms

导出 Lean 规则表¶

python3 -m vpp_rl.rule_table \
  --scenario peak_shaving \
  --output artifacts/peak_shaving_shield_table.json

训练并导出 trace¶

python3 -m vpp_rl.train \
  --episodes 180 \
  --algorithm double_q \
  --scenario peak_shaving \
  --shield-mode table_project \
  --shield-table artifacts/peak_shaving_shield_table.json \
  --output artifacts/peak_shaving_double_q_table_project_trace.json

用 Lean 验证 trace¶

lake env lean --run VppLeanRl/Cli.lean -- \
  artifacts/peak_shaving_double_q_table_project_trace.json

一键 Demo¶

./scripts/run_demo.sh 180 double_q peak_shaving table_project

本地查看文档¶

英文站：

mkdocs serve

中文站：

mkdocs serve -f mkdocs.zh.yml

构建完整双语站点：

./scripts/build_docs_site.sh