This study tried to explore the ground movement induced by triple stacked tunneling(TST) with different construction sequences. A case study in Tianjin, China was used to investigate the ground movement during the TST...This study tried to explore the ground movement induced by triple stacked tunneling(TST) with different construction sequences. A case study in Tianjin, China was used to investigate the ground movement during the TST(upper tunneling(UT)). For this, a modified Peck formula was proposed to predict the surface settlement induced by TST. Next, three sets of finite element analyses(FEA) were used to compare the effects of construction sequences(i.e. UT, middle tunneling(MT), and lower tunneling(LT)) on vertical and lateral ground displacements. The results of Tianjin case and UT reveal that compared to a Gaussian distribution for a single tunnel, the surface settlement curve of triple stacked tunnels is a bimodal distribution. It seems that the proposed modified Peck formula can effectively predict the surface settlement induced by TST. The results of the three sets of FEA demonstrate that the construction sequence has a significant influence on the ground movement. Among the three construction sequences, the largest lateral displacement is observed in the MT and the smallest one in UT.The existing tunnel has an inhibitory effect on the vertical displacement. The maximum value of the lateral displacement occurs at the depth of the new tunnel in each construction sequence.展开更多
For the car sequencing(CS) problem, the draw-backs of the "sliding windows" technique used in the objective function have not been rectified, and no high quality initial solution has been acquired to accelerate th...For the car sequencing(CS) problem, the draw-backs of the "sliding windows" technique used in the objective function have not been rectified, and no high quality initial solution has been acquired to accelerate the improvement of the solution quality. Firstly, the objective function is improved to solve the double and bias counting of violations broadly discussed. Then, a new method combining heuristic with constraint propagation is proposed which constructs initial solutions under a parallel framework. Based on constraint propagation, three filtering rules are designed to intersecting with three greedy functions, so the variable domain is narrowed in the process of the construction. The parallel framework is served to show its robustness in terms of the quality of the solution since it greatly increases the performance of obtaining the best solution. In the computational experiments, 109 instances of 3 sets from the CSPLib' s benchmarks are used to test the performance of the proposed method. Experiment results show that the proposed method outperforms others in acquiring the best-known results for 85 best-known results of 109 are obtained with only one construction. The proposed research provides an avenue to remedy the deficiencies of "sliding windows" technique and construct high quality initial solutions.展开更多
Computer-aided design(CAD)software continues to be a crucial tool in digital twin application and manufacturing,facilitating the design of various products.We present a novel CAD generation method,an agent that constr...Computer-aided design(CAD)software continues to be a crucial tool in digital twin application and manufacturing,facilitating the design of various products.We present a novel CAD generation method,an agent that constructs the CAD sequences containing the sketch-and-extrude modelling operations efficiently and with high quality.Starting from the sketch and extrusion operation sequences,we utilise the transformer encoder to encode them into different disentangled codebooks to represent their distribution properties while considering their correlations.Then,a combination of auto-regressive and non-autoregressive samplers is trained to sample the code for CAD sequence con-struction.Extensive experiments demonstrate that our model generates diverse and high-quality CAD models.We also show some cases of real digital twin applications and indicate that our generated model can be used as the data source for the digital twin platform,exhibiting designers'potential.展开更多
基金financially supported by the Open Project of the State Key Laboratory of Disaster Reduction in Civil Engineering (Grant No. SLDRCE17-01)the National Key Research and Development Program of China (Grant No.2017YFC0805402)the National Natural Science Foundation of China (Grant No. 51808387)。
文摘This study tried to explore the ground movement induced by triple stacked tunneling(TST) with different construction sequences. A case study in Tianjin, China was used to investigate the ground movement during the TST(upper tunneling(UT)). For this, a modified Peck formula was proposed to predict the surface settlement induced by TST. Next, three sets of finite element analyses(FEA) were used to compare the effects of construction sequences(i.e. UT, middle tunneling(MT), and lower tunneling(LT)) on vertical and lateral ground displacements. The results of Tianjin case and UT reveal that compared to a Gaussian distribution for a single tunnel, the surface settlement curve of triple stacked tunnels is a bimodal distribution. It seems that the proposed modified Peck formula can effectively predict the surface settlement induced by TST. The results of the three sets of FEA demonstrate that the construction sequence has a significant influence on the ground movement. Among the three construction sequences, the largest lateral displacement is observed in the MT and the smallest one in UT.The existing tunnel has an inhibitory effect on the vertical displacement. The maximum value of the lateral displacement occurs at the depth of the new tunnel in each construction sequence.
基金Supported by National Natural Science Foundation of China(Grant Nos.51435009,71302085)Zhejiang Provincial Natural Science Foundation of China(Grant No.LQ14E080002)K.C.Wong Magna Fund in Ningbo University
文摘For the car sequencing(CS) problem, the draw-backs of the "sliding windows" technique used in the objective function have not been rectified, and no high quality initial solution has been acquired to accelerate the improvement of the solution quality. Firstly, the objective function is improved to solve the double and bias counting of violations broadly discussed. Then, a new method combining heuristic with constraint propagation is proposed which constructs initial solutions under a parallel framework. Based on constraint propagation, three filtering rules are designed to intersecting with three greedy functions, so the variable domain is narrowed in the process of the construction. The parallel framework is served to show its robustness in terms of the quality of the solution since it greatly increases the performance of obtaining the best solution. In the computational experiments, 109 instances of 3 sets from the CSPLib' s benchmarks are used to test the performance of the proposed method. Experiment results show that the proposed method outperforms others in acquiring the best-known results for 85 best-known results of 109 are obtained with only one construction. The proposed research provides an avenue to remedy the deficiencies of "sliding windows" technique and construct high quality initial solutions.
基金National Key Research and Development Program of China,Grant/Award Number:2022YFF0904303Beijing Science and Technology Planning Project,Grant/Award Number:Z221100006322003National Natural Science Foundation of China,Grant/Award Number:61932003。
文摘Computer-aided design(CAD)software continues to be a crucial tool in digital twin application and manufacturing,facilitating the design of various products.We present a novel CAD generation method,an agent that constructs the CAD sequences containing the sketch-and-extrude modelling operations efficiently and with high quality.Starting from the sketch and extrusion operation sequences,we utilise the transformer encoder to encode them into different disentangled codebooks to represent their distribution properties while considering their correlations.Then,a combination of auto-regressive and non-autoregressive samplers is trained to sample the code for CAD sequence con-struction.Extensive experiments demonstrate that our model generates diverse and high-quality CAD models.We also show some cases of real digital twin applications and indicate that our generated model can be used as the data source for the digital twin platform,exhibiting designers'potential.