检索结果-内蒙古大学图书馆

软件学报 2018年第5期29卷 1230-1243页

作者：沈维军汤恩义陈振宇陈鑫李彬翟娟计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学软件学院江苏南京210093 南京大学计算机科学与技术系江苏南京210023

安全漏洞检测,是保障软件安全性的重要手段.随着互联网的发展,黑客的攻击手段日趋多样化,且攻击技术不断翻新,使软件安全受到了新的威胁.描述了当前软件中实际存在的一种新类型的安全漏洞隐患,称为数值稳定性相关的安全漏洞隐患.由于黑... 详细信息

安全漏洞检测,是保障软件安全性的重要手段.随着互联网的发展,黑客的攻击手段日趋多样化,且攻击技术不断翻新,使软件安全受到了新的威胁.描述了当前软件中实际存在的一种新类型的安全漏洞隐患,称为数值稳定性相关的安全漏洞隐患.由于黑客可以利用该类漏洞绕过现有的防护措施,且已有的数值稳定性分析方法很难检测到该类漏洞的存在,因而这一新类型的漏洞隐患十分危险.面对这一挑战,首先从数值稳定性引起软件行为改变的角度定义了数值稳定性相关的安全漏洞隐患,并给出了对应的自动化检测方法.该方法基于动静态相结合的程序分析与符号执行技术,通过数值变量符号式提取、静态攻击流程分析以及高精度动态攻击验证这3个步骤来检测和分析软件中可能存在的数值稳定性相关安全漏洞.在业界多个著名开源软件上进行了实例研究,实验结果表明:该方法能够有效检测到实际软件中真实存在的数值稳定性相关漏洞隐患.

关键词：漏洞检测数值稳定性程序分析软件安全

来源：评论

学校读者我要写书评

暂无评论

样条虚边界元法的数值稳定性与误差估计

引用

华南理工大学学报（自然科学版） 2003年第8期31卷 53-56页

作者：苏成郑淳华南理工大学土木工程系广东广州510640

样条虚边界元法是针对传统间接奇异边界元法存在的问题而提出的一种半解析半数值方法 .它既保留了边界元法的优点 ,也避开了求解奇异积分方程的问题 ,在试函数和权函数的选取方面也作出了改进 ,具有精度好、效率高等优点 .本文主要针对... 详细信息

样条虚边界元法是针对传统间接奇异边界元法存在的问题而提出的一种半解析半数值方法 .它既保留了边界元法的优点 ,也避开了求解奇异积分方程的问题 ,在试函数和权函数的选取方面也作出了改进 ,具有精度好、效率高等优点 .本文主要针对弹性力学平面问题样条虚边界元法在数值稳定性与误差估计方面的问题展开讨论 ,获得了虚边界的布设规律及方法误差的直观度量。

关键词：边界元法样条函数样条虚边界元法数值稳定性误差估计

来源：评论

学校读者我要写书评

暂无评论

一族基于模型的积分算法在负刚度时的数值稳定性

引用

地震工程与工程振动 2023年第5期43卷 120-129页

作者：傅博马岩陈瑾长安大学建筑工程学院陕西西安710061

在正刚度条件下,基于模型的积分算法兼具无条件稳定和显式的特性。为了研究基于模型的积分算法在负刚度条件下的数值稳定性,对一族新近提出来的GCR(generalized Chen-Ricles,GCR)算法进行分析。首先,推导出GCR族算法在负刚度条件下的稳... 详细信息

在正刚度条件下,基于模型的积分算法兼具无条件稳定和显式的特性。为了研究基于模型的积分算法在负刚度条件下的数值稳定性,对一族新近提出来的GCR(generalized Chen-Ricles,GCR)算法进行分析。首先,推导出GCR族算法在负刚度条件下的稳定性准则,得到满足无条件稳定的参数取值范围。其次,通过分析积分参数、阻尼比及时间步长对GCR族算法数值稳定性的影响规律,验证推导的稳定性准则。再次,对多自由度体系负刚度条件下隐式算法和GCR族算法的数值稳定性进行分析和对比,并提出适用于正负刚度条件下GCR族算法的分析流程和策略。最后,通过2个典型算例验证了所提策略,表明GCR算法在正负刚度条件下可以同时满足稳定。

关键词：基于模型的积分算法数值稳定性负刚度正刚度

来源：评论

学校读者我要写书评

暂无评论

非线性中立型延迟微分方程单支方法的数值稳定性

引用

计算数学 2006年第4期28卷 357-364页

作者：余越昕李寿佛湘潭大学数学系湘潭411105

本文研究Rα,β类非线性中立型延迟微分方程单支方法的数值稳定性,结果表明:A-稳定的单支方法是数值稳定的,强A-稳定的单支方法是渐近稳定的．最后的数值试验验证了所获理论结果的正确性．

关键词：中立型延迟微分方程单支方法数值稳定性渐近稳定性

来源：评论

学校读者我要写书评

暂无评论

变系数MDDEs系统的数值稳定性

引用

计算数学 2000年第4期22卷 409-416页

作者：张诚坚廖晓昕周叔子华中科技大学数学系武汉430074 湖南大学应用数学系长沙410082

This paper deals with the numerical stability of systems concerning multide- lay differential equations (MDDEs) with variable-coefficient, for which some new concepts of stability such as ANf(m)-stability and (strong) GPNm-stability are introduced. The approach yields some criteria on (strong) GPNm-stability for Runge-Kutta methods to MDDEs.

关键词： MDDES系统 M-稳定性数值稳定性单滞量系统变系数数值解

来源：评论

学校读者我要写书评

暂无评论

线性问题的统一处理——算法及其数值稳定性