期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
DIFFERENTIAL-ALGEBRAIC APPROACH TO COUPLED PROBLEMS OF DYNAMIC THERMOELASTICITY 被引量:1
1
作者 WANG Lin-xiang Roderick V. N. Melnik 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 2006年第9期1185-1196,共12页
An efficient numerical approach for the general thermomechanical problems was developed and it was tested for a two-dimensional thermoelasticity problem. The main idea of our numerical method is based on the reduction... An efficient numerical approach for the general thermomechanical problems was developed and it was tested for a two-dimensional thermoelasticity problem. The main idea of our numerical method is based on the reduction procedure of the original system of PDEs describing coupled thermomechanical behavior to a system of Differential Algebraic Equations (DAEs) where the stress-strain relationships are treated as algebraic equations. The resulting system of DAEs was then solved with a Backward Differentiation Formula (BDF) using a fully implicit algorithm. The described procedure was explained in detail, and its effectiveness was demonstrated on the solution of a transient uncoupled thermoelastic problem, for which an analytical solution is known, as well as on a fully coupled problem in the two-dimensional case. 展开更多
关键词 THERMOELASTICITY TWO-DIMENSIONAL differential-algebraic solvers
下载PDF
Parallel Rosenbrock Methods for DifferentialAlgebraic Equations
2
作者 Fei Jinggao Beijing Institute of Computer Application and Simulation Technology 100854, P. R. China 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2001年第2期73-81,共9页
A class of parallel Rosenbrock methods for differential algebraic equations are presented in this paper. The local truncation errors are defined and the order conditions are established by using the DA-trees and DA-se... A class of parallel Rosenbrock methods for differential algebraic equations are presented in this paper. The local truncation errors are defined and the order conditions are established by using the DA-trees and DA-series. The paper also deals with the convergence of the parallel Rosenbrock methods for h -> 0 and states the bounds for the global errors of the methods. Some particular methods are obtained by solving the order equations and a numerical example is given, from which the theoretical orders are actually observed. 展开更多
关键词 D differential- algebraic system Par algorithm Rosenbrock algorithm Rosenbrock method Convergence.
下载PDF
基于Kokkos模板元编程的性能可移植求解器开发
3
作者 郑亮 黎坤运 +6 位作者 周兴彬 李永辉 于要杰 向玉开 胡健 柴华 郭黎 《数据与计算发展前沿》 CSCD 2024年第1期12-20,共9页
【目的】解决面向多样化异构计算架构的求解器应用编程问题。【应用背景】超级计算机的硬件架构日益多样化,新的异构架构因生态不够完善,往往导致软件移植研发门槛过高、研发周期过长,以及存在针对不同硬件反复适配、移植等问题。【方... 【目的】解决面向多样化异构计算架构的求解器应用编程问题。【应用背景】超级计算机的硬件架构日益多样化,新的异构架构因生态不够完善,往往导致软件移植研发门槛过高、研发周期过长,以及存在针对不同硬件反复适配、移植等问题。【方法】在Kokkos代数算子库基础上,开发一套面向国产E级计算环境的“性能可移植”模板元接口开源框架,用于线性代数求解器编程。【结果】本文给出其用于Krylov子空间算法的简单编程示范,实现了面向国产异构处理器的线性代数求解器移植,部分求解器相较于10核超线程Xeon CPU有数十倍以上加速。【结论】性能可移植编程可成为应对多样化异构计算的解决方案。 展开更多
关键词 性能可移植 Kokkos 模板元编程 线性代数求解器
下载PDF
A New Directional Algebraic Fast Multipole Method Based Iterative Solver for the Lippmann-Schwinger Equation Accelerated with HODLR Preconditioner
4
作者 Vaishnavi Gujjula Sivaram Ambikasaran 《Communications in Computational Physics》 SCIE 2022年第9期1061-1093,共33页
We present a fast iterative solver for scattering problems in 2D,where a penetrable object with compact support is considered.By representing the scattered field as a volume potential in terms of the Green’s function... We present a fast iterative solver for scattering problems in 2D,where a penetrable object with compact support is considered.By representing the scattered field as a volume potential in terms of the Green’s function,we arrive at the Lippmann-Schwinger equation in integral form,which is then discretized using an appropriate quadrature technique.The discretized linear system is then solved using an iterative solver accelerated by Directional Algebraic Fast Multipole Method(DAFMM).The DAFMM presented here relies on the directional admissibility condition of the 2D Helmholtz kernel[1],and the construction of low-rank factorizations of the appropriate low-rank matrix sub-blocks is based on our new Nested Cross Approximation(NCA)[2].The advantage of the NCA described in[2]is that the search space of so-called far-field pivots is smaller than that of the existing NCAs[3,4].Another significant contribution of this work is the use of HODLR based direct solver[5]as a preconditioner to further accelerate the iterative solver.In one of our numerical experiments,the iterative solver does not converge without a preconditioner.We show that the HODLR preconditioner is capable of solving problems that the iterative solver can not.Another noteworthy contribution of this article is that we perform a comparative study of the HODLR based fast direct solver,DAFMMbased fast iterative solver,and HODLR preconditioned DAFMM based fast iterative solver for the discretized Lippmann-Schwinger problem.To the best of our knowledge,this work is one of the first to provide a systematic study and comparison of these different solvers for various problem sizes and contrast functions.In the spirit of reproducible computational science,the implementation of the algorithms developed in this article is made available at https://github.com/vaishna77/Lippmann_Schwinger_Solver. 展开更多
关键词 Directional algebraic Fast Multipole Method Lippmann-Schwinger equation lowrank matrix Helmholtz kernel Nested Cross Approximation HODLR direct solver PRECONDITIONER
原文传递
二维三温能量方程组的高效代数解法 被引量:3
5
作者 谷同祥 戴自换 +2 位作者 杭旭登 符尚武 刘兴平 《计算物理》 EI CSCD 北大核心 2005年第6期471-478,共8页
针对二维三温能量方程九点格式离散后形成的非线性方程组,研制了高效求解的代数解法器.主要思想是在部分Newton-Krylov(PNK)方法和Jacobi矩阵自由的Newton-Krylov(JFNK)方法的框架下,结合非精确Newton类方法和预条件Krylov子空间方法进... 针对二维三温能量方程九点格式离散后形成的非线性方程组,研制了高效求解的代数解法器.主要思想是在部分Newton-Krylov(PNK)方法和Jacobi矩阵自由的Newton-Krylov(JFNK)方法的框架下,结合非精确Newton类方法和预条件Krylov子空间方法进行高效求解.数值结果显示,PNK方法比非线性块Gauss-Seidel方法快6倍以上,在PNK框架下比较了3种预条件子和4种Krylov子空间方法,得出不同组合的最佳方案.还比较了JFNK方法和PNK方法. 展开更多
关键词 二维三温能量方程 代数解法器 Newton-Krylov方法 预条件子
下载PDF
基于碰撞模型的LED代数旁路攻击 被引量:2
6
作者 冀可可 王韬 +1 位作者 赵新杰 刘会英 《计算机应用研究》 CSCD 北大核心 2013年第1期270-272,共3页
针对轻型分组密码LED提出了一种基于碰撞模型的代数旁路攻击。利用代数攻击方法建立密码算法等效布尔代数方程组,采集算法运行中泄露的功耗信息并转换为碰撞信息,并将碰撞信息转换成额外方程组,从而利用CryptoMiniSAT解析器求解密钥。... 针对轻型分组密码LED提出了一种基于碰撞模型的代数旁路攻击。利用代数攻击方法建立密码算法等效布尔代数方程组,采集算法运行中泄露的功耗信息并转换为碰撞信息,并将碰撞信息转换成额外方程组,从而利用CryptoMiniSAT解析器求解密钥。实验结果表明:旁路碰撞信息可有效降低方程组求解的复杂度;已知明文条件下,利用2轮最少50%的随机碰撞信息,即可在158.5 s内恢复64 bit LED完整密钥。此外,该方法也可用于其他分组密码功耗碰撞分析。 展开更多
关键词 代数旁路攻击 碰撞模型 LED 可满足性解析器
下载PDF
对HIGHT密码改进的代数故障攻击 被引量:1
7
作者 陈浩 王韬 +3 位作者 周平 周林 马云飞 王晓晗 《小型微型计算机系统》 CSCD 北大核心 2018年第3期496-502,共7页
针对HIGHT轻量级分组密码已有代数故障攻击方法攻击轮数受限的不足,提出并讨论了一种改进的代数故障攻击方法.该方法将攻击成功延伸至密码加密第25轮,在单字节故障模型下,攻击理论故障注入次数和成功率分别为5次和91.60%.仿真实验结果表... 针对HIGHT轻量级分组密码已有代数故障攻击方法攻击轮数受限的不足,提出并讨论了一种改进的代数故障攻击方法.该方法将攻击成功延伸至密码加密第25轮,在单字节故障模型下,攻击理论故障注入次数和成功率分别为5次和91.60%.仿真实验结果表明,对密码25轮进行攻击,恢复密码全部主密钥信息所需故障注入次数为5次,解析器平均求解时间为143.70s,攻击实际成功率为91%,最好情况下仅需4次故障注入即可以90%的成功率在551.26s内恢复全部主密钥信息,相关研究成果能够为分析其他具有相似结构的密码的安全性提供参考和借鉴. 展开更多
关键词 轻量级分组密码 ARX结构 HIGHT 代数故障攻击 CryptoMinisat解析器
下载PDF
针对PRESENT分组密码算法的代数分析 被引量:5
8
作者 葛十景 谷大武 +1 位作者 刘志强 刘亚 《计算机应用研究》 CSCD 北大核心 2011年第5期1889-1893,共5页
研究针对PRESENT分组密码的代数分析。通过使用S盒的表达式形式,构建出多轮PRESENT加密中的代数方程组。这种构建方程的方法被推广到具有小型S盒的典型SPN型分组密码算法的方程构建问题中。对简化的PRESENT算法进行了攻击实验,采用Mini... 研究针对PRESENT分组密码的代数分析。通过使用S盒的表达式形式,构建出多轮PRESENT加密中的代数方程组。这种构建方程的方法被推广到具有小型S盒的典型SPN型分组密码算法的方程构建问题中。对简化的PRESENT算法进行了攻击实验,采用MiniSAT作为攻击过程中的求解工具,对四轮、六轮PRESENT加密进行实际攻击。可以在1 min内恢复四轮加密的所有密钥,数小时内恢复六轮加密的密钥。通过引入了差分思想,将有效攻击轮数提高到八轮。 展开更多
关键词 代数分析 PRESENT算法 S盒 可满足问题 可满足问题求解软件 分组密码
下载PDF
针对LBlock的代数攻击的研究
9
作者 孔德谦 李晓林 +2 位作者 高薇 王学伟 王心灵 《山东科学》 CAS 2013年第6期45-50,共6页
本文主要介绍了运用代数分析方法分析LBlock。采用MiniSAT作为攻击过程中的求解工具,对LBlock加密进行实际攻击,可以在90 min内恢复7轮加密的所有密钥。
关键词 代数分析 LBlock SAT solver
下载PDF
电力系统动态仿真数值积分算法研究综述 被引量:20
10
作者 戴汉扬 汤涌 +4 位作者 宋新立 苏志达 顾卓远 项胤兴 苏毅 《电网技术》 EI CSCD 北大核心 2018年第12期3977-3984,共8页
随着电网系统的不断发展,仿真时间长、电网规模大、计算准确性要求高以及在线仿真速度快对电力系统动态仿真提出了更高的性能要求。数值积分算法是高性能仿真分析最重要的环节。文章围绕数值积分算法的3个性能指标,从积分格式、算法特... 随着电网系统的不断发展,仿真时间长、电网规模大、计算准确性要求高以及在线仿真速度快对电力系统动态仿真提出了更高的性能要求。数值积分算法是高性能仿真分析最重要的环节。文章围绕数值积分算法的3个性能指标,从积分格式、算法特性、仿真应用以及研究动态4个方面,对应用于电力系统动态仿真的经典积分算法(欧拉方法及其变形、梯形积分方法及其变形、Runge-Kutta法、线性多步法)和新型积分算法(Taylor级数法、矩阵指数法、配点法)进行了综述,分析了各算法的特性和优缺点。文章指出梯形积分法应用最为广泛,但在中长期仿真过程中Gear方法更受亲睐;而新型积分算法由于具备高阶精度和良好的数值稳定性,可以为电力系统高性能动态仿真计算提供参考。 展开更多
关键词 高性能计算 数值积分算法/求解器 电力系统动态仿真 微分代数方程
下载PDF
热弹性动力学耦合问题的微分代数方法 被引量:4
11
作者 王林翔 R.V.N.梅尔姆克 《应用数学和力学》 EI CSCD 北大核心 2006年第9期1036-1046,共11页
对一般的热机械问题提出了一种有效的数值方法,并对二维的热弹性问题进行了测试.该方法的基本思路是将描述热机械耦合问题的偏微分方程进行降阶,使之成为一组微分代数方程,应力应变关系被写成代数方程.所得到的微分代数系统采用全隐式... 对一般的热机械问题提出了一种有效的数值方法,并对二维的热弹性问题进行了测试.该方法的基本思路是将描述热机械耦合问题的偏微分方程进行降阶,使之成为一组微分代数方程,应力应变关系被写成代数方程.所得到的微分代数系统采用全隐式的向后差分公式进行求解.对该方法进行了详细的说明.为了验证该方法的有效性,将其应用于一个动态非耦合的热弹性问题的求解和一个耦合的二维热弹性问题的求解. 展开更多
关键词 热弹性 二维问题 微分代数方法
下载PDF
求解压力Poisson方程的混合粗化代数多重网格算法 被引量:2
12
作者 胡少亮 许开龙 +6 位作者 徐然 刘再刚 徐小文 安恒斌 范荣红 汪振宇 王伟 《计算物理》 CSCD 北大核心 2023年第5期527-534,共8页
针对复杂流动中Navier-Stokes(N-S)方程SIMPLE算法导出的压力Poisson(泊松)离散线性系统,提出一类基于混合粗化的代数多重网格(AMG)算法。该算法采用一类非光滑聚类粗化和经典C/F粗化结合的方式构造网格层次结构,希望在不影响收敛性的... 针对复杂流动中Navier-Stokes(N-S)方程SIMPLE算法导出的压力Poisson(泊松)离散线性系统,提出一类基于混合粗化的代数多重网格(AMG)算法。该算法采用一类非光滑聚类粗化和经典C/F粗化结合的方式构造网格层次结构,希望在不影响收敛性的情况下,减少AMG算法的启动开销。通过航空发动机燃烧室复杂流动数值模拟应用验证了该算法的有效性。结果表明:对于典型算例,相对于经典AMG算法,该算法可以获得78%的加速。 展开更多
关键词 不可压N-S方程 POISSON方程 线性解法器 预条件迭代 代数多重网格
原文传递
求解大规模稀疏线性代数方程组序列的自适应AMG预条件策略 被引量:6
13
作者 徐小文 莫则尧 安恒斌 《中国科学:信息科学》 CSCD 北大核心 2016年第10期1411-1420,共10页
时间相关偏微分方程隐式离散后,通常需要求解一个稀疏线性代数方程组序列.利用序列中相邻方程组性质的差异性与相似性,自适应地选取预条件子,提升方程组序列的并行求解效率,从而缩短总体求解时间,是一个值得研究的问题.本文针对科学与... 时间相关偏微分方程隐式离散后,通常需要求解一个稀疏线性代数方程组序列.利用序列中相邻方程组性质的差异性与相似性,自适应地选取预条件子,提升方程组序列的并行求解效率,从而缩短总体求解时间,是一个值得研究的问题.本文针对科学与工程计算中广泛使用的代数多重网格(AMG)预条件子,设计了方程组序列相关的自适应预条件策略.通过惯性约束聚变(ICF)的辐射流体力学数值模拟典型应用,验证了该策略的有效性.测试结果表明,在某高性能计算机的3125个CPU核上,自适应预条件策略可将并行效率从47%提升到61%,将模拟总时间从19.7 h降为14.5 h. 展开更多
关键词 稀疏线性解法器 迭代方法 预条件子 代数多重网格算法(AMG) 并行计算
原文传递
LBlock分组密码代数旁路攻击 被引量:3
14
作者 薛红 赵新杰 王小娟 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2013年第6期55-60,共6页
对轻型分组密码LBlock抗代数旁路攻击安全性进行了评估.给出了LBlock密码算法的代数方程表示方法,使用示波器采集微控制器ATMEGA324P上的LBlock实现功耗泄露,利用泊松相关系数方法推断加密中间状态汉明重,基于可满足性问题并转化为代数... 对轻型分组密码LBlock抗代数旁路攻击安全性进行了评估.给出了LBlock密码算法的代数方程表示方法,使用示波器采集微控制器ATMEGA324P上的LBlock实现功耗泄露,利用泊松相关系数方法推断加密中间状态汉明重,基于可满足性问题并转化为代数方程组,同LBlock密码算法代数方程联立,最后使用CryptoMinisat解析器进行方程组求解,成功恢复加密密钥.实验结果表明:微控制器上的LBlock实现易遭受代数旁路攻击,仅需一条功耗曲线,已知明密文下的3轮汉明重泄露、未知明密文条件下6轮汉明重泄露分别经2.4s和0.4s分析即可恢复80bit完整密钥. 展开更多
关键词 分组密码 汉明重泄露 LBlock 代数旁路攻击 CryptoMinisat解析器
原文传递
建筑结构设计软件中的关键技术问题 被引量:2
15
作者 黄吉锋 杨志勇 《建筑结构》 CSCD 北大核心 2011年第11期164-171,共8页
结合PKPM软件讨论了结构设计软件系统的关键技术问题。内容涵盖了线弹性分析中剪力墙和楼板的分析及设计模型、线性方程组及广义特征值问题求解器、竖向荷载的施工模拟算法、最不利地震作用方向、偶然偏心地震反应计算、钢-混凝土混合... 结合PKPM软件讨论了结构设计软件系统的关键技术问题。内容涵盖了线弹性分析中剪力墙和楼板的分析及设计模型、线性方程组及广义特征值问题求解器、竖向荷载的施工模拟算法、最不利地震作用方向、偶然偏心地震反应计算、钢-混凝土混合结构地震反应分析、刚度-阻尼通用支座、非线性静力及动力分析共十二个方面。 展开更多
关键词 结构设计软件 剪力墙 楼板 求解器 施工模拟 钢-混凝土混合结构 非线性
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部