Mathematics focuses on basic theoretical research, taking into account applied mathematics, computational mathematics and computer science. The scientific research projects undertaken include national natural science funds such as 863 and 973 and key research projects of Chinese Academy of Sciences, as well as some general projects. The following are all kinds of scientific research projects undertaken by the Institute of Mathematics, arranged by category.

National research project

Research on Requirements Engineering Technology Oriented to Knowledge Guidance of 863 Plan (Jinzhi 2006 438+02-2008.8+02)

863 presided over Intelligent Perception and Advanced Computer Technology (Jinzhi 2006. 12-2008.6438+02).

Analysis of Clinical Experience and Research on Mining Methods of Famous and Old TCM Doctors during the Tenth Five-Year Plan (Gao (Participation) 2005.438+00-2006.38+02)

Research on the theory and method of knowledge-based requirements modeling for networked software of 973 sub-project (Jin Zhi, Lu Ruqian, Wei,,, etc., June 2003-September 2006).

Modern Analysis 973 Sub-project (Yang Le,,,), etc. 2000.6438+00-2005.6438+00).

Variational theory and geometric analysis of 973 subproject (Ding, et al. 20000.438+00-2005.38+00).

973 Sub-project Number Theory and Algebraic Geometry (attended by Jia Chaohua and Sun Xiaotao, presided by Tsinghua University, 2000. 10-2005. 10).

Representation theory of subprojects and algebra in 973 (Xi Nanhua (participation), hosted by East China Normal University, 2000.438+00-2005.438+00).

Nonlinear partial differential equation of subproject 973 (attended by Ji Min, Wang Xiaoling and You De, hosted by Fudan University, 2000. 10-2005. 10)

Some Theoretical Problems in Nonlinear Science of 973 Sub-project (Ding, Yanheng is still here for a long time, hosted by Nanjing University, 2000.438+00-2005.438+00).

863 subproject requirement engineering based on domain modeling theory (Lu Ruqian, Wei Chen, Dong Huoxing 2001.10-2003.12)

Power System Theory and Calculation of 973 Sub-project (Zheng Zhiming Ning Book City (Participation)1999.05438+0-2003.12)

Analysis and Research on Stability and Instability of 973 Sub-project (Real-time Integrated Stability Region and Visualization) (Zhu Jing, Wang Jun, Lan Yu (Participation) 1999.05-2003.05)

973 sub-project information technology application theory and high performance software (Lu Weiming (participant) 1999.05-2003.05)

863-306-ZT02- Domain Analysis, Domain Modeling and Requirements Acquisition Based on Ontology (Lu Songmao (Participation) 1998.08-2000.08)

Qualitative research on geometric algorithm of power system in climbing engineering (still existing for a long time (participating) 1997-2000)