张仕
发布时间: 2014-05-26 访问次数: 971

 张仕  shi@fjnu.edu.cn

 

个人简介:男,197711月生,籍贯:福建省龙岩市,博士,副教授。

 

教育经历:

l         19969—20007月,大庆石油学院计算机系,大学本科毕业,获学士学位

l        20009---20034月,南京航空航天大学计算机科学与工程系,硕士研究生毕业,获硕士学位

l            20054---2008年6月 ,上海交通大学计算机科学与工程系,博士研究生

 

工作经历:

l            20034现在  福建师范大学

 

研究方向:

n       主要从事程序设计语言,分布式系统,软件工程方面的研究

 

 科研项目

    2007-2010 福建省自然科学基金(编号:2007J0315)分布式系统中软件动态更新研究

    2007-2009 福建省教育厅资助省属高校项目(编号:2007F5037)基于消息传递的分布式软件动态演化

    2011-2013 福建省教育厅A基于服务的可扩展在线评测系统

    2003-2005 福建省教育厅B类基金资助项目(JB03148)

    2004-2006 福建师范大学扶苗基金资助项目(12F030)

 

教学:

l        讲授C++语言,.net程序设计(C#),算法设计与分析,数据库系统概论、数据结构等课程。

 

论文著作:

 

 Ping Gong, Jianmin Jiang, Shi Zhang(张仕): Formal Analysis of OWL-S Process Model by FDR. APSCC 2011: 215-222

 Jianmin Jiang, Shi Zhang(张仕), Ping Gong, Zhong Hong: Message Dependency- Based Adaptation of Services. APSCC 2011: 442-449

 Jianmin Jiang, Shi Zhan(张仕), Ping Gong and Zhong Hong. Service Adaptation at message Level. SERVICES 2011:87-88

 Zhang Shi(张仕),Jiang Jianmin. Research on Type-Safety Parallel Update. LNEE 2012

 张仕黄林鹏基于FJ的多版本类动态更新演算软件学报. Vol19(10). Pages 2562- 2571. 2008-10.

 张仕黄林鹏基于OSGi的服务动态演化软件学报. Vol19(5). Pages 1201- 1211. 2008-5.

 张仕赖会霞黄林鹏类动态更新事物研究计算机科学. Vol35(11). Pages 284-289. 2008-11.

 张仕赖会霞多线程可动态演化程序的设计福建师范大学学报. Vol24(3). Pages 23-28. 2008-5.

 Zhang Shi(张仕), Huang LinPeng. Type-Safe Dynamic Update Transaction. In proceeding of COMPSAC 2007, Beijing China.

 Zhang Shi(张仕), Huang LinPeng. Research on Dynamic Update Transaction for Java Classes. Frontiers of Computer Science in China. Vol1(3), 2007.

 Zhang Shi(张仕), Huang LinPeng. Formalizing Class Dynamic Software Updating. In proceeding of QSIC 2006, Beijing China, Oct 2006.

 Zhang Shi(张仕), Huang LinPeng. Formalizing Multi-versions Class Update. In proceeding of ICCP 2006, Romania, Sep 2006.

 张仕基于面向对象软件的动态更新研究. [博士论文], 上海交通大学, 2008.

• 张仕,赖会霞,基于Apriori算法的XML频繁子树挖掘,计算机科学, 32:9A (2005) 19-23

• 张仕,赖会霞,XML文档模式的自动构造,福建师范大学学报(自然科学版)2005.03

• 张仕,赖会霞,XML形式数据模型及其查询代数,计算机工程与设计,2005.02

• 张仕毛宇光,XML语法检查的实现,计算机工程与设计2002年 11