所属学科：数学（基础研究）
教育部科学技术研究重点项目
申 请 书
项目名称：模型论的研究及应用
项目负责人：陈国龙
项目联系人：陈国龙
联系电话：0561-3802068
联系地址：安徽省淮北市东山路100号
邮政编码：235000
项目起止日期：2005.1-2007.12
申报学校（盖章）：淮北煤炭师范学院
填表日期：2004.5.14
一、项目的目的、意义和国内外概况
二、主要研究内容、目标或经济技术指标
三、现有研究基础、条件及主要研究方法和技术路线
四、
项目进度安排及提供成果形式 五、项目主要参
加人员
、
目费
七、学校意见（签章）
八、教育厅意见（签章）
九、教育部科技司意见
附：项目主要负责人主要研究成果简介（包括发表过的文章的题目、时间、刊登文章的刊物名称；承担过的省部级以上科研项目情况；获奖或专利情况；已经产生的经济和社会效益等情况）
陈国龙，1995年9月至1998年7月在北京师范大学数学系攻读博士学位，导师是王世强教授，博
士学位论文的名称是：模型论中一些相关问题的研究及其应用。 1998年7月获博士学位。1998年8月至2000年5月在中国科学院软件研究所从事博士后研究工作。曾获得1999年度安徽省高校科技进步二等奖，2000年10月获得中国博士后学术大会优秀学术论文三等奖等多项学术奖励。2000年7月被破格晋升为教授。在本项目中承担主要研究任务。近期发表的主要论文有： 三．主要论文：
1．Saturated Models , Chen Guolong, 1998．4, Chinese Science Bulletin 2．除环上无限方阵的分解, 陈国龙, 2001．5, 数学学报 3. 除环上无限方阵的对角化, 陈国龙, 2001．4, 数学进展 4. 模型论中的拓扑学方法, 陈国龙, 2002.7, 数学学报 5. 一阶理论的主型, 陈国龙, 2000．2, 数学进展
6. On ω-Categorical Theory, Chen Guolong, 1999．4 , 数学进展
7. 关于饱和模型的讨论, 陈国龙, 1997．12, 科学通报
8. On Saturated Models, Chen Guolong, 1997.6, 数学进展
9．除环上rcf 方阵的逆方阵，陈国龙，2000．9，高校应用数学学报 10．除环上rcf 方阵的对角化，陈国龙，2000．4，应用数学 11．一类特殊无限方阵的逆方阵，陈国龙，2000．1，数学杂志 12．ω-范畴完全理论的特征，陈国龙，2000．4，数学杂志 13．域上无限方阵的分解，陈国龙(1)，2000．4，工科数学
14．关于一阶理论的型与可数模型的关系，陈国龙，1997．9，数学研究
15. Computational Complexity on the Logic Theory, Chen Guolong,2002.8, ICM2002, High Education Press, Beijing
3、承担的项目（近三年）
（1）．同调有限子范畴与好模范畴（10001017），国家自然科学基金, 2001.1-2003.12, 参加（第三）。
（2）. 基于数学的密码基础理论研究（ G1999035804）, 国家重点基础发展规划项目(973 项目), 2000.1-2004.12, 10, 主要参加者。 （3）．电子商务加密引擎的应用研究(2001KJ203ZD), 安徽省教育厅重点项目, 2001.9-2003.9, 主持人。
（4）．中小型电子商务中信息加密技术的改进（2000JQ127）, 安徽省高校优秀青年教师 科研基金, 2001.1-2002.12, 主持人。
（5）．广义模型论的研究及应用（99jl0181）, 安徽省教委科研计划项目, 1999．12-2002．12, 主持人。
4、科研获奖：
（1）模型论中的一些热点问题的研究, 陈国龙, 安徽省高校科技进步二等奖, 1999．5 （2）模型论中的拓扑学方法, 陈国龙, 中国博士后学术大会优秀论文三等奖, 2000．10 （3）Saturated Models, 陈国龙, 安徽省第三届自然科学优秀学术论文二等奖, 2000．10 （4）模型论及其应用研究，陈国龙（1），淮北市科技进步三等奖, 2000．12 （5）模型论及其应用, 陈国龙（1）, 安徽省级科技成果, 2000．3
（6）模型论的研究与应用，陈国龙，安徽省高校优秀科技成果三等奖，2003.12
5．其他获奖及荣誉称号：
(1) 安徽省模范教师， 2001.9 (2) 安徽省师德先进个人， 2001.7 (3) 安徽省优秀共产党员， 2001.6 (4) 安徽省先进工作者， 2002.9 (5) 全国五一劳动奖章获得者， 2003.4 (6) 安徽省学术技术带头人 2002.8 (7) 安徽省中青年学科带头人 2000.10 (8) 淮北煤炭师范学院优秀共产党员， 2003.6
附件目录（部分复印件）：
1、 身份证、职称证书2份； 2、 博士后证书、博士学位证书3份； 3、 科研获奖4份；
4、 其他获奖及荣誉证书6份； 5、 承担科研项目批文4份； 6、 带表作3篇。
所属学科：数学（基础研究）
教育部科学技术研究重点项目
申 请 书
项目名称：模型论的研究及应用
项目负责人：陈国龙
项目联系人：陈国龙
联系电话：0561-3802068
联系地址：安徽省淮北市东山路100号
邮政编码：235000
项目起止日期：2005.1-2007.12
申报学校（盖章）：淮北煤炭师范学院
填表日期：2004.5.14
一、项目的目的、意义和国内外概况
二、主要研究内容、目标或经济技术指标
三、现有研究基础、条件及主要研究方法和技术路线
四、
项目进度安排及提供成果形式 五、项目主要参
加人员
、
目费
七、学校意见（签章）
八、教育厅意见（签章）
九、教育部科技司意见
附：项目主要负责人主要研究成果简介（包括发表过的文章的题目、时间、刊登文章的刊物名称；承担过的省部级以上科研项目情况；获奖或专利情况；已经产生的经济和社会效益等情况）
陈国龙，1995年9月至1998年7月在北京师范大学数学系攻读博士学位，导师是王世强教授，博
士学位论文的名称是：模型论中一些相关问题的研究及其应用。 1998年7月获博士学位。1998年8月至2000年5月在中国科学院软件研究所从事博士后研究工作。曾获得1999年度安徽省高校科技进步二等奖，2000年10月获得中国博士后学术大会优秀学术论文三等奖等多项学术奖励。2000年7月被破格晋升为教授。在本项目中承担主要研究任务。近期发表的主要论文有： 三．主要论文：
1．Saturated Models , Chen Guolong, 1998．4, Chinese Science Bulletin 2．除环上无限方阵的分解, 陈国龙, 2001．5, 数学学报 3. 除环上无限方阵的对角化, 陈国龙, 2001．4, 数学进展 4. 模型论中的拓扑学方法, 陈国龙, 2002.7, 数学学报 5. 一阶理论的主型, 陈国龙, 2000．2, 数学进展
6. On ω-Categorical Theory, Chen Guolong, 1999．4 , 数学进展
7. 关于饱和模型的讨论, 陈国龙, 1997．12, 科学通报
8. On Saturated Models, Chen Guolong, 1997.6, 数学进展
9．除环上rcf 方阵的逆方阵，陈国龙，2000．9，高校应用数学学报 10．除环上rcf 方阵的对角化，陈国龙，2000．4，应用数学 11．一类特殊无限方阵的逆方阵，陈国龙，2000．1，数学杂志 12．ω-范畴完全理论的特征，陈国龙，2000．4，数学杂志 13．域上无限方阵的分解，陈国龙(1)，2000．4，工科数学
14．关于一阶理论的型与可数模型的关系，陈国龙，1997．9，数学研究
15. Computational Complexity on the Logic Theory, Chen Guolong,2002.8, ICM2002, High Education Press, Beijing
3、承担的项目（近三年）
（1）．同调有限子范畴与好模范畴（10001017），国家自然科学基金, 2001.1-2003.12, 参加（第三）。
（2）. 基于数学的密码基础理论研究（ G1999035804）, 国家重点基础发展规划项目(973 项目), 2000.1-2004.12, 10, 主要参加者。 （3）．电子商务加密引擎的应用研究(2001KJ203ZD), 安徽省教育厅重点项目, 2001.9-2003.9, 主持人。
（4）．中小型电子商务中信息加密技术的改进（2000JQ127）, 安徽省高校优秀青年教师 科研基金, 2001.1-2002.12, 主持人。
（5）．广义模型论的研究及应用（99jl0181）, 安徽省教委科研计划项目, 1999．12-2002．12, 主持人。
4、科研获奖：
（1）模型论中的一些热点问题的研究, 陈国龙, 安徽省高校科技进步二等奖, 1999．5 （2）模型论中的拓扑学方法, 陈国龙, 中国博士后学术大会优秀论文三等奖, 2000．10 （3）Saturated Models, 陈国龙, 安徽省第三届自然科学优秀学术论文二等奖, 2000．10 （4）模型论及其应用研究，陈国龙（1），淮北市科技进步三等奖, 2000．12 （5）模型论及其应用, 陈国龙（1）, 安徽省级科技成果, 2000．3
（6）模型论的研究与应用，陈国龙，安徽省高校优秀科技成果三等奖，2003.12
5．其他获奖及荣誉称号：
(1) 安徽省模范教师， 2001.9 (2) 安徽省师德先进个人， 2001.7 (3) 安徽省优秀共产党员， 2001.6 (4) 安徽省先进工作者， 2002.9 (5) 全国五一劳动奖章获得者， 2003.4 (6) 安徽省学术技术带头人 2002.8 (7) 安徽省中青年学科带头人 2000.10 (8) 淮北煤炭师范学院优秀共产党员， 2003.6
附件目录（部分复印件）：
1、 身份证、职称证书2份； 2、 博士后证书、博士学位证书3份； 3、 科研获奖4份；
4、 其他获奖及荣誉证书6份； 5、 承担科研项目批文4份； 6、 带表作3篇。