科學研究
目前參與的科研項目有:
(1) 工業和信息化部無線電管理局項目:無線電監測中的智慧型分析(工信無函[2011]146號),2011.8—2013.12,主持
(2) 國家自然科學基金項目:基於格值邏輯的α-n(t)元歸結動態自動推理研究 (61175055), 2012.1—2015.12,主研
(3) 四川省科技支撐計畫項目:無線電智慧型監測網路系統(2011FZ0051),2011.8—2013.12,主研
榮譽獎勵
獲鐵道部優秀教材三等獎,四川省科技進步二等獎。
課程教學
本科生:高等數學、線性代數
碩士生:模糊集合論、格論、數學規劃
博士生:現代數學
招生要求
招生要求:對所學領域有較強的興趣和求知慾,有責任心、踏實肯乾,有較好的數學功底。
學術論文
代表性論著:
[1] 宋振明. 形式背景下概念特徵的矩陣刻畫, 數學季刊, 2014, No.2.
[2] 劉姍姍, 宋振明. 基於區間數理論的考場電磁環境評價. 西南民族大學學報(自然科學版), 2014, No.1.
[3] 鄧文紅, 周忠麗, 宋振明. 基於服務專業化的數據抽取方法研究, 河南大學學報(自然科學版), 2012,42(6)
[4] 范雯雯, 宋振明. 基於改進的雲重心評判方法的機場電磁環境複雜度評估, 西南民族大學學報(自然科學版), 2013. No.5.
[5] 鄧文紅, 周忠麗, 宋振明. 基於焦點可視化的決策支持系統研究, 信陽師範學院學報(自然科學版), 2013,26(1)
[6] Jun Liu, Da Ruan, Yang Xu, Zhenming Song (2003): A Resolution-Like Strategy Based on a
Lattice-Valued Logic, IEEE TRANSACTIONS ON FUZZY SYSTEMS, 11(4), pp560-567
[7] Yang Xu, Etienne E. Kerre, Da Ruan, Zhenming Song (2001): Fuzzy Reasoning Based on the
Extension Principle, Int. J. of Intelligent Systems, 16(4), pp469-495
[8] Xu Yang, Song Zhenming, Qin Keyun, Liu Jun (2001): Syntax of L-valued First-Order Logic Lvfl,
Int. Multi. Val. Logic., 7, pp213-257
[9] Yang Xu, Liu Jun, Song Zhenming, Qin Keyun (2000): On Semantics of L-Valued First-Order Logic
Lvfl, Int. J. General Systems, 29(1), pp53-79
[10] Yang Xu, E.E. Kerre, Da Ruan, Song Zhenming (2000): A Study on Fuzzy Reasoning Mechanism
Based on Extension Principle, Proceeding of the 9th IEEE International Conference on Fuzzy
Systems, (May 7-10, 2000, San Antonio, Texas, USA), 1, pp185-190