接触理论及非连续形体的形成约束和积分