贵州大学计算机科学与信息学院导师：杨静的内容如下，更多考研资讯请关注我们考研派网站的更新！敬请收藏本站。或下载我们的考研派APP和考研派微信公众号（里面有非常多的免费考研资源可以领取哦）[贵州大学法学院导师：方印] [贵州大学法学院导师：张林鸿] [贵州大学法学院导师：魏红] [贵州大学法学院导师：李卫国] [贵州大学法学院导师：李建军] [贵州大学法学院导师：安和平]
为你答疑,送资源
95%的同学还阅读了： [2022贵州大学研究生招生目录] [贵州大学研究生分数线[2013-2021]] [贵州大学王牌专业排名] [贵州大学考研难吗] [贵州大学研究生院] [贵州大学考研群] [贵州大学研究生学费] 贵州大学保研夏令营 贵州大学考研调剂2022最新信息 [贵州大学研究生辅导] [考研国家线[2006-2021]] [2022年考研时间：报名日期和考试时间]
贵州大学计算机科学与信息学院导师：杨静正文
杨静，博士，教授，硕士生导师。毕业于贵州大学计算机软件与理论专业。曾在华中理工大学进修,澳门联合国大学国际软件研究所客座研究员，香港科技大学访问学者,华东师范大学访问学者。在《Lecture Notes in Computer Science》、《计算机科学》、《Journal of Communication and Computer》、 《数学研究与评论》、《西南大学学报》、FCST2009、上海市计算机学会年会等杂志上和会议上发表二十余篇文章。
主要研究方向：软件工程、形式化方法、可信软件。
发表文章如下：
1．《A Predicative Semantic Model For Integrating UML Models》,2005, LNCS 3407.SCI
2．《授权中异常冲突的一种解决方法》，计算机科学, 2008，vol.35, No.8核心
3．《基于．ＮＥＴ的单元测试自动化方法研究》微计算机信息，２００８，No.7 核心
4．《UML 模型的协调性检查》计算机科学, 2006,vol.33,NO.9 核心
5．《精化UML模型》 计算机科学, 2007,Vol.34, No.3 核心
6．《H-KKM 映像及抽象拟凸(凹)性》 西南大学学报(自然科学版),（原西南农业大学学报） 2007,Vol.29,No.4 核心
7．《用Hoare逻辑验证程序的一般方法及实例》 通讯和计算机,2007,Vol.4,No.2
8．《函数图形的对称轴与周期》 贵州大学学报(自然科学版), 2006,Vol.23,sup
9．《A Predicative Semantic Model For Integrating UML Models》 国际会议“Fist International Colloquium On Theoretical Aspects Of Computing”论文集,2004.9
10．《基于整数小波变换的准无失真图象压缩技术》 通讯和计算机, Apr,2006,vol.3,No.4
11．《基于整数小波变换和DPCM的混合图像编码》 贵州大学学报
(自然科学版) May,2001,vol.18, No.2
12．《高维时序数据的相似搜索》 贵州大学学报(自然科学版),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.《多级环境建模下的一种改进区域分割算法》上海市计算机学会第八届年会,2009.
16.《需求开发过程研究》,上海市计算机学会第八届年会,2009.
17.《Nonarchimedean PN 空间中的两点收缩与方程》贵州大学学报(自然科学版), 1994, vol.11 ,No.4
18.《两点概率收缩偶及N.A.PN空间中非线性集值映象方程组的解》,贵州大学学报(自然科学版), 1994, vol.11 ,No.2
19.《Ky Fan 极大极小不等式在H-空间的进一不推广和应用》,数学研究与评论,1999,No.4 重要学术期刊
添加贵州大学学姐微信，或微信搜索公众号“考研派之家”，关注【考研派之家】微信公众号，在考研派之家微信号输入【贵州大学考研分数线、贵州大学报录比、贵州大学考研群、贵州大学学姐微信、贵州大学考研真题、贵州大学专业目录、贵州大学排名、贵州大学保研、贵州大学公众号、贵州大学研究生招生）】即可在手机上查看相对应贵州大学考研信息或资源。
本文来源：http://m.okaoyan.com/guizhoudaxue/daoshi_507274.html
