周蓓
- 作品数：10 被引量：22H指数：3
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家高技术研究发展计划国家部委预研基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 浮点数学函数异常处理方法被引量：7
- 2015年
- 异常会造成程序错误,实现完全没有异常的浮点计算软件也很艰难,因此,实现有效的异常处理方法很重要.但现有的异常处理并不针对浮点运算,并且研究重点都集中在整数溢出错误上,而浮点类型运算降低了整数溢出存在的可能.针对上述现象,面向基于汇编实现的数学函数,提出了一种针对浮点运算的分段式异常处理方法.通过将异常类型映射为64位浮点数,以核心运算为中心,将异常处理过程分为3个阶段:输入参数检测(处理INV异常)、特定代码检测(处理DZE异常和INF异常)以及输出结果检测(处理FPF异常和DNO异常),并从数学运算的角度对该方法采用分段式处理的原因进行了证明.实验将该方法应用于Mlib浮点函数库,对库中600多个面向不同平台的浮点函数进行了测试.测试结果表明:该方法能够将出现浮点异常即中断的函数个数从90%降到0%.同时,实验结果验证了该方法的高效性.
- 许瑾晨郭绍忠黄永忠王磊周蓓
- 关键词：浮点数数学函数异常处理
- 一个浮点数学函数库测试平台被引量：12
- 2015年
- 数学函数库作为CPU软件的重要组成部分,对于高性能计算机平台上的科学计算、工程数值计算起着极为关键的作用.现有的测试工具只能片面地对函数库进行测试,没有从正确性、精度和函数性能这3方面加以考虑,而且往往只针对一类目标体系结构,适用性有限.针对现有测试工具的缺陷,提出了面向多目标体系结构、全面可复用的一体化测试平台BMltest(basic math library test).测试平台结合函数特征值、IEEE-754特殊数以及利用浮点数生成规则实现的全浮点域指数分布的IEEE-754规范数构造了测试集,有效提高了测试集浮点数的覆盖率;提出了基于多精度库MPFR(multiple-precision floating-point reliable library)的精度测试方法,提高了精度测试的可靠性;提出了基于代码隔离的性能测试方法,最大限度地降低了外部环境对性能测试的干扰.针对大量的浮点测试结果,给出了合理的结果评价方案.测试平台使用的测试集数据与函数做到了相关性的极大分离,保证了测试方法的普适性.通过对包括GNU,Open64及Mlib函数库内所有855个函数的测试结果表明:BMltest平台的测试数据集更全面、有效,精度测试方法更可靠;与其他测试平台相比,性能测试结果更准确、稳定.
- 许瑾晨黄永忠郭绍忠周蓓赵捷
- 关键词：数学函数库
- TDCE:基于Tspaces的分布并行计算系统被引量：2
- 2007年
- Tspaces是一种新型的网络中间件。它为网络环境中各进程提供一种强大的共享存储机制来处理相互之间通信和同步。在Tspaces的基础上,构造了一个用于群机环境的并行计算系统TDCE。TDCE支持SPMD模式的并行程序,实验结果表明TDCE能以较小的系统配置和管理开销构建分布式计算平台,为并行程序的开发运行提供有效的支持,给出了系统MPI的对比测试结果并作了分析。
- 胡军郭绍忠周蓓
- 关键词：分布式计算并行计算元组空间
- 多Agent系统可视化开发环境的设计与实现被引量：3
- 2003年
- 多Agent系统是构造复杂的分布式软件的一种新方法,有广阔的应用前景。但设计多Agent系统难度很大,除了要考虑传统的分布式系统的所有问题外,还要考虑Agent的灵活性需求。为了支持多Agent系统的开发,提出并实现了一个可视化开发环境,用户可以从描述任务出发,经过一系列步骤,半自动化地生成多Agent系统,极大地减轻了编程负担。
- 郭中王惠芳郭金庚黄永忠周蓓
- 关键词：多AGENT系统UML角色
- 基于tspaces的分布并行计算系统的设计与实现
- 2006年
- 介绍了一种基于tspaces的共享存储的分布计算模型的设计和实现,重点给出了通信以及动态加入和撤出的具体实现,最后和MPI作了分析和比较。
- 周蓓郭绍忠黄永忠
- 关键词：分布计算模型JNIMPI
- 分布式元组空间协同模型的设计与描述
- 2008年
- 元组空间是一种结构化的分布式共享存储编程方式,使用一个共享的元组空间进行生成式通信。该文针对集中式元组空间的性能瓶颈、单点失效问题及可扩展性差等不足,提出一种混合式的分布式元组空间的体系架构,给出基于π-演算的分布计算演算模型,并对模型的语法和操作语义进行讨论,通过钩互模拟给出了系统的性质。
- 黄永忠陈左宁周蓓王磊
- 关键词：Π-演算
- 即时通信信息还原并行处理模型被引量：1
- 2008年
- 在即时通信信息还原过程中,引入分布式并发处理的思想,提出基于元组空间的并行处理模型。该模型使用细化任务粒度和主动提取任务相结合的方法,实现自适应的动态负载均衡。通过对任务提取算法的改进,分析还原的可靠性。理论分析和实验测试证明,该模型有效地提高了信息还原的速度。
- 余壮辉黄永忠周蓓
- 关键词：即时通信信息还原并行化元组空间
- 多代理系统及其在分布并行计算中的应用
- 论文首先介绍了软件代理技术(software agent technology)和多代理系统(multi-agent system)。软件代理技术是一门新型的技术，可以应用在许多领域中。多代理系统则是多个软件agent分...
- 周蓓
- 实践教学模式在本科专业课程教学中的应用
- 实践教学是高校本科专业课程教学的重要方法之一,本文分析了实践教学的基本特点,提出了一种实践教学模式,明确了实践教学的主要环节、步骤和基本方法,并以《算法设计》课程为例探讨了实践教学模式的具体应用。
- 舒辉柳清峰杜祝平周蓓
- 关键词：实践教学模式本科专业课程
- 文献传递
- 产生式重构代理的轻量级移动模型
- 2008年
- 提出面向高性能计算的轻量级移动代理模型,该模型基于模块化的思想,通过策略分布、策略组装等方式实现产生式重构迁移,从而达到轻量级。在研究已有移动语义的基础上,以工程实现为基础加以抽象,将代理平台之间的直接通信作为信道,通过产生式重构迁移的显式描述,给出基于pi演算的迁移语义的形式化描述。
- 黄永忠陈左宁周蓓
- 关键词：代理
