提供用于建模和模拟旋转和平移机械系统的组件库。
强大的建模语言和高效的表达方式让 AMPL 成为运筹学建模软件的经典。
破片战斗部威力分析和目标防护软件FI-BLAST是采用北约军工材料数据库和工程算法开发的专用分析软件。从战斗部建模、点火爆炸、破片被爆轰驱动分离、空中飞散、直至击中目标、侵彻目标等完整过程，可以在数分钟时间内一气呵成。
破片战斗部威力分析和目标防护软件FI-BLAST是采用北约军工材料数据库和工程算法开发的专用分析软件。从战斗部建模、点火爆炸、破片被爆轰驱动分离、空中飞散、直至击中目标、侵彻目标等完整过程，可以在数分钟时间内一气呵成。
数据库运维监测平台白羊座Aisc集监控全局预警、故障快速诊断、性能优化共和一键巡检、多维度分析五大功能于一体，通过简单、易用的操作界面，快速获取数据库关键信息，实现对数据库7*24小时不间断监控管理，最大程度保障系统稳定运行，帮助各行业解决数据库运维工作中的痛点。
Maxima 是一款免费、开源的计算机代数系统，它提供了强大的数学符号计算能力。作为一种基于 Lisp 语言的工具，Maxima 能够进行高级的数字计算、数学函数绘图、符号运算、微积分、矩阵计算、概率统计等多样化的数学运算，可以帮助用户完成复杂的数学问题求解和数值计算，并且可以支持 LaTeX 格式的输入输出，方便用户在学术界和工业界中的使用。Maxima 还具有高度可扩展性、快速迭代和广泛应用的特点，是数学爱好者和专业人士的最佳选择。
支持视频智能分析、大数据流处理、函数服务等智能服务，就近提供实时边缘智能服务。提供边缘应用和serverless运行管理环境，简化应用开发、部署，根据业务需要快速部署边缘侧应用。边缘设备安全接入云端平台，应用数据安全上云。开放的数据接入能力，支持各种设备数据录入,支持业界标准接口。
Spartan是计算化学软件,Spartan既可以在单机上完成所有计算任务，同时也支持Client-Serve模式，能够通过网络向Linux服务器远程提交计算.
光学材料价格计算软件
DLink提供多种数据类型的统一存储能力，支持流批一体数据处理、数据分析、数据科学等多工作负载。采用存算分离架构，弹性扩展、高并发、低延时，支持PB级多模数据存储与处理，无缝连接大数据生态，提供一站式数据探索与数据开发能力。 数据入湖 支持多种异构数据以实时或离线批量的方式同步到数据湖，解决了架构复杂度高，数据格式不统一等问题，打通多种业务系统数据，为用户构建数据湖，满足多种数据查询与应用。 即席分析 支持海量数据即席查询，支持多catalog的联邦查询，支持在线编写SQL语句、语法检查、调试和发布部署，并提供线上运维管理能力。整个过程无需复杂编程，大大降低了用户的使用门槛。 统一元数据管理 集成大规模技术元数据管理，表和分区的所有元数据通过统一的元数据访问，并持久化，使用高性能表格管理，可向多计算引擎添加表，单表可达数十PB，保障跨语言和兼容性。 实时计算 提供可视化DLink SQL作业提交和任务管理能力。支持在流上执行类SQL任务，SQL能力至少包括：过滤、转换、基于窗口的计算能力、提供窗口数据的统计能力、关联能力、流数据的拆分与合并。支持多种作业类型：SQL 作业、JAR 作业、ETL 作业等。 湖仓管理 提供湖仓内数据的统一管理，包含过期快照删除、小文件合并、删除过期快照等功能。并基于Ranger实现对数据类资源进行权限控制；支持catalog/database/table/view/function列表级别权限控制。
北京安怀信科技股份有限公司为你提供Sim V&Ver® Math 数学模型仿真验证工具！
Sim V&Ver® MATH 数学模型仿真验证工具
SAS/STAT软件提供了从传统的方差分析和回归分析，到多元统计和贝叶斯分析，满足专业化和企业级的分析需求。
RaptorXMLServer可以让您超级快速地验证、处理、转化和查询巨量数据。
Scientific WorkPlace 6使写作，共享和排版数学和科学文本比你想象的更容易。这是一个易于使用的文字处理器，在同一个环境中集成数学和文本。 Scientific WorkPlace 6中的嵌入式MuPAD5®计算机代数引擎允许用户在屏幕上执行计算，并以正确的格式打印出来。
Scientific WorkPlace 6使写作，共享和排版数学和科学文本比你想象的更容易。这是一个易于使用的文字处理器，在同一个环境中集成数学和文本。 Scientific WorkPlace 6中的嵌入式MuPAD5®计算机代数引擎允许用户在屏幕上执行计算，并以正确的格式打印出来。
GAUSS平台是一个专为数学和统计学设计的交互式环境，30多年来一直被主要机构的数据依赖领域的领导者使用。