检索结果-维普期刊中文期刊服务平台

一种基于微分代数动态逻辑的CPS建模与验证方法被引量：1: 1; 作者陈乔乔李必信吉顺慧《计算机研究与发展》 EI CSCD 北大核心 2013年第4期700-710,共11页; 随着CPS在工业控制、智能交通、智能医疗等领域的广泛应用,安全性已成为目前CPS理论和应用研究的核心问题.提出了一种基于微分代数动态逻辑的CPS安全性验证方法,该方法首先把HybridUML模型转换成微分代数程序,然后使用微分代数动态逻辑... 展开更多; 关键词信息物理融合系统微分代数动态逻辑 HybridUML 微分代数程序验证; 在线阅读下载PDF 职称材料

输入感知的通用矩阵-向量乘算法在Hygon DCU的自适应性能优化: 2; 作者李庆贾海鹏 +1 位作者张云泉张思佳《计算机科学》北大核心 2025年第4期291-300,共10页; GEMV(通用矩阵-向量乘法函数)是BLAS(基础线性代数子程序)算法库的核心组成部分,广泛用于计算机科学、工程计算和数学计算等领域。当前,随着国产Hygon DCU版本的不断迭代升级,Hygon DCU与传统GPU生产商之间也存在一定的竞争优势;随着GEM... 展开更多; 关键词通用矩阵-向量乘法 DCU 基础线性代数子程序函数库自适应调优性能优化; 在线阅读下载PDF 职称材料

非线性可约函数方程组的展开式解被引量：2: 3; 作者孙永强袁华强《计算机学报》 EI CSCD 北大核心 1995年第1期61-64,共4页; 本文将可约变换的结果推广至方程组，针对方程组至少有一个可约方程的情形得到其可约变换定理，并依此推导出一类非线性可约方程组的展开式定理．; 关键词程序代数可约变换函数方程组非线性; 在线阅读下载PDF 职称材料

非线性冗余函数方程组的展开式解被引量：1: 4; 作者孙永强袁华强《上海交通大学学报》 EI CAS CSCD 北大核心 1995年第5期1-7,共7页; 本文讨论了常量函数不一定相同的二元非线性冗余函数方程组的展开式解，其中针对未知函数的４种不同的位置分别进行了求解，得到了二元三次冗余函数方程组的展开式解，并给出了实例。; 关键词函数式程序设计程序代数非线性函数方程; 在线阅读下载PDF 职称材料

拟双线性方程（组）的展开算法及其求解: 5; 作者孙永强袁华强《软件学报》 EI CSCD 北大核心 1995年第A01期246-252,共7页; 本文举例说明了拟双线性方程展开算法中利用常数项逐次生成新的常数项，直至新的常数英不再增加为止的这一迭代过程有可能不终止，并提出了改进办法，将拟双线性方程的等价变换定理推广至拟双线性方程组，根据拟双线性方程组等价变换定... 展开更多; 关键词程序代数拟双线性方程组展开算法解; 在线阅读下载PDF 职称材料

基于ARMv8架构的面向机器翻译的单精度浮点通用矩阵乘法优化被引量：10: 6; 作者龚鸣清叶煌 +2 位作者张鉴卢兴敬陈伟《计算机应用》 CSCD 北大核心 2019年第6期1557-1562,共6页; 针对使用ARM处理器的移动智能设备执行神经网络推理计算效率不高的问题,提出了一套基于ARMv8架构的单精度浮点通用矩阵乘法(SGEMM)算法优化方案。首先,确定ARMv8架构的处理器执行SGEMM算法的计算效率受限于向量化计算单元使用方案、指... 展开更多; 关键词 ARMv8 单指令多数据流计算基础线性代数子程序库高性能计算; 在线阅读下载PDF 职称材料

基于申威1621的通用矩阵向量乘法的性能分析与优化被引量：2: 7; 作者邓洁赵荣彩王磊《计算机应用》 CSCD 北大核心 2022年第S01期215-220,共6页; 通用矩阵向量乘法(GEMV)函数是整个二级基础线性代数子程序(BLAS)函数库的构建基础,BLAS作为关键基础计算软件之一,目前在申威处理器上却没有一个高性能实现的版本。针对上述问题,为充分发挥申威1621平台的高性能BLAS库计算优势,提出一... 展开更多; 关键词申威1621 基础线性代数子程序函数库单指令多数据流通用矩阵向量乘法性能优化; 在线阅读下载PDF 职称材料

题名一种基于微分代数动态逻辑的CPS建模与验证方法被引量：1: 1; 作者陈乔乔李必信吉顺慧; 机构东南大学计算机科学与工程学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2013年第4期700-710,共11页; 基金国家自然科学基金项目(60973149) 高等学校博士学科点专项科研基金项目(20100092110022) 江苏省高校科研成果产业化推进项目(JHB2011-3); 文摘随着CPS在工业控制、智能交通、智能医疗等领域的广泛应用,安全性已成为目前CPS理论和应用研究的核心问题.提出了一种基于微分代数动态逻辑的CPS安全性验证方法,该方法首先把HybridUML模型转换成微分代数程序,然后使用微分代数动态逻辑对系统安全性进行规约,最后依据微分代数动态逻辑推理规则对CPS进行安全性验证.通过对飞机空中避撞系统的实例研究,表明该方法能够有效地验证避撞策略的正确性,从而保证避撞系统的安全性.; 关键词信息物理融合系统微分代数动态逻辑 HybridUML 微分代数程序验证; Keywords cyber-physical systems differential-algebraic dynamic logic HybridUML differential-algebraic program verification; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名输入感知的通用矩阵-向量乘算法在Hygon DCU的自适应性能优化: 2; 作者李庆贾海鹏张云泉张思佳; 机构大连海洋大学信息工程学院中国科学院计算技术研究所; 出处《计算机科学》北大核心 2025年第4期291-300,共10页; 基金国家重点研发计划(2023YFB3001701) 国家自然科学基金(62372432)。; 文摘 GEMV(通用矩阵-向量乘法函数)是BLAS(基础线性代数子程序)算法库的核心组成部分,广泛用于计算机科学、工程计算和数学计算等领域。当前,随着国产Hygon DCU版本的不断迭代升级,Hygon DCU与传统GPU生产商之间也存在一定的竞争优势;随着GEMV应用领域的不断扩大,GEMV的输入特征体现出多样化的趋势。在这种背景下,单纯靠一种优化方法,无法实现GEMV算法在GPU计算平台上所有输入情况下的高性能。因此,在访存优化、指令重排、并行规约、共享内存、线程排布等传统优化手段的基础上,提出了一种输入感知的性能自适应优化方法,其能够根据输入矩阵的不同规模和形状自动调整计算kernel的实现方式以达到最佳性能,显著提高了GEMV在Hygon DCU上的性能。实验结果表明,在Hygon DCU Z100SM上,输入感知的通用矩阵-向量乘算法的整体性能明显优于RocBLAS库中的相关算法,对于不同的矩阵输入规模,性能最大提升为RocBLAS库中对应算法的3.0203倍。; 关键词通用矩阵-向量乘法 DCU 基础线性代数子程序函数库自适应调优性能优化; Keywords Generalized matrix-vector multiplication DCU Library of basic linear algebra subroutine functions Adaptive tuning Performance optimization; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名非线性可约函数方程组的展开式解被引量：2: 3; 作者孙永强袁华强; 机构上海交通大学计算机科学与工程系; 出处《计算机学报》 EI CSCD 北大核心 1995年第1期61-64,共4页; 文摘本文将可约变换的结果推广至方程组，针对方程组至少有一个可约方程的情形得到其可约变换定理，并依此推导出一类非线性可约方程组的展开式定理．; 关键词程序代数可约变换函数方程组非线性; Keywords FP algebra of programs reducible transformation.; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名非线性冗余函数方程组的展开式解被引量：1: 4; 作者孙永强袁华强; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 1995年第5期1-7,共7页; 文摘本文讨论了常量函数不一定相同的二元非线性冗余函数方程组的展开式解，其中针对未知函数的４种不同的位置分别进行了求解，得到了二元三次冗余函数方程组的展开式解，并给出了实例。; 关键词函数式程序设计程序代数非线性函数方程; Keywords functional programming, algebra of programs, redundant transformation; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名拟双线性方程（组）的展开算法及其求解: 5; 作者孙永强袁华强; 出处《软件学报》 EI CSCD 北大核心 1995年第A01期246-252,共7页; 文摘本文举例说明了拟双线性方程展开算法中利用常数项逐次生成新的常数项，直至新的常数英不再增加为止的这一迭代过程有可能不终止，并提出了改进办法，将拟双线性方程的等价变换定理推广至拟双线性方程组，根据拟双线性方程组等价变换定理以及改进的拟双线性方程展开算法设计了拟双线性方程组的展开算法。; 关键词程序代数拟双线性方程组展开算法解; 分类号 O241 [理学—计算数学]; 在线阅读下载PDF 职称材料

题名基于ARMv8架构的面向机器翻译的单精度浮点通用矩阵乘法优化被引量：10: 6; 作者龚鸣清叶煌张鉴卢兴敬陈伟; 机构中国科学院计算机网络信息中心中国科学院大学北京搜狗科技发展有限公司; 出处《计算机应用》 CSCD 北大核心 2019年第6期1557-1562,共6页; 基金国家重点研发计划项目(2016YFB0201100,2017YFB0202803) 国家自然科学基金资助项目(11871454,91630204,61531166003) +1 种基金中国科学院信息化专项(XXH13506-204)~~; 文摘针对使用ARM处理器的移动智能设备执行神经网络推理计算效率不高的问题,提出了一套基于ARMv8架构的单精度浮点通用矩阵乘法(SGEMM)算法优化方案。首先,确定ARMv8架构的处理器执行SGEMM算法的计算效率受限于向量化计算单元使用方案、指令流水线和缓存未命中的发生概率;其次,针对三点导致计算效率受限的原因实现向量指令内联汇编、数据重排和数据预取三条优化技术;最后,根据语音方向的神经网络中常见的三种矩阵模式设计测试实验,实验中使用RK3399硬件平台运行程序。实验结果表示:方阵模式下单核计算速度为10.23 GFLOPS,达到实测浮点峰值的78.2%;在细长矩阵模式下单核计算速度为6.35 GFLOPS,达到实测浮点峰值的48.1%;在连续小矩阵模式下单核计算速度为2.53 GFLOPS,达到实测浮点峰值19.2%。将优化后的SGEMM算法部署到语音识别神经网络程序中,程序的实际语音识别速度取得了显著提高。; 关键词 ARMv8 单指令多数据流计算基础线性代数子程序库高性能计算; Keywords ARMv8 single instruction multiple data basic linear algebra subprogram high performance computation; 分类号 TP332 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于申威1621的通用矩阵向量乘法的性能分析与优化被引量：2: 7; 作者邓洁赵荣彩王磊; 机构中原工学院前沿信息技术研究院; 出处《计算机应用》 CSCD 北大核心 2022年第S01期215-220,共6页; 文摘通用矩阵向量乘法(GEMV)函数是整个二级基础线性代数子程序(BLAS)函数库的构建基础,BLAS作为关键基础计算软件之一,目前在申威处理器上却没有一个高性能实现的版本。针对上述问题,为充分发挥申威1621平台的高性能BLAS库计算优势,提出一种基于申威1621的通用矩阵向量乘法的性能分析与优化方法。首先对GEMV函数进行计算重排序、循环分块的改进;然后采取单指令多数据流(SIMD)以及指令重排的优化方式;最后对内存分配方式进行择优选择。测试结果表明,GEMV函数平均性能达到GotoBLAS版的2.17倍。在使用堆栈分配内存空间或增加对y向量步长的判断分支两种方案后,相较于GotoBLAS,小规模矩阵的平均性能由2.265倍提升至2.875倍。为提高大规模矩阵的性能,以及发挥申威1621多核处理器并行机制,在开启4线程后,平均性能达到单核的3.57倍。因此,优化后的GEMV函数在申威平台上较好的体现了并行效果。; 关键词申威1621 基础线性代数子程序函数库单指令多数据流通用矩阵向量乘法性能优化; Keywords Sunway1621 Basic Linear Algebra Subprograms(BLAS)library Single Instruction Multiple Data(SIMD) General Matrix Vector(GEMV)multiplication performance optimization; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一种基于微分代数动态逻辑的CPS建模与验证方法	陈乔乔李必信吉顺慧	《计算机研究与发展》 EI CSCD 北大核心	2013	1	在线阅读下载PDF 职称材料
2	输入感知的通用矩阵-向量乘算法在Hygon DCU的自适应性能优化	李庆贾海鹏张云泉张思佳	《计算机科学》北大核心	2025	0	在线阅读下载PDF 职称材料
3	非线性可约函数方程组的展开式解	孙永强袁华强	《计算机学报》 EI CSCD 北大核心	1995	2	在线阅读下载PDF 职称材料
4	非线性冗余函数方程组的展开式解	孙永强袁华强	《上海交通大学学报》 EI CAS CSCD 北大核心	1995	1	在线阅读下载PDF 职称材料
5	拟双线性方程（组）的展开算法及其求解	孙永强袁华强	《软件学报》 EI CSCD 北大核心	1995	0	在线阅读下载PDF 职称材料
6	基于ARMv8架构的面向机器翻译的单精度浮点通用矩阵乘法优化	龚鸣清叶煌张鉴卢兴敬陈伟	《计算机应用》 CSCD 北大核心	2019	10	在线阅读下载PDF 职称材料
7	基于申威1621的通用矩阵向量乘法的性能分析与优化	邓洁赵荣彩王磊	《计算机应用》 CSCD 北大核心	2022	2	在线阅读下载PDF 职称材料