A t-container Ct(u,v)is a set of t internally disjoint paths between two distinct vertices u and v in a graph G,i.e.,Ct(u,v)={P_(1),P_(2),···,Pt}.Moreover,if V(P_(1))∪V(P_(2))∪···∪V(Pt...A t-container Ct(u,v)is a set of t internally disjoint paths between two distinct vertices u and v in a graph G,i.e.,Ct(u,v)={P_(1),P_(2),···,Pt}.Moreover,if V(P_(1))∪V(P_(2))∪···∪V(Pt)=V(G)then Ct(u,v)is called a spanning t-container,denoted by C_(t)^(sc)(u,v).The length of C_(t)^(sc)(u,v)={P_(1),P_(2),···,Pt}is l(C_(t)^(sc)(u,v))=max{l(P_(i))|1≤i≤t}.A graph G is spanning t-connected if there exists a spanning t-container between any two distinct vertices u and v in G.Assume that u and v are two distinct vertices in a spanning t-connected graph G.Let D_(t)^(sc)(u,v)be the collection of all C_(t)^(sc)(u,v)’s.Define the spanning t-wide distance between u and v in G,d_(t)^(sc)(u,v)=min{l(C_(t)^(sc)(u,v))|C_(t)^(sc)(u,v)∈D_(t)^(sc)(u,v)},and the spanning t-wide diameter of G,D_(t)^(sc)(G)=max{d_(t)^(sc)(u,v)|u,v∈V(G)}.In particular,the spanning wide diameter of G is D_(κ)^(sc)(G),whereκis the connectivity of G.In the paper we provide the upper and lower bounds of the spanning wide diameter of a graph,and show that the bounds are best possible.We also determine the exact values of wide diameters of some well known graphs including Harary graphs and generalized Petersen graphs et al..展开更多
Engineering shallow,large-span rock tunnels challenges deformation control and escalates construction costs.This study investigates the excavation compensation method(ECM)and its associated technologies to address the...Engineering shallow,large-span rock tunnels challenges deformation control and escalates construction costs.This study investigates the excavation compensation method(ECM)and its associated technologies to address these issues.Utilizing five key technologies,the ECM effectively modulates radial stress post-excavation,redistributes stress in the surrounding rock,and eliminates tensile stress at the excavation face.Pre-tensioning measures further enhance the rock’s residual strength,establishing a new stability equilibrium.Field tests corroborate the method’s effectiveness,demonstrating a crown settlement reduction of 3–8 mm,a nearly 50%decrease compared to conventional construction approaches.Additionally,material consumption and construction duration were reduced by approximately 30%–35%and 1.75 months per 100 m,respectively.Thus,the ECM represents a significant innovation in enhancing the stability and construction efficiency of large-span rock tunnels,marking a novel contribution to the engineering field.展开更多
The precise control of the shape of transversely stiffened suspended cable systems is crucial. However, existing form-finding methods primarily rely on iterative calculations that treat loads as fixed known conditions...The precise control of the shape of transversely stiffened suspended cable systems is crucial. However, existing form-finding methods primarily rely on iterative calculations that treat loads as fixed known conditions. These methods are inefficient and fail to accurately control shape results. In this study, we propose a form-finding method that analyzes the load response of models under different sag and stress levels, taking into account the construction process. To analyze the system, a structural finite element model was established in ANSYS, and geometric nonlinear analysis was conducted using the Newton-Raphson method. The form-finding analysis results demonstrate that the proposed method achieves precise control of shape, with a maximum shape error ranging from 0.33% to 0.98%. Furthermore, the relationships between loads and tension forces are influenced by the deformed shape of the structures, exhibiting significant geometric nonlinear characteristics. Meanwhile, the load response analysis reveals that the stress level of the self-equilibrium state in the transversely stiffened suspended cable system is primarily governed by strength criteria, while shape is predominantly controlled by stiffness criteria. Importantly, by simulating the initial tensioning process as an initial condition, this method solves for a counterweight that satisfies the requirements and achieves a self-equilibrium state with the desired shape. The shape of the self-equilibrium state is precisely controlled by simulating the construction process. Overall, this work presents a new method for analyzing the form-finding process of large-span transversely stiffened suspended cable system, considering the construction process which was often overlooked in previous studies.展开更多
基金supported by the National Natural Science Foundation of the People's Republic of China“On disjoint path covers of graphs and related problems”(12261085)Natural Science Foundation of Xinjiang Uygur Autonomous Region of China“On spanning wide diameter and spanning cycle ability of interconnection networks”(2021D01C116)。
文摘A t-container Ct(u,v)is a set of t internally disjoint paths between two distinct vertices u and v in a graph G,i.e.,Ct(u,v)={P_(1),P_(2),···,Pt}.Moreover,if V(P_(1))∪V(P_(2))∪···∪V(Pt)=V(G)then Ct(u,v)is called a spanning t-container,denoted by C_(t)^(sc)(u,v).The length of C_(t)^(sc)(u,v)={P_(1),P_(2),···,Pt}is l(C_(t)^(sc)(u,v))=max{l(P_(i))|1≤i≤t}.A graph G is spanning t-connected if there exists a spanning t-container between any two distinct vertices u and v in G.Assume that u and v are two distinct vertices in a spanning t-connected graph G.Let D_(t)^(sc)(u,v)be the collection of all C_(t)^(sc)(u,v)’s.Define the spanning t-wide distance between u and v in G,d_(t)^(sc)(u,v)=min{l(C_(t)^(sc)(u,v))|C_(t)^(sc)(u,v)∈D_(t)^(sc)(u,v)},and the spanning t-wide diameter of G,D_(t)^(sc)(G)=max{d_(t)^(sc)(u,v)|u,v∈V(G)}.In particular,the spanning wide diameter of G is D_(κ)^(sc)(G),whereκis the connectivity of G.In the paper we provide the upper and lower bounds of the spanning wide diameter of a graph,and show that the bounds are best possible.We also determine the exact values of wide diameters of some well known graphs including Harary graphs and generalized Petersen graphs et al..
基金Projects(42377148,51674265)supported by the National Natural Science Foundation of ChinaProject(2018YFC0603705)supported by the National Key Research and Development Program of China。
文摘Engineering shallow,large-span rock tunnels challenges deformation control and escalates construction costs.This study investigates the excavation compensation method(ECM)and its associated technologies to address these issues.Utilizing five key technologies,the ECM effectively modulates radial stress post-excavation,redistributes stress in the surrounding rock,and eliminates tensile stress at the excavation face.Pre-tensioning measures further enhance the rock’s residual strength,establishing a new stability equilibrium.Field tests corroborate the method’s effectiveness,demonstrating a crown settlement reduction of 3–8 mm,a nearly 50%decrease compared to conventional construction approaches.Additionally,material consumption and construction duration were reduced by approximately 30%–35%and 1.75 months per 100 m,respectively.Thus,the ECM represents a significant innovation in enhancing the stability and construction efficiency of large-span rock tunnels,marking a novel contribution to the engineering field.
文摘The precise control of the shape of transversely stiffened suspended cable systems is crucial. However, existing form-finding methods primarily rely on iterative calculations that treat loads as fixed known conditions. These methods are inefficient and fail to accurately control shape results. In this study, we propose a form-finding method that analyzes the load response of models under different sag and stress levels, taking into account the construction process. To analyze the system, a structural finite element model was established in ANSYS, and geometric nonlinear analysis was conducted using the Newton-Raphson method. The form-finding analysis results demonstrate that the proposed method achieves precise control of shape, with a maximum shape error ranging from 0.33% to 0.98%. Furthermore, the relationships between loads and tension forces are influenced by the deformed shape of the structures, exhibiting significant geometric nonlinear characteristics. Meanwhile, the load response analysis reveals that the stress level of the self-equilibrium state in the transversely stiffened suspended cable system is primarily governed by strength criteria, while shape is predominantly controlled by stiffness criteria. Importantly, by simulating the initial tensioning process as an initial condition, this method solves for a counterweight that satisfies the requirements and achieves a self-equilibrium state with the desired shape. The shape of the self-equilibrium state is precisely controlled by simulating the construction process. Overall, this work presents a new method for analyzing the form-finding process of large-span transversely stiffened suspended cable system, considering the construction process which was often overlooked in previous studies.
