离散元相关理论及软件介绍