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

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

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

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

貴州大學(xué)