個人簡介
張維石張維石,男，1962年11月9日出生，1984年畢業於西安交通大學計算機專業，教授，博士生導師。主要研究領域：計算機軟體與理論、交通信息工程與控制等。研究方向包括：軟體工程、程式設計與軟體開發方法、軟體質量保證與測試技術、軟體過程改進與控制、軟體項目管理、計算機信息管理、交通信息系統等。先後完成“大連市創建軟體產業國際化示範城市”,“基於寬頻通信網路的軟體支撐體系研究”，“可重用的軟構件開發方法研究”等多個科研項目。出版專著《Formal Description and Implementation of Graphical User Interfaces》（德國Ute Verlag出版社）。其中“大連市創建軟體產業國際化示範城市”獲遼寧省科學技術進步二等獎（2002年），“KSJ-STD工業控制計算機”獲中國科學院科技進步二等獎(1989年)。在國內外學術刊物上發表論文共 26 篇。共指導碩士生30人（含留學生2人），博士生5人，其中已畢業碩士生9人。遼寧省計算機學會副理事長；遼寧省軟體學會副理事長；大連計算機學會副理事長；享受國務院政府特殊津貼；交通部“新世紀十百千”人才工程第一層次人才；遼寧省“百千萬優秀青年科研骨幹計畫’”百人行列；大連市勞動模範；大連市委、市政府諮詢委員。
論文及著作
2009-2011年發表的主要科技論文：
國際期刊論文:
·Abstracting the Interaction of Web Services Using IMWSC. Journal of Information and Computational Science, 2009, 6(2): 699-708.
·Service Computing Oriented Exception Handing Strategies. Journal of Information and Computational Science. 2009, vol.6, Number1, 297-304.
·A Formal Model for Abstracting the Interaction of Web Services. Journal of Computers, January 2010, 5(1):91-98.
·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:20112914166497)
·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:20110313604954）
·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:20110813673121)
·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:20111113753025）
·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:20111113753024）
·Designing and Developing High-Confidence Petroleum Ext
科研項目
近年來承擔的主要科研項目：
1. 國家自然科學基金項目:可重用的軟構件開發方法研究（編號：69973009）
2. 國家自然科學基金項目:面向分散式軟體開發的軟構件協同計算模型及形式驗證（編號：60573087）
3. 國家“八六三”計畫項目：大連市創建軟體產業國際化示範城市（編號：ZD12-3-1）
4. 國家“八六三”計畫項目：基於高性能寬頻通訊網路的軟體支撐體系研究（編號：2004AA116010）
5. 國家科技攻關項目：大連市虛擬科技孵化器技術支撐套用系統（編號：2004BA907A38）
6. 國家留學回國科研基金項目：代數規範技術理論及套用研究
7. 交通運輸部科研基金項目：交通行業信息資源的數據安全保障體系研究
8. 遼寧省科技攻關重點項目：對日軟體出口支撐平台及構件庫（編號：2004216001）
9. 大連市科技攻關項目：面向出口及創新型企業的構件化支撐軟體平台
10. 大連市科技攻關項目：軟體出口技術支撐平台
11. 大連市信息化項目：軟體協同開發支持系統關鍵技術研究
12. 大連市軟體專項：數字鑽探嵌入式綜合智慧型導向軟體平台研發（大經信發[2010]355號）
13. 中國石油長城鑽探重點項目：錄井導向系統研發及信息平台
14. 河北省高速公路管理局項目：河北高速監控軟體與GIS平台
15. 東軟集團：智慧型交通套用軟體系統關鍵技術與套用
