王小明

獲"甘肅電子信息技術應用推廣一等獎”

王小明,1964年出生於甘肅省天水市。2005年在西北大學徠取得計算機理論和軟體方面的博士學位,現在陝西師範大學計算機科學學院任教授,博士生導師。

人物經歷


2005年在西北大學取得計算機理論和軟體方面的博士學位,現在陝西師範大學計算機科學學院任教授,博士生導師。2007年9月至2008年9月在美國喬治亞大學訪問學者。現為中國計算機學會高級會員,開放與并行專委會委員, 陝西師範大學學術委員會委員,陝西師範大學學報編委,陝西省計算機學會理事。

主講課程


主講有本科生課程《演演算法分析與設計》,研究生課程《複雜系統的計算機建模和模擬》、《無線感測網路》和《訪問控制的原理和方法》等。

研究方向


網路安全(network security)
訪問控制(access control)
普適計算(pervasive computing)
無線感測網路(wireless sensor network)
工作流管理系統(workflow management system)
系統動力學(system dynamics)

主要貢獻


Xiaoming Wang, Qiaoliang Li, Yingshu Li. The system dynamics model for worm propagation in wireless sensor networks, Journal of Combinatorial Optimization, (online), 2009.
Xiaoming Wang, Yingshu Li. A improved SIRS model for worm propagation in wireless sensor networks, Chinese Journal of Electronics, Vol. 18, No. 1: 8-12, 2009.
Xiaoming Wang, Qiaoliang Li, Yi Pan. ACO based routing algorithm for wireless sensor networks. Lecture Notes in Computer Science, Vol. 5258: 109–120, 2008. (EI檢索)
Xaoming Wang. A Regular Fuzzy Tree Grammar and Its Application, Journal of Electronics, Vol. 15, No. 2: 193-197, 2007. (SCI, EI檢索)
Xiaoming Wang,Zongtao Zhao. Service oriented Access Control Model, Chinese Journal of Electronics, Vol. 14, No. 1: 37-40, 2006. (SCI, EI檢索)
王小明, 趙宗濤. 基於角色的時態對象存取控制模型。電子學報,Vol. 33, No. 9:1634-1638, 2005. (Ei檢索)
王小明,趙宗濤,郝克剛. 工作流系統帶權角色與周期時間訪問控制模型. 軟體學報,Vol.14, No.11:1841-1848, 2003. (Ei檢索)
王徠小明,趙宗濤. 基於承諾-擔保的訪問控制模型。電子學報,Vol. 31, No. 8:1150-1154, 2003. (Ei檢索)
王小明,趙宗濤, 馬建峰. 一種新的RBAC角色協同關係及其Petri網模型。電子學報,Vol. 31, No.2: 225-228, 2003. (Ei檢索). 王小明,趙宗濤. 基於承諾-擔保的訪問控制模型,電子學報,2003(8),1150-1154.(Ei檢索)
發表學術論文40餘篇,出版專著2部,主編並出版教材1部。主持或參加省部級和國家級科研項目4項。

獲獎記錄


2001年獲"甘肅省電子信息技術應用推廣一等獎。