• 第一考试网微信公众号第一考试网微信公众号
贵州大学校徽

贵州大学 杨静

211 双一流

  • 贵州省贵阳市花溪区贵州大学普通本科招生办公室
  • http://www.gzu.edu.cn http://rso.gzu.edu.cn/
  • 0851-88305150,0851-88305151,0851-88292075
  • rso@gzu.edu.cn

  1. 院校大全
  2. 贵州大学
  3. 计算机科学与技术学院
  4. 杨静

杨静

姓名： 杨静
学校： 贵州大学
学院： 计算机科学与技术学院
职称：  

杨静老师的简介

<div class> <p> <br/> 　　杨静，博士，教授，硕士生导师。毕业于贵州大学计算机软件与理论专业。曾在华中理工大学进修,澳门联合国大学国际软件研究所客座研究员，香港科技大学访问学者,华东师范大学访问学者。在《Lecture Notes in Computer Science》、《计算机科学》、《Journal of Communication and Computer》、 《数学研究与评论》、《西南大学学报》、FCST2009、上海市计算机学会年会等杂志上和会议上发表二十余篇文章。<br/> 主要研究方向：软件工程、形式化方法、可信软件。<br/> <br/> 　　发表文章如下：<br/> 　　1．《A Predicative Semantic Model For Integrating UML Models》,2005, LNCS 3407.SCI<br/> 　　2．《授权中异常冲突的一种解决方法》，计算机科学, 2008，vol.35, No.8核心<br/> 　　3．《基于．ＮＥＴ的单元测试自动化方法研究》微计算机信息，２００８，No.7 核心<br/> 　　4．《UML 模型的协调性检查》计算机科学,　2006,vol.33,NO.9 核心<br/> 　　5．《精化UML模型》 计算机科学,　2007,Vol.34, No.3 核心<br/> 　　6．《H-KKM 映像及抽象拟凸(凹)性》 西南大学学报(自然科学版),（原西南农业大学学报） 2007,Vol.29,No.4 核心　<br/> 　　7．《用Hoare逻辑验证程序的一般方法及实例》 通讯和计算机,2007,Vol.4,No.2<br/> 　　8．《函数图形的对称轴与周期》 贵州大学学报(自然科学版),　2006,Vol.23,sup<br/> 　　9．《A Predicative Semantic Model For Integrating UML Models》 国际会议“Fist International Colloquium On Theoretical Aspects Of Computing”论文集,2004.9<br/> 　　10．《基于整数小波变换的准无失真图象压缩技术》 通讯和计算机, Apr,2006,vol.3,No.4<br/> 　　11．《基于整数小波变换和DPCM的混合图像编码》 贵州大学学报<br/> 　　(自然科学版) May,2001,vol.18, No.2<br/> 　　12．《高维时序数据的相似搜索》 贵州大学学报(自然科学版),Feb 2006, vol.23 ,No.1<br/> 　　13.《A Framework for Formalizing UML Models with Formal Language rCOS》,国际会议FCST2009,EI.<br/> 　　14.《Analyzing UML Sequence Diagrams with UTP》,国际会议FCST2009,EI.<br/> 　　15.《多级环境建模下的一种改进区域分割算法》上海市计算机学会第八届年会,2009.<br/> 　　16.《需求开发过程研究》,上海市计算机学会第八届年会,2009.<br/> 　　17.《Nonarchimedean PN 空间中的两点收缩与方程》贵州大学学报(自然科学版),　1994, vol.11 ,No.4<br/> 　　18.《两点概率收缩偶及N.A.PN空间中非线性集值映象方程组的解》,贵州大学学报(自然科学版),　1994, vol.11 ,No.2<br/> 　　19.《Ky Fan 极大极小不等式在H-空间的进一不推广和应用》,数学研究与评论,1999,No.4 重要学术期刊<br/> 　</p> </div>

杨静老师的课程

  • 暂时还没有收录杨静老师的课程列表，我们将尽快添加。

    • 杨静老师的论文

    • 暂时还没有收录杨静老师的论文，我们将尽快添加。

    杨静老师参与的论文

    • 暂时还没有收录杨静老师参与的论文，我们将尽快添加。

    计算机科学与技术学院 其他教师

    关于杨静老师的相关提示：以上内容并非是杨静老师的最新情况，请以杨静老师的官方公布信息为准。

    猜你想看

    学校首页

    学校简介

    院系设置

    专业介绍

    就业情况

    院校动态

    招生简章

    录取规则

    基础设施

    收费项目

    食宿条件

    奖学金设置

    体检要求

    校园影集

    友情链接

    第一考试网 灯塔阅读
    Copyright ©2024-2025 第一考试网 京ICP备11047680号-2
    反馈/投稿/合作/咨询：13562564（QQ）    邮箱：13562564@qq.com