基本信息
眭跃飞  男  博导  中国科学院计算技术研究所
电子邮件: yfsui@ict.ac.cn
通信地址: 风林绿洲18-901
邮政编码: 100080

招生信息

   
招生专业
081202-计算机软件与理论
招生方向
大规模知识处理的理论基础,知识表示

教育背景

   
学历
中科院软件所 19860201--19880601 研究生毕业
学位
中科院软件所 19860201--19880601 理学博士学位

出版信息

   
发表论文
[1] Wei Li, Yuefei Sui. Monotonicity and nonmonotonicity in L3-valued propositional logic. 中国计算机科学前沿:英文版[J]. 2022, 16(4): 11-, http://lib.cqvip.com/Qikan/Article/Detail?id=7108020375.
[2] Li, Wei, Sui, Yuefei, Wang, Yuhui. Nonmonotonic propositional logic. FRONTIERS OF COMPUTER SCIENCE[J]. 2021, 15(3): 215-216, https://www.webofscience.com/wos/woscc/full-record/WOS:000619167900001.
[3] Cao, Cungen, Hu, Lanxi, Sui, Yuefei. Monotonic and nonmonotonic gentzen deduction systems for L-3-valued propositional logic. FRONTIERS OF COMPUTER SCIENCE[J]. 2021, 15(3): 123-135, https://www.webofscience.com/wos/woscc/full-record/WOS:000613007200001.
[4] 眭跃飞. Variant quantifiers in L3-valued first-order logic. Frontiers of Computer Science. 2021, [5] 江峰, 王凯郦, 于旭, 眭跃飞, 杜军威. 基于粗糙熵的离群点检测方法及其在无监督入侵检测中的应用. 控制与决策[J]. 2020, 35(5): 1199-1204, https://kns.cnki.net/KCMS/detail/detail.aspx?dbcode=CJFQ&dbname=CJFDLAST2020&filename=KZYC202005020&v=MDM1OTlMTGpmU2JiRzRITkhNcW85SFpJUjhlWDFMdXhZUzdEaDFUM3FUcldNMUZyQ1VSN3FlWnVkdUZ5cmxXN3o=.
[6] 曹存根, 胡岚曦, 眭跃飞. L3-值命题逻辑的R-演算. 计算机科学[J]. 2020, 47(4): 164-168, http://lib.cqvip.com/Qikan/Article/Detail?id=7101330984.
[7] 王雨晖, 眭跃飞. 描述逻辑ALC中关于伪子概念极小改变的R-演算. 软件学报[J]. 2019, 30(12): 3683-3693, http://lib.cqvip.com/Qikan/Article/Detail?id=7100439933.
[8] Li Wei, Sui Yuefei. A computational framework for Karl Popper's logic of scientific discovery. 中国科学:信息科学(英文版)[J]. 2018, 61(4): 042101-1, http://lib.cqvip.com/Qikan/Article/Detail?id=675013642.
[9] Wang Ya, Gu Zhenzhen, Sui Yuefei, Cao Cungen, Shi Z, MercierLaurent E, Li J. Towards a Modeling Framework of Social Contexts, Roles and Relations for Acquiring Role-Specific Rules. INTELLIGENT INFORMATION PROCESSING IXnull. 2018, 538: 261-273, [10] Shaobo DENG, Sujie GUAN, Min LI, Lei WANG, Yuefei SUI. Decomposition for a new kind of imprecise information system. 中国计算机科学前沿:英文版[J]. 2018, 12(2): 376-395, http://lib.cqvip.com/Qikan/Article/Detail?id=674870947.
[11] Li, Wei, Sui, Yuefei. A computational framework for Karl Popper's logic of scientific discovery. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2018, 61(4): 91-100, http://lib.cqvip.com/Qikan/Article/Detail?id=675013642.
[12] 眭跃飞. Multisequent Gentzen Deduction Systems For B22-Valued First-Order Logic. Artif. Intell. Research 7(1): 53- (2018). 2018, [13] Deng, Shaobo, Guan, Sujie, Li, Min, Wang, Lei, Sui, Yuefei. Decomposition for a new kind of imprecise information system. FRONTIERS OF COMPUTER SCIENCE[J]. 2018, 12(2): 376-395, http://lib.cqvip.com/Qikan/Article/Detail?id=674870947.
[14] Xu, Zhaowei, Zhang, Wenhui, Sui, Yuefei, Steffen, B, Baier, C, VanDenBrand, M, Eder, J, Hinchey, M, Margaria, T. Completeness of Hoare Logic Relative to the Standard Model. SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCEnull. 2017, 10139: 119-131, [15] Wei LI, Yuefei SUI. The B4-valued propositional logic with unary logical connectives ~1 /~2/┐. 中国计算机科学前沿:英文版[J]. 2017, 11(5): 887-894, http://lib.cqvip.com/Qikan/Article/Detail?id=673659015.
[16] Li, Wei, Sui, Yuefei, Wang, Yuhui. The propositional normal default logic and the finite/infinite injury priority method. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2017, 60(9): https://www.webofscience.com/wos/woscc/full-record/WOS:000412062100005.
[17] Li Wei, Sui Yuefei, Wang Yuhui. The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system G(L). JOURNAL OF INTELLIGENT & FUZZY SYSTEMS[J]. 2017, 33(2): 733-740, https://www.webofscience.com/wos/woscc/full-record/WOS:000406149900006.
[18] Li Wei, Sui Yuefei. The B4-valued propositional logic with unary logical connectives ~1 /~2/┐. 中国计算机科学前沿:英文版[J]. 2017, 11(5): 887-894, http://lib.cqvip.com/Qikan/Article/Detail?id=673659015.
[19] 张艳, 江峰, 杜军威, 刘国柱, 眭跃飞. 基于k-modes聚类的不平衡数据混合采样方法. 济南大学学报:自然科学版[J]. 2017, 31(6): 499-505, http://lib.cqvip.com/Qikan/Article/Detail?id=674611418.
[20] Li Wei, Sui Yuefei, Luo Jie, Chen Bo. Contrary description logic: Gentzen deduction system. 中国科学:信息科学(英文版)[J]. 2017, 60(11): 112103-1, http://lib.cqvip.com/Qikan/Article/Detail?id=673606480.
[21] Li, Wei, Sui, Yuefei. The B-4-valued propositional logic with unary logical connectives similar to(1) / similar to(2) /(sic). FRONTIERS OF COMPUTER SCIENCE[J]. 2017, 11(5): 887-894, http://dx.doi.org/10.1007/s11704-016-5299-7.
[22] Li, Wei, Sui, Yuefei, Wang, Yuhui. The propositional normal default logic and the finite/infinite injury priority method. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2017, 60(9): https://www.webofscience.com/wos/woscc/full-record/WOS:000412062100005.
[23] 陈博, 曹存根, 眭跃飞. 贪婪缺省逻辑. 软件学报[J]. 2017, 28(7): 1759-1772, http://lib.cqvip.com/Qikan/Article/Detail?id=672672643.
[24] Wang, Yuhui, Cao, Cungen, Sui, Yuefei, Li, G, Ge, Y, Zhang, Z, Jin, Z, Blumenstein, M. R-Calculus for the Primitive Statements in Description Logic ALC. KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT (KSEM 2017)null. 2017, 10412: 106-116, [25] Li, Wei, Sui, Yuefei, Luo, Jie, Chen, Bo. Contrary description logic: Gentzen deduction system. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2017, 60(11): 167-175, http://lib.cqvip.com/Qikan/Article/Detail?id=673606480.
[26] Cao, Cungen, Sui, Yuefei, Zhang, Zaiyue. The M-computations induced by accessibility relations in nonstandard models M of Hoare logic. FRONTIERS OF COMPUTER SCIENCE[J]. 2016, 10(4): 717-725, https://www.webofscience.com/wos/woscc/full-record/WOS:000379533100011.
[27] Xu, Zhaowei, Sui, Yuefei, Zhang, Wenhui. Completeness of Hoare logic with inputs over the standard model. THEORETICAL COMPUTER SCIENCE[J]. 2016, 612: 23-28, http://dx.doi.org/10.1016/j.tcs.2015.08.004.
[28] 朱梧槚, 李未, 眭跃飞, 罗杰. 命题中介逻辑的可靠和完备Gentzen推导系统. 软件学报[J]. 2016, 209-218, http://lib.cqvip.com/Qikan/Article/Detail?id=667976187.
[29] Jiang, Feng, Liu, Guozhu, Du, Junwei, Sui, Yuefei. Initialization of K-modes clustering using outlier detection techniques. INFORMATION SCIENCES[J]. 2016, 332: 167-183, http://dx.doi.org/10.1016/j.ins.2015.11.005.
[30] 江峰, 张友强, 杜军威, 刘国柱, 眭跃飞. 基于近似约简的集成学习算法及其在入侵检测中的应用. 北京工业大学学报[J]. 2016, 42(6): 877-885, http://lib.cqvip.com/Qikan/Article/Detail?id=668778821.
[31] 邓少波, 黎敏, 曹存根, 眭跃飞. 具有模态词□φ=□1φ∨□2φ且可靠与完备的公理系统. 软件学报[J]. 2015, 26(9): 2286-2296, http://lib.cqvip.com/Qikan/Article/Detail?id=665874127.
[32] 陈博, 眭跃飞. 基于布尔语义的Gentzen推导模型. 计算机科学与探索[J]. 2015, 9(2): 221-226, http://lib.cqvip.com/Qikan/Article/Detail?id=663741399.
[33] Cao Cungen, Chen Bo, Sul Yuefei. The B-4-valued propositional Belnap-Dunn logic. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS[J]. 2015, 28(6): 2705-2713, https://www.webofscience.com/wos/woscc/full-record/WOS:000358755600026.
[34] Li Wei, Sui YueFei, Sun MeiYing. The sound and complete R-calculus for revising propositional theories. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2015, 58(9): https://www.webofscience.com/wos/woscc/full-record/WOS:000359801900014.
[35] 眭跃飞. The R-calculus and the finite injury priority method. 2015 2nd International Conference on Artificial Intelligence (ICOAI 2015). 2015, [36] Chen Bo, Sui Yuefei, Cao Cungen, IEEE. The Variant Gentzen System for the Propositional Logic. 2015 11TH INTERNATIONAL CONFERENCE ON SEMANTICS, KNOWLEDGE AND GRIDS (SKG)null. 2015, 162-167, http://dx.doi.org/10.1109/SKG.2015.8.
[37] 眭跃飞. The M-recursive functions for non-standard models M of Peano arithmetic. FCS. 2015, [38] 江峰, 王莎莎, 杜军威, 眭跃飞. 基于近似决策熵的属性约简. 控制与决策[J]. 2015, 30(1): 65-70, https://d.wanfangdata.com.cn/periodical/kzyjc201501011.
[39] Li Wei, Sui YueFei, Sun MeiYing. The sound and complete R-calculus for revising propositional theories. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2015, 58(9): https://www.webofscience.com/wos/woscc/full-record/WOS:000359801900014.
[40] Jiang, Feng, Sui, Yuefei. A novel approach for discretization of continuous attributes in rough set theory. KNOWLEDGE-BASED SYSTEMS[J]. 2015, 73: 324-334, http://dx.doi.org/10.1016/j.knosys.2014.10.014.
[41] Jiang, Feng, Sui, Yuefei, Zhou, Lin. A relative decision entropy-based feature selection approach. PATTERN RECOGNITION[J]. 2015, 48(7): 2151-2163, http://dx.doi.org/10.1016/j.patcog.2015.01.023.
[42] 孙梅莹, 邓少波, 陈博, 曹存根, 眭跃飞. 公式分层的谓词模态逻辑. 软件学报[J]. 2014, 25(5): 1014-1024, http://lib.cqvip.com/Qikan/Article/Detail?id=49458454.
[43] Li, Wei, Sui, Yuefei. A sound and complete R-calculi with respect to contraction and minimal change. FRONTIERS OF COMPUTER SCIENCE[J]. 2014, 8(2): 184-191, https://www.webofscience.com/wos/woscc/full-record/WOS:000334183200002.
[44] 江峰, 眭跃飞, 曹存根. 粗糙集中的距离度量与离群点检测. 控制与决策[J]. 2013, 28(2): 188-192,200, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=4784095&detailType=1.
[45] 眭跃飞. The Sound and Complete R-Calculi with Respect to Pseudo-Revision and Pre-Revision. International Journal of Intelligence Science, 2013, 3, 110-117. 2013, [46] Jiang, Feng, Wan, Xiaoyan, Sui, Yuefei, Cao, Cungen, Du, Junwei. Relational Operations and Uncertainty Measure in Rough Relational Database. FUNDAMENTA INFORMATICAE[J]. 2013, 123(4): 401-416, http://dx.doi.org/10.3233/FI-2013-818.
[47] Jiang, Feng, Sui, Yuefei, Cao, Cungen. An incremental decision tree algorithm based on rough sets and its application in intrusion detection. ARTIFICIAL INTELLIGENCE REVIEW[J]. 2013, 40(4): 517-530, http://dx.doi.org/10.1007/s10462-011-9293-z.
[48] 眭跃飞. An R-Calculus for the Propositional Logic Programming. Proceedings of International Conference on Computer Science and Information Technology, CSAIT 2013. 2013, [49] 申宇铭, 马越, 曹存根, 眭跃飞, 王驹. 逻辑之间的语义忠实语义满翻译. 软件学报[J]. 2013, 24(7): 1626-1637, http://lib.cqvip.com/Qikan/Article/Detail?id=46248062.
[50] 眭跃飞. One Sound and Complete R-Calculus with Pseudo-Subtheory Minimal Change Property. Journal of Computer and Communications. 2013, [51] 眭跃飞, 刘超. 面向数据库中关系的描述逻辑. 计算机科学[J]. 2013, 40(1): 1-4,25, http://lib.cqvip.com/Qikan/Article/Detail?id=44580993.
[52] Ma Yue, Sui Yuefei, Cao Cungen. The correspondence between the concepts in description logics for contexts and formal concept analysis. 中国科学:信息科学(英文版)[J]. 2012, 55(5): 1106-1122, http://lib.cqvip.com/Qikan/Article/Detail?id=41554545.
[53] Ma Yue, Sui YueFei, Cao CunGen. The correspondence between the concepts in description logics for contexts and formal concept analysis. SCIENCE CHINA-INFORMATION SCIENCES[J]. 2012, 55(5): 1106-1122, http://lib.cqvip.com/Qikan/Article/Detail?id=41554545.
[54] 江峰, 杜军威, 葛艳, 眭跃飞, 曹存根. 基于粗糙集理论的序列离群点检测. 电子学报[J]. 2011, 39(2): 345-350, http://lib.cqvip.com/Qikan/Article/Detail?id=36987856.
[55] Jiang, Feng, Sui, Yuefei, Cao, Cungen. A hybrid approach to outlier detection based on boundary region. PATTERN RECOGNITION LETTERS[J]. 2011, 32(14): 1860-1870, http://dx.doi.org/10.1016/j.patrec.2011.07.002.
[56] Zhang, Chunxia, Cao, Cungen, Sui, Yuefei, Wu, Xindong. A Chinese time ontology for the Semantic Web. KNOWLEDGE-BASED SYSTEMS[J]. 2011, 24(7): 1057-1074, http://dx.doi.org/10.1016/j.knosys.2011.04.021.
[57] 江峰, 杜军威, 眭跃飞, 曹存根. 基于边界和距离的离群点检测. 电子学报[J]. 2010, 38(3): 700-705, http://lib.cqvip.com/Qikan/Article/Detail?id=33732903.
[58] Jiang, Feng, Sui, Yuefei, Cao, Cungen. An information entropy-based approach to outlier detection in rough sets. EXPERT SYSTEMS WITH APPLICATIONS[J]. 2010, 37(9): 6338-6344, http://dx.doi.org/10.1016/j.eswa.2010.02.087.
[59] 马丽, 马世龙, 眭跃飞, 伊胜伟. 一种RBAC的描述逻辑表示方法. 计算机科学[J]. 2010, 29-35, http://lib.cqvip.com/Qikan/Article/Detail?id=33140681.
[60] 马东嫄, 眭跃飞. 描述数据库的双层描述逻辑. 计算机科学[J]. 2010, 197-200, http://lib.cqvip.com/Qikan/Article/Detail?id=32692341.
[61] 马丽, 马世龙, 眭跃飞. 基于描述逻辑DL_(RBAC)的RBAC形式化模型. 北京航空航天大学学报[J]. 2010, 1315-1319, http://lib.cqvip.com/Qikan/Article/Detail?id=36284859.
[62] 申宇铭, 马越, 曹存根, 眭跃飞, 王驹. 不同逻辑间翻译的逻辑性质. 计算机学报[J]. 2009, 2091-2098, http://lib.cqvip.com/Qikan/Article/Detail?id=31781030.
[63] Jiang, Feng, Sui, Yuefei, Cao, Cungen. Some issues about outlier detection in rough set theory. EXPERT SYSTEMS WITH APPLICATIONS[J]. 2009, 36(3): 4680-4687, http://dx.doi.org/10.1016/j.eswa.2008.06.019.
[64] 郝国舜, 马世龙, 眭跃飞. 一种扩展的动态描述逻辑语言及其Tableau算法. 智能系统学报[J]. 2009, 4(3): 226-233, http://lib.cqvip.com/Qikan/Article/Detail?id=31015758.
[65] Jiang, Feng, Sui, Yuefei, Cao, Cungen. A rough set approach to outlier detection. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS[J]. 2008, 37(5): 519-536, http://www.corc.org.cn/handle/1471x/2390883.
[66] Zhang Xiaoru, Zhang Zaiyue, Sui Yuefei, Huang Zhisheng. 基于一阶模态逻辑的模糊推理. 软件学报[J]. 2008, 19(12): 3170-3178, http://lib.cqvip.com/Qikan/Article/Detail?id=28816366.
[67] Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv. Dynamic description logic model for data integration. FRONTIERS OF COMPUTER SCIENCE IN CHINA[J]. 2008, 2(3): 306-330, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=3347547&detailType=1.
[68] 丛晓青, 曹存根, 眭跃飞. 带函数的描述逻辑. 计算机工程与应用[J]. 2008, 44(22): 46-50, http://lib.cqvip.com/Qikan/Article/Detail?id=27799223.
[69] Xiaoru Zhang, Zaiyue Zhang, Yuefei Sui. Types, structures and theories in NKI. FRONTIERS OF COMPUTER SCIENCE IN CHINA[J]. 2008, 2(4): 451-459,  http://dx.doi.org/10.1007/s11704-008-0032-9.
[70] 李惠涛, 江峰, 眭跃飞, 曹存根. 基于认知反映的信念逻辑. 计算机科学[J]. 2008, 35(2): 157-159, http://lib.cqvip.com/Qikan/Article/Detail?id=26464918.
[71] 张晓如, 张再跃, 眭跃飞, 黄智生. 基于一阶模态逻辑的模糊推理. 软件学报[J]. 2008, 19(12): 3170-3178, http://lib.cqvip.com/Qikan/Article/Detail?id=28816366.
[72] 潘瑜, 曹存根, 眭跃飞. 基于LOBA逻辑的言语行为表示. 计算机研究与发展[J]. 2007, 44(3): 420-426, http://lib.cqvip.com/Qikan/Article/Detail?id=24120409.
[73] 马世龙, 眭跃飞, 许可. 优先归纳逻辑程序的极限行为. 智能系统学报[J]. 2007, 2(4): 9-13, http://lib.cqvip.com/Qikan/Article/Detail?id=25272386.
[74] 曹存根, 眭跃飞, 孙瑜, 曾庆田. 国家知识基础设施中的数学知识表示. 软件学报[J]. 2006, 17(8): 1731-1742, http://lib.cqvip.com/Qikan/Article/Detail?id=22590178.
[75] Sun Yu, Sui Yuefei, Li Zhiping, Shi Z, Shimohara K, Feng D. One axiomatic system for the ontology revision. INTELLIGENT INFORMATION PROCESSING IIInull. 2006, 228: 91-+, [76] Jiang, Feng, Sui, Yuefei, Cao, Cungen, Wang, G, Peters, JF, Skowron, YY, Yao, YY. Rough contexts and rough-valued contexts. ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS[J]. 2006, 4062: 176-183, http://www.corc.org.cn/handle/1471x/2378637.
[77] Zhang, Zaiyue, Sui, Yuefei, Cao, Cungen, Cai, JY, Cooper, SB, Li, A. A tree construction of the preferable answer sets for prioritized basic disjunctive logic programs. THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS[J]. 2006, 3959: 588-600, https://www.webofscience.com/wos/woscc/full-record/WOS:000238091800056.
[78] 眭跃飞, 高颖, 曹存根. NKI中的本体、框架和逻辑理论. 软件学报[J]. 2005, 16(12): 2045-2053, http://lib.cqvip.com/Qikan/Article/Detail?id=20750796.
[79] 雷玉霞, 眭跃飞, 曹宝香. 基于知识本体的属性分析以及概念联通. 计算机科学[J]. 2004, 31(3): 102-105, http://lib.cqvip.com/Qikan/Article/Detail?id=9323050.
[80] 高颖, 曹存根, 眭跃飞. 音乐领域本体的建立和分析. 计算机科学[J]. 2004, 31(1): 103-107, http://lib.cqvip.com/Qikan/Article/Detail?id=9037420.
[81] 雷玉霞, 眭跃飞, 曹宝香. 基于Part—Whole关系的人造物属性分析. 计算机工程与应用[J]. 2004, 40(3): 63-64,86, http://lib.cqvip.com/Qikan/Article/Detail?id=9063825.
[82] 雷玉霞, 眭跃飞, 曹宝香, 王廷蔚. 基于概念主干H的知识联通及其联通测度. 计算机科学[J]. 2003, 30(7): 172-173,179, http://lib.cqvip.com/Qikan/Article/Detail?id=8148409.
[83] 眭跃飞, 司晋新, 田国刚, 刘汉武, 曾庆田, 曹存根. 基于本体的数学知识获取与知识继承机制研究. 微电子学与计算机[J]. 2003, 20(9): 19-27,75, http://lib.cqvip.com/Qikan/Article/Detail?id=8384262.
[84] 李未, 马世龙, 眭跃飞, 许可. 收敛无穷计算及其应用. 北京航空航天大学学报[J]. 2002, 28(5): 481-489, http://lib.cqvip.com/Qikan/Article/Detail?id=6957800.
[85] 雷玉霞, 眭跃飞. 基于Concept—Relation模型的知识联通. 计算机科学[J]. 2002, 29(11): 53-55,58, http://lib.cqvip.com/Qikan/Article/Detail?id=7768444.
[86] 张再跃, 眭跃飞. R_(wtt)/ M_(wtt)中的枝点元素(英文). 软件学报. 2000, 11(4): 441-, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=726952&detailType=1.
[87] 眭跃飞, 张再跃. 基于有限递归和μ—算子的α—递归论. 扬州大学学报:自然科学版[J]. 2000, 3(3): 55-, http://lib.cqvip.com/Qikan/Article/Detail?id=4617959.
[88] 眭跃飞. RelatioR/M中的?与 R中的≤_T的关系(英文). 软件学报. 2000, 11(6): 745-, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=726995&detailType=1.
[89] 眭跃飞. R/M中的≤与R中的≤τ的关系. 软件学报[J]. 2000, 745-750, http://lib.cqvip.com/Qikan/Article/Detail?id=11115315.
[90] 眭跃飞. The Local Distributivity in R/M. 数学季刊:英文版[J]. 1999, 14(3): 1-, http://lib.cqvip.com/Qikan/Article/Detail?id=4881339.
[91] 眭跃飞. More on minimal pairs. ACTA MATHEMATICA SINICA. NEW SERIES[J]. 1994, 10(增刊): 220-, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=519350&detailType=1.
[92] 眭跃飞. 关于极限引理的一些应用. 数学学报[J]. 1992, 35(4): 478-, http://lib.cqvip.com/Qikan/Article/Detail?id=877120.

指导学生

已指导学生

孙瑜  博士研究生  081202-计算机软件与理论  

潘瑜  博士研究生  081202-计算机软件与理论  

江峰  博士研究生  081202-计算机软件与理论  

李惠涛  硕士研究生  081202-计算机软件与理论  

马越  博士研究生  081202-计算机软件与理论  

申宇铭  博士研究生  081202-计算机软件与理论  

雷玉霞  博士研究生  081202-计算机软件与理论  

马东嫄  硕士研究生  081202-计算机软件与理论  

王东升  博士研究生  081202-计算机软件与理论  

阳万安  博士研究生  081202-计算机软件与理论  

吴晓庆  硕士研究生  081202-计算机软件与理论  

刘超  硕士研究生  081202-计算机软件与理论  

现指导学生

诸峰  博士研究生  081202-计算机软件与理论  

张建华  博士研究生  081201-计算机系统结构  

孙梅莹  博士研究生  081202-计算机软件与理论  

邓少波  博士研究生  081202-计算机软件与理论