An absolute value equation is established for linear combinations of two operators.When the parameters take special values, the parallelogram law of operator type is given. In addition, the operator equation in litera...An absolute value equation is established for linear combinations of two operators.When the parameters take special values, the parallelogram law of operator type is given. In addition, the operator equation in literature [3] and its equivalent deformation are obtained.Based on the equivalent deformation of the operator equation and using the properties of conjugate number as well as the operator, an absolute value identity of multiple operators is given by means of mathematical induction. As Corollaries, Bohr inequalities are extended to multiple operators and some related inequalities are reduced to, such as inequalities in [2]and [3].展开更多
The development of algebraic and numerical algorithms is a kind of complicated creative work and it is difficult to guarantee the correctness of the algorithms. This paper introduces a systematic and unified formal de...The development of algebraic and numerical algorithms is a kind of complicated creative work and it is difficult to guarantee the correctness of the algorithms. This paper introduces a systematic and unified formal development method of algebraic and numerical algorithms. The method implements the complete refinement process from abstract specifications to a concrete executable program. It uses the core idea of partition and recursion for formal derivation and combines the mathematical induction based on strict mathematical logic with Hoare axiom for correctness verification. This development method converts creative work into non-creative work as much as possible while ensuring the correctness of the algorithm, which can not only verify the correctness of the existing algebraic and numerical algorithms but also guide the development of efficient unknown algorithms for such problems. This paper takes the non-recursive implementation of the Extended Euclidean Algorithm and Horner's method as examples. Therefore, the effectiveness and feasibility of this method are further verified.展开更多
基金Supported by the Key Scientific and Technological Innovation Team Project in Shaanxi Province(2014KCT-15)
文摘An absolute value equation is established for linear combinations of two operators.When the parameters take special values, the parallelogram law of operator type is given. In addition, the operator equation in literature [3] and its equivalent deformation are obtained.Based on the equivalent deformation of the operator equation and using the properties of conjugate number as well as the operator, an absolute value identity of multiple operators is given by means of mathematical induction. As Corollaries, Bohr inequalities are extended to multiple operators and some related inequalities are reduced to, such as inequalities in [2]and [3].
基金Supported by the National Natural Science Foundation of China (61862033, 61762049, 61902162)Jiangxi Provincial Natural Science Foundation (20202BABL202026, 20202BABL202025, 20202BAB202015)。
文摘The development of algebraic and numerical algorithms is a kind of complicated creative work and it is difficult to guarantee the correctness of the algorithms. This paper introduces a systematic and unified formal development method of algebraic and numerical algorithms. The method implements the complete refinement process from abstract specifications to a concrete executable program. It uses the core idea of partition and recursion for formal derivation and combines the mathematical induction based on strict mathematical logic with Hoare axiom for correctness verification. This development method converts creative work into non-creative work as much as possible while ensuring the correctness of the algorithm, which can not only verify the correctness of the existing algebraic and numerical algorithms but also guide the development of efficient unknown algorithms for such problems. This paper takes the non-recursive implementation of the Extended Euclidean Algorithm and Horner's method as examples. Therefore, the effectiveness and feasibility of this method are further verified.
