采用国产水动力学模型(integrated flood model system,IFMS),对“23·7”海河流域永定河系特大洪水中永定河泛区洪水演进及淹没范围变化进行精细化模拟复盘。将模拟结果与卫星遥感监测获取的泛区淹没范围进行对比,最大淹没面积误...采用国产水动力学模型(integrated flood model system,IFMS),对“23·7”海河流域永定河系特大洪水中永定河泛区洪水演进及淹没范围变化进行精细化模拟复盘。将模拟结果与卫星遥感监测获取的泛区淹没范围进行对比,最大淹没面积误差仅为8.8%,验证了该模型在永定河泛区洪水模拟中的可靠度。构建的永定河泛区模型可以准确反映分洪口门启闭、蓄滞洪量变化及泛区进退洪淹没过程。基于该模型,进一步研究雨带北移对该地区未来防洪情势的影响。结果表明:同等重现期的设计洪水受雨带北移影响后,将导致泛区防洪情势愈加严峻,雨带北移影响下的20 a一遇设计洪水最大淹没范围与现状情景下50 a一遇设计洪水最大淹没范围持平。因此,为更好地应对未来防洪情势的发展,需要针对永定河泛区提出更加合理的防洪规划并科学制定工程与非工程相结合的防洪措施。展开更多
电子商务业务流程网(E-commerce Business Process Net,EBPN)是一种基于Petri网的形式化模型.该模型面向业务流程的设计阶段和应用层,整合了控制流、数据流及其相关属性,可以较好地刻画现今主流的电子业务流程,有助于描述业务流程执行...电子商务业务流程网(E-commerce Business Process Net,EBPN)是一种基于Petri网的形式化模型.该模型面向业务流程的设计阶段和应用层,整合了控制流、数据流及其相关属性,可以较好地刻画现今主流的电子业务流程,有助于描述业务流程执行过程中的数据错误和数据状态的非确定性.针对EBPN的结构和动态属性,进一步研究了EBPN的可达分析方法,给出了可达数据状态图的构造算法及相关结论.为了减少可达分析的难度,借鉴程序切片的思想,研究了EBPN的模型切片方法,定义了切片准则,构造了EBPN的切片算法.EBPN的切片方法可用于降低可达数据状态图的分析复杂度.展开更多
文摘电子商务业务流程网(E-commerce Business Process Net,EBPN)是一种基于Petri网的形式化模型.该模型面向业务流程的设计阶段和应用层,整合了控制流、数据流及其相关属性,可以较好地刻画现今主流的电子业务流程,有助于描述业务流程执行过程中的数据错误和数据状态的非确定性.针对EBPN的结构和动态属性,进一步研究了EBPN的可达分析方法,给出了可达数据状态图的构造算法及相关结论.为了减少可达分析的难度,借鉴程序切片的思想,研究了EBPN的模型切片方法,定义了切片准则,构造了EBPN的切片算法.EBPN的切片方法可用于降低可达数据状态图的分析复杂度.