貴州大學計算機科學與信息學院導師：楊靜 正文

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

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

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

貴州大學