Three classes of Boolean functions with four-valued Walsh spectra are presented and their Walsh spectrum distributions are determined. They are derived from Bent functions of the MaioranaMc Farland and Dillon PS ap ty...Three classes of Boolean functions with four-valued Walsh spectra are presented and their Walsh spectrum distributions are determined. They are derived from Bent functions of the MaioranaMc Farland and Dillon PS ap types and of the monomial form Tr1^2m（λx^r（2^m-1）） by complementing the values of the Bent functions at two points.展开更多
The phenomenon of the resonant activation （RA） of a particle over a fluctuating potential barrier with a four-value noise is investigated. It is shown that the mean first passage time （MFPT） displays six minima as...The phenomenon of the resonant activation （RA） of a particle over a fluctuating potential barrier with a four-value noise is investigated. It is shown that the mean first passage time （MFPT） displays six minima as the function of the transition rates γ1, γ2, γ3, γ4, γ5, and 76 of the four-value noise, respectively. In addition, the effect of other parameters of the system, such as the noise strength D of the additive Gaussian white noise and the parameter value a, b, c, and d of the four-value noise, on the RAs is also investigated.展开更多
This paper proposes a simplification method for realization of current-mode multivalued CMOS circuits. The key of this method is to find a cover on the K-map for a given multivalued function, which fits to the realiza...This paper proposes a simplification method for realization of current-mode multivalued CMOS circuits. The key of this method is to find a cover on the K-map for a given multivalued function, which fits to the realization of current-mode CMOS circuits. The design example shows that the design presented in this paper is better than the design proposed by G. W. Dueck et al. (1987).展开更多
Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well-known to be valuable for obtaining logical foundations o...Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well-known to be valuable for obtaining logical foundations of web ontology languages (e.g., W3C’s ontology language OWL). Paraconsistent (or inconsistency-tolerant) description logics (PDLs) have been studied to cope with inconsistencies which may frequently occur in an open world. In this paper, a comparison and survey of PDLs is presented. It is shown that four existing paraconsistent semantics (i.e., four-valued semantics, quasi-classical semantics, single-interpretation semantics and dual-interpretation semantics) for PDLs are essentially the same semantics. To show this, two generalized and extended new semantics are introduced, and an equivalence between them is proved.展开更多
Multicloud access control is important for resource sharing and security interoperability across different clouds,and heterogeneity of access control policy is an important challenge for cloud mashups.XACML is widely ...Multicloud access control is important for resource sharing and security interoperability across different clouds,and heterogeneity of access control policy is an important challenge for cloud mashups.XACML is widely used in distributed environment as a declaratively fine-grained,attribute-based access control policy language,but the policy integration of XACML lacks formal description and theory foundation.Multicloud Access Control Policy Integration Framework(MACPIF)is proposed in the paper,which consists of Attribute-based Policy Evaluation Model(ABPEM),Four-value Logic with Completeness(FLC)and Four-value Logic based Policy Integration Operators(FLPIOs).ABPEM evaluates access control policy and extends XACML decision to four-value.According to policy decision set and policy integration characteristics,we construct FLC and define FLPIOs including Intersection,Union,Difference,Implication and Equivalence.We prove that MACPIF can achieve policy monotonicity,functional completeness,canonical suitability and canonical completeness.Analysis results show that this framework can meet the requirements of policy integration in Multicloud.展开更多
基金supported by the National Key Basic Research Program of China under Grant No.2013CB834203the National Natural Science Foundation of China under Grant No.61472417+1 种基金the Strategic Priority Research Program of Chinese Academy of Sciences under Grant No.XDA06010702the State Key Laboratory of Information Security,Chinese Academy of Sciences
文摘Three classes of Boolean functions with four-valued Walsh spectra are presented and their Walsh spectrum distributions are determined. They are derived from Bent functions of the MaioranaMc Farland and Dillon PS ap types and of the monomial form Tr1^2m（λx^r（2^m-1）） by complementing the values of the Bent functions at two points.
基金National Natural Science Foundation of China under Grant No.10375009K.C.Wong Magna Fund in Ningbo University of ChinaNational Natural Science Foundation of China under Grant No.10647134
文摘The phenomenon of the resonant activation （RA） of a particle over a fluctuating potential barrier with a four-value noise is investigated. It is shown that the mean first passage time （MFPT） displays six minima as the function of the transition rates γ1, γ2, γ3, γ4, γ5, and 76 of the four-value noise, respectively. In addition, the effect of other parameters of the system, such as the noise strength D of the additive Gaussian white noise and the parameter value a, b, c, and d of the four-value noise, on the RAs is also investigated.
基金Supported by the National Natural Science Foundation of China
文摘This paper proposes a simplification method for realization of current-mode multivalued CMOS circuits. The key of this method is to find a cover on the K-map for a given multivalued function, which fits to the realization of current-mode CMOS circuits. The design example shows that the design presented in this paper is better than the design proposed by G. W. Dueck et al. (1987).
文摘Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well-known to be valuable for obtaining logical foundations of web ontology languages (e.g., W3C’s ontology language OWL). Paraconsistent (or inconsistency-tolerant) description logics (PDLs) have been studied to cope with inconsistencies which may frequently occur in an open world. In this paper, a comparison and survey of PDLs is presented. It is shown that four existing paraconsistent semantics (i.e., four-valued semantics, quasi-classical semantics, single-interpretation semantics and dual-interpretation semantics) for PDLs are essentially the same semantics. To show this, two generalized and extended new semantics are introduced, and an equivalence between them is proved.
基金supported by National Key R&D Program of China (2017YFB0802900)NUPTSF (No. NY219004)
文摘Multicloud access control is important for resource sharing and security interoperability across different clouds,and heterogeneity of access control policy is an important challenge for cloud mashups.XACML is widely used in distributed environment as a declaratively fine-grained,attribute-based access control policy language,but the policy integration of XACML lacks formal description and theory foundation.Multicloud Access Control Policy Integration Framework(MACPIF)is proposed in the paper,which consists of Attribute-based Policy Evaluation Model(ABPEM),Four-value Logic with Completeness(FLC)and Four-value Logic based Policy Integration Operators(FLPIOs).ABPEM evaluates access control policy and extends XACML decision to four-value.According to policy decision set and policy integration characteristics,we construct FLC and define FLPIOs including Intersection,Union,Difference,Implication and Equivalence.We prove that MACPIF can achieve policy monotonicity,functional completeness,canonical suitability and canonical completeness.Analysis results show that this framework can meet the requirements of policy integration in Multicloud.
