导师基本信息

姓名：张维石职称：教授
性别：男联系电话：**, 04
出生日期：1962/11/9所在专业：计算机应用技术
硕士导师：是Email：teesiv@dlmu.edu.cn
博士导师：是个人主页：

研究方向：软件理论，软件工程，交通信息系统等
简介：张维石，教授、博士生导师，1962年11月生于辽宁，1996年德国慕尼黑大学计算机软件专业博士毕业。主要研究领域软件理论与软件工程等。承担国家“863”计划、国家自然科学基金、国家科技支撑计划、辽宁省科技攻关重点项目、辽宁省交通厅重点项目、中国石油、河北高速、秦皇岛港等一批国家、省部、市计划和企业委托项目，发表80余篇学术论文。获辽宁省科学技术进步二等奖，中国科学院科技进步二等奖。享受国务院特殊津贴，国家交通运输部“新世纪十百千人才工程”第一层次人才，辽宁省“百千万优秀青年科研骨干计划”百人行列人才，大连市劳动模范，大连市优秀专家。担任中国计算机学会学术工委委员、中国计算机学会系统软件专委、辽宁省计算机学会副理事长、大连市计算机学会副理事长、国际学术期刊IJCIR编委等。
论文及著作：2009-2011年发表的主要科技论文：
国际期刊论文:
?Abstracting the Interaction of Web Services Using IMWSC. Journal of Information and Computational Science, 2009, 6(2): 699-708.（EI:**268）
?Service Computing Oriented Exception Handing Strategies. Journal of Information and Computational Science. 2009, vol.6, Number1, 297-304. (EI: **631)
?A Formal Model for Abstracting the Interaction of Web Services. Journal of Computers, January 2010, 5(1):91-98. (EI:**154)
?A Hopfield Relevance Vector Machine Algorithm for Stock Market Prediction. Journal of Computational Information systems. Vol. 7:14 (2011), 5227-5234.
?A Novel Self-Adaptive Learning Support Vector Regression Algorithm for Fund Prediction. Journal of Computational Information systems. Vol. 8:13 (2011), 2823-2829.
?Image fast matching basing on local information, Computational Materials Science, Vol. 268-270(2011), 1376-1381. (EI:**497)
?A Swarm-based Rough Set Approach for FMRI data Analysis. International Journal of Innovative Computing Information and Control. Vol. 7 (2011), 3121-3132.(SCI)
国际会议论文:
?Safety Verification of Software Component Behavior Adaptation. The International Conference on E-Product, E-Service and E-Entertainment(ICEEE2010), Henan, China, 2010:2974-2977.（EI:**954）
?Research on Safe Behavior Adaptation of Software Component. The 2010 International Conference on Computational Intelligence and Software Engineering (CiSE 2010)，10-12 December, 2010, Wuhan, China. (EI:**121)
?Specification and Verification of Safe Web Service Behavior Adaptation. 3rd International Symposium on Parallel Architectures, Algorithms and Programming, 18-20 December, 2010, Dalian, China, 417-421. （EI:**025）
?Research on Behavior Adaptation of Software Component. 3rd International Symposium on Parallel Architectures, Algorithms and Programming, 18-20 December, 2010, Dalian, China, 412-416. （EI:**024）
?Designing and Developing High-Confidence Petroleum Ext
科研项目：近年来承担的主要科研项目：
1. 国家自然科学基金项目:可重用的软构件开发方法研究（编号：**）
2. 国家自然科学基金项目:面向分布式软件开发的软构件协同计算模型及形式验证（编号：**）
3. 国家“八六三”计划项目：大连市创建软件产业国际化示范城市（编号：ZD12-3-1）
4. 国家“八六三”计划项目：基于高性能宽带通讯网络的软件支撑体系研究（编号：2004AA116010）
5. 国家科技攻关项目：大连市虚拟科技孵化器技术支撑应用系统（编号：2004BA907A38）
6. 国家留学回国科研基金项目：代数规范技术理论及应用研究
7. 交通运输部科研基金项目：交通行业信息资源的数据安全保障体系研究（编号：2008-364-225-050）
8. 辽宁省科技攻关重点项目：对日软件出口支撑平台及构件库（编号：**）
9. 大连市科技攻关项目：面向出口及创新型企业的构件化支撑软件平台
10. 大连市科技攻关项目：软件出口技术支撑平台
11. 大连市信息化项目：软件协同开发支持系统关键技术研究
12. 大连市软件专项：数字钻探嵌入式综合智能导向软件平台研发（大经信发[2010]355号）
13. 中国石油长城钻探重点项目：录井导向系统研发及信息平台
14. 河北省高速公路管理局项目：河北高速监控软件与GIS平台
15. 东软集团：智能交通应用软件系统关键技术与应用