徐周波
学术和专业型硕导
***
xzbli_11@guet.edu.cn
计算机与信息安全学院
个人简介

教授、博士,国家级一流本科课程“离散数学”负责人。2011年毕业于西安电子科技大学,获工学博士学位。2017年在IOWA STATE UNIVERSITY做访问学者。曾任桂林电子科技大学计算机与信息安全学院副院长,现为广西计算机学会、全国高等学校计算机研究会理事,中国人工智能学会离散智能计算专业委员会委员。多年来一直从事图数据分析与管理、符号计算、约束编程、智能规划等方面的研究。近年来主持和参与国家自然科学基金项目等各类项目近20项,主持教育部、广西高等教育本科教学改革工程重点项目等各类教改项目8项。发表学术论文60余篇,其中在Pattern Recognition、IEEE Transactions on Cybernetics、Computers & Operations Research、Computer Aided Design、通信学报、计算机学报、模式识别与人工智能、计算机辅助设计与图形学学报等国内外重要期刊发表学术论文20余篇,其中SCI收录10余篇,EI收录20余篇。合著出版了学术著作《有序二叉决策图及应用》1部,本科教材《离散数学》1部。授权发明专利10余项,实用型专利1项,软件著作权10余项。获广西高等教育自治区级教学成果奖特等奖1项、一等奖2项。

 

成果奖励

[1] 国家级一流本科课程“离散数学”课程负责人

[2]    广西高等教育自治区级教学成果奖“夯实基础,学以致用“五维度三融合”离散数学课程教学改革与实践”,一等奖(排名12024

[3]     广西高等教育自治区级教学成果奖“能力导向 规范牵引 计算机类专业新工科人才培养模式探索与实践”,特等奖(排名72021

[4]     广西高等教育自治区级教学成果奖“地方行业特色高校计算机科学与技术专业综合改革的研究与实践”,一等奖(排名22017)

[5]     广西高等教育创新创业教育教学成果奖“以课程为基础 以竞赛为契机的创新型人才培养模式实践与探索”,三等奖(排名22017)


 

科研项目

[1]     国家自然科学基金地区科学基金项目“大规模时序图数据的符号压缩表示和子图匹配技术研究”2024.01-2027.12主持

[2]     国家自然科学基金地区科学基金项目“图模式匹配的软约束模型及其符号推理研究” 2018.01-2021.12,主持)

[3]     国家自然科学基金青年科学基金项目“软约束满足问题的符号表示及其推理研究” 2012.01-2014.12,主持)

[4]     国家自然科学基金面上项目“基于符号决策图的图数据表示和匹配研究”(2016.01-2019.12,参与)

[5]     国家自然科学基金联合基金项目“基于大数据的政府治理综合示范应用”(2018.01- 2021.12参与)

[6]    家自然科学基金地区科学基金项目“基于描述逻辑及符号算法的事例相似性研究” (2013.01-2016.12参与)

[7]    国家自然科学基金地区科学基金项目“面向装配规划的领域知识表示及推理研究”(2010.01-2012.12参与)

[8]     国家自然科学基金地区科学基金项目“基于依赖公式抽象的软件模型检测研究”(2007.01-2009.12参与)

[9]     国家自然科学基金“装配序列生成的符号技术研究” (2006.01-2008.12参与)

[10]     广西自然科学基金面上项目“图匹配问题的约束推理符号技术及其在蛋白质相互作用网络比对中的应用研究”(2017.09-2020.09主持

[11]     广西自然科学基金面上项目“加权约束满足问题的符号推理技术及在装配规划中的应用研究”2014.07-2017.06, 主持

[12]     广西自然科学基金重点项目“基于符号OBDD的装配序列规划研究”(2008.01-2011.12, 参与)

[13]     广西可信软件重点实验室开放基金面向装配序列规划问题的约束表示及符号求解技术研究”2015.8-2018.7主持

[14]     广西可信软件重点实验室开放基金加权约束满足问题的符号表示及其推理研究”2011-2014主持




 

主讲课程

[1] 离散数学(本科,国家级一流本科课程)

[2] 软件开发形式化方法(硕士研究生)

[3] 复杂网络理论(博士研究生)

[4] 人工智能(本科,硕士研究生)

[5] 数据库系统原理(本科)

[6] 计算方法(本科)

[7] 计算机科学导论(本科,国家级一流本科课程)

 

论文情况

[1]  Zhoubo Xu, Puqing Chen, Romain Raveaux, et al. Deep Graph Matching Meets Mixed-Integer Linear Programming:Relax or not?. Pattern Recognition,2024, 155,https://doi.org/10.1016/j.patcog.2024.110697

[2]     徐周波,许昌胜,王嘉鑫. 基于邻域安全压缩的动态图增量子图匹配算法.计算机应用研究,2023, 12(24): 3672-3677

[3]     徐周波, 陈浦青, 刘华东, 杨欣. 基于自注意力网络的深度图匹配模型. 计算机应用, 2023,43(04):1005-1012

[4]     Xuguang Bao; Tianlong Gu; Liang CHANG; Zhoubo Xu; Long Li ; Knowledge-Based Interactive Postmining of User-preferred Co-locaiton Patterns Using Ontologies, IEEE Transactions on Cybernetics, 2022.1, 52(9): 9467-9480

[5]     Xuguang Bao; Jinjie Lu; Tianlong Gu; Liang Chang; Zhoubo Xu; Lizhen Wang ; Mining Non-Redundant Co-Location Patterns, IEEE Transactions on Neural Networks and Learning Systems, 2022,33(11): 6613-6626

[6]     徐周波, 李萍, 刘华东, 李珍. 基于图嵌入与拓扑结构信息的蛋白质复合物识别算法.计算机工程与科学,2021,43(6):1052-1059

[7]     徐周波,李珍,刘华,东李萍.基于邻居信息聚合的子图同构匹配算法.计算机应用, 2021,41(1)43-47

[8]   徐周波, 梁轩瑜, 刘华东, 戴瑀君. 基于对称破坏的子图同构约束求解算法. 计算机工程与设计,2020,41(2):397-401

[9]     徐周波,杨健,刘华东,黄文文.基于XGBoost与拓扑结构信息的蛋白质复合物识别算法[J].计算机应用, 2020,40(5):1510-1514

[10]     Li Miao,Bao Xuguang, Chang Liang, Xu Zhoubo,Li Long. A Survey of Researches on Personalized Bundle Recommendation Techniques. 3rd International Conference on Machine Learning for Cyber Security,2020, 12487: 290-304

[11]     徐周波, 张鹍, 宁黎华, 古天龙. 图编辑距离概述. 计算机科学, 45(4):11-18, 2018

[12]    李龙,古天龙,常亮,徐周波,钱俊彦. 快速解密且私钥定长的密文策略属性基加密方案. 电子与信息学报,2018,40(7): 1661-1668

[13]    徐周波, 张永超, 古天龙, 宁黎华. 面向入侵检测系统的模式匹配算法研究. 计算机科学, 2017,44(9):141-146

[14]    徐周波,胡魁,常亮,古天龙. 基于代数决策图的路由查找算法. 计算机工程,03:99-104,2017

[15]    徐周波,陈帅,常亮,古天龙. 利用符号OBDD-LIST设计批处理包过滤防火墙. 小型微型计算机系统, 2017,38(05):1013-1016

[16]      Liang Chang, Xiangxuan Zeng, Zhoubo Xu, Junyan Qian, et at. Optimal Representation of Large-Scale Graph Data Based on K2-Tree. Wireless Personal Communications, 2017,95(3):2271-2284

[17]     徐周波, 俞强生,古天龙, 宁黎华. 基于符号EVBDD的安全多方计算. 计算机科学, 2016,43(4):127-133

[18]     Junyan Qian, Wei Cao, Jia Hu, Jingwei Zhang, Zhide Zhou, Zhoubo Xu. Satisfiability-Based Method for Reconfiguring Power Efficient VLSI Array.IEICE Electronics Express, 2016,13(23):1-11

[19]     徐周波, 杨新亮,古天龙, 宁黎华. 加权约束满足问题的改进RDS符号代数决策图求解算法. 模式识别与人工智能, 2015,28(12):1074-1083

[20]     徐周波, 肖鹏,古天龙, 宁黎华. 基于混沌混合算法的装配序列规划. 计算机集成制造系统, 2015,21(12):3200-3208

[21]      蒋菲, 古天龙, 徐周波, 常亮. 基于CBR和描述逻辑的网络安全应急响应. 计算机科学, 2015,42(01): 129-136+163

[22]     古天龙, 何仲春, 常亮, 徐周波. 基于符号ADD和线性多分支程序的分类算法安全评估. 电子学报, 2014,42(05):940-947

[23]     古天龙, 吕思菁, 常亮, 徐周波. 基于OBDD的描述逻辑εL循环术语集推理. 软件学报, 2014,25(01): 64-77

[24]     徐水龙, 徐周波, 古天龙, 常亮. 基于干涉预处理的NURBS曲线前瞻插补算法. 计算机集成制造系统, 2014,21(05): 1229-1236

[25]     黄金龙, 古天龙, 孙晋永, 徐周波. 基于ALCQ(D)CBR事例修正算法研究. 计算机科学, 2014,41(11): 239-246

[26]     朱创营, 常亮, 徐周波, 李凤英. 含有合取查询的时态描述逻辑ALC-LTL模型检测. 智能系统学报, 2014(06): 714-722

[27]     王腾飞, 徐周波, 古天龙. 弧一致性符号ADD算法及在CSP求解中的应用. 计算机科学, 2013,40(12): 243-247, 2013

[28]     朱创营,常亮,徐周波,李凤英.基于标记Büchi自动机的时态描述逻辑ALC-LTL模型检测.计算机科学,2013,40(10):166-171

[29]     刘亚杰,古天龙,徐周波,常亮.基于改进遗传编程的并行装配序列规划. 计算机集成制造系统, 2013,19(6): 1238-1248

[30]    Zhoubo Xu, Tianlong Gu, Rongsheng Dong. Symbolic OBDD Assembly Sequence Planning Algorithm Based on Unordered Partition with 2 Parts of a Positive Integer. Proceedings of the 7th International Conference on Intelligent Information Processing, IFIP AICT 2012,385: 226-233

[31]     徐周波, 古天龙, 常亮. 加权约束满足问题的符号ADD求解算法. 模式识别与人工智能,2011.24(1):14-21

[32]     徐周波, 古天龙, 常亮, 李凤英. 约束满足问题求解的符号OBDD桶消元算法. 计算机科学, 2011,38(7):200-202

[33]     Zhoubo Xu, Tianlong Gu, Chang Liang, Li Fengying. A Novel Symbolic OBDD Algorithm for Generating Mechanical Assembly Sequences Using Decomposition Approach. Advanced Materials Research, 2011,201-203: 24-29

[34]     Tianlong Gu, Liang Chang, Zhoubo Xu. A Novel Symbolic Algorithm for Maximum Weighted Matching in Bipartite Graphs. International Journal of Communications, Network and System Sciences, 2011(4): 111-121

[35]     徐周波, 古天龙. 装配序列规划问题的CSP模型及其符号OBDD求解技术. 计算机辅助设计与图形学学报, 2010,22(5):803-810

[36]     Tianlong Gu, Liang Chang, Zhoubo Xu. The Symbolic OBDD Algorithm for Maximum Cardinality Matching in Bipartite Graphs. Advances and Applications in Discrete Mathematics, 2010,2(6): 125-138

[37]     李凤英,古天龙,徐周波. Petri网的符号ZBDD可达树分析技术. 计算机学报,2009,32(12):2420-2428

[38]     Tianlong Gu, Zhoubo Xu, Zhifei Yang. Symbolic OBDD Representations for Mechanical Assembly Sequences. Computer Aided Design, 2008,40(4):411-421

[39]     Tianlong Gu, Zhoubo Xu. The Symbolic Algorithms for Maximum Flow in Networks. Computers & Operations Research, 2007,34(3):799-816

[40]    徐周波, 古天龙, 赵岭忠. 网络最大流问题的一种新的符号ADD求解算法. 通信学报, 2005,26(2):1-8

[41]    徐周波, 古天龙, 赵岭忠. 网络最大流问题求解的符号ADD增广路径算法. 计算机科学, 2005,32(10): 38-40


 

知识产权

[1]   徐周波;李珍;李萍;韦贤强;杨欣;陈浦青. 一种基于图节点信息聚合的子图同构约束求解方法. 发明专利, 专利号:ZL 2020 1 0240245.7

[2]   徐周波,梁轩瑜,戴瑀君,宁黎华,杨健,黄文文,刘桂珍,张鵾. 一种基于对称破坏的子图同构约束求解方法. 发明专利, 专利号:ZL201810607429.5

[3]   徐周波,黄文文,刘华东,常亮,杨健. 一种基于不确定图模型侦测蛋白质复合物的方法. 发明专利, 专利号:2018115188914

[4]   徐周波,刘桂珍,张鹍,宁黎华. 一种面向PPI网络比对的图匹配约束求解符号方法. 发明专利, 专利号:ZL 201710918814.7

[5]   古天龙, 张鹍, 徐周波, 刘桂珍. 一种面向字母识别的图编辑距离方法. 发明专利, 专利号:ZL201710833159.5

[6]   徐周波, 唐浩, 刘桂珍, 宁黎华. 一种面向装配规划的符号加权约束求解方法. 发明专利, 专利号:ZL201611234708.9

[7]   徐周波, 张永超, 古天龙, 宁黎华, 常亮. 基于并行多人工蜂群算法和支持向量机的入侵检测方法. 发明专利, 专利号:ZL201710552034.5

[8]  徐周波, 陈帅, 常亮, 王亚南, 暴雨欣, 王敏. 批处理包过滤防火墙的实现方法. 发明专利, 专利号:ZL201610224777.5

[9]  徐周波, 杨新亮, 古天龙, 常亮, 宁黎华. 一种无线通信网的动态频率分配方法. 发明专利, 专利号:ZL201510011677.X

[10]  古天龙;徐彬彬;常亮;徐周波;何仲春,网络可靠性动态评估的方法和装置,发明专利, 专利号:ZL201210317401.0

[11]  古天龙;何仲春;常亮;徐周波;徐彬彬,虚拟专用网络中安全隐患的解决方法,发明专利, 专利号:ZL201210351966.0

[12]  古天龙;袁文兵;徐周波;常亮;孟瑜,石油钻杆抓取推送机械手,发明专利, 专利号:ZL201510011347.0

[13]  古天龙;俞强生;徐周波;常亮;宁黎华,基于符号边值二叉决策图的安全两方计算方法和系统,发明专利, 专利号:ZL201410841646.2 


 

著作教材

[1] 古天龙, 徐周波. 有序二叉决策图及应用. 北京: 科学出版社, 2009

[2] 古天龙, 徐周波, 常亮. 离散数学(第2版). 北京: 清华大学出版社, 2022


 

研究方向

图数据管理与分析;约束求解;符号计算