二维双曲型方程的分组并行格式及其数值实验

构造了求解二维双曲型方程ut+aux+buy=0的初边值问题的一组分组并行算法(GE、GEL、GER),格式的局部截断误差阶一般为o(τ+h),稳定性条件为0相似文献   

类BAN逻辑缺陷的进一步分析

类BAN逻辑是一种用于分析密码协议安全性的逻辑。文章分析了各种类BAN逻辑的缺陷,并对其进行了详细的分类描述,最后指出进一步发展类BAN逻辑需要解决的问题。     

一类非线性算子的全连续性

在较弱的条件下证明了Ляпунов-Lichtenstein算子的全连续性.     

串并分布式算法的研究及其实现

分布式算法（distributed arithmetic，DA）是一项重要的FPGA技术，广泛应用于计算各种乘累加的场合。应用DA来实现数字滤波器具有很高的效率。本文讨论DA的基本原理及实现方法，着重研究串并分布式算法，并通过Modelsim进行仿真实现。     

一个新的积分不等式

建立了一个新的非线性积分不等式,利用对积分不等式的分析技巧和论证方法,对不等式中的未知函数进行估计,提供明确的界限.     

基于FPGA的FIR滤波器的实现

本文讨论了分布式算法系统的基本原理,采用分布式算法对FIR滤波器在FPGA硬件上的设计方案。并以一个16阶的低通滤波器为例验证该设计方案在QuartusII上进行了实验仿真和调试,证明此种方法正确可行。其实现的滤波器的性能优于用DSP和传统方法实现滤波器。     

考虑有限理性的良定不动点问题研究

本文引入了新的不动点问题良定的定义,应用有限理性模型M研究了良定不动点问题,给出了不动点问题良定的充分条件.     

双曲型方程的一类并行格式及其数值实验

双曲型方程的一般并行格式是采用空间方向并行,时间方向步进的计算方式。本文构造一类恰是时间方向并行,空间方向步进的并行格式,该格式绝对稳定,局部截断误差为o（m^2τ^2＋mτh＋h^2）。     

高压下单晶 MgH2光学性质的密度泛函理论研究

依据密度泛函理论,采用平面波赝势结合广义梯度近似方法,对单晶MgH2在0～500 GPa的静水压下的光学性质进行了理论研究.计算结果表明,单晶 MgH2在0～500 GPa的静水压范围内没有好的透明性.随着压强的增加,MgH2晶体的能带发生了很大的移动,使该晶体低能带的价带和导带发生了交叠,内部电子吸收能量后在费米面上可以从低能带的价带跃迁到导带而发生光的部分吸收,从而引起晶体的颜色变化.另外,根据吸收光谱图可以看出,其吸收波段发生了蓝移,反射率也增加.得到的晶格常数与实验值符合的很好.     

相接双星中的理论模型研究

相接双星是一类特殊的密近双星系统。相接双星的一些奇特观测结果目前还没有得到恒星演化理论的完美解释。本文阐述了相接双星的一些观测特性以及理论模型研究的现状,相接双星理论模型中存在的问题以及一些解决相接双星演化的方法。