Let p be a prime and F_p be a finite field of p elements.Let F_(pG)denote the group algebra of the finite p-group G over the field F_(p)and V(F_(pG))denote the group of normalized units in F_(pG).Suppose that G and H ...Let p be a prime and F_p be a finite field of p elements.Let F_(pG)denote the group algebra of the finite p-group G over the field F_(p)and V(F_(pG))denote the group of normalized units in F_(pG).Suppose that G and H are finite p-groups given by a central extension of the form 1→Z_(p)^(m)→G→Z_(p)×···×Z_(p)→1 and G'≌Z_(p),m≥1.Then V(F_(p)G)≌V(F_(p)H)if and only if G≌H.Balogh and Bovdi only solved the isomorphism problem when p is odd.In this paper,the case p=2 is determined.展开更多
Theoretical background and an implementation of the p-group generation algorithm by Newman and O’Brien are used to provide computational evidence of a new type of periodically repeating patterns in pruned descendant ...Theoretical background and an implementation of the p-group generation algorithm by Newman and O’Brien are used to provide computational evidence of a new type of periodically repeating patterns in pruned descendant trees of finite p-groups.展开更多
For any prime p, all finite noncyclic p-groups which contain a self-centralizing cyclic normal subgroup are determined by using cohomological techniques. Some applications are given, including a character theoretic de...For any prime p, all finite noncyclic p-groups which contain a self-centralizing cyclic normal subgroup are determined by using cohomological techniques. Some applications are given, including a character theoretic description for such groups.展开更多
为解决传统数字滤波器在有限精度实现时因有限字长(Finite Word Length,FWL)效应导致滤波器性能下降的问题,提出一种L_(2)灵敏度最小化的数字滤波器状态空间实现稀疏化方法.推导前向差分算子数字滤波器结构传输函数及其等效状态空间实现...为解决传统数字滤波器在有限精度实现时因有限字长(Finite Word Length,FWL)效应导致滤波器性能下降的问题,提出一种L_(2)灵敏度最小化的数字滤波器状态空间实现稀疏化方法.推导前向差分算子数字滤波器结构传输函数及其等效状态空间实现,根据可控及可观格莱姆矩阵得到基于相似变换矩阵的L_(2)灵敏度表达式,并进行稀疏化校准,将L_(2)灵敏度最小化问题转换为凸函数求最值问题,求导得到L_(2)灵敏度最小化表达式,代回即得前向差分算子数字滤波器的稀疏化状态空间实现.仿真结果表明,所提方法设计的数字滤波器具有更好的抗FWL效应.展开更多
A modified penalty scheme is discussed for solving the Stokes problem with the Crouzeix-Raviart type nonconforming linear triangular finite element. By the L^2 projection method, the superconvergence results for the v...A modified penalty scheme is discussed for solving the Stokes problem with the Crouzeix-Raviart type nonconforming linear triangular finite element. By the L^2 projection method, the superconvergence results for the velocity and pressure are obtained with a penalty parameter larger than that of the classical penalty scheme. The numerical experiments are carried out to confirm the theoretical results.展开更多
A nonlinear parabolic system is derived to describe incompressible nuclear waste-disposal contamination in porous media. A sequential implicit tirne-stepping is defined, in which the pressure and Darcy velocity of the...A nonlinear parabolic system is derived to describe incompressible nuclear waste-disposal contamination in porous media. A sequential implicit tirne-stepping is defined, in which the pressure and Darcy velocity of the mixture are approximated simultaneously by a mixed finite element method and the brine, radionuclid and heat are treated by a combination of a Galerkin finite element method and the method of characteristics. Optimal-order convergence in L2 is proved. Time-truncation errors of standard procedures are reduced by time stepping along the characteristics of the hyperbolic part of the brine, radionuclide and heal equalios, temporal and spatial error are lossened by direct compulation of the velocity in the mixed method, as opposed to differentiation of the pressure.展开更多
Numerical experiments are given to verify the theoretical results for superconvergence of the elliptic problem by global and local L2-Projection methods.
Consider L<sup>2</sup>-projection u<sub>h</sub> of u to n-degree finite element space on one-dimensional uniform grids. Two different classes of the orthogonal expansion in an element for const...Consider L<sup>2</sup>-projection u<sub>h</sub> of u to n-degree finite element space on one-dimensional uniform grids. Two different classes of the orthogonal expansion in an element for constructing a superclose to function u<sub>h</sub> are proposed and then superconvergence for both u<sub>h</sub> and Du<sub>h</sub> are proved. When n is odd and no boundary conditions are prescribed, then u<sub>h</sub> is of superconvergence at n+1 order Gauss points G<sub>n+1</sub> in each element. When n is even and function values on the boundary are prescribed, then u<sub>h</sub> is of superconvergence at n+1 order points Z<sub>n+1</sub> in each element. If the other boundary conditions are given, then the conclusions are valid in all elements that its distance from the boundary≥ch|lnh|. The above conclusions are also valid. for n-dergree rectangular element Q<sub>1</sub> (n).展开更多
In order to answer a question motivated by constructing substitution boxes in block ciphers we will exhibit an infinite family of full-rank factorizations of elementary 2-groups into two factors having equal sizes.
The present note determines the structure of the K2-group and of its subgroup over a finite commutative ring R by considering relations between R andfinite commutative local ring Ri (1 < i < m), where R Ri and K...The present note determines the structure of the K2-group and of its subgroup over a finite commutative ring R by considering relations between R andfinite commutative local ring Ri (1 < i < m), where R Ri and K2(R) =K2(Ri). We show that if charKi= p (Ki denotes the residual field of Ri), then K2(Ri) and its subgroups must be p-groups.展开更多
We discuss the definition and effectiveness of a Padé-type approximation to 2π-periodic finite Baire measures on [-π,π]. In the first two sections we recall the definitions and basic properties of the Padr...We discuss the definition and effectiveness of a Padé-type approximation to 2π-periodic finite Baire measures on [-π,π]. In the first two sections we recall the definitions and basic properties of the Padré-type approximants to harmonic functions in the unit disk and to L p -functions on the unit circle. Section 3 deals with the extension of these definitions and properties to a finite 2π-periodic Baire measure. Finally, section 4 is devoted to a study of the convergence of a sequence of such approximants, in the weak star topology of measures.展开更多
Magnetotelluric sounding method based on the difference of the rock’s resistivity is an exploration method about doing research in earth’s resistivity and phase using the native electromagnetic field. The paper adop...Magnetotelluric sounding method based on the difference of the rock’s resistivity is an exploration method about doing research in earth’s resistivity and phase using the native electromagnetic field. The paper adopts 2D finite element method as the magnetotelluric forward method and calculates the total field by primary field (also named background field) plus secondary field. We can?get more accurate forward result through the finite element method and we can get the result effected by the dense degree of grid slightly by the total field. But the method is not effective?enough when the model is divided into relative big grid. When the frequency changes, program solves relevant equation separately. According to the feature of the algorithm, we apply MPI parallel method in the algorithm. Every process solves relevant equation. The account of frequency?that a process needs to solve in parallel computation is less than the account that the process?needs to solve in serial algorithm. We can see that the forward result is the same with the serial algorithm and proves the correctness of algorithm. We do statistics about the efficiency of the parallel algorithm. When the account of processes is from 2 to 8, the speedup is from 1.63 to 2.64. It proves the effectiveness of the parallel algorithm.展开更多
Boundary procedure is an important phenomenon in numerical simulation. To reduce or eliminate the spurious reflections significantly which is occurred in boundary is a challenging and vital approach. The appropriate a...Boundary procedure is an important phenomenon in numerical simulation. To reduce or eliminate the spurious reflections significantly which is occurred in boundary is a challenging and vital approach. The appropriate artificial numerical boundaries can be applied to eliminate the effect of unnecessary spurious reflections in case of the numerical simulations of wave propagation phenomena problems. Typically, to reduce the artificial reflections, the absorbing boundary conditions are necessary. In this paper, we overview and investigate the appropriate typical absorbing boundary conditions and analyzed the boundary effect of two dimensional wave equation numerically. Reflections over the wide-ranging incident angles are complicated to eliminate, but the absorbing boundary conditions that we have applied are computationally cost efficient, easy to apply and able to reduce reflections significantly. For numerical solution, finite difference method is applied to develop numerical scheme using 2D wave equation. Using the developed numerical scheme, we obtain the numerical solution of the governing equation as an initial boundary value problem and realize the qualitative behavior of the solution in infinite space. The finite difference numerical scheme has been investigated by developing MATLAB programming language code. Numerical results have been discussed and analyzed with presenting different qualitative behavior of the numerical scheme. The accuracy and efficiency of the numerical scheme has been illustrated. The stability analysis was discussed and verified stability condition. Using the numerical scheme and absorbing boundary conditions, the boundary effects and absorption of spurious reflection of boundary have been demonstrated.展开更多
A finite p-group G is called an At-group if t is the minimal non-negative integer such that all subgroups of index pt of G are abelian.The finite p-groups G with H'=G'for all A2-subgroups H of G are classified...A finite p-group G is called an At-group if t is the minimal non-negative integer such that all subgroups of index pt of G are abelian.The finite p-groups G with H'=G'for all A2-subgroups H of G are classified completely in this paper.As an application,a problem proposed by Berkovich is solved.展开更多
Characteristic finite difference fractional step schemes are put forward. The electric potential equation is described by a seven-point finite difference scheme, and the electron and hole concentration equations are t...Characteristic finite difference fractional step schemes are put forward. The electric potential equation is described by a seven-point finite difference scheme, and the electron and hole concentration equations are treated by a kind of characteristic finite difference fractional step methods. The temperature equation is described by a fractional step method. Thick and thin grids are made use of to form a complete set. Piecewise threefold quadratic interpolation, symmetrical extension, calculus of variations, commutativity of operator product, decomposition of high order difference operators and prior estimates are also made use of. Optimal order estimates in l2 norm are derived to determine the error of the approximate solution. The well-known problem is thorongley and completely solred.展开更多
Petroleum science has made remarkable progress in organic geochemistry and in the research into the theories of petroleum origin, its transport and accumulation. In estimating the oil-gas resources of a basin, the kno...Petroleum science has made remarkable progress in organic geochemistry and in the research into the theories of petroleum origin, its transport and accumulation. In estimating the oil-gas resources of a basin, the knowledge of its evolutionary history and especially the numerical computation of fluid flow and the history of its changes under heat is vital. The mathematical model call be described as a coupled system of nonlinear partial differentical equations with initial-boundary value problems. This thesis, from actual conditions such as the effect of fluid compressibility and the characteristic of large-scal science-engineering computalion. puts forward a kind of characteristic finite difference alternating-direction scheme. Optimal order estimates in L-2 norm are derived for the error in the approximate solutions.展开更多
基金National Natural Science Foundation of China(Grant No.12171142)。
文摘Let p be a prime and F_p be a finite field of p elements.Let F_(pG)denote the group algebra of the finite p-group G over the field F_(p)and V(F_(pG))denote the group of normalized units in F_(pG).Suppose that G and H are finite p-groups given by a central extension of the form 1→Z_(p)^(m)→G→Z_(p)×···×Z_(p)→1 and G'≌Z_(p),m≥1.Then V(F_(p)G)≌V(F_(p)H)if and only if G≌H.Balogh and Bovdi only solved the isomorphism problem when p is odd.In this paper,the case p=2 is determined.
文摘Theoretical background and an implementation of the p-group generation algorithm by Newman and O’Brien are used to provide computational evidence of a new type of periodically repeating patterns in pruned descendant trees of finite p-groups.
基金Supported by the NSF of China(11171194)by the NSF of Shanxi Province(2012011001-1)
文摘For any prime p, all finite noncyclic p-groups which contain a self-centralizing cyclic normal subgroup are determined by using cohomological techniques. Some applications are given, including a character theoretic description for such groups.
文摘为解决传统数字滤波器在有限精度实现时因有限字长(Finite Word Length,FWL)效应导致滤波器性能下降的问题,提出一种L_(2)灵敏度最小化的数字滤波器状态空间实现稀疏化方法.推导前向差分算子数字滤波器结构传输函数及其等效状态空间实现,根据可控及可观格莱姆矩阵得到基于相似变换矩阵的L_(2)灵敏度表达式,并进行稀疏化校准,将L_(2)灵敏度最小化问题转换为凸函数求最值问题,求导得到L_(2)灵敏度最小化表达式,代回即得前向差分算子数字滤波器的稀疏化状态空间实现.仿真结果表明,所提方法设计的数字滤波器具有更好的抗FWL效应.
基金supported by the National Natural Science Foundation of China (Nos. 10971203 and 11271340)the Research Fund for the Doctoral Program of Higher Education of China (No. 20094101110006)
文摘A modified penalty scheme is discussed for solving the Stokes problem with the Crouzeix-Raviart type nonconforming linear triangular finite element. By the L^2 projection method, the superconvergence results for the velocity and pressure are obtained with a penalty parameter larger than that of the classical penalty scheme. The numerical experiments are carried out to confirm the theoretical results.
基金The research was supported by the Natural Science Foundation of China
文摘A nonlinear parabolic system is derived to describe incompressible nuclear waste-disposal contamination in porous media. A sequential implicit tirne-stepping is defined, in which the pressure and Darcy velocity of the mixture are approximated simultaneously by a mixed finite element method and the brine, radionuclid and heat are treated by a combination of a Galerkin finite element method and the method of characteristics. Optimal-order convergence in L2 is proved. Time-truncation errors of standard procedures are reduced by time stepping along the characteristics of the hyperbolic part of the brine, radionuclide and heal equalios, temporal and spatial error are lossened by direct compulation of the velocity in the mixed method, as opposed to differentiation of the pressure.
文摘Numerical experiments are given to verify the theoretical results for superconvergence of the elliptic problem by global and local L2-Projection methods.
基金Supported by the National Natrual Science Funds of China
文摘Consider L<sup>2</sup>-projection u<sub>h</sub> of u to n-degree finite element space on one-dimensional uniform grids. Two different classes of the orthogonal expansion in an element for constructing a superclose to function u<sub>h</sub> are proposed and then superconvergence for both u<sub>h</sub> and Du<sub>h</sub> are proved. When n is odd and no boundary conditions are prescribed, then u<sub>h</sub> is of superconvergence at n+1 order Gauss points G<sub>n+1</sub> in each element. When n is even and function values on the boundary are prescribed, then u<sub>h</sub> is of superconvergence at n+1 order points Z<sub>n+1</sub> in each element. If the other boundary conditions are given, then the conclusions are valid in all elements that its distance from the boundary≥ch|lnh|. The above conclusions are also valid. for n-dergree rectangular element Q<sub>1</sub> (n).
文摘In order to answer a question motivated by constructing substitution boxes in block ciphers we will exhibit an infinite family of full-rank factorizations of elementary 2-groups into two factors having equal sizes.
文摘The present note determines the structure of the K2-group and of its subgroup over a finite commutative ring R by considering relations between R andfinite commutative local ring Ri (1 < i < m), where R Ri and K2(R) =K2(Ri). We show that if charKi= p (Ki denotes the residual field of Ri), then K2(Ri) and its subgroups must be p-groups.
文摘We discuss the definition and effectiveness of a Padé-type approximation to 2π-periodic finite Baire measures on [-π,π]. In the first two sections we recall the definitions and basic properties of the Padré-type approximants to harmonic functions in the unit disk and to L p -functions on the unit circle. Section 3 deals with the extension of these definitions and properties to a finite 2π-periodic Baire measure. Finally, section 4 is devoted to a study of the convergence of a sequence of such approximants, in the weak star topology of measures.
文摘Magnetotelluric sounding method based on the difference of the rock’s resistivity is an exploration method about doing research in earth’s resistivity and phase using the native electromagnetic field. The paper adopts 2D finite element method as the magnetotelluric forward method and calculates the total field by primary field (also named background field) plus secondary field. We can?get more accurate forward result through the finite element method and we can get the result effected by the dense degree of grid slightly by the total field. But the method is not effective?enough when the model is divided into relative big grid. When the frequency changes, program solves relevant equation separately. According to the feature of the algorithm, we apply MPI parallel method in the algorithm. Every process solves relevant equation. The account of frequency?that a process needs to solve in parallel computation is less than the account that the process?needs to solve in serial algorithm. We can see that the forward result is the same with the serial algorithm and proves the correctness of algorithm. We do statistics about the efficiency of the parallel algorithm. When the account of processes is from 2 to 8, the speedup is from 1.63 to 2.64. It proves the effectiveness of the parallel algorithm.
文摘Boundary procedure is an important phenomenon in numerical simulation. To reduce or eliminate the spurious reflections significantly which is occurred in boundary is a challenging and vital approach. The appropriate artificial numerical boundaries can be applied to eliminate the effect of unnecessary spurious reflections in case of the numerical simulations of wave propagation phenomena problems. Typically, to reduce the artificial reflections, the absorbing boundary conditions are necessary. In this paper, we overview and investigate the appropriate typical absorbing boundary conditions and analyzed the boundary effect of two dimensional wave equation numerically. Reflections over the wide-ranging incident angles are complicated to eliminate, but the absorbing boundary conditions that we have applied are computationally cost efficient, easy to apply and able to reduce reflections significantly. For numerical solution, finite difference method is applied to develop numerical scheme using 2D wave equation. Using the developed numerical scheme, we obtain the numerical solution of the governing equation as an initial boundary value problem and realize the qualitative behavior of the solution in infinite space. The finite difference numerical scheme has been investigated by developing MATLAB programming language code. Numerical results have been discussed and analyzed with presenting different qualitative behavior of the numerical scheme. The accuracy and efficiency of the numerical scheme has been illustrated. The stability analysis was discussed and verified stability condition. Using the numerical scheme and absorbing boundary conditions, the boundary effects and absorption of spurious reflection of boundary have been demonstrated.
基金supported by the National Natural Science Foundation of China(nos.12171213,11771191,11771258).
文摘A finite p-group G is called an At-group if t is the minimal non-negative integer such that all subgroups of index pt of G are abelian.The finite p-groups G with H'=G'for all A2-subgroups H of G are classified completely in this paper.As an application,a problem proposed by Berkovich is solved.
基金This work is supported by the Major State Basic Research Program of China (19990328), the National Tackling Key Problem Program, the National Science Foundation of China (10271066 and 0372052), and the Doctorate Foundation of the Ministry of Education of China (20030422047).
文摘Characteristic finite difference fractional step schemes are put forward. The electric potential equation is described by a seven-point finite difference scheme, and the electron and hole concentration equations are treated by a kind of characteristic finite difference fractional step methods. The temperature equation is described by a fractional step method. Thick and thin grids are made use of to form a complete set. Piecewise threefold quadratic interpolation, symmetrical extension, calculus of variations, commutativity of operator product, decomposition of high order difference operators and prior estimates are also made use of. Optimal order estimates in l2 norm are derived to determine the error of the approximate solution. The well-known problem is thorongley and completely solred.
文摘Petroleum science has made remarkable progress in organic geochemistry and in the research into the theories of petroleum origin, its transport and accumulation. In estimating the oil-gas resources of a basin, the knowledge of its evolutionary history and especially the numerical computation of fluid flow and the history of its changes under heat is vital. The mathematical model call be described as a coupled system of nonlinear partial differentical equations with initial-boundary value problems. This thesis, from actual conditions such as the effect of fluid compressibility and the characteristic of large-scal science-engineering computalion. puts forward a kind of characteristic finite difference alternating-direction scheme. Optimal order estimates in L-2 norm are derived for the error in the approximate solutions.