用于验证DART 3D场景和物理仿真的正确性。通过文本指标（能量、碰撞等）为主，渲染图像为辅的方式，检测动力学缺陷、几何穿透等问题，支持无GUI环境下的调试与基准测试。
生成GNSS基带波形（GPS/Galileo/NavIC），支持物理场景或自定义信道损伤，用于接收机测试与仿真。
用于读取和提取Abaqus ODB文件中的分析结果，如最大应力、位移、反作用力等。支持按步骤、帧、位置筛选数据，并导出为CSV或文本报告。
用于在模拟环境中测试物体导电性。通过构建包含电池、灯泡和导线的电路，观察灯泡亮灭来判断物体是否导电，并据此将物体分类放入对应颜色的盒子中。
提供形式化验证工具，用于检查Lean 4类型、验证Coq定理及使用Z3求解SMT问题。通过本地调用证明器辅助数学证明与逻辑可满足性分析。
- «
- 1
- »
