• 2026考研英語全程班 6班
• 26考研全科上岸規(guī)劃營「擇校▪規(guī)劃▪備考」
• 內(nèi)蒙古大學2026考研專業(yè)課復(fù)習資料「真題▪筆記▪講義▪題庫」

內(nèi)蒙古大學計算機學院研究生導(dǎo)師孫濤介紹如下：

孫濤，中共黨員，1980年出生，副教授，碩士生導(dǎo)師

辦公電話：0471-4994323   電子郵件：cssunt@imu.edu.cn

學歷：

1999.9~2003.7，內(nèi)蒙古大學計算機學院，本科

2003.9~2006.7，內(nèi)蒙古大學計算機學院，碩士

2008.9~2013.1，內(nèi)蒙古大學計算機學院，博士

研究方向：

形式化方法，軟件測試

科技項目：

主持國家自然科學基金項目一項；主持內(nèi)蒙古自然科學基金項目一項。

科技論文：

[1] 孫濤, 葉新銘. A Model Reduction Method for Parallel Software Testing. Journal of Applied Mathematics (0.834), Vol. 2013, ID 595897.（SCIE檢索，影響因子0.834）

[2] 孫濤, 郭欣, 張婷. Testing Sequence Generation Method Based on Unrelated Behaviors Serializing. The 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications (IEEE TrustCom-18). (CCF推薦C類會議)

[3] 孫濤, 張琳婧, 馬慧萍. An Automatic Generation Method for Path Expressions of CPN Model Focus on Tested Behaviors. Proceedings of the 2018 IEEE 22nd International Conference on Computer Supported Cooperative Work in Design (IEEE CSCWD 2018). (CCF推薦C類會議)

[4] 孫濤, 張瑋, 郭欣, 萬曉云. Research on CPN Model Reduction Focus On Parallel Tested Behaviors. The 15th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA 2017), pp. 827-833, Guangzhou, China, December 12-15, 2017. (CCF推薦C類會議).

[5] 孫濤, 葉新銘, 劉靖. A Test  Generation Method Based on Model Reduction for Parallel Software. The  Thirteenth International Conference on Parallel and Distributed  Computing, Applications and Technologies(PDCAT), 2012. (CCF推薦C類會議)

[6] 孫濤, 葉新銘, 劉靖, 楊蒙. 一種基于CPN的協(xié)議測試序列生成方法. 解放軍理工大學學報, Vol.13(2), pp. 165-170, 2012. (EI檢索)

[7] Tao Sun, Xinming Ye, Hongji Yang, Jing Liu.  Parallel Software Reuse Driven CPN Model Reduction and Analysis  Approach. IEEE 36th International Conference on Computer Soft-ware and  Applications Workshops(Compsac), 2012. (CCF推薦B類會議Workshop)

[8] 孫濤, 葉新銘. 一種針對CP-nets并發(fā)模型的驗證方法[J]. 計算機科學,2014,41(7):135-139,161.（CSCD期刊）

[9] 孫濤,葉新銘.針對軟件中2路并發(fā)行為完全覆蓋的測試方法[J].重慶郵電大學學報(自然科學版),2014,26(6):727-736.（CSCD期刊）

[10] 孫濤, 葉新銘, 劉靖, 楊蒙.  Formal Modeling and Analysis of HMIPv6 using Colored Petri Nets.  International Conference on Communications and Mobile Compu-ting (CMC),  2010. (EI檢索)

[11] 孫濤, 葉新銘, 劉靖. A test  sequence selection method for parallel software systems. The Fourth  International Symposium on Parallel Architectures, Algorithms and  Pro-gramming (PAAP), 2011. (EI檢索)

[12] 孫濤, 張琳婧, 馬慧萍. An Automatic Generation Method for Condition Expressions of CPN Model Focus on Tested Behaviors. The 10th International Conference on Security, Privacy and Anonymity in Computation, Communication and StorageWorkshops (SpaCCS 2017 Workshops), LNCS 10658, pp. 271-285, Guangzhou, China, December 12-15, 2017. (EI檢索)

[13] 張瑋, 孫濤(通訊作者), 萬曉云. 針對并行軟件待測行為測試的模型化簡方法[J]. 計算機應(yīng)用, 2017, 37(5):1276-1281.(CSCD期刊)

[14] 李華, 孫濤, 王顯榮, 邢熠等. 基于CPN對系統(tǒng)的并發(fā)行為進行測試. 計算機科學, 2016, 43(1):218-225. (CSCD期刊)

[15] 孫濤,李華,葉新銘. TTCN協(xié)議測試執(zhí)行系統(tǒng)驅(qū)動器的協(xié)議相關(guān)性研究[J]. 內(nèi)蒙古大學學報(自然科學版), 2007, 38(6):702-706.

科技獲獎：

2016，內(nèi)蒙古自治區(qū)人民政府，內(nèi)蒙古自治區(qū)科學技術(shù)獎自然科學三等獎，《測試目的覆蓋的基于Petri網(wǎng)模型的并發(fā)軟件測試方法研究》；

2012，內(nèi)蒙古自治區(qū)人民政府，內(nèi)蒙古自治區(qū)科學技術(shù)獎自然科學三等獎，《下一代互聯(lián)網(wǎng)協(xié)議的互操作性測試建模及測試方法研究》；

2012，呼和浩特市人民政府，呼和浩特市科技進步獎二等獎，《呼和浩特市科技項目與成果網(wǎng)上申報評審系統(tǒng)開發(fā)及應(yīng)用》。

學校獲獎：

2011，內(nèi)蒙古大學，“教書育人”先進個人；

2013，內(nèi)蒙古大學，“教書育人”先進個人；

2011，內(nèi)蒙古大學，優(yōu)秀共產(chǎn)黨員；

2011，內(nèi)蒙古大學計算機學院黨總支，爭先創(chuàng)優(yōu)黨員示范教學崗；

2013，內(nèi)蒙古大學，優(yōu)秀研究生輔導(dǎo)員；

2015，內(nèi)蒙古大學，就業(yè)工作先進個人；

2012，內(nèi)蒙古大學，所管理計算機學院研究生分會被評為優(yōu)秀研究生分會；

2014，內(nèi)蒙古大學，本科生創(chuàng)新基金優(yōu)秀指導(dǎo)教師；

2006，內(nèi)蒙古大學，內(nèi)蒙古大學教學技巧大賽二等獎；

2012~2015，內(nèi)蒙古大學，優(yōu)秀工會活動積極分子；

2011~2012，內(nèi)蒙古大學，優(yōu)秀工會活動積極分子；

2015，內(nèi)蒙古大學計算機學院，年度考核優(yōu)秀；

2012，內(nèi)蒙古大學計算機學院，年度考核優(yōu)秀；

2009，內(nèi)蒙古大學計算機學院，年度考核優(yōu)秀；

2008，內(nèi)蒙古大學，本科生軍訓優(yōu)秀連隊指導(dǎo)員；

2011，內(nèi)蒙古大學，本科生軍訓優(yōu)秀連隊指導(dǎo)員。