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.展开更多
Based on energy conservation equation and Darcy＇s law, a model of beach well infiltration intake system applied in a seawater source heat pump system was established. The model consists of the seawater seepage and th...Based on energy conservation equation and Darcy＇s law, a model of beach well infiltration intake system applied in a seawater source heat pump system was established. The model consists of the seawater seepage and the heat transfer process. A porous medium model in a software named FLUENT was applied to simulate the seepage and the heat transfer process. This model was also validated by field experiment conducted on the seashore in Tianjin, China. The maximum relative error between simulation results and experimental results was 2.1% （less than 5%）, which was acceptable in engineering applica- tion. The porosity and coefficient of thermal conductivity of the aquifer soil were determined to be 0.49 W/（m. K） and 1.46W/（m.K）, respectively in the simulation. In addition, the influencing factors of pumping water of beach well were also analyzed. The pumping water was found to increase when the distance between the beach well and the impervious boundary becomes longer, when the distance between the beach well and the supplying water source shortens, when the diameter of the beach well enlarges, and the drawdown enlarges.展开更多
以中尺度非静力WRF模式的格点预报结果作为云模式的初值集合,经云模式的多初值雷暴预报及预报结果的集合分析,建立了雷暴云的集合预报方法。将该方法应用于南京周边地区未来一天雷暴天气的特征预报,并利用南京夏季9个雷暴天气的多普勒...以中尺度非静力WRF模式的格点预报结果作为云模式的初值集合,经云模式的多初值雷暴预报及预报结果的集合分析,建立了雷暴云的集合预报方法。将该方法应用于南京周边地区未来一天雷暴天气的特征预报,并利用南京夏季9个雷暴天气的多普勒雷达资料(SCIT,storm cell identification and tracking)进行预报效果的检验。结果表明,雷暴云的集合预报对研究区域内未来一天雷暴强度、分布预报效果较好,尤其对强雷暴的分布有较强的预警预测能力。此外,雷暴持续时间概率密度分布的集合预报产品,在雷暴影响范围概率预报上的应用,提高了雷达对雷暴的预警监测能力。展开更多
基金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.
基金This work was supported by the National Natural Science Foundation of China （Grant No. 51106110）.
文摘Based on energy conservation equation and Darcy＇s law, a model of beach well infiltration intake system applied in a seawater source heat pump system was established. The model consists of the seawater seepage and the heat transfer process. A porous medium model in a software named FLUENT was applied to simulate the seepage and the heat transfer process. This model was also validated by field experiment conducted on the seashore in Tianjin, China. The maximum relative error between simulation results and experimental results was 2.1% （less than 5%）, which was acceptable in engineering applica- tion. The porosity and coefficient of thermal conductivity of the aquifer soil were determined to be 0.49 W/（m. K） and 1.46W/（m.K）, respectively in the simulation. In addition, the influencing factors of pumping water of beach well were also analyzed. The pumping water was found to increase when the distance between the beach well and the impervious boundary becomes longer, when the distance between the beach well and the supplying water source shortens, when the diameter of the beach well enlarges, and the drawdown enlarges.
文摘以中尺度非静力WRF模式的格点预报结果作为云模式的初值集合,经云模式的多初值雷暴预报及预报结果的集合分析,建立了雷暴云的集合预报方法。将该方法应用于南京周边地区未来一天雷暴天气的特征预报,并利用南京夏季9个雷暴天气的多普勒雷达资料(SCIT,storm cell identification and tracking)进行预报效果的检验。结果表明,雷暴云的集合预报对研究区域内未来一天雷暴强度、分布预报效果较好,尤其对强雷暴的分布有较强的预警预测能力。此外,雷暴持续时间概率密度分布的集合预报产品,在雷暴影响范围概率预报上的应用,提高了雷达对雷暴的预警监测能力。
