数值计算软件有哪些？一款国产软件非常亮眼。

数值计算软件有哪些？一款国产软件非常亮眼。
数学软件由算法标准程序发展而来, 大致形成于70年代初期。随着几大数学软件工程的开展,如美国的NATS工程，人们探索了产生高质量数学软件的方式、方法和技术。

经过长期积累，已有丰富的、涉及广泛数学领域的数学软件。下面给大家介绍几款熟知的数学软件：

1. MATLAB

众所周知，MATLAB是美国MathWorks公司出品的商业数学软件，用于数据分析、无线通信、深度学习、图像处理与计算机视觉、信号处理、量化金融与风险管理、机器人，控制系统等领域。

MATLAB是matrix&laboratory两个词的组合，意为矩阵工厂（矩阵实验室），软件主要面对科学计算、可视化以及交互式程序设计的高科技计算环境。它将数值分析、矩阵计算、科学数据可视化以及非线性动态系统的建模和仿真等诸多强大功能集成在一个易于使用的视窗环境中，为科学研究、工程设计以及必须进行有效数值计算的众多科学领域提供了一种全面的解决方案，并在很大程度上摆脱了传统非交互式程序设计语言（如C、Fortran）的编辑模式。

MATLAB和Mathematica、Maple并称为三大数学软件。它在数学类科技应用软件中在数值计算方面首屈一指。行矩阵运算、绘制函数和数据、实现算法、创建用户界面、连接其他编程语言的程序等。MATLAB的基本数据单位是矩阵，它的指令表达式与数学、工程中常用的形式十分相似，故用MATLAB来解算问题要比用C，FORTRAN等语言完成相同的事情简捷得多，并且MATLAB也吸收了像Maple等软件的优点，使MATLAB成为一个强大的数学软件。在新的版本中也加入了对C，FORTRAN，C++，JAVA的支持。

2. Maple

Maple是目前世界上最为通用的数学和工程计算软件之一，在数学和科学领域享有盛誉，有“数学家的软件”之称。Maple 在全球拥有数百万用户，被广泛地应用于科学、工程和教育等领域，用户渗透超过96%的世界主要高校和研究所，超过81%的世界财富五百强企业。

Maple系统内置高级技术解决建模和仿真中的数学问题，包括世界上最强大的符号计算、无限精度数值计算、创新的互联网连接、强大的4GL语言等，内置超过5000个计算命令，数学和分析功能覆盖几乎所有的数学分支，如微积分、微分方程、特殊函数、线性代数、图像声音处理、统计、动力系统等。

Maple不仅仅提供编程工具，更重要的是提供数学知识。Maple是教授、研究员、科学家、工程师、学生们必备的科学计算工具，从简单的数字计算到高度复杂的非线性问题，Maple都可以帮助您快速、高效地解决问题。用户通过Maple产品可以在单一的环境中完成多领域物理系统建模和仿真、符号计算、数值计算、程序设计、技术文件、报告演示、算法开发、外部程序连接等功能，满足各个层次用户的需要，从高中学生到高级研究人员。

3. Mathematica

Mathematica是一款科学计算软件，很好地结合了数值和符号计算引擎、图形系统、编程语言、文本系统、和与其他应用程序的高级连接。很多功能在相应领域内处于世界领先地位，它也是使用最广泛的数学软件之一。Mathematica的发布标志着现代科技计算的开始。Mathematica是世界上通用计算系统中最强大的系统。自从1988发布以来，它已经对如何在科技和其它领域运用计算机产生了深刻的影响。

Mathematica 和 MATLAB、Maple 并称为三大数学软件。

4. SCILAB

SCILAB 是由法国国家信息、自动化研究院的科学家们开发的“开放源码”软件。SCILAB作为一种科学工程计算软件，其数据类型丰富，可以很方便地实现各种矩阵运算与图形显示，能应用于科学计算、数学建模、信号处理、决策优化、线性、非线性控制等各个方面。

SCILAB 还提供可以满足不同工程与科学需要的工具箱，例如SCICOS，信号处理工具箱，图与网络工具箱等。

与MATLAB类似，可以说，就基本的功能如科学计算、矩阵处理及图形显示而言，MATLAB能完成的工作SCILAB都可以实现。

5. ModelCoder

给大家介绍一款国产软件，是基于清华大学自主研制的可信编译器L2C项目，浙江迪捷软件科技有限公司开发了代码自动生成工具 ModelCoder。

ModelCoder是一个可以从模型自动生成代码的设计工具，能够自动从同步数据流语言Lustre生成C代码。ModelCoder的优势在于对模型到C语言的转换过程进行了形式化验证，从而严格地证明了模型转换过程的可靠性。ModelCoder可以与经过形式化验证的CompCert C编译器对接，从而实现从模型到汇编语言的可信编译。这是SCADE等同类产品所不具备的，SCADE只是对模型进行了形式化验证，但因缺少对转换过程的验证，从而无法保证模型和生成代码的一致性。

ModelCoder包含图形化建模模块、代码生成模块以及代码安全性检查模块等。用户可以通过友好易用的图形界面根据需求进行建模，最后生成可运行的代码。此外，ModelCoder可与迪捷软件的SkyEye天目全数字实时仿真软件相结合，将自动生成代码经过编译后的二进制文件直接运行在虚拟硬件上，进行进一步的测试验证。ModelCoder具有高可靠性和高安全性，这些特性促成了它在航空、航天、高铁、核电等关键领域的嵌入式软件系统设计中的应用。目前，ModelCoder已在国内相关单位的生产环境中得到应用，未来必将发挥更大的作用。

原文链接：http://www.digiproto.com/archives/1788