王映辉
基于地理信息可视化与虚拟现实技术、软件工程、软件理解和软件演化等。
个性化签名
- 姓名:王映辉
- 目前身份:
- 担任导师情况:
- 学位:
-
学术头衔:
博士生导师
- 职称:-
-
学科领域:
计算机软件
- 研究兴趣:基于地理信息可视化与虚拟现实技术、软件工程、软件理解和软件演化等。
王映辉(1967.9--),甘肃庄浪人,博士(北京大学博士后),教授,博士生导师。CCF高级会员,教育部学位与研究生教育评估专家,陕西省中小学信息技术课程评审专家,《陕西师范大学学报》编委。
1990年7月晋升为计算机软件助理工程师,1995年11月晋升为计算机软件工程师,2002年6月晋升为副教授,2004年12月破格晋升为教授。2003年作为主要学科带头人为陕师大申报“计算机应用技术”硕士点取得成功,2005年作为主要学科带头人为陕师大申报“计算机软件与理论”博士点取得成功(使陕师大成为目前全国师范院校中唯一一家、也是西北地区所有高校中第5家获得该博士点的学校)。
1989年7月毕业于陕西师范大学计算机软件专业,获学士学位;1999年7月毕业于西南石油学院地质专业(石油地质数字模拟),获硕士学位;2002年7月毕业于西北大学计算机软件与理论专业,获博士学位。2003年10月-2005年9月在北京大学软件工程国家工程研究中心(国家唯一),师从软件科学家、中国科学院院士杨芙清教授从事软件工程、软件演化、分布式应用集成和大规模高效可信软件等方面的理论与应用研究工作。
曾在长庆油田(1989.7-2000.8)从事网络系统集成、Sun工作站(SunOS)系统维护、各类测井软件开发、测井信号智能处理模型与解释方法、以及大规模油藏描述与可视化技术研究等工作;在2000.8-2006.6期间于陕西师范大学计算机学院从事计算机软件与理论和计算机应用技术教学与科研工作。自2006.7于西安理工大学计算机科学与工程学院从事计算机软件与理论与计算机应用技术教学和科研工作。目前感兴趣的研究方向为基于地理信息可视化与虚拟现实技术、软件工程、软件理解和软件演化等。
在陕西师范大学主讲计算机专业本科生课程:《数据库原理》、《数据结构》、《计算机图形学》、《可视化程序设计(VB60)》;研究生课程:《面向对象技术》、《UML建模原理》、《软件体系结构原理》、《现代软件架构技术》、《现代软件工程》、《高级(空间)数据结构》、《三维数据场可视化》、《虚拟现实技术与原理》、《计算机图形学》、《计算机辅助几何设计与非均匀有理B样条函数》。
近5年内,负责或作为主要技术骨干,完成国家973、国家863、国家自然科学基金和省自然科学基金等纵、横向项目近20项。先后以第1作者公开发表期刊论文近50篇;在国家级出版社【科学出版社】出版著作《大规模软件构架技术》(2003年)1部,作为主要人翻译译著1部(2001年)。曾获长庆油田青年科技标兵和多项厅局级科技进步奖,2003年获陕西师范大学教学质量优秀奖和优秀带队实习教师荣誉称号。
-
主页访问
2025
-
关注数
0
-
成果阅读
675
-
成果数
7
王映辉, , 王立福
电子学报,2005,33(8):1381~1386,-0001,():
-1年11月30日
软件演化包括静态演化和动态演化两个方面。作为软件的蓝图的SA(软件体系结构),为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径。在描述SA的构件2连接件模型的基础上,首先针对SA的静态演化,建立了SA邻接矩阵和可达矩阵,凭借矩阵变换与运算对SA静态演化中的波及效应进行了深入地分析和量化界定,同时给出了构件在SA中贡献大小相对量的计算方法。其次,针对SA的动态演化,给出了SA动态语义网络模型,分析了SA动态语义网络中基于不动点的浸润过程收敛的判定,提出了邻接矩阵原子过滤的概念,进而指出,SA动态演化过程可用一系列邻接矩阵原子过滤在时刻上的逻辑衔接来描述。最后给出了两个层面上对SA演化波及效应的分析框架。为SA演化的管理、控制、利用、评价和量化描述奠定了基础。
软件体系结构, 软件演化, 可达矩阵, 波及效应, 浸润
-
227浏览
-
0点赞
-
0收藏
-
0分享
-
205下载
-
0评论
-
引用
王映辉, , 张世琨, 王立福
计算机科学,2005,32(7):237~241,-0001,():
-1年11月30日
构件的高内聚性是基于构件复用研究领域常见的话题,也是软件开发者一直追求的目标。无论是对软件体系结构的获取,还是对软件演化的探究,甚至遗留系统的现代化改造,都与高内聚性构件的确定有着不可分割的天然联系.通过特征跟踪矩阵,建立了领域构件与特征之间的联系;给出了基于特征的n维向量空间中领域构件向量的表示,进而获取了反应领域构件间密切关系的领域构件向量距离矩阵;基于领域构件向量距离矩阵,结合等级簇聚合算法建立了领域构件等级簇树;最后在领域构件等级簇树的基础上,提出了一种高内聚领域构件获取和控制策略。
领域工程,, 特征,, 跟踪矩阵,, 高内聚,, 领域构件
-
79浏览
-
0点赞
-
0收藏
-
0分享
-
38下载
-
0评论
-
引用
王映辉, 刘瑜, 高勇, +, , 邬伦, 王立福
软件学报,2005,16(8):1395~1406,-0001,():
-1年11月30日
软件框架为特定领域的软件复用带来了便利。众所周知,软件框架开发的难度要大于开发一个普通可复用构件,采用支持黑盒复用的基于构件的软件框架概念,探讨了地理工作流框架的开发过程。一个地理工作流应用是地理信息领域的工作流管理系统,它可以通过复用地理工作流框架实现.从方法学的角度看,为了开发地理工作流框架,需要进行以下活动:领域分析、领域设计、框架设计和实现。其输出分别是识别了领域变化性的领域模型、领域特定的软件体系结构(DSSA)、软件框架产品.在地理工作流的上下文中,首先对领域变化性进行了识别和分类,包括空间数据类型、空间数据管理、空间操作、过程和空间数据表现5个方面的变化性,它们可以组织成树状视图。然后,为了处理上述变化性,设计了DSSA和框架的软件体系结构,其中前者是后者的模板,而框架体系结构采用HMB风格。最后,对地理工作流框架构件的开发以及框架复用进行了简单描述。与其他地理工作流系统相比,其优势在于由于框架扩展能力带来的灵活性。
基于构件的软件框架, 地理工作流, 领域变化性
-
74浏览
-
0点赞
-
0收藏
-
0分享
-
77下载
-
0评论
-
引用
王映辉, 王映辉), ), 刘瑜), 王立福)
计算机学报,2004,27(11):1451~1456,-0001,():
-1年11月30日
构造性和演化性是软件的两个基本特性,而软件演化包括静态演化和动态演化两个方面。动态演化更为复杂,这种复杂性决定了,对动态演化的研究首先应从宏观层面入手。软件体系结构SA作为软件的蓝图和支撑骨架,为人们宏观把握软件的动态演化提供了一条有效的途径。该文描述了构件——连接件组成的SA动态语义网络模型,分析了SA动态语义网络模型中的浸润过程,给出基于不动点的浸润过程收敛的判定,提出了邻接矩阵过滤和原子过滤的概念,阐明了基于邻接矩阵原子过滤的SA动态语义网络浸润步的原子性。指出SA动态演化过程可用一系列邻接矩阵原子过滤在时刻上相继的逻辑衔接来描述。最后给出了两个层面上对SA动态演化波及效应的分析方法,为基于矩阵变换的SA动态演化的进一步研究和计算机自动量化描述奠定了基础。
软件体系结构, 动态演化, SA动态语义网, 邻接矩阵, 浸润, 不动点
-
63浏览
-
0点赞
-
0收藏
-
0分享
-
90下载
-
0评论
-
引用
王映辉, +, 张世琨, 刘瑜, 王立福
软件学报,2004,15(8):1107~1115,-0001,():
-1年11月30日
构造性和演化性是软件的两个基本特性,软件演化由一系列复杂的变化活动组成,软件演化的复杂性决定了对软件演化的研究首先应从宏观层面入手,软件体系结构SA作为软件的蓝图和支撑骨架,为人们宏观把握软件的整体结构和软件演化提供了一条有效的途径,描述了SA的构件--连接件模型,建立了SA关系矩阵和可达矩阵,凭借矩阵变换与运算对SA演化中的波及效应进行了深入的分析和量化界定;并对演化中的构件删除、增加和修改以及构件的合并与分解等变化活动所引起的各种波及效应给予了阐述;同时,给出了构件在SA中贡献大小相对量的计算方法.为SA演化的管理、控制、利用和评价提供了可靠的依据,并为基于矩阵变换的SA演化的计算机自动处理奠定了基础。
软件体系结构, 演化, 交互关系, 软件体系结构可达矩阵, 波及效应
-
99浏览
-
0点赞
-
0收藏
-
0分享
-
147下载
-
0评论
-
引用
王映辉, 王英杰, 王彦君, 樊宏斌
计算机应用研究,2004(9):188~193,-0001,():
-1年11月30日
软件体系结构研究是目前软件工程领域研究的新一轮热潮,是对软件的更高层次抽象。在分析MVC(Model/View/Controller)模式机理的基础上,给出了基于MVC的软件界面体系结构及其工作机理。软件界面体系结构带来了软件设计的灵活性和高度重用性。最后,以软件界面体系结构为指导,分析了MFC(Microsoft Fundament Class)的文档视图结构,并给出了软件界面体系结构的具体设计和实现。
软件体系结构, 模型/, 视图/, 控制器模式, 文档, 视图
-
60浏览
-
0点赞
-
0收藏
-
0分享
-
48下载
-
0评论
-
引用
王映辉, 王英杰, 王彦君
计算机工程与应用,2004,5:7~9,-0001,():
-1年11月30日
利用可视化技术进行体育运动训练机体的量化研究,是运动训练研究最有效的手段之一;在描述了三维可视化重构的一般过程和机理,并给出了基于可视化技术的运动机体器官组织量化体积计算模型的基础上;进而,实现了基于断面图像(CT或MRI等)的运动机体器官组织的三维可视化量化辅助分析软件平台;最后指出,在运动训练研究中,以该软件平台作为辅助工具的最大优点是:可以直接利用现有的活体(特别是活人体),而无须再对被研究的运动器官组织做具体解剖,就能方便快捷地获取其运动训练效果的许多高精度量化参数。
图像, 运动训练, 量化, 三维可视化, 软件平台
-
73浏览
-
0点赞
-
0收藏
-
0分享
-
36下载
-
0评论
-
引用