欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Simulation
来自开放百科 - 灰狐
（版本间的差异）
小 (→项目) |
小 |
||
| 第8行： | 第8行： | ||
==项目== | ==项目== | ||
| + | [[文件:Modelica-Association-logo.png|right|Modelica Association]] | ||
| + | *[https://modelica.org/ Modelica Association] | ||
*[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] | ||
| 第15行： | 第17行： | ||
==图集== | ==图集== | ||
<gallery> | <gallery> | ||
| + | image:Modelica-Association-Projects.png|Modelica Association | ||
image:CMB-overview.jpg|CMB | image:CMB-overview.jpg|CMB | ||
image:SMTK-CMB.png|SMTK | image:SMTK-CMB.png|SMTK | ||
| 第22行： | 第25行： | ||
[[category:simulation]] | [[category:simulation]] | ||
| + | [[category:model]] | ||
[[category:robot]] | [[category:robot]] | ||
2022年11月29日 (二) 09:28的版本
Simulation
目录 |
简介
功能
指南
项目
- Modelica Association
- RobWork is a collection of C++ libraries for simulation and control of robot systems.
- Geant4 Simulation Toolkit
- Computational Model Builder (CMB) Simulation Modeling Toolkit
- NetLogo
图集
Modelica Association
CMB
SMTK
链接
分享您的观点
