点击查看原图

古天龙 教授 (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部。国家级精品课程、国家级特色专业、国家级教学团队、国家级人才培养模式创新实验区负责人。

教育背景

分别于1984.08、1986.12、1996.01在太原理工大学、西安电子科技大学、浙江大学获工学学士、硕士、博士学位。

工作经历

2013/11 - 至今,桂林电子科技大学,教授,校长
2003/08 - 2013/11,桂林电子科技大学,教授,副校长
2002/03 - 2003/08,桂林电子科技大学,计算机学院,教授,院长
1999/01 - 2002/03,澳大利亚Murdoch 大学,工学院,研究员
1998/01 - 1999/01,澳大利亚Curtin 理工大学,工学院,博士后
1996/04 - 1998/01,桂林电子工业学院,计算机系,副教授

主要荣誉

国家级教学成果二等奖(2014)
广西自然科学奖二等奖(2013)
广西教学成果特等奖(2012)
新世纪百千万人才工程国家级人选(2004)
国务院政府特殊津贴专家(2004)
广西优秀教学成果一等奖(2004)
广西社会科学优秀成果三等奖(2004)
广西优秀教材一等奖(2003)
广西十百千人才工程人选(2000)
全国模范教师称号(1998)
广西高校科技进步二等奖(1998)
电子工业系统优秀教师(1997)
广西高校跨世纪中青年学科带头人(1996)
电子工业部优秀科技青年(1996)

教学信息

主讲课程:
离散数学(本科生,国家级精品课程)
自动控制原理(本科生)
形式语言与自动机(本科生)
人工智能概论(本科生)
离散事件动态系统理论(研究生)
形式化方法(研究生)
协议工程(研究生)
运筹学(研究生)
人工智能原理(研究生)

主要论文

2014
[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-248
2012
[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)
[55]  蔡国永 董荣胜 古天龙 .  道义Petri网及其在协同组织社交建模分析中的应用..  计算机科学, 2009,36 (11): 131-136
2008
[56]  Tianlong Gu, Zhoubo Xu, Zhifei Yang.  Symbolic OBDD representations for mechanical assembly sequences.  Computer-Aided Design, 40(4):411-421,2008.
[57]  Tianlong Gu, Huadong Liu.  The symbolic OBDD scheme for generating mechanical assembly sequences.  Formal Methods in System Design, 33(1-3):29-44,2008.
[58]  Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai.  Test frame updating in CPM testing of Prolog programs.  Software Quality Journal, 16(2):277-298,2008.
[59]  Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu.  Formula-Dependent Abstraction for CTL Model Checking..  ICCSA (2) 2008: 1035-1048
[60]  Yaodong Cui, Tianlong Gu, Wei Hu.  Simplest optimal guillotine cutting patterns for strips of identical circles..  J. Comb. Optim. 15(4): 357-367 (2008)
[61]  廖伟志 古天龙 董荣胜 .  流体随机Petri网的一阶混杂Petri网模型..  计算机科学, 2008,(01): 294-297
[62]  赵岭忠 古天龙 蔡国永 钱俊彦 ..  基于抽象解释的Prolog程序验证技术研究..  计算机科学, 2008,35 (07): 261-268
[63]  赵岭忠 古天龙 钱俊彦 ..  目标独立的Prolog程序路径依赖分析语义. .  计算机科学, 2008,35 (02): 246-253
[64]  骆翔宇 古天龙 董荣胜 ..  和与积数迷的符号化模型检测..  计算机科学, 2008,35 (05): 184-186
[65]  董荣胜 吴光伟 骆翔宇 古天龙 ..  一类具有“开端”结构的安全协议分析方法研究..  计算机科学, 2008,35 (07): 45-49
[66]  古天龙, 张勐. .  基于模型检验集成规划系统的机械装配序列规划..  计算机集成制造系统,2008,14(9):1781-1790
[67]  张慧敏,古天龙. .  基于Petri网模型的Ad Hoc网络可生存性分析. .  系统仿真学报, 2008, 20(9): 2487-2490(EI)
[68]  古天龙, 刘华东.  基于符号有序二叉决策图的装配序列生成技术..  计算机集成制造系统,2008,14(2):321-328(EI)
2007
[69]  Tianlong Gu, Zhoubo Xu.  The Symbolic Algorithms for Maximum Flow in Networks.  Computer&Operations Research, 34(2):799-816,2007.
[70]  Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai.  A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics..  APLAS 2007: 105-121
[71]  Lingzhong Zhao, Tianlong Gu, Junyan Qian.  Goal-independent Semantics for Path Dependent Analysis of Prolog Programs. .  TASE 2007: 261-272
[72]  廖伟志 古天龙 .  一种混杂Petri网模型动态演变研究..  小型微型计算机系统, 2007,28 (04): 645-650
[73]  廖伟志 古天龙 .  基于模糊逻辑的CCPN瞬时引发速率求解方法..  计算机工程, 2007,33 (09): 34-36
[74]  董荣胜 陈大伟 郭云川 古天龙 .  概率非否认协议的模型检测分析. .  计算机工程, 2007,33 (03): 163-166
[75]  农毅 古天龙 ..  基于网格环境中的量化评估信任模型..  计算机科学, 2007,34 (06): 88-91
[76]  董荣胜 吴光伟 郭云川 古天龙 .  基于串空间模型的Athena方法的改进..  计算机工程, 2007,33 (08): 136-139
[77]  杨志飞 古天龙 ..  基于OBDD的有向图的存储与操作研究..  计算机科学, 2007,34 (08): 283-285
[78]  赵岭忠 王雪松 古天龙 钱俊彦 .  一种基于熵的OBDD变量排序算法..  计算机科学, 2007,34 (02): 216-219
[79]  郝扬 古天龙 .  基于着色Petri网的Internet电话端系统业务冲突检测..  计算机科学, 2007, 34 (12): 41-45
[80]  宁黎华,古天龙.  基于免疫算法的装配序列规划问题求解..  计算机集成制造系统,2007, 13 (1):81-87
[81]  宁黎华,古天龙..  装配序列规划问题求解的一种混合算法..  计算机集成制造系统,2007, 13(4):762-767
[82]  刘霞,古天龙,董荣胜,郭云川.  移动环境公平支付协议的设计与分析研究.  通信学报, 28(4):32-37,2007.
[83]  古天龙, 杨志飞.  基于有序二叉决策图的装配序列符号表示方法.  计算机辅助设计与图形学学报, 19(10):131-132,2007.
[84]  古天龙,熊太平,赵岭忠..  柔性制造系统中生产调度问题求解的一种符号算法..  计算机集成制造系统,2007,13(2):338-344(EI)
2006
[85]  Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai.  On the New Application of Call Patterns to CPM Testing of Prolog Programs. .  Australian Conference on Artificial Intelligence 2006: 1265-1270
[86]  Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai.  Designing Prolog Semantics for a Class of Observables. .  PRICAI 2006: 1052-1057
[87]  Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai.  A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics..  SEKE 2006: 359-362
[88]  Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai.  A Base for Achieving Semantics for Prolog with Cut for Correct Observables .  Software Engineering Research and Practice, 664-670,2006.
[89]  Weizhi Liao and Tianlong Gu.  Optimization and control for mixed batch/continuous processes based on hybrid time Petri nets. Dynamics of Continuous Discrete and Impulsive Systems -Series A.  Mathematical Analysis, 2006,13(Suppl):1488 – 1495(SCI)
[90]  Weizhi Liao and Tianlong Gu.  Development time hybrid Petri nets for optimization and control of hybrid systems. Dynamics of Continuous Discrete and Impulsive Systems-Series A.  Mathematical Analysis,2006,13(Suppl):1479 –1487(SCI)
[91]  钱俊彦 古天龙 赵岭忠 ..  基于EHA模型检验Statecharts..  计算机工程, 2006,32 (03): 19-21
[92]  廖伟志 古天龙 王汝凉 . .  区间速率连续Petri网模型行为分析研究..  小型微型计算机系统, 2006,27 (08): 1490-1494
[93]  陈大伟 董荣胜 郭云川 古天龙 ..  IKEv2协议的SPIN模型检测. .  计算机工程, 2006,32 (05): 164-167
[94]  廖伟志 古天龙 .  区间速率连续Petri网的有效冲突及其消解.  计算机科学, 2006,33 (10): 221-225
2005
[95]  Mahsa Ghaeli, Parisa A Bahri, Peter Lee, and Tianlong Gu.  Petri-net based formulation and algorithm for short-term scheduling of batch plants.  Computers & Chemical Engineering, 29(2):249-259,2005.
[96]  Tianlong Gu, and Rongsheng Dong.  A Novel Continuous Model to Approximate Time Petri Nets: Modeling and Analysis .  Applied Math. & Computer Science, 15(1):141-150,2005.
[97]  Weizhi Liao and Tianlong Gu. .  Optimization and control of production systema based on interval continuous Petri nets..  Proceedings of 2003 IEEE International Conference on System, Man and Cybernetics, Waikoloa, USA, 1212-1217, 2005
[98]  Weizhi Liao, Ruliang Wang and Tianlong Gu.  Scheduling and control of mixed batch/continuous processes based on general hybrid Petri nets..  Proceedings of 4th International Conference on Machine Learing and Cybernetics, Guangzhou, China, 981-987, 2005 (EI)
[99]  徐周波,古天龙,赵岭忠.  网络最大流问题的一种新的符号ADD求解算法.  通信学报, 26(2):1-8,2005.
[100]  钱俊彦,古天龙, 赵岭忠.  Statecharts的形式化验证研究..  计算机工程, 2005,31(18): 19-21 (EI)
[101]  钱俊彦,赵岭忠,古天龙.  一种基于时间自动机的时钟等价性优化方法..  计算机工程, 2005,31 (18): 71-73(EI)
[102]  古天龙,李凤英.  一类Petri网调度问题的符号求解技术. 系统仿真学报, .  2005,17: 148-150 (EI)
[103]  姚家保,古天龙,徐周波.  二部图无权最大匹配的符号OBDD算法.  计算机科学, 2005, 32(8): 92-95
[104]  徐周波,古天龙,赵岭忠.  网络最大流问题求解符号ADD增广路径算法. .  计算机科学, 2005, 32(10):38-40
[105]  董荣胜,陈大伟,郭云川,古天龙.  公平非否认协议的有限状态分析. .  计算机科学,2005,32 (8): 83-86
[106]  孟瑜, 古天龙..  嵌入式系统协同设计中的扩展双变迁Petri网技术. .  计算机工程, 2005,31 (2): 198-201(EI)
[107]  董荣胜,郭云川,古天龙..  一种电子商务协议原子性的模型检验分析方法..  计算机科学, 2005, 32(4):184-186
[108]  董荣胜,彭勋,郭云川,古天龙. .  具有时限约束的安全协议分析技术研究..  计算机科学, 2005, 32(1):80-85
[109]  常亮,古天龙,郭云川..  互联网密钥交换协议的SMV分析..  计算机工程与应用, 2005,41(19):154-157
[110]  常亮,古天龙,郭云川.  电子合同签定协议的符号模型检验分析..  计算机工程与应用, 2005,41(1):161-164
[111]  钱俊彦 赵岭忠 古天龙 ..  一种基于自动机理论的LTL检验符号优化方法..  计算机工程, 2005,31 (23): 20-22
2004
[112]  郭云川,古天龙,董荣胜,蔡国永.  电子商务协议形式化分析的一种新方法..  计算机科学, 2004, 31(8):86-88
[113]  古天龙,郭云川,董荣胜,蔡国永..  Digicash协议原子性的符号模型分析..  计算机工程与应用, 2004,40(9):170-173
[114]  郭云川,古天龙,董荣胜,蔡国永. .  Netbill协议原子性的符号模型检验分析. .  计算机工程与应用, 2004,40(2):57-59
2003
[115]  Tianlong Gu, Parisa A Bahri, and Guoyong Cai.  Timed Petri-Net Based Formulation and an Algorithm for the Optimal Scheduling of Batch Plants.  Int. J. Applied Math. & Computer Science, 13(4):527-536,2003.
[116]  Tianlong Gu, Rongsheng Dong, and Yu-Chu Tian.  Continuous Petri Nets Augmented with Maximal and Minimal Firing Speeds. .  Proceedings of 2003 IEEE International Conference on System, Man and Cybernetics, Washington, USA, 1493-1498, 2003(EI)
[117]  Guoyong Cai, Tianlong Gu, and Peng Lam Chiou.  Testable Model Specification via Statechart Schema..  Exploring the New-Generation Computing Technology, World Academic Publishing Corporation, 2003, 254-258(EI)
[118]  赵新有,古天龙,董荣胜,李凤英..  异构网络协议转换器构造技术研究..  计算机科学,2003, 30 (10):117-119
[119]  赵新有,古天龙,蔡国永,董荣胜.  基于功能匹配分解的协议转换器构造技术研究..  计算机科学,2003,30(8):34-36
[120]  曹双进,董荣胜,古天龙,蔡国永..  基于Petri网的分布式实时调度模型研究..  计算机工程与应用,2003,39(30):75-78
[121]  郭云川,古天龙,董荣胜,李凤英..  Kerberos协议安全性的符号模型检验分析..  计算机工程与应用,2003,39(29):177-180
[122]  郭云川,古天龙,董荣胜,蔡国永..  Kailar逻辑缺陷的进一步讨论..  计算机工程与应用, 2003, 39(17):77-79
2002
[123]  Tianlong Gu, and Parisa A Bahri.  A Survey of Petri-Net Applications in Batch Processes.  Computers in Industry, 47(1):99-111,2002.
[124]  Tianlong Gu, Parisa A Bahri and Peter Lee.  Development of Hybrid Time Petri Nets for Scheduling of Mixed Batch/Continuous Process..  Proceedings of the 14th IFAC World Congress on Automatic Control, Barcelona, Spain, July, 2002
[125]  董荣胜,赵岭忠,蔡国永,古天龙.  基于对象的分布式实时系统调度模型研究.  计算机研究与发展, 39(12):1464-1470,2002.
[126]  董荣胜,古天龙,蔡国永,谢春光.  计算机科学与技术方法论,.  计算机科学,2002,29(1):1-4
[127]  廖伟志,古天龙,蔡国永,董荣胜..  一类时间自动机的时间约束可满足性判定方法,.  计算机工程与应用,2002,38(13):93-96
[128]  赵岭忠,董荣胜,蔡国永,古天龙..  基于对象分布式实时系统的约束的一致性研究..  计算机工程与应用,2002,38(15):60-63
2001
[129]  Tianlong Gu, Parisa A Bahri and Peter Lee.  Timed Petri-Net Based Scheduling Technique for Batch Plants with Consideration of Clean-up Times. .  Proceedings of the 6th World Congress of Chemical Engineering, Melbourne, Australia, September 23-27, 2001
2000
[130]  Tianlong Gu, W W L Keerthipala, Syed M Islam and C V Nayar.  A Novel Supervisory Control Method for the Switch operations in the Hybrid Wind/Diesel/Battery Energy Systems..  Proceedings of IME, Part A, 2000,214(A6):691-696(SCI、EI)
[131]  Tianlong Gu, Parisa A Bahri and Peter Lee.  Timed Petri-Net Based Scheduling Technique for Multipurpose Batch Plants--A Heuristic Algorithm. .  Proceedings of International Symposium on Advanced Control of Chemical Processes, Pisa, Italy, June 14-16, 2000(EI)
[132]  Tianlong Gu, Parisa A Bahri and Peter Lee.  A Novel Approach for the Short Term Scheduling of Multiproduct Batch Plants with Variable Batchsize. .  Proceedings of 2000 ACDEM, July 12-16, 2000, Perth, Australia
[133]  Tianlong Gu, Guoyong Cai and Parisa A Bahri.  The short term scheduling technique based on timed Petri-Net Representation for Multiproduct Batch Plants.  Control Theory & Application, 17(6):933-936,2000.
[134]  蔡国永,古天龙,董荣胜,庞健雄.  实时对象模型及其可预测调度研究.  计算机研究与发展, 37 (1):117-121,2000.
1999
[135]  Tianlong Gu, Guoyong Cai and Parisa A Bahri.  Timed Petri-Net Representation for Short Term Scheduling of Multiproduct Batch Plants..  Proceedings of 1999 American Control Conference,San Diego, CA, USA, 1999, 4092-4096(EI)
1998
[136]  董荣胜, 古天龙, 黄文明..  两层和三层Client/Sever结构的分析..  计算机工程, 1998,24(6): 26-29 (EI)
1997
[137]  古天龙, 高衿畅, 周春晖..  一类上限能控子语言的N步递推求解算法..  控制理论与应用, 1997, 14(1):48-51(EI)
[138]  古天龙, 蔡国永,庞健雄..  嵌入式实时系统及其相关问题..  电子科技导报,1997,(12):12-16
[139]  古天龙, 高衿畅, 周春晖.  离散事件系统的一种N步在线监控策略.  自动化学报, 23(3):404-407,1997.
1996
[140]  Tianlong Gu, Gao Jinchang and Zhou Chunhui.  Petri Nets with I/O Function Hybrid Model for Intelligent Control Systems. .  Proceedings of 1996 IEEE International Conference on System, Man and Cybernetics, Beijing, China, (2):848-852, 1996 (EI)
[141]  Tianlong Gu, Gao Jinchang and Zhou Chunhui.  On-line synthesis of supervisors for discrete events in automated manufacturing systems..  Proceedings of the IEEE International Conference of Industry Technique, Shanghai, China, 176-179,1996(EI)
[142]  Tianlong Gu, Gao Jinchang and Zhou Chunhui.  Hierarchical, Real-time Control Policy of Discrete Events in CIMS. .  Proceedings of the 3rd APIS/IMAC, Beijing, China, 154-157, 1996
[143]  Tianlong Gu, Gao Jinchang, and Zhou Chunhui.  Petri-Net-Based Coordinate Control of Discrete Events in Batch Processes. .  Proceedings of the 3rd APIS/IMAC, Beijing, China, 135-137, 1996
[144]  古天龙, 高衿畅, 周春晖..  间歇生产过程中离散事件的Petri网建模与协调控制..  信息与控制, 1996,25(5):282-286
[145]  古天龙, 高衿畅, 周春晖..  离散事件动态系统的Petri网模型实现..  系统仿真学报, 1996,8(Sup):6-10
[146]  古天龙, 高衿畅, 周春晖.  多产品间歇生产过程离散事件的建模和分析..  控制理论与应用, 1996,13(1):125-130(EI)
1995
[147]  古天龙, 高衿畅, 周春晖..  实时系统控制软件及其设计..  信息与控制, 1995,24(Sup): 475-482
1994
[148]  古天龙..  组合逻辑电路的Petri网仿真分析..  系统仿真学报, 1994,6(2):32-36
1993
[149]  古天龙..  一类离散事件系统的建模与分析研究.  系统仿真学报, 1993,5(3):2-7
[150]  古天龙..  一类资源分配问题的DEDS模型..  系统工程,1993,11(4):12-16
1990
[151]  Huli Shi, Guohua Xu and Tianlong Gu.  Software Error Correction Technique for High Precision Pointing Antenna.  Proceedings of IMMA'90, Russia,1990
[152]  古天龙..  非线性系统辨识的Taylor级数方法..  航空学报,1990,11(5):277-281
[153]  古天龙..  分段线性函数应用于线性时变系统的分析..  西安电子科技大学学报,1990, 17(4): 49-55
1989
[154]  古天龙.  平面温度场的延拓有限元分析..  航空学报, 1989,10(6): 335-338
[155]  古天龙..  二维电磁场数值计算中的延拓有限元技术.  系统工程与电子技术,1989, (2): 8-12
[156]  古天龙..  分段线性函数应用于线性时变系统的最优控制..  控制理论与应用,1989, 6(4): 102-108
[157]  古天龙..  非线性系统的Fourier级数辨识..  西安电子科技大学学报,1989,16(3): 157-161
[158]  古天龙..  线性连续时间系统的一种分析方法..  系统工程与电子技术,1989,(6):7-10
[159]  古天龙..  BLF函数及其在系统分析和辩识中的应用..  系统工程,1989,(5):42-45
[160]  古天龙..  双线性系统参数估计中的泰勒级数方法..  西安电子科技大学学报, 1989,16(4):39-43(核刊)
1988
[161]  施浒立, 古天龙..  有限元分析中的信息处理--单元延拓里兹法.  计算结构力学及应用,1988, 5(4):13-19
[162]  古天龙.  挠性结构微振动的主动控制..  西安电子科技大学学报,1988,15(2): 71-75
[163]  古天龙..  单连杆弹性机械手的最优控制..  系统工程与电子技术, 1988,(10):61-65
 

学术著作

2012
[1]  古天龙, 常亮.  离散数学.  北京:清华大学出版社.  2012 .04
2009
[2]  古天龙, 徐周波.  有序二叉决策图及应用.  北京:科学出版社.  2009 .04
2008
[3]  陈光喜, 丁宣浩, 古天龙.  离散数学..  北京:电子工业出版社.  2008 .01
2005
[4]  古天龙.  软件开发的形式化方法.  北京:高等教育出版社.  2005 .01
2004
[5]  杨文龙, 古天龙.  软件工程.  北京:电子工业出版社.  2004 .09
2003
[6]  古天龙, 蔡国永.  网络协议的形式化分析与设计.  北京:电子工业出版社.  2003 .06
2002
[7]  董荣胜, 古天龙.  计算机科学与技术方法论.  北京:人民邮电出版社.  2002 .09

科研项目

[1]  “基于描述逻辑及符号算法的事例相似性研究” .国家自然科学基金项目, 2013.01-2016.12 .  古天龙
[2]  “面向装配规划的领域知识表示及推理研究” .国家自然科学基金项目, 2010.01-2012.12.  古天龙
[3]  “基于符号OBDD的装配序列规划研究” .广西自然科学基金重点项目, 2008.04-2010.04.  古天龙
[4]  “装配序列生成的符号技术研究” .国家自然科学基金项目, 2006.01-2008.12.  古天龙
[5]  “UML Statecharts及其时间扩展的模型检验技术研究” .广西自然科学基金项目, 2005.07-2008.07.  古天龙
[6]  “Petri网符号分析/验证工具开发及应用研究” .广西新世纪十百千人才工程专项基金项目, 2005.01 --2007.12.  古天龙
[7]  “时间Petri网的符号OBDD调度技术研究” .广西自然科学基金项目, 2004.07-2007.07.  古天龙
[8]  “一类混杂过程的Petri网规格及调度技术研究” .教育部留学回国人员基金项目, 2003.11-2006.12.  古天龙
[9]  “基于对象的分布式实时系统调度模型研究” .广西自然科学基金项目, 2002.07-2004.12 .  古天龙
[10]  "数字化关键技术与产品" .国家863子项目, 2002.01-2004.12.  古天龙
[11]  “混杂生产过程的混杂Petri网建模和符号调度技术研究” .国家自然科学基金项目, 2002.01-2004.12.  古天龙
[12]  “实时混杂模型验证技术及应用研究” .广西自然科学基金项目, 2001.08-2003.12.  古天龙
[13]  “混合间歇/连续生产过程的Petri网调度技术研究” .中澳合作研究项目, 2001.01-2003.12.  古天龙
[14]  “嵌入式实时系统设计环境的研究与开发” .广西十百千人才工程专项基金项目, 2001.01-2003.12.  古天龙
[15]  “基于混杂系统的实时系统设计、验证技术研究” .广西教委跨世纪人才基金项目, 1999.09-2002.12.  古天龙
[16]  "电子书包研制" .国家863子项目, 1999.10-2000.12.  古天龙
[17]  “嵌入式实时系统可预测调度研究” .广西自然科学基金项目, 1998.09-2000.12.  古天龙
[18]  “具有互操作性软件体系模型设计与实现技术研究” .国防预研基金项目, 1997.09-2000.12.  古天龙
[19]  “嵌入式实时系统的软/硬件协同设计研究” .广西跨世纪人才基金项目, 1996.09-1999.12.  古天龙
[20]  “复杂生产过程中离散事件的建摸、分析和控制研究” .广西自然科学基金项目, 1996.09-1998.12.  古天龙
[21]  “基于Ada的形式化规格技术研究” .国防预研重点项目, 1996.01-2000.12.  古天龙
[22]  “面向事件驱动控制问题的Ada代码自动生成研究” .电子工业部电科院预研项目, 1995.09-1997.12.  古天龙
[23]  “离散事件系统理论及应用研究” .电子工业部电科院预研基金项目, 1994.09-1996.12.  古天龙
[24]  “多通道地震数据滤波软件开发” .西安石油仪器研究所横向协作项目, 1988.08-1989.09.  古天龙
[25]  “三维人体参数测量系统研究” .机械电子工业部预研项目, 1987.09-1990.12.  古天龙
[26]  “双反射面天线机电一体化设计技术研究” .机械电子工业部预研项目, 1987.09-1991.08.  古天龙
[27]  “185雷达天线误差修正补偿控制系统开发” .西北电子设备研究所横向协作项目, 1987.02-1988.10 .  古天龙

知识产权

2014
[1]  发明专利 .  虚拟专用网络中安全隐患的解决方法.. 古天龙, 何仲春, 常亮, 徐周波, 徐彬彬. 2014 .11
[2]  发明专利.  网络可靠性动态评估的方法和装置.. 古天龙, 徐彬彬, 常亮, 徐周波, 何仲春. 2014 .10

联系信息

所在单位:  桂林电子科技大学 
个人主页 :   http://www.scholat.com/gutianlong
Email :    cctlgu@guet.edu.cn