大数据/BI/AI

Magma是一款由悉尼大学数学与统计学系计算代数学小组开发的功能强大的代数计算程序包，该软件专门解决代数系统中的数论、代数几何和代数组合学的计算问题。它提供了用户自定义或直接利用诸如群，环，域，模块，代数，计划，曲线，图表，设计，编码和其他

数据包络分析(Data Envelopment Analysis，DEA)是一种非参数技术效率分析方法

NVivo是一款功能强大、易于操作的定性分析软件。QSR国际的软件帮助个人和组织轻松探索和管理文档、PDF、视频、调查、照片和音频文件中的信息。

DEA-solver近年来已经有很多使用数据包络分析(Data Envelopment Analysis, DEA)来评估许多不同种类实体效益的多种应用,在很多不同背景的国家中从事不同的活动。一个原因是，因为经常有未知的复杂因素,很多活动牵

PHA-Pro是最受认可和看重的PHA和HAZOP工具，帮助组织轻松，彻底地实施风险研究。

Salford Predictive Modeler® (SPM) 软件套件是高度准确的超快平台，可用于开发预测性、描述性和分析模型。

Mathematica 在其三十年的开发历程中，在技术计算领域确立了最先进的技术，并为全球技术创新人员、教育工作者、学生和其他人士提供了最主要的计算环境Mathematica 以卓越的技术和简便的使用方法享誉全球，在此基础上，它提供了单个集

IBM® SPSS® Statistics 是强大的统计软件平台。 它可提供用户友好型界面和强大的功能集，让您的组织能够快速从数据中提取切实可行的洞察。 高级统计程序有助于确保高准确度且高质量的决策制定。 包含分析生命周期从数据准备和管理到

Simulink 是一个面向多域仿真并和基于模型设计的框模块图环境。它支持系统级设计、仿真、自动代码生成以及嵌入式系统的连续测试和验证。Simulink 提供有图形编辑器、可自定义的定制模块库以及和求解器，能够进行动态系统建模和仿真。

CitectSCADA是一个基于Windows操作系统的上位机组态软件，具有极强的开放性和扩展性，专门用于工业自动化控制领域的SCADA系统集成。无论您需要的是一个基于单个生产工艺的现场设备监控还是面对整个企业全部生产流程的大型网络监控

Tableau是桌面系统中最简单的商业智能工具软件，用户只需要简单配置，拖拖拽拽，就可以做出数据分析。Tableau的理念是，界面上的数据越容易操作，公司对自己在所在业务领域里的所作所为到底是正确还是错误，就能了解的越透彻。

Mathcad是美国PTC公司旗下的一款工程计算软件，作为工程计算的全球标准，与专有的计算工具和电子表格不同，Mathcad 允许工程师利用详尽的应用数学函数和动态、可感知单位的计算来同时设计和记录工程计算。独特的可视化格式和便笺式界面将直

有人或无人自动化？ 使用UiPath，您不必选择。 业界全面的机器人专门从事人力和机器人领导的自动化设计。 有人参与的自动化 Robot会与人类在需要人工干预的业务活动中进行合作。它在工作站上，由直接命令或特定工作流程事件

UiPath Business Automation Platform涵盖了您在旅程的每个步骤中的自动化需求。

桥涵水文计算在桥梁设计中占有重要的作用，无论是大中桥还是小桥涵都需要进行水文计算。但是桥涵水文计算中要采用大量的数据和公式，计算相当繁琐，设计中往往要花费大量的时间。西安方舟公司根据这些特点，经过细心筹备，精心开发，全面测试，完成了“方舟桥

Stata是一套提供其使用者数据分析、数据管理以及绘制专业图表的完整及整合性统计软件。Stata期刊是一个季度出版包含文章统计,数据分析,教学方法,有效地使用Stata的语言。

创影数字人为中科硅基推出的数字人AIGC生产、管理和交易服务平台，创始团队来自清华大学、香港中文大学等知名院校，在互联网、金融、医疗、IT等领域积累了丰富的行业经验，致力于打造全球领先的AIGC数智人智造平台。通过云计算、实时交互、人工智能

提供基于准确的数值天气预报 (NWP) 模型和卫星到辐照度模型的预报。准确的预测与15年以上的太阳能建模经验相结合，

The Unscrambler是一款完整的多变量数据分析和实验设计软件，包含功能强大的方法，如PCA,多变量曲线分辨工具（MCR）、PLS回归、3-Way PLS回归、聚类(K-Means)、SIMCA和PLADA 分类等。

我们的RISK SIMULATOR软件将帮助你识别、量化、并对项目和决策中的风险进行评估。 RISK SIMULATOR是一个功能强大嵌于Excel的软件，可用于对现有的Excel电子表格模型进行仿真、预测、统计分析和优化。