科普：北太天元软件和卫星定位
全国政协委员张平文院士的的提案：“定位、导航和授时（PNT）体系是国家信息基础设施的重要组成部分，也是国家战略资源和大国较量的制高点。”，建议“整合测绘、通信、计算机、控制等多学科交叉知识体系，打通数学、物理等基础学科与导航应用创新的链条，培养符合新时代北斗国家重大战略需求的专业型、复合型的导航拔尖创新人才。”
复合型创新人才的培养对于一个国家的发展非常重要。美国首先提出了要加强STEM教育培养复合型人才，就是培养能够综合运用科学、技术、工程、数学（STEM）四方面知识，解决真实世界中的问题的复合型人才。包括我国在内的很多国家也越来越重视STEM教育。数学，尤其是应用数学的工作者，要为国家复合型人才的培养做出更大的贡献。
通用型科学计算软件是培养通用型人才培养的一个基础工具。该类型的软件的开发难度大、周期长，中国的此类软件的市场当前主要由国外产品占据，如美国的MATLAB。2020年，MATLAB禁用让使得我们更加情形地认识到发展具有自主知识产权的国产通用型数值计算软件的重要性和急迫性。 在北京大学数学科学学院、北京大学大数据分析与应用技术国家工程实验室、北京大学重庆大数据研究院的支持和领导下，我们开发了北太天元数值计算通用软件。北太天元数值计算通用软件可以在“打通数学、物理等基础学科与导航应用创新的链条，培养符合新时代北斗国家重大战略需求的专业型、复合型的导航拔尖创新人才”的方面起到桥梁和纽带的作用。
我们正在为北太天元数值计算软件开发一个北斗卫星定位的插件。 张院士在百忙之中曾多次约谈我，关心我的工作，也谈到建设发展独立自主的北斗卫星导航系统的重要性，使我对定位技术以及相关算法的产生了兴趣。这促使我为北太天元数值计算通用软件开发一个插件来实现北斗卫星定位的部分算法。这个插件将有助于数学等非测绘专业的学生了解卫星定位的技术以及其中的数学问题，将有助于学科交叉以及复合型人才的培养。
在开发的过程中，我发过两个科普的帖子，【北太天元上实现大地坐标和地固坐标的坐标变换】 【北太天元的牛顿法求解四星定位问题】，供非发测绘专业的学生参考。
