金仙力简介
性别：男
学位：工学博士
最高学历：博士研究生
职称：副教授
职务：
所在单位：计算机学院/软件学院
导师类别：硕士生导师
招生学科：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)XianliJin,HuadongMa,ZonghuaGu.Real-TimeComponentCompositionUsingHierarchicalTimedAutomata.TheSeventhInternationalConferenceonQualitySoftware(IEEEQSIC2OO7),Portland,Oregon,USA,October11-12,2007.(EI,No.082811367324)
3)XianliJin,HuadongMa.HierarchicallyModelingtheComponent-basedReal-timeSystemwithDurationCalculus.TheFifthInternationalConferenceonInformation,CommunicationsandSignalProcessing(IEEEICICS2005),Bangkok,Thailand,December6-9,2005.(EI,No.071610553138)
4)XianliJin,HuadongMa.AnApproachtoFormallyModelingtheComponent-basedE-commerceSystem.IEEEInternationalWorkshoponService-OrientedSystemEngineering(IEEESOSE2005),Beijing,China,October20-21,2005.(EI,No.065110314509)
5)XianliJin,XiShao.TheFormalModelofReal-timeServiceComponentsCompositionBasedonDCValid.The2009WorldCongressonComputerScienceandInformationEngineering(CSIE2009),LosAngeles/Anaheim,USA,March31toApril2,2009.(EI,No.20094712464439)
6)KedaLv,HuadongMa,XianliJin.APolicy-basedConflictDetectionModelforBillingRules.TheFirstIASTEDInternationalConferenceonCommunicationSystemsandNetworks(AsiaCSN2007),Phuket,Thailand,April2-4,2007.(EI,No.084511678109)
7)XianliJin.The20112ndInternationalCongressonComputerApplicationsandComputationalScience(CACS2011),Bali,Indonesia,November15-17,2011.(EI)
等。
联系方式
移动电话：
单位电话：18951896832
住宅电话：
Email：jxl@njupt.edu.cn备注