计算机辅助设计CAD/CAM

Coq 是一款交互式证明辅助工具，采用OCaml开发。Coq提供一套证明系统，可以编写证明，检查证明。Coq也提供一套形式化语言，可编写数学算法、定义、定理。Coq也可以用于程序的正确性证明（比...

ImplicitCAD 是一个开源的可编程的 CAD 软件。采用 Haskell 语言开发。 示例代码： /* This creates a twisted extrusion of 5 u...

LeoCAD是一个用于创建虚拟乐高模型的CAD程序。它是可用的或者在GNU公共许可下自由运行在Windows上，Linux上还有Mac OSX操作系统。 它可以用于创建多步骤的构建指令： 您可以...

1、PDF等文档处理，如批量按一定规律合并、分类等等 2、CAD\ARCGISpro\CASS等二次开发 3、各种测绘数据处理，主要解决商业软件未考虑到的细节问题，主打一个利用现有软件，解决重复低效劳动

对灌木、乔木、地被等图例进行标注。有分组标注、局部标注和单个标注等标注方式。系统另外提供标注对齐、靠近处理、相关图层开关及标注完整检查等功能。系统提供是否进行同名连接等选项设置。 绿化选项：绿化标注等相关选项设置； 局部标注：选择若干图例，对所选择的图例认为是一个图例组团，然后按选择的布局方式进行标注； 分组标注：选择全部或大量图例，系统先进行分组，然后按最优布局或指定布局进行各个组团标注； 单个标注：进行一个标注，（支持选择多个同名图例）； 靠近处理：使得标注紧挨图例，用于标注文本位置调整； 对齐标注：使得标注左右对齐，可以对齐一个点也可以对齐其他标注； 标注检查：检查图例和标注是否对应，是否存在没有标注的图例，是否存在多余的标注； 删除标注：删除当前植物类型所选择的图形，包括标注图块、同名图例连接线和连接点； 图层开关：针对当前植物类型操作相关图层的开关，以方便进行标注操作；

Freedomotic 是一个开放的、灵活的、可伸缩的和面向混搭的软件，支持众所周知的标准建筑自动化协议以及与装修设计DIY的解决方案。

1.确保机械设备的刚度、强度和稳定性，使其适应各种工作条件下的要求 2.保机械设备的刚度、强度和稳定性，使其适应各种工作条件下的要求

revit插件 针对房间装修，使用wpf和revitAPI创建一系列插件，完成房间装饰的创建，地板的零件分割，图纸和施工图创建，添加自动标注和标记，完成对施工材料墙和板的算量计算

用于工程设计数值模拟（CAE）的计算机辅助设计 CAD 模型并行预处理器（parallel-preprocessor）软件框架，针对科研，航空航天领域的超大规模产品整体模型（一万个零件以上的装备...

CAELinux是一款致力于计算机辅助分析应用的linux操作系统平台，该平台基于PCLinuxOS操作系统，集成了一系列工程计算方面的开源软件，用于进行计算机辅助建模、分析模拟、设计和后处理。...

包含GUI、有限元库、3D渲染引擎，GUI采用qt，有限元库使用C++开发，3D渲染采用vtk和opengl开发，支持多线程运行，支持windows和linux平台。

给水标注，即对给水管线段标注管径、流向和长度；本功能可以根据约定规则自动计算给水管的管径及管长，并按流向绘制箭头； 本功能支持： 1. 识别同段给水管断开的情况； 2. 排除两管交错的情况； 3. 多水源（即多个水表井或多条入水线）； 4. 环状给水管标注（将设定主管等级）； 备注1：默认的，环状连接给水管标注不绘制箭头，非环状连接给水管绘制箭头; 备注2：本功能提供根据给水管承载的给水栓数量或根据承载的喷头或根据后接的管径共三种方法计算给水管径；

JMCAD是一个理想的个人使用的编程工具，设计了一个自定义的用户界面，使用各种PCI总线和基于USB的数据采集硬件。您可以使用JMCAD创造一个功能齐全的测量与分析的应用和用户界面，定制使用各种...

插入表示绿化植物图例的图块，包括乔木、灌木、地被、竹子等图例的图块；本命令同时提供了沿曲线阵列图例图块的功能，可以沿曲线按一定的间隔阵列选定图例图块，并允许设定图块偏移曲线的距离； 本功能会从苗木清单文件读入各类植物的详细属性并将设置到绿化图例图块里面； 本可能支持把约定格式的苗木表数据当作苗木清单从Excel文件导入或粘贴进来； 本功能提供植物名称搜索功能，可以根据名称关键字搜索当前苗木清单文件及全部苗木清单文件的植物，允许进行或和与组合条件搜索；另外也可以根据植物的胸径、高度、冠幅、分枝点、密度和树型、类型等数据进行搜索； 本功能可以对植物进行花境和清理的分类； 本功能可以批量插入图例；

XTrackCAD是用于铁路布局模型设计的计算机辅助设计程序。

1、【100%】频率提取算法研究 2、【100%】UI界面的搭建 3、通过该项目实现了制动盘产品固有频率的自动提取功能，加快了产品开发速率。

vb for AutoCAD实现读取高程文件，自动绘制TIN三角网、泰森多边形，并绘制出对于的DEM图形。数字高程模型生成。加权法插值计算。

苗木表，又称苗木统计表，是园林植物施工图的重要组成部分。苗木表中含有苗木品种，苗木规格，如高度，冠幅，胸径，地径等指标；密度，数量等数据，是园林工程报价的重要依据，是指导园林施工的量化图纸。本文使用【苗木表】特指苗木表功能。 苗木表功能的作用是制作苗木表及制作苗木变更表，提供简便的苗木表编辑方法；本功能同时具备将苗木表中图例项的规格属性同步到图纸同名图例的功能。 为简便的制作苗木表，本功能提供一下辅助功能； 1. 通过选择绿化图例图块自动生成苗木表； 2. 通过选择已有苗木表制作苗木变更表； 3. 提供苗木表山水比德自动排序方法及其他排序方法； 4. 提供对话框预览苗木表及排序操作及增删改操作； 5. 提供对话框苗木表与Excel苗木表之间的互导以及复制粘贴； 6. 提供合并苗木表的方法； 7. 本功能支持使用指定图框并苗木表在图框内居中； 8. 本功能涵盖花境和清理的相关处理；

1.本软件系统用于泥水平衡盾构工程泥浆处理领域，。该系统结合了盾构施工技术、泥水处理技术和计算机仿真技术，用于在盾构施工过程中对泥水处理流程进行模拟、优化和控制。建立泥水处理系统的分离设备、调浆设备、制浆设备、废浆处理设备与泥浆固液相之间的函数关系，进而模拟在各种地质条件下泥水处理系统的运行，预测泥水处理系统的性能表现，评估泥水处理系统的施工安全性、环境适应性、性能符合性，验证设计方案的可行性。 2.本软件系统界面、编程、业务逻辑由本人独立完成，已申请国家发明专利和软件著作权

DraftSight是免费2D CAD软件，可用于Windows®和Mac®，向专业CAD用户以及学生和教师提供创建、编辑和观看DWG文件更佳途径，是2D CAD的最佳选择！