-
Three dimensional seepage analysis using a polyhedral scaled boundary finite element method
Authors:
Mingjiao Yan,
Yang Yang,
Zongliang Zhang,
Dengmiao Hao,
Chao Su,
Qingsong Duan
Abstract:
This work presents a polyhedral scaled boundary finite element method (PSBFEM) for three dimensional seepage analysis. We first derive the scaled boundary formulation for 3D seepage problems, and subsequently incorporate Wachspress shape functions to construct shape functions over arbitrary polygonal elements, thereby establishing the foundation of the proposed polyhedral SBFEM. The method combine…
▽ More
This work presents a polyhedral scaled boundary finite element method (PSBFEM) for three dimensional seepage analysis. We first derive the scaled boundary formulation for 3D seepage problems, and subsequently incorporate Wachspress shape functions to construct shape functions over arbitrary polygonal elements, thereby establishing the foundation of the proposed polyhedral SBFEM. The method combines the semi-analytical nature of the SBFEM with the geometric flexibility of polyhedral and octree meshes, making it well-suited for complex seepage simulations. The PSBFEM is implemented within the ABAQUS UEL framework to facilitate steady-state, transient, and free-surface seepage analyses. A series of numerical examples are conducted to verify the accuracy, efficiency, and convergence properties of the proposed approach, including benchmark tests and applications with intricate geometries. The results demonstrate that the PSBFEM achieves higher accuracy and faster convergence than conventional FEM, particularly when using hybrid octree meshes with local refinement. This framework provides a robust and efficient computational tool for three-dimensional seepage analysis in geotechnical and hydraulic engineering applications.
△ Less
Submitted 10 June, 2025; v1 submitted 8 May, 2025;
originally announced May 2025.
-
Error analysis of the space-time interface-fitted finite element method for an inverse source problem for an advection-diffusion equation with moving subdomains
Authors:
Thi Thanh Mai Ta,
Quang Huy Nguyen,
Dinh Nho Hào
Abstract:
A space-time interface-fitted approximation of an inverse source problem for the advection-diffusion equation with moving subdomains is investigated. The problem is reformulated as an optimization problem using Tikhonov regularization. A space-time interface-fitted method is employed to discretize the advection-diffusion equation, where two second-order a priori error estimates are established wit…
▽ More
A space-time interface-fitted approximation of an inverse source problem for the advection-diffusion equation with moving subdomains is investigated. The problem is reformulated as an optimization problem using Tikhonov regularization. A space-time interface-fitted method is employed to discretize the advection-diffusion equation, where two second-order a priori error estimates are established with respect to the $L^2$-norms. Additionally, the regularized source is discretized sequentially using the variational approach, the element-wise constant discretization, and finally, the post-processing strategy. Optimal error estimates are achieved for the first two methods, while superlinear convergence is obtained for the third. Furthermore, a priori choices for the regularization parameter are proposed, depending on the mesh size and noise level. These choices ensure that the discrete and post-processing solutions strongly converge to the exact source as the mesh size and noise level tend to zero.
△ Less
Submitted 10 February, 2025;
originally announced February 2025.
-
Steady-state and transient thermal stress analysis using a polygonal finite element method
Authors:
Yang Yang,
Mingjiao Yan,
Zongliang Zhang,
Dengmiao Hao,
Xuedong Chen,
Weixiong Chen
Abstract:
This work develops a polygonal finite element method (PFEM) for the analysis of steady-state and transient thermal stresses in two dimensional continua. The method employs Wachspress rational basis functions to construct conforming interpolations over arbitrary convex polygonal meshes, providing enhanced geometric flexibility and accuracy in capturing complex boundary conditions and heterogeneous…
▽ More
This work develops a polygonal finite element method (PFEM) for the analysis of steady-state and transient thermal stresses in two dimensional continua. The method employs Wachspress rational basis functions to construct conforming interpolations over arbitrary convex polygonal meshes, providing enhanced geometric flexibility and accuracy in capturing complex boundary conditions and heterogeneous material behavior. A quadtree-based acceleration strategy is introduced to significantly reduce computational cost through the reuse of precomputed stiffness and mass matrices. The PFEM is implemented in ABAQUS via a user-defined element (UEL) framework. Comprehensive benchmark problems, including multi-scale and non-matching mesh scenarios, are conducted to verify the accuracy, convergence properties, and computational efficiency of the method. Results indicate that the proposed PFEM offers notable advantages over conventional FEM in terms of mesh adaptability, solution quality, and runtime performance. The method shows strong potential for large-scale simulations involving thermal-mechanical coupling, complex geometries, and multi-resolution modeling.
△ Less
Submitted 21 April, 2025; v1 submitted 7 January, 2025;
originally announced January 2025.
-
A polyhedral scaled boundary finite element method solving three-dimensional heat conduction problems
Authors:
Mingjiao Yan,
Yang Yang,
Chao Su,
Zongliang Zhang,
Qingsong Duan,
Dengmiao Hao,
Jian Zhou
Abstract:
In this study, we derived a three-dimensional scaled boundary finite element formulation for heat conduction problems. By incorporating Wachspress shape functions, a polyhedral scaled boundary finite element method (PSBFEM) was proposed to address heat conduction challenges in complex geometries. To address the complexity of traditional methods, this work introduced polygonal discretization techni…
▽ More
In this study, we derived a three-dimensional scaled boundary finite element formulation for heat conduction problems. By incorporating Wachspress shape functions, a polyhedral scaled boundary finite element method (PSBFEM) was proposed to address heat conduction challenges in complex geometries. To address the complexity of traditional methods, this work introduced polygonal discretization techniques that simplified the topological structure of the polyhedral mesh and effectively integrated polyhedral and octree meshes, thereby reducing the number of element faces and enhancing mesh efficiency to accommodate intricate shapes. The developed formulation supported both steady-state and transient heat conduction analyses and was implemented in ABAQUS through a user-defined element (UEL). Through a series of numerical examples, the accuracy and convergence of the proposed method were validated. The results indicated that the PSBFEM consistently achieved higher accuracy than the FEM as the mesh was refined. The polyhedral elements offered a computationally efficient solution for complex simulations, significantly reducing computational costs.Additionally, by utilizing the octree mesh parent element acceleration technique, the computational efficiency of PSBFEM surpassed that of the FEM.
△ Less
Submitted 31 March, 2025; v1 submitted 20 October, 2024;
originally announced October 2024.
-
Robust Approximation Algorithms for Non-monotone $k$-Submodular Maximization under a Knapsack Constraint
Authors:
Dung T. K. Ha,
Canh V. Pham,
Tan D. Tran,
Huan X. Hoang
Abstract:
The problem of non-monotone $k$-submodular maximization under a knapsack constraint ($\kSMK$) over the ground set size $n$ has been raised in many applications in machine learning, such as data summarization, information propagation, etc. However, existing algorithms for the problem are facing questioning of how to overcome the non-monotone case and how to fast return a good solution in case of th…
▽ More
The problem of non-monotone $k$-submodular maximization under a knapsack constraint ($\kSMK$) over the ground set size $n$ has been raised in many applications in machine learning, such as data summarization, information propagation, etc. However, existing algorithms for the problem are facing questioning of how to overcome the non-monotone case and how to fast return a good solution in case of the big size of data. This paper introduces two deterministic approximation algorithms for the problem that competitively improve the query complexity of existing algorithms.
Our first algorithm, $\LAA$, returns an approximation ratio of $1/19$ within $O(nk)$ query complexity. The second one, $\RLA$, improves the approximation ratio to $1/5-ε$ in $O(nk)$ queries, where $ε$ is an input parameter.
Our algorithms are the first ones that provide constant approximation ratios within only $O(nk)$ query complexity for the non-monotone objective. They, therefore, need fewer the number of queries than state-of-the-the-art ones by a factor of $Ω(\log n)$.
Besides the theoretical analysis, we have evaluated our proposed ones with several experiments in some instances: Influence Maximization and Sensor Placement for the problem. The results confirm that our algorithms ensure theoretical quality as the cutting-edge techniques and significantly reduce the number of queries.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
The dimensional reduction method for solving a nonlinear inverse heat conduction problem with limited boundary data
Authors:
Dinh-Nho H`ao,
Thuy T. Le,
Loc H. Nguyen
Abstract:
The objective of this article is to introduce a novel technique for computing numerical solutions to the nonlinear inverse heat conduction problem. This involves solving nonlinear parabolic equations with Cauchy data provided on one side $Γ$ of the boundary of the computational domain $Ω$. The key step of our proposed method is the truncation of the Fourier series of the solution to the governing…
▽ More
The objective of this article is to introduce a novel technique for computing numerical solutions to the nonlinear inverse heat conduction problem. This involves solving nonlinear parabolic equations with Cauchy data provided on one side $Γ$ of the boundary of the computational domain $Ω$. The key step of our proposed method is the truncation of the Fourier series of the solution to the governing equation. The truncation technique enables us to derive a system of 1D ordinary differential equations. Then, we employ the well-known Runge-Kutta method to solve this system, which aids in addressing the nonlinearity and the lack of data on $\partial Ω\setmunus Γ$. This new approach is called the dimensional reduction method. By converting the high-dimensional problem into a 1D problem, we achieve exceptional computational speed. Numerical results are provided to support the effectiveness of our approach.
△ Less
Submitted 30 May, 2023;
originally announced May 2023.
-
Unified high-order multi-scale method for mechanical behavior simulation and strength prediction of composite plate and shell structures
Authors:
Ge Bu-Feng,
Gao Ming-Yuan,
Dong Hao
Abstract:
The complicated mesoscopic configurations of composite plate and shell structures requires a huge amount of computational overhead for directly simulating their mechanical problems. In this paper, a unified high-order multi-scale method, which can effectively simulate the mechanical behavior and predict yield strength of composite plates and shells, is developed. Firstly, through the multiscale as…
▽ More
The complicated mesoscopic configurations of composite plate and shell structures requires a huge amount of computational overhead for directly simulating their mechanical problems. In this paper, a unified high-order multi-scale method, which can effectively simulate the mechanical behavior and predict yield strength of composite plates and shells, is developed. Firstly, through the multiscale asymptotic analysis of multi-scale elastic equations in the orthogonal curvilinear coordinate system, a high-order multi-scale model is established, which can uniformly and effectively analyze the mechanical behavior of composite plate and shell structures. Moreover, the error estimation of the high-order multi-scale solutions is derived. Then, combining with the material strength theory, a high-order multi-scale model for the strength prediction of composite plate and shell structures is established. Next, based on the established high-order multi-scale model, a multi-scale algorithm is developed which can not only efficiently and accurately simulate the mechanical behaviors of composite plate and shell structures, but also predict their yield strength. Finally, the effectiveness of the established high-order multi-scale method is verified by extensive numerical experiments. The numerical experimental results indicate that the high-order multi-scale method can more accurately capture the meso-scale oscillatory behaviors of composite plate and shell structures. The unified high-order multi-scale method established in this paper is not only suitable for the prediction of mechanical properties of composite plate and shell structures, but also can be further extended to the prediction of multi-field coupling properties of composite plate and shell structures.
△ Less
Submitted 30 April, 2023;
originally announced May 2023.
-
Expanders on matrices over a finite chain ring, I
Authors:
Dung M. Ha,
Hieu T. Ngo
Abstract:
In this work and its sequel, we study the expanding phenomenon of matrices over a finite chain ring of large residue field. A sum-product estimate is proved. It is showed that $x+yz$ is a moderate expander on $n\times n$ matrices with exponent $\frac{n+1}{6}$. These results generalise the main theorems in a recent work of Xie and Ge. The proofs use spectral graph theory and elementary divisor theo…
▽ More
In this work and its sequel, we study the expanding phenomenon of matrices over a finite chain ring of large residue field. A sum-product estimate is proved. It is showed that $x+yz$ is a moderate expander on $n\times n$ matrices with exponent $\frac{n+1}{6}$. These results generalise the main theorems in a recent work of Xie and Ge. The proofs use spectral graph theory and elementary divisor theory.
△ Less
Submitted 17 July, 2022;
originally announced July 2022.
-
Regularization of backward time-fractional parabolic equations by Sobolev-type equations
Authors:
Dinh Nho Hao,
Nguyen Van Duc,
Nguyen Van Thang,
Nguyen Trung Thanh
Abstract:
The problem of determining the initial condition from noisy final observations in time-fractional parabolic equations is considered. This problem is well-known to be ill-posed and it is regularized by backward Sobolev-type equations. Error estimates of Holder type are obtained with a priori and a posteriori regularization parameter choice rules. The proposed regularization method results in a stab…
▽ More
The problem of determining the initial condition from noisy final observations in time-fractional parabolic equations is considered. This problem is well-known to be ill-posed and it is regularized by backward Sobolev-type equations. Error estimates of Holder type are obtained with a priori and a posteriori regularization parameter choice rules. The proposed regularization method results in a stable noniterative numerical scheme. The theoretical error estimates are confirmed by numerical tests for one- and two-dimensional equations
△ Less
Submitted 9 September, 2020; v1 submitted 15 April, 2020;
originally announced April 2020.
-
Convergence analysis of a Crank-Nicolson Galerkin method for an inverse source problem for parabolic equations with boundary observations
Authors:
Dinh Nho Hao,
Tran Nhan Tam Quyen,
Nguyen Thanh Son
Abstract:
This work is devoted to an inverse problem of identifying a source term depending on both spatial and time variables in a parabolic equation from single Cauchy data on a part of the boundary. A Crank-Nicolson Galerkin method is applied to the least squares functional with an quadratic stabilizing penalty term. The convergence of finite dimensional regularized approximations to the sought source as…
▽ More
This work is devoted to an inverse problem of identifying a source term depending on both spatial and time variables in a parabolic equation from single Cauchy data on a part of the boundary. A Crank-Nicolson Galerkin method is applied to the least squares functional with an quadratic stabilizing penalty term. The convergence of finite dimensional regularized approximations to the sought source as measurement noise levels and mesh sizes approach to zero with an appropriate regularization parameter is proved. Moreover, under a suitable source condition, an error bound and corresponding convergence rates are proved. Finally, several numerical experiments are presented to illustrate the theoretical findings.
△ Less
Submitted 29 July, 2020; v1 submitted 10 June, 2019;
originally announced June 2019.
-
Cooperation Enforcement and Collusion Resistance in Repeated Public Goods Games
Authors:
Kai Li,
Dong Hao
Abstract:
Enforcing cooperation among substantial agents is one of the main objectives for multi-agent systems. However, due to the existence of inherent social dilemmas in many scenarios, the free-rider problem may arise during agents' long-run interactions and things become even severer when self-interested agents work in collusion with each other to get extra benefits. It is commonly accepted that in suc…
▽ More
Enforcing cooperation among substantial agents is one of the main objectives for multi-agent systems. However, due to the existence of inherent social dilemmas in many scenarios, the free-rider problem may arise during agents' long-run interactions and things become even severer when self-interested agents work in collusion with each other to get extra benefits. It is commonly accepted that in such social dilemmas, there exists no simple strategy for an agent whereby she can simultaneously manipulate on the utility of each of her opponents and further promote mutual cooperation among all agents. Here, we show that such strategies do exist. Under the conventional repeated public goods game, we novelly identify them and find that, when confronted with such strategies, a single opponent can maximize his utility only via global cooperation and any colluding alliance cannot get the upper hand. Since a full cooperation is individually optimal for any single opponent, a stable cooperation among all players can be achieved. Moreover, we experimentally show that these strategies can still promote cooperation even when the opponents are both self-learning and collusive.
△ Less
Submitted 14 November, 2018;
originally announced November 2018.
-
On locally solvable maximal subgroups of the multiplicative group of a division ring
Authors:
Bui Xuan Hai,
Dang Vu Phuong Ha
Abstract:
Let $D$ be a division ring and $D^*$ be the multiplicative group of $D$. In this paper we study locally solvable maximal subgroups of $D^*$.
Let $D$ be a division ring and $D^*$ be the multiplicative group of $D$. In this paper we study locally solvable maximal subgroups of $D^*$.
△ Less
Submitted 21 February, 2019; v1 submitted 8 July, 2010;
originally announced July 2010.
-
Castelnuovo-Mumford regularity of Ext modules and homological degree
Authors:
Marc Chardin,
Dao Thanh Ha,
Le Tuan Hoa
Abstract:
Bounds for the Castelnuovo-Mumford regularity of Ext modules, over a polynomial ring over a field, are given in terms of the initial degrees, Castelnuovo-Mumford regularities and number of generators of the two graded modules involved. These general bounds are refined in the case the second module is the ring. Other estimates, for instance on the size of graded pieces of these modules, are given…
▽ More
Bounds for the Castelnuovo-Mumford regularity of Ext modules, over a polynomial ring over a field, are given in terms of the initial degrees, Castelnuovo-Mumford regularities and number of generators of the two graded modules involved. These general bounds are refined in the case the second module is the ring. Other estimates, for instance on the size of graded pieces of these modules, are given. We also derive a bound on the homological degree in terms of the Castelnuovo-Mumford regularity. This answers positively a question raised by Vasconcelos.
△ Less
Submitted 26 March, 2009;
originally announced March 2009.
