【国民娱乐每日礼金gm777.top,吉利彩票登录中大奖】我们为您提供吉利彩票登录注册,吉利彩票登录投注,吉利彩票登录app,吉利彩票登录平台,巨华彩票开户,充提快速,操控简单,为吉利彩票登录彩民服务!

計算機學院

站內搜索

友情鏈接

師資隊伍

孫濤(博士)
來源:計算機學院  發布時間: 2016-06-08 15:04:58



  孫濤,中共黨員,1980年出生,副教授吉利彩票登录,碩士生導師

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

學歷:

1999.9~2003.7,內蒙古大學計算機學院,本科
2003.9~2006.7
吉利彩票登录,內蒙古大學計算機學院,碩士
2008.9~2013.1
吉利彩票登录,內蒙古大學計算機學院,博士

研究方向:
形式化方法,軟件測試

科技項目:  

主持國家自然科學基金項目一項;主持內蒙古自然科學基金項目一項。

 

科技論文:  

[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的協議測試序列生成方法. 解放軍理工大學學報, 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并發模型的驗證方法[J]. 計算機科學,2014,41(7):135-139,161.CSCD期刊)
[9] 
孫濤,葉新銘.針對軟件中2路并發行為完全覆蓋的測試方法[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 Storage Workshops (SpaCCS 2017 Workshops), LNCS 10658, pp. 271-285, Guangzhou, China, December 12-15, 2017. (EI檢索)
[13] 
張瑋, 孫濤(通訊作者), 萬曉云. 針對并行軟件待測行為測試的模型化簡方法[J]. 計算機應用, 2017, 37(5):1276-1281.(CSCD期刊)
[14] 
李華, 孫濤, 王顯榮, 邢熠等. 基于CPN對系統的并發行為進行測試. 計算機科學, 2016, 43(1):218-225. (CSCD期刊)
[15] 
孫濤,李華,葉新銘. TTCN協議測試執行系統驅動器的協議相關性研究[J]. 內蒙古大學學報(自然科學版), 2007, 38(6):702-706.

 

科技獲獎: 

2016,內蒙古自治區人民政府,內蒙古自治區科學技術獎自然科學三等獎,《測試目的覆蓋的基于Petri網模型的并發軟件測試方法研究》;

2012,內蒙古自治區人民政府,內蒙古自治區科學技術獎自然科學三等獎,《下一代互聯網協議的互操作性測試建模及測試方法研究》;

2012,呼和浩特市人民政府,呼和浩特市科技進步獎二等獎,《呼和浩特市科技項目與成果網上申報評審系統開發及應用》吉利彩票登录。

 

學校獲獎:

2011,內蒙古大學,教書育人先進個人;  

2013吉利彩票登录,內蒙古大學,教書育人先進個人吉利彩票登录;

2011,內蒙古大學,優秀共產黨員;

2011,內蒙古大學計算機學院黨總支,爭先創優黨員示范教學崗;

2013,內蒙古大學,優秀研究生輔導員;

2015,內蒙古大學,就業工作先進個人吉利彩票登录;

2012吉利彩票登录吉利彩票登录,內蒙古大學,所管理計算機學院研究生分會被評為優秀研究生分會;

2014吉利彩票登录,內蒙古大學,本科生創新基金優秀指導教師吉利彩票登录;

2006,內蒙古大學,內蒙古大學教學技巧大賽二等獎;

2012~2015吉利彩票登录,內蒙古大學,優秀工會活動積極分子;

2011~2012,內蒙古大學,優秀工會活動積極分子吉利彩票登录;

2015吉利彩票登录,內蒙古大學計算機學院,年度考核優秀;

2012,內蒙古大學計算機學院,年度考核優秀;  

2009,內蒙古大學計算機學院,年度考核優秀;

2008,內蒙古大學,本科生軍訓優秀連隊指導員;  

2011,內蒙古大學,本科生軍訓優秀連隊指導員。


?

內蒙古大學計算機學院  

聯系我們 | 關于我們 | 郵箱地址:csmhjy@imu.edu.cn    蒙ICP16002391號-1


    @2016 內蒙古大學計算機學院 版權所有

吉利彩票登录