个人简介

科研项目

个人简介

张维石,男，1962年11月9日出生，1984年毕业于西安交通大学计算机专业，教授，博士生导师。主要研究领域：计算机软件与理论、交通信息工程与控制等。研究方向包括：软件工程、程序设计与软件开发方法、软件质量保证与测试技术、软件过程改进与控制、软件项目管理、计算机信息管理、交通信息系统等。先后完成“大连市创建软件产业国际化示范城市”,“基于宽带通信网络的软件支撑体系研究”，“可重用的软构件开发方法研究”等多个科研项目。出版专著《Formal Description and Implementation of Graphical User Interfaces》（德国Ute Verlag出版社）。其中“大连市创建软件产业国际化示范城市”获辽宁省科学技术进步二等奖（2002年），“KSJ-STD工业控制计算机”获中国科学院科技进步二等奖(1989年)。在国内外学术刊物上发表论文共 26 篇。共指导硕士生30人（含留学生2人），博士生5人，其中已毕业硕士生9人。辽宁省计算机学会副理事长；辽宁省软件学会副理事长；大连计算机学会副理事长；享受国务院政府特殊津贴；交通部“新世纪十百千”人才工程第一层次人才；辽宁省“百千万优秀青年科研骨干计划’”百人行列；大连市劳动模范；大连市委、市政府咨询委员。

科研项目

近年来承担的主要科研项目：

1. 国家自然科学基金项目:可重用的软构件开发方法研究（编号：69973009）

2. 国家自然科学基金项目:面向分布式软件开发的软构件协同计算模型及形式验证（编号：60573087）

3. 国家“八六三”计划项目：大连市创建软件产业国际化示范城市（编号：ZD12-3-1）

4. 国家“八六三”计划项目：基于高性能宽带通讯网络的软件支撑体系研究（编号：2004AA116010）

5. 国家科技攻关项目：大连市虚拟科技孵化器技术支撑应用系统（编号：2004BA907A38）

6. 国家留学回国科研基金项目：代数规范技术理论及应用研究

7. 交通运输部科研基金项目：交通行业信息资源的数据安全保障体系研究（编号：2008-364-225-050）

8. 辽宁省科技攻关重点项目：对日软件出口支撑平台及构件库（编号：2004216001）

9. 大连市科技攻关项目：面向出口及创新型企业的构件化支撑软件平台

10. 大连市科技攻关项目：软件出口技术支撑平台

11. 大连市信息化项目：软件协同开发支持系统关键技术研究

12. 大连市软件专项：数字钻探嵌入式综合智能导向软件平台研发（大经信发[2010]355号）

13. 中国石油长城钻探重点项目：录井导向系统研发及信息平台

14. 河北省高速公路管理局项目：河北高速监控软件与GIS平台

15. 东软集团：智能交通应用软件系统关键技术与应用