淮北師范大學(xué)

淮北師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院應(yīng)用數(shù)學(xué)研究生導(dǎo)師陳國龍介紹如下：

姓名：陳國龍

性別：男

出生年月：1966.05 

導(dǎo)師類別： 技術(shù)職稱：教授  

聯(lián)系方式：189055700--

招生專業(yè)名稱：數(shù)學(xué)（應(yīng)用數(shù)學(xué)） 

主要研究方向：數(shù)理邏輯及應(yīng)用 
  
個人簡歷

1983.09-1987.07, 在淮北煤炭師范學(xué)院數(shù)學(xué)系學(xué)習(xí)，獲學(xué)士學(xué)位

1987.08-1990.08, 在淮北煤炭師范學(xué)院數(shù)學(xué)系任助教

1990.09-1993.07, 在北京師范大學(xué)數(shù)學(xué)系學(xué)習(xí),獲碩士學(xué)位

1993.08-1995.08, 在淮北煤炭師范學(xué)院數(shù)學(xué)系任講師

1995.09-1998.07, 在北京師范大學(xué)數(shù)學(xué)系學(xué)習(xí)，并獲理學(xué)博士學(xué)位

1998.08-2000.05, 在中國科學(xué)院軟件研究所從事博士后研究工作

2000.05-2003.06, 任淮北煤炭師范學(xué)院計算機系主任、教授

2003.06-2010.10, 任淮北煤炭師范學(xué)院副院長

2010.11-2013.05, 任宿州學(xué)院院長、黨委副書記

2013.06-至今，任宿州學(xué)院黨委書記

主要學(xué)術(shù)成就

論文：

1．Chen Guolong, Saturated Models , 1998．4, Chinese  Science  Bulletin.

2．陳國龍,除環(huán)上無限方陣的分解, 2001．5, 數(shù)學(xué)學(xué)報.

3. 陳國龍,除環(huán)上無限方陣的對角化, 2001．4, 數(shù)學(xué)進展.

4. 陳國龍,模型論中的拓?fù)鋵W(xué)方法, 2002.7, 數(shù)學(xué)學(xué)報.

5. 陳國龍,一階理論的主型, 2000．2, 數(shù)學(xué)進展.

6. Chen Guolong, Computational Complexity on the Logic Theory, 2002.8,
 ICM2002, High Education Press, Beijing.

7. 陳國龍(1), ASIPP微束裝置計算機控制系統(tǒng)優(yōu)化方案研究, 2002.7,離子束生物工程學(xué)國際學(xué)術(shù)研討會論文集.

8. 陳國龍(1), A Note on the Number of Homogeneous Models，2003.8, 全國數(shù)理邏輯會議論文（廣州，中山大學(xué)）.

9. Chen Guolong, On -Categorical Theory, 1999．4 , 數(shù)學(xué)進展.

10. 陳國龍,關(guān)于飽和模型的討論, 1997．12, 科學(xué)通報.

11. Chen Guolong, On Saturated Models, 1997.6, 數(shù)學(xué)進展.

12．陳國龍，除環(huán)上rcf方陣的逆方陣， 2000．9，高校應(yīng)用數(shù)學(xué)學(xué)報.

13．陳國龍，除環(huán)上rcf方陣的對角化， 2000．4，應(yīng)用數(shù)學(xué).

14．陳國龍，一類特殊無限方陣的逆方陣， 2000．1，數(shù)學(xué)雜志.

15．陳國龍，-范疇完全理論的特征， 2000．4，數(shù)學(xué)雜志.

16．陳國龍，馮崇嶺, 域上無限方陣的分解， 2000．4，工科數(shù)學(xué).

17．陳國龍，關(guān)于一階理論的型與可數(shù)模型的關(guān)系， 1997．9，數(shù)學(xué)研究.

18. 陳國龍，范疇理論及其性質(zhì)，2004.10,科學(xué)技術(shù)與工程.

19．陳國龍(1)，基于Microsoft.NET技術(shù)構(gòu)筑安全的電子商務(wù)體系，2004.7,網(wǎng)絡(luò)安全技術(shù)與應(yīng)用.

科研項目：

(1). 模型論的研究及應(yīng)用（10101008），國家自然科學(xué)基金，2002.1-2004.12，主持人。

(2). 同調(diào)有限子范疇與好模范疇（10001017），國家自然科學(xué)基金, 2001.1-2003.12,  參加（第三）。

(3). 基于數(shù)學(xué)的密碼基礎(chǔ)理論研究（ G1999035804）, 國家重點基礎(chǔ)發(fā)展規(guī)劃項目(973 項目), 2000.1-2004.12, 10, 主要參加者。

(4). 電子商務(wù)加密引擎的應(yīng)用研究(2001KJ203ZD), 安徽省教育廳重點項目, 2001.9-2003.9, 主持人。

(5). 中小型電子商務(wù)中信息加密技術(shù)的改進（2000JQ127）, 安徽省高校優(yōu)秀青年教師科研基金, 2001.1-2002.12,  主持人。

(6). 廣義模型論的研究及應(yīng)用（99jl0181）, 安徽省教委科研計劃項目, 1999．12-2002．12, 主持人。

(7). 高等師范院校計算機專業(yè)教學(xué)改革的探討與實踐, 學(xué)院教學(xué)研究項目,2000.1-2002.12,主持人.

(8). 計算機專業(yè)(師范類)培養(yǎng)方案的設(shè)計研究, 學(xué)院教學(xué)研究項目,2001.12-2003.6,主持人.

(9). 無限方陣及計算復(fù)雜性的應(yīng)用研究(2005hbz23),安徽省學(xué)術(shù)技術(shù)帶頭人科學(xué)研究資助項目,2005.1-2006.12.

(10). 模型論及其代數(shù)應(yīng)用(2005KJ032ZD),安徽省高校自然科學(xué)研究重點項目,2005.1-2006.12.

（11）.模型論的研究及應(yīng)用(205074),教育部科學(xué)研究重點項目2005.1-2006.12 主持人。

(12). 安徽省優(yōu)秀青年科技基金（06046099）（第三批），2006.1-2007.12，主持人。

(13). 基于線性移位寄存器流密碼研究( 60573026), 國家自然科學(xué)基金，2006.1-2008.12，第二。

專著：

陳國龍(1),大學(xué)計算機教程,2004.9,安徽大學(xué)出版社

陳國龍(1),大學(xué)計算機基礎(chǔ),2009.9, 中國鐵道出版社

獲獎成果：

(1). 陳國龍,模型論中的一些熱點問題的研究,安徽省高�？萍歼M步二等獎, 1999．5

(2). 陳國龍,模型論中的拓?fù)鋵W(xué)方法,中國博士后學(xué)術(shù)大會優(yōu)秀論文三等獎, 2000．10

(3). 陳國龍,Saturated Models,安徽省第三屆自然科學(xué)優(yōu)秀學(xué)術(shù)論文二等獎, 2000．10

(4). 陳國龍(1),模型論及其應(yīng)用研究，淮北市科技進步三等獎, 2000．12

(5). 陳國龍(1),模型論及其應(yīng)用, 安徽省級科技成果, 2000．3

(6). 陳國龍,模型論的研究與應(yīng)用，安徽省高校優(yōu)秀科技成果三等獎，2003.12

填寫時間： 2017年9月5日