基本信息
贾晓红  女  博导  中国科学院数学与系统科学研究院
电子邮件: xhjia@amss.ac.cn
通信地址: 北京海淀中关村东路55号
邮政编码: 100190

研究领域

计算几何、计算机辅助设计(CAD)、计算机图形学、人工智能


课题组2024年拟招收:


1. CAD工程师两名(架构/算法),详情请见http://www.amss.ac.cn/rczp1/kyrczpxq/202304/t20230428_6747571.html


2. 博士后数名(长期有效), 支持方向: 几何内核开发 / 几何深度学习


3. 博士生一名,硕士生一名,特别欢迎夏令营学员加入。

注:有丰富的Visual C++编程经验者优先


4. 大学生创业计划学员,欢迎优秀本科生加入课题组参与研究工作


5. 实习生两名,欢迎外单位研究生参与课题合作


请将您的简历发送至xhjia@amss.ac.cn

教育背景及工作经历

2022 至今     中国科学院数学与系统科学研究院   研究员

2015-2022   中国科学院数学与系统科学研究院   副研究员

2011-2015   中国科学院数学与系统科学研究院   助理研究员

2009-2011   香港大学计算机系图形学实验室      博士后


2007-2009   美国Rice University计算机系         博士联合培养

2004-2009   中国科学技术大学数学系                博士

2000-2004   中国科学技术大学数学系                学士

奖励及人才计划


2021 国家重点研发计划青年科学家项目

2020 国家自然科学基金委优秀青年基金

2020 中国工业与应用数学学会第五届应用数学青年科技奖

2017 第二届全国几何设计与计算青年学者奖


2023 中国科学院大学领雁银奖——振翅奖

2022 中国科学院优秀导师奖

2022 中国科学院大学优秀本科生指导教师奖


2019 中科院数学院2019年度科研进展

2018 中科院数学院第十届陈景润未来之星计划

2014 中科院数学院系统所关肇直青年研究奖

2011 中科院数学院首届海外优秀青年人才计划

2011 全国百篇优秀博士论文提名奖

2010 中国科学院优秀博士论文


学术服务

   
学术兼职


中国工业与应用数学学会几何设计与计算专业委员会 副主任 2023-

中国数学会计算机数学专业委员会 副主任 2021-

中国数学会计算机数学专业委员会 秘书长 2016-2021

计算机图形学与混合现实研讨会(GAMES)执委会 常务委员 2022-

Journal of Computer Science and Technology 编委 2018-

会议服务

Geometric Modeling: Interoperability and New Challenges (Dagstuhl Geometry Seminar) 2024  大会共同主席

International Symposium on Symbolic and Algebraic Computation (ISSAC 2019) 财务主席

International Conference on Artificial Intelligence and Symbolic Computation (AISC 2018) 宣传主席

全国几何设计与计算会议(GDC 2022) 程序委员会共同主席

全国计算机数学学术会议(CM 2019) 大会副主席

全国计算机数学学术会议(CM 2017) 程序委员会主席


程序委员会成员:

AAAI (2023), ACM SPM (2019, 2020, 2022), GMP (2017, 2018, 2019, 2020, 2022), ISSAC(2020)


科研项目

2021.11 - 2024.10     国家重点研发计划  (青年科学家项目)    自由曲线曲面设计与求交理论与方法   主持

2021.01 - 2024.12     NSFC优秀青年基金              计算机辅助设计中的符号计算   主持

2021.01 - 2023.12     国家重点研发计划                三维CAD几何引擎与研发平台构建   骨干

2019.08 - 2020.08     国科大智能科学与技术高精尖学科项目   机器人行为中挑战性难题的几何代数方法研究    联合主持

2019.01 - 2022.12     NSFC面上项目                      基于构型分析的曲面碰撞检测及应用    主持

2019.10 - 2023.10     北京市自然科学重点项目    智能制造中的数学基础与应用   骨干

2012.01 - 2015.12     NSFC青年基金                      µ基理论及其在计算几何中的应用   主持





学生指导

学生获奖情况:

中国科学院优秀博士论文 (赵明阳,2022)

中国科学院院长奖优秀奖(赵明阳,2021;杨小龙, 2022)

中科院数学院院长奖优秀奖(李凯,2023)

华罗庚奖学金(杨婕吟,2023;王雨晴,2023)

国家奖学金 (杨婕吟,2020;杨小龙,2021)

斯伦贝谢奖学金(李凯,2022)

阿美特等奖学金(姚姗姗,2019;赵明阳,2020;赵明阳,2021)

三号学生标兵(杨小龙,2019)

华为杯全国研究生数学建模竞赛一等奖(杨小龙,2019)

国科大校级优秀毕业论文(康家锐,2022;王雨晴,2023)


在读研究生:

2019-           李凯          主页   博士

2021-           杨婕吟      主页   博士

2022-           康家锐      硕士

2023-           杨滢瑜      王雨晴      硕士


已毕业研究生:

2015-2020  姚姗姗      主页   博士( 北京邮电大学理学院)   

2016-2021  赵明阳      主页   博士   ( 中国科学院香港创新研究院) 

2017-2022  杨小龙      主页   博士( 腾讯)  

2018-2023  曾铮          主页   博士 


本科毕业设计指导:

林佳莹(大连理工大学华罗庚班), 马强 (大连理工大学华罗庚班)

杨小龙(西北工业大学),  曾铮(中国科学院大学)             

杨婕吟 (中国科学院大学),   刘玉涛(中国科学院大学),            

张泽华(中国科学院大学),  康家锐(中国科学院大学),

王雨晴(中国科学院大学),杨滢瑜(天津大学)



代表性论文



         
    
     

       Topology Guaranteed B-Spline Surface-Surface Intersection.
   
J. Yang, X. Jia, & D.-M. Yan. 

       ACM Transactions on Graphics (Siggraph Asia)Vol. 42(6), no. 211, 2023.


      Efficient Computation of Moving Planes for Rational Parametric Surfaces with Base Points Using Dixon Resultants.
      K. Li, X. Jia & F. Chen.
      Computer Aided Geometric Design, 2023.

      

 Coherent chord computation and cross ratio for accurate ellipse detection.

 M. Zhao, X. Jia, L. Ma, L. Hu & D.-M. Yan. 

 Pattern Recognition, Vol. 146, 2024. 

     

Structure-Aware Surface Reconstruction via Primitive Assembly.
J. Jiang, M. Zhao, S. Xin, Y. Yang, H. Wang, X. Jia & D.-M. Yan.
ICCV, 2023.

    

LARNeXt: End-to-End Lie Algebra Residual Network for Face Recognition.
X. Yang, X. Jia, D. Gong, D.-M. Yan, Z. Li and W. Liu.
IEEE Transactions on Pattern Analysis and Machine Intelligence, Vol. 45(10), 2023.

  

Singularity Computation for Rational Parametric Surfaces Using Moving Planes.
X. Jia, F. Chen and S. Yao.
ACM Transactions on Graphics, Vol. 42(1), article 12, 1-14, 2023.

Topological Classification and Determination of Non-Degenerate Intersections of Two Dupin Cyclides.
S. Yao and X. Jia.
Computer Aided Design, Vol. 153, 2022.

Computing the Intersection of Two Rational Surfaces Using Matrix Representations.
X. Jia, K. Li and J. Cheng.
Computer Aided Design (Special Issue of ACM SPM), Vol. 150, 2022.

GraphReg: Dynamical Point Cloud Registration with Geometry-aware Graph Signal Processing
M. Zhao, L. Ma, X. Jia, D.-M. Yan, T. Huang
IEEE Transactions on Image ProcessingVol. 31, 2022.


LARNet: Lie Algebra Residual Network for Face Recognition.
X. Yang, X. Jia, D. Gong, D.-M. Yan, Z. Li and W. Liu.
Proceedings of 38th International Conference on Machine Learning,  
PMLR Vol. 139:11738-11750, 2021.

Robust Ellipse Fitting Using Hierarchical Gaussian Mixture Models. 
M. Zhao, X. Jia, L. Fan, Y. Liang, D.-M. Yan.
IEEE Transactions on Image Processing. Vol. 30, 3828-3843, 2021.

An Occlusion-Resistant Circle Detector Using Inscribed Triangles.
M. Zhao, X. Jia, and D.-M. Yan.
Pattern Recognition. Vol. 109, January 2021.

Combining Convex Hull and Directed Graph for Fast and Accurate Ellipse Detection.
Z. Shen, M. Zhao, X. Jia, Y. Liang, L. Fan, D.-M. Yan.
Graphical Models, Vol. 116, July 2021.

Complete Classifications and Efficient Determination of Arrangements Formed by Two Ellipsoids. [PDF]
X. Jia, C. Tu, B. Mourrain and W. Wang.
ACM Transactions on Graphics, Vol. 39, article 27, 2020.

Quaternion Rational Surfaces.
J. Hoffman, X. Jia and H. Wang.
Journal of Commutative Algebra, Vol 12(2), 237-261, 2020.

        X. Yang and X. Jia.
        Computational Visual Media. Vol. 6(4), 431-443, 2020.

Enumerating the Morphology of Non-Degenerate Darboux Cyclides.
M. Zhao, X. Jia, C. Tu, B. Mourrain and W. Wang.
Computer Aided Geometric Design, Vol. 75, 2019.

µ-Bases for Rational Canal Surfaces.
S. Yao and X. Jia.
Computer Aided Geometric Design, Vol. 69, 11-26, 2019.

 

A Package to Compute Implicit Equations for the Rational Curves and Surfaces.
S. Yao, Y. Feng, X. Jia and L. Shen.
ACM Communications in Computer Algebra, Vol. 53(2), 33-36, 2019.

 

Multi-Strip Smooth Developable Surfaces From Sparse Design Curves.
P. Bo, Y. Zheng, X. Jia and C. Zhang.
Computer Aided Design, Vol. 114, 1-12, 2019.

Automatic and High-Quality Surface Mesh Generation for CAD Models.
J. Guo, F. Ding, X. Jia and D.-M. Yan.
Computer Aided Design, Vol. 109, 49-59, 2019.

Survey on the Theory and Applications of µ-Bases for Rational Curves and Surfaces.
X. Jia, X. Shi and F. Chen.
Journal of Computational and Applied Mathematics, Vol. 329, 2-23, 2018.

Continuous Detection of the Variations of the Intersection Curve of Two Moving Quadrics in 3-Dimensional Projective Space.
X. Jia, W. Wang,Y.-K. Choi, B. Mourrain and C. Tu.
J
ournal of Symbolic Computation
, Vol. 73, 221-243, 2016.

Efficient Maximal Possion-Disk Sampling and Remeshing on Surfaces.
J. Guo, D.-M. Yan, X. Jia and X. Zhang.
Computers & 
Graphics, Vol. 46, 72-79, 2015.

Role of Moving Planes and Moving Spheres Following Dupin Cyclides.
X. Jia.
C
omputer Aided Geometric Design
, Vol. 31, 168-181, 2014.

Blue-Noise Remeshing with Farthest Point Optimization.
D.-M. Yan, J. Guo, X. Jia, X. Zhang and P. Wonka.
Computer 
Graphics Forum, Vol. 33(5), 167-176, 2014 .

Continuous Collision Detection for Composite Quadric Models.
Y.-K. Choi, W. Wang, B. Mourrain, C. Tu, X. Jia and F. Sun.
G
raphical Models
, Vol. 76(5), 566-579, 2014.

Computing Perspective Projections in 3-Dimensions Using Rotors In the Homogeneous and Conformal Models of Clifford Algebra.
R. Goldman, Steve Mann and X. Jia.
A
dvances in Applied Clifford Algebras
, Vol. 24, 465-491, 2014.

Using a Bihomogeneous Resultant to Find the Singularities of Rational Space Curves.
X. Shi, X. Jia, R. Goldman and B. Hassett.
Journal of Symbolic ComputationVol. 53, 1-25, 2013.

Topological Classification of Non-Degenerate Intersections of Two Ring Tori.
X. Jia, C. Tu and W. Wang.
Computer Aided Geometric Design, Vol. 30, 181-198, 2013.

Using Smith Normal Forms and µ-Bases to Compute All the Singularities of Rational Planar Curves.
X. Jia and R. Goldman.
C
omputer Aided Geometric Design
Vol. 29, 296-314, 2012.

Representing Perspective Projections as Rotors in the Homogeneous Model of the Clifford Algebra for 3-Dimensional Euclidean Space.
X. Jia and R. Goldman.
Conference of Applied Geometric Algebras in Computer Science and Engineering 2012, France.

An Algebraic Approach to Continuous Collision Detection for Ellipsoids.
X. Jia, Y.-K. Choi, B. Mourrain and W. Wang.
Computer 
Aided Geometric Design
, Vol. 28, 164-176, 2011.

Minimal Generators for the Rees Algebra of Rational Space Curves of Type (1,1,d-2).
W. Hoffman, H. Wang, X. Jia and R. Goldman.
E
uropean Journal of Pure and Applied Mathematics
, Vol. 3(4), 602-632, 2010.

Set-Theoretic Generators of Rational Space Curves.
X. Jia, H. Wang and R. Goldman.
J
ournal of Symbolic Computation
, Vol. 49(4), 414-433, 2010.

µ-Bases and Singularities of Rational Planar Curves.
X. Jia and R. Goldman.
Computer Aided Geometric Design
, 26(9), 970-988, 2009.

Axial Moving Planes and Singularities of Rational Space Curves.
H. Wang, X. Jia and R. Goldman.
Computer Aided Geometric Design, Vol.26(3), 300-316, 2009.

Computing Self-intersection Curves of Rational Ruled Surfaces.
X. Jia, F. Chen and J. Deng.
Computer Aided Geometric Design, Vol. 26(3), 287-299, 2009.


专著

[1] W. Hoffman, X. Jia, H. Wang. Commutative Algebra: An Introduction. Mercury Learning & Information, Dulles, Virginia, Boston, Massachusetts, New Delhi. (ISBN: 978-1-944534-60-8)
[2] W. Hoffman, X. Jia, H. Wang. Essentials of Commutative Algebra. Overseas Press India Private Limited, 2016. (ISBN(13): 978-93-83803-21-7)

专利与软著

   
发明专利

1. 一种基于高斯像的可展面分割-拟合方法. ZL202210094064.7

2. 船体外板曲面设计自交线检测方法、装置及可存储介质ZL202210535532.X

3. 一种基于移动平面与矩阵计算有理参数曲面的交的方法. 202210515344.0

4. 基于NURBS 曲面快速求交算法的CAD模型构建方法.202310911850.6


软件著作权


1. 基于二次曲面分割的CAD模型重建系统V1.0. 软著登字第9778588.

2. 基于分片优化的网格逆向工程与编辑系统V1.0. 软著登字第10372421.

3. 基于基元求交的多边形网格重建系统V1.0. 软著登字第10763620.

4. 基于符号计算的二次曲面求交系统V1.0. 软著登字第11122756.

5. 创成式样条曲面生成系统V1.0. 软著登字第11497565.

6. 自由曲面求交系统V1.0. 软著登字第11496730.

7. 基于特征抑制的CAD模型逆向CSG建模系统V1.0. 软著登字第11497561.

8. 样条曲线曲面拟合软件V1.0. 软著登字第11100147.