Jin-san Cheng

Dr. Jin-san Cheng

orcid

Research Focus & Metrics

Academic Career Length

22Years (2005-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
9 October 2010 in Mathematics in Computer Science
Verified
Journal Article
Closed access
PDF file
JCJin-san Cheng
Jin-san Cheng
SLSylvain Lazard
Sylvain Lazard
LPLuis Peñaranda
Luis Peñaranda
MPMarc Pouget
Marc Pouget
FRFabrice Rouillier
Fabrice Rouillier
ETElias Tsigaridas
Elias Tsigaridas

1 July 2012 in Journal of Symbolic Computation
Verified
Journal Article
Closed access
JCJin-san Cheng
Jin-san Cheng
XGXiao-Shan Gao
Xiao-Shan Gao
LGLeilei Guo
Leilei Guo

26 July 2023 in ACM Transactions on Graphics
Verified
Journal Article
Open access
JCJin-san Cheng
Jin-san Cheng
BZBingwei Zhang
Bingwei Zhang
YXYikun Xiao
Yikun Xiao
MLMing Li
Ming Li
Computing the intersection between two parametric surfaces (SSI) is one of the most fundamental problems in geometric and solid modeling. Maintaining the SSI topology is critical to its computation robustness. We propose a topology-driven hybrid symbolic-numeric framework to approximate rational parametric surface-surface intersection (SSI) based on a concept of interval algebraic topology analysis (IATA) , which configures within a 4D interval box the SSI topology. We map the SSI topology to an algebraic system's solutions within the framework, classify and enumerate all topological cases as a mixture of four fundamental cases (or their specific sub-cases). Various complicated topological situations are covered, such as cusp points or curves, tangent points (isolated or not) or curves, tiny loops, self-intersections, or their mixtures. The theoretical formulation is also implemented numerically using advanced real solution isolation techniques, and computed within a topology-driven framework which maximally utilizes the advantages of the topology maintenance of algebraic analysis, the robustness of iterative subdivision, and the efficiency of forward marching. The approach demonstrates improved robustness under benchmark topological cases when compared with available open-source and commercial solutions, including IRIT, SISL, and Parasolid.

5 April 2014 in Journal of Systems Science and Complexity
Verified
Journal Article
Closed access
PDF file
JCJin-san Cheng
Jin-san Cheng
XGXiao-Shan Gao
Xiao-Shan Gao

12 January 2021 in Journal of Systems Science and Complexity
Verified
Journal Article
Closed access
PDF file
KJKai Jin
Kai Jin
JCJin-san Cheng
Jin-san Cheng

13 April 2022 in Journal of Symbolic Computation
Verified
Journal Article
Closed access
JCJin-san Cheng
Jin-san Cheng
JWJunyi Wen
Junyi Wen
BZBingwei Zhang
Bingwei Zhang