NASOQ 高速 QP 求解器
NASOQ 是一种可扩展且高效的二次规划求解器，可以获得所需精度的解。 安装 库要求 MKL Pardiso 或 OpenBlas (BLAS)、OpenMP 和 METIS。Cmake 处理 METIS。如果将 OpenBlas 安装在其默认位置 (su...
GAP system 离散代数开发库
GAP 是 Groups、Algorithms、 Programming 的首字母简称，是一个计算离散代数的系统，特别强调计算群理论，主要用于研究组及其表示、环、向量空间、代数、组合结构等。 GAP 开发库提...
Dentaku 数学和逻辑公式解析器
Dentaku 是一种数学和逻辑公式语言的解析器和评估器，它允许在运行时将值绑定到公式中引用的变量。它旨在在不打开安全漏洞的情况下安全地评估不受信任的表达式。 例子 这可能是最简单的用代码来...
CaNS 求解不可压缩牛顿流体的流动
CaNS（Canonical Navier-Stokes）是一个用于流体流动的大规模并行数值模拟的代码。它的目标是解决任何不可压缩的牛顿流体的流动，这些流体可以从三维笛卡尔网格中基于 FFT 的二阶有限差分泊松方...
COOLFluiD 面向对象 HPC 平台
COOLFluiD (Computational Object-Oriented Libraries for Fluid Dynamics) 是一个为多物理场应用构建数值求解器的框架。 特性： 允许你使用任意数据结构构建自定义的并行 PDE 和粒子求解...
SALOME 大型数值模拟平台
SALOME 根据 LGPL 许可分发，为数值模拟的前处理和后处理提供了一个通用平台，可对各个领域的物理过程进行建模和仿真，以及处理多物理场和参数研究等大型数值模拟。 它包括参数化 CAD 建模器、...
OpenTURNS 不确定性数据处理
OpenTURNS 是一个 C++ 和 Python 库，内置专用于处理不确定性数据的模型和算法。该库的主要目标是提供处理工业应用研究中的不确定性所需的所有功能。官方表示，该软件的目标用户是所有希望在迄...
OpenPLC 标准化开源 PLC
OpenPLC 是一个功能齐全的标准化开源 PLC，无论是软件还是硬件，其诞生之初的重点是为自动化和相关研究提供低成本的工业解决方案，现被广泛用于工业网络安全研究的框架。 OpenPLC 由三部分组成...
Beremiz PLC 集成开发环境
Beremiz 是一个用于机械自动化的 PLC 集成开发环境（IDE），符合 IEC61131-3 编程语言标准，可将任何处理器变成 PLC。Beremiz 还包含用于创建 HMI 并将 PLC 程序连接到现有的监控、数据库或现场...
CalculiX 三维结构有限元处理程序
CalculiX 是一个使用有限元法的分析软件，可以构建、计算和后处理有限元模型。前处理器和后处理器是使用 openGL API 的交互式 3D 工具，支持 Nastran、Abaqus、Ansys、ISAAC 和 OpenFOAM 等软件...
Apache PLC4X 工业物联网通用协议适配器
Apache PLC4X 是一个工业物联网通用协议适配器，PLC4X 是一组库，用于使用各种协议与工业可编程逻辑控制器 (PLC) 进行通信，但这些协议具有共享的 API。 工业的可编程逻辑控制器（PLC）大...
enGrid CFD 应用网格生成软件
enGrid 是一款专门针对 CFD（计算流体动力学） 的网格生成软件，使用 GPL 对外发布。它支持用于 Navier-Stokes 模拟，使用 Netgen 库生成四面体网格以及棱柱体边界网格，并具有基于 Qt 的 GUI，...