Rock bursts are spontaneous, violent fracture of rock that can occur in deep mines, and the likelihood of rock bursts occurring increases as depth of the mine increases. Rock bursts are also affected by the compressiv...Rock bursts are spontaneous, violent fracture of rock that can occur in deep mines, and the likelihood of rock bursts occurring increases as depth of the mine increases. Rock bursts are also affected by the compressive strength, tensile strength, tangential strength, elastic energy index, etc. of rock, and the relationship between these factors and rock bursts in deep mines is difficult to analyze from quantitative point. Typical rock burst instances as a sample set were collected, and membership function was introduced to process the discrete values of these factors with the discrete factors as condition attributes and rock burst situations as decision attributes. Dominance-based rough set theory was used to generate preference rules of rock burst, and eventually rock burst laws analysis in deep mines with preference relation was taken. The results show that this model for rock burst laws analysis in deep mines is more reasonable and feasible, and the prediction results are more scientific.展开更多
An additive functor F:A→B between additive categories is said to be objective,provided any morphism f in A with F(f)=0 factors through an object K with F(K)=0.We concentrate on triangle functors between triangulated ...An additive functor F:A→B between additive categories is said to be objective,provided any morphism f in A with F(f)=0 factors through an object K with F(K)=0.We concentrate on triangle functors between triangulated categories.The first aim of this paper is to characterize objective triangle functors F in several ways.Second,we are interested in the corresponding Verdier quotient functors VF:A→A/Ker F,in particular we want to know under what conditions VF is full.The third question to be considered concerns the possibility to factorize a given triangle functor F=F2F1with F1a full and dense triangle functor and F2a faithful triangle functor.It turns out that the behavior of splitting monomorphisms and splitting epimorphisms plays a decisive role.展开更多
基金Project(2011AA060407) supported by the National High Technology Research and Development Program of China
文摘Rock bursts are spontaneous, violent fracture of rock that can occur in deep mines, and the likelihood of rock bursts occurring increases as depth of the mine increases. Rock bursts are also affected by the compressive strength, tensile strength, tangential strength, elastic energy index, etc. of rock, and the relationship between these factors and rock bursts in deep mines is difficult to analyze from quantitative point. Typical rock burst instances as a sample set were collected, and membership function was introduced to process the discrete values of these factors with the discrete factors as condition attributes and rock burst situations as decision attributes. Dominance-based rough set theory was used to generate preference rules of rock burst, and eventually rock burst laws analysis in deep mines with preference relation was taken. The results show that this model for rock burst laws analysis in deep mines is more reasonable and feasible, and the prediction results are more scientific.
基金supported by National Natural Science Foundation of China(Grant Nos.11271251 and 11431010)Specialized Research Fund for the Doctoral Program of Higher Education(GrantNo.20120073110058)
文摘An additive functor F:A→B between additive categories is said to be objective,provided any morphism f in A with F(f)=0 factors through an object K with F(K)=0.We concentrate on triangle functors between triangulated categories.The first aim of this paper is to characterize objective triangle functors F in several ways.Second,we are interested in the corresponding Verdier quotient functors VF:A→A/Ker F,in particular we want to know under what conditions VF is full.The third question to be considered concerns the possibility to factorize a given triangle functor F=F2F1with F1a full and dense triangle functor and F2a faithful triangle functor.It turns out that the behavior of splitting monomorphisms and splitting epimorphisms plays a decisive role.
