桂林电子科技大学计算机与信息安全学院、电子工程与自动化学院、机电工程学院、信息与通信学院、商学院、海洋信息工程学院导师：

发布时间：2021-11-20 编辑：考研派小莉推荐访问：

桂林电子科技大学计算机与信息安全学院、电子工程与自动化学院、机电工程学院、信息与通信学院、商学院、海洋信息工程学院导师：的内容如下，更多考研资讯请关注我们考研派网站的更新！敬请收藏本站。或下载我们的考研派APP和考研派微信公众号（里面有非常多的免费考研资源可以领取哦）[桂林电子科技大学研究生院导师介绍：玉振明] [桂林电子科技大学研究生院导师介绍：周旦] [桂林电子科技大学研究生院导师介绍：唐善茂] [桂林电子科技大学研究生院导师介绍：任汝娟] [桂林电子科技大学研究生院导师介绍：赵相忠] [桂林电子科技大学研究生导师介绍：周德俭]

桂林电子科技大学学姐微信
为你答疑,送资源

桂林电子科技大学计算机与信息安全学院、电子工程与自动化学院、机电工程学院、信息与通信学院、商学院、海洋信息工程学院导师：正文

[导师姓名]
古天龙

[所属院校]
桂林电子科技大学

[基本信息]
导师姓名：古天龙
性别：
人气指数：5054
所属院校：桂林电子科技大学
所属院系：计算机与信息安全学院、电子工程与自动化学院、机电工程学院、信息与通信学院、商学院、海洋信息工程学院
职称：教授
导师类型：硕导/博导
招生专业：控制科学与工程、管理科学与工程、船舶与海洋工程、机械工程（专业学位）、机械工程（学术型）、计算机科学与技术（学术型）、位置服务与信息安全
研究领域：形式化方法,知识工程与符号推理,协议工程与移动计算,可信泛在网络,嵌入式系统

[通讯方式]
电子邮件：cctlgu@guet.edu.cn

[个人简述]
分别于1984年、1987年、1996年在太原理工大学、西安电子科技大学和浙江大学获工学学士、硕士、博士学位。1998年至2002年在澳大利亚CURTIN理工大学、MURDOCH大学进行博士后和客座访问研究。现为西安电子科技大学计算机应用技术学科兼职博士生导师，桂林电子科技大学信息与通信工程学科博士生导师。兼任教育部高等学校计算机类专业教学指导委员会副主任委员，中国人工智能学会离散智能计算专委会副主任委员、知识工程与分布式智能专委会委员，中国计算机学会电子政务与办公自动化专委会委员、计算机工程与工艺专委会委员，《计算机科学》《计算机教育》编委。荣获首批新世纪国家“百千万人才工程”人选，国务院政府特殊津贴专家，全国模范教师，中国侨界创新人才贡献奖，广西教学名师，广西优秀专家，广西高校杰出科技人才，广西优秀留学回国人员，广西侨界青年杰出人物，广西“十百千人才工程”人选，广西高校跨世纪中青年学科带头人，电子工业系统优秀教师，电子工业部优秀科技青年等。近年来主持国家863计划项目、国家自然科学基金、国防预研重点项目、国防预研基金等30余项；出版学术著作《有序二叉决策图及应用》《软件开发的形式化方法》《网络协议的形式化分析与设计》等3部；在《Formal Methods in Systems Design》《Computer Aided Design》《Journal of Automated Reasoning》《计算机学报》《软件学报》《通信学报》《电子学报》《自动化学报》《航空学报》等国内外重要学术刊物发表学术论文130余篇（其中SCI、EI收录63篇）。开设本科生/研究生课程6门，指导硕士研究生63人、博士研究生12人。承担教育科学研究和教学改革项目13项，出版研究生/本科生教材《软件工程》《计算机科学与技术方法论》《离散数学》等3部。国家级精品课程、国家级特色专业、国家级教学团队、国家级人才培养模式创新实验区负责人。国家级教学成果二等奖（2014）广西自然科学奖二等奖（2013）广西教学成果特等奖（2012）新世纪百千万人才工程国家级人选（2004）国务院政府特殊津贴专家（2004）广西优秀教学成果一等奖（2004）广西社会科学优秀成果三等奖（2004）广西优秀教材一等奖（2003）广西十百千人才工程人选（2000）全国模范教师称号（1998）广西高校科技进步二等奖（1998）电子工业系统优秀教师（1997）广西高校跨世纪中青年学科带头人（1996）电子工业部优秀科技青年（1996）

[科研工作]
[1] Liang Chang, Uli Sattler, Tianlong Gu. Algorithm for Adapting Cases Represented in a Tractable Description Logic. Proceedings of the 22nd International Conference on Case-Based Reasoning. LNCS 8765: 63-78, 2014.[2] Liang Chang, Uli Sattler, TianlongGu. An ABox Revision Algorithm for the Description Logic EL_bot.. Proceedings of the 27th International Workshop on Description Logics. 459-470, 2014.[3] Na Zhang, Liang Chang, ZhouboXu, TianlongGu. Dynamic Description Logic Based on DL-Lite.. IFIP Advances in Information and Communication Technology. 432:171-177, 2014.[4] Yaoguang Wang, Liang Chang, Fengying Li, TianlongGu. Verification of Branch-time Property Based on Dynamic Description Logic.. IFIP Advances in Information and Communication Technology. 432:161-170, 2014.[5] Fei Jiang, TianlongGu, Liang Chang, ZhouboXu. Case Retrieval for Network Security Emergency Response Based on Description Logic.. IFIP Advances in Information and Communication Technology. 432:284-293, 2014.(EI检索)[6] Liang Chang, Uli Sattler, Tianlong Gu. Algorithm for Adapting Cases Represented in a Tractable Description Logic.. CoRR abs/1405.4180[7] 古天龙, 吕思菁, 常亮, 徐周波. 基于OBDD的描述逻辑εL循环术语集推理. 软件学报, 25(1):64-77, 2014.[8] 古天龙, 何仲春, 常亮, 徐周波. 基于符号ADD和线性多分支程序的分类算法安全评估. 电子学报, 42(5):940-947,2014.[9] 孙晋永, 古天龙, 常亮, 马林威. 基于ALCQ(D)的CBR事例表示及相似性度量. . 计算机科学, 41(4):223-229, 2014.[10] 孙晋永, 古天龙, 常亮. 基于描述逻辑的事例推理综述. . 计算机科学, 41(11):, 2014.2013[11] Congwen Zeng, Tianlong Gu, Liang Chang, Fengying Li. A novel multi-agent evolutionary algorithm for assembly sequence planning.. Journal of Software, 8(6): 1518-1525, 2013.[12] 常亮, 刘进, 古天龙, 史忠植. 基于动态描述逻辑的语义Web服务组合. 计算机学报, 36(12):2468-2478,2013.[13] 董荣胜,马争先,郭云川,古天龙. 一种基于马尔可夫博弈的能量均衡路由算法. 计算机学报, 36(07):1500-1509,2013.[14] 刘亚杰, 古天龙, 徐周波, 常亮. 基于改进遗传编程的并行装配序列规划.. 计算机集成制造系统, 19(6): 1238-1248, 2013.[15] 王腾飞徐周波古天龙 . 弧一致性符号ADD算法及在CSP求解中的应用.. 计算机科学, 2013,(12): 243-2482012[16] Liang Chang, Zhongzhi Shi, Tianlong Gu, Lingzhong Zhao. A family of dynamic description logics for representing and reasoning about actions. Journal of Automated Reasoning, 49(1):1-52,2012.[17] Yanwei Ma, TianlongGu, BinbinXu, Liang Chang. An ABox Abduction Algorithm for the Description Logic ALCI.. In: Proceedings of the 7th International Conference on Intelligent Information Processing. IFIP AICT 385: 125-130, 2012.[18] Qianjin Wei, TianlongGu, Fengying Li, GuoyongCai. The Representation of Indiscernibility Relation Using ZBDDs.. In: Proceedings of the 7th International Conference on Intelligent Information Processing. IFIP AICT 385: 216-225, 2012.[19] Fengying Li, TianlongGu, GuoyongCai, Liang Chang. Symbolic ZBDD Representations for Mechanical Assembly Sequences.. In: Proceedings of the 7th International Conference on Intelligent Information Processing. IFIP AICT 385: 208-215, 2012.[20] Liang Chang, Qicheng Zhang, TianlongGu, and Zhongzhi Shi. Dynamic Logic for the Semantic Web.. In: Proceedings of the 7th International Conference on Intelligent Information Processing. IFIP AICT 385:137-146, 2012.[21] Yu Meng, TianlongGu, Liang Chang. Reasoning about assembly sequences based on description logic and rule.. In: Proceedings of the 7th International Conference on Intelligent Information Processing. IFIP AICT 385:131-136, 2012[22] Zhoubo Xu, Tianlong Gu, Rongsheng Dong. Symbolic OBDD Assembly Sequence Planning Algorithm Based on Unordered Partition with 2 Parts of a Positive Integer.. Intelligent Information Processing 2012: 226-233[23] 李凤英, 古天龙, 常亮, 徐周波. 基于赋时Petri网的装配建模研究. . 机械科学与技术, 31(7): 1115-1120, 2012.[24] 李凤英, 古天龙, 常亮, 徐周波. 一种基于赋时Petri网和ZBDD的装配序列规划方法.. 计算机科学, 39(2): 170-174, 2012.2011[25] Qianjin Wei, TianlongGu.. Symbolic Representation for Rough Set Attribute Reduction Using Ordered Binary Decision Diagrams. Journal of Software, 6(6): 977-984, 2011.[26] ZhouboXu, TianlongGu, Liang Chang. A novel symbolic OBDD algorithm for generating mechanical assembly sequences using decomposition approach.. Advanced Materials Research. 201-203: 24-29, 2011.[27] Tianlong Gu, Liang Chang, Zhoubo Xu. The Symbolic OBDD Algorithm for Finding Optimal Semi-matching in Bipartite Graphs. Communications and Network 3(2): 65-72[28] 常亮, 刘华, 古天龙, 韦林. 基于启发式DCPM-FGA的产品装配序列规划.. 计算机集成制造系统, 17(2): 239-247, 2011.[29] 常亮, 史忠植, 古天龙, 王晓峰. 可判定的时序动态描述逻辑. 软件学报, 22(7):1524-1537,2011.[30] 徐周波,古天龙,常亮. 加权约束满足问题的符号ADD求解算法. 模式识别与人工智能, 24(1):14-21,2011.[31] 常亮, 王娟, 古天龙, 董荣胜. 时态描述逻辑ALC-LTL的Tableau判定算法.. 计算机科学, 38(8): 150-154, 2011.[32] 常亮, 刘铁园, 古天龙. 自组网MRP移动模型节点的空间概率分布研究.. 系统仿真学报. 23(7): 1490-1496, 2011.[33] 徐周波, 古天龙, 常亮, 李凤英.. 约束满足问题求解的符号OBDD 桶消元算法.. 计算机科学, 38(7): 200-202, 2011.[34] 曹磊, 古天龙, 常亮. Ad Hoc网络MRP移动模型的研究.. 系统仿真学报, 23(1): 129-134, 2011.2010[35] Fengying Li, TianlongGu, Liang Chang. A symbolic OBDD-based algorithm for assembly sequence planning.. Advanced Materials Research. 97-101: 2444-2448, 2010.[36] Liang Chang, Zhongzhi Shi, TianlongGu. . Extend atomic action definitions of DDL to support occlusions and conditional post-conditions.. IFIP Advances in Information and Communication Technology (Proceedings of the 6th International Conference on Intelligent Information Processing,) 340: 45-54, 2010.[37] Yaodong Cui, Tianlong Gu, Wei Hu. A bi-objective guillotine cutting problem of stamping strips of equal circles.. Int. J. Comput. Math. 87(12): 2716-2721 (2010)[38] Lingzhong Zhao, Xuesong Wang, Junyan Qian, Tianlong Gu. Using ASP to Improve the Information Reuse in Mechanical Assembly Sequence Planning.. PRICAI 2010: 384-396[39] 王雪松赵岭忠古天龙. 无圈与或图搜索的符号OBDD算法研究.. 计算机科学, 2010,37 (07): 169-174[40] 廖伟志,古天龙. 一类混杂生产过程的混杂Petri网建模与调度.. 控制与决策, 2010, 25(6): 884-888（EI）[41] 徐周波,古天龙. 装配序列规划问题的CSP模型及其符号OBDD求解技术. 计算机辅助设计与图形学学报, 22(5):803-810,2010.[42] 李凤英,古天龙.. 柔性制造系统中生产调度问题的零压缩二叉决策图算法. . 控制与决策, 2010, 25(5): 657-662. (EI)2009[43] Tieyuan Liu, Liang Chang, TianlongGu. Analyzing the impact of entity mobility models on the performance of routing protocols in the MANET.. In: Proceedings of the 3rd International Conference on Genetic and Evolutionary Computing. 56-59, 2009.[44] Xuesong Wang, Lingzhong Zhao, Congwen Zeng, Junyan Qian, Tianlong Gu. An ASP Based Solution to Mechanical Assembly Sequence Planning.. WGEC 2009: 205-208[45] Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu. Automatic Construction of Complete Abstraction by Abstract Interpretation. ACIS-ICIS 2009: 927-932[46] 李凤英,古天龙,徐周波. Petri网的符号ZBDD可达树分析技术. 计算机学报, 32(12):2420-2428,2009.[47] 廖伟志, 古天龙, 元昌安, 赵岭忠. 基于一阶混杂Petri网的柔性制造系统粗糙控制[J]. 控制与决策, 24(3): 365-370, 2009.[48] 廖伟志, 古天龙, 蔡国永. 生产时间可变间歇过程的Petri网模型及其调度.. 计算机集成制造系统, 15(1): 109-116, 2009.[49] 敬超, 常亮, 古天龙. 基于SPIN的无线传感器网络安全协议建模与分析.. 计算机科学, 36(10): 132-136, 2009.[50] 廖伟志彭月英古天龙 .. 区间速率连续Petri网的模糊模型.. 计算机科学, 2009,36 (02): 234-237[51] 廖伟志古天龙 . 一种新的混杂Petri网可达性分析方法.. 小型微型计算机系统, 2009, (08): 1651-1656[52] 骆翔宇陈艳古天龙董荣胜 . 基于时态认知逻辑的Web服务模型检测.. 计算机科学, 2009,36 (08): 153-158[53] 董荣胜古天龙 . 计算思维与计算机方法论.. 计算机科学, 2009,36 (01): 1-5[54] 赵岭忠廖伟志钱俊彦古天龙 .. 基于计算解语义的逻辑程序测试和调试框架.. 计算机科学, 2009, (09)

[教育背景]

添加桂林电子科技大学学姐微信，或微信搜索公众号“考研派之家”，关注【考研派之家】微信公众号，在考研派之家微信号输入【桂林电子科技大学考研分数线、桂林电子科技大学报录比、桂林电子科技大学考研群、桂林电子科技大学学姐微信、桂林电子科技大学考研真题、桂林电子科技大学专业目录、桂林电子科技大学排名、桂林电子科技大学保研、桂林电子科技大学公众号、桂林电子科技大学研究生招生）】即可在手机上查看相对应桂林电子科技大学考研信息或资源。