We investigate how the category of comodules of bimonads can be made into a monoidal category.It suffices that the monad and comonad in question are bimonads,with some extra compatibility relation.On a monoidal catego...We investigate how the category of comodules of bimonads can be made into a monoidal category.It suffices that the monad and comonad in question are bimonads,with some extra compatibility relation.On a monoidal category of comodules of bimonads,we cons true t a braiding and get the necessary and sufficien t conditions making it a braided monoidal category.As an application,we consider the category of comodules of corings and the category of entwined modules.展开更多
Soil animal communities of Pinus koraiensis broad_leaved mixed forest were studied.The purpose was to discuss the dynamic characteristic of soil animals and relationship with environmental factors.The ecosystem geogra...Soil animal communities of Pinus koraiensis broad_leaved mixed forest were studied.The purpose was to discuss the dynamic characteristic of soil animals and relationship with environmental factors.The ecosystem geography distribution law of soil animals, soil animals’role and function in ecological system were revealed.In June,August,October each year,three plots were selected. In each plot, four layers were sampled(litter layer,0～10 cm,10～20 cm & 20～30 cm),adding up to 72 soil sample.The area for large_sized soil animals was 50 cm×50 cm,and the area for middle_small_sized soil animals was 10 cm × 10 cm.Separated soil animals through adopting hand_picking method and Tullgren method respectively.Sampled the soil animals in two continuing years.Shannon_Wiener index was adopted to analyze the diversity of soil animals.Monad liner regression was used to search the relationship between soil animals and environmental factors.The dominant groups were Oribatida, Isotomidae.There were relatively great changes in groups and individual numbers of dominant groups and rare groups when the reason changed.The individual numbers of dominant groups and the groups of rare groups changed.The number of individual and group was the most in August.Obviously it correlated with climatic factors in middle temperate zone.The evenness was low and dominance was high. The diversity index was not most.Among the annual fluctuating there was a increasing trend. The evenness was low and dominance was high.The diversity index was low.It conformed with the law of reason change.The correlation between soil animals and atmospheric temperature,rainfall,ground temperature and sunlight showed the correlation with rainfall and soil temperature was the most significant.展开更多
A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a pr...A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a procedure with the given labels, and then captures the callees＇ influence on callers when analyzing call statements. Phase 2 captures the callees＇ dependence on callers by replacing all given labels appearing in the corresponding sets of formal parameters. By the introduction of given labels, this slice method can obtain similar summary information in system-dependence-graph（SDG）-based algorithms for addressing the calling-context problem. With the use of the slice monad transformer, this monadic slicing approach achieves a high level of modularity and flexibility. It shows that the monadic interprocedural algorithm has less complexity and it is not less precise than SDG algorithms.展开更多
基金Supported by the National Natural Science Foundation of China(No.11601486)Foundation of Zhejiang Educational Commitee(No.Y201738645)Project of Zhejiang College,Shanghai University of Finance and Economics(No.2018YJYB01).
文摘We investigate how the category of comodules of bimonads can be made into a monoidal category.It suffices that the monad and comonad in question are bimonads,with some extra compatibility relation.On a monoidal category of comodules of bimonads,we cons true t a braiding and get the necessary and sufficien t conditions making it a braided monoidal category.As an application,we consider the category of comodules of corings and the category of entwined modules.
文摘Soil animal communities of Pinus koraiensis broad_leaved mixed forest were studied.The purpose was to discuss the dynamic characteristic of soil animals and relationship with environmental factors.The ecosystem geography distribution law of soil animals, soil animals’role and function in ecological system were revealed.In June,August,October each year,three plots were selected. In each plot, four layers were sampled(litter layer,0～10 cm,10～20 cm & 20～30 cm),adding up to 72 soil sample.The area for large_sized soil animals was 50 cm×50 cm,and the area for middle_small_sized soil animals was 10 cm × 10 cm.Separated soil animals through adopting hand_picking method and Tullgren method respectively.Sampled the soil animals in two continuing years.Shannon_Wiener index was adopted to analyze the diversity of soil animals.Monad liner regression was used to search the relationship between soil animals and environmental factors.The dominant groups were Oribatida, Isotomidae.There were relatively great changes in groups and individual numbers of dominant groups and rare groups when the reason changed.The individual numbers of dominant groups and the groups of rare groups changed.The number of individual and group was the most in August.Obviously it correlated with climatic factors in middle temperate zone.The evenness was low and dominance was high. The diversity index was not most.Among the annual fluctuating there was a increasing trend. The evenness was low and dominance was high.The diversity index was low.It conformed with the law of reason change.The correlation between soil animals and atmospheric temperature,rainfall,ground temperature and sunlight showed the correlation with rainfall and soil temperature was the most significant.
基金The National Outstanding Young Scientist Foundation by NSFC(No.60703086,60503020)
文摘A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a procedure with the given labels, and then captures the callees＇ influence on callers when analyzing call statements. Phase 2 captures the callees＇ dependence on callers by replacing all given labels appearing in the corresponding sets of formal parameters. By the introduction of given labels, this slice method can obtain similar summary information in system-dependence-graph（SDG）-based algorithms for addressing the calling-context problem. With the use of the slice monad transformer, this monadic slicing approach achieves a high level of modularity and flexibility. It shows that the monadic interprocedural algorithm has less complexity and it is not less precise than SDG algorithms.
