貴州大學(xué)計算機科學(xué)與信息學(xué)院導(dǎo)師：楊靜 正文

　　楊靜，博士，教授，碩士生導(dǎo)師。畢業(yè)于貴州大學(xué)計算機軟件與理論專業(yè)。曾在華中理工大學(xué)進修,澳門聯(lián)合國大學(xué)國際軟件研究所客座研究員，香港科技大學(xué)訪問學(xué)者,華東師范大學(xué)訪問學(xué)者。在《Lecture Notes in Computer Science》、《計算機科學(xué)》、《Journal of Communication and Computer》、 《數(shù)學(xué)研究與評論》、《西南大學(xué)學(xué)報》、FCST2009、上海市計算機學(xué)會年會等雜志上和會議上發(fā)表二十余篇文章。
主要研究方向：軟件工程、形式化方法、可信軟件。

　　發(fā)表文章如下：
　　1．《A Predicative Semantic Model For Integrating UML Models》,2005, LNCS 3407.SCI
　　2．《授權(quán)中異常沖突的一種解決方法》，計算機科學(xué), 2008，vol.35, No.8核心
　　3．《基于．ＮＥＴ的單元測試自動化方法研究》微計算機信息，２００８，No.7 核心
　　4．《UML 模型的協(xié)調(diào)性檢查》計算機科學(xué),　2006,vol.33,NO.9 核心
　　5．《精化UML模型》 計算機科學(xué),　2007,Vol.34, No.3 核心
　　6．《H-KKM 映像及抽象擬凸(凹)性》 西南大學(xué)學(xué)報(自然科學(xué)版),（原西南農(nóng)業(yè)大學(xué)學(xué)報） 2007,Vol.29,No.4 核心　
　　7．《用Hoare邏輯驗證程序的一般方法及實例》 通訊和計算機,2007,Vol.4,No.2
　　8．《函數(shù)圖形的對稱軸與周期》 貴州大學(xué)學(xué)報(自然科學(xué)版),　2006,Vol.23,sup
　　9．《A Predicative Semantic Model For Integrating UML Models》 國際會議“Fist International Colloquium On Theoretical Aspects Of Computing”論文集,2004.9
　　10．《基于整數(shù)小波變換的準無失真圖象壓縮技術(shù)》 通訊和計算機, Apr,2006,vol.3,No.4
　　11．《基于整數(shù)小波變換和DPCM的混合圖像編碼》 貴州大學(xué)學(xué)報
　　(自然科學(xué)版) May,2001,vol.18, No.2
　　12．《高維時序數(shù)據(jù)的相似搜索》 貴州大學(xué)學(xué)報(自然科學(xué)版),Feb 2006, vol.23 ,No.1
　　13.《A Framework for Formalizing UML Models with Formal Language rCOS》,國際會議FCST2009,EI.
　　14.《Analyzing UML Sequence Diagrams with UTP》,國際會議FCST2009,EI.
　　15.《多級環(huán)境建模下的一種改進區(qū)域分割算法》上海市計算機學(xué)會第八屆年會,2009.
　　16.《需求開發(fā)過程研究》,上海市計算機學(xué)會第八屆年會,2009.
　　17.《Nonarchimedean PN 空間中的兩點收縮與方程》貴州大學(xué)學(xué)報(自然科學(xué)版),　1994, vol.11 ,No.4
　　18.《兩點概率收縮偶及N.A.PN空間中非線性集值映象方程組的解》,貴州大學(xué)學(xué)報(自然科學(xué)版),　1994, vol.11 ,No.2
　　19.《Ky Fan 極大極小不等式在H-空間的進一不推廣和應(yīng)用》,數(shù)學(xué)研究與評論,1999,No.4 重要學(xué)術(shù)期刊
　

添加貴州大學(xué)學(xué)姐微信，或微信搜索公眾號“考研派小站”，關(guān)注[考研派小站]微信公眾號，在考研派小站微信號輸入[貴州大學(xué)考研分數(shù)線、貴州大學(xué)報錄比、貴州大學(xué)考研群、貴州大學(xué)學(xué)姐微信、貴州大學(xué)考研真題、貴州大學(xué)專業(yè)目錄、貴州大學(xué)排名、貴州大學(xué)保研、貴州大學(xué)公眾號、貴州大學(xué)研究生招生）]即可在手機上查看相對應(yīng)貴州大學(xué)考研信息或資源。

貴州大學(xué)