三维热传导方程的紧交替方向差分格式

本文研究了三维热传导方程的紧交替方向隐式差分格式.利用算子方法导出了紧交替方向隐式差分格式,并利用Fourier分析方法证明了差分格式的收敛性和绝对稳定性,Richardson外推法外推一次得到具有O(T3+h6)阶精度的近似解.本文方法是对二维热传导方程问题的推广,同样适用于多维的情形.     

一种生成S8所有子群的算法

提出了一种借助计算机生成S8的所有子群的方法，给出了求取A8的所有子群和由A8的所有子群“扩张”到S8的所有子群的理论基础及计箅机实现办法，证明了算法的有效性，并用C语言实现了该算法，求出了A8和S8的所有子群。     

基于U/{a}划分的最小约简构造

研究了求信息系统最小约简的完备方法．根据信息系统的对象在某个属性上取值的不同．将信息系统划分为若干子系统，分析并证明了原系统的最小约简与基于U／{α}划分的各子系统约简之间的关系，并在此基础上提出了一种基于U／{α}划分子系统的最小约简构造方法，选用UCI的zoo数据集．通过实验验证了该方法。