We design a practical and provablysecure block ciper over small domain and non-binary inputs,which is also can be considered as a pseudorandom permutation on N elements.Our work is based on a relation we found between...We design a practical and provablysecure block ciper over small domain and non-binary inputs,which is also can be considered as a pseudorandom permutation on N elements.Our work is based on a relation we found between the small domain ciper and the negative hypergeometric probability(NHG) distribution.We prove that our block ciper achieves ideal security,that is,it is indistinguishable from a random permutation even if the adversary had already observed N plaintext-cipertext pairs.In particular,we initiate an efficient and sufficiently precise sampling algorithm for negative hypergeometric distribution.展开更多
Small modular reactors(SMRs) are beneficial in providing electricity power safely and viable for specific applications such as seawater desalination and heat production. Due to its inherent safety feature, the modular...Small modular reactors(SMRs) are beneficial in providing electricity power safely and viable for specific applications such as seawater desalination and heat production. Due to its inherent safety feature, the modular high temperature gas-cooled reactor(MHTGR) is considered as one of the best candidates for SMR-based nuclear power plants. Since its dynamics presents high nonlinearity and parameter uncertainty, it is necessary to develop adaptive power-level control, which is beneficial to safe, stable, and efficient operation of MHTGR and is easy to be implemented. In this paper, based on the physically-based control design approach, an adaptive outputfeedback power-level control is proposed for MHTGRs. This control can guarantee globally bounded closedloop stability and has a simple form. Numerical simulation results show the correctness of the theoretical analysis and satisfactory regulation performance of this control.展开更多
基金National 973 Fundamental Basic Research Program under grant No.2014CB340600 and by the National Natural Science Foundations of China
文摘We design a practical and provablysecure block ciper over small domain and non-binary inputs,which is also can be considered as a pseudorandom permutation on N elements.Our work is based on a relation we found between the small domain ciper and the negative hypergeometric probability(NHG) distribution.We prove that our block ciper achieves ideal security,that is,it is indistinguishable from a random permutation even if the adversary had already observed N plaintext-cipertext pairs.In particular,we initiate an efficient and sufficiently precise sampling algorithm for negative hypergeometric distribution.
文摘Small modular reactors(SMRs) are beneficial in providing electricity power safely and viable for specific applications such as seawater desalination and heat production. Due to its inherent safety feature, the modular high temperature gas-cooled reactor(MHTGR) is considered as one of the best candidates for SMR-based nuclear power plants. Since its dynamics presents high nonlinearity and parameter uncertainty, it is necessary to develop adaptive power-level control, which is beneficial to safe, stable, and efficient operation of MHTGR and is easy to be implemented. In this paper, based on the physically-based control design approach, an adaptive outputfeedback power-level control is proposed for MHTGRs. This control can guarantee globally bounded closedloop stability and has a simple form. Numerical simulation results show the correctness of the theoretical analysis and satisfactory regulation performance of this control.
