基于Petri网模型的OSPF路由处的测试序列生成

OSPF协议是一种动态路由协议,它利用内部的链路状态数据库来维护和计算路由,它的路由算法是本协议的关键部分,本给出了路由算法的Petri网模型,并使用控制流和数据流测试相结合的一种方法,在此基础上产生测试序列。     

Construction Process Control of Large Extra Caissons

The complexity of geotechnical engineering and variability in construction circumstances of large extra caissons make the problem of maintaining appropriate sink attitude quite difficult, especially in keeping sink uniformity and achieving the expected final sink depth. A new construction control method is presented using H∞ theory, considering uncertainties in the mechanics model and external noise in the construction site parameters. The design method of an H∞ controller has consequently been obtained for large extra caissons. Control results using only constructor experiences are compared with simulation results using the H∞ controller for a practical engineering situation, which indicates that the H∞ controller is successful in maintaining sink uniformity, avoiding sink as well as in achieving the expected final sink depth.     

基于Flood Area模型的山西山谷地区暴雨洪涝灾害风险特征分析

基于1992—2021年降水观测数据和气象灾情数据，采用Flood Area模型对沁水经济技术开发区所在山谷地区不同重现期下的暴雨洪涝淹没范围进行模拟评估.结果表明：研究区所在地区不同重现期小时雨型呈多峰分布，山谷效应导致雨水汇流，淹没水深和面积增加，具有一定的暴雨洪涝风险；区内大部分淹没面积在10 cm2以下；内涝等级为一般性内涝风险(10～25 cm)的淹没面积为0.48 km²，主要呈散点状分布于研究区各片区；中度内涝风险(25～50 cm)的淹没面积为0.41 km²，主要呈散点状分布在端氏综合服务中心周围；严重内涝风险(50～80 cm)的淹没面积较少，为0.32 km²；特别严重内涝风险(>80 cm)的淹没面积为4.74 km²，主要集中分布于北部产业片区和南部产业片区的偏西地区.各重现期淹没风险较大的区域主要分布在各个片区内低洼地区，与实际灾情相符.