期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
中国CSEP检验中心的软件系统建设
1
作者 余怀忠 于晨 +5 位作者 张小涛 苑争一 钟骏 解孟雨 李泽平 张靖雪 《地震研究》 北大核心 2025年第2期177-187,共11页
为提升地震预测方法评价的标准化和应用的规范化,依托国家重点研发计划尝试把CSEP(Collaboratory for the Study of Earthquake Predictability)移植到中国,建立中国CSEP检验中心。自主研发了加卸载响应比(LURR)、地壳振动、态矢量和地... 为提升地震预测方法评价的标准化和应用的规范化,依托国家重点研发计划尝试把CSEP(Collaboratory for the Study of Earthquake Predictability)移植到中国,建立中国CSEP检验中心。自主研发了加卸载响应比(LURR)、地壳振动、态矢量和地震综合概率预测模块;引进了国外的图像信息(PI)、相对强度(RI)、传染型余震序列(ETAS)预测模型并完成模块研发;遴选出Molchan检验、R值评分、N值检验和ROC检验等国际认可的地震预报效能评价方法,以集成方式搭建运行平台。作为开放性检验中心,通过不断纳入新的算法,着力提升地震预测能力、推进地震预测实践,将地震预报业务中常用的地震发生率指数、小震调制比、b值等预测方法纳入到中心运行。中心的软件系统既能够完成回顾性预测检验,又能够实现前瞻性预测分析,可为现有预测方法提供运行环境和技术支持。 展开更多
关键词 CSEP检验中心 预测模块 检验模块 集成功能 开放性
在线阅读 下载PDF
并发反应式系统的组合模型检验与组合精化检验 被引量:17
2
作者 文艳军 王戟 齐治昌 《软件学报》 EI CSCD 北大核心 2007年第6期1270-1281,共12页
模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题.基于分而治之的思想进行组合模型检验和组合精化检验是应对这个问题的重要方法,它们利用系统的组合结构对问题进行分解,通过对各子系统性质的检... 模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题.基于分而治之的思想进行组合模型检验和组合精化检验是应对这个问题的重要方法,它们利用系统的组合结构对问题进行分解,通过对各子系统性质的检验和综合推理导出整个系统的性质.在一个统一的框架下对组合模型检验和组合精化检验作了系统的分析和归纳,从模块检验的角度阐述了上述两种组合验证方法的原理及其相应的组合验证策略.同时总结了各类问题的复杂性,并对上述两种方法作了比较分析,揭示了它们之间的内在联系.最后展望了组合模型检验与组合精化检验的发展方向. 展开更多
关键词 模型检验 精化检验 组合模型检验 组合精化检验 状态爆炸问题 模块检验
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部