金淳兆,男,1937年出生,教授,博士生導師。吉林大學計算機軟體與理論專業的學科帶頭人之一。
基本介紹
- 中文名:金淳兆
- 出生日期:1937年
- 畢業院校:吉林大學數學系
- 職稱:教授
- 性別:男
- 畢業時間:1956年
金淳兆,男,1937年出生,教授,博士生導師。吉林大學計算機軟體與理論專業的學科帶頭人之一。
金淳兆,男,1937年出生,教授,博士生導師。吉林大學計算機軟體與理論專業的學科帶頭人之一。人物經歷1956年本科畢業於吉林大學數學系,並於同年留校任教。1959年至1962年赴前蘇聯莫斯科大學留學。1991年任教授,1...
金淳兆,男,1937年出生,教授,博士生導師。吉林大學計算機軟體與理論專業的學科帶頭人之一。人物經歷 1956年本科畢業於吉林大學數學系,並於同年留校任教。1959年至1962年赴前蘇聯莫斯科大學留學。1991年任教授,1996年被評為博士生導師。是吉林大學計算機軟體與理論專業的學科帶頭人之一。研究方向 為軟體工程,研究...
《面向重用的軟體體系結構的研究》是依託吉林大學,由金淳兆擔任項目負責人的面上項目。 項目摘要 作為對軟體體系結構及其描述方法的研究,本項目的主要成果是:1、提出了主動連線件的概念和一種基於主動連線的軟體體系結構描述方法,設計了相應的軟體體系結構描述語言Tracer。該方法的特點是強調連線件在與相關組件進行...
《基於類型理論的面向對象程式自動化》是依託吉林大學,由金淳兆擔任項目負責人的面上項目。項目摘要 軟體工程的重要目標之一是實現軟體開發的自動化。為此,我們以構造性類型理論為基礎,深入地探討了面向對象方法的基本機制及面向對象程式的構造方法,並取得了如下成果:1、以Mrtin-Luf的構造性類型理論為基礎,建立了...
1998 - 2004 吉林大學計算機科學與技術學院,計算機軟體與理論專業,博士研究生(導師:金淳兆教授)工作經歷 1994 - 1996 吉林大學計算機科學系,助教 1996 - 2000 吉林大學計算機科學系,講師 2000 - 2004 吉林大學計算機科學與技術學院,副教授 2004 - 現在 吉林大學計算機科學與技術學院,教授 社會兼職 中國計算機...
15.車海燕, 李大利, 金淳兆, 于海波. 一個安全的基於任務描述的移動代理系統[J]. 計算機套用研究, 2007, 24(3): 152-156. 3月 16.車海燕, 孫吉貴, 于海波.一種用描述邏輯刻畫多代理系統規約的方法[J].計算機研究與發展, 2006, 43(增): 34-40.17.劉鵬博, 車海燕 (通訊作者), 陳偉. 知識抽取技術...