یک الگوریتم مبتنی بر برنامه ریزی خطی برای جداسازی امضا شده (غیر صاف) بدن محدب

A subdifferentiable global contact detection algorithm, the Supporting Separating Hyperplane (SSH) algorithm, based on the signed distance between supporting hyperplanes of two convex sets is developed. It is shown that for polyhedral sets, the SSH algorithm may be evaluated as a linear program, and that this linear program is always feasible and always subdifferentiable with respect to the configuration variables, which define the constraint matrix. This is true regardless of whether the program is primal degenerate, dual degenerate, or both. The subgradient of the SSH linear program always lies in the normal cone of the closest admissible configuration to an inadmissible contact configuration. In particular if a contact surface exists, the subgradient of the SSH linear program is orthogonal to the contact surface, as required of contact reactions. This property of the algorithm is particularly important in modeling stiff systems, rigid bodies, and tightly packed or jammed systems.

The objective of this paper is to develop a contact detection algorithm and contact potential for non-smooth convex bodies. The proposed contact detection algorithm can be concisely described as a supporting separating hyperplane (SSH) test for interpenetration, and is based on standard separation theorems for compact convex sets. We develop this test in detail for polyhedral sets, where the SSH test can be effectively reformulated as a linear programming problem–the SSH LP. We further show that the subgradient of the SSH LP can be readily evaluated and that it supplies the force system at the time of contact.