---
title: Aero-SciEvo-RLV-Pilot
canonical_url: "https://www.modelscope.cn/datasets/asukazsy/Aero-SciEvo-RLV-Pilot"
md_url: "https://www.modelscope.cn/datasets/asukazsy/Aero-SciEvo-RLV-Pilot.md"
repository: asukazsy/Aero-SciEvo-RLV-Pilot
chinese_name: "可重复使用运载器科学演化数据集"
last_updated: 2026-05-30
license: "Apache License 2.0"
storage_size: "4.5 MB"
downloads: 54
stars: 0
---

# Aero-SciEvo-RLV-Pilot

> Aero-SciEvo-RLV-Pilot - asukazsy 在 ModelScope 开源的数据集。基于 SHCDP（Skill–Harness 契约耦合）方法构造的可重复使用运载器科学演化数据集；属 Sci-Evo 类型，含 900 条主表 + 289 条审计专用。

asukazsy/Aero-SciEvo-RLV-Pilot 是 ModelScope 魔搭社区上的数据集，存储大小 4.5 MB，采用 Apache License 2.0 许可。

- **Repository**: asukazsy/Aero-SciEvo-RLV-Pilot
- **License**: Apache License 2.0
- **Storage size**: 4.5 MB
- **Downloads**: 54
- **Stars**: 0
- **Last updated**: 2026-05-30

Source: https://www.modelscope.cn/datasets/asukazsy/Aero-SciEvo-RLV-Pilot

---

## 1. 简介

本数据集面向 RLV 这一科学演化窄域，按 **SHCDP（Skill–Harness Contract-Coupled Data Paradigm，技能–执行验收 契约耦合数据范式）** 方法构造：把"模型应学的能力（Skill）"与"什么算合规演示（Harness）"表达为逐条记录可计算的契约，写入数据的生成与验证，使合成可证伪、评测纯确定性。

完整方法、设计与结果见配套技术报告 [`docs/technical_report.pdf`](#)（同仓库）。

## 2. 关键统计

| 指标 | 数量 |
|---|---:|
| 主表记录 | 900（按 7 个质量层分文件） |
| 审计专用记录 | 289（失败池 13 + P8 消融对照组 276，不进训练） |
| 任务层 | L1 知识 / L2 证据重构 / L3 演化算子 / L4 谱系预测 / L5 工具集成推理 |
| 证据图 | 100 文档 / 28 529 条边 / 12 类节点（见技术报告 §3） |
| 九维评测覆盖 | 913 条记录，零真实型号名泄漏 |
| 消融实验 | 9 维中 5 维显著优于仅分类法对照（Fisher α=0.05，0 维劣于） |

## 3. 数据来源与许可

- **NASA 技术报告服务器（NTRS）** —— 美国政府作品，公有领域（U.S. Government works, public domain）。
- **Zenodo 开放获取记录** —— 携带 DOI 的开放许可（Creative Commons 系列）。

所有原始语料均为公开发表的科学文献；无未授权数据、无 PII（个人身份信息）。数据集衍生作品采用 **CC-BY-4.0**（兼容上游许可），使用时请保留来源标注与本数据集引用。代表性原始文献样例见 `raw_samples/`。

## 4. 数据结构

```
data/
├── final_release/
│   ├── baseline_numeric_verified.jsonl       # 209  Phase 1.5 L5（工具核算）
│   ├── baseline_citation_audited.jsonl       # 228  Phase 1.5 L1（引用审计）
│   ├── baseline_benchmark.jsonl              # 200  Phase 1.5 L4（谱系预测）
│   ├── evidence_grounded_synthesis.jsonl     #  72  P3 + P6-L2（证据接地）
│   ├── tool_verified_synthesis.jsonl         # 120  P4（工具主动生成）
│   ├── constraint_conditioned_synthesis.jsonl#  16  P5（约束敏感谱系）
│   └── evolution_operator_demo.jsonl         #  55  P6-L3（受控演化）
└── audit_only/
    ├── failure_pool.jsonl                    #  13  失败池（仅错误类型，单向反向信号）
    └── p8_arm_b_taxonomy_only.jsonl          # 276  消融对照，**永不进入训练集**
```

每条记录为一行 JSON。公共字段：

| 字段 | 含义 |
|---|---|
| `record_id` | 唯一标识 |
| `quality_tier` | 质量层（由本数据集附加，标明所属发布分层） |
| `layer` / `schema_version` | 任务层与 schema 版本 |
| `provenance.origin_phase` | 来源阶段（`phase1_5` / `phase2_5` / `mixed_phase1_5_phase2_5`） |
| `provenance.generator` / `inputs` | 生成脚本与输入清单（可追溯） |
| `verifier_v` | 确定性验收结论（规则 / 工具 / 边界陪审 / `overall_pass`） |
| `release_boundary` | 发布边界（候选 / 是否允许强事实或训练释放） |

家族特有字段（L4 谱系、L5 工具、P3 风险层、P4 工具调用、P5 约束契约、P6 证据池/swap）详见技术报告附录 B；10 条完整带中文注释的样例见报告附录 A。

## 5. 构造方法（摘要）

数据按四个 stage 累计构造：

1. **解析（Stage 1）** —— MinerU 作为感知层，把源 PDF 解析为带 `page_idx`/`bbox`/块类型的证据图。
2. **治理（Stage 2）** —— 七轴技术规范化 + 跨文档一致性审计 + 实体归因安全闸。
3. **合成（Stage 3）** —— 四类契约算子：证据风险分层、物理工具主动生成、约束敏感谱系、受控演化。每条记录附自己的 Skill 与 Harness 契约。
4. **评测（Stage 4）** —— 九维确定性评测（零 LLM，可第三方复算）+ 失败池（仅错误类型，不泄漏 holdout）。

辅以 SHCDP 消融实验（数据层）验证契约本身的因果作用。详见技术报告 §2–§5。

## 6. 质量评估

- **构建时确定性验收**：每条记录通过 schema 闸 + 规则闸 + 工具/证据闸 + 单次合同修复；最终接受由确定性谓词 `V` 判定。
- **九维评测**：physics_numeric 329/329、calibration 156/156、leakage 0/46、abstention 94.2%、aspect 89.2%、evidence 86.7%、technology_axis 35.0%（engineering-axis F1）。
- **30 锚点人工证据门**：AI 辅助人工复核，准确率 80% lenient / 76% strict（未达 95% 目标，已诚实声明）。
- **消融**：5/9 维显著优于仅分类法对照，0 维劣于（Fisher α=0.05）。

## 7. 使用方式与应用场景

- **监督微调**：以证据接地、工具适用性、弃答、约束遵循为目标的能力训练。
- **评测基准**：九维确定性评测脚本可作为窄域能力诊断套件（位于代码仓 `scripts/phase2_5/stage4_evaluate/`）。
- **方法研究**：四态数据流（原始 → 解析 → 治理 → 合成）与消融协议可复用于其他科学窄域。

应用场景：航天工程问答、技术演化预测、证据可回溯的科学助手。

`audit_only/` 内容仅用于诊断与对照实验，**不得加入训练或评测的主结果**。

## 8. 合规、安全与伦理

- **不含个人身份信息（PII）**——源数据均为已发表科学文献。
- **不生成虚假科学数据**：物理数值由确定性工具重算产生，标注为工程模型参考值，不冒充实验或 CFD 真值；文本数值锚定源文档；证据不足时强制弃答。
- **不伪造实验结果**：评测纯确定性、可第三方复算；消融报告原始 p 值（多重比较未校正，已声明）。
- **反事实样本明确标记**：受控演化与约束谱系产物均用确定性中性标识（CF-…）替代真实型号名，并对被掩蔽的真实后继做泄漏扫描；不得当作真实历史使用。
- **失败池不泄漏 holdout**：仅回传错误类型与处置建议，不含标准答案与题面。

### 双重用途声明（Dual-use Statement）

本数据集衍生自已公开发表的航天科学与工程文献，覆盖气动、热防护、谱系演化等公开研究内容，**不含武器化设计、敏感型号制造工艺或非公开技术参数**。所用工程模型（如 isa_atmosphere、fay_riddell 等）为公开教学/科研近似式，非武器系统建模。本数据集仅服务科学研究与教育目的；二次使用方应继续遵守源数据各自的许可与所在司法辖区的出口管制规定。

## 9. 局限

- 仅覆盖 RLV 一个科学窄域；L2 / L3 demo 规模；30 锚点人工门 76–80% 未达 95% 目标；calibration 为 proxy；泄漏审计仅子串匹配。**模型层效果未直接验证**（消融为数据质量层面）。详见技术报告 §8。

## 10. 引用与维护

如使用本数据集，请引用：

```bibtex
@dataset{aero_scievo_rlv_pilot_2026,
  title  = {Aero-SciEvo-RLV-Pilot: A Skill–Harness Contract-Coupled
            Dataset for Scientific Evolution in Reusable Launch Vehicles},
  year   = {2026},
  url    = {<DATASET_URL>},
  note   = {Method: SHCDP. See accompanying technical report.}
}
```

**维护**：项目组将根据社区反馈与后续 Phase 3.0 训练实验更新版本；新版本于 `CHANGELOG.md` 公告。问题反馈请提交至代码仓 Issues。