提出人机协同、物理约束多代理工作流，实现从理论建模、离散化、编码到验证全过程可审计的科学建模