http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Duo, Zhang Guang,Mu, Wu Jin 대한전자공학회 1992 HICEC:Harbin International Conference on Electroni Vol.1 No.1
This paper implements efficiently the problem of Mechanical Theorem Proving (MTP) in propositional logic according to the Davis & Putnam Rules. Through applying strategies, such as deleting, decomposing, merging and removing sequentially all the atoms and their negations, we can abandon all the used sets of ground clauses, and put forword the refutation procedure determinately step by step. And the conclusion can be obtained within at most m steps. (Here m indicates the number of the atoms in s0, the initial set of ground clauses.) Compared with all the past classical methods in solving the problem of MTP, the method provided by this paper has several advantages: simple, convenient, determinate and highly efficient; and it requires only a lower_level support of environment, for using non_intelligent languages, BASIC for example, may implement the problem of MTP simply and efficiently.
Chao Zhang,Guang-Yong Wang,Su-Duo Xue,Hong-Xia Yu 한국강구조학회 2016 International Journal of Steel Structures Vol.16 No.2
This paper presents an experiment study of the post-fire behavior of five SRC columns under combination of axial eccentrical loading and fire. The experiment phenomena and mechanical response of the SRC column specimens during experiment, specifically loading, heating, cooling and post-fire loading were observed. The residual load bearing capacity, failure modes and vertical deformation were studied. With the test program, the effects of parameters such as the load ratio, the fire duration time and the steel ratio were studied. It is shown that the effects of temperature delay become more obvious with the increase of the depth from the heated surface. Some of the SRC column specimens failed during the cooling phase. For other specimens residual deformations were observed when the furnace temperature decreased to ambient temperature. The influence of some parameters including the load ratio, the fire duration time and the steel ratio on the post-fire load bearing capacities was discussed. It can be concluded that the residual load bearing capacity of the SRC columns decreases with the increase of the fire duration time and the load ratio, and increases with the increase of the steel ratio. Finally, a finite-element analysis model was developed to simulate the behavior of the tested SRC columns.