張維石

張維石

張維石,1962年出生,畢業於西安交通大學計算機專業,教授,曾獲遼寧省科學技術進步二等獎。

基本介紹

  • 中文名:張維石
  • 國籍:中國
  • 出生日期:1962年
  • 畢業院校:西安交通大學
個人簡介,論文及著作,科研項目,

個人簡介

張維石,男,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. 東軟集團:智慧型交通套用軟體系統關鍵技術與套用

相關詞條

熱門詞條

聯絡我們