咨询与建议

限定检索结果

文献类型

  • 2 篇 会议
  • 1 篇 期刊文献

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 理学
    • 1 篇 大气科学
  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 3 篇 过程总结
  • 1 篇 大风冰雹
  • 1 篇 暴雨
  • 1 篇 强对流天气
  • 1 篇 软件模型检测
  • 1 篇 状态爆炸
  • 1 篇 谓词抽象
  • 1 篇 宁夏
  • 1 篇 程序重构

机构

  • 1 篇 新乡市气象台
  • 1 篇 宁夏区气象台
  • 1 篇 邵阳学院
  • 1 篇 宁夏气象防灾减灾...

作者

  • 1 篇 聂晶鑫
  • 1 篇 叶东
  • 1 篇 丁永红
  • 1 篇 huang weiping
  • 1 篇 黄卫平
  • 1 篇 闫军
  • 1 篇 陈晓娟

语言

  • 3 篇 中文
检索条件"主题词=过程总结"
3 条 记 录,以下是1-10 订阅
排序:
2007年4月14日冰雹天气过程总结
2007年4月14日冰雹天气过程总结
收藏 引用
作者: 叶东 新乡市气象台
4月14日21时50分至22时45分封丘县出现强对流天气,大范围出现大风冰雹灾害,冰雹持续时间近1小时,最大冰雹直径达40mm,冰雹直径之大,持续时间之长属历史罕见。
来源: 评论
2010年5月25-26日暴雨天气过程总结
2010年5月25-26日暴雨天气过程总结
收藏 引用
2010年全国灾害性天气预报技术研讨会
作者: 闫军 丁永红 陈晓娟 聂晶鑫 宁夏区气象台 银川 750002 宁夏区气象台 银川 750002 宁夏气象防灾减灾重点实验室 银川 750002
受东移冷空气和高原偏南暖湿气流共同影响,2010年5月25日白天到夜间,西北地区东部出现三个暴雨中心,宁夏石嘴山东北部、中卫市南部及固原市大部分别被其中的两个暴雨中心覆盖。北部的降水雨强比较均匀,南部的降水雨强变化较大。本文利... 详细信息
来源: 评论
程序重构预处理在提高软件模型检测效率中的应用
收藏 引用
计算机研究与发展 2008年 第8期45卷 1417-1422页
作者: 黄卫平 邵阳学院信息工程系
针对软件模型检测目前很难处理大型程序的问题,提出用程序重构技术对待检的源代码进行预处理,以提高模型检测算法的效率.程序重构将大型程序分解成语义一致的小型过程的集合,由于模型检测算法中过程总结边可单独计算,而且在程序中对某... 详细信息
来源: 评论