Let G be a graph. A bipartition of G is a bipartition of V (G) with V (G) = V<sub>1</sub> ∪ V<sub>2</sub> and V<sub>1</sub> ∩ V<sub>2</sub> = ∅. If a bipartition satis...Let G be a graph. A bipartition of G is a bipartition of V (G) with V (G) = V<sub>1</sub> ∪ V<sub>2</sub> and V<sub>1</sub> ∩ V<sub>2</sub> = ∅. If a bipartition satisfies ∥V<sub>1</sub>∣ - ∣V<sub>2</sub>∥ ≤ 1, we call it a bisection. The research in this paper is mainly based on a conjecture proposed by Bollobás and Scott. The conjecture is that every graph G has a bisection (V<sub>1</sub>, V<sub>2</sub>) such that ∀v ∈ V<sub>1</sub>, at least half minuses one of the neighbors of v are in the V<sub>2</sub>;∀v ∈ V<sub>2</sub>, at least half minuses one of the neighbors of v are in the V<sub>1</sub>. In this paper, we confirm this conjecture for some bipartite graphs, crown graphs and windmill graphs.展开更多
Local mesh refinement is one of the key steps in the implementations of adaptive finite element methods. This paper presents a parallel algorithm for distributed memory parallel computers for adaptive local refinement...Local mesh refinement is one of the key steps in the implementations of adaptive finite element methods. This paper presents a parallel algorithm for distributed memory parallel computers for adaptive local refinement of tetrahedral meshes using bisection. This algorithm is used in PHG, Parallel Hierarchical Grid Chttp://lsec. cc. ac. cn/phg/), a toolbox under active development for parallel adaptive finite element solutions of partial differential equations. The algorithm proposed is characterized by allowing simukaneous refinement of submeshes to arbitrary levels before synchronization between submeshes and without the need of a central coordinator process for managing new vertices. Using the concept of canonical refinement, a simple proof of the independence of the resulting mesh on the mesh partitioning is given, which is useful in better understanding the behaviour of the biseetioning refinement procedure.展开更多
The computation algorithm of knot point planning for Cartesian trajectorygeneration of manipulator is investigated, A novel inheritance bisection algorithm (IBA) based onconventional bisection algorithm (B A) is propo...The computation algorithm of knot point planning for Cartesian trajectorygeneration of manipulator is investigated, A novel inheritance bisection algorithm (IBA) based onconventional bisection algorithm (B A) is proposed. IBA has two steps. The first step is the 1 stknot point planning under lower set position accuracy; the second step is the 2nd knot pointplanning that inherits the results of the 1st planning under higher set position accuracy. Thesimulation results reveal that the number of inverse kinematical calculation (IKC) caused by IBA isdecreased compared with BA. IBA is more efficient to plan knot points.展开更多
The notion of n-transitivity can be carried over from groups of diffeomorphisms on a manifold M to groups of bisections of a Lie groupoid over M. The main theorem states that the n-transitivity is fulfilled for all n ...The notion of n-transitivity can be carried over from groups of diffeomorphisms on a manifold M to groups of bisections of a Lie groupoid over M. The main theorem states that the n-transitivity is fulfilled for all n ∈N by an arbitrary group of Cr-bisections of a Lie groupoid F of class Cr, where 1 ≤ r ≤ ω, under mild conditions. For instance, the group of all bisections of any Lie groupoid and the group of all Lagrangian bisections of any symplectic groupoid are n-transitive in the sense of this theorem. In particular, if F is source connected for any arrow γ∈ Г, there is a bisection passing through γ.展开更多
In this paper, an efficient and easy-to-implement coarsening algorithm is proposed for adaptive grids obtained using the newest vertex bisection method in two dimemsions. The new coarsening algorithm does not require ...In this paper, an efficient and easy-to-implement coarsening algorithm is proposed for adaptive grids obtained using the newest vertex bisection method in two dimemsions. The new coarsening algorithm does not require storing the binary refinement tree explicitly. Instead, the structure is implicitly contained in a special ordering of triangular elements. Numerical experiments demonstrate that the proposed coarsening algorithm is efficient when applied for multilevel preconditioners and mesh adaptivity for time-dependent problems.展开更多
We show that every source connected Lie groupoid always has global bisections through any given point. This bisection can be chosen to be the multiplication of some exponentials as close as possible to a prescribed cu...We show that every source connected Lie groupoid always has global bisections through any given point. This bisection can be chosen to be the multiplication of some exponentials as close as possible to a prescribed curve. The existence of bisections through more than one prescribed point is also discussed. We give some interesting applications of these results.展开更多
In this note, we show that on Hopf manifold S^(2n-1)×S^1, the non-negativity of the holomorphic bisectional curvature is not preserved along the Chern-Ricci flow.
A basic technique for designing synchronous parallel algorithms, the so-called bisection technique, is proposed. The basic pattern of designing parallel algorithms is described. The relationship between the designing ...A basic technique for designing synchronous parallel algorithms, the so-called bisection technique, is proposed. The basic pattern of designing parallel algorithms is described. The relationship between the designing idea and I Ching (principles of change) is discussed.展开更多
Judicious bisection of hypergraphs asks for a balanced bipartition of the vertex set that optimizes several quantities simultaneously. In this paper, we prove that if G is a hypergraph with n vertices and ni edges of ...Judicious bisection of hypergraphs asks for a balanced bipartition of the vertex set that optimizes several quantities simultaneously. In this paper, we prove that if G is a hypergraph with n vertices and ni edges of size i for i = 1, 2,…, k, then G admits a bisection in which each vertex class spans at mostm1/2+1/4m2+…+(1/2^k)mk+o(m1+…+mk)edges, where G is dense enough or △(G) =o(n) but has no isolated vertex, which turns out to be a bisection version of a conjecture proposed by Bollobas and Scott.展开更多
The authors show that the 2-non-negative traceless bisectional curvature is preserved along the Kahler-Ricci flow. The positivity of Ricci curvature is also preserved along the Kahler-Ricci flow with 2-non-negative tr...The authors show that the 2-non-negative traceless bisectional curvature is preserved along the Kahler-Ricci flow. The positivity of Ricci curvature is also preserved along the Kahler-Ricci flow with 2-non-negative traceless bisectional curvature. As a corol- lary, the Kahler-Ricci flow with 2-non-negative traceless bisectional curvature will converge to a Kahler-Ricci soliton in the sense of Cheeger-Cromov-Hausdorff topology if complex dimension n ≥ 3.展开更多
In this article,we study Kahler metrics on a certain line bundle over some compact Kahler manifolds to find complete Kahler metrics with positive holomorphic sectional(or bisectional)curvatures.Thus,we apply a strateg...In this article,we study Kahler metrics on a certain line bundle over some compact Kahler manifolds to find complete Kahler metrics with positive holomorphic sectional(or bisectional)curvatures.Thus,we apply a strategy to a famous Yau conjecture with a co-homogeneity one geometry.展开更多
Due to the exponential growth of video data,aided by rapid advancements in multimedia technologies.It became difficult for the user to obtain information from a large video series.The process of providing an abstract ...Due to the exponential growth of video data,aided by rapid advancements in multimedia technologies.It became difficult for the user to obtain information from a large video series.The process of providing an abstract of the entire video that includes the most representative frames is known as static video summarization.This method resulted in rapid exploration,indexing,and retrieval of massive video libraries.We propose a framework for static video summary based on a Binary Robust Invariant Scalable Keypoint(BRISK)and bisecting K-means clustering algorithm.The current method effectively recognizes relevant frames using BRISK by extracting keypoints and the descriptors from video sequences.The video frames’BRISK features are clustered using a bisecting K-means,and the keyframe is determined by selecting the frame that is most near the cluster center.Without applying any clustering parameters,the appropriate clusters number is determined using the silhouette coefficient.Experiments were carried out on a publicly available open video project(OVP)dataset that contained videos of different genres.The proposed method’s effectiveness is compared to existing methods using a variety of evaluation metrics,and the proposed method achieves a trade-off between computational cost and quality.展开更多
Indoor positioning is a key technology in today’s intelligent environments,and it plays a crucial role in many application areas.This paper proposed an unscented Kalman filter(UKF)based on the maximum correntropy cri...Indoor positioning is a key technology in today’s intelligent environments,and it plays a crucial role in many application areas.This paper proposed an unscented Kalman filter(UKF)based on the maximum correntropy criterion(MCC)instead of the minimummean square error criterion(MMSE).This innovative approach is applied to the loose coupling of the Inertial Navigation System(INS)and Ultra-Wideband(UWB).By introducing the maximum correntropy criterion,the MCCUKF algorithm dynamically adjusts the covariance matrices of the system noise and the measurement noise,thus enhancing its adaptability to diverse environmental localization requirements.Particularly in the presence of non-Gaussian noise,especially heavy-tailed noise,the MCCUKF exhibits superior accuracy and robustness compared to the traditional UKF.The method initially generates an estimate of the predicted state and covariance matrix through the unscented transform(UT)and then recharacterizes the measurement information using a nonlinear regression method at the cost of theMCC.Subsequently,the state and covariance matrices of the filter are updated by employing the unscented transformation on the measurement equations.Moreover,to mitigate the influence of non-line-of-sight(NLOS)errors positioning accuracy,this paper proposes a k-medoid clustering algorithm based on bisection k-means(Bikmeans).This algorithm preprocesses the UWB distance measurements to yield a more precise position estimation.Simulation results demonstrate that MCCUKF is robust to the uncertainty of UWB and realizes stable integration of INS and UWB systems.展开更多
Efficient numerical schemes were presented for the steady state solutions of towed marine cables. For most of towed systems,the steady state problem can be resolved into two-point boundary-value problem,or initial val...Efficient numerical schemes were presented for the steady state solutions of towed marine cables. For most of towed systems,the steady state problem can be resolved into two-point boundary-value problem,or initial value problem in some special cases where the initial values are available directly.A new technique was proposed and attempted to solve the two-point boundary-value problem rather than the conventional shooting method due to its algorithm complexity and low efficiency.First,the boundary conditions are transformed into a set of nonlinear governing equations about the initial values,then bisection method is employed to solve these nonlinear equations with the aid of 4th order Runge-Kutta method.In common sense,non-uniform (sheared) current is assumed,which varies in magnitude and direction with depth.The schemes are validated through the DE Zoysa's example,then several numerical examples are also presented to illustrate the numerical schemes.展开更多
In this note, we will prove a Kahler version of Cheeger-Gromoll-Perelman's soul theorem, only assuming the sectional curvature is nonnegative and bisectional curvature is positive at one point.
Problems on Stewart formula and inequalities for the areas of the bisection planes of the dihedral angles of a simplex are studied with the theory and method of distance geometry. Stewart formula and some inequalities...Problems on Stewart formula and inequalities for the areas of the bisection planes of the dihedral angles of a simplex are studied with the theory and method of distance geometry. Stewart formula and some inequalities for the areas of the bisection planes of the dihedral angles of a simplex in nE are established.展开更多
In this article, using the properties of Busemann functions, the authors prove that the order of volume growth of Kahler manifolds with certain nonnegative holomorphic bisectional curvature and sectional curvature is ...In this article, using the properties of Busemann functions, the authors prove that the order of volume growth of Kahler manifolds with certain nonnegative holomorphic bisectional curvature and sectional curvature is at least half of the real dimension. The authors also give a brief proof of a generalized Yau's theorem.展开更多
We discuss a class of complete Kaihler manifolds which are asymptotically complex hyperbolic near infinity. The main result is vanishing theorems for the second L2 cohomology of such manifolds when it has positive spe...We discuss a class of complete Kaihler manifolds which are asymptotically complex hyperbolic near infinity. The main result is vanishing theorems for the second L2 cohomology of such manifolds when it has positive spectrum. We also generalize the result to the weighted Poincare inequality case and establish a vanishing theorem provided that the weighted function p is of sub-quadratic growth of the distance function. We also obtain a vanishing theorem of harmonic maps on manifolds which satisfies the weighted Poincare inequality.展开更多
文摘Let G be a graph. A bipartition of G is a bipartition of V (G) with V (G) = V<sub>1</sub> ∪ V<sub>2</sub> and V<sub>1</sub> ∩ V<sub>2</sub> = ∅. If a bipartition satisfies ∥V<sub>1</sub>∣ - ∣V<sub>2</sub>∥ ≤ 1, we call it a bisection. The research in this paper is mainly based on a conjecture proposed by Bollobás and Scott. The conjecture is that every graph G has a bisection (V<sub>1</sub>, V<sub>2</sub>) such that ∀v ∈ V<sub>1</sub>, at least half minuses one of the neighbors of v are in the V<sub>2</sub>;∀v ∈ V<sub>2</sub>, at least half minuses one of the neighbors of v are in the V<sub>1</sub>. In this paper, we confirm this conjecture for some bipartite graphs, crown graphs and windmill graphs.
基金supported by the 973 Program of China 2005CB321702China NSF 10531080.
文摘Local mesh refinement is one of the key steps in the implementations of adaptive finite element methods. This paper presents a parallel algorithm for distributed memory parallel computers for adaptive local refinement of tetrahedral meshes using bisection. This algorithm is used in PHG, Parallel Hierarchical Grid Chttp://lsec. cc. ac. cn/phg/), a toolbox under active development for parallel adaptive finite element solutions of partial differential equations. The algorithm proposed is characterized by allowing simukaneous refinement of submeshes to arbitrary levels before synchronization between submeshes and without the need of a central coordinator process for managing new vertices. Using the concept of canonical refinement, a simple proof of the independence of the resulting mesh on the mesh partitioning is given, which is useful in better understanding the behaviour of the biseetioning refinement procedure.
基金This project is supported by National 863 Hi-tech Foundation of China(No. 2001AA422210).
文摘The computation algorithm of knot point planning for Cartesian trajectorygeneration of manipulator is investigated, A novel inheritance bisection algorithm (IBA) based onconventional bisection algorithm (B A) is proposed. IBA has two steps. The first step is the 1 stknot point planning under lower set position accuracy; the second step is the 2nd knot pointplanning that inherits the results of the 1st planning under higher set position accuracy. Thesimulation results reveal that the number of inverse kinematical calculation (IKC) caused by IBA isdecreased compared with BA. IBA is more efficient to plan knot points.
文摘The notion of n-transitivity can be carried over from groups of diffeomorphisms on a manifold M to groups of bisections of a Lie groupoid over M. The main theorem states that the n-transitivity is fulfilled for all n ∈N by an arbitrary group of Cr-bisections of a Lie groupoid F of class Cr, where 1 ≤ r ≤ ω, under mild conditions. For instance, the group of all bisections of any Lie groupoid and the group of all Lagrangian bisections of any symplectic groupoid are n-transitive in the sense of this theorem. In particular, if F is source connected for any arrow γ∈ Г, there is a bisection passing through γ.
基金supported in part by NSF Grant DMS-0811272in part by NIH Grant P50GM76516 and R01GM75309supported by NSF Grant DMS-0915153
文摘In this paper, an efficient and easy-to-implement coarsening algorithm is proposed for adaptive grids obtained using the newest vertex bisection method in two dimemsions. The new coarsening algorithm does not require storing the binary refinement tree explicitly. Instead, the structure is implicitly contained in a special ordering of triangular elements. Numerical experiments demonstrate that the proposed coarsening algorithm is efficient when applied for multilevel preconditioners and mesh adaptivity for time-dependent problems.
文摘We show that every source connected Lie groupoid always has global bisections through any given point. This bisection can be chosen to be the multiplication of some exponentials as close as possible to a prescribed curve. The existence of bisections through more than one prescribed point is also discussed. We give some interesting applications of these results.
基金supported by the Recruitment Program of Global Youth Experts and National Center for Mathematics and Interdisciplinary Sciences, Chinese Academy of Sciences
文摘In this note, we show that on Hopf manifold S^(2n-1)×S^1, the non-negativity of the holomorphic bisectional curvature is not preserved along the Chern-Ricci flow.
基金Project supported by the National Natural Science Foundation of China.
文摘A basic technique for designing synchronous parallel algorithms, the so-called bisection technique, is proposed. The basic pattern of designing parallel algorithms is described. The relationship between the designing idea and I Ching (principles of change) is discussed.
文摘Judicious bisection of hypergraphs asks for a balanced bipartition of the vertex set that optimizes several quantities simultaneously. In this paper, we prove that if G is a hypergraph with n vertices and ni edges of size i for i = 1, 2,…, k, then G admits a bisection in which each vertex class spans at mostm1/2+1/4m2+…+(1/2^k)mk+o(m1+…+mk)edges, where G is dense enough or △(G) =o(n) but has no isolated vertex, which turns out to be a bisection version of a conjecture proposed by Bollobas and Scott.
基金the National Science Foundation (No. DMS-0406346)
文摘The authors show that the 2-non-negative traceless bisectional curvature is preserved along the Kahler-Ricci flow. The positivity of Ricci curvature is also preserved along the Kahler-Ricci flow with 2-non-negative traceless bisectional curvature. As a corol- lary, the Kahler-Ricci flow with 2-non-negative traceless bisectional curvature will converge to a Kahler-Ricci soliton in the sense of Cheeger-Cromov-Hausdorff topology if complex dimension n ≥ 3.
文摘In this article,we study Kahler metrics on a certain line bundle over some compact Kahler manifolds to find complete Kahler metrics with positive holomorphic sectional(or bisectional)curvatures.Thus,we apply a strategy to a famous Yau conjecture with a co-homogeneity one geometry.
基金The authors would like to thank Research Supporting Project Number(RSP2024R444)King Saud University,Riyadh,Saudi Arabia.
文摘Due to the exponential growth of video data,aided by rapid advancements in multimedia technologies.It became difficult for the user to obtain information from a large video series.The process of providing an abstract of the entire video that includes the most representative frames is known as static video summarization.This method resulted in rapid exploration,indexing,and retrieval of massive video libraries.We propose a framework for static video summary based on a Binary Robust Invariant Scalable Keypoint(BRISK)and bisecting K-means clustering algorithm.The current method effectively recognizes relevant frames using BRISK by extracting keypoints and the descriptors from video sequences.The video frames’BRISK features are clustered using a bisecting K-means,and the keyframe is determined by selecting the frame that is most near the cluster center.Without applying any clustering parameters,the appropriate clusters number is determined using the silhouette coefficient.Experiments were carried out on a publicly available open video project(OVP)dataset that contained videos of different genres.The proposed method’s effectiveness is compared to existing methods using a variety of evaluation metrics,and the proposed method achieves a trade-off between computational cost and quality.
基金supported by the National Natural Science Foundation of China under Grant Nos.62273083 and 61803077Natural Science Foundation of Hebei Province under Grant No.F2020501012.
文摘Indoor positioning is a key technology in today’s intelligent environments,and it plays a crucial role in many application areas.This paper proposed an unscented Kalman filter(UKF)based on the maximum correntropy criterion(MCC)instead of the minimummean square error criterion(MMSE).This innovative approach is applied to the loose coupling of the Inertial Navigation System(INS)and Ultra-Wideband(UWB).By introducing the maximum correntropy criterion,the MCCUKF algorithm dynamically adjusts the covariance matrices of the system noise and the measurement noise,thus enhancing its adaptability to diverse environmental localization requirements.Particularly in the presence of non-Gaussian noise,especially heavy-tailed noise,the MCCUKF exhibits superior accuracy and robustness compared to the traditional UKF.The method initially generates an estimate of the predicted state and covariance matrix through the unscented transform(UT)and then recharacterizes the measurement information using a nonlinear regression method at the cost of theMCC.Subsequently,the state and covariance matrices of the filter are updated by employing the unscented transformation on the measurement equations.Moreover,to mitigate the influence of non-line-of-sight(NLOS)errors positioning accuracy,this paper proposes a k-medoid clustering algorithm based on bisection k-means(Bikmeans).This algorithm preprocesses the UWB distance measurements to yield a more precise position estimation.Simulation results demonstrate that MCCUKF is robust to the uncertainty of UWB and realizes stable integration of INS and UWB systems.
文摘Efficient numerical schemes were presented for the steady state solutions of towed marine cables. For most of towed systems,the steady state problem can be resolved into two-point boundary-value problem,or initial value problem in some special cases where the initial values are available directly.A new technique was proposed and attempted to solve the two-point boundary-value problem rather than the conventional shooting method due to its algorithm complexity and low efficiency.First,the boundary conditions are transformed into a set of nonlinear governing equations about the initial values,then bisection method is employed to solve these nonlinear equations with the aid of 4th order Runge-Kutta method.In common sense,non-uniform (sheared) current is assumed,which varies in magnitude and direction with depth.The schemes are validated through the DE Zoysa's example,then several numerical examples are also presented to illustrate the numerical schemes.
文摘In this note, we will prove a Kahler version of Cheeger-Gromoll-Perelman's soul theorem, only assuming the sectional curvature is nonnegative and bisectional curvature is positive at one point.
基金Funded by the Natural Science Foundation of Anhui (2004kj104).
文摘Problems on Stewart formula and inequalities for the areas of the bisection planes of the dihedral angles of a simplex are studied with the theory and method of distance geometry. Stewart formula and some inequalities for the areas of the bisection planes of the dihedral angles of a simplex in nE are established.
基金Supported by NSFC (10401042)Foundation of Department of Education of Zhejiang Province.
文摘In this article, using the properties of Busemann functions, the authors prove that the order of volume growth of Kahler manifolds with certain nonnegative holomorphic bisectional curvature and sectional curvature is at least half of the real dimension. The authors also give a brief proof of a generalized Yau's theorem.
文摘We discuss a class of complete Kaihler manifolds which are asymptotically complex hyperbolic near infinity. The main result is vanishing theorems for the second L2 cohomology of such manifolds when it has positive spectrum. We also generalize the result to the weighted Poincare inequality case and establish a vanishing theorem provided that the weighted function p is of sub-quadratic growth of the distance function. We also obtain a vanishing theorem of harmonic maps on manifolds which satisfies the weighted Poincare inequality.