用于验证DART 3D场景和物理仿真的正确性。通过文本指标(能量、碰撞等)为主,渲染图像为辅的方式,检测动力学缺陷、几何穿透等问题,支持无GUI环境下的调试与基准测试。
1 skills
GitHub
1,159
用于MATLAB可靠性分析的Skill,支持加速寿命模型拟合、失效数据分布拟合(如Weibull)、MTTF/B10计算、生存函数及Kaplan-Meier曲线绘制等。
3 skills
GitHub
1,237
用于 CalculiX 模态分析工作流,提取固有频率和振型。支持通过 MCP 工具提交求解、读取结果表及导出特定振型至浏览器可视化,适用于共振检查与自由振动特征值分析。
2 skills
GitHub
1,083
用于监控加热或反应过程中装置及物质状态变化的技能,通过周期性观察判断相变进度。
1 skills
GitHub
1,415
提供形式化验证工具,用于通过 Lean4、Coq 和 Z3 检查定理证明正确性、验证数学证明及求解可满足性问题。
1 skills
GitHub
780
  • «
  • 1
  • »

trang chủ - Wiki
Copyright © 2011-2026 iteam. Current version is 2.155.2. UTC+08:00, 2026-11-02 20:47
浙ICP备14020137号-1