Based on the threshold-arithmetic algebraic system which has been proposed for current-mode circuit design,we propose a systematic methodology for emitter-couple logic(ECL)circuit design.Compared to the traditional me...Based on the threshold-arithmetic algebraic system which has been proposed for current-mode circuit design,we propose a systematic methodology for emitter-couple logic(ECL)circuit design.Compared to the traditional methodologies and the theory of differential current switches,the proposed methodology uses the HE map and the characteristics of the internal current signals of ECL circuits to determine the external voltage signals.The operations of the HE map are direct and simple,and the current signals are easy to add or subtract,which make this methodology more flexible,direct,and effective,and make it possible to design arbitrary binary and multi-valued logic functions.Two example circuits are designed and simulated by HSPICE using 0.18μm TSMC technology.Simulation results confirm the validity of the proposed methodology.展开更多
This article proposes an algebraic model predictive control(MPC)method for automatic landing.While defining the constraint functions in the optimization problem,the tangent hyperbolic function is preferred.Therefore,t...This article proposes an algebraic model predictive control(MPC)method for automatic landing.While defining the constraint functions in the optimization problem,the tangent hyperbolic function is preferred.Therefore,the optimization problem turns into an unconstrained,continuous,and differentiable form.An analytical two-step method is also proposed to solve the rest of the problem.In the first step,it is assumed that only input constraints are active and states are unconstrained.The optimal solution for this case is calculated directly with the optimality condition.The calculated control signal is revised in the second step according to system dynamics and state constraints.Simulation results of the auto-landing system show that the MPC computation speed is significantly increased by the new algebraic MPC(AMPC)without compromising the control performance,which makes the method realistic for using MPC in systems with high-speed changing dynamics.展开更多
In this paper,we propose a new full-Newton step feasible interior-point algorithm for the special weighted linear complementarity problems.The proposed algorithm employs the technique of algebraic equivalent transform...In this paper,we propose a new full-Newton step feasible interior-point algorithm for the special weighted linear complementarity problems.The proposed algorithm employs the technique of algebraic equivalent transformation to derive the search direction.It is shown that the proximity measure reduces quadratically at each iteration.Moreover,the iteration bound of the algorithm is as good as the best-known polynomial complexity for these types of problems.Furthermore,numerical results are presented to show the efficiency of the proposed algorithm.展开更多
In this paper, we investigate the growth of transcendental entire solutionsof the following algebraic differential equation a(z)f'~2 +(b_2(z)f^2 +b_1(z)f +b_0(z))f'=d_3(z)f^3+d_2(z)f^2 +d_1(z)f +d_0(z), where ...In this paper, we investigate the growth of transcendental entire solutionsof the following algebraic differential equation a(z)f'~2 +(b_2(z)f^2 +b_1(z)f +b_0(z))f'=d_3(z)f^3+d_2(z)f^2 +d_1(z)f +d_0(z), where a(z), b_i(z) (0<- i <=2) and d_j (z) (0<=j<= 3) are allpolynomials, and this equation relates closely to the following well-known algebraic differentialequation C(z,w)w'~2 + B(z,w)w' + A(z,w) =0, where G(z,w)not ident to 0, B(z,w) and A(z,w) are threepolynomials in z and w. We give relationships between the growth of entire solutions and the degreesof the above three polynomials in detail.展开更多
Aim To study an algebraic of the dynamical equations of holonomic mechanical systems in relative motion. Methods The equations of motion were presented in a contravariant algebraic form and an algebraic product was...Aim To study an algebraic of the dynamical equations of holonomic mechanical systems in relative motion. Methods The equations of motion were presented in a contravariant algebraic form and an algebraic product was determined. Results and Conclusion The equations a Lie algebraic structure if any nonpotential generalized force doesn't exist while while the equations possess a Lie-admissible algebraic structure if nonpotential generalized forces exist .展开更多
Based on the dual source cumulative rotation technique in the time-domain proposed by Zeng and MacBeth（1993）,a new algebraic processing technique for extracting shear-wave splitting parameters from multi-component V...Based on the dual source cumulative rotation technique in the time-domain proposed by Zeng and MacBeth（1993）,a new algebraic processing technique for extracting shear-wave splitting parameters from multi-component VSP data in frequency-dependent medium has been developed.By using this dual source cumulative rotation technique in the frequency-domain（DCTF）,anisotropic parameters,including polarization direction of the shear-waves and timedelay between the fast and slow shear-waves,can be estimated for each frequency component in the frequency domain.It avoids the possible error which comes from using a narrow-band filter in the current commonly used method.By using synthetic seismograms,the feasibility and validity of the technique was tested and a comparison with the currently used method was also given.The results demonstrate that the shear-wave splitting parameters frequency dependence can be extracted directly from four-component seismic data using the DCTF.In the presence of larger scale fractures,substantial frequency dependence would be found in the seismic frequency range,which implies that dispersion would occur at seismic frequencies.Our study shows that shear-wave anisotropy decreases as frequency increases.展开更多
An algebraic Harniltonian for the two coupled nonlinear vibrations of highly excited nonrigid molecule HCP was presented. The Hamiltonian reduces to the conventional one in a limit which was expressed in terms of harm...An algebraic Harniltonian for the two coupled nonlinear vibrations of highly excited nonrigid molecule HCP was presented. The Hamiltonian reduces to the conventional one in a limit which was expressed in terms of harmonic oscillator operators. It showed that the algebraic model can better reproduce the data than the conventional model by fitting the observed data of HCP.展开更多
In this paper, by using the matrix representation of the generalized quaternion algebra, we discussed solution problem for two classes of the first_degree algebraic equation of the generalized quaternion and obtained ...In this paper, by using the matrix representation of the generalized quaternion algebra, we discussed solution problem for two classes of the first_degree algebraic equation of the generalized quaternion and obtained critical conditions on existence of a unique solution, infinitely many solutions or nonexistence any solution for the two classes algebraic equation.展开更多
We investigate the problem of growth order of solutions of a type of systems of non-linear algebraic differential equations, and extend some results of the growth order of solutions of algebraic differential equations...We investigate the problem of growth order of solutions of a type of systems of non-linear algebraic differential equations, and extend some results of the growth order of solutions of algebraic differential equations to systems of algebraic differential equations.展开更多
Using Nevanlinna theory of the value distribution of meromorphic functions, the author investigates the problem of the growth of solutions of two types of algebraic differential equation and obtains some results.
In this paper, two new kinds of B-basis functions called algebraic hyperbolic （AH） Bézier basis and AH B-Spline basis are presented in the space Гk=span{ l,t ……f^k-3,sinht,cosht}, in which K is an arbitrary ...In this paper, two new kinds of B-basis functions called algebraic hyperbolic （AH） Bézier basis and AH B-Spline basis are presented in the space Гk=span{ l,t ……f^k-3,sinht,cosht}, in which K is an arbitrary integer larger than or equal to 3. They share most optimal properties as those of the Bézier basis and B-Spline basis respectively and can represent exactly some remarkable curves and surfaces such as the hyperbola, catenary, hyperbolic spiral and the hyperbolic paraboloid. The generation of tensor product surfaces of the AH B-Spline basis have two forms： AH B-Spline surface and AH T-Spline surface.展开更多
Based upon Tomonoga-Rowe's many body theory, we find that the algebraic models, including IBM and FDSM are simplest extension of Rowe-Rosensteel's sp(3R).Dynkin-Gruber's subalgebra embedding method is appl...Based upon Tomonoga-Rowe's many body theory, we find that the algebraic models, including IBM and FDSM are simplest extension of Rowe-Rosensteel's sp(3R).Dynkin-Gruber's subalgebra embedding method is applied to find an appropriate algebra and it's reduction chains conforming to physical requirement. The separated cases sp(6) and so(8) now appear as two branches stemming from the same root D6-O(12). Transitional ease between sp(6) and so(8) is inherently include.展开更多
An improved algebraic reconstruction technique（ART） combined with tunable diode laser absorption spectroscopy（TDLAS） is presented in this paper for determining two-dimensional（2D） distribution of H2O concentrati...An improved algebraic reconstruction technique（ART） combined with tunable diode laser absorption spectroscopy（TDLAS） is presented in this paper for determining two-dimensional（2D） distribution of H2O concentration and temperature in a simulated combustion flame.This work aims to simulate the reconstruction of spectroscopic measurements by a multi-view parallel-beam scanning geometry and analyze the effects of projection rays on reconstruction accuracy.It finally proves that reconstruction quality dramatically increases with the number of projection rays increasing until more than 180 for 20 × 20 grid,and after that point,the number of projection rays has little influence on reconstruction accuracy.It is clear that the temperature reconstruction results are more accurate than the water vapor concentration obtained by the traditional concentration calculation method.In the present study an innovative way to reduce the error of concentration reconstruction and improve the reconstruction quality greatly is also proposed,and the capability of this new method is evaluated by using appropriate assessment parameters.By using this new approach,not only the concentration reconstruction accuracy is greatly improved,but also a suitable parallel-beam arrangement is put forward for high reconstruction accuracy and simplicity of experimental validation.Finally,a bimodal structure of the combustion region is assumed to demonstrate the robustness and universality of the proposed method.Numerical investigation indicates that the proposed TDLAS tomographic algorithm is capable of detecting accurate temperature and concentration profiles.This feasible formula for reconstruction research is expected to resolve several key issues in practical combustion devices.展开更多
An extended Fan's algebraic method is used for constructing exact traveling wave solution of nonlinearpartial differential equations.The key idea of this method is to introduce an auxiliary ordinary differential e...An extended Fan's algebraic method is used for constructing exact traveling wave solution of nonlinearpartial differential equations.The key idea of this method is to introduce an auxiliary ordinary differential equationwhich is regarded as an extended elliptic equation and whose degree Υ is expanded to the case of r>4.The efficiency ofthe method is demonstrated by the KdV equation and the variant Boussinesq equations.The results indicate that themethod not only offers all solutions obtained by using Fu's and Fan's methods,but also some new solutions.展开更多
This article deals with a class of numerical methods for retarded differential algebraic systems with time-variable delay. The methods can be viewed as a combination of Runge-Kutta methods and Lagrange interpolation. ...This article deals with a class of numerical methods for retarded differential algebraic systems with time-variable delay. The methods can be viewed as a combination of Runge-Kutta methods and Lagrange interpolation. A new convergence concept, called DA-convergence, is introduced. The DA-convergence result for the methods is derived. At the end, a numerical example is given to verify the computational effectiveness and the theoretical result.展开更多
The algebraic structure and Poisson＇s integral theory of mechanico-electrical systems are studied. The Hamilton canonical equations and generalized Hamilton canonical equations and their the contravariant algebraic f...The algebraic structure and Poisson＇s integral theory of mechanico-electrical systems are studied. The Hamilton canonical equations and generalized Hamilton canonical equations and their the contravariant algebraic forms for mechanico-electrical systems are obtained. The Lie algebraic structure and the Poisson＇s integral theory of Lagrange mechanico-electrical systems are derived. The Lie algebraic structure admitted and Poisson＇s integral theory of the Lagrange-Maxwell mechanico-electrical systems are presented. Two examples are presented to illustrate these results.展开更多
For an odd integer n ≥ 7, this paper presented a class of n-variable rotation symmetric Boolean functions （RSBFs） with optimum algebraic immunity. The nonlinearity of the constructed functions is determined.
The robust stability test of time-delay systems with interval parameters can be concluded into the robust stability of the interval quasipolynomials. It has been revealed that the robust stability of the quasipolynomi...The robust stability test of time-delay systems with interval parameters can be concluded into the robust stability of the interval quasipolynomials. It has been revealed that the robust stability of the quasipolynomials depends on that of their edge polynomials. This paper transforms the interval quasipolynomials into two-dimensional （2-D） interval polynomials （2-D s-z hybrid polynomials）, proves that the robust stability of interval 2-D polynomials are sufficient for the stability of given quasipolynomials. Thus, the stability test of interval quasipolynomials can be completed in 2-D s-z domain instead of classical 1-D s domain. The 2-D s-z hybrid polynomials should have different forms under the time delay properties of given quasipolynomials. The stability test proposed by the paper constructs an edge test set from Kharitonov vertex polynomials to reduce the number of testing edge polynomials. The 2-D algebraic tests are provided for the stability test of vertex 2-D polynomials and edge 2-D polynomials family. To verify the results of the paper to be correct and valid, the simulations based on proposed results and comparison with other presented results are given.展开更多
Algebraic immunity is a new cryptographic criterion proposed against algebraic attacks. In order to resist algebraic attacks, Boolean functions used in many stream ciphers should possess high algebraic immunity. This ...Algebraic immunity is a new cryptographic criterion proposed against algebraic attacks. In order to resist algebraic attacks, Boolean functions used in many stream ciphers should possess high algebraic immunity. This paper presents one main result to find balanced rotation symmetric Boolean functions with maximum algebraic immunity. Through swapping the values of two orbits of rotation class of the majority function, a class of 4k＋l variable Boolean functions with maximum algebraic immu- nity is constructed. The function f（x） we construct always has terms of degree n-2 independence of what ever n is. And the nonlinearity off（x） is relatively good for large n.展开更多
The solution for the forward displacement analysis（FDA） of the general 6-6 Stewart mechanism（i.e., the connection points of the moving and fixed platforms are not restricted to lying in a plane） has been extensive...The solution for the forward displacement analysis（FDA） of the general 6-6 Stewart mechanism（i.e., the connection points of the moving and fixed platforms are not restricted to lying in a plane） has been extensively studied, but the efficiency of the solution remains to be effectively addressed. To this end, an algebraic elimination method is proposed for the FDA of the general 6-6 Stewart mechanism. The kinematic constraint equations are built using conformal geometric algebra（CGA）. The kinematic constraint equations are transformed by a substitution of variables into seven equations with seven unknown variables. According to the characteristic of anti-symmetric matrices, the aforementioned seven equations can be further transformed into seven equations with four unknown variables by a substitution of variables using the Grobner basis. Its elimination weight is increased through changing the degree of one variable, and sixteen equations with four unknown variables can be obtained using the Grobner basis. A 40th-degree univariate polynomial equation is derived by constructing a relatively small-sized 9 × 9 Sylvester resultant matrix. Finally, two numerical examples are employed to verify the proposed method. The results indicate that the proposed method can effectively improve the efficiency of solution and reduce the computational burden because of the small-sized resultant matrix.展开更多
基金Project(No.61271124)supported by the National Natural ScienceFoundation of China
文摘Based on the threshold-arithmetic algebraic system which has been proposed for current-mode circuit design,we propose a systematic methodology for emitter-couple logic(ECL)circuit design.Compared to the traditional methodologies and the theory of differential current switches,the proposed methodology uses the HE map and the characteristics of the internal current signals of ECL circuits to determine the external voltage signals.The operations of the HE map are direct and simple,and the current signals are easy to add or subtract,which make this methodology more flexible,direct,and effective,and make it possible to design arbitrary binary and multi-valued logic functions.Two example circuits are designed and simulated by HSPICE using 0.18μm TSMC technology.Simulation results confirm the validity of the proposed methodology.
文摘This article proposes an algebraic model predictive control(MPC)method for automatic landing.While defining the constraint functions in the optimization problem,the tangent hyperbolic function is preferred.Therefore,the optimization problem turns into an unconstrained,continuous,and differentiable form.An analytical two-step method is also proposed to solve the rest of the problem.In the first step,it is assumed that only input constraints are active and states are unconstrained.The optimal solution for this case is calculated directly with the optimality condition.The calculated control signal is revised in the second step according to system dynamics and state constraints.Simulation results of the auto-landing system show that the MPC computation speed is significantly increased by the new algebraic MPC(AMPC)without compromising the control performance,which makes the method realistic for using MPC in systems with high-speed changing dynamics.
基金Supported by the Optimisation Theory and Algorithm Research Team(Grant No.23kytdzd004)University Science Research Project of Anhui Province(Grant No.2024AH050631)the General Programs for Young Teacher Cultivation of Educational Commission of Anhui Province(Grant No.YQYB2023090).
文摘In this paper,we propose a new full-Newton step feasible interior-point algorithm for the special weighted linear complementarity problems.The proposed algorithm employs the technique of algebraic equivalent transformation to derive the search direction.It is shown that the proximity measure reduces quadratically at each iteration.Moreover,the iteration bound of the algorithm is as good as the best-known polynomial complexity for these types of problems.Furthermore,numerical results are presented to show the efficiency of the proposed algorithm.
文摘In this paper, we investigate the growth of transcendental entire solutionsof the following algebraic differential equation a(z)f'~2 +(b_2(z)f^2 +b_1(z)f +b_0(z))f'=d_3(z)f^3+d_2(z)f^2 +d_1(z)f +d_0(z), where a(z), b_i(z) (0<- i <=2) and d_j (z) (0<=j<= 3) are allpolynomials, and this equation relates closely to the following well-known algebraic differentialequation C(z,w)w'~2 + B(z,w)w' + A(z,w) =0, where G(z,w)not ident to 0, B(z,w) and A(z,w) are threepolynomials in z and w. We give relationships between the growth of entire solutions and the degreesof the above three polynomials in detail.
文摘Aim To study an algebraic of the dynamical equations of holonomic mechanical systems in relative motion. Methods The equations of motion were presented in a contravariant algebraic form and an algebraic product was determined. Results and Conclusion The equations a Lie algebraic structure if any nonpotential generalized force doesn't exist while while the equations possess a Lie-admissible algebraic structure if nonpotential generalized forces exist .
基金supported by the National Natural Science Foundation of China (No. 41004055)
文摘Based on the dual source cumulative rotation technique in the time-domain proposed by Zeng and MacBeth（1993）,a new algebraic processing technique for extracting shear-wave splitting parameters from multi-component VSP data in frequency-dependent medium has been developed.By using this dual source cumulative rotation technique in the frequency-domain（DCTF）,anisotropic parameters,including polarization direction of the shear-waves and timedelay between the fast and slow shear-waves,can be estimated for each frequency component in the frequency domain.It avoids the possible error which comes from using a narrow-band filter in the current commonly used method.By using synthetic seismograms,the feasibility and validity of the technique was tested and a comparison with the currently used method was also given.The results demonstrate that the shear-wave splitting parameters frequency dependence can be extracted directly from four-component seismic data using the DCTF.In the presence of larger scale fractures,substantial frequency dependence would be found in the seismic frequency range,which implies that dispersion would occur at seismic frequencies.Our study shows that shear-wave anisotropy decreases as frequency increases.
文摘An algebraic Harniltonian for the two coupled nonlinear vibrations of highly excited nonrigid molecule HCP was presented. The Hamiltonian reduces to the conventional one in a limit which was expressed in terms of harmonic oscillator operators. It showed that the algebraic model can better reproduce the data than the conventional model by fitting the observed data of HCP.
文摘In this paper, by using the matrix representation of the generalized quaternion algebra, we discussed solution problem for two classes of the first_degree algebraic equation of the generalized quaternion and obtained critical conditions on existence of a unique solution, infinitely many solutions or nonexistence any solution for the two classes algebraic equation.
基金supported by the Natural Science Foundationof China (10471065)the Natural Science Foundation of Guangdong Province (N04010474)
文摘We investigate the problem of growth order of solutions of a type of systems of non-linear algebraic differential equations, and extend some results of the growth order of solutions of algebraic differential equations to systems of algebraic differential equations.
基金The project Supported by NNSF of China(19971052)
文摘Using Nevanlinna theory of the value distribution of meromorphic functions, the author investigates the problem of the growth of solutions of two types of algebraic differential equation and obtains some results.
基金Projects supported by the National Natural Science Foundation of China (No. 10371110) and the National Basic Research Program (973) of China (No.G2002CB312101)
文摘In this paper, two new kinds of B-basis functions called algebraic hyperbolic （AH） Bézier basis and AH B-Spline basis are presented in the space Гk=span{ l,t ……f^k-3,sinht,cosht}, in which K is an arbitrary integer larger than or equal to 3. They share most optimal properties as those of the Bézier basis and B-Spline basis respectively and can represent exactly some remarkable curves and surfaces such as the hyperbola, catenary, hyperbolic spiral and the hyperbolic paraboloid. The generation of tensor product surfaces of the AH B-Spline basis have two forms： AH B-Spline surface and AH T-Spline surface.
文摘Based upon Tomonoga-Rowe's many body theory, we find that the algebraic models, including IBM and FDSM are simplest extension of Rowe-Rosensteel's sp(3R).Dynkin-Gruber's subalgebra embedding method is applied to find an appropriate algebra and it's reduction chains conforming to physical requirement. The separated cases sp(6) and so(8) now appear as two branches stemming from the same root D6-O(12). Transitional ease between sp(6) and so(8) is inherently include.
基金Project supported by the Young Scientists Fund of the National Natural Science Foundation of China(Grant No.61205151)the National Key Scientific Instrument and Equipment Development Project of China(Grant No.2014YQ060537)the National Basic Research Program,China(Grant No.2013CB632803)
文摘An improved algebraic reconstruction technique（ART） combined with tunable diode laser absorption spectroscopy（TDLAS） is presented in this paper for determining two-dimensional（2D） distribution of H2O concentration and temperature in a simulated combustion flame.This work aims to simulate the reconstruction of spectroscopic measurements by a multi-view parallel-beam scanning geometry and analyze the effects of projection rays on reconstruction accuracy.It finally proves that reconstruction quality dramatically increases with the number of projection rays increasing until more than 180 for 20 × 20 grid,and after that point,the number of projection rays has little influence on reconstruction accuracy.It is clear that the temperature reconstruction results are more accurate than the water vapor concentration obtained by the traditional concentration calculation method.In the present study an innovative way to reduce the error of concentration reconstruction and improve the reconstruction quality greatly is also proposed,and the capability of this new method is evaluated by using appropriate assessment parameters.By using this new approach,not only the concentration reconstruction accuracy is greatly improved,but also a suitable parallel-beam arrangement is put forward for high reconstruction accuracy and simplicity of experimental validation.Finally,a bimodal structure of the combustion region is assumed to demonstrate the robustness and universality of the proposed method.Numerical investigation indicates that the proposed TDLAS tomographic algorithm is capable of detecting accurate temperature and concentration profiles.This feasible formula for reconstruction research is expected to resolve several key issues in practical combustion devices.
基金National Natural Science Foundation of China under Grant No.10672053
文摘An extended Fan's algebraic method is used for constructing exact traveling wave solution of nonlinearpartial differential equations.The key idea of this method is to introduce an auxiliary ordinary differential equationwhich is regarded as an extended elliptic equation and whose degree Υ is expanded to the case of r>4.The efficiency ofthe method is demonstrated by the KdV equation and the variant Boussinesq equations.The results indicate that themethod not only offers all solutions obtained by using Fu's and Fan's methods,but also some new solutions.
文摘This article deals with a class of numerical methods for retarded differential algebraic systems with time-variable delay. The methods can be viewed as a combination of Runge-Kutta methods and Lagrange interpolation. A new convergence concept, called DA-convergence, is introduced. The DA-convergence result for the methods is derived. At the end, a numerical example is given to verify the computational effectiveness and the theoretical result.
基金Project supported by the State Key Laboratory of Scientific and Engineering Computing, Chinese Academy of Sciences and the National Natural Science Foundation of China （Grant Nos 10471145 and 10372053） and the Natural Science Foundation of Henan Provincial Government of China （Grant Nos 0311011400 and 0511022200）.
文摘The algebraic structure and Poisson＇s integral theory of mechanico-electrical systems are studied. The Hamilton canonical equations and generalized Hamilton canonical equations and their the contravariant algebraic forms for mechanico-electrical systems are obtained. The Lie algebraic structure and the Poisson＇s integral theory of Lagrange mechanico-electrical systems are derived. The Lie algebraic structure admitted and Poisson＇s integral theory of the Lagrange-Maxwell mechanico-electrical systems are presented. Two examples are presented to illustrate these results.
基金Supported by the National Natural Science Foundation of China ( 60603012)the Foundation of Hubei Provincial Department of Education, China (D200610004)
文摘For an odd integer n ≥ 7, this paper presented a class of n-variable rotation symmetric Boolean functions （RSBFs） with optimum algebraic immunity. The nonlinearity of the constructed functions is determined.
基金This project was supported by the National Science Foundation of China (60572093).
文摘The robust stability test of time-delay systems with interval parameters can be concluded into the robust stability of the interval quasipolynomials. It has been revealed that the robust stability of the quasipolynomials depends on that of their edge polynomials. This paper transforms the interval quasipolynomials into two-dimensional （2-D） interval polynomials （2-D s-z hybrid polynomials）, proves that the robust stability of interval 2-D polynomials are sufficient for the stability of given quasipolynomials. Thus, the stability test of interval quasipolynomials can be completed in 2-D s-z domain instead of classical 1-D s domain. The 2-D s-z hybrid polynomials should have different forms under the time delay properties of given quasipolynomials. The stability test proposed by the paper constructs an edge test set from Kharitonov vertex polynomials to reduce the number of testing edge polynomials. The 2-D algebraic tests are provided for the stability test of vertex 2-D polynomials and edge 2-D polynomials family. To verify the results of the paper to be correct and valid, the simulations based on proposed results and comparison with other presented results are given.
基金Supported by the National Natural Science Foundation of China(61272434)the Natural Science Foundation of Shandong Province(ZR 2012FM004,ZR2013FQ021)the Foundation of Science and Technology on Information Assume Laboratory(KJ-13-004)
文摘Algebraic immunity is a new cryptographic criterion proposed against algebraic attacks. In order to resist algebraic attacks, Boolean functions used in many stream ciphers should possess high algebraic immunity. This paper presents one main result to find balanced rotation symmetric Boolean functions with maximum algebraic immunity. Through swapping the values of two orbits of rotation class of the majority function, a class of 4k＋l variable Boolean functions with maximum algebraic immu- nity is constructed. The function f（x） we construct always has terms of degree n-2 independence of what ever n is. And the nonlinearity off（x） is relatively good for large n.
基金Supported by National Natural Science Foundation of China(Grant No.51375059)National Hi-tech Research and Development Program of China(863 Program,Grant No.2011AA040203)+1 种基金Special Fund for Agro-scientific Research in the Public Interest of China(Grant No.201313009-06)National Key Technology R&D Program of the Ministry of Science and Technology of China(Grant No.2013BAD17B06)
文摘The solution for the forward displacement analysis（FDA） of the general 6-6 Stewart mechanism（i.e., the connection points of the moving and fixed platforms are not restricted to lying in a plane） has been extensively studied, but the efficiency of the solution remains to be effectively addressed. To this end, an algebraic elimination method is proposed for the FDA of the general 6-6 Stewart mechanism. The kinematic constraint equations are built using conformal geometric algebra（CGA）. The kinematic constraint equations are transformed by a substitution of variables into seven equations with seven unknown variables. According to the characteristic of anti-symmetric matrices, the aforementioned seven equations can be further transformed into seven equations with four unknown variables by a substitution of variables using the Grobner basis. Its elimination weight is increased through changing the degree of one variable, and sixteen equations with four unknown variables can be obtained using the Grobner basis. A 40th-degree univariate polynomial equation is derived by constructing a relatively small-sized 9 × 9 Sylvester resultant matrix. Finally, two numerical examples are employed to verify the proposed method. The results indicate that the proposed method can effectively improve the efficiency of solution and reduce the computational burden because of the small-sized resultant matrix.
