In this paper we introduce the class of Hermite's matrix polynomials which appear as finite series solutions of second order matrix differential equations Y'-xAY'+BY=0.An explicit expression for the Hermit...In this paper we introduce the class of Hermite's matrix polynomials which appear as finite series solutions of second order matrix differential equations Y'-xAY'+BY=0.An explicit expression for the Hermite matrix polynomials,the orthogonality property and a Rodrigues' formula are given.展开更多
Based on the linear theories of thin cylindrical shells and viscoelastic materials, a governing equation describing vibration of a sandwich circular cylindrical shell with a viscoelastic core under harmonic excitation...Based on the linear theories of thin cylindrical shells and viscoelastic materials, a governing equation describing vibration of a sandwich circular cylindrical shell with a viscoelastic core under harmonic excitation is derived. The equation can be written as a matrix differential equation of the first order, and is obtained by considering the energy dissipation due to the shear deformation of the viscoelastic core layer and the interaction between all layers. A new matrix method for solving the governing equation is then presented With an extended homogeneous capacity precision integration approach. Having obtained these, vibration characteristics and damping effect of the sandwich cylindrical shell can be studied. The method differs from a recently published work as the state vector in the governing equation is composed of displacements and internal forces of the sandwich shell rather than displacements and their derivatives. So the present method can be applied to solve dynamic problems of the kind of sandwich shells with various boundary conditions and partially constrained layer damping. Numerical examples show that the proposed approach is effective and reliable compared with the existing methods.展开更多
The first order differential matrix equations of the host shell and constrained layer for a sandwich rotational shell are derived based on the thin shell theory.Employing the layer wise principle and first order shear...The first order differential matrix equations of the host shell and constrained layer for a sandwich rotational shell are derived based on the thin shell theory.Employing the layer wise principle and first order shear deformation theory, only considering the shearing deformation of the viscoelastic layer, the integrated first order differential matrix equation of a passive constrained layer damping rotational shell is established by combining with the normal equilibrium equation of the viscoelastic layer.A highly precise transfer matrix method is developed by extended homogeneous capacity precision integration technology.The numerical results show that present method is accurate and effective.展开更多
An inverse G of a given matrix A satisfying the condition GAG=G is known as a {2}-inverse of A. This paper makes the {2}-inverse the starting point for studying the Lowner partial ordering of real nonnegative matrices...An inverse G of a given matrix A satisfying the condition GAG=G is known as a {2}-inverse of A. This paper makes the {2}-inverse the starting point for studying the Lowner partial ordering of real nonnegative matrices. Simple basic properties of the {2}-inverses yield various extensions for the reverse ordering property, AB if and only if B-1A-1, of the positive definite matrices.展开更多
To simplify the process for identifying 12 types of symmetric variables in Boolean functions, we propose a new symmetry detection algorithm based on minterm expansion or the truth table. First, the order eigenvalue ma...To simplify the process for identifying 12 types of symmetric variables in Boolean functions, we propose a new symmetry detection algorithm based on minterm expansion or the truth table. First, the order eigenvalue matrix based on a truth table is defined according to the symmetry definition of a logic variable. By analyzing the constraint conditions of the order eigenvalue matrix for 12 types of symmetric variables, an algorithm is proposed for identifying symmetric variables of the Boolean function. This algorithm can be applied to identify the symmetric variables of Boolean functions with or without don't-care terms. The proposed method avoids the restriction by the number of logic variables of the graphical method, spectral coefficient methods, and AND-XOR expansion coefficient methods, and solves the problem of completeness in the fast computation method. The algorithm has been implemented in C language and tested on MCNC91 benchmarks. The application results show that, compared with the traditional methods, the new algorithm is an optimal detection method in terms of the applicability of the number of logic variables, the Boolean function including don't-care terms, detection type, and complexity of the identification process.展开更多
The author generalizes the Arzela-Ascoli theorem to the setting of matrix order unit spaces, extending the work of Antonescu-Christensen on unital C^*-algebras. This gives an affirmative answer to a question of Anton...The author generalizes the Arzela-Ascoli theorem to the setting of matrix order unit spaces, extending the work of Antonescu-Christensen on unital C^*-algebras. This gives an affirmative answer to a question of Antonescu and Christensen.展开更多
The organizational problem is how to arrange the order of play for the annual club tournament under the following cocnditions. There are n many teams enter and one court available. The tournament rules are that team h...The organizational problem is how to arrange the order of play for the annual club tournament under the following cocnditions. There are n many teams enter and one court available. The tournament rules are that team has to play a match against every other team. Each team should have a reasonalbe rest between games. We give some method to consider the problem and completely solve the problem in the case that n=5展开更多
The main theme of this paper is to consider a notion of 'approximately unital operator systems' including both C*-algebras and unital operator systems.The goals are to prove a version of the Choi-Effros theore...The main theme of this paper is to consider a notion of 'approximately unital operator systems' including both C*-algebras and unital operator systems.The goals are to prove a version of the Choi-Effros theorem for these systems,to introduce a functorial process for forming an approximately unital operator systems from a given matrix ordered vector space with a proper approximate order unit,to study second duals of these objects and to prove that a C*-algebra can be characterized as an approximately unital operator system that is also an approximately unital matrix ordered *-algebra.展开更多
An ultra-accurate isogeometric dynamic analysis is presented.The key ingredient of the proposed methodology is the development of isogeometric higher order mass matrix.A new one-step method is proposed for the constru...An ultra-accurate isogeometric dynamic analysis is presented.The key ingredient of the proposed methodology is the development of isogeometric higher order mass matrix.A new one-step method is proposed for the construction of higher order mass matrix.In this approach,an adjustable mass matrix is formulated through introducing a set of mass parameters into the consistent mass matrix under the element mass conservation condition.Then the semi-discrete frequency derived from the free vibration equation with the adjustable mass matrix is served as a measure to optimize the mass parameters.In 1D analysis,it turns out that the present one-step method can perfectly recover the existing reduced bandwidth mass matrix and the higher order mass matrix by choosing different mass parameters.However,the employment of the proposed one-step method to the2D membrane problem yields a remarkable gain of solution accuracy compared with the higher order mass matrix generated by the original two-step method.Subsequently a full-discrete isogeometric transient analysis algorithm is presented by using the Newmark time integration scheme and the higher order mass matrix.The full-discrete frequency is derived to assess the accuracy of space-time discretization.Finally a set of numerical examples are presented to evaluate the accuracy of the proposed method,which show that very favorable solution accuracy is achieved by the present dynamic isogeometric analysis with higher order mass formulation compared with that obtained from the standard consistent mass approach.展开更多
文摘In this paper we introduce the class of Hermite's matrix polynomials which appear as finite series solutions of second order matrix differential equations Y'-xAY'+BY=0.An explicit expression for the Hermite matrix polynomials,the orthogonality property and a Rodrigues' formula are given.
基金supported by the National Natural Science Foundation of China (No. 10662003)the Doctoral Fund of Ministry of Education of China (No. 20040787013)
文摘Based on the linear theories of thin cylindrical shells and viscoelastic materials, a governing equation describing vibration of a sandwich circular cylindrical shell with a viscoelastic core under harmonic excitation is derived. The equation can be written as a matrix differential equation of the first order, and is obtained by considering the energy dissipation due to the shear deformation of the viscoelastic core layer and the interaction between all layers. A new matrix method for solving the governing equation is then presented With an extended homogeneous capacity precision integration approach. Having obtained these, vibration characteristics and damping effect of the sandwich cylindrical shell can be studied. The method differs from a recently published work as the state vector in the governing equation is composed of displacements and internal forces of the sandwich shell rather than displacements and their derivatives. So the present method can be applied to solve dynamic problems of the kind of sandwich shells with various boundary conditions and partially constrained layer damping. Numerical examples show that the proposed approach is effective and reliable compared with the existing methods.
基金supported by the National Natural Science Foundation of China (No.10662003)Educational Commission of Guangxi Province of China (No.200807MS109)
文摘The first order differential matrix equations of the host shell and constrained layer for a sandwich rotational shell are derived based on the thin shell theory.Employing the layer wise principle and first order shear deformation theory, only considering the shearing deformation of the viscoelastic layer, the integrated first order differential matrix equation of a passive constrained layer damping rotational shell is established by combining with the normal equilibrium equation of the viscoelastic layer.A highly precise transfer matrix method is developed by extended homogeneous capacity precision integration technology.The numerical results show that present method is accurate and effective.
文摘An inverse G of a given matrix A satisfying the condition GAG=G is known as a {2}-inverse of A. This paper makes the {2}-inverse the starting point for studying the Lowner partial ordering of real nonnegative matrices. Simple basic properties of the {2}-inverses yield various extensions for the reverse ordering property, AB if and only if B-1A-1, of the positive definite matrices.
基金supported by the National Natural Science Foundation of China(Nos.61471314 and 61271124)the Zhejiang Provincial Natural Science Foundation(No.LY13F010001)the National Key Technology R&D Program of China(Nos.2013BAH27F01,2013BAH27F02,and 2013BAH27F03)
文摘To simplify the process for identifying 12 types of symmetric variables in Boolean functions, we propose a new symmetry detection algorithm based on minterm expansion or the truth table. First, the order eigenvalue matrix based on a truth table is defined according to the symmetry definition of a logic variable. By analyzing the constraint conditions of the order eigenvalue matrix for 12 types of symmetric variables, an algorithm is proposed for identifying symmetric variables of the Boolean function. This algorithm can be applied to identify the symmetric variables of Boolean functions with or without don't-care terms. The proposed method avoids the restriction by the number of logic variables of the graphical method, spectral coefficient methods, and AND-XOR expansion coefficient methods, and solves the problem of completeness in the fast computation method. The algorithm has been implemented in C language and tested on MCNC91 benchmarks. The application results show that, compared with the traditional methods, the new algorithm is an optimal detection method in terms of the applicability of the number of logic variables, the Boolean function including don't-care terms, detection type, and complexity of the identification process.
基金the Shanghai Leading Academic Discipline Project (Project No. B407)the Scientific Research Foundation for the Returned Overseas Chinese Scholars,State Education Ministrythe National Natural Science Foundation of China (Grant No.10671068)
文摘The author generalizes the Arzela-Ascoli theorem to the setting of matrix order unit spaces, extending the work of Antonescu-Christensen on unital C^*-algebras. This gives an affirmative answer to a question of Antonescu and Christensen.
文摘The organizational problem is how to arrange the order of play for the annual club tournament under the following cocnditions. There are n many teams enter and one court available. The tournament rules are that team has to play a match against every other team. Each team should have a reasonalbe rest between games. We give some method to consider the problem and completely solve the problem in the case that n=5
文摘The main theme of this paper is to consider a notion of 'approximately unital operator systems' including both C*-algebras and unital operator systems.The goals are to prove a version of the Choi-Effros theorem for these systems,to introduce a functorial process for forming an approximately unital operator systems from a given matrix ordered vector space with a proper approximate order unit,to study second duals of these objects and to prove that a C*-algebra can be characterized as an approximately unital operator system that is also an approximately unital matrix ordered *-algebra.
基金supported by the National Natural Science Foundation of China(Grant No.11222221)
文摘An ultra-accurate isogeometric dynamic analysis is presented.The key ingredient of the proposed methodology is the development of isogeometric higher order mass matrix.A new one-step method is proposed for the construction of higher order mass matrix.In this approach,an adjustable mass matrix is formulated through introducing a set of mass parameters into the consistent mass matrix under the element mass conservation condition.Then the semi-discrete frequency derived from the free vibration equation with the adjustable mass matrix is served as a measure to optimize the mass parameters.In 1D analysis,it turns out that the present one-step method can perfectly recover the existing reduced bandwidth mass matrix and the higher order mass matrix by choosing different mass parameters.However,the employment of the proposed one-step method to the2D membrane problem yields a remarkable gain of solution accuracy compared with the higher order mass matrix generated by the original two-step method.Subsequently a full-discrete isogeometric transient analysis algorithm is presented by using the Newmark time integration scheme and the higher order mass matrix.The full-discrete frequency is derived to assess the accuracy of space-time discretization.Finally a set of numerical examples are presented to evaluate the accuracy of the proposed method,which show that very favorable solution accuracy is achieved by the present dynamic isogeometric analysis with higher order mass formulation compared with that obtained from the standard consistent mass approach.