王學芳

ation ation ation

人物簡介

王學芳,中國海洋大學講師,1994.9-1998.7 曲阜師範大學數學與計算機科學系 獲學士學位;1998.9-2001.3 西南交通大學套用數學系 獲碩士學位;2001.3-2004.7 西南交通大學計算機與通信工程學院 獲博士學位;2004.7-至今 中國海洋大學數學科學學院 工作。
自04年參加工作以來,先後講授過《機率論與數理統計》、《機率論與數理統計基礎》、《線性代數》、《線性代數基礎》、《高等微積分》(I,II)、《微積分》(I,II)、《大學數學》等多門本科基礎課程,一門研究生課程《人工智慧導論》,共完成1200多學時。參加了兩項校級精品課程《大學數學》和《線性代數》的建設,參加了校級本科教育教學研究基金項目一項。

論文著作

在國內外期刊或國際會議上公開發表學術論文20餘篇,其中以第一作者身份發表15篇,被EI收錄5篇次,被ISTP收錄4篇次。目錄如下:
Wang Xuefang, Liu Peishun, A Method for constructing lattice implication algebras on the interval [0,1] , Proceedings - 5th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008,116-121.
王學芳,劉培順,格蘊涵代數的素對偶理想,模糊系統與數學,第20卷第5期,pp.37-42,2006
Wang Xuefang,Liu Peishun,Ultraproduct of first-order lattice-valued logic LF(X) based on finite lattice implication algebra,International Journal of Computer Science and Network Security, Vol.6, No.5A, pp.195-200, 2006
Wang Xuefang, Zheng Fengbin, Xu Yang, Closure operators of lattice-valued propositional logic LP(X), Chinese Quarterly Journal of Mathematics, Vol.20, No.3, pp.301-308, 2005
Wang Xuefang, Xu Yang, Song Zhenming, Subdirectly irreducible and Directly indecomposable lattice implication algebras, Chinese Quarterly Journal of Mathematics,Vol.19, No.4, pp.385-392, 2004
Wang Xuefang, qing Ming, Valuation sets in lattice-valued propositional logic LP(X), Proceedings of IEEE International Conference on Fuzzy Systems (FUZZ-IEEE‘03), pp.114-119,2003
Wang Xuefang, Liu Peishun, Model theory and closure operators of lattice-valued propositional logic LP(X), 2003 IEEE International Conference on Systems, Man & Cybernetics, pp. 5010-5015, Washington, D.C., USA, October 5-8, 2003.
Wang Xuefang, Meng Dan, Xu Yang, Qin Keyun, graded consequence relations in lattice-valued propositional logic LP(X), 2003 IEEE International Conference on Systems, Man & Cybernetics, pp. 5004-5009, Washington, D.C., USA, October 5-8, 2003.
Xuefang Wang,Yang Xu, Ultraproduct Theorem of First-order Lattice-valued Logic FM, Proceeding of SCI 2002/ISAS 2002, Vol.XVI, pp.125-129, 2002.(ISTP檢索號: BV62L)
Xuefang Wang, Ming Qing, Yang Xu, Keyun Qin, Closure operators in lattice-valued propositional logics, Proceedings of the Second International Conference on Machine Learning and Cybernetics (ICMLC’03), pp.1762-1767, Xi’an, November 2003. (EI檢索)
Xuefang Wang, Yang Xu and Keyun Qin, Lattice implication algebras and their filters, the Journal of Fuzzy Mathematics, Vol.11, No.4, 893-899, 2003.
王學芳,徐揚, 格蘊涵代數的單性和周期性, 西南交通大學學報,Vol.38, No.1,pp.4-7,2003.
Xuefang Wang, Ke Yun Qin, Yang Xu, Further Study on Right Regular Maps of Lattice Implication Algebras, The Journal of Fuzzy Mathematics, Vol. 10, No.1, pp.203-211, 2002.
王學芳,秦克雲, 徐揚, 由格蘊涵代數誘導的伴隨半群,模糊系統與數學, Vol.16, 第1期, pp, 10-12, 2002.
王學芳,徐揚, 宋振明, 格蘊涵代數中濾子的若干性質, 西南交通大學學報,第36卷,第5期, pp. 536-539, 2001.
劉培順,王學芳,入侵檢測中的歸納學習方法,計算機工程, 第32卷16期,125-126,2006.
Liu Peishun, Wang Xuefang, Models For Lattice-valued First-order Logic LF(X),Proceedings - 5th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008,(EI檢索)
Zheng Fengbin, LI Qing-yu, Wang Xuefang, Xu Yang, Syntactic extensions of lattice-valued propositional logic LP(X), Chinese Quarterly Journal of Mathematics,No.2, 2006
Dan Meng, Xuefang Wang, Yang Xu, Keyun Qin, Resolution Based on Six Lattice-valued Proposition Logic LP6X, 2003 IEEE International Conference on Systems, Man & Cybernetics (IEEE SMC 2003), pp. 2489-2494, Washington, D.C., USA, October 5-8, 2003.
Ming Qing, Hai-liang Zhao, Shi-fen Xia, Xue-fang Wang, Constructing a kind of fuzzy systems based on Neural networks techniques, Proceedings of the Second International Conference on Machine Learning and Cybernetics (ICMLC’03), pp.2629-2633, Xi’an, November 2003. (EI檢索)
Wang Wei, Xu Yang, Wang Xuefang, a-Automated Reasoning Method Based on Lattice-Valued Propositional Logic LP(X), Journal of Southwest Jiaotong University, Vol.10 No.1, pp. 98-111, 2002. (INSPEC: 7331624 C2002-09-4210-002)

相關詞條

熱門詞條

聯絡我們