南京邮电大学 金仙力
双一流
- 仙林校区地址：南京市亚东新城区文苑路9号;三牌楼校区地址：南京市新模范马路66号
- http://www.njupt.edu.cn http://zs.njupt.edu.cn/
- 025-85866669,025-85866668
- zsk@njupt.edu.cn
金仙力
金仙力老师的简介
<div class> <p> </p> <br/> <table width> <tbody> <tr> <td width> <p> 性 </strong>别： </strong></p> </td> <td width> <p> 男</p> </td> </tr> <tr> <td width> <p> 学 </strong>位： </strong></p> </td> <td width> <p> 工学博士</p> </td> </tr> <tr> <td> <p> 最高学历： </strong></p> </td> <td> <p> 博士研究生</p> </td> </tr> <tr> <td> <p> 职</strong>称： </strong></p> </td> <td> <p> 讲师</p> </td> </tr> <tr> <td> <p> 所在单位： </strong></p> </td> <td> <p> 计算机学院/软件学院</p> </td> </tr> <tr> <td> <p> 导师类别： </strong></p> </td> <td> <p> 硕士生导师</p> </td> </tr> <tr> <td> <p> 招生学科： </strong></p> </td> <td> <p> 081203计算机应用技术</p> </td> </tr> </tbody> </table> <p> 个人简介</strong><br/> 金仙力，男，博士，南京邮电大学计算机学院计算机技术研究所讲师。2007年毕业于北京邮电大学计算机应用专业。从攻读博士到工作一直从事形式化方法等相 关理论和应用研究，在该领域具有较强的科研及实践能力。参与过纵向项目8项（其中，国家重点基础研究发展规划(973)项目1项，国家自然科学基金项目5 项，其它科研项目2项）和横向项目7项。先后发表论文10余篇，其中EI收录7篇，ISTP收录1篇。<br/> <br/> 参加或负责过与本项目相关的项目主要有：<br/> </strong>1）国家自然科学基金项目：多媒体电子商务系统的形式模型研究（60242002），主要参与人，2003.1~2005.12<br/> 2）国家自然科学基金项目：视频信息网格体系结构及其典型应用研究（90612013），主要参与人，2006.1~2008.12<br/> 3）国家重点基础研究发展规划(973)项目：复杂生产制造过程实时,智能控制与优化理论和方法研究（2002cb312200），主要参与人，2002.1~2008.12<br/> 4）教育部新世纪优秀人才支持计划（NCET-04-0110），主要参与人，2005.1~2007.12<br/> 5）南京邮电大学引进人才科研启动基金（NY208007）：网构软件的环境自适应性的形式化技术研究，项目负责人，2009.1~2010.12<br/> 6）江苏省教育厅自然科学基金项目（09KJD520007）：电子数据可信取证的建模方法研究，项目负责人，2009.12-2010.12<br/> 7）南京邮电大学校级教改项目（JG00411JX32）：实际编程环境下的《面向对象程序设计及C++》课件设计，项目负责人，2011.6-2012.5<br/> 8）国家自然科学基金项目：无线多媒体传感器网络图像处理关键技术研究（61003236），主要参与人，2011.1-2013.12。</p> <p> 研究方向及主要成果</strong><br/> 主研方向为：<br/> 形式化方法、WEB服务和信息安全等。<br/> 1）金仙力, 马华东. 基于OCL的服务构件特征语义描述模型. 计算机研究与发展, 2007, 44(12): 2112~2121. ( EI, No. 080311032583）<br/> 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）<br/> 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）<br/> 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）<br/> 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)<br/> 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)<br/> 7）Xianli Jin. The 2011 2nd International Congress on Computer Applications and Computational Science (CACS 2011）, Bali, Indonesia, November 15-17, 2011.(EI)<br/> 等。</p> <p> 联系方式</strong><br/> 单位电话：18951896832<br/> Email：jxl@njupt.edu.cn</a></p> <p> <br/> *如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。联系方式>></a></p> </div>
金仙力老师的课程
金仙力老师的论文
- 暂时还没有收录金仙力老师的论文，我们将尽快添加。
金仙力老师参与的论文
- 暂时还没有收录金仙力老师参与的论文，我们将尽快添加。
计算机学院 其他教师
- 付雄
- 俞琼
- 倪晓军
- 倪红
- 冯荣俊
- 刘一凡
- 刘茜萍
- 叶晓国
- 吕扬
- 吴家皋
- 吴敏
- 吴泽彬
- 周国强
- 周宁宁
- 唐家益
- 奚建春
- 姚放吾
- 孙力娟
- 孙国梓
- 孙知信
- 安嘉莹
- 居悌
- 康辉
- 张代远
- 张伟
- 张先俊
- 张勤
- 张卫丰
- 张台国
- 张和明
- 张少娴
- 张少白
- 张怡婷
- 张登银
- 张祖昶
- 张迎周
- 徐小龙
- 成卫青
- 曹晓梅
- 曾鹏
- 朱丹
- 朱之宏
- 朱如
- 朱建
- 朱立华
- 李云
- 李其芳
- 李凌燕
- 李爱群
- 李玲娟
- 李超
- 李频
- 李鹏
- 杨一涛
- 杨仁凤
- 杨庚
- 杨文杰
- 杨立君
- 杨维荣
- 桂志波
- 段卫华
- 殷传军
- 毛建平
- 沈小晴
- 沈苏彬
- 沈金龙
- 洪龙
- 王传栋
- 王汝传
- 王海平
- 王海艳
- 王玮
- 王绍棣
- 王蔚
- 王雪
- 王雪梅
- 祁正华
- 程春玲
- 章韵
- 罗卫兰
- 肖甫
- 胡素君
- 茅苏
- 蔡永平
- 薛明
- 许建
- 许棣华
- 谢秋丽
- 费宁
- 邓玉龙
- 邱伟星
- 郑彦
- 郑谦益
- 郭剑
- 金仙力
- 闫悦楠
- 陈丹伟
- 陈云芳
- 陈伟
- 陈建新
- 陈志
- 陈慧南
- 陈燕俐
- 陈蕾
- 韩京宇
- 骆健
- 黄刚
- 黄海平
关于金仙力老师的相关提示：以上内容并非是金仙力老师的最新情况，请以金仙力老师的官方公布信息为准。
