谷动谷力

 找回密码
 立即注册
查看: 752|回复: 0
打印 上一主题 下一主题
收起左侧

中国又一款数学软件 从内核开始自主编写

[复制链接]
跳转到指定楼层
楼主
发表于 2024-2-26 15:53:50 | 只看该作者 |只看大图 回帖奖励 |倒序浏览 |阅读模式
中国又一款数学软件,从内核开始自主编写


软件内核是北京大学数学学院研发的,真正自主。软件名字:北太天元。
没时间写很多文字,就截图吧。
第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) 以下截图:我在天元官网的留言,软件介绍等:





+10
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

QQ|Archiver|手机版|深圳市光明谷科技有限公司|光明谷商城|Sunshine Silicon Corpporation ( 粤ICP备14060730号|Sitemap

GMT+8, 2024-11-25 01:44 , Processed in 0.236891 second(s), 42 queries .

Powered by Discuz! X3.2 Licensed

© 2001-2013 Comsenz Inc.

快速回复 返回顶部 返回列表