古天龙 - 桂林电子科技大学

个人简介

分别于1984年、1987年、1996年在太原理工大学、西安电子科技大学和浙江大学获工学学士、硕士、博士学位。1998年至2002年在澳大利亚CURTIN理工大学、MURDOCH大学进行博士后和客座访问研究。现为西安电子科技大学计算机应用技术学科兼职博士生导师，桂林电子科技大学网络空间安全学科博士生导师。荣获首批新世纪国家“百千万人才工程”人选，国务院政府特殊津贴专家，全国模范教师，中国侨界创新人才贡献奖，广西教学名师，广西优秀专家，广西高校杰出科技人才，广西优秀留学回国人员，广西侨界青年杰出人物，广西“十百千人才工程”人选，广西高校跨世纪中青年学科带头人，电子工业系统优秀教师，电子工业部优秀科技青年等。近年来主持国家863计划项目、国家自然科学基金、国防预研重点项目、国防预研基金等30余项；出版学术著作《有序二叉决策图及应用》《软件开发的形式化方法》《网络协议的形式化分析与设计》等3部；在《Formal Methods in Systems Design》《Computer Aided Design》《Journal of Automated Reasoning》《计算机学报》《软件学报》《通信学报》《电子学报》《自动化学报》《航空学报》等国内外重要学术刊物发表学术论文200余篇（其中SCI、EI收录100余篇）。开设本科生/研究生课程9门，指导硕士研究生81人、博士研究生16人。承担教育科学研究和教学改革项目13项，出版研究生/本科生教材《软件工程》《计算机科学与技术方法论》《离散数学》等3部。国家级精品课程、国家级特色专业、国家级教学团队、国家级人才培养模式创新实验区负责人。教育背景分别于1984.08、1986.12、1996.01在太原理工大学、西安电子科技大学、浙江大学获工学学士、硕士、博士学位。工作经历 2018.08 – 至今，广西壮族自治区政协，教科文卫体委员会，副主任 2013/11 – 2018.08，桂林电子科技大学，教授，校长 2003/08 - 2013/11，桂林电子科技大学，教授，副校长 2002/03 - 2003/08，桂林电子科技大学，计算机学院，教授，院长 1999/01 - 2002/03，澳大利亚Murdoch 大学，工学院，研究员 1998/01 - 1999/01，澳大利亚Curtin 理工大学，工学院，博士后 1996/04 - 1998/01，桂林电子工业学院，计算机系，副教授主要荣誉广西科技进步二等奖（2018）广西科技进步二等奖（2017）广西科技进步二等奖（2015）国家级教学成果二等奖（2014）广西自然科学奖二等奖（2013）广西教学成果特等奖（2012）新世纪百千万人才工程国家级人选（2004）国务院政府特殊津贴专家（2004）广西优秀教学成果一等奖（2004）广西社会科学优秀成果三等奖（2004）广西优秀教材一等奖（2003）广西十百千人才工程人选（2000）全国模范教师称号（1998）广西高校科技进步二等奖（1998）电子工业系统优秀教师（1997）广西高校跨世纪中青年学科带头人（1996）电子工业部优秀科技青年（1996）教学信息主讲课程：离散数学（本科生，国家级精品课程）自动控制原理（本科生）形式语言与自动机（本科生）人工智能概论（本科生）离散事件动态系统理论（研究生）形式化方法（研究生）协议工程（研究生）运筹学（研究生）人工智能原理（研究生）学术著作 [1] 古天龙, 常亮. 离散数学. 北京：清华大学出版社. 2012 .04 [2] 古天龙, 徐周波. 有序二叉决策图及应用. 北京：科学出版社. 2009 .04 [3] 陈光喜, 丁宣浩, 古天龙. 离散数学.. 北京：电子工业出版社. 2008 .01 [4] 古天龙. 软件开发的形式化方法. 北京：高等教育出版社. 2005 .01 [5] 杨文龙, 古天龙. 软件工程. 北京：电子工业出版社. 2004 .09 [6] 古天龙, 蔡国永. 网络协议的形式化分析与设计. 北京：电子工业出版社. 2003 .06 [7] 董荣胜, 古天龙. 计算机科学与技术方法论. 北京：人民邮电出版社. 2002 .09 科研项目 [1] “基于大数据的政府治理综合示范应用（子课题）”.国家自然科学基金重点项目,2018-2021. [2] “智慧旅游服务及应用示范”.广西科技重大专项项目,2017-2020. [3] “面向智慧城市的大规模数据计算理论和关键技术”.国家自然科学基金重点项目,2016-2019. [4] “基于符号决策图的图数据表示和匹配研究”.国家自然科学基金面上项目,2016-2019. [5] “中国-东盟卫星导航国际联合创新平台”.广西科技基地和人才专项,2017-2020. [6] “大规模图数据的表示、匹配和推理研究”.广西自然科学基金重点项目，2016-2019. [7] “基于描述逻辑及符号算法的事例相似性研究” .国家自然科学基金项目, 2013.01-2016.12 . [8] “面向装配规划的领域知识表示及推理研究” .国家自然科学基金项目, 2010.01-2012.12. [9] “基于符号OBDD的装配序列规划研究” .广西自然科学基金重点项目, 2008.04-2010.04. [10] “装配序列生成的符号技术研究” .国家自然科学基金项目, 2006.01-2008.12. [11] “UML Statecharts及其时间扩展的模型检验技术研究” .广西自然科学基金项目, 2005.07-2008.07. [12] “Petri网符号分析/验证工具开发及应用研究” .广西新世纪十百千人才工程专项基金项目, 2005.01 --2007.12. [13] “时间Petri网的符号OBDD调度技术研究” .广西自然科学基金项目, 2004.07-2007.07. [14] “一类混杂过程的Petri网规格及调度技术研究” .教育部留学回国人员基金项目, 2003.11-2006.12. [15] “基于对象的分布式实时系统调度模型研究” .广西自然科学基金项目, 2002.07-2004.12 . [16] “数字化关键技术与产品” .国家863子项目, 2002.01-2004.12. [17] “混杂生产过程的混杂Petri网建模和符号调度技术研究” .国家自然科学基金项目, 2002.01-2004.12. [18] “实时混杂模型验证技术及应用研究” .广西自然科学基金项目, 2001.08-2003.12. [19] “混合间歇/连续生产过程的Petri网调度技术研究” .中澳合作研究项目, 2001.01-2003.12. [20] “嵌入式实时系统设计环境的研究与开发” .广西十百千人才工程专项基金项目, 2001.01-2003.12. [21] “基于混杂系统的实时系统设计、验证技术研究” .广西教委跨世纪人才基金项目, 1999.09-2002.12. [22] "电子书包研制" .国家863子项目, 1999.10-2000.12. [23] “嵌入式实时系统可预测调度研究” .广西自然科学基金项目, 1998.09-2000.12. [24] “具有互操作性软件体系模型设计与实现技术研究” .国防预研基金项目, 1997.09-2000.12. [25] “嵌入式实时系统的软/硬件协同设计研究” .广西跨世纪人才基金项目, 1996.09-1999.12. [26] “复杂生产过程中离散事件的建摸、分析和控制研究” .广西自然科学基金项目, 1996.09-1998.12. [27] “基于Ada的形式化规格技术研究” .国防预研重点项目, 1996.01-2000.12. [28] “面向事件驱动控制问题的Ada代码自动生成研究” .电子工业部电科院预研项目, 1995.09-1997.12. [29] “离散事件系统理论及应用研究” .电子工业部电科院预研基金项目, 1994.09-1996.12. [30] “多通道地震数据滤波软件开发” .西安石油仪器研究所横向协作项目, 1988.08-1989.09. [31] “三维人体参数测量系统研究” .机械电子工业部预研项目, 1987.09-1990.12. [32] “双反射面天线机电一体化设计技术研究” .机械电子工业部预研项目, 1987.09-1991.08. [33] “185雷达天线误差修正补偿控制系统开发” .西北电子设备研究所横向协作项目, 1987.02-1988.10 .

研究领域

研究领域：大数据，人工智能，信息安全，云计算，物联网

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

①TianlongGu,ZhouboXuandHuadongLiu.TheSymbolicOBDDSchemeforGeneratingMechanicalAssemblySequences.FormalMethodsinSystemsDesign,2008,33(1):29-44 ②TianlongGu,andZhifeiYang.SymbolicOBDDRepresentationsforMechanicalAssemblySequences.ComputerAidedDesign,2008,40(4):411-421 ③TianlongGu,andZhouboXu.TheSymbolicAlgorithmsforMaximumFlowinNetworks.Computer&OperationsResearch,2007,34(2):799-816 ④TianlongGu,andParisaABahri.ASurveyofPetri-NetApplicationsinBatchProcesses.ComputersinIndustry,2002,47(1):99-111 ⑤TianlongGu,andRongshengDong.ANovelContinuousModeltoApproximateTimePetriNets:ModelingandAnalysis.Int.J.AppliedMath.&ComputerScience,2005,15(1):141-150 ⑥刘霞,古天龙,郭云川.移动环境公平支付协议的设计与分析研究.通信学报,2007,28(4):32-37 ⑦李凤英,古天龙,徐周波.Petri网的符号ZBDD可达树分析技术.计算机学报,2009,32(12):2420-2428 ⑧古天龙,徐周波.有序二叉决策图及其应用.北京：科学出版社，2009.06 ⑨古天龙.软件开发的形式化方法.北京：高等教育出版社，2005.01 ⑩古天龙,蔡国永.网络协议的形式化分析与设计.北京：电子工业出版社，2003.06

学术兼职

兼任教育部高等学校计算机类专业教学指导委员会副主任委员，中国人工智能学会离散智能计算专委会副主任委员、知识工程与分布式智能专委会委员，中国计算机学会电子政务与办公自动化专委会委员、计算机工程与工艺专委会委员，中国-东盟卫星导航国际合作联盟理事长，卫星导航定位与位置服务国家地方联合工程研究中心主任，广西计算机学会副理事长，《计算机科学》《计算机教育》编委。