王學芳，中國海洋大學講師，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)
