Taking the Xinhe mine's structure, mine pressure, structural fissure, fault andfault displacement, the distance between fault and water inrush point, thickness of block,water pressure those geological factors whic...Taking the Xinhe mine's structure, mine pressure, structural fissure, fault andfault displacement, the distance between fault and water inrush point, thickness of block,water pressure those geological factors which influenced the water inrush as the independentvariable, based on these data of water inrush point and water uninrush point, usingthe method of quantification theory(Ⅰ,Ⅱ), it would quantitatively disposes the qualitativevariable, applied to calculation to evaluate the risk of Xinhe's water inrush.展开更多
An axisymmetrical analytical solution is developed to investigate the vertical time-harmonic vibration of a floating pile in a saturated viscoelastic soil layer overlaying bedrock. The soil is described by porous medi...An axisymmetrical analytical solution is developed to investigate the vertical time-harmonic vibration of a floating pile in a saturated viscoelastic soil layer overlaying bedrock. The soil is described by porous medium model established by Boer, while the pile is described by a beam vibration theory. By using separation theory of differential operator and variables to solve the dynamic governing equations for the soil, the fundamental solutions for the soil reactions on side and bottom of the pile are obtained. The dynamic impedance of the pile head is then derived by solving the vibration equation for the pile according to the compatibility condition between the pile and the soil. The proposed model is validated by comparing special cases of our model with the existing results. Numerical examples are presented to analyze the vibration characteristics of the pile.展开更多
The cutting slopes in soft rock of redbed appeared in Yichang-Badong highway often suffer from the instability along weak intercalations, so the creep behaviors of weak intercalated soils are crucially important for t...The cutting slopes in soft rock of redbed appeared in Yichang-Badong highway often suffer from the instability along weak intercalations, so the creep behaviors of weak intercalated soils are crucially important for the stability of cutting slopes. Because the deformation of weak intercalated soils is significantly affected by water content due to the strong water sensitivity, it is necessary to study the influence of matric suction on the creep behaviors of weak intercalated soils. In order to find out the unsaturated creep characters of weak intercalated soils, a GDS unsaturated triaxial apparatus was used. Then the triaxial creep experiments on weak intercalated soil samples under varying matric suction were conducted to obtain the unsaturated creep curves. The results show that the weak intercalated soils have obvious creep behaviors, and the creep strain is in nonlinear relationship with stress and time. When the matric suction is constant, a larger deviator stress will lead to a larger creep strain; When the deviator stress is constant, a smaller matric suction will lead to a larger creep strain. Based on the Mesri creep model, an improved creep model for weak intercalated soils under varying matric suction was established, in which the relationship of stress-strain was expressed with a hyperbolic function, and the relationship of strain-time was expressed with power functions in stages. Then an unsaturated creep model including stress-matric suction-strain-time for weak intercalated soils was established based on the power function relationship between matric suction and Ed(a parameter of the improved creep model). The comparison of the calculated values of creep model and the experimental values shows that the creep behaviors of weak intercalated soils can be predicted by the unsaturated creep model by and large.展开更多
Taking the effect of finite soil layers below pile end into account,the longitudinal dynamic response of pile undergoing dynamic loading in layered soil was theoretically investigated.Firstly,finite soil layers below ...Taking the effect of finite soil layers below pile end into account,the longitudinal dynamic response of pile undergoing dynamic loading in layered soil was theoretically investigated.Firstly,finite soil layers below pile end are modeled as virtual soil pile whose cross-section area is the same as that of the pile and the soil layers surrounding the pile are described by the plane strain model.Then,by virtue of Laplace transform and impedance function transfer method,the analytical solution of longitudinal dynamic response at the pile head in frequency domain is yielded.Also,the semi-analytical solution in time domain undergoing half-cycle sine pulse at the pile head is obtained by means of inverse Laplace transform.Based on these solutions,a parametric study is conducted to analyze emphatically the effects of parameters of soil below pile end on velocity admittance and reflected wave signals at the pile head.Additionally,a comparison with other models with different supporting conditions from soil below pile end is performed to verify the model presented.展开更多
A new method of system failure analysis was proposed. First, considering the relationships between the failure subsystems,the decision making trial and evaluation laboratory(DEMATEL) method was used to calculate the d...A new method of system failure analysis was proposed. First, considering the relationships between the failure subsystems,the decision making trial and evaluation laboratory(DEMATEL) method was used to calculate the degree of correlation between the failure subsystems, analyze the combined effect of related failures, and obtain the degree of correlation by using the directed graph and matrix operations. Then, the interpretative structural modeling(ISM) method was combined to intuitively show the logical relationship of many failure subsystems and their influences on each other by using multilevel hierarchical structure model and obtaining the critical subsystems. Finally, failure mode effects and criticality analysis(FMECA) was used to perform a qualitative hazard analysis of critical subsystems, determine the critical failure mode, and clarify the direction of reliability improvement.Through an example, the result demonstrates that the proposed method can be efficiently applied to system failure analysis problems.展开更多
Separation issue is one of the most important problems about cloud computing security. Tenants should be separated from each other based on cloud infrastructure and different users from one tenant should be separated ...Separation issue is one of the most important problems about cloud computing security. Tenants should be separated from each other based on cloud infrastructure and different users from one tenant should be separated from each other with the constraint of security policies. Learning from the notion of trusted cloud computing and trustworthiness in cloud, in this paper, a multi-level authorization separation model is formally described, and a series of rules are proposed to summarize the separation property of this model. The correctness of the rules is proved. Furthermore, based on this model, a tenant separation mechanism is deployed in a real world mixed-critical information system. Performance benchmarks have shown the availability and efficiency of this mechanism.展开更多
In this paper, form vulnerability theory was applied to the analysis of the failure mechanisms of single-layer latticed spherical shells subjected to seismic excitations. Three 1/10 scale testing models were designed ...In this paper, form vulnerability theory was applied to the analysis of the failure mechanisms of single-layer latticed spherical shells subjected to seismic excitations. Three 1/10 scale testing models were designed with characteristics as follows： Model 1 possesses overall uniform stiffness and is expected to collapse in the strength failure mode as some members become plastic; Model 2 possesses six man-made weak parts located on six radial main rib zones and is expected to collapse in the dynamic in- stability mode with all members still in the elastic stage; Model 3 strengthens the six weak zones of Model 2, and therefore, its stiffness is uniform. Model 3 is proposed to collapse in the strength failure mode when the members are still in the elastic stage By increasing the peak ground accelerations of seismic waves gradually, the shaking table tests were carried out until all three models collapsed （or locally collapsed）. On the basis of form vulnerability theory, topological hierarchy models of the test models were established through a clustering process, and various failure scenarios, including overall collapse scenarios and partial collapse scenarios, were identified by unzipping corresponding hierarchical models. By comparison of the failure scenarios based on theoretical analysis and experiments, it was found that vulnerability theory could effectively reflect the weak- ness zones in topological relations of the structures from the perspective of internal causes. The intemal mechanisms of the distinct failure characteristics of reticulated shells subjected to seismic excitations were also revealed in this process. The well-formedness of structural clusters, Q, is closely related to the collapse modes, i.e., uniform changes of Q indicate a uniform distribution of overall structural stiffness, which indicates that strength failure is likely to happen; conversely, non-uniform changes of Q indicate that weak zones exist in the structure, and dynamic instability is likely to occur.展开更多
Traffic incident happens frequently in urban traffic network and it affects normal operation of traffic system seriously so that study on incident-based congestion control strategies is very important. This study addr...Traffic incident happens frequently in urban traffic network and it affects normal operation of traffic system seriously so that study on incident-based congestion control strategies is very important. This study addresses the problem of the temporary vehicle movement bans design under incident-based traffic congestion situation. A bi-level programming model is proposed to formulate this problem. The upper level problem is to minimize the total travel cost in the view of traffic management agencies, and the lower level problem is to present travelers’ dynamic route choice behavior under temporary vehicle movement bans using the simulation of cell transmission model, then a genetic algorithm is employed to solve the proposed bi-level programming model. Computational results show that the temporary vehicle movement bans measure is able to alleviate the traffic network incident-based congestion effectively and improve system performance of traffic network.展开更多
Using lattice basis delegation in a fixed dimension, we propose an efficient lattice-based hierarchical identity based encryption（HIBE） scheme in the standard model whose public key size is only（dm^2＋ mn） log q b...Using lattice basis delegation in a fixed dimension, we propose an efficient lattice-based hierarchical identity based encryption（HIBE） scheme in the standard model whose public key size is only（dm^2＋ mn） log q bits and whose message-ciphertext expansion factor is only log q, where d is the maximum hierarchical depth and（n, m, q）are public parameters. In our construction, a novel public key assignment rule is used to averagely assign one random and public matrix to two identity bits, which implies that d random public matrices are enough to build the proposed HIBE scheme in the standard model, compared with the case in which 2d such public matrices are needed in the scheme proposed at Crypto 2010 whose public key size is（2dm^2＋ mn ＋ m） log q. To reduce the message-ciphertext expansion factor of the proposed scheme to log q, the encryption algorithm of this scheme is built based on Gentry＇s encryption scheme, by which m^2 bits of plaintext are encrypted into m^2 log q bits of ciphertext by a one time encryption operation. Hence, the presented scheme has some advantages with respect to not only the public key size but also the message-ciphertext expansion factor. Based on the hardness of the learning with errors problem, we demonstrate that the scheme is secure under selective identity and chosen plaintext attacks.展开更多
文摘Taking the Xinhe mine's structure, mine pressure, structural fissure, fault andfault displacement, the distance between fault and water inrush point, thickness of block,water pressure those geological factors which influenced the water inrush as the independentvariable, based on these data of water inrush point and water uninrush point, usingthe method of quantification theory(Ⅰ,Ⅱ), it would quantitatively disposes the qualitativevariable, applied to calculation to evaluate the risk of Xinhe's water inrush.
基金Projects(50809009,51578100) supported by the National Natural Science Foundation of ChinaProjects(3132014326,3132015095) supported by the Fundamental Research Funds for the Central Universities of China
文摘An axisymmetrical analytical solution is developed to investigate the vertical time-harmonic vibration of a floating pile in a saturated viscoelastic soil layer overlaying bedrock. The soil is described by porous medium model established by Boer, while the pile is described by a beam vibration theory. By using separation theory of differential operator and variables to solve the dynamic governing equations for the soil, the fundamental solutions for the soil reactions on side and bottom of the pile are obtained. The dynamic impedance of the pile head is then derived by solving the vibration equation for the pile according to the compatibility condition between the pile and the soil. The proposed model is validated by comparing special cases of our model with the existing results. Numerical examples are presented to analyze the vibration characteristics of the pile.
基金supported by Natural Science Foundation of China (Grant No. 41502278)National Natural Science Foundation of China (Grant No. 41272377)+1 种基金China Postdoctoral Science Foundation funded project (2015M582588)Science & Technology Project of Hubei Traffic and Transport Office of China (2011)
文摘The cutting slopes in soft rock of redbed appeared in Yichang-Badong highway often suffer from the instability along weak intercalations, so the creep behaviors of weak intercalated soils are crucially important for the stability of cutting slopes. Because the deformation of weak intercalated soils is significantly affected by water content due to the strong water sensitivity, it is necessary to study the influence of matric suction on the creep behaviors of weak intercalated soils. In order to find out the unsaturated creep characters of weak intercalated soils, a GDS unsaturated triaxial apparatus was used. Then the triaxial creep experiments on weak intercalated soil samples under varying matric suction were conducted to obtain the unsaturated creep curves. The results show that the weak intercalated soils have obvious creep behaviors, and the creep strain is in nonlinear relationship with stress and time. When the matric suction is constant, a larger deviator stress will lead to a larger creep strain; When the deviator stress is constant, a smaller matric suction will lead to a larger creep strain. Based on the Mesri creep model, an improved creep model for weak intercalated soils under varying matric suction was established, in which the relationship of stress-strain was expressed with a hyperbolic function, and the relationship of strain-time was expressed with power functions in stages. Then an unsaturated creep model including stress-matric suction-strain-time for weak intercalated soils was established based on the power function relationship between matric suction and Ed(a parameter of the improved creep model). The comparison of the calculated values of creep model and the experimental values shows that the creep behaviors of weak intercalated soils can be predicted by the unsaturated creep model by and large.
基金Project(50879077) supported by the National Natural Science Foundation of China
文摘Taking the effect of finite soil layers below pile end into account,the longitudinal dynamic response of pile undergoing dynamic loading in layered soil was theoretically investigated.Firstly,finite soil layers below pile end are modeled as virtual soil pile whose cross-section area is the same as that of the pile and the soil layers surrounding the pile are described by the plane strain model.Then,by virtue of Laplace transform and impedance function transfer method,the analytical solution of longitudinal dynamic response at the pile head in frequency domain is yielded.Also,the semi-analytical solution in time domain undergoing half-cycle sine pulse at the pile head is obtained by means of inverse Laplace transform.Based on these solutions,a parametric study is conducted to analyze emphatically the effects of parameters of soil below pile end on velocity admittance and reflected wave signals at the pile head.Additionally,a comparison with other models with different supporting conditions from soil below pile end is performed to verify the model presented.
基金Project(51275205)supported by the National Natural Science Foundation of China
文摘A new method of system failure analysis was proposed. First, considering the relationships between the failure subsystems,the decision making trial and evaluation laboratory(DEMATEL) method was used to calculate the degree of correlation between the failure subsystems, analyze the combined effect of related failures, and obtain the degree of correlation by using the directed graph and matrix operations. Then, the interpretative structural modeling(ISM) method was combined to intuitively show the logical relationship of many failure subsystems and their influences on each other by using multilevel hierarchical structure model and obtaining the critical subsystems. Finally, failure mode effects and criticality analysis(FMECA) was used to perform a qualitative hazard analysis of critical subsystems, determine the critical failure mode, and clarify the direction of reliability improvement.Through an example, the result demonstrates that the proposed method can be efficiently applied to system failure analysis problems.
基金supported by the Fundamental Research funds for the central Universities of China (No. K15JB00190)the Ph.D. Programs Foundation of Ministry of Education of China (No. 20120009120010)the Program for Innovative Research Team in University of Ministry of Education of China (IRT201206)
文摘Separation issue is one of the most important problems about cloud computing security. Tenants should be separated from each other based on cloud infrastructure and different users from one tenant should be separated from each other with the constraint of security policies. Learning from the notion of trusted cloud computing and trustworthiness in cloud, in this paper, a multi-level authorization separation model is formally described, and a series of rules are proposed to summarize the separation property of this model. The correctness of the rules is proved. Furthermore, based on this model, a tenant separation mechanism is deployed in a real world mixed-critical information system. Performance benchmarks have shown the availability and efficiency of this mechanism.
基金supported by the National Natural Science Foundation of China (Grant No. 90715005)the New Century Excellent Talent of Ministry of Education of China (Grant No. NCET-07-0186)the Doctoral Fund of Ministry of China (Grant No. 200802860007)
文摘In this paper, form vulnerability theory was applied to the analysis of the failure mechanisms of single-layer latticed spherical shells subjected to seismic excitations. Three 1/10 scale testing models were designed with characteristics as follows： Model 1 possesses overall uniform stiffness and is expected to collapse in the strength failure mode as some members become plastic; Model 2 possesses six man-made weak parts located on six radial main rib zones and is expected to collapse in the dynamic in- stability mode with all members still in the elastic stage; Model 3 strengthens the six weak zones of Model 2, and therefore, its stiffness is uniform. Model 3 is proposed to collapse in the strength failure mode when the members are still in the elastic stage By increasing the peak ground accelerations of seismic waves gradually, the shaking table tests were carried out until all three models collapsed （or locally collapsed）. On the basis of form vulnerability theory, topological hierarchy models of the test models were established through a clustering process, and various failure scenarios, including overall collapse scenarios and partial collapse scenarios, were identified by unzipping corresponding hierarchical models. By comparison of the failure scenarios based on theoretical analysis and experiments, it was found that vulnerability theory could effectively reflect the weak- ness zones in topological relations of the structures from the perspective of internal causes. The intemal mechanisms of the distinct failure characteristics of reticulated shells subjected to seismic excitations were also revealed in this process. The well-formedness of structural clusters, Q, is closely related to the collapse modes, i.e., uniform changes of Q indicate a uniform distribution of overall structural stiffness, which indicates that strength failure is likely to happen; conversely, non-uniform changes of Q indicate that weak zones exist in the structure, and dynamic instability is likely to occur.
基金supported by the National Natural Science Foundation of China (Grant Nos. 70871009 and 71071016)
文摘Traffic incident happens frequently in urban traffic network and it affects normal operation of traffic system seriously so that study on incident-based congestion control strategies is very important. This study addresses the problem of the temporary vehicle movement bans design under incident-based traffic congestion situation. A bi-level programming model is proposed to formulate this problem. The upper level problem is to minimize the total travel cost in the view of traffic management agencies, and the lower level problem is to present travelers’ dynamic route choice behavior under temporary vehicle movement bans using the simulation of cell transmission model, then a genetic algorithm is employed to solve the proposed bi-level programming model. Computational results show that the temporary vehicle movement bans measure is able to alleviate the traffic network incident-based congestion effectively and improve system performance of traffic network.
基金Project supported by the National Natural Science Foundation of China（Nos.61303198,61471409,61472470,and 61402112） the Natural Science Foundation of Shandong Province,China（No.ZR2013FQ031）
文摘Using lattice basis delegation in a fixed dimension, we propose an efficient lattice-based hierarchical identity based encryption（HIBE） scheme in the standard model whose public key size is only（dm^2＋ mn） log q bits and whose message-ciphertext expansion factor is only log q, where d is the maximum hierarchical depth and（n, m, q）are public parameters. In our construction, a novel public key assignment rule is used to averagely assign one random and public matrix to two identity bits, which implies that d random public matrices are enough to build the proposed HIBE scheme in the standard model, compared with the case in which 2d such public matrices are needed in the scheme proposed at Crypto 2010 whose public key size is（2dm^2＋ mn ＋ m） log q. To reduce the message-ciphertext expansion factor of the proposed scheme to log q, the encryption algorithm of this scheme is built based on Gentry＇s encryption scheme, by which m^2 bits of plaintext are encrypted into m^2 log q bits of ciphertext by a one time encryption operation. Hence, the presented scheme has some advantages with respect to not only the public key size but also the message-ciphertext expansion factor. Based on the hardness of the learning with errors problem, we demonstrate that the scheme is secure under selective identity and chosen plaintext attacks.
