A process represented by nonlinear multi-parametric binary dynamic system is investigated in this work. This process is characterized by the pseudo Boolean objective functional. Since the transfer functions on the pro...A process represented by nonlinear multi-parametric binary dynamic system is investigated in this work. This process is characterized by the pseudo Boolean objective functional. Since the transfer functions on the process are Boolean functions, the optimal control problem related to the process can be solved by relating between the transfer functions and the objective functional. An analogue of Bellman function for the optimal control problem mentioned is defined and consequently suitable Bellman equation is constructed.展开更多
This paper presents a characteristic more efficient and has better properties than the set method for solving Boolean equations, which is general characteristic set method. In particular, the authors give a disjoint a...This paper presents a characteristic more efficient and has better properties than the set method for solving Boolean equations, which is general characteristic set method. In particular, the authors give a disjoint and monic zero decomposition algorithm for the zero set of a Boolean equation system and an explicit formula for the number of solutions of a Boolean equation system. The authors also prove that a characteristic set can be computed with a polynomial number of multiplications of Boolean polynomials in terms of the number of variables. As experiments, the proposed method is used to solve equations from cryptanalysis of a class of stream ciphers based on nonlinear filter generators. Extensive experiments show that the method is quite effective.展开更多
文摘A process represented by nonlinear multi-parametric binary dynamic system is investigated in this work. This process is characterized by the pseudo Boolean objective functional. Since the transfer functions on the process are Boolean functions, the optimal control problem related to the process can be solved by relating between the transfer functions and the objective functional. An analogue of Bellman function for the optimal control problem mentioned is defined and consequently suitable Bellman equation is constructed.
基金This research is partially supported by a National Key Basic Research Project of China under Grant No.2004CB318000.
文摘This paper presents a characteristic more efficient and has better properties than the set method for solving Boolean equations, which is general characteristic set method. In particular, the authors give a disjoint and monic zero decomposition algorithm for the zero set of a Boolean equation system and an explicit formula for the number of solutions of a Boolean equation system. The authors also prove that a characteristic set can be computed with a polynomial number of multiplications of Boolean polynomials in terms of the number of variables. As experiments, the proposed method is used to solve equations from cryptanalysis of a class of stream ciphers based on nonlinear filter generators. Extensive experiments show that the method is quite effective.
