瀟灑2022-06-15 17:18:51一樣的。
冗餘約束也稱虛約束，對機構的實際運動不起限制作用，但是可以改善機構的受力情況，提高剛度，避免運動的不確定性，在實際應用中十常見。
提高執行效率的一種常見技術是新增冗餘約束，這些約束是問題模型中其他約束邏輯上隱含的約束。然而，一些冗餘約束是傳播冗餘，因此不會向約束求解器提供額外的傳播資訊。冗餘約束是在冗餘建模過程中自然產生的，在冗餘建模過程中，同一問題的兩個模型透過通道約束進行連線和組合。本文給出了證明一個約束相對於通道約束和另一個模型中約束的傳播冗餘的一般定理。
