In recent years,there is a scenario in urban tunnel constructions to build super-large-span tunnels for traffic diversion and route optimization purposes.However,the increased size makes tunnel support more difficult....In recent years,there is a scenario in urban tunnel constructions to build super-large-span tunnels for traffic diversion and route optimization purposes.However,the increased size makes tunnel support more difficult.Unfortunately,there are few studies on the failure and support mechanism of the surrounding rocks in the excavation of supported tunnel,while most model tests of super-large-span tunnels focus on the failure characteristics of surrounding rocks in tunnel excavation without supports.Based on excavation compensation method(ECM),model tests of a super-large-span tunnel excavation by different anchor cable support methods in the initial support stage were carried out.The results indicate that during excavation of super-large-span tunnel,the stress and displacement of the shallow surrounding rocks decrease,following a step-shape pattern,and the tunnel failure is mainly concentrated on the vault and spandrel areas.Compared with conventional anchor cable supports,the NPR(negative Poisson’s ratio)anchor cable support is more suitable for the initial support stage of the super-large-span tunnels.The tunnel support theory,model test materials,methods,and the results obtained in this study could provide references for study of similar super-large-span tunnels。展开更多
Huaihe River Basin(HRB) is located in China’s north-south climatic transition zone,which is very sensitive to global climate change.Based on the daily maximum temperature,minimum temperature,and precipitation data of...Huaihe River Basin(HRB) is located in China’s north-south climatic transition zone,which is very sensitive to global climate change.Based on the daily maximum temperature,minimum temperature,and precipitation data of 40 meteorological stations and nine monthly large-scale ocean-atmospheric circulation indices data during 1959–2019,we present an assessment of the spatial and temporal variations of extreme temperature and precipitation events in the HRB using nine extreme climate indices,and analyze the teleconnection relationship between extreme climate indices and large-scale ocean-atmospheric circulation indices.The results show that warm extreme indices show a significant(P < 0.05) increasing trend,while cold extreme indices(except for cold spell duration) and diurnal temperature range(DTR) show a significant decreasing trend.Furthermore,all extreme temperature indices show significant mutations during 1959-2019.Spatially,a stronger warming trend occurs in eastern HRB than western HRB,while maximum 5-d precipitation(Rx5day) and rainstorm days(R25) show an increasing trend in the southern,central,and northwestern regions of HRB.Arctic oscillation(AO),Atlantic multidecadal oscillation(AMO),and East Atlantic/Western Russia(EA/WR) have a stronger correlation with extreme climate indices compared to other circulation indices.AO and AMO(EA/WR) exhibit a significant(P < 0.05) negative(positive)correlation with frost days and diurnal temperature range.Extreme warm events are strongly correlated with the variability of AMO and EA/WR in most parts of HRB,while extreme cold events are closely related to the variability of AO and AMO in eastern HRB.In contrast,AMO,AO,and EA/WR show limited impacts on extreme precipitation events in most parts of HRB.展开更多
In this paper,by choosing some appropriate test functions,we prove the Weyl’s lemma for triharmonic functions based on the new type of mean value formulas.
An approach to generating and optimizing test cases is proposed for Web application testing based on user sessions using genetic algorithm. A large volume of meaningful user sessions are obtained after purging their i...An approach to generating and optimizing test cases is proposed for Web application testing based on user sessions using genetic algorithm. A large volume of meaningful user sessions are obtained after purging their irrelevant information by analyzing user logs on the Web server. Most of the redundant user sessions are also removed by the reduction process. For test reuse and test concurrency, it divides the user sessions obtained into different groups, each of which is called a test suite, and then prioritizes the test suites and the test cases of each test suite. So, the initial test suites and test cases, and their initial executing sequences are achieved. However, the test scheme generated by the elementary prioritization is not much approximate to the best one. Therefore, genetic algorithm is employed to optimize the results of grouping and prioritization. Meanwhile, an approach to generating new test cases is presented using crossover. The new test cases can detect faults caused by the use of possible conflicting data shared by different users.展开更多
To make oral test accurately reflect the actual English spoken ability of candidates and play its role in guiding and promoting the improvement of English learners in the teaching, we must ensure that the design of sc...To make oral test accurately reflect the actual English spoken ability of candidates and play its role in guiding and promoting the improvement of English learners in the teaching, we must ensure that the design of scientific questions, the feasibility and validity of judgments to make an accurate and fair measurement of testers' language ability.展开更多
基金supported by the Innovation Fund Research Project of State Key Laboratory for Geomechanics and Deep Underground Engineering,China University of Mining and Technology(Grant No.SKLGDUEK202201)the Foundation for the Opening of State Key Laboratory for Geomechanics and Deep Underground Engineering,China University of Mining and Technology(Grant No.SKLGDUEK2129)the Open Research Fund of State Key Laboratory of Geomechanics and Geotechnical Engineering,Institute of Rock and Soil Mechanics,Chinese Academy of Sciences(Grant No.Z020007)。
文摘In recent years,there is a scenario in urban tunnel constructions to build super-large-span tunnels for traffic diversion and route optimization purposes.However,the increased size makes tunnel support more difficult.Unfortunately,there are few studies on the failure and support mechanism of the surrounding rocks in the excavation of supported tunnel,while most model tests of super-large-span tunnels focus on the failure characteristics of surrounding rocks in tunnel excavation without supports.Based on excavation compensation method(ECM),model tests of a super-large-span tunnel excavation by different anchor cable support methods in the initial support stage were carried out.The results indicate that during excavation of super-large-span tunnel,the stress and displacement of the shallow surrounding rocks decrease,following a step-shape pattern,and the tunnel failure is mainly concentrated on the vault and spandrel areas.Compared with conventional anchor cable supports,the NPR(negative Poisson’s ratio)anchor cable support is more suitable for the initial support stage of the super-large-span tunnels.The tunnel support theory,model test materials,methods,and the results obtained in this study could provide references for study of similar super-large-span tunnels。
基金Under the auspices of National Natural Science Foundation of China(No.52279016,51909106,51879108,42002247,41471160)Natural Science Foundation of Guangdong Province,China(No.2020A1515011038,2020A1515111054)+1 种基金Special Fund for Science and Technology Development in 2016 of Department of Science and Technology of Guangdong Province,China(No.2016A020223007)the Project of Jinan Science and Technology Bureau(No.2021GXRC070)。
文摘Huaihe River Basin(HRB) is located in China’s north-south climatic transition zone,which is very sensitive to global climate change.Based on the daily maximum temperature,minimum temperature,and precipitation data of 40 meteorological stations and nine monthly large-scale ocean-atmospheric circulation indices data during 1959–2019,we present an assessment of the spatial and temporal variations of extreme temperature and precipitation events in the HRB using nine extreme climate indices,and analyze the teleconnection relationship between extreme climate indices and large-scale ocean-atmospheric circulation indices.The results show that warm extreme indices show a significant(P < 0.05) increasing trend,while cold extreme indices(except for cold spell duration) and diurnal temperature range(DTR) show a significant decreasing trend.Furthermore,all extreme temperature indices show significant mutations during 1959-2019.Spatially,a stronger warming trend occurs in eastern HRB than western HRB,while maximum 5-d precipitation(Rx5day) and rainstorm days(R25) show an increasing trend in the southern,central,and northwestern regions of HRB.Arctic oscillation(AO),Atlantic multidecadal oscillation(AMO),and East Atlantic/Western Russia(EA/WR) have a stronger correlation with extreme climate indices compared to other circulation indices.AO and AMO(EA/WR) exhibit a significant(P < 0.05) negative(positive)correlation with frost days and diurnal temperature range.Extreme warm events are strongly correlated with the variability of AMO and EA/WR in most parts of HRB,while extreme cold events are closely related to the variability of AO and AMO in eastern HRB.In contrast,AMO,AO,and EA/WR show limited impacts on extreme precipitation events in most parts of HRB.
基金Supported by National Natural Science Foundation of China(Grant Nos.11801006 and 12071489).
文摘In this paper,by choosing some appropriate test functions,we prove the Weyl’s lemma for triharmonic functions based on the new type of mean value formulas.
文摘An approach to generating and optimizing test cases is proposed for Web application testing based on user sessions using genetic algorithm. A large volume of meaningful user sessions are obtained after purging their irrelevant information by analyzing user logs on the Web server. Most of the redundant user sessions are also removed by the reduction process. For test reuse and test concurrency, it divides the user sessions obtained into different groups, each of which is called a test suite, and then prioritizes the test suites and the test cases of each test suite. So, the initial test suites and test cases, and their initial executing sequences are achieved. However, the test scheme generated by the elementary prioritization is not much approximate to the best one. Therefore, genetic algorithm is employed to optimize the results of grouping and prioritization. Meanwhile, an approach to generating new test cases is presented using crossover. The new test cases can detect faults caused by the use of possible conflicting data shared by different users.
文摘To make oral test accurately reflect the actual English spoken ability of candidates and play its role in guiding and promoting the improvement of English learners in the teaching, we must ensure that the design of scientific questions, the feasibility and validity of judgments to make an accurate and fair measurement of testers' language ability.
