期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种CMA数值预报模式代码质量检测方法与实现
1
作者
李佳静
杨泽
+3 位作者
王彬
刘易凡
董泽信
孟涛
《应用气象学报》
北大核心
2025年第2期155-163,共9页
中国气象局(CMA)数值预报的统筹研发对支撑平台的能力建设提出了更高要求,其中一个重要方面就是对数值预报模式代码的质量检测能力。目前缺乏有效针对数值预报模式代码的质量检测方法和工具,尤其对于性能缺陷和大规模代码的检测不能满...
中国气象局(CMA)数值预报的统筹研发对支撑平台的能力建设提出了更高要求,其中一个重要方面就是对数值预报模式代码的质量检测能力。目前缺乏有效针对数值预报模式代码的质量检测方法和工具,尤其对于性能缺陷和大规模代码的检测不能满足需要。为解决上述问题,该文针对子程序定义、数组操作和I/O操作等常见编程规则设计检测方法。该方法采用程序代码解析、抽象语法树匹配和流敏感的静态程序检测等关键技术,其中对分支和循环语句的分析方法有效避免了路径爆炸问题。基于该方法的检测工具在数值预报科创平台V1.0代码协同开发栏目提供使用,并应用于CMA区域数值模式的国省统筹研发。
展开更多
关键词
数值预报模式代码
代码质量
抽象语法树匹配
流敏感程序分析
有穷状态机
在线阅读
下载PDF
职称材料
题名
一种CMA数值预报模式代码质量检测方法与实现
1
作者
李佳静
杨泽
王彬
刘易凡
董泽信
孟涛
机构
中国矿业大学(北京)人工智能学院
中国气象局地球系统数值预报中心
中国气象科学研究院灾害天气国家重点实验室
中国气象局地球系统数值预报重点开放实验室
煤炭科学技术研究院有限公司
出处
《应用气象学报》
北大核心
2025年第2期155-163,共9页
基金
国家重点研发计划(2017YFA0604500)
中国气象局创新发展专项(CXFZ2025J005)
中国气象局地球系统数值预报中心数值预报关键技术研发——国省统筹团队科创平台组。
文摘
中国气象局(CMA)数值预报的统筹研发对支撑平台的能力建设提出了更高要求,其中一个重要方面就是对数值预报模式代码的质量检测能力。目前缺乏有效针对数值预报模式代码的质量检测方法和工具,尤其对于性能缺陷和大规模代码的检测不能满足需要。为解决上述问题,该文针对子程序定义、数组操作和I/O操作等常见编程规则设计检测方法。该方法采用程序代码解析、抽象语法树匹配和流敏感的静态程序检测等关键技术,其中对分支和循环语句的分析方法有效避免了路径爆炸问题。基于该方法的检测工具在数值预报科创平台V1.0代码协同开发栏目提供使用,并应用于CMA区域数值模式的国省统筹研发。
关键词
数值预报模式代码
代码质量
抽象语法树匹配
流敏感程序分析
有穷状态机
Keywords
numerical prediction model code
code quality
abstract syntax tree matching
flow-sensitive program analysis
finite state machine
分类号
P456.7 [天文地球—大气科学及气象学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种CMA数值预报模式代码质量检测方法与实现
李佳静
杨泽
王彬
刘易凡
董泽信
孟涛
《应用气象学报》
北大核心
2025
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
