万正苏 作品数:19 被引量:53 H指数:4 供职机构: 湖南理工学院数学学院 更多>> 发文基金: 国家自然科学基金 湖南省教育厅优秀青年基金 湖南省教育厅科研基金 更多>> 相关领域: 理学 自动化与计算机技术 核科学技术 文化科学 更多>>
基于变分原理的三维扩散方程离散化格式 被引量:10 2003年 研究三维扩散方程的数值模拟.在非正规六面体网格上,用变分原理建立扩散流形式的差分格式.将扩散流通量作为未知函数,求其泛函极值,并与原函数温度联立求解.详细推导了计算公式,并给出了数值试验结果. 陈光南 李德元 万正苏关键词:变分原理 差分格式 数值模拟 基于行为分析的黑客攻击软件自动化分析工具的设计与实现 2011年 静态分析和动态分析是两种主流的恶意代码分析技术。随着反调试、程序补丁、代码混淆、多态和变型等技术的出现,静态分析技术的局限性越来越明显。该文设计了一种基于内核调用和正则表达式技术的恶意软件自动化分析工具,并用熊猫烧香病毒进行了验证,此工具提高了自动化分析的效率。 刘恒 文伟平 万正苏关键词:恶意软件 浅谈线性代数中一些基本概念的教学 被引量:2 2013年 通过举例说明从高中的数学知识引入概念或从几何的角度讲解概念,可以将线性代数中的抽象概念形象化、简单化,便于学生理解掌握,激发他们的学习兴趣. 万正苏 孙明保 陶霞关键词:线性代数 教学 高中数学 二元关系性质判定定理的应用 2012年 利用二元关系性质的判定定理证明与关系性质的保守性和关系的闭包有关的几个定理,比用定义证明更为简洁. 万正苏 刘畅 谢磊关键词:保守性 闭包 高阶方向导数的计算公式及其它 2017年 利用张量积推导出高阶方向导数的计算公式,并举例说明高阶方向导数和高阶偏导数之间的关系. 陈麒先 万正苏关键词:张量积 高阶偏导数 带非局部边界条件的非线性抛物方程的隐式差分解法 2008年 在准静态弹性力学中常遇到求解带有非局部边界条件的抛物方程初边值问题.本文构造了一个数值求解带有非局部边界条件的非线性抛物方程的隐式差分格式,利用离散泛函分析的知识和不动点定理证明了差分解是存在的,且在离散最大模意义下关于时间步长一阶收敛,关于空间步长二阶收敛,并给出了数值算例. 万正苏 陈光南关键词:非局部边界条件 非线性抛物方程 隐式差分格式 收敛性 基于漏洞模型检测的安全漏洞挖掘方法研究 被引量:16 2011年 文章通过研究自动机原理,提出了基于漏洞模型检测的安全漏洞挖掘理论,为批量发掘未知漏洞提供一定的理论基础。 徐有福 文伟平 万正苏关键词:安全漏洞 自动机 有限元方法(FEM)求解奇异摄动Volterra积分微分方程 被引量:1 2014年 运用有限元方法(FEM)求解奇异摄动Volterra积分微分方程.数值算例表明,在局部加密网格下,FEM解具有高精度性质. 陶霞 万正苏 徐邦启 章敏关键词:有限元方法 二维变系数扩散方程交替分组显格式的稳定性分析 被引量:3 2003年 The well-known AGE(Alternating Group Explicit)method is extended for solv-ing the two-dimensional parabolic with variable coefficients and the unconditional stability of the AGE method is proved by the energy method in the discrete L2-norm. 万正苏 张宝琳 张宝琳关键词:稳定性 抛物型方程 二元关系性质保守性的几点注记 2011年 研究关系性质在补运算下的保守性,还有在复合运算下关系的反自反性、对称性、反对称性和传递性的保守性,在并运算下关系的反对称性和传递性的保守性,在差运算下关系传递性的保守性. 万正苏 匡翔关键词:保守性