排序
JMCAD 动态系统建模工具
JMCAD是一个理想的个人使用的编程工具,设计了一个自定义的用户界面,使用各种PCI总线和基于USB的数据采集硬件。您可以使用JMCAD创造一个功能齐全的测量与分析的应用和用户界面,定制使用各种PC...
Coq 证明辅助工具
Coq 是一款交互式证明辅助工具,采用OCaml开发。Coq提供一套证明系统,可以编写证明,检查证明。Coq也提供一套形式化语言,可编写数学算法、定义、定理。Coq也可以用于程序的正确性证明(比如操...
BRL-CAD 计算机辅助设计系统
BRL-CAD 是一个构造实体几何(CSG) 实体模型计算机辅助设计(CAD) 系统。BRL-CAD 包括一个交互式的几何编辑器,光学跟踪支持图形着色和几何分析,计算机网络分布式帧缓存支持,图像处理和信号处理...
ImplicitCAD 可编程的 CAD 软件
ImplicitCAD 是一个开源的可编程的 CAD 软件。采用 Haskell 语言开发。 示例代码: /* This creates a twisted extrusion of 5 unioned circles ...
Gmsh 三维有限元网格生成器
Gmsh是一个自动的三维有限元网格生成带有内置在CAD和后期处理器。其设计的目标是要提供一个简单的啮合工具学术问题与参数的投入和先进的可视化能力。 gmsh是围绕四个单元:几何,网格,求解和后...
SuperCxHMI 组态软件开发平台
SuperCx 是面向过程监控与工业自动化的 HMI/SCADA 软件开发平台(俗称组态软件),运行于Windows系统上,可以广泛应用于需要数据采集、对象控制、过程监视与控制等的各种应用中,如:石油、化工...
CADDD 三维CAD系统
CADDD (the three D\'s represent 3D) 是一个三维的跨平台支持的 CAD 系统。 基于以下库开发: Python 2.6.5 (Programming Language) OpenCASCADE 6.3 (Modelling/Visualization) PYTHONOCC 0.4...
BlocksCAD 计算机辅助设计软件
BlocksCAD 是来自 H3XL 公司的一个开源的 CAD 计算机辅助设计软件。BlocksCAD 是基于 Node.js 开发,使用浏览器进行访问。需要本地 HTTP 服务来使用:cd /path/to/mydir-with-index.html-i...
gCAD3D 三维的 CAD/CAM 程序
gCAD3D 是个三维的 CAD/CAM 程序,内置一个三维的 OpenGL 的浏览器。包含: 导入和导出程序(Step, Iges, VRML, DXF, SVG ...)。 集成的3D-OpenGL查看器。 三维几何和数控命令的程序解释器。 ...