你在这里

郭兰坤

郭兰坤的头像

郭兰坤,博士,主要研究拓扑学、理论计算机科学和形式概念分析。具体研究方向包括格上拓扑、Domain 结构的表示、形式概念分析及其在数据挖掘和知识工程中的应用。
具有代表性的学术成绩和科研经历有:(1) 以第一作者或通讯作者发表SCI文章9篇。所发期刊有《Theoretical Computer Science》(CCF-B类)、《Discrete Mathematics》、《Order》、《Mathematical Structures in Computer Science》(CCF-B类)、《Mathematical Logic Quarterly》、《Information Sciences》(CCF-B类)、《International Journal of Approximate Reasoning》、《Soft Computing》、《Fuzzy Sets and Systems》《International Journal of Fuzzy Systems》等。(2) 主持国家自然科学基金青年项目1项,湖南省自然科学基金青年项目1项,教育部留学回国人员科研启动基金1项,湖南省教育厅优秀青年项目1项。(3) 曾获得湖南省优秀博士学位论文 (2012年)、“湖湘青年英才”支持计划(2017年)(4) 湖南省自然科学奖一等奖 (排名第四,2014年)(5) 两年美国名校留学经历,一年加拿大博士后工作经历,两年湖南大学博士后工作经历,一个月德国访学经历。(6)2015年起担任《Mathematical Reviews》评论员。(7) 2015年获硕士生导师资格。联系方式:lankun.guo@gmail.com 或者 lankunguo830923@163.com

承担课题: 

1、代数Domain的两个笛卡尔闭满子范畴的概念表示 2015.1-2017.12 国家自然科学基金青年项目
2、Domain结构的概念表示 2015.1-2017.12 博士科研启动项目
3、关系概念分析模型的范畴性质和算法设计研究 2015.7-2016.7 教育部 留学回国人员科研启动基金
4、拓扑化形式概念分析的序性质研究 2015.1-2017.12 湖南省自然科学基金青年项目
5、拟连续Domain和Meet连续Domain的概念表示 2016.8-2019.8 湖南省教育厅优秀青年项目

近期发表的代表性论文: 

[1] Lankun Guo, Fangping Huang, Qingguo Li, Guo-Qiang Zhang*, Power contexts and their concept lattices, Discrete Mathematics, 311, 2049-2063, 2011 (SCI)
[2] Lankun Guo, Qingguo Li*, The categorical equivalence between algebraic domains and F-augmented closure spaces, Order, 32,101-116, 2015 (SCI)
[3] Qingguo Li, Lankun Guo*, Formal query systems based on concept lattices and its representation to algebraic lattices, Information Sciences, 239 (1), 72-84, 2013 (SCI)
[4] Mingyuan Wu, Lankun Guo*, Qingguo Li*, A representation of L-domains by information systems, Theoretical Computer Science, 612, 126-136, 2016 (SCI)
[5] Lankun Guo, Qingguo Li*, Mengqiao Huang, A categorical representation of algebraic domains based on variations of rough approximable concepts, International Journal of Approximate Reasoning, 55, 885-895, 2014 (SCI)
[6] Lankun Guo, Qingguo Li*, Xiaodong Jia, On the order-theoretical properties of lower concept formula systems, Soft Computing, 18, 207-216, 2014 (SCI)
[7] Lankun Guo, Guo-Qiang Zhang, Qingguo Li*, Fuzzy closure systems on L-ordered sets, Mathematical Logic Quarterly, 57 (3), 281-291, 2011 (SCI)
[8] Lankun Guo, Qingguo Li, Petko Valtchev, Yaping Lin, Representation of algebraic domains by formal association rule systems, Mathematical Structures in Computer Science, 2015, DOI: 10.1017/S0960129515000237 (SCI)
[9] Lankun Guo, Qingguo Li, Guo-Qiang Zhang, A note on L-fuzzy closure systems, International Journal of Fuzzy systems, 18(1), 110-118, 2016 (SCI)
[10] Lankun Guo, Qingguo Li*, Petko Valtchev, Robert Godin, Formal F-contexts and their induced implication rule systems, Lecture Notes in Computer Science, 7880, 141-155, 2013 (EI)
[11] Lankun Guo, Qingguo Li*, Petko Valtchev, Robert Godin, A note on finitely derived information systems, Electronic Notes in Theoretical Computer Science, 301, 49-59, 2014 (EI)
[12] Qimei Xiao, Qingguo Li*, Lankun Guo, Rough sets induced by ideals in lattices, Information Sciences, 271, 82-92, 2014 (SCI)
[13] Tao Sun, Qingguo Li, Lankun Guo, Birkhoff's order-convergence in partially ordered sets, Topology and its Applications, 207(1), 156-166, 2016 (SCI)
[14] Zhiwei Zou, Qingguo Li, Lankun Guo, A note on the problem when FS-domains coincide with RB-domains, Categories and General Algebraic Structures with Applications, 2017 (SCI)
[15] Jialiang Xie, Qingguo Li, Chongxia Lu, Lankun Guo, Extension of a class of decomposable measures via generalized pseudo-metrics, Fuzzy Sets and Systems, http://dx.doi.org/10.1016/j.fss.2016.10.003 (SCI)
[16] Guangming Lang, Qingguo Li*, Lankun Guo, Discernibility matrix simplification with new attribute dependency functions for incomplete information systems, Knowledge and Information Systems, 37, 611-638, 2013 (SCI)
[17] Guangming Lang, Qingguo Li*, Lankun Guo, Homomorphisms-based attribute reduction of dynamic fuzzy covering information systems, International Journal of General System, 44 (7), 1-21,·2015 (SCI)
[18] Guangming Lang, Qingguo Li*, Lankun Guo, Homomorphisms Between Covering Approximation Spaces, Fundamenta Informaticae 138 (3), 351-371, 2015 (SCI)
[19] Hongxia Han, Qingguo Li*, Lankun Guo, Rough approximations via ideal on a complete completely distributive lattice, Soft Computing, 20(5),1853-1861,2016 (SCI)
[20]You Gao, Qingguo Li*, Lankun Guo, Jialiang Xie, Formal balls in fuzzy quasi-metric spaces, Journal of Nonlinear Sciences and Applications, 10(2), 684-698, 2017 (SCI)
[21] Mengqiao Huang, Qingguo Li*, Lankun Guo, Formal Contexts for Algebraic Domains, Electronic Notes in Theoretical Computer Science, 301, 79-90, 2014 (EI)

获奖情况: 

1. 湖南省自然科学奖(排名第4) 2014
2. 湖南省优秀博士学位论文 2012
3. 湖湘青年英才 2017

教学情况: 

一般拓扑学、高等数学、连续格与Domain、范畴论、离散数学、常微分方程

Theme by Danetsoft and Danang Probo Sayekti inspired by Maksimer