Four different types of three-body model composed of rock and coal with different strength and stiffness were established in order to study the failure characteristics of compound model such as roof-coal-floor. Throug...Four different types of three-body model composed of rock and coal with different strength and stiffness were established in order to study the failure characteristics of compound model such as roof-coal-floor. Through stress analysis of the element with variable strength and stiffness extracted from the strong-weak interface, the tri-axial compressive strength of the weak body and strong body near the interface as well as the areas away from the contact surface was found. Then, on the basis of three-dimensional fast Lagrangian method of continua and strain softening constitutive model composed of Coulomb-Mohr shear failure with tensile cut-off, stress and strain relationship of the four three-body combined models were analyzed under different confining pressures by numerical simulation. Finally, the different features of local shear zones and plastic failure areas of the four different models and their development trend with increasing confining pressure were discussed. The results show that additional stresses are derived due to the lateral deformation constraints near the strong-weak interface area, which results in the strength increasing in weak body and strength decreasing in strong body. The weakly consolidated soft rock and coal cementation exhibit significant strain softening behavior and bear compound tension-shear failure under uni-axial compression. With the increase of confining pressure, the tensile failure disappears from the model, and the failure type of composed model changes to local shear failure with different number of shearing bands and plastic failure zones. This work shows important guiding significance for the mechanism study of seismic, rock burst, and coal bump.展开更多
Canetti and Herzog have already proposed universally composable symbolic analysis(UCSA) to analyze mutual authentication and key exchange protocols. However,they do not analyze group key exchange protocol. Therefore,t...Canetti and Herzog have already proposed universally composable symbolic analysis(UCSA) to analyze mutual authentication and key exchange protocols. However,they do not analyze group key exchange protocol. Therefore,this paper explores an approach to analyze group key exchange protocols,which realize automation and guarantee the soundness of cryptography. Considered that there exist many kinds of group key exchange protocols and the participants’ number of each protocol is arbitrary. So this paper takes the case of Burmester-Desmedt(BD) protocol with three participants against passive adversary(3-BD-Passive) . In a nutshell,our works lay the root for analyzing group key exchange protocols automatically without sacrificing soundness of cryptography.展开更多
色彩调整的方式和思路有很多.本文以Avid Media Composer为例.叙述一种分阶段校色的方法。此方法将校色分为四个阶段:亮度范围调整.色调调整.镜头间影调一致性调整.形成影片总体风格调整。分阶段,分步骤地完成画面的校色工作,可以使繁...色彩调整的方式和思路有很多.本文以Avid Media Composer为例.叙述一种分阶段校色的方法。此方法将校色分为四个阶段:亮度范围调整.色调调整.镜头间影调一致性调整.形成影片总体风格调整。分阶段,分步骤地完成画面的校色工作,可以使繁琐的校色过程思路清晰、目标明确、有章可循,从而更好地完成校色任务。展开更多
Mete Sakpmar, who was born in Ankara, May 5, 1954, is a contemporary Turkish composer. His compositions were played in various countries like Turkey, France （1980-1983）, Canada, Australia, Sweden, Norway, Hungary, A...Mete Sakpmar, who was born in Ankara, May 5, 1954, is a contemporary Turkish composer. His compositions were played in various countries like Turkey, France （1980-1983）, Canada, Australia, Sweden, Norway, Hungary, Albania, Belgium, Holland, and German, and he also joined lots of seminars, radio, and television programs. His inspirational sources are traditional Turkish music, modern French music, American cultural traditions, as well as jazz, acoustic, and electronic music. His music, in summary, is about taking a little from tonality, twelve-note system, coincidences, improvisations, etc., and joining them with his own experiences like emotions, knowledge, and intelligence. Sakpmar always defends that the composer of the day has to benefit from lots of various sources. He is doing this as well as trying new forms in every new piece. It does not matter if these are tonal, atonal, serial, or modal but it must be personal. All the borders and capacities of the instruments have to be forced.展开更多
基金Project(51174128)supported by the National Natural Science Foundation of ChinaProject(20123718110007)supported by the Specialized Research Fund for the Doctoral Program of Higher Education of China
文摘Four different types of three-body model composed of rock and coal with different strength and stiffness were established in order to study the failure characteristics of compound model such as roof-coal-floor. Through stress analysis of the element with variable strength and stiffness extracted from the strong-weak interface, the tri-axial compressive strength of the weak body and strong body near the interface as well as the areas away from the contact surface was found. Then, on the basis of three-dimensional fast Lagrangian method of continua and strain softening constitutive model composed of Coulomb-Mohr shear failure with tensile cut-off, stress and strain relationship of the four three-body combined models were analyzed under different confining pressures by numerical simulation. Finally, the different features of local shear zones and plastic failure areas of the four different models and their development trend with increasing confining pressure were discussed. The results show that additional stresses are derived due to the lateral deformation constraints near the strong-weak interface area, which results in the strength increasing in weak body and strength decreasing in strong body. The weakly consolidated soft rock and coal cementation exhibit significant strain softening behavior and bear compound tension-shear failure under uni-axial compression. With the increase of confining pressure, the tensile failure disappears from the model, and the failure type of composed model changes to local shear failure with different number of shearing bands and plastic failure zones. This work shows important guiding significance for the mechanism study of seismic, rock burst, and coal bump.
基金supported by National Natural Science Foundation of China No.61003262,National Natural Science Foundation of China No.60873237Doctoral Fund of Ministry of Education of China No.20070007071
文摘Canetti and Herzog have already proposed universally composable symbolic analysis(UCSA) to analyze mutual authentication and key exchange protocols. However,they do not analyze group key exchange protocol. Therefore,this paper explores an approach to analyze group key exchange protocols,which realize automation and guarantee the soundness of cryptography. Considered that there exist many kinds of group key exchange protocols and the participants’ number of each protocol is arbitrary. So this paper takes the case of Burmester-Desmedt(BD) protocol with three participants against passive adversary(3-BD-Passive) . In a nutshell,our works lay the root for analyzing group key exchange protocols automatically without sacrificing soundness of cryptography.
文摘色彩调整的方式和思路有很多.本文以Avid Media Composer为例.叙述一种分阶段校色的方法。此方法将校色分为四个阶段:亮度范围调整.色调调整.镜头间影调一致性调整.形成影片总体风格调整。分阶段,分步骤地完成画面的校色工作,可以使繁琐的校色过程思路清晰、目标明确、有章可循,从而更好地完成校色任务。
文摘Mete Sakpmar, who was born in Ankara, May 5, 1954, is a contemporary Turkish composer. His compositions were played in various countries like Turkey, France （1980-1983）, Canada, Australia, Sweden, Norway, Hungary, Albania, Belgium, Holland, and German, and he also joined lots of seminars, radio, and television programs. His inspirational sources are traditional Turkish music, modern French music, American cultural traditions, as well as jazz, acoustic, and electronic music. His music, in summary, is about taking a little from tonality, twelve-note system, coincidences, improvisations, etc., and joining them with his own experiences like emotions, knowledge, and intelligence. Sakpmar always defends that the composer of the day has to benefit from lots of various sources. He is doing this as well as trying new forms in every new piece. It does not matter if these are tonal, atonal, serial, or modal but it must be personal. All the borders and capacities of the instruments have to be forced.
