Fraction repetition(FR)codes are integral in distributed storage systems(DSS)with exact repair-by-transfer,while pliable fraction repetition codes are vital for DSSs in which both the per-node storage and repetition d...Fraction repetition(FR)codes are integral in distributed storage systems(DSS)with exact repair-by-transfer,while pliable fraction repetition codes are vital for DSSs in which both the per-node storage and repetition degree can easily be adjusted simultaneously.This paper introduces a new type of pliable FR codes,called absolute balanced pliable FR(ABPFR)codes,in which the access balancing in DSS is considered.Additionally,the equivalence between pliable FR codes and resolvable transversal packings in combinatorial design theory is presented.Then constructions of pliable FR codes and ABPFR codes based on resolvable transversal packings are presented.展开更多
In this paper,we investigate the Cauchy problem of the Sasa-Satsuma(SS)equation with initial data belonging to the Schwartz space.The SS equation is one of the integrable higher-order extensions of the nonlinear Schr&...In this paper,we investigate the Cauchy problem of the Sasa-Satsuma(SS)equation with initial data belonging to the Schwartz space.The SS equation is one of the integrable higher-order extensions of the nonlinear Schrödinger equation and admits a 3×3 Lax representation.With the aid of the■nonlinear steepest descent method of the mixed■-Riemann-Hilbert problem,we give the soliton resolution and long-time asymptotics for the Cauchy problem of the SS equation with the existence of second-order discrete spectra in the space-time solitonic regions.展开更多
Hilbert problem 15 required understanding Schubert's book.In this book,reducing to degenerate cases was one of the main methods for enumeration.We found that nonstandard analysis is a suitable tool for making rigo...Hilbert problem 15 required understanding Schubert's book.In this book,reducing to degenerate cases was one of the main methods for enumeration.We found that nonstandard analysis is a suitable tool for making rigorous of Schubert's proofs of some results,which used degeneration method,but are obviously not rigorous.In this paper,we give a rigorous proof for Example 4 in Schubert's book,Chapter 1.§4 according to his idea.This shows that Schubert's intuitive idea is correct,but to make it rigorous a lot of work should be done.展开更多
In this paper,we give rigorous justification of the ideas put forward in§20,Chapter 4 of Schubert’s book;a section that deals with the enumeration of conics in space.In that section,Schubert introduced two degen...In this paper,we give rigorous justification of the ideas put forward in§20,Chapter 4 of Schubert’s book;a section that deals with the enumeration of conics in space.In that section,Schubert introduced two degenerate conditions about conics,i.e.,the double line and the two intersection lines.Using these two degenerate conditions,he obtained all relations regarding the following three conditions:conics whose planes pass through a given point,conics intersecting with a given line,and conics which are tangent to a given plane.We use the language of blow-ups to rigorously treat the two degenerate conditions and prove all formulas about degenerate conditions stemming from Schubert’s idea.展开更多
Hilbert Problem 15 required an understanding of Schubert’s book[1],both its methods and its results.In this paper,following his idea,we prove that the formulas in§6,§7,§10,about the incidence of points...Hilbert Problem 15 required an understanding of Schubert’s book[1],both its methods and its results.In this paper,following his idea,we prove that the formulas in§6,§7,§10,about the incidence of points,lines and planes,are all correct.As an application,we prove formulas 8 and 9 in§12,which are frequently used in his book.展开更多
Based on noncommutative differential calculus, we present a theory of prolongation structure for semidiscrete non/inear evolution equations. As an illustrative example, a semi-discrete model of the non/inear SchrSding...Based on noncommutative differential calculus, we present a theory of prolongation structure for semidiscrete non/inear evolution equations. As an illustrative example, a semi-discrete model of the non/inear SchrSdinger equation is discussed in terms of this theory and the corresponding Lax pairs are also given.展开更多
In this article, we discuss nonsymmetric solutions of the colored Yang-Baxter equation dependent on spectral as well as colored parameters and give all seven-vertex solutions by Wu＇s method. It is also proved that th...In this article, we discuss nonsymmetric solutions of the colored Yang-Baxter equation dependent on spectral as well as colored parameters and give all seven-vertex solutions by Wu＇s method. It is also proved that the solutions are composed of six groups of basic solutions up to five solution transformations. Moreover, al l solutions can be classified into two categories called Baxter type and free-fermion type.展开更多
In this paper,we develop the deep learning-based Fourier neural operator(FNO)approach to find parametric mappings,which are used to approximately display abundant wave structures in the nonlinear Schr?dinger(NLS)equat...In this paper,we develop the deep learning-based Fourier neural operator(FNO)approach to find parametric mappings,which are used to approximately display abundant wave structures in the nonlinear Schr?dinger(NLS)equation,Hirota equation,and NLS equation with the generalized PT-symmetric Scarf-II potentials.Specifically,we analyze the state transitions of different types of solitons(e.g.bright solitons,breathers,peakons,rogons,and periodic waves)appearing in these complex nonlinear wave equations.By checking the absolute errors between the predicted solutions and exact solutions,we can find that the FNO with the Ge Lu activation function can perform well in all cases even though these solution parameters have strong influences on the wave structures.Moreover,we find that the approximation errors via the physics-informed neural networks(PINNs)are similar in magnitude to those of the FNO.However,the FNO can learn the entire family of solutions under a given distribution every time,while the PINNs can only learn some specific solution each time.The results obtained in this paper will be useful for exploring physical mechanisms of soliton excitations in nonlinear wave equations and applying the FNO in other nonlinear wave equations.展开更多
This paper presents a new approach for designing the tool paths in the machining of sculptured surfaces for computer nu- merical controlled end milling. In the proposed method, the tool paths are determined so that th...This paper presents a new approach for designing the tool paths in the machining of sculptured surfaces for computer nu- merical controlled end milling. In the proposed method, the tool paths are determined so that the scallop height formed by two adja- cent machining paths is maintained constant across the machined surface. Unlike previous work on iso-scallop height milling, the present work considers the true 3D configuration of the milling procedure and can be used to generate better results, which is shown by examoles.展开更多
In§13 of Schubert’s famous book on enumerative geometry,he provided a few formulas called coincidence formulas,which deal with coincidence points where a pair of points coincide.These formulas play an important ...In§13 of Schubert’s famous book on enumerative geometry,he provided a few formulas called coincidence formulas,which deal with coincidence points where a pair of points coincide.These formulas play an important role in his method.As an application,Schubert utilized these formulas to give a second method for calculating the number of planar curves in a one dimensional system that are tangent to a given planar curve.In this paper,we give proofs for these formulas and justify his application to planar curves in the language of modern algebraic geometry.We also prove that curves that are tangent to a given planar curve is actually a condition in the space of planar curves and other relevant issues.展开更多
Opinion dynamics has recently attracted much attention,and there have been a lot of achievements in this area.This paper first gives an overview of the development of opinion dynamics on social networks.We introduce s...Opinion dynamics has recently attracted much attention,and there have been a lot of achievements in this area.This paper first gives an overview of the development of opinion dynamics on social networks.We introduce some classical models of opinion dynamics in detail,including the DeGroot model,the Krause model,O-1 models,sign networks and models related to Gossip algorithms.Inspired by some real life cases,we choose the unit circle as the range of the individuals'opinion values.We prove that the individuals'opinions of the randomized gossip algorithm in which the individuals'opinion values are on the unit circle reaches consensus almost surely.展开更多
We construct the integrable deformations of the Heisenberg supermagnet model with the quadratic constraints （i） S2=3S - 2I, for S ∈ USPL（2/1）/S（U（2）×U（1）） and （ii） S2=S, for S ∈ USPL（2/1）/S（L（1/...We construct the integrable deformations of the Heisenberg supermagnet model with the quadratic constraints （i） S2=3S - 2I, for S ∈ USPL（2/1）/S（U（2）×U（1）） and （ii） S2=S, for S ∈ USPL（2/1）/S（L（1/1）×U（1））. Under the gauge transformation, their corresponding gauge equivalent counterparts are derived. They are the Grassman odd and super mixed derivative nonlinear Schrodinger equation, respectively.展开更多
The Hirota equation can be used to describe the wave propagation of an ultrashort optical field.In this paper,the multi-component Hirota(alias n-Hirota,i.e.n-component third-order nonlinear Schrodinger)equations with ...The Hirota equation can be used to describe the wave propagation of an ultrashort optical field.In this paper,the multi-component Hirota(alias n-Hirota,i.e.n-component third-order nonlinear Schrodinger)equations with mixed non-zero and zero boundary conditions are explored.We employ the multiple roots of the characteristic polynomial related to the Lax pair and modified Darboux transform to find vector semi-rational rogon-soliton solutions(i.e.nonlinear combinations of rogon and soliton solutions).The semi-rational rogon-soliton features can be modulated by the polynomial degree.For the larger solution parameters,the first m(m<n)components with non-zero backgrounds can be decomposed into rational rogons and grey-like solitons,and the last n-m components with zero backgrounds can approach bright-like solitons.Moreover,we analyze the accelerations and curvatures of the quasi-characteristic curves,as well as the variations of accelerations with the distances to judge the interaction intensities between rogons and grey-like solitons.We also find the semi-rational rogon-soliton solutions with ultrahigh amplitudes.In particular,we can also deduce vector semi-rational solitons of the ncomponent complex mKdV equation.These results will be useful to further study the related nonlinear wave phenomena of multi-component physical models with mixed background,and even design the related physical experiments.展开更多
Combining computer-aided design and computer numerical control(CNC)with global technical connections have become interesting topics in the manufacturing industry.A framework was implemented that includes point clouds ...Combining computer-aided design and computer numerical control(CNC)with global technical connections have become interesting topics in the manufacturing industry.A framework was implemented that includes point clouds to workpieces and consists of a mesh generation from geometric data,optimal surface segmentation for CNC,and tool path planning with a certified scallop height.The latest methods were introduced into the mesh generation with implicit geometric regularization and total generalized variation.Once the mesh model was obtained,a fast and robust optimal surface segmentation method is provided by establishing a weighted graph and searching for the minimum spanning tree of the graph for extraordinary points.This method is easy to implement,and the number of segmented patches can be controlled while preserving the sharp features of the workpiece.Finally,a contour parallel tool-path with a confined scallop height is generated on each patch based on B-spline fitting.Experimental results show that the proposed framework is effective and robust.展开更多
Motivated by the recently discovered hidden symmetry of the type IIB Green-Schwarz superstring on certain background, the non-semisimple Kac-Moody twisted superalgebra gl（2｜2）（2）k is investigated by means of the ...Motivated by the recently discovered hidden symmetry of the type IIB Green-Schwarz superstring on certain background, the non-semisimple Kac-Moody twisted superalgebra gl（2｜2）（2）k is investigated by means of the vector coherent state method and boson-fermion realization. The free field realization of the twisted current superalgebra at general level k is constructed. The corresponding Conformai Field Theory （CFT） has zero central charge. According to the classification theory, this CFT is a nonunitary field theory. After projecting out a U（1） factor and an outer automorphism operator, we get the free field representation of psl（2｜2）（2）k, which is the a/gebra of gl（2｜2）（2）k modulo the Z4-outer automorphism, the CFT has central charge -2.展开更多
The authors extend the shell and kernel reductions for hyperexponential functions over the field of rational functions to a monomial extension.Both of the reductions are incorporated into one algorithm.As an applicati...The authors extend the shell and kernel reductions for hyperexponential functions over the field of rational functions to a monomial extension.Both of the reductions are incorporated into one algorithm.As an application,the authors present an additive decomposition in rationally hyperexponential towers.The decomposition yields an alternative algorithm for computing elementary integrals over such towers.The alternative can find some elementary integrals that are unevaluated by the integrators in the latest versions of MAPLE and MATHEMATICA.展开更多
Curve interpolation with B-spline is widely used in various areas. This problem is classic and recently raised in application scenario with new requirements such as path planning following the tangential vector field ...Curve interpolation with B-spline is widely used in various areas. This problem is classic and recently raised in application scenario with new requirements such as path planning following the tangential vector field under certified error in CNC machining. This paper proposes an algorithm framework to solve Hausdorff distance certified cubic B-spline interpolation problem with or without tangential direction constraints. The algorithm has two stages: The first stage is to find the initial cubic B-spine fitting curve which satisfies the Hausdorff distance constraint;the second stage is to set up and solve the optimization models with certain constraints. Especially, the sufficient conditions of the global Hausdorff distance control for any error bound are discussed, which can be expressed as a series of linear and quadratic constraints. A simple numerical algorithm to compute the Hausdorff distance between a polyline and its B-spline interpolation curve is proposed to reduce our computation.Experimental results are presented to show the advantages of the proposed algorithms.展开更多
In CNC machining,the tool path planning of the cutter plays an important role.In this paper,we generate a space-filling and continuous tool path for free-form surface represented by the triangular mesh with a confined...In CNC machining,the tool path planning of the cutter plays an important role.In this paper,we generate a space-filling and continuous tool path for free-form surface represented by the triangular mesh with a confined scallop height.The tool path is constructed from connected Fermat spirals(CFS)but with fewer inflection points.Comparing with the newly developed CFS method,only about half of the number of inflection points are involved.Moreover,the kinematic constraints are simultaneously taken into account to increase the feedrates in machining.Finally,we use a micro-line trajectory technique to smooth the tool path.Experimental results and physical cutting tests are provided to illustrate and clarify our method.展开更多
基金Supported in part by the National Key R&D Program of China(No.2020YFA0712300)NSFC(No.61872353)。
文摘Fraction repetition(FR)codes are integral in distributed storage systems(DSS)with exact repair-by-transfer,while pliable fraction repetition codes are vital for DSSs in which both the per-node storage and repetition degree can easily be adjusted simultaneously.This paper introduces a new type of pliable FR codes,called absolute balanced pliable FR(ABPFR)codes,in which the access balancing in DSS is considered.Additionally,the equivalence between pliable FR codes and resolvable transversal packings in combinatorial design theory is presented.Then constructions of pliable FR codes and ABPFR codes based on resolvable transversal packings are presented.
文摘In this paper,we investigate the Cauchy problem of the Sasa-Satsuma(SS)equation with initial data belonging to the Schwartz space.The SS equation is one of the integrable higher-order extensions of the nonlinear Schrödinger equation and admits a 3×3 Lax representation.With the aid of the■nonlinear steepest descent method of the mixed■-Riemann-Hilbert problem,we give the soliton resolution and long-time asymptotics for the Cauchy problem of the SS equation with the existence of second-order discrete spectra in the space-time solitonic regions.
文摘Hilbert problem 15 required understanding Schubert's book.In this book,reducing to degenerate cases was one of the main methods for enumeration.We found that nonstandard analysis is a suitable tool for making rigorous of Schubert's proofs of some results,which used degeneration method,but are obviously not rigorous.In this paper,we give a rigorous proof for Example 4 in Schubert's book,Chapter 1.§4 according to his idea.This shows that Schubert's intuitive idea is correct,but to make it rigorous a lot of work should be done.
基金partially supported by National Center for Mathematics and Interdisciplinary Sciences,CAS。
文摘In this paper,we give rigorous justification of the ideas put forward in§20,Chapter 4 of Schubert’s book;a section that deals with the enumeration of conics in space.In that section,Schubert introduced two degenerate conditions about conics,i.e.,the double line and the two intersection lines.Using these two degenerate conditions,he obtained all relations regarding the following three conditions:conics whose planes pass through a given point,conics intersecting with a given line,and conics which are tangent to a given plane.We use the language of blow-ups to rigorously treat the two degenerate conditions and prove all formulas about degenerate conditions stemming from Schubert’s idea.
基金partially supported by National Center for Mathematics and Interdisciplinary Sciences,CAS。
文摘Hilbert Problem 15 required an understanding of Schubert’s book[1],both its methods and its results.In this paper,following his idea,we prove that the formulas in§6,§7,§10,about the incidence of points,lines and planes,are all correct.As an application,we prove formulas 8 and 9 in§12,which are frequently used in his book.
基金The project supported by Tianyuan Foundation for Mathematics under Grant No. 10626016 of National Natural Science Foundation of China, China Postdoctoral Science Foundation, Beijing Jiao-Wei Key Project under Grant No. KZ 200310028010, and National Natural Science Foundation of China under Grant No. 10375038
文摘Based on noncommutative differential calculus, we present a theory of prolongation structure for semidiscrete non/inear evolution equations. As an illustrative example, a semi-discrete model of the non/inear SchrSdinger equation is discussed in terms of this theory and the corresponding Lax pairs are also given.
基金supported by NKBRPC(2004CB31800, 2006CB805905)Knowledge Innovation Funds of CAS (KJCX3-SYW-S03)
文摘In this article, we discuss nonsymmetric solutions of the colored Yang-Baxter equation dependent on spectral as well as colored parameters and give all seven-vertex solutions by Wu＇s method. It is also proved that the solutions are composed of six groups of basic solutions up to five solution transformations. Moreover, al l solutions can be classified into two categories called Baxter type and free-fermion type.
基金the NSFC under Grant Nos.11925108 and 11731014the NSFC under Grant No.11975306
文摘In this paper,we develop the deep learning-based Fourier neural operator(FNO)approach to find parametric mappings,which are used to approximately display abundant wave structures in the nonlinear Schr?dinger(NLS)equation,Hirota equation,and NLS equation with the generalized PT-symmetric Scarf-II potentials.Specifically,we analyze the state transitions of different types of solitons(e.g.bright solitons,breathers,peakons,rogons,and periodic waves)appearing in these complex nonlinear wave equations.By checking the absolute errors between the predicted solutions and exact solutions,we can find that the FNO with the Ge Lu activation function can perform well in all cases even though these solution parameters have strong influences on the wave structures.Moreover,we find that the approximation errors via the physics-informed neural networks(PINNs)are similar in magnitude to those of the FNO.However,the FNO can learn the entire family of solutions under a given distribution every time,while the PINNs can only learn some specific solution each time.The results obtained in this paper will be useful for exploring physical mechanisms of soliton excitations in nonlinear wave equations and applying the FNO in other nonlinear wave equations.
基金Partially supported by a grant from NSFC (60821002)
文摘This paper presents a new approach for designing the tool paths in the machining of sculptured surfaces for computer nu- merical controlled end milling. In the proposed method, the tool paths are determined so that the scallop height formed by two adja- cent machining paths is maintained constant across the machined surface. Unlike previous work on iso-scallop height milling, the present work considers the true 3D configuration of the milling procedure and can be used to generate better results, which is shown by examoles.
基金supported by National Center for Mathematics and Interdisciplinary Sciences,CAS。
文摘In§13 of Schubert’s famous book on enumerative geometry,he provided a few formulas called coincidence formulas,which deal with coincidence points where a pair of points coincide.These formulas play an important role in his method.As an application,Schubert utilized these formulas to give a second method for calculating the number of planar curves in a one dimensional system that are tangent to a given planar curve.In this paper,we give proofs for these formulas and justify his application to planar curves in the language of modern algebraic geometry.We also prove that curves that are tangent to a given planar curve is actually a condition in the space of planar curves and other relevant issues.
基金This work was partially supported by the National Natural Science Foundation of China(61873262).
文摘Opinion dynamics has recently attracted much attention,and there have been a lot of achievements in this area.This paper first gives an overview of the development of opinion dynamics on social networks.We introduce some classical models of opinion dynamics in detail,including the DeGroot model,the Krause model,O-1 models,sign networks and models related to Gossip algorithms.Inspired by some real life cases,we choose the unit circle as the range of the individuals'opinion values.We prove that the individuals'opinions of the randomized gossip algorithm in which the individuals'opinion values are on the unit circle reaches consensus almost surely.
基金Supported by National Key Basic Research Project of China under Grant No.2006CB805905National Natural Science Foundation of China under Grant Nos.10975102 and 10871135
文摘We construct the integrable deformations of the Heisenberg supermagnet model with the quadratic constraints （i） S2=3S - 2I, for S ∈ USPL（2/1）/S（U（2）×U（1）） and （ii） S2=S, for S ∈ USPL（2/1）/S（L（1/1）×U（1））. Under the gauge transformation, their corresponding gauge equivalent counterparts are derived. They are the Grassman odd and super mixed derivative nonlinear Schrodinger equation, respectively.
基金supported by the National Natural Science Foundation of China(Nos.11925108 and 11731014)
文摘The Hirota equation can be used to describe the wave propagation of an ultrashort optical field.In this paper,the multi-component Hirota(alias n-Hirota,i.e.n-component third-order nonlinear Schrodinger)equations with mixed non-zero and zero boundary conditions are explored.We employ the multiple roots of the characteristic polynomial related to the Lax pair and modified Darboux transform to find vector semi-rational rogon-soliton solutions(i.e.nonlinear combinations of rogon and soliton solutions).The semi-rational rogon-soliton features can be modulated by the polynomial degree.For the larger solution parameters,the first m(m<n)components with non-zero backgrounds can be decomposed into rational rogons and grey-like solitons,and the last n-m components with zero backgrounds can approach bright-like solitons.Moreover,we analyze the accelerations and curvatures of the quasi-characteristic curves,as well as the variations of accelerations with the distances to judge the interaction intensities between rogons and grey-like solitons.We also find the semi-rational rogon-soliton solutions with ultrahigh amplitudes.In particular,we can also deduce vector semi-rational solitons of the ncomponent complex mKdV equation.These results will be useful to further study the related nonlinear wave phenomena of multi-component physical models with mixed background,and even design the related physical experiments.
基金This work was partially supported by the National Key Research and Development Program of China,No.2020YFA0713703the Beijing Natural Science Foundation,No.Z190004+1 种基金National Natural Science Foundation of China,Nos.11688101 and 61872332Fundamental Research Funds for the Central Universities。
文摘Combining computer-aided design and computer numerical control(CNC)with global technical connections have become interesting topics in the manufacturing industry.A framework was implemented that includes point clouds to workpieces and consists of a mesh generation from geometric data,optimal surface segmentation for CNC,and tool path planning with a certified scallop height.The latest methods were introduced into the mesh generation with implicit geometric regularization and total generalized variation.Once the mesh model was obtained,a fast and robust optimal surface segmentation method is provided by establishing a weighted graph and searching for the minimum spanning tree of the graph for extraordinary points.This method is easy to implement,and the number of segmented patches can be controlled while preserving the sharp features of the workpiece.Finally,a contour parallel tool-path with a confined scallop height is generated on each patch based on B-spline fitting.Experimental results show that the proposed framework is effective and robust.
基金The project supported by National Key Basic Research Program of China under Grant No. 2004CB31800, 2006CB805905 and National Natural Science Foundation of China under Grant Nos. 10231050 and 10375087 Ding thanks Prof. A. Bellen for his warm invitation and great help while Ding was staying in Trieste, where the work was partially complected. Thanks also to Prof. G. Lindi for his kindness. And the work is （partially） supported by Inistero degli Affari Esteri-Direzione Gen- erale per la Promozione la Cooperazione Culturale, and by Istituto Nazionale di Alta Matematica, francesco sev- eri （INdAM）, Roma.
文摘Motivated by the recently discovered hidden symmetry of the type IIB Green-Schwarz superstring on certain background, the non-semisimple Kac-Moody twisted superalgebra gl（2｜2）（2）k is investigated by means of the vector coherent state method and boson-fermion realization. The free field realization of the twisted current superalgebra at general level k is constructed. The corresponding Conformai Field Theory （CFT） has zero central charge. According to the classification theory, this CFT is a nonunitary field theory. After projecting out a U（1） factor and an outer automorphism operator, we get the free field representation of psl（2｜2）（2）k, which is the a/gebra of gl（2｜2）（2）k modulo the Z4-outer automorphism, the CFT has central charge -2.
基金supported by the National Key Research and Development Projects under Grant Nos.2020YFA0712300 and 2023YFA1009401the National Natural Science Foundation of China under Grant Nos.12271511,11688101,12201065 and 11971029+1 种基金CAS Project for Young Scientists in Basic Research under Grant No.YSBR-034the CAS Fund of the Youth Innovation Promotion Association under Grant No.Y2022001。
文摘The authors extend the shell and kernel reductions for hyperexponential functions over the field of rational functions to a monomial extension.Both of the reductions are incorporated into one algorithm.As an application,the authors present an additive decomposition in rationally hyperexponential towers.The decomposition yields an alternative algorithm for computing elementary integrals over such towers.The alternative can find some elementary integrals that are unevaluated by the integrators in the latest versions of MAPLE and MATHEMATICA.
基金partially supported by the National Key Research and Development Program of China under Grant No. 2020YFA0713703the National Science Foundation of China under Grant Nos. 11688101, 12371384+1 种基金12271516the Fundamental Research Funds for the Central Universities。
文摘Curve interpolation with B-spline is widely used in various areas. This problem is classic and recently raised in application scenario with new requirements such as path planning following the tangential vector field under certified error in CNC machining. This paper proposes an algorithm framework to solve Hausdorff distance certified cubic B-spline interpolation problem with or without tangential direction constraints. The algorithm has two stages: The first stage is to find the initial cubic B-spine fitting curve which satisfies the Hausdorff distance constraint;the second stage is to set up and solve the optimization models with certain constraints. Especially, the sufficient conditions of the global Hausdorff distance control for any error bound are discussed, which can be expressed as a series of linear and quadratic constraints. A simple numerical algorithm to compute the Hausdorff distance between a polyline and its B-spline interpolation curve is proposed to reduce our computation.Experimental results are presented to show the advantages of the proposed algorithms.
基金supported by Beijing Natural Science Foundation under Grant Z190004National Key Research and Development Program of China under Grant 2020YFA0713703,NSFC(Nos.11688101,61872332)and Fundamental Research Funds for the Central Universities.
文摘In CNC machining,the tool path planning of the cutter plays an important role.In this paper,we generate a space-filling and continuous tool path for free-form surface represented by the triangular mesh with a confined scallop height.The tool path is constructed from connected Fermat spirals(CFS)but with fewer inflection points.Comparing with the newly developed CFS method,only about half of the number of inflection points are involved.Moreover,the kinematic constraints are simultaneously taken into account to increase the feedrates in machining.Finally,we use a micro-line trajectory technique to smooth the tool path.Experimental results and physical cutting tests are provided to illustrate and clarify our method.
