导师姓名：古天龙
性别：
人气指数：272

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




通讯方式 :
电子邮件：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): **[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)