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.展开更多
The invariant sets and the solutions of the 1+2-dimensional generalized thin film equation are discussed. It is shown that there exists a class of solutions to the equations, which are invariant with respect to the se...The invariant sets and the solutions of the 1+2-dimensional generalized thin film equation are discussed. It is shown that there exists a class of solutions to the equations, which are invariant with respect to the set $$E_0 = \{ u:u_x = v_x F(u),u_y = v_y F(u)\} ,$$ where v is a smooth function of variables x, y and F is a smooth function of u. This extends the results of Galaktionov (2001) and for the 1+1-dimensional nonlinear evolution equations.展开更多
In this paper we discuss a relatively general kind of iterative functional equation G(x,f(x), ...,f n (x)) = 0 (for allx ∈J), whereJ is a connected closed subset of the real number axis ?,G∈C m (J n+1, ?) andn ≥ 2....In this paper we discuss a relatively general kind of iterative functional equation G(x,f(x), ...,f n (x)) = 0 (for allx ∈J), whereJ is a connected closed subset of the real number axis ?,G∈C m (J n+1, ?) andn ≥ 2. Using the method of approximating fixed points by small shift of maps, choosing suitable metrics on functional spaces and finding a relation between uniqueness and stability of fixed points of maps of general spaces, we prove the existence, uniqueness and stability ofCm solutions of the above equation for any integer m ≥ 0 under relatively weak conditions, and generalize related results in reference in different aspects.展开更多
The invariant sets and exact solutions of the （1 ＋ 2）-dimensional wave equations are discussed. It is shown that there exist a class of solutions to the equations which belong to the invariant set E0 = {u ： ux = ...The invariant sets and exact solutions of the （1 ＋ 2）-dimensional wave equations are discussed. It is shown that there exist a class of solutions to the equations which belong to the invariant set E0 = {u ： ux = vxF（u）,uy = vyF（u） }. This approach is also developed to solve （1 ＋ N）-dimensional wave equations.展开更多
Walking robots use leg structures to overcome obstacles or move on complicated terrains. Most robots of current researches are equipped with legs of simple structure. The specific design method of walking robot legs i...Walking robots use leg structures to overcome obstacles or move on complicated terrains. Most robots of current researches are equipped with legs of simple structure. The specific design method of walking robot legs is seldom studied. Based on the generalized-function(GF) set theory, a systematic type synthesis process of designing robot legs is introduced. The specific mobility of robot legs is analyzed to obtain two main leg types as the goal of design.Number synthesis problem is decomposed into two stages, actuation and constraint synthesis by name,corresponding to the combinatorics results of linear Diophantine equations. Additional restrictions are discussed to narrow the search range to propose practical limb expressions and kinematic-pair designs. Finally, all the fifty-one leg structures of four subtypes are carried out, some of which are chosen to make up robot prototypes, demonstrating the validity of the method. This paper proposed a novel type synthesis methodology, which could be used to systematically design various practical robot legs and the derived robots.展开更多
In this paper, we apply Aubry-Mather theory developed in recent years about monotone twist mappings to the study of the superlinear Duffing equation+g(x)=p(t), (0)where p(t)∈C^0(R) is periodic with period 1 and g(x) ...In this paper, we apply Aubry-Mather theory developed in recent years about monotone twist mappings to the study of the superlinear Duffing equation+g(x)=p(t), (0)where p(t)∈C^0(R) is periodic with period 1 and g(x) satisfies the superlinearity condition Consequently, this gives descriptions of the global dynamical behavior, particularly periodic solutions and quasi-periodic solutions of a wide class of Eq. (0), not requiring high order smoothness assumption.展开更多
An error matrix equation based on error matrix theory was presented in previous research of the error-eliminating theory. The purpose of solving the error matrix equation is to create a decision support on how to swit...An error matrix equation based on error matrix theory was presented in previous research of the error-eliminating theory. The purpose of solving the error matrix equation is to create a decision support on how to switch from bad to good status. A matrix based on error logic is used to express current status u, expectant status u1 and transformation matrix T. It is u, u1, and T that are used to build error matrix equation T (u)= u1. This allows us to find a method whereby bad status “u” changes to good status “u1” by solving the equation. The conversion method that transform from current to expectant status can be obtained from the transformation matrix T. On this basis, this paper proposes a new kind of error matrix equation named “containing-type error matrix equation”. This equation is more suitable for analyzing the realistic question. The method of solving, existence and form of solution for this type of equation have been presented in this paper. This research provides a potential useful new technique for decision analysis.展开更多
In this paper,we mainly investigate the dynamical properties of entire solutions of complex differential equations.With some conditions on coefficients,we prove that the set of common limiting directions of Julia sets...In this paper,we mainly investigate the dynamical properties of entire solutions of complex differential equations.With some conditions on coefficients,we prove that the set of common limiting directions of Julia sets of solutions,their derivatives and their primitives must have a definite range of measure.展开更多
The long-term behavior of the atmospheric evolution, which cannot be answered and solvedby the numerical experiments, must be undrstood before we design the numerical forecastmodels of the long-range weather and clima...The long-term behavior of the atmospheric evolution, which cannot be answered and solvedby the numerical experiments, must be undrstood before we design the numerical forecastmodels of the long-range weather and climate. It is necessary to carry out some studiesof basic theory. Based on the stationary external forcings, Chou studied the adjustment of the nonlinear atmospheric system tending to forcings in R^n. Then these resultswere extended to the infinite dimensional Hilbert space. For the real atmospheric system,展开更多
In this work we consider the problem of shape reconstruction from an unorganized data set which has many important applications in medical imaging, scientific computing, reverse engineering and geometric modelling. Th...In this work we consider the problem of shape reconstruction from an unorganized data set which has many important applications in medical imaging, scientific computing, reverse engineering and geometric modelling. The reconstructed surface is obtained by continuously deforming an initial surface following the Partial Differential Equation (PDE)-based diffusion model derived by a minimal volume-like variational formulation. The evolution is driven both by the distance from the data set and by the curvature analytically computed by it. The distance function is computed by implicit local interpolants defined in terms of radial basis functions. Space discretization of the PDE model is obtained by finite co-volume schemes and semi-implicit approach is used in time/scale. The use of a level set method for the numerical computation of the surface reconstruction allows us to handle complex geometry and even changing topology,without the need of user-interaction. Numerical examples demonstrate the ability of the proposed method to produce high quality reconstructions. Moreover, we show the effectiveness of the new approach to solve hole filling problems and Boolean operations between different data sets.展开更多
基金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.
基金This work was supported by the National Natural Science Foundation of China (Grant No. 10671156)the Program for New Century Excellent Talents in Universities (Grant No. NCET-04-0968)
文摘The invariant sets and the solutions of the 1+2-dimensional generalized thin film equation are discussed. It is shown that there exists a class of solutions to the equations, which are invariant with respect to the set $$E_0 = \{ u:u_x = v_x F(u),u_y = v_y F(u)\} ,$$ where v is a smooth function of variables x, y and F is a smooth function of u. This extends the results of Galaktionov (2001) and for the 1+1-dimensional nonlinear evolution equations.
文摘In this paper we discuss a relatively general kind of iterative functional equation G(x,f(x), ...,f n (x)) = 0 (for allx ∈J), whereJ is a connected closed subset of the real number axis ?,G∈C m (J n+1, ?) andn ≥ 2. Using the method of approximating fixed points by small shift of maps, choosing suitable metrics on functional spaces and finding a relation between uniqueness and stability of fixed points of maps of general spaces, we prove the existence, uniqueness and stability ofCm solutions of the above equation for any integer m ≥ 0 under relatively weak conditions, and generalize related results in reference in different aspects.
基金The project supported by National Natural Science Foundation of China under Grant Nos.10447007 and 10671156Natural Science Foundation of Shaanxi Province of China under Grant No.2005A13
文摘The invariant sets and exact solutions of the （1 ＋ 2）-dimensional wave equations are discussed. It is shown that there exist a class of solutions to the equations which belong to the invariant set E0 = {u ： ux = vxF（u）,uy = vyF（u） }. This approach is also developed to solve （1 ＋ N）-dimensional wave equations.
基金Supported by National Natural Science Foundation of China(Grant Nos.U1613208,51335007)National Basic Research Program of China(973 Program,Grant No.2013CB035501)+1 种基金Science Fund for Creative Research Groups of the National Natural Science Foundation of China(Grant No.51421092)Science and Technology Commission of Shanghai-based "Innovation Action Plan" Project(Grant No.16DZ1201001)
文摘Walking robots use leg structures to overcome obstacles or move on complicated terrains. Most robots of current researches are equipped with legs of simple structure. The specific design method of walking robot legs is seldom studied. Based on the generalized-function(GF) set theory, a systematic type synthesis process of designing robot legs is introduced. The specific mobility of robot legs is analyzed to obtain two main leg types as the goal of design.Number synthesis problem is decomposed into two stages, actuation and constraint synthesis by name,corresponding to the combinatorics results of linear Diophantine equations. Additional restrictions are discussed to narrow the search range to propose practical limb expressions and kinematic-pair designs. Finally, all the fifty-one leg structures of four subtypes are carried out, some of which are chosen to make up robot prototypes, demonstrating the validity of the method. This paper proposed a novel type synthesis methodology, which could be used to systematically design various practical robot legs and the derived robots.
文摘In this paper, we apply Aubry-Mather theory developed in recent years about monotone twist mappings to the study of the superlinear Duffing equation+g(x)=p(t), (0)where p(t)∈C^0(R) is periodic with period 1 and g(x) satisfies the superlinearity condition Consequently, this gives descriptions of the global dynamical behavior, particularly periodic solutions and quasi-periodic solutions of a wide class of Eq. (0), not requiring high order smoothness assumption.
文摘An error matrix equation based on error matrix theory was presented in previous research of the error-eliminating theory. The purpose of solving the error matrix equation is to create a decision support on how to switch from bad to good status. A matrix based on error logic is used to express current status u, expectant status u1 and transformation matrix T. It is u, u1, and T that are used to build error matrix equation T (u)= u1. This allows us to find a method whereby bad status “u” changes to good status “u1” by solving the equation. The conversion method that transform from current to expectant status can be obtained from the transformation matrix T. On this basis, this paper proposes a new kind of error matrix equation named “containing-type error matrix equation”. This equation is more suitable for analyzing the realistic question. The method of solving, existence and form of solution for this type of equation have been presented in this paper. This research provides a potential useful new technique for decision analysis.
基金supported by Shanghai Center for Mathematical Sci-ences,China Scholarship Council(201206105015)National Science Foundation of China(11171119,11001057,11571049)Natural Science Foundation of Guangdong Province in China(2014A030313422)
文摘In this paper,we mainly investigate the dynamical properties of entire solutions of complex differential equations.With some conditions on coefficients,we prove that the set of common limiting directions of Julia sets of solutions,their derivatives and their primitives must have a definite range of measure.
基金State Key Research Project on Dynamics and Predictive Theory of the Climate and the Doctor's Foundation of State Education Committee.
文摘The long-term behavior of the atmospheric evolution, which cannot be answered and solvedby the numerical experiments, must be undrstood before we design the numerical forecastmodels of the long-range weather and climate. It is necessary to carry out some studiesof basic theory. Based on the stationary external forcings, Chou studied the adjustment of the nonlinear atmospheric system tending to forcings in R^n. Then these resultswere extended to the infinite dimensional Hilbert space. For the real atmospheric system,
基金supported by PRIN-MIUR-Cofin 2006,project,by"Progetti Strategici EF2006"University of Bologna,and by University of Bologna"Funds for selected research topics"
文摘In this work we consider the problem of shape reconstruction from an unorganized data set which has many important applications in medical imaging, scientific computing, reverse engineering and geometric modelling. The reconstructed surface is obtained by continuously deforming an initial surface following the Partial Differential Equation (PDE)-based diffusion model derived by a minimal volume-like variational formulation. The evolution is driven both by the distance from the data set and by the curvature analytically computed by it. The distance function is computed by implicit local interpolants defined in terms of radial basis functions. Space discretization of the PDE model is obtained by finite co-volume schemes and semi-implicit approach is used in time/scale. The use of a level set method for the numerical computation of the surface reconstruction allows us to handle complex geometry and even changing topology,without the need of user-interaction. Numerical examples demonstrate the ability of the proposed method to produce high quality reconstructions. Moreover, we show the effectiveness of the new approach to solve hole filling problems and Boolean operations between different data sets.
