本文主要研究分数阶微分方程的数值处理及稳定性的分析,分为两个部分:第一,研究了用显隐式分数阶后退的差分格式,考虑实验方程数值解的性质及稳定性分析;第二,讨论了分数阶线性多步法相容格式的零稳定性和收敛性,分析其可能的最大稳定域的估计。本论文的结构安排如下:第一章首先回顾了分数阶微分方程的产生和近几十年来的发展,介绍了分数阶微分方程线性多步法的起源及其优越性,详细讨论了分数阶导数定义发展完善的过程。第二章重点讨论分数阶向后差分格式,并将整数阶时的数值方法的有关定义推广到分数阶的情况。分为两个方面:首先,在满足相容性条件下,对右端函数用两点和三点格式进行离散,对所得到的显式格式应用于分数阶实验方程,分析其数值解的正性和单调性,从而很好的保持了其精确解Mittage-Leffler函数的性质;利用伴随矩阵的非负不可约性,结合Perron-Frobenius定理和笛卡尔符号准则等,分析其绝对稳定性,给出显式线性多步方法的绝对稳定区间。其次,在满足相容性条件下,适当约束生成多项式的系数,对所得到的隐式格式数值解的正性和单调性进行分析,并给出其绝对稳定区间的讨论。最后,通过具体的数值算例验证了其理论的有效性及良好的可行性。第三章分析对几类低阶分数阶线性多步法稳定域的讨论。首先,研究了分数阶线性多步法相容格式的零稳定性和收敛性;其次引入分数阶线性多步法的稳定多项式,分析其与实轴的交点,通过理论证明,估算出该方法绝对稳定区间的最大可能长度;最后,给出几类具体的低阶显隐式分数阶线性多步法,并计算出其稳定区间的最大可能长度的估计式及局部阶段误差的估计式。