公共文化服务平台

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

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

CNFED:一种基于条件数的浮点表达式误差检测工具: 2025年; 浮点数使用有限的精度来表示实数,其固有的舍入误差会在计算过程中累积,可能导致严重错误,从而危及程序的安全性和可靠性。理论上,最精准的浮点误差检测方法是穷举搜索所有可能的浮点数输入,以确定实际计算结果与理论值之间的最大误差,但搜索空间巨大,因此有效且高效地检测最大浮点误差一直是一个挑战。基于对条件数的研究,设计并实现了一种用于浮点表达式的误差检测工具CNFED。CNFED将输入区间划分成多个子区间,对每个子区间进行随机采样和评估,快速定位多个热点子区间;然后分层对这些热点子区间调用全局搜索算法和局部搜索算法,并结合相应评估函数进行筛选,最终找到可能的浮点误差极大值及相应的输入值并报告。实验选取FPBench标准测试集中26个表达式作为测试用例,并与先进检测工具ATOMU和HSED进行了比较。实验结果表明,CNFED检测效果优于ATOMU的比例为96.15%(25/26)。与针对浮点表达式的检测工具HSED相比,CNFED检测效果优于HSED的比例为34.62%(9/26),同时HSED所花平均时间是CNFED的4.8倍。; 王盼龙王磊英津瑞刘博文高志勇; 关键词：浮点运算条件数分层搜索

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

一种石墨烯量子点修饰的SERS传感器及其制备方法和应用: 本发明公开了一种石墨烯量子点修饰的SERS传感器及其制备方法和应用，该传感器以石墨烯量子点负载的银纳米线（GQDs @AgNW）为核，通过自组装方式在其表面均匀生长共价有机框架（COF）壳层，形成GQDs@COF@AgN...; 李伟涛王磊靳宇瑞任改焕赵明慧邵伟力喻红芹李尚黄元昊刘阳董泽云李帅

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

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

王磊