基于DISCOVERER的Petri网不变式自动生成*

在Petri网的验证中,代数不变式起着非常重要的作用。将Petri网建模为半代数变迁系统,提出了自动生成不变式的算法,该不变式有助于更好地分析Petri网可达空间。算法首先将Petri网的不变式假定为一个含参数系统,然后通过求解半代数系统来求解不变式中的参数;最后,基于DISCOVERER和QEPCAD等Maple软件包实现了该算法,并通过实例说明了算法的有效性。     

一类腔体问题的二阶三棱柱矢量有限元方法

为了提高电磁场数值计算的精度和效率,高阶三棱柱矢量有限元已得到研究.但对三棱柱矢量有限元应用研究有详细论述的只针对一阶情况,而且精度偏低.基于Ahagon等提出的利用节点元推导矢量元的方法,针对一种二阶三棱柱单元模型,从该模型的节点基函数出发,推导该模型的矢量基函数;接着对矢量基函数进行分类,以方便计算2种单元刚度矩阵...     

基于计算思维培养的离散数学教学研究

在分析离散数学教学内容和计算思维的内在关系基础上,从教学内容和教学手段两个方面进行了一定的探索,将计算思维的培养有机地结合到离散数学的教学过程中,对离散数学教学内容所蕴含的计算思维方法进行了提炼。同时,采用归纳学习法和案例驱动教学法开展教学手段改革,适时地将计算思维穿插在离散数学的教学过程中。     

Riccati方程初值问题的Haar小波数值解法

求解微分方程初值问题是小波分析在数学上的一个重要应用。在已有的利用Haar小波求解微分方程方法的基础上，对求解Riccati方程初值问题的离散化过程进行了改进，减小了运算量。数值实验表明，该方法在数值上精度略好于文献中利用Haar小波求解微分方程的方法。     

寻找平面代数剖分样本点的改进算法

基于非线性多项式方程的零点配对算法以及临界点算法，给出了一种求平面代数剖分样本点的改进算法。该算法剔除了大量冗余样本点，并在计算过程中以区间表示代数数，有效避免了浮点数等近似计算。通过与已有的经典算法进行比较，实验结果表明该算法具有显著的效果。     

非线性互补问题的多分裂加性Schwarz迭代算法

§1.引言 非线性互补问题在科学与工程中有着广泛的应用,因此研究求解非线性互补问题的高效数值算法是非常必要的。迄今为止,人们已给出了许多各种各样的Schwarz迭代算法用来求解变分不等式和互补问题。这些方法都适合并行计算,而且计算效果也不错。     

小波瀑布型多重网格法

为了提高偏微分方程的计算精度,由瀑布型多重网格的速度收敛快以及小波多分辨分析的性质,通过改进传统瀑布型多重网格算法中的插值算子,提出一种新的小波瀑布型多重网格方法。数值结果表明,小波瀑布型多重网格方法比传统的瀑布型多重网格方法具有更高精度。     

基于有限差分的二维Helmholtz方程外问题快速求解方法

针对二维Helmholtz方程外问题,基于有限差分法进行离散,提出一种有效的快速求解方法。通过傅里叶变换和LU分解方法,将离散方程简化为维数较小的界面方程,对界面方程给出了一种有效的预处理共轭梯度法。     

离散LTI系统的Kalman滤波的自适应算法

运用现代时间序列分析方法 ,提出了一类线性时不变离散随机系统的自适应稳态 Kalman滤波算法 ,该算法应用白噪声估值器理论对 ARMA新息模型进行在线辨识 ,可进行简单的自适应滤波处理 ,仿真例子说明了算法的有效性。     

线性互补问题的二级多重分裂并行算法

运用二级迭代方法与矩阵多重分裂理论,同时考虑并行计算,提出了求解线性互补问题的二级多重分裂并行算法。在一定条件下证明了算法的收敛性,分析了算法的收敛速度。该算法与已有算法相比,具有计算量小、计算速度快等特点,因而特别适于求解大规模问题。数值结果表明,该算法是十分有效的。