期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
可扩展的网络验证技术:研究现状与发展趋势
1
作者 黄翰林 徐恪 +3 位作者 李琦 李彤 付松涛 高翔宇 《电子学报》 EI CAS CSCD 北大核心 2024年第4期1083-1102,共20页
互联网作为国家信息基础设施的重要组成部分,已经在各个领域发挥着巨大的作用.随着其规模不断扩大和应用持续深入,我们也面临着意图不一致的网络行为可能导致的灾难性危害.为了确保互联网的正常运行和网络行为的一致性,我们迫切需要可... 互联网作为国家信息基础设施的重要组成部分,已经在各个领域发挥着巨大的作用.随着其规模不断扩大和应用持续深入,我们也面临着意图不一致的网络行为可能导致的灾难性危害.为了确保互联网的正常运行和网络行为的一致性,我们迫切需要可部署的网络验证技术,以确保网络运行时的行为与网络运维人员的意图一致.当前已经有许多关于网络验证技术的研究,这些研究帮助用户实现自动检测网络错误,并进一步分析错误产生的原因.然而,为了满足互联网规模不断扩大的需求,可扩展性问题成为在互联网部署网络验证技术的一项重要挑战.即如何在满足时间和空间复杂度约束的前提下,快速发现并排查网络策略的错误,真正将网络验证技术应用于实际,成为一个研究热点.本文从数据面验证和控制面验证两个方面出发,深入研究和总结了现有的网络验证研究工作,并探索了基于时空优化的可扩展性技术,对这些方案的特点进行了系统性分析.最后,本文总结和展望了网络验证可扩展技术的未来研究趋势,为该领域的研究人员提供一定的参考. 展开更多
关键词 网络验证 可扩展性 网络配置 时空优化 数据面验证 控制验证
下载PDF
Numerical simulation of land subsidence and verification of its character for an iron mine using sublevel caving 被引量:11
2
作者 Cao Shuai Song Weidong +2 位作者 Deng Dan Lei Yuankun Lan Jianqiang 《International Journal of Mining Science and Technology》 SCIE EI CSCD 2016年第2期327-332,共6页
Combined with a digital bored photography system and in-situ statistics concerning the joints and fissures of both ore-body and surrounding rock,a 2D discrete model was constructed using UDEC.The stress field and disp... Combined with a digital bored photography system and in-situ statistics concerning the joints and fissures of both ore-body and surrounding rock,a 2D discrete model was constructed using UDEC.The stress field and displacement field changes of different sublevel stoping systems were also studied.Changes in the overlying rock strata settlement pattern has been analyzed and validated by in-situ monitoring data.The results show that:in the caving process,there exists an obvious delay and jump for the overlying rock strata displacement over time,and a stable arch can be formed in the process of caving,which leads to hidden goafs.Disturbed by the mining activity,a stress increase occurred in both the hanging wall and the foot wall,demonstrating a hump-shaped distribution pattern.From the comparison between simulation results and in-situ monitoring results,land subsidence shows a slow-development,suddenfailure,slow-development cycle pattern,which leads eventually to a stable state.This pattern validates the existence of balanced arch and hidden goafs. 展开更多
关键词 Block caving Joint survey UDEC model Ground settlement Balanced arch Hidden goafs
下载PDF
Retrieve Sea Surface Salinity Using Principal Component Regression Model Based on SMOS Satellite Data 被引量:5
3
作者 ZHAO Hong LI Changjun +2 位作者 LI Hongping LV Kebo ZHAO Qinghui 《Journal of Ocean University of China》 SCIE CAS 2016年第3期399-406,共8页
The sea surface salinity(SSS) is a key parameter in monitoring ocean states. Observing SSS can promote the understanding of global water cycle. This paper provides a new approach for retrieving sea surface salinity fr... The sea surface salinity(SSS) is a key parameter in monitoring ocean states. Observing SSS can promote the understanding of global water cycle. This paper provides a new approach for retrieving sea surface salinity from Soil Moisture and Ocean Salinity(SMOS) satellite data. Based on the principal component regression(PCR) model, SSS can also be retrieved from the brightness temperature data of SMOS L2 measurements and Auxiliary data. 26 pair matchup data is used in model validation for the South China Sea(in the area of 4?–25?N, 105?–125?E). The RMSE value of PCR model retrieved SSS reaches 0.37 psu(practical salinity units) and the RMSE of SMOS SSS1 is 1.65 psu when compared with in-situ SSS. The corresponding Argo daily salinity data during April to June 2013 is also used in our validation with RMSE value 0.46 psu compared to 1.82 psu for daily averaged SMOS L2 products. This indicates that the PCR model is valid and may provide us with a good approach for retrieving SSS from SMOS satellite data. 展开更多
关键词 sea surface salinity retrieved algorithm SMOS principle component regression
下载PDF
ERROR REDUCTION,CONVERGENCE AND OPTIMALITY OF AN ADAPTIVE MIXED FINITE ELEMENT METHOD 被引量:2
4
作者 Shaohong DU Xiaoping XIE 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2012年第1期195-208,共14页
This paper proves the error reduction property (saturation property), convergence and optimality of an adaptive mixed finite element method (AMFEM) for the Poisson equation. In each step of AMFEM, the local refine... This paper proves the error reduction property (saturation property), convergence and optimality of an adaptive mixed finite element method (AMFEM) for the Poisson equation. In each step of AMFEM, the local refinement is performed basing on simple either edge-oriented residuals or edge-oriented data oscillations, depending only on the marking strategy, under some restriction of refinement. The main tools used here are the strict discrete local efficiency property given by Carstensen and Hoppe (2006) and the quasi-orthogonality estimate proved by Chen, Holst, and Xu (2009). Numerical experiments fully confirm the theoretical analysis. 展开更多
关键词 AMFEM convergence and optimality discrete upper bound quasi-orthogonality.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部