贵州大学计算机科学与信息学院导师介绍:杨静
杨静,博士,教授,硕士生导师。毕业于贵州大学计算机软件与理论专业。曾在华中理工大学进修,澳门联合国大学国际软件研究所客座研究员,香港科技大学访问学者,华东师范大学访问学者。在《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.《基于.NET的单元测试自动化方法研究》微计算机信息,2008,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 重要学术期刊
【贵州大学计算机科学与信息学院导师介绍:杨静】相关文章:
- 2017-01-10【导师介绍】中南大学黄健陵
- 2016-10-26【导师介绍】浙江大学计算机科学与技术专业导师个人简介:王章野
- 2016-10-26【导师介绍】复旦大学生命科学学院霍克克博导个人简介
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:陈熙霖
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:何军
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:许伟
网友关注
网友关注视频
- 冀教版小学数学二年级下册第二单元《租船问题》
- 外研版英语七年级下册module3 unit2第一课时
- 【部编】人教版语文七年级下册《泊秦淮》优质课教学视频+PPT课件+教案,天津市
- 每天日常投篮练习第一天森哥打卡上脚 Nike PG 2 如何调整运球跳投手感?
- 外研版英语七年级下册module3 unit2第二课时
- 第19课 我喜欢的鸟_第一课时(二等奖)(人美杨永善版二年级下册)_T644386
- 第五单元 民族艺术的瑰宝_16. 形形色色的民族乐器_第一课时(岭南版六年级上册)_T1406126
- 【部编】人教版语文七年级下册《过松源晨炊漆公店(其五)》优质课教学视频+PPT课件+教案,江苏省
精品推荐
- 2021考研管综逻辑300道推理题及答案(21)
- 2020考研管理类联考综合全国硕士研究生考试试题及答案(网友版)
- 2020考研管综逻辑演绎推理类型试题及答案解析(查字典考研网版)
- 2020考研管综逻辑分析推理类型试题及答案解析(查字典考研网版)
- 2020考研管综初等数学算术部分试题解析及往年对比
- 2020考研管综初数条件充分性判断部分试题答案及解析(查字典考研网版)
- 2020考研管理类联考初数问题求解部分试题答案及解析(查字典考研网版)
- 2020考研管综初等数学数据分析部分试题解析及往年对比
- 2020考研管综初等数学平面图形部分试题解析及往年对比
- 2020考研管综初等数学空间几何体部分试题解析及往年对比