個(gè)人簡(jiǎn)介
金仙力，男，博士，南京郵電大學(xué)計(jì)算機(jī)學(xué)院計(jì)算機(jī)技術(shù)研究所講師。2007年畢業(yè)于北京郵電大學(xué)計(jì)算機(jī)應(yīng)用專業(yè)。從攻讀博士到工作一直從事形式化方法等相 關(guān)理論和應(yīng)用研究，在該領(lǐng)域具有較強(qiáng)的科研及實(shí)踐能力。參與過(guò)縱向項(xiàng)目8項(xiàng)（其中，國(guó)家重點(diǎn)基礎(chǔ)研究發(fā)展規(guī)劃(973)項(xiàng)目1項(xiàng)，國(guó)家自然科學(xué)基金項(xiàng)目5 項(xiàng)，其它科研項(xiàng)目2項(xiàng)）和橫向項(xiàng)目7項(xiàng)。先后發(fā)表論文10余篇，其中EI收錄7篇，ISTP收錄1篇。

參加或負(fù)責(zé)過(guò)與本項(xiàng)目相關(guān)的項(xiàng)目主要有：
1）國(guó)家自然科學(xué)基金項(xiàng)目：多媒體電子商務(wù)系統(tǒng)的形式模型研究（60242002），主要參與人，2003.1~2005.12
2）國(guó)家自然科學(xué)基金項(xiàng)目：視頻信息網(wǎng)格體系結(jié)構(gòu)及其典型應(yīng)用研究（90612013），主要參與人，2006.1~2008.12
3）國(guó)家重點(diǎn)基礎(chǔ)研究發(fā)展規(guī)劃(973)項(xiàng)目：復(fù)雜生產(chǎn)制造過(guò)程實(shí)時(shí),智能控制與優(yōu)化理論和方法研究（2002cb312200），主要參與人，2002.1~2008.12
4）教育部新世紀(jì)優(yōu)秀人才支持計(jì)劃（NCET-04-0110），主要參與人，2005.1~2007.12
5）南京郵電大學(xué)引進(jìn)人才科研啟動(dòng)基金（NY208007）：網(wǎng)構(gòu)軟件的環(huán)境自適應(yīng)性的形式化技術(shù)研究，項(xiàng)目負(fù)責(zé)人，2009.1~2010.12
6）江蘇省教育廳自然科學(xué)基金項(xiàng)目（09KJD520007）：電子數(shù)據(jù)可信取證的建模方法研究，項(xiàng)目負(fù)責(zé)人，2009.12-2010.12
7）南京郵電大學(xué)校級(jí)教改項(xiàng)目（JG00411JX32）：實(shí)際編程環(huán)境下的《面向?qū)ο蟪绦蛟O(shè)計(jì)及C++》課件設(shè)計(jì)，項(xiàng)目負(fù)責(zé)人，2011.6-2012.5
8）國(guó)家自然科學(xué)基金項(xiàng)目：無(wú)線多媒體傳感器網(wǎng)絡(luò)圖像處理關(guān)鍵技術(shù)研究（61003236），主要參與人，2011.1-2013.12。

研究方向及主要成果
主研方向?yàn)椋?
形式化方法、WEB服務(wù)和信息安全等。
1）金仙力, 馬華東. 基于OCL的服務(wù)構(gòu)件特征語(yǔ)義描述模型. 計(jì)算機(jī)研究與發(fā)展, 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)
等。

聯(lián)系方式
單位電話：18951896832
Email： jxl@njupt.edu.cn

*如果發(fā)現(xiàn)導(dǎo)師信息存在錯(cuò)誤或者偏差，歡迎隨時(shí)與我們聯(lián)系，以便進(jìn)行更新完善。 聯(lián)系方式>>