For the backfill hydraulic support as the key equipment for achieving integration of backfilling and coal mining simultaneously in the practical process, its characteristics will directly influence the backfill body&#...For the backfill hydraulic support as the key equipment for achieving integration of backfilling and coal mining simultaneously in the practical process, its characteristics will directly influence the backfill body's compression ratio. Horizontal roof gap, as a key parameter of backfilling characteristics, may impact the backfilling effect from the aspects of control of roof subsidence in advance, support stress, backfilling process and the support design. Firstly, the reason why horizontal roof gap exists was analyzed and its definition, causes and connotation were introduced, then adopting the Pro/E 3D simulation software, three typical 3D entity models of backfill hydraulic supports were built, based on the influence of horizontal roof gap on backfilling effect, and influence rules of four factors, i.e. support height, suspension height, suspension angle and tamping angle, were emphatically analyzed on horizontal roof gap. The results indicate that, the four factors all have significant impacts on horizontal roof gap, but show differences in influence trend and degree, showing negative linear correlation, positive linear correlation, positive semi-parabolic correlation and negative semi-parabolic correlation, respectively. Four legs type is the most adaptive to the four factors, while six legs(II) type has the poorest adaptability, and the horizontal roof gap is small under large support height, small suspension height, small suspension angle and large tamping angle situation. By means of optimizing structure components and their positional relation and suspension height of backfill scrape conveyor in the process of support design and through controlling working face deployment, roof subsidence in advance, mining height and backfilling during engineering application, the horizontal roof gap is optimized. The research results can be served as theoretical basis for support design and guidance for backfill support to have better performance in backfilling.展开更多
Role based access control is one of the widely used access control models.There are investigations in the literature that use knowledge representation mechanisms such as formal concept analysis(FCA),description logics...Role based access control is one of the widely used access control models.There are investigations in the literature that use knowledge representation mechanisms such as formal concept analysis(FCA),description logics,and Ontology for representing access control mechanism.However,while using FCA,investigations reported in the literature so far work on the logic that transforms the three dimensional access control matrix into dyadic formal contexts.This transformation is mainly to derive the formal concepts,lattice structure and implications to represent role hierarchy and constraints of RBAC.In this work,we propose a methodology that models RBAC using triadic FCA without transforming the triadic access control matrix into dyadic formal contexts.Our discussion is on two lines of inquiry.We present how triadic FCA can provide a suitable representation of RBAC policy and we demonstrate how this representation follows role hierarchy and constraints of RBAC on sample healthcare network available in the literature.展开更多
基金Project(2014ZDPY02) supported by the Fundamental Research Funds for the Central Universities,ChinaProject supported by Qinglan Plan of Jiangsu Province,ChinaProject(SKLCRSM12X01) supported by State Key Laboratory of Coal Resources and Safe Mining(China University of Mining & Technology)
文摘For the backfill hydraulic support as the key equipment for achieving integration of backfilling and coal mining simultaneously in the practical process, its characteristics will directly influence the backfill body's compression ratio. Horizontal roof gap, as a key parameter of backfilling characteristics, may impact the backfilling effect from the aspects of control of roof subsidence in advance, support stress, backfilling process and the support design. Firstly, the reason why horizontal roof gap exists was analyzed and its definition, causes and connotation were introduced, then adopting the Pro/E 3D simulation software, three typical 3D entity models of backfill hydraulic supports were built, based on the influence of horizontal roof gap on backfilling effect, and influence rules of four factors, i.e. support height, suspension height, suspension angle and tamping angle, were emphatically analyzed on horizontal roof gap. The results indicate that, the four factors all have significant impacts on horizontal roof gap, but show differences in influence trend and degree, showing negative linear correlation, positive linear correlation, positive semi-parabolic correlation and negative semi-parabolic correlation, respectively. Four legs type is the most adaptive to the four factors, while six legs(II) type has the poorest adaptability, and the horizontal roof gap is small under large support height, small suspension height, small suspension angle and large tamping angle situation. By means of optimizing structure components and their positional relation and suspension height of backfill scrape conveyor in the process of support design and through controlling working face deployment, roof subsidence in advance, mining height and backfilling during engineering application, the horizontal roof gap is optimized. The research results can be served as theoretical basis for support design and guidance for backfill support to have better performance in backfilling.
基金the financial support from Department of Science and Technology,Government of India under the grant:SR/CSRI/118/2014
文摘Role based access control is one of the widely used access control models.There are investigations in the literature that use knowledge representation mechanisms such as formal concept analysis(FCA),description logics,and Ontology for representing access control mechanism.However,while using FCA,investigations reported in the literature so far work on the logic that transforms the three dimensional access control matrix into dyadic formal contexts.This transformation is mainly to derive the formal concepts,lattice structure and implications to represent role hierarchy and constraints of RBAC.In this work,we propose a methodology that models RBAC using triadic FCA without transforming the triadic access control matrix into dyadic formal contexts.Our discussion is on two lines of inquiry.We present how triadic FCA can provide a suitable representation of RBAC policy and we demonstrate how this representation follows role hierarchy and constraints of RBAC on sample healthcare network available in the literature.
