个人简历
学术论文
（1）Gao Chun-Ming，LiuRong-Sheng，Yan Song，ChenHuo-Wang. WebJetChecker: A Formal Verification Tool Embedded into ServicesComposition Development Environment. In: Proc of the 5th InternationalConference on Grid and Cooperative Computing(GCC2006), Changsha, P.R. China: IEEE Computer Society,2006, 355-362.
（2）高春鸣，彭杨. 一种基于图聚类的Web服务组合分布式运行方法.计算机研究与发展，44（Suppl.）：302-308，2007.
（3）Chunming Gao，JinLi， Huowang Chen. Model Checking for BPEL4WS with Time. In: Proc of TheFirst International Workshop on Process Aware Information Systems (PAIS 2007)， June 16-18， 2007. Huang Shan， China. APWeb/WAIM 2007 Ws，LNCS 4537，pp. 528-533.
（4）Chunming Gao, Liping Wan, Huowang Chen. A Methodof Web Services Composition Based on Service Alliance. In: Proc of The First InternationalWorkshop on Process Aware Information Systems (PAIS 2007), June 16-18，2007. Huang Shan,China. APWeb/WAIM 2007 Ws, LNCS4537, pp. 491–496.
（5）Chunming Gao，MeilingCai，HuowangChen. QoS-Driven Global Optimization of Services Selection Supporting ServicesFlow Re-planning. In: Proc of The First International Workshop on Process AwareInformation Systems (PAIS 2007), June 16-18， 2007. Huang Shan,China.APWeb/WAIM 2007 Ws, LNCS 4537, pp. 516–521.
（6）Chunming Gao，Weian Chen，Huowang Chen. A Feedback Control Framework of ServiceComposition Execution for Response Time Guarantee. International Conference onWeb Services (ICWS 2007)，July 9-13, 2007.Salt Lake City, Utah,USA.
（7）Chunming Gao，Yong Li，Huowang Chen. ServicesComposition Modeling with Mobility and Time. International Conference on WebServices (ICWS 2007) conjoint with 2007 IEEE International Workshop on WebServices Testing (WS-Testing 2007)，July 9-13, 2007.Salt Lake City, Utah,USA.
（8）Chunming Gao，Yong Li，Huowang Chen. Distributed System Modeling Based on Discrete Time Mobile Ambient. In: Procof The 2007 International Conference on Parallel and Distributed ProcessingTechniques and Applications(PDPTA 2007), Volume I 57-63, June 25-28，2007.Las Vegas, USA.
（9）Chunming Gao，Meiling Cai，HuowangChen. QoS-aware Service Composition Based on Tree-CodedGenetic Algorithm. In: Proc. of The 31st Annual International Computer Softwareand Applications Conference (COMPSAC 2007)，July 24-27，2007,Beijing，China,Volume I，361-367.
（10）Chunming Gao，XiaojuanYuan，HuowangChen. The Execution Mechanism of Service Proxy in the Web Services CompositionExecution Engine. In: Proc. of The 31st Annual International Computer Softwareand Applications Conference (COMPSAC 2007)，July 24-27，2007,Beijing，China，VolumeⅠ，647-648.
（11）Chunming Gao，HuangTan，HuowangChen. Frameworks of Composite Services Execution Engine with Feedback Control.In: Proc of The First IEEE International Workshop on Requirements EngineeringFor Services (REFS 2007)，July24-27，2007.Beijing，China，VolumeII，503-508.
（12）Chunming Gao， Shizhang Ji， Rongsheng Liu， Huowang Chen， Compatibility Checking of Web Services Composition inPervasive Computing. In: Proc of the 1th International Symposium on PervasiveComputing and Applications， Beijing: IEEE Press.2006. 652～657.（EI INSPEC & Compendex）
（13）高春鸣，陈跃新，苏亮，刘东波. 正向推理机系统开发平台研究.计算机工程与应用 2002，38（19）：78-80.
（14）高春鸣，陈传淼，全惠云. 动态构造虚拟公共网络服务的一个多agent协商模型. 计算机工程与应用2003，（15）：11-13
（15）高春鸣，全惠云. 基于移动Agent的IP网络管理系统设计.计算机工程与应用 2004，40（1）：160-161.
（16）高春鸣，黄圆媛，陈火旺. 基于CCS的软件规范描述及实例研究. 计算机工程与应用，2005年12月，41（23）：47-50
（17）高春鸣，黄邵，陈火旺.Web服务组合语言的出错与补偿处理的Pi演算描述. 计算机工程与科学，2007年3月，29（3）：112-116
（18）高春鸣, 兰秋军.基于自动分析直方图灰度分布的数字图像阀值化算法.计算机科学，2001,28(4):58-60
（19）高春鸣,二值图像骨架的数学形态学描述及重建,长沙铁道学院学报 1996,14(4):89-93
（20）高春鸣,兰秋军,应用数字图象增强技术处理医学影象的研究,计算机工程 2001,27(5):47-49
(21) 高春鸣，张立敏，李实英.三维动画渲染集群节能控制研究, 中国计算机辅助设计与图形学2008，ISBN：978-7-121-07087-7
（22）高春鸣，张立敏，李实英.三维动画渲染集群节能控制研究,计算机工程与应用，2009年，45(5):67-70
(23)李谢华，高春鸣.基于改进认证测试理论的高效安全协议验证算法,计算机科学, 2009年，36(4):73-76
（24）刘东波，高春鸣.采用二叉树编码的遗传算法实现数据拟合。数学理论与研究，2002，22（1）：32-35.
（25）李朱超,高春鸣. 管理信息系统通用构件框架及其应用 计算机工程与应用 2004，40（18）：67-70
(26）黄圆媛，高春鸣. 基于活动网络图的工作流过程定义工具的研究.计算机工程与应用，2006，42（2）：48-51
（27）宋燕，高春鸣. 基于Mobility Workbench的BPEL4WS死锁验证. 计算机工程,2007，33（1）：92-97
（28）袁勇福,高春鸣,刘荣胜.
Web服务组合语言的互模拟验证.计算机应用,2006，26（10）：2466-2469
（29）刘荣胜，黄邵，高春鸣. 基于类型化pi演算的Web服务组合相容性检测， 计算机工程与应用，2007，43（7）：120-124
（30）崔曙光，高春鸣，万里平.基于QOS生命周期管理的服务组合在线优化方法。计算机工程与应用。2007，43(29):150-153
（31）万里平，高春鸣，肖伟，苏亮.基于QOS的WEB服务组合的全局优化方法。计算机工程与应用.2007,43(24):65-68
（32）陈伟安，高春鸣. 一种基于反馈控制的WEB服务组合执行引擎设计。计算机工程与应用，2007年，43(29):154-158
（33）袁小娟，高春鸣. WEB服务组合执行引擎中服务代理运行机制研究。计算机工程与应用，2007，43(28):103-106
（34）蔡美玲，高春鸣.基于树型编码的遗传算法在Web服务选择中的应用，计算机工程与应用。2007年，43(31):137-140
（35）万里平，蔡美玲，高春鸣. 基于服务联盟的Web服务组合模型及方法，计算机工程与应用，2007年，43(31):137-140
（36）彭杨，崔曙光，高春鸣，一种基于数据流约束的Web服务组合划分方法，计算机工程与应用，2007年，43(29):150-153
（37）张立敏，高春鸣，蔡美玲.WEB服务组合运行时的容错处理，计算机工程与应用。2008年，44（3）:143-147
（38）邹方, 高春鸣. Web服务组合运行中的容错架构，计算机工程.2008, 34(18):89-92
（39）李津，李勇，高春鸣. 基于时间Ambient演算的业务流程模型验证，计算机工程与设计，2008年，29(3):554-559
（40）胡雪艳，苏亮，高春鸣.演化数据流上的连续异常检测。计算机工程与应用，2008年，44(7):174-178
（41）周志致，高春鸣.Web服务事务模型与协议研究.计算机应用，2008年，28（4）：1035-1038
（42）谭煌，高春鸣, 袁勇福. 基于异步PI演算的WEB服务长事务协议性质分析. 计算机工程与应用，2008年，44(11):80-85
（43）谭煌，高春鸣. 基于反馈控制的服务组合引擎的设计与实现.计算机工程，2008年，34（8）：93-95
（44）齐 杰，高春鸣. 面向集群渲染的反馈控制负载均衡算法. 计算机工程,2008 34(16):129-131
（45）陈为满，苏亮，高春鸣. 数据流上快速子序列匹配. 计算机工程与应用，2008年，44(36):174-178
（46）李斌，谭光华，高春鸣.红外摄像机组的一维标定物设计和标定.计算机应用，2013年，33（5）：1423-1427
（47）WeixiaChen,Huawei Pan,Chunming Gao,YuanLie.Model-based human pose estimation using labeledvoxels by ICP, 2013,Journal of Computational Information System, 9:1(2013)1-8(EIindex)
（48）MeilanZhou Guanghua Tang Chunming Gao.Human Skeleton Reconstruction for OpticalMotion Capture. 2013,Journal of Computational Information System, 9:1(2013)1-8(EIindex)
科研状况
主持2014年省科技厅项目“韶山红色文化体验式生态旅游业态研发与示范”；
主持2014年省科技厅重大专项“基于海量资源的数字出版动态组合关键技术研发与应用”；
主持2013年教育部-广东省产学研结合项目"3G数字动漫关键技术研发及产业化应用”；
主持2013年科技部文化与科技融合支撑重点项目“文化旅游资源挖掘与体验式平台研发与示范”。
主持长沙市科技计划重大专项项目“现代动漫关键共性技术开发与'大动漫’支撑体系建设--动漫产业关键共性技术研究及产品开发” (编号:K1003006-61)。
主持长沙市科技计划项目“动作捕获系统研究与应用”项目（编号K09050101-11）。
主持2009长沙移动公司“移动网络资源管理”项目。
主持2009文化部国家扶持动漫产业发展部际联席会议重大专项“手机动漫公共服务平台”，国家扶持动漫产业发展部际联席会议办公室函[2009]2号。
主持2008中国国家原创动漫高级研修班（动漫技术方向）项目，文化部国家扶持动漫产业发展部际联席会议。编号：文化部文化市场司函[2008]95号。
主持2007年国家863重点项目“软件及数字媒体IP资源验证和组织技术研究及系统开发” （编号2007AA010404）。
主持2007年科技部科技支撑重大专项“数字卡通共性支撑技术研究与应用” 子项目分别为“特效插件与工程化运营服务平台”（编号2007BAH14B01）。
主持2008年文化部国家扶持动漫产业发展部际联席会议重大专项“国家电视动画动漫公共技术服务平台”子项目“脚本驱动的三维特效实现”。编号：国家扶持动漫产业发展部际联席会议办公室函[2008]5号。
主持2008年湖南省自然基金项目“飘逸现象及表情动画的3D动漫特效插件研究”，(编号: 08JJ6041)。
主持2006年湖南省科技厅“十一五”重大专项 “基于虚拟计算环境的动画渲染系统”,（编号：2006GK4034）。
主持2005年湖南省科技厅重点科技攻关项目“业务流程动态装配平台”（编号：05GK2002）。
主持2004年湖南省自然基金项目“基于网络监测的网格优化计算调度模型及应用”，(编号:03JJY6023)。
主持2006年长沙市科技攻关重点项目“三维图形渲染系统开发”(编号:K06070001-12)。
主持2007年长沙市科技攻关重点项目“面向卡通动画的分布式渲染研究”(编号：K07044-11)。
主持2007年长沙市科技攻关重点项目“面向社区以科普为主题的动漫作品制作-奇妙的星城漫游”(编号:K070515-11)。
主持2004年湖南省公安厅公安科研项目《“金盾工程”信息共享平台》，编号：HNGA2004-15。
主持2004年湖南银河信息产业公司委托项目“嵌入式系统实时操作系统及数据挖掘和模式识别”。
主持2005年创智国际软件公司委托项目“基于J2EE平台的应用软件开发”。
主持2005年深圳成就科技软件公司委托项目“成就科技软件执行控制系统”。
学生培养
（1）指导的学生廖志军,李登,万里平获2005年第九届全国大学生“挑战杯”竞赛三等奖
（2）指导的学生谭煌同学参加湖南省大学生“挑战杯”创业大赛（2006年6月）获得银奖 。
（3）2006年第二届中国开源竞赛华中区比赛，指导李津、李勇、袁永福同学的"BPEL模型验证工具WebChecker"获得二等奖，谭煌助教、周志致同学的“WEB服务代理”获得优胜奖，夺得团体第二名。2006年第二届中国开源竞赛全国总决赛，袁永福、李津、李勇同学完成的“BPEL程序验证工具--WebJetChecker”项目，获得创新奖，此次总决赛学生组共设金奖1名，银奖3名，铜奖5名，创新奖5名，最终金奖空缺。
(4)周维、蔡美玲、崔曙光、廖志军、袁永福、刘荣胜、李勇、李津、周志致9位同学参加2006年第七届湖南省挑战杯大赛获得一等奖。参赛作品是“WebJet软件智能集成平台”。
（5）指导研究生周维、陈伟安、郑志刚、邹方参加2007年第十届全国大学生“挑战杯”竞赛获得三等奖。
（6）指导研究生2008年度获奖：黄一嘉，张国军.2008英特尔杯设计创新大赛特别奖，作品名称:“Easy U”家庭装修数字化平台。曾陆陆，2008英特尔杯设计创新大赛优秀奖，作品名称：Tasting Your Life。
（7）指导研究生2009年度获奖：杨勇.深圳第26届世界大学生夏季运动会海报设计大赛，09年度赛学生组入选奖，2009年3月1日。
