个人信息

姓　　名: 金仙力 性　　別: 男 导师类型: 硕士生导师
技术职称: 副教授 电子邮箱: jxl@njupt.edu.cn
学术型硕士招生学科: (081200)计算机科学与技术
专业型硕士招生类别(领域): (085400)电子信息

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