個人簡介
金仙力，男，博士，南京郵電大學計算機學院計算機技術研究所講師。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： [email protected]

*如果發現導師信息存在錯誤或者偏差，歡迎隨時與我們聯系，以便進行更新完善。 聯系方式>>