The behavior of rigid piles in sandy soils under one-way cyclic oblique tensile loading represents a critical design consideration for floating renewable devices.These piles,when moored with catenary or taut moorings,...The behavior of rigid piles in sandy soils under one-way cyclic oblique tensile loading represents a critical design consideration for floating renewable devices.These piles,when moored with catenary or taut moorings,experience one-way cyclic tensile loads at inclinations ranging from 0°(horizontal)to 90°(vertical).However,the combined effects of cyclic loading and load inclination remain inadequately understood.This study presents findings from centrifuge tests conducted on rough rigid piles installed in dense sand samples.The results demonstrate that load inclinations significantly influence both cyclic response and ultimate capacity of the piles.Based on the observed cyclic response characteristics,the vertical cyclic load amplitude should not exceed 25%of the ultimate bearing capacity to maintain pile stability.A power expression(with exponent m values ranging from 0.055 to 0.065)is proposed for predicting cumulative pile displacement under unidirectional cyclic loading at inclinations from 0°to 60°.The cyclic response exhibits reduced sensitivity to horizontal cyclic load magnitude,with m-value increasing from 0.06 to 0.14 as load magnitude increases from 0.3 to 0.9.For piles maintaining stability under oblique cyclic loading,the average normalized secant stiffness exceeds 1 and increases with decreasing inclination,indicating enhanced pile stiffness under cyclic loading.For load inclinations below 30°,pile stiffness can be determined using logarithmic function.展开更多
In this paper we investigate the existence of model-equivalence reduction between NP-logic systems which are logic systems with model existence in NP.It is shown that among all NP-systems with model checking problem i...In this paper we investigate the existence of model-equivalence reduction between NP-logic systems which are logic systems with model existence in NP.It is shown that among all NP-systems with model checking problem in NP,the existentially quantified propositional logic（PF） is maximal with respect to poly-time model-equivalent reduction.However,PF seems not a maximal NP-system in general because there exits an NP-system with model checking problem DP-complete.展开更多
基金supported by Fundamental Research Funds for the Central Universities(Grant No.B200202050)Open Funds of Key Laboratory of Navigation Structure。
文摘The behavior of rigid piles in sandy soils under one-way cyclic oblique tensile loading represents a critical design consideration for floating renewable devices.These piles,when moored with catenary or taut moorings,experience one-way cyclic tensile loads at inclinations ranging from 0°(horizontal)to 90°(vertical).However,the combined effects of cyclic loading and load inclination remain inadequately understood.This study presents findings from centrifuge tests conducted on rough rigid piles installed in dense sand samples.The results demonstrate that load inclinations significantly influence both cyclic response and ultimate capacity of the piles.Based on the observed cyclic response characteristics,the vertical cyclic load amplitude should not exceed 25%of the ultimate bearing capacity to maintain pile stability.A power expression(with exponent m values ranging from 0.055 to 0.065)is proposed for predicting cumulative pile displacement under unidirectional cyclic loading at inclinations from 0°to 60°.The cyclic response exhibits reduced sensitivity to horizontal cyclic load magnitude,with m-value increasing from 0.06 to 0.14 as load magnitude increases from 0.3 to 0.9.For piles maintaining stability under oblique cyclic loading,the average normalized secant stiffness exceeds 1 and increases with decreasing inclination,indicating enhanced pile stiffness under cyclic loading.For load inclinations below 30°,pile stiffness can be determined using logarithmic function.
基金supported by the National Natural Science Foundation of China under Grant No.60970040Ministry of Education,Key Research Projects of Philosophy and Social Science under Grant No.05JJD72040122the Sun Yat-Sen University Young Scholar Project
文摘In this paper we investigate the existence of model-equivalence reduction between NP-logic systems which are logic systems with model existence in NP.It is shown that among all NP-systems with model checking problem in NP,the existentially quantified propositional logic（PF） is maximal with respect to poly-time model-equivalent reduction.However,PF seems not a maximal NP-system in general because there exits an NP-system with model checking problem DP-complete.
