王海洋[山東大學計算機學院教授]

王海洋[山東大學計算機學院教授]

王海洋,山東大學計算機學院教授,近年來在國內外重要期刊和學術會議發表論文近40篇。

人物經歷

1988.8-1990.8山東大學計算機科學系助教;1990.8-1992.12山東大學計算機科學系講師;1992.12-1997.9山東大學計算機科學系副教授;1997.9-至今山東大學計算機科學與技術學院教授、副院長;1999.11至今山東大學網路與現代教育技術中心主任。山東省計算機學會副理事長。中國青年企業家協會常務理事。山東省教育信息化專家委員會主任。山東省教育技術與裝備協會副會長。山東省教育與科研網專家委員會主任。山東省保密專家委員會主任。山東省電子政務專家諮詢組副組長。山東省信息化建設領導小組專家組成員。中國計算機學會資料庫專業委員會委員。

研究方向

軟體與數據工程。

Computer Supported Cooperative Work (CSCW)。

Business Process Management (BPM)。

主要貢獻

近年來在國內外重要期刊和學術會議發表論文近40篇,其中部分論文如下:

1. A Comprehensive Benchmark of the Artificial Immune Recognition System (AIRS). ADMA-05, Proceedings of The 1st International Conference on Advanced Data Mining and Application, Wuhan, China, July 22-24, 2005.

2. 基於SOAP的分散式防火牆策略發布研究,計算機科學, 32(5)2005,82-84.

3. 基於主動工作流視圖的跨組織工作流管理和監控, 計算機套用,25 (5) 2005,1202-1204

4. 跨組織工作流模型的形式化描述及分析,系統仿真學報, 17 (4) 2005,782-785.

5. Research on Workflow Meta-Model Supporting Group Cooperative Work。CSCWD04,Proceedings of The 8th International Conference on Computer Supported Cooperative Work in Design Volume I,337-340, 2004

6. Version Management of EAI Based on the Semantics of Workflow。CSCWD04,Proceedings of The 8th International Conference on Computer Supported Cooperative Work in Design Volume I,341-344, 2004

7. A Bank Cooperative E-Commerce System Based on Workflow and Data Warehouse。CSCWD04,Proceedings of The 8th International Conference on Computer Supported Cooperative Work in Design Volume I,663-669, 2004

8. A Method to Verify the Soundness of Workflow Control Logic。CSCWD04,Proceedings of The 8th International Conference on Computer Supported Cooperative Work in Design Volume I,384-388, 2004

9. 基於文檔劃分的XML信息檢索研究,計算機科學, 31(9A)2004,102-104/138.

10. 自行調整粒度的XML向量空間檢索,武漢大學學報(理學版),2004第5期,609-613

11. 一種擴展的工作流活動結構模型研究, 計算機科學, 31(9A)2004,238-241.

12. 一種基於工作流類型版本和實例遷移的動態修改方法, 計算機科學, 31(9)2004,137-139.

13. 基於離線數據載體的分布數據一致性研究, 小型微型計算機系統, 25 (6) 2004,1040-1043

14. 格線計算中一中啟發式數據分配算法的討論, 電子學報, 32 (4) 2004,648-650

15. 工作流中時序約束正確性驗證問題研究, 計算機工程, 30 (11) 2004,60-62

16. 數據倉庫中多數據源物化視圖的一種有效更新算法, 計算機研究與發展, 41 (5) 2004,874-879

17. 利用領域知識改進數據倉庫中知識發現查詢的效率, 計算機科學, 31 (2) 2004,123-125

18. 一種改進的驗證工作流控制邏輯的正確性的方法, 計算機套用, 23 (9) 2003,25-27

19. 基於對象的ECA規則的工作流模型, 計算機套用, 23 (10) 2003,48-50

20. 一種基於工作流和數據倉庫的銀行協同電子商務系統, 計算機集成製造系統-CIMS, S1 2003,172-177

21. 一種基於粗糙集理論的最簡規則挖掘方法, 計算機工程, 29 (20) 2003,77-79

22. 子包含模式在XML數據類型中的套用研究, 計算機科學, 30 (10) 2003,170-171

23. 提高數據倉庫中查詢性能的一種並行多表連線算法, 計算機工程, 28 (10) 2002,114-116/190.

24. 軟體開發工作流管理系統中的運行監控及其實現, 計算機工程與套用, 16 2002,254-256

25. 一種改進的主動規則的系統執行模型,軟體學報, 13 (1) 2002,111-117

26. 利用約束最佳化資料庫Web視圖上的查詢, 計算機研究與發展, 7, 2002,833-837

27. IC卡系統數據一致性研究, 計算機套用, 22 (8) 2002,12-13/16

28. 基於面向對象模型庫的商業決策支持系統, 計算機工程與套用, 38 (9) 2002,164-167

29. 基於對象模型工作流的失敗處理與失敗恢復, 軟體學報, 12 (5) 2001,776-782

30. 利用區間約束最佳化包含多個用戶函式的查詢, 軟體學報, 2001,

31. Efficient Mining of Association Rules by Reducing the Number of Passes voer the Database, 計算機研究與發展(英文版), 16 (2) 2001,182-188

32. 主動規則可終止性的動態分析方法, 計算機研究與發展, 37 (8) 2000,1018-1024

33. CSCW中時態數據的存儲和規範化, 通信學報, 20 (9) 1999,55-62

34. 多物化試圖並行增量保持三階段模式, 軟體學報, 11, 1999,1138-1141

相關詞條

熱門詞條

聯絡我們