用于验证DART 3D场景和物理仿真的正确性。通过文本指标(能量、碰撞等)为主,渲染图像为辅的方式,检测动力学缺陷、几何穿透等问题,支持无GUI环境下的调试与基准测试。
1 skills
GitHub
1,159
用于生成GPS、Galileo和NavIC基带GNSS波形,支持物理场景或自定义信道损伤。适用于接收机测试、多卫星信道模拟及端到端GNSS仿真构建。
3 skills
GitHub
1,179
用于 CalculiX 模态分析工作流,提取固有频率和振型。支持通过 MCP 工具提交求解、读取结果表及导出特定振型至浏览器可视化,适用于共振检查与自由振动特征值分析。
2 skills
GitHub
1,083
用于监控加热或反应过程中装置及物质状态变化的技能,通过周期性观察判断相变进度。
1 skills
GitHub
1,415
提供形式化验证工具,用于通过 Lean4、Coq 和 Z3 检查定理证明正确性、验证数学证明及求解可满足性问题。
1 skills
GitHub
780
  • «
  • 1
  • »

Главная - Вики-сайт
Copyright © 2011-2026 iteam. Current version is 2.155.2. UTC+08:00, 2026-10-20 00:45
浙ICP备14020137号-1