武汉大学北太天元数值计算通用软件单一来源方式
采购征求意见公示
武汉大学湖北国家应用数学中心拟采购北太天元数值计算通用软件V4.0，用户单位申请单一来源方式采购，现予以公示。
一、 采购内容：
北太天元数值计算通用软件V4.0应用、开发及相关服务
二、采购要求
1. 主要功能
1）北太天元通用科学计算平台（GUI）
IDE：提供脚本编辑与代码调试环境、支持m脚本编写文件执行和命令行脚本执行
支持数据类型：
o浮点数（稠密/稀疏、实数/复数）：single, double
o有符号整数：int8, int16, int32, int64
o无符号整数：uint8, uint16, uint32, uint64
o逻辑值（稠密/稀疏）：logical
o字符：char
o字符串：string
o日期时间：datetime, duration, calendarDuration
o表：table
o结构体：struct
o元胞数组：cell
o函数句柄：function_handle
o自定义类型（使用 classdef）
图形函数：
o支持42种绘图类型
o67个函数支持自定义绘图外观
数学函数
o173个初等数学函数
o76个计算几何学函数
o71个线性代数函数
o50个稀疏矩阵函数
o42个数值积分和微分方程函数
o18个傅里叶分析和滤波函数
o12个插值函数
o6个优化函数
o5个随机数生成函数
外部文件导入导出支持：
oMATLAB格式化数据（MAT文件）
o文本文件（.csv和.txt文件)
o电子表格（.xls和.xlsx文件)
外部编程语言支持：C/C++
2）北太真元系统仿真平台
基础元件库
o连续（continuous）：12个基础计算单元
o非连续（discontinuous）：14个基础计算单元
o离散（discretes）：20个基础计算单元
o逻辑运算（logicOperations）：17个基础计算单元
o数学（math）：34个基础计算单元
o插值运算（lookupTables）：13个基础计算单元
o模型验证（Model Verification）：10个基础计算单元
o信号分配（signalAttributes）：16个基础计算单元
o信号路由（signalRouting）：11个基础计算单元
o输入（inputs）：25个基础计算单元
o输出（outputs）：12个基础计算单元
o子系统（subsystems）：2个基础计算单元
o自定义（userDefinedFuncs）：1个基础计算单元
图形编辑器：提供图形化系统建模能力
ODE求解器（22个）
o定步长求解器：ode1、ode2、ode3、ode4、ode5、ode6、ode7、ode8、ode9、离散求解器o变步长求解器：ode45、ode23、ode34、ode56、ode67、ode113、ode78、ode89、ode15s、ode23tb、ode23t、ode23s行业模块库
o汽车制造
AUTOSAR：AUTOSAR模块库目前包含5个模块，提供用于开发AUTOSAR Classic和Adaptive软件的应用程序和模块使用模型。该模块库通过导入软件组件和组合来为 AUTOSAR 生成新的模型 AUTOSAR XML （ARXML） 文件中的描述。
动力系统：21个行业计算单元
车辆动力：26个行业计算单元
FMU：1个行业计算单元
o航空航天
Aerospace Toolbox目前包含73个模块。
o军工行业
控制系统：8个行业计算单元
3）工具箱
优化工具箱
o该工具箱提供一系列的函数和求解器，用于求解在一定约束条件下的最大值或最小值。本工具箱提供线性规划、混合整数线性规划、二次规划、锥规划、非线性优化等求解器，支持求解最小二乘、非线性方程组等问题。
o函数21个
全局优化工具箱
o该工具箱为包含多个最大值或最小值的全局问题提供了一系列解决方案，包括代理优化、直接搜索、粒子群算法、模拟退火、遗传算法等，可以求解连续的、不连续的、随机的函数的优化问题，也可以进行多目标优化。
o函数8个
统计工具箱
o该工具箱为数据描述、数据分析、数据建模提供了一系列的函数。包括数据导入和导出、描述性统计量分析、数据可视化、概率分布拟合、假设检验等，支持连续分布、离散分布和多元分布。
o函数275个
偏微分方程工具箱
o偏微分方程工具箱提供了偏微分方程的有限差分法求解方案，可以求解常见的偏微分方程。提供了常见微分方程求解问题的快速构建方案，包括波动方程、泊松方程、传热方程、对流方程等
o函数30个
信号处理工具箱
o信号处理工具箱集信号生成、滤波、变换、分析和可视化于一体，可以支持完整的信号处理工作流。它提供丰富的算法和函数，为用户应对各类信号处理任务提供支持。
o函数189个
数字图像处理工具箱
o图像处理工具箱用于图像处理、可视化和分析，支持图像读写和转换、图像显示、几何变换和配准、图像滤波和增强、图像分割与分析、特征检测和提取等功能。
o函数165个
控制系统工具箱
o用于控制系统的分析、设计与优化。可以进行系统表示、稳定性分析和矩阵运算。
o函数14个
曲线拟合工具箱
o提供了一系列用于样条曲线拟合的函数，包括 pp 格式形式与 B 格式 的样条函数的生成与后处理操作。
o函数10个
2. 关键技术参数
1）计算效率：软件核心功能的运算效率(加减乘除四则运算、矩阵分解、左除、右除运算)在同等算力环境下不低于MATLAB及Simulink(R2022b版)的80%；
2）计算精度：软件关键仿真模型的计算精度在同等环境下达到MATLAB及Simulink(R2022b版)同等精度；模型仿真精度达到 95%以上。
3）计算能力：16G内存的电脑/服务器支持40000×40000的稠密矩阵及千万非零元的稀疏矩阵分解、降维计算等功能；
4）可靠性：软件可实现7*24小时连续安全运行；
5）易用性：提供图形化表达界面，详细的帮助文档，帮助文档对总体界面功能项的覆盖率不低于90%；
6）开放性：软件应有丰富的二次开发接口，能覆盖主要功能项；支持与常用科学计算库的集成能力（如LAPACK、BLAS等）；支持用户对软件界面进行个性化配置，自定义界面风格等；
7）兼容性：兼容Windows10/11操作系统;兼容Linux Ubuntu20、Ubuntu22操作系统；兼容国产操作系统（统信UOS、deepin20版本）；MacOS版本；
8）代码兼容性：支持兼容M脚本语法（计算符、循环/条件、函数、类）；
9）模型兼容性：兼容Simulink仿真模型文件（slx、mdl）；
10）软件自主可控：软件底层自主可控，不依赖开源代码或框架；
13）建模扩展性：仿真软件支持自定义模型和算法；
14）仿真求解器能力：支持定步长求解器和变步长求解器，同时支持定步长求解器自动和手动配置步长。
三、采用单一来源采购方式的原因及相关说明
目前，MATLAB已对国内部分高校启动了禁令，这不仅影响了科研工作的连续性，也对国家安全构成潜在风险，寻找优秀且安全、国产自主可控、非开源计算内核的国产替代软件成为迫切需求。经市场调研，在国产数值计算通用软件领域，现仅有北太振寰（重庆）科技有限公司公司出品的北太天元数值计算通用软件V4.0是唯一能够满足技术需求和性能指标的产品，满足性能包括但不限于以下：满足能够完全兼容现有计算任务、具备高性能计算能力、支持并行计算和多线程处理等技术需求，同时完全国产自主研发、技术自主可控、极大减少对外部技术的依赖，能够提供数值计算精度、丰富的数学函数库和工具箱、具备良好的用户界面和操作体验等。
因此，拟以单一来源方式从北太振寰（重庆）科技有限公司公司采购北太天元数值计算通用软件V4.0应用、开发及相关服务
四、拟定的唯一供应商名称、地址
供 应 商： 北太振寰（重庆）科技有限公司
地 址： 重庆市高新区含谷镇科翔路3号6幢
联 系 人： 梁磊
联系电话： 18066867960
电子邮件： lianglei@baltamatica.com
五、公示期：从2024年9月14日至2024年9月24日止
如有其它潜在供应商对本项目采用单一来源方式采购有异议，应在公示期内以书面形式以实名（盖单位公章、包括联系人、地址、联系电话）将意见反馈至武汉大学采购与招投标管理中心。
项目经办人：赵老师 电话：027-68754597
技术负责人：向导 电话：15000800944
地址：湖北省武汉市武昌区八一路299号邮编：430072
武汉大学采购与招投标管理中心
2024年9月13日
