性别：

男

学位：

工学博士

最高学历：

博士研究生

职称：

讲师

所在单位：

计算机学院/软件学院

导师类别：

硕士生导师

招生学科：

081203计算机应用技术

个人简介

金仙力，男，博士，南京邮电大学计算机学院计算机技术研究所讲师。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. 080311032583)

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.082811367324)

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. 071610553138)

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. 065110314509)

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. 084511678109)

7)Xianli Jin. The 2011 2nd International Congress on Computer Applications and Computational Science (CACS 2011), Bali, Indonesia, November 15-17, 2011.(EI)

等。

联系方式

单位电话：18951896832

Email：jxl@njupt.edu.cn

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