欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Simulation
来自开放百科 - 灰狐
(版本间的差异)
小 (→项目) |
小 |
||
第10行: | 第10行: | ||
*[https://www.robwork.dk/ RobWork] is a collection of C++ libraries for simulation and control of [[robot]] systems. | *[https://www.robwork.dk/ RobWork] is a collection of C++ libraries for simulation and control of [[robot]] systems. | ||
*[https://geant4.web.cern.ch/ Geant4 Simulation Toolkit] | *[https://geant4.web.cern.ch/ Geant4 Simulation Toolkit] | ||
+ | *[https://www.computationalmodelbuilder.org/ Computational Model Builder (CMB)] [https://www.computationalmodelbuilder.org/smtk/ Simulation Modeling Toolkit] | ||
==图集== | ==图集== | ||
+ | <gallery> | ||
+ | image:CMB-overview.jpg|CMB | ||
+ | image:SMTK-CMB.png|SMTK | ||
+ | </gallery> | ||
==链接== | ==链接== |
2022年7月29日 (五) 03:25的版本
Simulation
目录 |
简介
功能
指南
项目
- RobWork is a collection of C++ libraries for simulation and control of robot systems.
- Geant4 Simulation Toolkit
- Computational Model Builder (CMB) Simulation Modeling Toolkit
图集
链接
分享您的观点