A workflow schema is an abstract description of the business processed by workflow model, and plays a critical role in analyzing, executing and reorganizing business processes. The verification issue on the correctnes...A workflow schema is an abstract description of the business processed by workflow model, and plays a critical role in analyzing, executing and reorganizing business processes. The verification issue on the correctness of complicated workflow schemas is difficult in the field of workflow. We make an intensive study of it in this paper. We present here local errors and schema logic errors （global errors） in workflow schemas in detail, and offer some constraint rules trying to avoid schema errors during modeling. In addition, we propose a verification approach based on graph reduction and graph spread, and give the algorithm. The algorithm is implemented in a workflow prototype system e-ScopeWork.展开更多
以中尺度非静力WRF模式的格点预报结果作为云模式的初值集合,经云模式的多初值雷暴预报及预报结果的集合分析,建立了雷暴云的集合预报方法。将该方法应用于南京周边地区未来一天雷暴天气的特征预报,并利用南京夏季9个雷暴天气的多普勒...以中尺度非静力WRF模式的格点预报结果作为云模式的初值集合,经云模式的多初值雷暴预报及预报结果的集合分析,建立了雷暴云的集合预报方法。将该方法应用于南京周边地区未来一天雷暴天气的特征预报,并利用南京夏季9个雷暴天气的多普勒雷达资料(SCIT,storm cell identification and tracking)进行预报效果的检验。结果表明,雷暴云的集合预报对研究区域内未来一天雷暴强度、分布预报效果较好,尤其对强雷暴的分布有较强的预警预测能力。此外,雷暴持续时间概率密度分布的集合预报产品,在雷暴影响范围概率预报上的应用,提高了雷达对雷暴的预警监测能力。展开更多
改进的奇异值分解(advanced singular value decomposition,ASVD)方法,是对经过空间均匀化订正的格、站点网资料的奇异值分解(singular value decomposition,SVD)方法。根据奇异向量与经验正交函数(empirical orthogonal function,EOF)...改进的奇异值分解(advanced singular value decomposition,ASVD)方法,是对经过空间均匀化订正的格、站点网资料的奇异值分解(singular value decomposition,SVD)方法。根据奇异向量与经验正交函数(empirical orthogonal function,EOF)的关系,给出了格、站点网资料SVD方法中均匀化订正的方法,进而得到了改进的奇异值分解(ASVD)方法。将ASVD方法、SVD方法用于中国60a(1951—2010年)160站冬季气温、降水同期相关系数矩阵C的分析,结果表明:ASVD方法的前4个主要模态的模方拟合率和累积模方拟合率均明显高于SVD方法;ASVD方法前两个奇异向量典型场图上高绝对值区与C模方图上高值区的关系明显较SVD方法合理。由此论证了SVD方法中资料均匀化订正的必要性,验证了实际分析中ASVD方法的效果。展开更多
基金Supported by the National High-Technology Re-search and Development Program ( 2002AA1Z2308 , 2002AA118030)Liaoning Province Natural Science Foundation of China(20022027)
文摘A workflow schema is an abstract description of the business processed by workflow model, and plays a critical role in analyzing, executing and reorganizing business processes. The verification issue on the correctness of complicated workflow schemas is difficult in the field of workflow. We make an intensive study of it in this paper. We present here local errors and schema logic errors （global errors） in workflow schemas in detail, and offer some constraint rules trying to avoid schema errors during modeling. In addition, we propose a verification approach based on graph reduction and graph spread, and give the algorithm. The algorithm is implemented in a workflow prototype system e-ScopeWork.
文摘以中尺度非静力WRF模式的格点预报结果作为云模式的初值集合,经云模式的多初值雷暴预报及预报结果的集合分析,建立了雷暴云的集合预报方法。将该方法应用于南京周边地区未来一天雷暴天气的特征预报,并利用南京夏季9个雷暴天气的多普勒雷达资料(SCIT,storm cell identification and tracking)进行预报效果的检验。结果表明,雷暴云的集合预报对研究区域内未来一天雷暴强度、分布预报效果较好,尤其对强雷暴的分布有较强的预警预测能力。此外,雷暴持续时间概率密度分布的集合预报产品,在雷暴影响范围概率预报上的应用,提高了雷达对雷暴的预警监测能力。
文摘改进的奇异值分解(advanced singular value decomposition,ASVD)方法,是对经过空间均匀化订正的格、站点网资料的奇异值分解(singular value decomposition,SVD)方法。根据奇异向量与经验正交函数(empirical orthogonal function,EOF)的关系,给出了格、站点网资料SVD方法中均匀化订正的方法,进而得到了改进的奇异值分解(ASVD)方法。将ASVD方法、SVD方法用于中国60a(1951—2010年)160站冬季气温、降水同期相关系数矩阵C的分析,结果表明:ASVD方法的前4个主要模态的模方拟合率和累积模方拟合率均明显高于SVD方法;ASVD方法前两个奇异向量典型场图上高绝对值区与C模方图上高值区的关系明显较SVD方法合理。由此论证了SVD方法中资料均匀化订正的必要性,验证了实际分析中ASVD方法的效果。
