王巍
- 作品数：12 被引量：16H指数：2
- 供职机构：集美大学计算机工程学院更多>>
- 发文基金：福建省教育厅科技项目福建省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学石油与天然气工程天文地球更多>>
- 基于Linux数据链路层MPI通信机制的设计与实现被引量：1
- 2012年
- 针对MPI集群通信的特点,通过分析当前网络的通信结构和MPI的点到点通信模式,提出了一种基于数据链路层的集群通信机制,用以减少协议开销和内存拷贝次数,从而提高集群节点间的通信性能,并且通过实验验证了该机制的可行性。
- 王巍李旺
- 关键词：内存映射数据链路层
- 基于UG的点云数据滤波处理
- 2008年
- 目前UG还没有点云数据滤波处理的功能,为此本文以VC++作为开发平台,调用Matlab中平滑函数,在UG上开发了点云滤波模块,并给出了应用实例,证明了该模块的可行性。
- 李波王巍
- 关键词：逆向工程点云数据滤波UGMATLAB
- 高级语言程序设计课程教学方法探析被引量：8
- 2012年
- 针对高校低年级学生初学程序设计所遇到的种种问题,依据循序渐进、逐步求精的原则,提出渐进式教学模式,重点阐述仿、写、读、改、编五个教学环节,为探索计算机程序设计教学提供一点新的启示。
- 王巍
- 关键词：程序设计小班授课
- 基于Lustre文件系统的MPI-IO编程接口改进被引量：1
- 2012年
- 针对传统MPI集群并行I/O效率不高的问题,通过分析Lustre并行文件系统的特点和MPI-IO集中式I/O操作的算法,提出了一种基于MPI-IO编程接口的改进方案,用以改善集群I/O瓶颈,提高I/O并行效率,并通过实验验证了该方案的可行性。
- 王巍李旺
- 关键词：并行文件系统编程接口LUSTRE
- 基于模型检测的SSL协议形式化验证
- 2014年
- 针对传统的测试方法无法对网络安全协议的逻辑本身进行验证等问题,提出了一套基于形式化分析和SPIN模型检测的验证方法.该方法首先以BAN逻辑对目标协议进行形式化分析,然后推断目标协议存在的问题缺陷,并通过Promela语言对其构建SPIN模型,最后通过SPIN软件验证推断的正确性.并以SSL协议作为具体实例予以论证,结果表明所提方法具可行性.
- 王巍曾华朴黄艳洋
- 关键词：SPINSSL协议PROMELALTL
- 软件工程专业硬件类课程教学改革
- 2015年
- 分析软件工程专业硬件类课程在教学中存在的主要问题,提出一套硬件类课程教学模式,论述其教学内容、实验设置和考核方法。
- 王巍袁鹏飞
- 关键词：VHDL硬件类课程教学模式
- 基于ATS的直播加速缓存系统设计
- 2018年
- 由于网络直播快速发展和在线用户数量过大,服务器容易出现过载状态,响应速度也随之下降,直播卡顿和延时问题成为了困扰大多数用户的问题。因此提出,基于ATS(apache traffic server),采用Boost库开发插件并搭建网络代理服务器,通过重定向服务器将用户的直播请求导入ATS服务器,ATS以异步处理和并发的方式处理用户请求。当多个用户请求同一个直播资源时,ATS缓存系统只需要回源一次,并把数据输出给多个用户,有效地减少了广域网和源站服务器的负载,提高了直播数据的传输效率。实验结果表明,ATS缓存加速系统可以解决直播的卡顿和延时问题。
- 马邦阳魏伟刚浦云明尤志宁王巍陈凯萌
- 关键词：网络直播ATS
- 集群系统进程迁移的实现与性能测试
- 2007年
- 为创建高性能、高可用性的服务器集群,以满足日益增长的访问量和数据吞吐量的需求,对进程迁移机制的关键技术进行了阐述,然后研究了MOSIX集群中DFSA机制的实现方法,重点提出了一套针对不同性能测试的用例方案,最后通过实验测试,对包括含有DFSA的MOSIX在内的四种系统进行了比较和分析。
- 王巍浦云明李波
- 关键词：MOSIXMFS集群
- 一种基于CI因子图的多机器人2D地图融合算法被引量：4
- 2017年
- 针对地图融合时多机器人位姿估计过程中互协方差未知的问题,提出了一种基于协方差交叉点(covariance intersection,CI)因子图的2D地图融合算法.首先通过坐标变换矩阵实现机器人坐标到全局坐标的转换,然后以最小化非线性性能指标为原则求取局部的估计信息权重,通过算法融合各局部估计信息,计算出融合点的位姿和互协方差.最后通过协方差通用公式,计算出融合点到下一级变量节点的概率约束(协方差),进而完成因子图融合.实验结果表明,该算法具有一定的可行性.
- 王巍浦云明李旺
- 关键词：多移动机器人系统协方差
- 基于树型MPI并行计算系统的设计与实现被引量：2
- 2011年
- 针对单层型MPI集群通信效率不高的特点,通过对比分析单层型结构和树型结构在集群聚合通信中的不同,提出了一种基于树型结构的MPI集群系统设计方案。用以降低全局通信流量和均衡主控节点负载,从而改善集群通信效率,使集群的扩展更加灵活,通过实验验证了该方案的可行性。
- 王巍张杰敏
- 关键词：MPI聚合通信广播
