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.展开更多
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.展开更多
In order to ensure that the system has the advantage of light weight and vibration absorption, the steel rope is used as a flexible transmission part. A flexible drive unit(FDU) is developed, whose features are guided...In order to ensure that the system has the advantage of light weight and vibration absorption, the steel rope is used as a flexible transmission part. A flexible drive unit(FDU) is developed, whose features are guided by steel rope, increasing force by the movable pulley group, modular, convenient and flexible. Dynamics model for controller is deduced based on the constitutive equation of viscoelasticity. Controller is designed for position control and is based on the viscoelasticity dynamics model compensation control strategy proposed. The control system is based on the TURBO PMAC multi-axis motion control card.Prototype loading experiments and velocity experiments results show that the FDU can reach 2 Hz with no load and the max speed of 30(°)/s. The FDU has the capability of the load torque 11.2 N·m and the speed of 24(°)/s simultaneously, and the frequency response is 1.3 Hz. The FDU can be used to be the pitch joint of hip for biped robot whose walking speed is 0.144 km/h theoretically.展开更多
A discrete observer-based repetitive control(RC) design method for a linear system with uncertainties was presented based on two-dimensional(2D) system theory. Firstly, a 2D discrete model was established to describe ...A discrete observer-based repetitive control(RC) design method for a linear system with uncertainties was presented based on two-dimensional(2D) system theory. Firstly, a 2D discrete model was established to describe both the control behavior within a repetition period and the learning process taking place between periods. Next, by converting the designing problem of repetitive controller into one of the feedback gains of reconstructed variables, the stable condition was obtained through linear matrix inequality(LMI) and also the gain coefficient of repetitive system. Numerical simulation shows an exceptional feasibility of this proposal with remarkable robustness and tracking speed.展开更多
基金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.
基金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.
基金Project(2006AA04Z201,2012AA041601)supported by the National High-Tech Research and Development Program of China
文摘In order to ensure that the system has the advantage of light weight and vibration absorption, the steel rope is used as a flexible transmission part. A flexible drive unit(FDU) is developed, whose features are guided by steel rope, increasing force by the movable pulley group, modular, convenient and flexible. Dynamics model for controller is deduced based on the constitutive equation of viscoelasticity. Controller is designed for position control and is based on the viscoelasticity dynamics model compensation control strategy proposed. The control system is based on the TURBO PMAC multi-axis motion control card.Prototype loading experiments and velocity experiments results show that the FDU can reach 2 Hz with no load and the max speed of 30(°)/s. The FDU has the capability of the load torque 11.2 N·m and the speed of 24(°)/s simultaneously, and the frequency response is 1.3 Hz. The FDU can be used to be the pitch joint of hip for biped robot whose walking speed is 0.144 km/h theoretically.
基金Project(61104072) supported by the National Natural Science Foundation of China
文摘A discrete observer-based repetitive control(RC) design method for a linear system with uncertainties was presented based on two-dimensional(2D) system theory. Firstly, a 2D discrete model was established to describe both the control behavior within a repetition period and the learning process taking place between periods. Next, by converting the designing problem of repetitive controller into one of the feedback gains of reconstructed variables, the stable condition was obtained through linear matrix inequality(LMI) and also the gain coefficient of repetitive system. Numerical simulation shows an exceptional feasibility of this proposal with remarkable robustness and tracking speed.
