Axiomatic design (AD) and theory of inventive problem solving (TRIZ) are widely used in conceptual design. Both of them have limitations, however. We presented an integrated model of these two methods to increase the ...Axiomatic design (AD) and theory of inventive problem solving (TRIZ) are widely used in conceptual design. Both of them have limitations, however. We presented an integrated model of these two methods to increase the efficiency and quality of the problem solving process for conceptual design. AD is used for systematically defining and structuring a problem into a hierarchy. Sometimes, the design matrix is coupled in AD which indicates the functional requirements are coupled. TRIZ separation principles can be used to separate non-independent design parameters, which provide innovative solutions at each hierarchical level. We applied the integrated model to the heating and drying equipment of bitumen reproduction device. The result verifies that the integrated model can work very well in conceptual design.展开更多
By restricting the common replacement axiom schema of ZF to ∑~M-formulae,Professor Zhang Jinwen constructed a series of subsystems of Zennelo-Frankel set theory ZF and he called them ZF^M.Zhao Xi shun show that the c...By restricting the common replacement axiom schema of ZF to ∑~M-formulae,Professor Zhang Jinwen constructed a series of subsystems of Zennelo-Frankel set theory ZF and he called them ZF^M.Zhao Xi shun show that the consistency of ZF^M can be deducted from ZF.Professor Zhang Jinwen raised the question whether the consistency of ZF^M can be deducted from ZF^(M+m(M)) for some m(n)≥1.In this paper,we get a positive solution to Professor Zhang's problem.Moreover,we show that the consistency of ZF^M can be deducted from ZF^(M+3).展开更多
In order to study the rules of distribution in a plastic zone of rocks, surrounding a roadway, affected by tectonic stress, we first analyzed the mechanics of a roadway affected by tectonic stress and derived a theore...In order to study the rules of distribution in a plastic zone of rocks, surrounding a roadway, affected by tectonic stress, we first analyzed the mechanics of a roadway affected by tectonic stress and derived a theoretical formula for the plastic zone of rocks surrounding a roadway. We also analyzed the distribution characteristics of the plastic zone under different levels of tectonic stress, vertical pressure, cohesion and friction angle of the surrounding rock. Secondly, we used numerical simulation to analyze the range and shape features of the plastic zone of rocks surrounding the roadway, given different tectonic stress levels. Finally we used a rock drilling detector to carry out field measurements on the broken state of rock surrounding the roadway at the –700 substation and channels in the Xinzhuang mine of the Shenhuo mining area. Given the measured ground stress, we analyzed the relationship between tectonic stress and the distribution of this plastic zone. Our results show that the range of the plastic zone at the top and bottom of the roadway increases with an increase in tectonic stress and this increase is especially obvious at the roadway corner.展开更多
基金Funded by the Natural Science Foundation of China (No. 50575083)
文摘Axiomatic design (AD) and theory of inventive problem solving (TRIZ) are widely used in conceptual design. Both of them have limitations, however. We presented an integrated model of these two methods to increase the efficiency and quality of the problem solving process for conceptual design. AD is used for systematically defining and structuring a problem into a hierarchy. Sometimes, the design matrix is coupled in AD which indicates the functional requirements are coupled. TRIZ separation principles can be used to separate non-independent design parameters, which provide innovative solutions at each hierarchical level. We applied the integrated model to the heating and drying equipment of bitumen reproduction device. The result verifies that the integrated model can work very well in conceptual design.
文摘By restricting the common replacement axiom schema of ZF to ∑~M-formulae,Professor Zhang Jinwen constructed a series of subsystems of Zennelo-Frankel set theory ZF and he called them ZF^M.Zhao Xi shun show that the consistency of ZF^M can be deducted from ZF.Professor Zhang Jinwen raised the question whether the consistency of ZF^M can be deducted from ZF^(M+m(M)) for some m(n)≥1.In this paper,we get a positive solution to Professor Zhang's problem.Moreover,we show that the consistency of ZF^M can be deducted from ZF^(M+3).
基金Financial support for this work, provided by the research fund of the State Key Laboratory of Coal Resources and Mine Safety of the China University of Mining & Technology (No.08kf11) is gratefully ac-knowledged
文摘In order to study the rules of distribution in a plastic zone of rocks, surrounding a roadway, affected by tectonic stress, we first analyzed the mechanics of a roadway affected by tectonic stress and derived a theoretical formula for the plastic zone of rocks surrounding a roadway. We also analyzed the distribution characteristics of the plastic zone under different levels of tectonic stress, vertical pressure, cohesion and friction angle of the surrounding rock. Secondly, we used numerical simulation to analyze the range and shape features of the plastic zone of rocks surrounding the roadway, given different tectonic stress levels. Finally we used a rock drilling detector to carry out field measurements on the broken state of rock surrounding the roadway at the –700 substation and channels in the Xinzhuang mine of the Shenhuo mining area. Given the measured ground stress, we analyzed the relationship between tectonic stress and the distribution of this plastic zone. Our results show that the range of the plastic zone at the top and bottom of the roadway increases with an increase in tectonic stress and this increase is especially obvious at the roadway corner.
