八大低云多发机场的云诊断算法应用初探

使用FNL (0.25˚*0.25˚ NCEP GFS)的6小时数值预报资料,基于C云量诊断法(C方法)、WR95及优化的WR95方法(WR95opt)分别计算我国八大低云多发机场的450米以下最低层云,使用机场天气报告检验诊断效果,对比分析表明:不分时次和季节时,以及在大部分时次和季节,WR95和WR95opt在大部分机场的准确率、漏报率和TS评分高于C方法;对于WR95和WR95opt,WR95opt的准确率和漏报率相对较高,WR95在TS评分方面整体上优于WR95opt。三种方法在不同季节、不同时次准确率、漏报率和TS评分有所不同,但不同季节变化幅度远小于不同时次。在选取的八个机场中,三种方法在华东地区中南部的4个机场表现普遍好于其他地区的机场。

基于MODIS数据与数值模式的云垂直结构估计

为了利用MODIS数据与数值模式估测云的垂直结构,通过运行PSU/NCAR MM5非静力数值模式,以模式输出的温湿廓线与MOD06云顶气压产品插值得到云顶高度,并利用WR95探空分析算法判定云底高度;以CloudSat/CPR主动遥感数据为真值进行云垂直结构的对比试验。初步结果表明:结合MODIS云产品与中尺度数值模式输出的诊断分析产品估测云的垂直结构是可行的,这为不依赖云雷达主动遥感体系获得云的垂直结构提供了一种新的方法。

自动发现不等式型定理的一个完备算法

利用多项式的判别式序列、WR算法、吴消元法及部分的柱形代数分解算法 ,给出了能自动发现不等式的一个实用算法 .该算法无须事先对结果做任何形式的猜测 ,而能全自动地发现新不等式 .该算法对一大类不等式型定理是完备的 ,而且可用于几何约束问题的实解分类 .在Maple下 。