公共文化服务平台

虚拟实践中主体性问题探究: 实践是人的存在方式，人类在实践中得以确立自身在自然界中的地位，意识到自我的存在。文艺复兴发现了人，人的主体地位得以确立，人的价值的得以确认：宗教改革将上帝拉回人间，信仰由彼岸世界重返此岸世界;地理大发现等一系列自然科学实...; 王磊

法治新常态下狱务公开途径构建解析: 2015年; 狱务公开制度是我国监狱法制建设和行刑文明进步的体现，是监狱系统沟通内外、联系社会的渠道和桥梁，对于维护社会稳定、全面推进依法治国具有重要的现实意义。然而，现在狱务公开存在公开内容不够详尽、立式方法单一、制度建设不足等问题，影响了狱务公开的开展，需要通过树立科学的狱务公开理念、丰富狱务公开的内容、建立狱务公开沟通协调机制等措施来予以完善。; 傅思明王磊; 关键词：法治狱务公开

基于申威1621函数库的断流水指令替换方法: 2021年; 基础数学函数库是高性能计算机中最基础、最核心的底层软件之一,它的性能直接决定了上层计算程序的运行效率.现版本的国产申威基础数学库中部分函数使用rfpcr和wfpcr指令导致流水线中断,降低了函数的性能.针对这个问题,本文结合函数的功能和指令特性,提出指令段功能等效替换方法.实验表明,运用该方法,使得函数性能平均提高27.83%.; 吴凡王磊; 关键词：数学库流水线

虚拟思维视野中的网络化生存: 2011年; 网络为人们生存的环境提供了相对平等的权利和便利的生活,但由于网络无约束的自由性,也给人们的生活和工作带来负面影响。为此,需规范网络秩序,加强互联网的法治建设和舆论引导,加强互联网的队伍建设和重点网站建设。; 王磊; 关键词：互联网网络秩序法治

一种花状Fe/Fe3C/Fe3O4复合吸波材料及其制备方法: 本发明属于材料制备领域，涉及一种花状Fe/Fe3C/Fe3O4复合吸波材料及其制备方法。本发明是要解决传统Fe3O4</S...; 强荣肇博涛简永邵玉龙杨红英喻红芹郭正张晓莉田孟超马季玫武宗文黄伟韩辛泽波叶子李博张逸飞贾小良王磊

一种英语远程教学用声像系统: 本实用新型涉及一种英语远程教学用声像系统，包括十字滑台，十字滑台包括横向滑块和纵向滑块，纵向滑块由纵向滑块电机驱动，横向滑块电机与横向滑块之间、纵向滑块电机与纵向滑块之间均通过丝杠丝母机构传动连接，纵向滑块上设置有竖向布...; 王好强王磊韩小哲柴高洁关成勇; 文献传递

基于申威1621处理器的BLAS一级函数优化被引量：1: 2021年; BLAS(Basic Linear Algebra Subprograms)是一个基本线性代数操作的数学函数标准,该库函数分为三个级别,每个级别提供了向量与向量(1级)、向量与矩阵(2级)、向量与向量(三级)之间的基本运算.本文研究了在申威1621处理器上BLAS一级函数的优化方案,以函数AXPY为例,充分利用平台的架构特点对其进行性能调优,设计了自动的线程分配方案.实验结果显示优化过后的BLAS一级函数AXPY相对于GotoBLAS参考实现版本的单核和多核加速比分别高达4.36和9.50,对于每种优化方式均得到了一定的性能提升.; 李浩然王磊; 关键词：BLAS

基于申威1621的通用矩阵向量乘法的性能分析与优化被引量：1: 2022年; 通用矩阵向量乘法(GEMV)函数是整个二级基础线性代数子程序(BLAS)函数库的构建基础,BLAS作为关键基础计算软件之一,目前在申威处理器上却没有一个高性能实现的版本。针对上述问题,为充分发挥申威1621平台的高性能BLAS库计算优势,提出一种基于申威1621的通用矩阵向量乘法的性能分析与优化方法。首先对GEMV函数进行计算重排序、循环分块的改进;然后采取单指令多数据流(SIMD)以及指令重排的优化方式;最后对内存分配方式进行择优选择。测试结果表明,GEMV函数平均性能达到GotoBLAS版的2.17倍。在使用堆栈分配内存空间或增加对y向量步长的判断分支两种方案后,相较于GotoBLAS,小规模矩阵的平均性能由2.265倍提升至2.875倍。为提高大规模矩阵的性能,以及发挥申威1621多核处理器并行机制,在开启4线程后,平均性能达到单核的3.57倍。因此,优化后的GEMV函数在申威平台上较好的体现了并行效果。; 邓洁赵荣彩王磊

基于申威1621的半精度超越函数设计被引量：1: 2022年; 低精度浮点数常用于深度学习加速,目前申威平台缺乏对低精度浮点数的支持,数学库的设计往往需要结合数据类型与处理器特点定制算法才能发挥出最大优势,旨在为申威1621平台设计一套支持半精度计算的超越函数。通过分析各类浮点数特性,结合申威1621的结构特点提出一种基于回乘取余查表算法。首先,对函数的定义域进行归约,生成精简的数据表;然后将回乘取余后的数值按照sign、exponent、mantissa三部分拆分计算索引;最后,查表返回结果。测试结果表明,使用回乘取余查表算法实现的半精度超越函数,相较于基于多项式近似、移位相加等算法的申威数学库及GLIBC开源数学库,性能分别提升了116%和215%。在精度需求不高的应用中既保证了正确性又大幅度提升了数学函数计算效率。; 曹克乾赵荣彩王磊; 关键词：查表法归约算法超越函数

基于编译时插桩的浮点异常检测方法: 2022年; 浮点数是实数的有限精度编码,在进行浮点计算时,可能会导致不精确或者异常的结果,因此实现有效的浮点异常检测方法很重要。现有异常检测方法不面向浮点数学函数,由此提出了一种面向浮点数学函数的异常检测方法。该方法依据IEEE-754标准中定义的上溢出、下溢出、被零除、无效操作和不精确5类异常,并结合申威高性能数学函数库中使用的浮点控制寄存器FPCR和IEEE-754标准定义的浮点异常产生条件的相关理论,通过将异常类型和浮点运算指令进行对应分类,在程序编译时进行插桩以检测出浮点数学函数中出现的异常,同时记录代码覆盖率。最后将该方法应用于数学函数库,对库中100多个浮点数学函数进行了测试实验。实验结果表明,该浮点异常检测方法能够有效检测各类异常。; 郭思雨王磊; 关键词：插桩异常检测

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

王磊