将方形截面的销钉插入一个方孔中（见图），该过程的人工约束中的力约束是ABCD