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.展开更多
Flatness pattern recognition is the key of the flatness control. The accuracy of the present flatness pattern recognition is limited and the shape defects cannot be reflected intuitively. In order to improve it, a nov...Flatness pattern recognition is the key of the flatness control. The accuracy of the present flatness pattern recognition is limited and the shape defects cannot be reflected intuitively. In order to improve it, a novel method via T-S cloud inference network optimized by genetic algorithm(GA) is proposed. T-S cloud inference network is constructed with T-S fuzzy neural network and the cloud model. So, the rapid of fuzzy logic and the uncertainty of cloud model for processing data are both taken into account. What's more, GA possesses good parallel design structure and global optimization characteristics. Compared with the simulation recognition results of traditional BP Algorithm, GA is more accurate and effective. Moreover, virtual reality technology is introduced into the field of shape control by Lab VIEW, MATLAB mixed programming. And virtual flatness pattern recognition interface is designed.Therefore, the data of engineering analysis and the actual model are combined with each other, and the shape defects could be seen more lively and intuitively.展开更多
An admission control algorithm based on beamforming and interference alignment for device-to-device( D2D) communication underlaying cellular networks is proposed. First, some portion of D2D pairs that are the farthest...An admission control algorithm based on beamforming and interference alignment for device-to-device( D2D) communication underlaying cellular networks is proposed. First, some portion of D2D pairs that are the farthest away from the base station( BS) is selected to perform joint zero-forcing beamforming together with the cellular user equipments( UEs) and is admitted to the cellular network. The interference of the BS transmitting signal to the cellular UEs and the portion of D2D pair is eliminated completely at the same time. Secondly,based on the idea of interference alignment,the definition of channel parallelism is given. The channel parallelism of the remaining D2D pairs which are not involved in joint zero-forcing beamforming is computed by using the channel state information from the BS to the D2D devices. The higher the channel parallelism,the less interference the D2D pair suffers from the BS. Finally,in a descending order of channel parallelism,the remaining D2D pairs are reviewed in succession to determine admission to the cellular network. The algorithm stops when the admission of a D2D pair decreases the system sum rate. Simulation results show that the proposed algorithm can effectively reduce the interference of the BS transmitting signal for D2D pairs and significantly improve system capacity. Furthermore, D2D communication is more applicable to short-range links.展开更多
Admission control is a key mechanism to manage the increasing number of the simultaneous demanding services, requiring a desired Quality of Service(QoS) in a spectrum efficient manner. To address this issue,we investi...Admission control is a key mechanism to manage the increasing number of the simultaneous demanding services, requiring a desired Quality of Service(QoS) in a spectrum efficient manner. To address this issue,we investigate in this work, the use of the superposition coding technique to increase the system capacity through multiuser diversity exploitation. We propose a novel joint admission control and superposition coding formalism based on different utility functions:Opportunistic(OPSC), Great Fairness(GFSC)and Proportional Fairness(PFSC). Simulation results show the superiority of our proposed approaches over other by providing higher mean of served VoIP users and higher throughput while maintaining an average VoIP packet transmission delay lower than 0.6 ms.展开更多
This paper describes a broad perspective of the application of graph theory to establishment of GPS control networks whereby the GPS network is considered as a connected and directed graph with three components.In thi...This paper describes a broad perspective of the application of graph theory to establishment of GPS control networks whereby the GPS network is considered as a connected and directed graph with three components.In this algorithm the gross error detection is undertaken through loops of different spanning trees using the "Loop Law" in which the individual components Δ X, Δ Y and Δ Z sum up to zero.If the sum of the respective vector components ∑X,∑Y and ∑Z in a loop is not zero and if the error is beyond the tolerable limit (ε>w),it indicates the existence of gross errors in one of the baselines in the loop and therefore the baseline must be removed or re_observed.After successful screening of errors by graph theory,network adjustment can be carried out.In this paper,the GPS data from the control network established as reference system for the HP Dam at Baishan county in Liaoning province is presented to illustrate the algorithm.展开更多
Sloshing has a widespread application in many industries including automotive, aerospace, ship building and motorcycle manufacturing. The goals of sloshing simulation is to first study the sloshing pattern and then im...Sloshing has a widespread application in many industries including automotive, aerospace, ship building and motorcycle manufacturing. The goals of sloshing simulation is to first study the sloshing pattern and then improve the tank design to reduce noise levels, stresses on the structure and optimize the baffle arrangements. In this project simulation of the fluid in tank is studied and the design modification with baffle plate is considered to minimize the sloshing phenomena using Arbitrary Langrangian Eulerian (ALE) method. Also it is explained that there is need to analyze the sloshing phenomena in detail. Arbitrary Langrangian Eulerian finite element methods gain interest for the capability to control mesh geometry independently from material geometry, the ALE methods are used to create a new undistorted mesh for the fluid domain. In this paper we use the ALE technique to solve fuel slosh problem. Fuel slosh is an important design consideration not only for the fuel tank, but also for the structure supporting the fuel tank. Fuel slosh can be generated by many ways: abrupt changes in acceleration (braking), as well as abrupt changes in direction (highway exit-ramp). Repetitive motion can also be involved if a sloshing resonance is generated. These sloshing events can in turn affect the overall performance 0fthe parent structure. A finite element analysis method has been developed to analyze this complex event. A new ALE formulation for the fluid mesh can be used to keep the fluid mesh integrity during the motion of the tank. This paper explains the analysis capabilities on a technical level.展开更多
One of the main problems in controlling the shape of active structures (AS) is to determine the actuations that drive the structure from the current state to the target state. Model-based methods such as stochastic ...One of the main problems in controlling the shape of active structures (AS) is to determine the actuations that drive the structure from the current state to the target state. Model-based methods such as stochastic search require a known type of load and relatively long computational time, which limits the practical use of AS in civil engineering. Moreover, additive errors may be produced because of the discrepancy between analytic models and real structures. To overcome these limitations, this paper presents a compound system called WAS, which combines AS with a wireless sensor and actuator network (WSAN). A bio-inspired control framework imitating the activity of the nervous systems of animals is proposed for WAS. A typical example is tested for verification. In the example, a triangular tensegrity prism that aims to maintain its original height is integrated with a WSAN that consists of a central controller, three actuators, and three sensors. The result demonstrates the feasibility of the proposed concept and control framework in cases of unknown loads that include different types, distributions, magnitudes, and directions. The proposed control framework can also act as a supplementary means to improve the efficiency and accuracy of control frameworks based on a common stochastic search.展开更多
Formation control is essential for an underwater mobile sensing network(UMSN) ,and an ad hoc network which wirelessly connects underwater vehicles of sensing and/or observing types via acoustic communications,to fulfi...Formation control is essential for an underwater mobile sensing network(UMSN) ,and an ad hoc network which wirelessly connects underwater vehicles of sensing and/or observing types via acoustic communications,to fulfill mobile sensing tasks.The problem of formation control for a UMSN with varying topology is studied in this paper.The methodology of synthesizing distributed formation controller which stabilizes a UMSN with varying topology is proposed on the basis of the stability analysis of linear time-varying systems.展开更多
基金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(LJRC013)supported by the University Innovation Team of Hebei Province Leading Talent Cultivation,China
文摘Flatness pattern recognition is the key of the flatness control. The accuracy of the present flatness pattern recognition is limited and the shape defects cannot be reflected intuitively. In order to improve it, a novel method via T-S cloud inference network optimized by genetic algorithm(GA) is proposed. T-S cloud inference network is constructed with T-S fuzzy neural network and the cloud model. So, the rapid of fuzzy logic and the uncertainty of cloud model for processing data are both taken into account. What's more, GA possesses good parallel design structure and global optimization characteristics. Compared with the simulation recognition results of traditional BP Algorithm, GA is more accurate and effective. Moreover, virtual reality technology is introduced into the field of shape control by Lab VIEW, MATLAB mixed programming. And virtual flatness pattern recognition interface is designed.Therefore, the data of engineering analysis and the actual model are combined with each other, and the shape defects could be seen more lively and intuitively.
基金The National Natural Science Foundation of China(No.61771132,61471115)the Natural Science Foundation of the Higher Education Institutions of Jiangsu Province(No.16KJB510011)+2 种基金the Science and Technology Joint Research and Innovation Foundation of Jiangsu Province(No.BY2016076-13)the Research Fund of National Mobile Communications Research Laboratory,Southeast University(No.2018A02)the Research Foundation of Jinling Institute of Technology for Advanced Talents(No.40620044)
文摘An admission control algorithm based on beamforming and interference alignment for device-to-device( D2D) communication underlaying cellular networks is proposed. First, some portion of D2D pairs that are the farthest away from the base station( BS) is selected to perform joint zero-forcing beamforming together with the cellular user equipments( UEs) and is admitted to the cellular network. The interference of the BS transmitting signal to the cellular UEs and the portion of D2D pair is eliminated completely at the same time. Secondly,based on the idea of interference alignment,the definition of channel parallelism is given. The channel parallelism of the remaining D2D pairs which are not involved in joint zero-forcing beamforming is computed by using the channel state information from the BS to the D2D devices. The higher the channel parallelism,the less interference the D2D pair suffers from the BS. Finally,in a descending order of channel parallelism,the remaining D2D pairs are reviewed in succession to determine admission to the cellular network. The algorithm stops when the admission of a D2D pair decreases the system sum rate. Simulation results show that the proposed algorithm can effectively reduce the interference of the BS transmitting signal for D2D pairs and significantly improve system capacity. Furthermore, D2D communication is more applicable to short-range links.
文摘Admission control is a key mechanism to manage the increasing number of the simultaneous demanding services, requiring a desired Quality of Service(QoS) in a spectrum efficient manner. To address this issue,we investigate in this work, the use of the superposition coding technique to increase the system capacity through multiuser diversity exploitation. We propose a novel joint admission control and superposition coding formalism based on different utility functions:Opportunistic(OPSC), Great Fairness(GFSC)and Proportional Fairness(PFSC). Simulation results show the superiority of our proposed approaches over other by providing higher mean of served VoIP users and higher throughput while maintaining an average VoIP packet transmission delay lower than 0.6 ms.
文摘This paper describes a broad perspective of the application of graph theory to establishment of GPS control networks whereby the GPS network is considered as a connected and directed graph with three components.In this algorithm the gross error detection is undertaken through loops of different spanning trees using the "Loop Law" in which the individual components Δ X, Δ Y and Δ Z sum up to zero.If the sum of the respective vector components ∑X,∑Y and ∑Z in a loop is not zero and if the error is beyond the tolerable limit (ε>w),it indicates the existence of gross errors in one of the baselines in the loop and therefore the baseline must be removed or re_observed.After successful screening of errors by graph theory,network adjustment can be carried out.In this paper,the GPS data from the control network established as reference system for the HP Dam at Baishan county in Liaoning province is presented to illustrate the algorithm.
文摘Sloshing has a widespread application in many industries including automotive, aerospace, ship building and motorcycle manufacturing. The goals of sloshing simulation is to first study the sloshing pattern and then improve the tank design to reduce noise levels, stresses on the structure and optimize the baffle arrangements. In this project simulation of the fluid in tank is studied and the design modification with baffle plate is considered to minimize the sloshing phenomena using Arbitrary Langrangian Eulerian (ALE) method. Also it is explained that there is need to analyze the sloshing phenomena in detail. Arbitrary Langrangian Eulerian finite element methods gain interest for the capability to control mesh geometry independently from material geometry, the ALE methods are used to create a new undistorted mesh for the fluid domain. In this paper we use the ALE technique to solve fuel slosh problem. Fuel slosh is an important design consideration not only for the fuel tank, but also for the structure supporting the fuel tank. Fuel slosh can be generated by many ways: abrupt changes in acceleration (braking), as well as abrupt changes in direction (highway exit-ramp). Repetitive motion can also be involved if a sloshing resonance is generated. These sloshing events can in turn affect the overall performance 0fthe parent structure. A finite element analysis method has been developed to analyze this complex event. A new ALE formulation for the fluid mesh can be used to keep the fluid mesh integrity during the motion of the tank. This paper explains the analysis capabilities on a technical level.
基金Project supported by the National Key Technology R&D Program of China(No.2012BAJ07B03)the National Natural Science Foundation of China(Nos.51178415 and 51578491)
文摘One of the main problems in controlling the shape of active structures (AS) is to determine the actuations that drive the structure from the current state to the target state. Model-based methods such as stochastic search require a known type of load and relatively long computational time, which limits the practical use of AS in civil engineering. Moreover, additive errors may be produced because of the discrepancy between analytic models and real structures. To overcome these limitations, this paper presents a compound system called WAS, which combines AS with a wireless sensor and actuator network (WSAN). A bio-inspired control framework imitating the activity of the nervous systems of animals is proposed for WAS. A typical example is tested for verification. In the example, a triangular tensegrity prism that aims to maintain its original height is integrated with a WSAN that consists of a central controller, three actuators, and three sensors. The result demonstrates the feasibility of the proposed concept and control framework in cases of unknown loads that include different types, distributions, magnitudes, and directions. The proposed control framework can also act as a supplementary means to improve the efficiency and accuracy of control frameworks based on a common stochastic search.
基金the National High Technology Research and Development Program (863) of China (No.2006AA09Z233)
文摘Formation control is essential for an underwater mobile sensing network(UMSN) ,and an ad hoc network which wirelessly connects underwater vehicles of sensing and/or observing types via acoustic communications,to fulfill mobile sensing tasks.The problem of formation control for a UMSN with varying topology is studied in this paper.The methodology of synthesizing distributed formation controller which stabilizes a UMSN with varying topology is proposed on the basis of the stability analysis of linear time-varying systems.