A closed-form solution can be obtained for kinematic analysis of spatial mechanisms by using analytical method.However,extra solutions would occur when solving the constraint equations of mechanism kinematics unless t...A closed-form solution can be obtained for kinematic analysis of spatial mechanisms by using analytical method.However,extra solutions would occur when solving the constraint equations of mechanism kinematics unless the constraint equations are established with a proper method and the solving approach is appropriate.In order to obtain a kinematic solution of the spherical Stephenson-III six-bar mechanism,spherical analytical theory is employed to construct the constraint equations.Firstly,the mechanism is divided into a four-bar loop and a two-bar unit.On the basis of the decomposition,vectors of the mechanism nodes are derived according to spherical analytical theory and the principle of coordinate transformation.Secondly,the structural constraint equations are constructed by applying cosine formula of spherical triangles to the top platform of the mechanism.Thirdly,the constraint equations are solved by using Bezout’ s elimination method for forward analysis and Sylvester’ s resultant elimination method for inverse kinematics respectively.By the aid of computer symbolic systems,Mathematica and Maple,symbolic closed-form solution of forward and inverse displacement analysis of spherical Stephenson-III six-bar mechanism are obtained.Finally,numerical examples of forward and inverse analysis are presented to illustrate the proposed approach.The results indicate that the constraint equations established with the proposed method are much simpler than those reported by previous literature,and can be readily eliminated and solved.展开更多
This paper observes approaches to algebraic analysis of GOST 28147-89 encryption algorithm (also known as simply GOST), which is the basis of most secure information systems in Russia. The general idea of algebraic an...This paper observes approaches to algebraic analysis of GOST 28147-89 encryption algorithm (also known as simply GOST), which is the basis of most secure information systems in Russia. The general idea of algebraic analysis is based on the representation of initial encryption algorithm as a system of multivariate quadratic equations, which define relations between a secret key and a cipher text. Extended linearization method is evaluated as a method for solving the nonlinear sys- tem of equations.展开更多
We study the constrained systemof linear equations Ax=b,x∈R(A^(k))for A∈C^(n×n)and b∈Cn,k=Ind(A).When the system is consistent,it is well known that it has a unique A^(D)b.If the system is inconsistent,then we...We study the constrained systemof linear equations Ax=b,x∈R(A^(k))for A∈C^(n×n)and b∈Cn,k=Ind(A).When the system is consistent,it is well known that it has a unique A^(D)b.If the system is inconsistent,then we seek for the least squares solution of the problem and consider min_(x∈R(A^(k)))||b−Ax||2,where||·||2 is the 2-norm.For the inconsistent system with a matrix A of index one,it was proved recently that the solution is A^(■)b using the core inverse A^(■)of A.For matrices of an arbitrary index and an arbitrary b,we show that the solution of the constrained system can be expressed as A^(■)b where A^(■)is the core-EP inverse of A.We establish two Cramer’s rules for the inconsistent constrained least squares solution and develop several explicit expressions for the core-EP inverse of matrices of an arbitrary index.Using these expressions,two Cramer’s rules and one Gaussian elimination method for computing the core-EP inverse of matrices of an arbitrary index are proposed in this paper.We also consider the W-weighted core-EP inverse of a rectangular matrix and apply the weighted core-EP inverse to a more general constrained system of linear equations.展开更多
Based on the homotopy analysis method, a general analytic technique for strongly nonlinear problems, a Maple package of automated derivation (ADHO) for periodic nonlinear oscillation systems is presented. This Maple...Based on the homotopy analysis method, a general analytic technique for strongly nonlinear problems, a Maple package of automated derivation (ADHO) for periodic nonlinear oscillation systems is presented. This Maple package is valid for periodic oscillation systems in rather general, and can automatically deliver the accurate approximations of the frequency co and the mean of motion δof a nonlinear periodic oscillator. Based on the homotopy analysis method which is valid even for highly nonlinear problems, this Maple package can give accurate approximate expressions even for nonlinear oscillation systems with strong nonlinearity. Besides, the package is user-friendly: One just needs to input a governing equation and initial conditions, and then gets satisfied analytic approximations in few seconds. Several different types of examples are given in this paper to illustrate the validity of this Maple package. Such kind of package provides us a helpful and easy-to-use tool in science and engineering to analyze periodic of this Maple package from the is published publicly. nonlinear oscillations. And it is free address http://numericaltank.sjtu to download the electronic version edu.cn/sjliao.htm once the paper展开更多
基金supported by National Natural Science Foundation of China(Grant No.50975186)
文摘A closed-form solution can be obtained for kinematic analysis of spatial mechanisms by using analytical method.However,extra solutions would occur when solving the constraint equations of mechanism kinematics unless the constraint equations are established with a proper method and the solving approach is appropriate.In order to obtain a kinematic solution of the spherical Stephenson-III six-bar mechanism,spherical analytical theory is employed to construct the constraint equations.Firstly,the mechanism is divided into a four-bar loop and a two-bar unit.On the basis of the decomposition,vectors of the mechanism nodes are derived according to spherical analytical theory and the principle of coordinate transformation.Secondly,the structural constraint equations are constructed by applying cosine formula of spherical triangles to the top platform of the mechanism.Thirdly,the constraint equations are solved by using Bezout’ s elimination method for forward analysis and Sylvester’ s resultant elimination method for inverse kinematics respectively.By the aid of computer symbolic systems,Mathematica and Maple,symbolic closed-form solution of forward and inverse displacement analysis of spherical Stephenson-III six-bar mechanism are obtained.Finally,numerical examples of forward and inverse analysis are presented to illustrate the proposed approach.The results indicate that the constraint equations established with the proposed method are much simpler than those reported by previous literature,and can be readily eliminated and solved.
文摘This paper observes approaches to algebraic analysis of GOST 28147-89 encryption algorithm (also known as simply GOST), which is the basis of most secure information systems in Russia. The general idea of algebraic analysis is based on the representation of initial encryption algorithm as a system of multivariate quadratic equations, which define relations between a secret key and a cipher text. Extended linearization method is evaluated as a method for solving the nonlinear sys- tem of equations.
文摘We study the constrained systemof linear equations Ax=b,x∈R(A^(k))for A∈C^(n×n)and b∈Cn,k=Ind(A).When the system is consistent,it is well known that it has a unique A^(D)b.If the system is inconsistent,then we seek for the least squares solution of the problem and consider min_(x∈R(A^(k)))||b−Ax||2,where||·||2 is the 2-norm.For the inconsistent system with a matrix A of index one,it was proved recently that the solution is A^(■)b using the core inverse A^(■)of A.For matrices of an arbitrary index and an arbitrary b,we show that the solution of the constrained system can be expressed as A^(■)b where A^(■)is the core-EP inverse of A.We establish two Cramer’s rules for the inconsistent constrained least squares solution and develop several explicit expressions for the core-EP inverse of matrices of an arbitrary index.Using these expressions,two Cramer’s rules and one Gaussian elimination method for computing the core-EP inverse of matrices of an arbitrary index are proposed in this paper.We also consider the W-weighted core-EP inverse of a rectangular matrix and apply the weighted core-EP inverse to a more general constrained system of linear equations.
基金supported by the National Science Foundation of China under Grant No.11071274
文摘Based on the homotopy analysis method, a general analytic technique for strongly nonlinear problems, a Maple package of automated derivation (ADHO) for periodic nonlinear oscillation systems is presented. This Maple package is valid for periodic oscillation systems in rather general, and can automatically deliver the accurate approximations of the frequency co and the mean of motion δof a nonlinear periodic oscillator. Based on the homotopy analysis method which is valid even for highly nonlinear problems, this Maple package can give accurate approximate expressions even for nonlinear oscillation systems with strong nonlinearity. Besides, the package is user-friendly: One just needs to input a governing equation and initial conditions, and then gets satisfied analytic approximations in few seconds. Several different types of examples are given in this paper to illustrate the validity of this Maple package. Such kind of package provides us a helpful and easy-to-use tool in science and engineering to analyze periodic of this Maple package from the is published publicly. nonlinear oscillations. And it is free address http://numericaltank.sjtu to download the electronic version edu.cn/sjliao.htm once the paper