This study aims to predict ground surface settlement due to shallow tunneling and introduce the most affecting parameters on this phenomenon.Based on data collected from Shanghai LRT Line 2 project undertaken by TBM-E...This study aims to predict ground surface settlement due to shallow tunneling and introduce the most affecting parameters on this phenomenon.Based on data collected from Shanghai LRT Line 2 project undertaken by TBM-EPB method,this research has considered the tunnel's geometric,strength,and operational factors as the dependent variables.At first,multiple regression(MR) method was used to propose equations based on various parameters.The results indicated the dependency of surface settlement on many parameters so that the interactions among different parameters make it impossible to use MR method as it leads to equations of poor accuracy.As such,adaptive neuro-fuzzy inference system(ANFIS),was used to evaluate its capabilities in terms of predicting surface settlement.Among generated ANFIS models,the model with all input parameters considered produced the best prediction,so as its associated R^2 in the test phase was obtained to be 0.957.The equations and models in which operational factors were taken into consideration gave better prediction results indicating larger relative effect of such factors.For sensitivity analysis of ANFIS model,cosine amplitude method(CAM) was employed; among other dependent variables,fill factor of grouting(n) and grouting pressure(P) were identified as the most affecting parameters.展开更多
The mode of mobile computing originated from distributed computing and it has the un-idempotent operation property, therefore the deadlock detection algorithm designed for mobile computing systems will face challenges...The mode of mobile computing originated from distributed computing and it has the un-idempotent operation property, therefore the deadlock detection algorithm designed for mobile computing systems will face challenges with regard to correctness and high efficiency. This paper attempts a fundamental study of deadlock detection for the AND model of mobile computing systems. First, the existing deadlock detection algorithms for distributed systems are classified into the resource node dependent (RD) and the resource node independent (RI) categories, and their corresponding weaknesses are discussed. Afterwards a new RI algorithm based on the AND model of mobile computing system is presented. The novelties of our algorithm are that: 1) the blocked nodes inform their predecessors and successors simultaneously; 2) the detection messages (agents) hold the predecessors information of their originator; 3) no agent is stored midway. Additionally, the quit-inform scheme is introduced to treat the excessive victim quitting problem raised by the overlapped cycles. By these methods the proposed algorithm can detect a cycle of size n within n-2 steps and with (n^2-n-2)/2 agents. The performance of our algorithm is compared with the most competitive RD and RI algorithms for distributed systems on a mobile agent simulation platform. Experiment results point out that our algorithm outperforms the two algorithms under the vast majority of resource configurations and concurrent workloads. The correctness of the proposed algorithm is formally proven by the invariant verification technique.展开更多
This paper presents the methodology and results of modelling of Earth magnetic field disturbances induced by ferromagnetic objects. The modeling was carried out using the finite elements calculations, and the results ...This paper presents the methodology and results of modelling of Earth magnetic field disturbances induced by ferromagnetic objects. The modeling was carried out using the finite elements calculations, and the results were compared with the measurements. The special test stand, consisting of magnetovision scanner and Helmholtz coils, has been used. The measurement system is able to measure the distribution of planar magnetic induction vectors, and to differentiate the sources of measured disturbances.展开更多
文摘This study aims to predict ground surface settlement due to shallow tunneling and introduce the most affecting parameters on this phenomenon.Based on data collected from Shanghai LRT Line 2 project undertaken by TBM-EPB method,this research has considered the tunnel's geometric,strength,and operational factors as the dependent variables.At first,multiple regression(MR) method was used to propose equations based on various parameters.The results indicated the dependency of surface settlement on many parameters so that the interactions among different parameters make it impossible to use MR method as it leads to equations of poor accuracy.As such,adaptive neuro-fuzzy inference system(ANFIS),was used to evaluate its capabilities in terms of predicting surface settlement.Among generated ANFIS models,the model with all input parameters considered produced the best prediction,so as its associated R^2 in the test phase was obtained to be 0.957.The equations and models in which operational factors were taken into consideration gave better prediction results indicating larger relative effect of such factors.For sensitivity analysis of ANFIS model,cosine amplitude method(CAM) was employed; among other dependent variables,fill factor of grouting(n) and grouting pressure(P) were identified as the most affecting parameters.
基金Sponsored by the National 863 Plan (Grant No.2002AA1Z2101)the National Tenth Five-Year Research Plan(Grant No. 41316.1.2).
文摘The mode of mobile computing originated from distributed computing and it has the un-idempotent operation property, therefore the deadlock detection algorithm designed for mobile computing systems will face challenges with regard to correctness and high efficiency. This paper attempts a fundamental study of deadlock detection for the AND model of mobile computing systems. First, the existing deadlock detection algorithms for distributed systems are classified into the resource node dependent (RD) and the resource node independent (RI) categories, and their corresponding weaknesses are discussed. Afterwards a new RI algorithm based on the AND model of mobile computing system is presented. The novelties of our algorithm are that: 1) the blocked nodes inform their predecessors and successors simultaneously; 2) the detection messages (agents) hold the predecessors information of their originator; 3) no agent is stored midway. Additionally, the quit-inform scheme is introduced to treat the excessive victim quitting problem raised by the overlapped cycles. By these methods the proposed algorithm can detect a cycle of size n within n-2 steps and with (n^2-n-2)/2 agents. The performance of our algorithm is compared with the most competitive RD and RI algorithms for distributed systems on a mobile agent simulation platform. Experiment results point out that our algorithm outperforms the two algorithms under the vast majority of resource configurations and concurrent workloads. The correctness of the proposed algorithm is formally proven by the invariant verification technique.
文摘This paper presents the methodology and results of modelling of Earth magnetic field disturbances induced by ferromagnetic objects. The modeling was carried out using the finite elements calculations, and the results were compared with the measurements. The special test stand, consisting of magnetovision scanner and Helmholtz coils, has been used. The measurement system is able to measure the distribution of planar magnetic induction vectors, and to differentiate the sources of measured disturbances.
