研究了EM算法的两个收敛方面：（i）EM算法找到（不完全数据）似然函数的局部极大值还是平稳值？（ii）EM生成的参数估计序列收敛吗？在适用于许多实际情况的条件下，得到了几个收敛结果。两个有用的特例是：（a）如果未观测到的完备数据规范可以用紧致参数空间的曲线指数族来描述，则任何EM序列的所有极限点都是似然函数的平稳点；（b） 如果似然函数是单峰的，并且满足一定的可微条件，那么任何EM序列都收敛到唯一的最大似然估计。包括算法的关键属性列表。