This paper is devoted to the discussion of filters in residuated lattices. Some equivalent conditions about filter were given. The structure of generated filter was established. The concept of implicative filter in re...This paper is devoted to the discussion of filters in residuated lattices. Some equivalent conditions about filter were given. The structure of generated filter was established. The concept of implicative filter in residuated lattice was proposed with its basic properties being discussed.展开更多
The framework of digital signature based on qualified certificates and X. 509 architecture is known to have many security risks. Moreover, the fraud prevention mechanism is fragile and does not provide strong guarante...The framework of digital signature based on qualified certificates and X. 509 architecture is known to have many security risks. Moreover, the fraud prevention mechanism is fragile and does not provide strong guarantees that can be necessary for flow of legal documents. Mediated signatures have been proposed as a mechanism to effectively disable signature cards. In this paper we propose further mechanisms that can be applied on top of mediated RSA, compatible with the standard format, but providing security guarantees even in the case when RSA becomes broken or the keys are compromised. The solution is immune tokleptographic attacks as only deterministic algorithms are used on user＇s side.展开更多
In order to study the sliding characteristics when the cable is connected with the other rods in the transmission line structures,a linear sliding cable element based on updated Lagrangian formulation and a sliding ca...In order to study the sliding characteristics when the cable is connected with the other rods in the transmission line structures,a linear sliding cable element based on updated Lagrangian formulation and a sliding catenary element considering the out-of-plane stiffness coefficient are put forward.A two-span and a three-span cable structures are taken as examples to verify the sliding cable elements.By comparing the tensions of the two proposed cable elements with the existing research results,the error is less than 1%,which proves the correctness of the proposed elements.The sliding characteristics should be considered in the practical engineering because of the significant difference between the tensions of sliding cable elements and those of cable element without considering sliding.The out-of-plane stiffness coefficient and friction characteristics do not obviously affect the cable tensions.展开更多
文摘This paper is devoted to the discussion of filters in residuated lattices. Some equivalent conditions about filter were given. The structure of generated filter was established. The concept of implicative filter in residuated lattice was proposed with its basic properties being discussed.
文摘The framework of digital signature based on qualified certificates and X. 509 architecture is known to have many security risks. Moreover, the fraud prevention mechanism is fragile and does not provide strong guarantees that can be necessary for flow of legal documents. Mediated signatures have been proposed as a mechanism to effectively disable signature cards. In this paper we propose further mechanisms that can be applied on top of mediated RSA, compatible with the standard format, but providing security guarantees even in the case when RSA becomes broken or the keys are compromised. The solution is immune tokleptographic attacks as only deterministic algorithms are used on user＇s side.
基金Project(51308193)supported by the National Natural Science Foundation of ChinaProject(SGKJ[2007]116)supported by the Science and Technology Program of State Grid Corporation of China
文摘In order to study the sliding characteristics when the cable is connected with the other rods in the transmission line structures,a linear sliding cable element based on updated Lagrangian formulation and a sliding catenary element considering the out-of-plane stiffness coefficient are put forward.A two-span and a three-span cable structures are taken as examples to verify the sliding cable elements.By comparing the tensions of the two proposed cable elements with the existing research results,the error is less than 1%,which proves the correctness of the proposed elements.The sliding characteristics should be considered in the practical engineering because of the significant difference between the tensions of sliding cable elements and those of cable element without considering sliding.The out-of-plane stiffness coefficient and friction characteristics do not obviously affect the cable tensions.
