南京邮电大学计算机/软件学院导师介绍：金仙力

　　个人简介
　　金仙力，男，博士，南京邮电大学计算机学院计算机技术研究所讲师。2007年毕业于北京邮电大学计算机应用专业。从攻读博士到工作一直从事形式化方法等相 关理论和应用研究，在该领域具有较强的科研及实践能力。参与过纵向项目8项（其中，国家重点基础研究发展规划(973)项目1项，国家自然科学基金项目5 项，其它科研项目2项）和横向项目7项。先后发表论文10余篇，其中EI收录7篇，ISTP收录1篇。
　　
　　参加或负责过与本项目相关的项目主要有：
　　1）国家自然科学基金项目：多媒体电子商务系统的形式模型研究（60242002），主要参与人，2003.1~2005.12
　　2）国家自然科学基金项目：视频信息网格体系结构及其典型应用研究（90612013），主要参与人，2006.1~2008.12
　　3）国家重点基础研究发展规划(973)项目：复杂生产制造过程实时,智能控制与优化理论和方法研究（2002cb312200），主要参与人，2002.1~2008.12
　　4）教育部新世纪优秀人才支持计划（NCET-04-0110），主要参与人，2005.1~2007.12
　　5）南京邮电大学引进人才科研启动基金（NY208007）：网构软件的环境自适应性的形式化技术研究，项目负责人，2009.1~2010.12
　　6）江苏省教育厅自然科学基金项目（09KJD520007）：电子数据可信取证的建模方法研究，项目负责人，2009.12-2010.12
　　7）南京邮电大学校级教改项目（JG00411JX32）：实际编程环境下的《面向对象程序设计及C++》课件设计，项目负责人，2011.6-2012.5
　　8）国家自然科学基金项目：无线多媒体传感器网络图像处理关键技术研究（61003236），主要参与人，2011.1-2013.12。

　　研究方向及主要成果
　　主研方向为：
　　形式化方法、WEB服务和信息安全等。
　　1）金仙力, 马华东. 基于OCL的服务构件特征语义描述模型. 计算机研究与发展, 2007, 44(12): 2112~2121. ( EI, No. ************）
　　2）Xianli Jin, Huadong Ma, Zonghua Gu. Real-Time Component Composition Using Hierarchical Timed Automata. The Seventh International Conference on Quality Software (IEEE QSIC 2OO7), Portland, Oregon, USA, October 11-12, 2007. (EI, No.************）
　　3）Xianli Jin, Huadong Ma. Hierarchically Modeling the Component-based Real-time System with Duration Calculus. The Fifth International Conference on Information, Communications and Signal Processing (IEEE ICICS2005), Bangkok, Thailand, December 6-9, 2005. (EI, No. ************）
　　4）Xianli Jin, Huadong Ma. An Approach to Formally Modeling the Component-based E-commerce System. IEEE International Workshop on Service-Oriented System Engineering (IEEE SOSE2005), Beijing, China, October 20-21, 2005. (EI, No. ************）
　　5）Xianli Jin, Xi Shao. The Formal Model of Real-time Service Components Composition Based on DCValid. The 2009 World Congress on Computer Science and Information Engineering (CSIE 2009), Los Angeles/Anaheim, USA, March 31 to April 2, 2009. (EI, No. 20094712464439)
　　6）Keda Lv, Huadong Ma, Xianli Jin. A Policy-based Conflict Detection Model for Billing Rules. The First IASTED International Conference on Communication Systems and Networks (AsiaCSN2007), Phuket, Thailand, April 2-4, 2007. (EI, No. ************)
　　7）Xianli Jin. The 2011 2nd International Congress on Computer Applications and Computational Science (CACS 2011）, Bali, Indonesia, November 15-17, 2011.(EI)
　　等。

　　联系方式
　　单位电话：***********
　　Email：jxl@njupt.edu.cn

　　*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式>>