谷动谷力

标题: 中国又一款数学软件从内核开始自主编写 [打印本页]

作者: 鸣涧_GC96O 时间: 2024-2-26 15:53
标题: 中国又一款数学软件从内核开始自主编写
中国又一款数学软件，从内核开始自主编写

软件内核是北京大学数学学院研发的，真正自主。软件名字：北太天元。

没时间写很多文字，就截图吧。

第1张是今天我在天元官网上的留言：

第2张是软件发展历程的介绍：

说的是真正自主原创的科学计算软件：北太天元。软件内核由北京大学数学学院开发。其产品功能不限于字面理解的计算，也包括了建立数学模型并进行仿真运算的模块。建模仿真软件的主流是三巨头3M（Matlab，Mathematica，Maple）、出身波音后来转给MSC的EASY5等。本人用过的替代软件有：Octave：GNU社区推出的自由软件，几乎100%兼容Matlab；只有基本的数学计算，没有商业软件那上百个工具包，没有建模仿真平台。衷心感谢作者群体和自由软件社区的奉献！
Scilab：法国国立研究所INRIA推出，中科院自动化所曾助力推广，最初是对标Matlab；开源、非自由。有建模环境Xcos，有爱好者包括中国学生开发的少量工具包。后来发展较慢，去年被达索公司合并，找到靠山。它的模块接口设置、语法习惯有点特立独行，文档很不充分，所以真正要使用的时候困难较多；将来按照达索的做派很可能变成闭源收费的；所以2023年把它放弃。Modelica：一个博士生突发奇想，后续博士生接力，让理想照进现实，成为瑞典Linköping大学的看家宝贝。欧洲仿真学会在助推。开源，而且它采用的BSD协议其实比GPL协议更宽松，用在商业上也可以，所以企业研发用它没有顾虑，赞！北欧先是无私奉献了伟大的Linux，上世纪末又奉献了伟大的Modelica！（伟大，是我的评价。）在世纪之交，大公司还是不屑于它的，我求学的时候都没注意到它、也不会重视。但它对以前的建模环境有颠覆性创新，下文第4节再说，将来肯定成为主流。所以三巨头都有了基于Modelica的产品；我用的是开源的OpenModelica.
Python、R语言是编程语言，虽然做建模仿真也是前途无量，但属于散装的工具，这里不讨论。
2数学模型建模、仿真这项工作，不仅在科研和竞赛中展示创造力，也在产品研发过程中展示强大力量。做过才知道，它并不是科学与工程之间的一个过渡环节或者简单接口，而是一个开阔的施展空间，技术含量高、未知因素多，可供探索的问题和路径更多，尤其是，技术上涵盖的跨度很大，每一个项目基本都是从底层数学一直通到比较靠近末端的产品/系统整体性能。上游的科学研究和下游的工程项目，都无法取代它。拿树木的培育来打比方就是，一个单项任务要研究从土壤开始一直到接近果实的小树枝的生长，负责这样一个长长的过程。（按：这不是任何权威总结，而是本人的评价，百分百原创。是在本专业圈子里从求学到工作N年的领悟。）致文科读者：
1) 科学更关注譬如数学关系是这样还是那样、理论上是否存在、是否唯一确定、是否可以求解、是否稳定、稳定的边界在哪儿等。这对下游的技术路线和设计有着本质的影响。
2) 技术更关注理论上的结果，是否确信，是否可行，哪条路线更优，实现的条件，过程的代价等等，然后追求更下游的结果。
3工作多年逐渐明白，就算行业里的国际主流技术流派、世界领先的头部企业、神一般的存在，他们的产品或工作，在系统整体性能尤其是动态性能这方面居然也有不到位的情况，甚至远不到位，时不时露出马脚，而且不是个案。贸易制裁的一个好的影响是国外技术权威的光环在加速消退，像我这样普通的工程师也在破除迷信找他们的毛病，拿出自己的理念、观点和对策。（以前其实是掌握着资源和权力的群体更加无脑迷信西方，更加排斥本国技术人员的观点。半辈子的体会，呵呵。）很高兴自己发现对手的一个病根所在，发现阿喀琉斯的脚后跟。面对强大的对手，我手里没有千军万马，自己也不是盖世英雄，做不到一箭就把阿喀琉斯从天上射下来。但是可以睁开眼睛从自己擅长的角度看到对手的弱点！不管你在别的角度多么闪闪发光像个钻石，换到这个角度，我是专业的，可以把你劈开一条缝

所以特别关注自主的科学计算/建模仿真软件。建模平台对我来说就像弓马对于士兵一样。必须自己有能力造出来才有底气。4以前用Simulink建立模型的不满意之处：1) 要等到实质性的数学模型基本上建立完了，软件平台上的工作才刚刚开始；2) 软件模型的结构（模块、相互联系）跟原来真实的理/化/社会科学系统相比，外观上很可能大相径庭，如果不是了解这个问题的内行，甚至看不出是同一个问题；3) 如果数学模型有个看上去很小的修改，软件里修改的工作量有可能很大；在工程项目的不断迭代更新中，这个问题可能变得难以忍受。Modelica的颠覆创新之一是不用考虑模块的参数到底是输入还是输出！软件里面模型的拓扑结构大体上参照原来的真实系统，用数学关系描述模块之间的联系，数据是可以自动反过来流动的，输入/输出可以自动切换，反正关系还是那个数学关系，不会报错。这就节约了大量的时间，可以把更多的精力用于问题本身。

P.S.i) 下面网址是24年2月15日我在天元网站的留言。觉着有必要保留下来，所以16日写进公众号里，但已经过大量增补润色：
https://www.baltamatica.com/comm ... c48279598b94.htmlii) 我的上一篇公众号，只有2张截图，居然有几千阅读（以前永远是几十

），简直受宠若惊：
《中国又一款数学软件，从内核开始自主编写》
iii) 以下截图：我在天元官网的留言，软件介绍等：

欢迎光临谷动谷力 (http://bbs.sunsili.com/)