-
Explicit design optimization of air rudders for maximizing stiffness and fundamental frequency
Authors:
Yibo Jia,
Wen Meng,
Zongliang Du,
Chang Liu,
Shanwei Li,
Conglei Wang,
Zhifu Ge,
Ruiyi Su,
Xu Guo
Abstract:
In aerospace engineering, there is a growing demand for lightweight design through topology optimization. This paper presents a novel design optimization method for stiffened air rudders, commonly used for aircraft attitude control, based on the Moving Morphable Components (MMC) method. The stiffeners within the irregular enclosed design domain are modeled as MMCs and discretized by shell elements…
▽ More
In aerospace engineering, there is a growing demand for lightweight design through topology optimization. This paper presents a novel design optimization method for stiffened air rudders, commonly used for aircraft attitude control, based on the Moving Morphable Components (MMC) method. The stiffeners within the irregular enclosed design domain are modeled as MMCs and discretized by shell elements, accurately capturing their geometry and evolution during optimization process using explicit parameters. In order to maximize the stiffness and fundamental frequency of the rudder structures, numerical analysis algorithms were developed with shape sensitivity analysis conducted. To comply with the manufacturing requirement, a minimum thickness is prescribed for the stiffeners. Penalty strategies were developed for the thickness and density of stiffeners with thickness smaller than the threshold to meet the thickness requirement and suppress spurious modes. The method's effectiveness was demonstrated through optimization examples of two typical air rudders, illustrating the significance of stiffener's distribution on design objectives. The explicit modeling characteristics allow for directly importing the optimization results into CAD systems, significantly enhancing the engineering applicability.
△ Less
Submitted 17 January, 2024;
originally announced January 2024.
-
A general maximum principle for optimal control of stochastic differential delay systems
Authors:
Weijun Meng,
**gtao Shi,
Tianxiao Wang,
Ji-Feng Zhang
Abstract:
In this paper, we solve an open problem and obtain a general maximum principle for a stochastic optimal control problem where the control domain is an arbitrary non-empty set and all the coefficients (especially the diffusion term and the terminal cost) contain the control and state delay. In order to overcome the difficulty of dealing with the cross term of state and its delay in the variational…
▽ More
In this paper, we solve an open problem and obtain a general maximum principle for a stochastic optimal control problem where the control domain is an arbitrary non-empty set and all the coefficients (especially the diffusion term and the terminal cost) contain the control and state delay. In order to overcome the difficulty of dealing with the cross term of state and its delay in the variational inequality, we propose a new method: transform a delayed variational equation into a Volterra integral equation without delay, and introduce novel first-order, second-order adjoint equations via the backward stochastic Volterra integral equation theory. Finally we express these two kinds of adjoint equations in more compact anticipated backward stochastic differential equation types for several special yet typical control systems.
△ Less
Submitted 7 February, 2023;
originally announced February 2023.
-
Kurdyka-Łojasiewicz Inequality and Error Bounds of D-Gap Functions for Nonsmooth and Nonmonotone Variational Inequality Problems
Authors:
M. H. Li,
K. W. Meng,
X. Q. Yang
Abstract:
In this paper, we study the D-gap function associated with a nonsmooth and nonmonotone variational inequality problem. We present some exact formulas for the subderivative, the regular subdifferential set, and the limiting subdifferential set of the D-gap function. By virtue of these formulas, we provide some sufficient and necessary conditions for the Kurdyka-Łojasiewicz inequality property and t…
▽ More
In this paper, we study the D-gap function associated with a nonsmooth and nonmonotone variational inequality problem. We present some exact formulas for the subderivative, the regular subdifferential set, and the limiting subdifferential set of the D-gap function. By virtue of these formulas, we provide some sufficient and necessary conditions for the Kurdyka-Łojasiewicz inequality property and the error bound property for the D-gap functions. As an application of our Kurdyka-Łojasiewicz inequality result and the abstract convergence result in [Attouch, et al., Convergence of descent methods for semi-algebraic and tame problems: proximal algorithms, forward-backward splitting, and regularized Gauss-Seidel methods, Math. Program., 137(2013)91-129], we show that the sequence generated by a derivative free descent algorithm with an inexact line search converges linearly to some solution of the variational inequality problem.
△ Less
Submitted 6 December, 2022;
originally announced December 2022.
-
Asymptotic mean value properties for the elliptic and parabolic double phase equations
Authors:
Weili Meng,
Chao Zhang
Abstract:
We characterize an asymptotic mean value formula in the viscosity sense for the double phase elliptic equation $$ -{\rm div}(\lvert \nabla u \rvert^{p-2}\nabla u+ a(x)\lvert\nabla u \rvert^{q-2}\nabla u)=0 $$ and the normalized double phase parabolic equation…
▽ More
We characterize an asymptotic mean value formula in the viscosity sense for the double phase elliptic equation $$ -{\rm div}(\lvert \nabla u \rvert^{p-2}\nabla u+ a(x)\lvert\nabla u \rvert^{q-2}\nabla u)=0 $$ and the normalized double phase parabolic equation $$ u_t=\lvert\nabla u \rvert ^{2-p}{\rm div}(\lvert \nabla u \rvert^{p-2}\nabla u+ a(x,t)\lvert\nabla u \rvert^{q-2}\nabla u), \quad 1<p\leq q<\infty. $$ This is the first mean value result for such kind of nonuniformly elliptic and parabolic equations. In addition, the results obtained can also be applied to the $p(x)$-Laplace equations and the variable coefficient $p$-Laplace type equations.
△ Less
Submitted 29 November, 2022;
originally announced November 2022.
-
Data-driven Topology Optimization (DDTO) for Three-dimensional Continuum Structures
Authors:
Yunhang Guo,
Zongliang Du,
Lubin Wang,
Wen Meng,
Tien Zhang,
Ruiyi Su,
Dongsheng Yang,
Shan Tang,
Xu Guo
Abstract:
Develo** appropriate analytic-function-based constitutive models for new materials with nonlinear mechanical behavior is demanding. For such kinds of materials, it is more challenging to realize the integrated design from the collection of the material experiment under the classical topology optimization framework based on constitutive models. The present work proposes a mechanistic-based data-d…
▽ More
Develo** appropriate analytic-function-based constitutive models for new materials with nonlinear mechanical behavior is demanding. For such kinds of materials, it is more challenging to realize the integrated design from the collection of the material experiment under the classical topology optimization framework based on constitutive models. The present work proposes a mechanistic-based data-driven topology optimization (DDTO) framework for three-dimensional continuum structures under finite deformation. In the DDTO framework, with the help of neural networks and explicit topology optimization method, the optimal design of the three-dimensional continuum structures under finite deformation is implemented only using the uniaxial and equi-biaxial experimental data. Numerical examples illustrate the effectiveness of the data-driven topology optimization approach, which paves the way for the optimal design of continuum structures composed of novel materials without available constitutive relations.
△ Less
Submitted 10 November, 2022;
originally announced November 2022.
-
A time-periodic competition model with nonlocal dispersal and bistable nonlinearity: propagation dynamics and stability
Authors:
Manjun Ma,
Wentao Meng,
Chunhua Ou,
Jiajun Yue
Abstract:
Seasonality frequently occurs in population models, and the corresponding seasonal patterns have been of great interest to scientists. This paper is concerned with traveling waves to a time-periodic bistable Lotka-Volterra competition system with nonlocal dispersal. We first establish the existence, uniqueness and stability of traveling wave solutions for this system. Then, by utilizing comparison…
▽ More
Seasonality frequently occurs in population models, and the corresponding seasonal patterns have been of great interest to scientists. This paper is concerned with traveling waves to a time-periodic bistable Lotka-Volterra competition system with nonlocal dispersal. We first establish the existence, uniqueness and stability of traveling wave solutions for this system. Then, by utilizing comparison principle and the stability property, the relationship among the bistable wave speed, the asymptotic propagation speeds of the associated monotone subsystems and the speed of upper/lower solutions is obtained. Next, explicit sufficient conditions for positive and negative bistable wave speeds are derived. Our explicit results are derived by constructing particular upper/lower solutions with specific asymptotical behaviors, which can be seen as case studies shedding light on further studies and improvements. Finally, the theoretical results are corroborated under weak conditions by direct simulations of the underlying time-periodic system with nonlocal dispersal. The combined impact of competition, dispersal and seasonality on the invasion direction has shed new light on the modelings and analysis of population competition and species invasion in heterogeneous media.
△ Less
Submitted 15 October, 2022;
originally announced October 2022.
-
An Adaptive Incremental Gradient Method With Support for Non-Euclidean Norms
Authors:
Binghui Xie,
Chenhan **,
Kaiwen Zhou,
James Cheng,
Wei Meng
Abstract:
Stochastic variance reduced methods have shown strong performance in solving finite-sum problems. However, these methods usually require the users to manually tune the step-size, which is time-consuming or even infeasible for some large-scale optimization tasks. To overcome the problem, we propose and analyze several novel adaptive variants of the popular SAGA algorithm. Eventually, we design a va…
▽ More
Stochastic variance reduced methods have shown strong performance in solving finite-sum problems. However, these methods usually require the users to manually tune the step-size, which is time-consuming or even infeasible for some large-scale optimization tasks. To overcome the problem, we propose and analyze several novel adaptive variants of the popular SAGA algorithm. Eventually, we design a variant of Barzilai-Borwein step-size which is tailored for the incremental gradient method to ensure memory efficiency and fast convergence. We establish its convergence guarantees under general settings that allow non-Euclidean norms in the definition of smoothness and the composite objectives, which cover a broad range of applications in machine learning. We improve the analysis of SAGA to support non-Euclidean norms, which fills the void of existing work. Numerical experiments on standard datasets demonstrate a competitive performance of the proposed algorithm compared with existing variance-reduced methods and their adaptive variants.
△ Less
Submitted 7 October, 2023; v1 submitted 28 April, 2022;
originally announced May 2022.
-
Sufficient conditions for 2-dimensional global rigidity
Authors:
Xiaofeng Gu,
Wei Meng,
Martin Rolek,
Yue Wang,
Gexin Yu
Abstract:
The 2-dimensional global rigidity has been shown to be equivalent to 3-connectedness and redundant rigidity by a combination of two results due to Jackson and Jordán, and Connelly, respectively. By the characterization, a theorem of Lovász and Yemini implies that every $6$-connected graph is redundantly rigid, and thus globally rigid. The 6-connectedness is best possible, since there exist infinit…
▽ More
The 2-dimensional global rigidity has been shown to be equivalent to 3-connectedness and redundant rigidity by a combination of two results due to Jackson and Jordán, and Connelly, respectively. By the characterization, a theorem of Lovász and Yemini implies that every $6$-connected graph is redundantly rigid, and thus globally rigid. The 6-connectedness is best possible, since there exist infinitely many 5-connected non-rigid graphs. Jackson, Servatius and Servatius used the idea of ``essential connectivity'' and proved that every 4-connected ``essentially 6-connected'' graph is redundantly rigid and thus global rigid. Since 3-connectedness is a necessary condition of global rigidity, it is interesting to study 3-connected graphs for redundant rigidity and thus globally rigidity. We utilize a different ``essential connectivity'', and prove that every 3-connected essentially 9-connected graph is redundantly rigid and thus globally rigid. The essential 9-connectedness is best possible. Under this essential connectivity, we also prove that every 4-connected essentially 6-connected graph is redundantly rigid and thus global rigid. Our proofs are based on discharging arguments.
△ Less
Submitted 15 June, 2021;
originally announced June 2021.
-
A Linear Quadratic Stochastic Stackelberg Differential Game with Time Delay
Authors:
Weijun Meng,
**gtao Shi
Abstract:
This paper is concerned with a linear quadratic stochastic Stackelberg differential game with time delay. The model is general, in which the state delay and the control delay both appear in the state equation, moreover, they both enter into the diffusion term. By introducing two Pseudo-Riccati equations and a special matrix equation, the state feedback representation of the open-loop Stackelberg s…
▽ More
This paper is concerned with a linear quadratic stochastic Stackelberg differential game with time delay. The model is general, in which the state delay and the control delay both appear in the state equation, moreover, they both enter into the diffusion term. By introducing two Pseudo-Riccati equations and a special matrix equation, the state feedback representation of the open-loop Stackelberg strategy is derived, under some assumptions. Finally, two examples are given to illustrate the applications of the theoretical results.
△ Less
Submitted 28 December, 2020;
originally announced December 2020.
-
Linear Quadratic Optimal Control Problems of Delayed Backward Stochastic Differential Equations
Authors:
Weijun Meng,
**gtao Shi
Abstract:
This paper is concerned with a linear quadratic optimal control problem of delayed backward stochastic differential equations. An explicit representation is derived for the optimal control, which is a linear feedback of the entire past history and the future state trajectory in a short period of time. This is one of the major distinctive features of the delayed backward stochastic linear quadratic…
▽ More
This paper is concerned with a linear quadratic optimal control problem of delayed backward stochastic differential equations. An explicit representation is derived for the optimal control, which is a linear feedback of the entire past history and the future state trajectory in a short period of time. This is one of the major distinctive features of the delayed backward stochastic linear quadratic optimal control problem. To obtain the optimal feedback, a new class of delayed Riccati equations is introduced and the unique solvability of their solutions are discussed in detail.
△ Less
Submitted 6 August, 2020;
originally announced August 2020.
-
Stochastic Recursive Optimal Control Problem with Mixed Delay under Viscosity Solution's Framework
Authors:
Weijun Meng,
**gtao Shi
Abstract:
This paper is concerned with the stochastic recursive optimal control problem with mixed delay. The connection between Pontryagin's maximum principle and Bellman's dynamic programming principle is discussed. Without containing any derivatives of the value function, relations among the adjoint processes and the value function are investigated by employing the notions of super- and sub-jets introduc…
▽ More
This paper is concerned with the stochastic recursive optimal control problem with mixed delay. The connection between Pontryagin's maximum principle and Bellman's dynamic programming principle is discussed. Without containing any derivatives of the value function, relations among the adjoint processes and the value function are investigated by employing the notions of super- and sub-jets introduced in defining the viscosity solutions. Stochastic verification theorem is also given to verify whether a given admissible control is really optimal.
△ Less
Submitted 22 December, 2019;
originally announced December 2019.
-
A Global Maximum Principle for the Stochastic Optimal Control Problem with Delay
Authors:
Weijun Meng,
**gtao Shi
Abstract:
In this paper, an open problem is solved, for the stochastic optimal control problem with delay where the control domain is nonconvex and the diffusion term contains both control and its delayed term. Inspired by previous results by Øksendal and Sulem [{\it A maximum principle for optimal control of stochastic systems with delay, with applications to finance. In J. M. Menaldi, E. Rofman, A. Sulem…
▽ More
In this paper, an open problem is solved, for the stochastic optimal control problem with delay where the control domain is nonconvex and the diffusion term contains both control and its delayed term. Inspired by previous results by Øksendal and Sulem [{\it A maximum principle for optimal control of stochastic systems with delay, with applications to finance. In J. M. Menaldi, E. Rofman, A. Sulem (Eds.), Optimal control and partial differential equations, ISO Press, Amsterdam, 64-79, 2000}] and Chen and Wu [{\it Maximum principle for the stochastic optimal control problem with delay and application, Automatica, 46, 1074-1080, 2010}], Peng's general stochastic maximum principle [{\it A general stochastic maximum principle for optimal control problems, SIAM J. Control Optim., 28, 966-979, 1990}] is generalized to the time delayed case, which is called the global maximum principle. A new backward random differential equation is introduced to deal with the cross terms, when applying the duality technique. Comparing with the classical result, the maximum condition contains an indicator function, in fact it is the characteristic of the stochastic optimal control problem with delay. The multi-dimensional case and a solvable linear-quadratic example are also discussed.
△ Less
Submitted 11 July, 2020; v1 submitted 6 November, 2019;
originally announced November 2019.
-
A periodic FM-BEM for solving the acoustic transmission problems in periodic media
Authors:
Wenhui Meng,
Ruifei Liu
Abstract:
This paper presents a new fast multipole boundary element method (FM-BEM) for solving the acoustic transmission problems in 2D periodic media. We divide the periodic media into many fundamental blocks, and then construct the boundary integral equations in the fundamental block. The fast multipole algorithm is proposed for the square and hexagon periodic systems, the convergence of the algorithm is…
▽ More
This paper presents a new fast multipole boundary element method (FM-BEM) for solving the acoustic transmission problems in 2D periodic media. We divide the periodic media into many fundamental blocks, and then construct the boundary integral equations in the fundamental block. The fast multipole algorithm is proposed for the square and hexagon periodic systems, the convergence of the algorithm is analyzed. We then apply the proposed method to the acoustic transmission problems for liquid phononic crystals and derive the acoustic band gaps of the phononic crystals. By comparing the results with those from plane wave expansion method, we conclude that our method is efficient and accurate.
△ Less
Submitted 23 October, 2019;
originally announced October 2019.
-
Extremal digraphs on Meyniel-type condition for hamiltonian cycles in balanced bipartite digraphs
Authors:
Ruixia Wang,
Linxin Wu,
Wei Meng
Abstract:
Let $D$ be a strong balanced digraph on $2a$ vertices. Adamus et al. have proved that $D$ is hamiltonian if $d(u)+d(v)\ge 3a$ whenever $uv\notin A(D)$ and $vu\notin A(D)$. The lower bound $3a$ is tight. In this paper, we shall show that the extremal digraph on this condition is two classes of digraphs that can be clearly characterized. Moreover, we also show that if $d(u)+d(v)\geq 3a-1$ whenever…
▽ More
Let $D$ be a strong balanced digraph on $2a$ vertices. Adamus et al. have proved that $D$ is hamiltonian if $d(u)+d(v)\ge 3a$ whenever $uv\notin A(D)$ and $vu\notin A(D)$. The lower bound $3a$ is tight. In this paper, we shall show that the extremal digraph on this condition is two classes of digraphs that can be clearly characterized. Moreover, we also show that if $d(u)+d(v)\geq 3a-1$ whenever $uv\notin A(D)$ and $vu\notin A(D)$, then $D$ is traceable. The lower bound $3a-1$ is tight.
△ Less
Submitted 5 January, 2022; v1 submitted 12 October, 2019;
originally announced October 2019.
-
Explicit error bound of the fast multipole method for scattering problems in 2-D
Authors:
Wenhui Meng
Abstract:
This paper is concerned with the error estimation of the fast multipole method (FMM) for scattering problems in 2-D. The FMM error is caused by truncating Graf's addition theorem in each step of the algorithm, including two expansions and three translations. We first give a novel bound on the truncation error of Graf's addition theorem by the limiting forms of Bessel and Neumann functions, and the…
▽ More
This paper is concerned with the error estimation of the fast multipole method (FMM) for scattering problems in 2-D. The FMM error is caused by truncating Graf's addition theorem in each step of the algorithm, including two expansions and three translations. We first give a novel bound on the truncation error of Graf's addition theorem by the limiting forms of Bessel and Neumann functions, and then estimate the error of the FMM. Explicit error bound and its convergence order are derived. The method proposed in this paper can also be used to the FMM for other problems, such as potential problems, elastostatic problems, Stokes flow problems and so on.
△ Less
Submitted 31 January, 2023; v1 submitted 22 June, 2018;
originally announced June 2018.
-
TEMPO: Feature-Endowed Teichmüller Extremal Map**s of Point Clouds
Authors:
Ting Wei Meng,
Gary Pui-Tung Choi,
Lok Ming Lui
Abstract:
In recent decades, the use of 3D point clouds has been widespread in computer industry. The development of techniques in analyzing point clouds is increasingly important. In particular, map** of point clouds has been a challenging problem. In this paper, we develop a discrete analogue of the Teichmüller extremal map**s, which guarantee uniform conformality distortions, on point cloud surfaces.…
▽ More
In recent decades, the use of 3D point clouds has been widespread in computer industry. The development of techniques in analyzing point clouds is increasingly important. In particular, map** of point clouds has been a challenging problem. In this paper, we develop a discrete analogue of the Teichmüller extremal map**s, which guarantee uniform conformality distortions, on point cloud surfaces. Based on the discrete analogue, we propose a novel method called TEMPO for computing Teichmüller extremal map**s between feature-endowed point clouds. Using our proposed method, the Teichmüller metric is introduced for evaluating the dissimilarity of point clouds. Consequently, our algorithm enables accurate recognition and classification of point clouds. Experimental results demonstrate the effectiveness of our proposed method.
△ Less
Submitted 26 April, 2016; v1 submitted 20 November, 2015;
originally announced November 2015.
-
The Theory of Computational Quasi-conformal Geometry on Point Clouds
Authors:
Ting Wei Meng,
Lok Ming Lui
Abstract:
Quasi-conformal (QC) theory is an important topic in complex analysis, which studies geometric patterns of deformations between shapes. Recently, computational QC geometry has been developed and has made significant contributions to medical imaging, computer graphics and computer vision. Existing computational QC theories and algorithms have been built on triangulation structures. In practical sit…
▽ More
Quasi-conformal (QC) theory is an important topic in complex analysis, which studies geometric patterns of deformations between shapes. Recently, computational QC geometry has been developed and has made significant contributions to medical imaging, computer graphics and computer vision. Existing computational QC theories and algorithms have been built on triangulation structures. In practical situations, many 3D acquisition techniques often produce 3D point cloud (PC) data of the object, which does not contain connectivity information. It calls for a need to develop computational QC theories on PCs. In this paper, we introduce the concept of computational QC geometry on PCs. We define PC quasi-conformal (PCQC) maps and their associated PC Beltrami coefficients (PCBCs). The PCBC is analogous to the Beltrami differential in the continuous setting. Theoretically, we show that the PCBC converges to its continuous counterpart as the density of the PC tends to zero. We also theoretically and numerically validate the ability of PCBCs to measure local geometric distortions of PC deformations. With these concepts, many existing QC based algorithms for geometry processing and shape analysis can be easily extended to PC data.
△ Less
Submitted 17 October, 2015;
originally announced October 2015.