贵州大学计算机科学与信息学院导师：杨静

发布时间：2021-10-28 编辑：考研派小莉推荐访问：

贵州大学计算机科学与信息学院导师：杨静内容如下，更多考研资讯请关注我们网站的更新！敬请收藏本站，或下载我们的考研派APP和考研派微信公众号（里面有非常多的免费考研资源可以领取，有各种考研问题，也可直接加我们网站上的研究生学姐微信，全程免费答疑，助各位考研一臂之力，争取早日考上理想中的研究生院校。）

+贵州大学研究生
微信,为你答疑,送资源

贵州大学法学院导师：方印贵州大学法学院导师：张林鸿贵州大学法学院导师：魏红贵州大学法学院导师：李卫国贵州大学法学院导师：李建军贵州大学法学院导师：安和平 95%的同学还阅读了： 贵州大学研究生招生目录贵州大学研究生分数线贵州大学王牌专业排名贵州大学考研难吗贵州大学考研调剂信息贵州大学研究生导师名单贵州大学研究生学费贵州大学研究生奖学金

贵州大学计算机科学与信息学院导师：杨静正文

　　杨静，博士，教授，硕士生导师。毕业于贵州大学计算机软件与理论专业。曾在华中理工大学进修,澳门联合国大学国际软件研究所客座研究员，香港科技大学访问学者,华东师范大学访问学者。在《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 重要学术期刊
　

以上老师的信息来源于学校网站，如有错误，可联系我们进行免费更新或删除。建议导师将更新的简历尤其对研究生招生的要求发送给我们，以便考研学子了解导师的情况。（导师建议加QQ-1933508706，以便后续随时更新网页或发布调剂信息。考研派网站和APP流量巨大）联系方式

添加贵州大学学姐微信，或微信搜索公众号“考研派小站”，关注[考研派小站]微信公众号，在考研派小站微信号输入[贵州大学考研分数线、贵州大学报录比、贵州大学考研群、贵州大学学姐微信、贵州大学考研真题、贵州大学专业目录、贵州大学排名、贵州大学保研、贵州大学公众号、贵州大学研究生招生）]即可在手机上查看相对应贵州大学考研信息或资源。