1. 系统数字化设计、开发与运营 在美团无人机的实践与思考

2. 现代系统工程的挑战 Challenges in Modern System Engineering

3. 挑战一：技术路径选择的模糊性 Source: Parnell, Gregory & West, Paul. (2008). KR23 Value-Focused Systems Decision Making. INCOSE International Symposium. 18. 1685-1699. 10.1002/j.2334-5837.2008.tb00909.x.

4. 挑战二：系统设计的复杂性 Trend of Increasing System Complexity Federated vs. Integrated Architecture Source: Hick, Hannes & Bajzek, Matthias & Faustmann, Clemens. (2019). Definition of a system model for model-based development. SN Applied Sciences. 1. 10.1007/s42452-019-1069-0. Source: Watkins, C.B.. “Integrated Modular Avionics: Managing the Allocation of Shared Intersystem Resources.” 2006 ieee/aiaa 25TH Digital Avionics Systems Conference (2006): 1-12.

5. 挑战三：真实运营环境中的鲁棒性 Sim2Real 原理简单，但是实践复杂

6. 基于数字化技术的系统工程 Digital System Engineering

7. 基于跨尺度仿真的快速设计迭代降低路径选择的模糊性 来自SpaceX的例子

8. 基于自动形式化验证技术管理系统复杂性 Source: Huynh, Tri & Gambi, Alessio & Fraser, Gordon. (2019). AC3R: Automatically Reconstructing Car Crashes from Police Reports. 31-34. 10.1109/ICSE- Companion.2019.00031.

9. 数据合成+Sim2Real技术提升系统鲁棒性 来自Everyday Robotics的例子 Domain Adaptation + Domain Randomization 大幅度提高视觉抓取系统鲁棒性 Source： https://everydayrobots.com/thinking/shortening-the-sim-to-real-gap

10. 美团无人机的数字化系统工程进展 Latest Development of Meituan UAV Digital Engineering

11. 基于跨尺度宏观仿真对系统设计方向进行量化论证 • 业务仿真保证业务执行能力与业务宏观指标一致，并对业务关键流程进行识别 • 流程仿真保证系统特性符合关键业务流程的能力要求，并对系统设计的关键指标进行识别和量化 • 系统仿真保证系统关键指标与设计要求保持一致 业务宏观指标 业务仿真 执行能力量化 关键流程 流程仿真 系统特性量化 关键指标 系统仿真 跨尺度仿真论证体系

12. 调度与规划系统自动形式化验证 • 400架仿真无人机同时飞行 • 每轮测试30万架次，约2万个自动生成的测试场景组合 自动形式化验证系统架构 规划系统自动形式化验证

13. 数据合成技术扩展机载AI测试边界 • 100万种建筑物 • 50万种障碍物 • 26种天气 复杂阴影和光照合成数据 复杂城市环境合成数据

14. 内容小结 • 现代系统工程的主要挑战：模糊性、复杂性、鲁棒性 • 数字化系统工程三板斧： 跨尺度仿真、形式化验证、数据合成

15. 多算勝，少算不勝，而況於無算乎 《孙子兵法》

16. 合抱之木，生于毫末；九层之台，起于垒土 《道德经》 关注「美团技术团队」公众号 清华-美团低空经济挑战赛

17. Q&A

18. 加入美团 扫码查看 美团无人机社招岗位 扫码查看 美团无人机校招岗位