約束條件:在數學規劃中,對於決策方案的各項限制，常以不等式或方程式的形式 -百科知識中文網

定義

在最佳化設計中，目標函式取決於設計變數，而設計變數的取值範圍都有各種限制條件，如強度、剛度等。每個限制條件都可寫成包含設計變數的函式，稱為 約束條件或 設計約束。因為它是設計變數的函式，也稱為 約束函式。

分類

約束函式可用等式或不等式描述。如果約束函式能夠反映設計變數之間明顯的函式關係，稱為顯式約束；否則，稱為隱式約束。

等式約束是對設計變數的嚴格約束，起著降低設計自由度的作用，其形式為：

式中．，l為等式約束的數目，n為設計維數。

在機械最佳化設計中，大部分約束為 不等式約束，其形式為：

式中，，m為不等式約束的數目。根據約束的性質，分為幾何約束(邊界約束)和性能約束。

幾何約束：根據某種設計要求，設計變數必須滿足的某些幾何條件以及只對設計變數的取值範圍加以限制的那些約束，如桿的長度、桿的橫截面積等。

性能約束：指滿足特定工作性能而建立的約束條件，如工作應力小於許用應力等。

對於等式約束而言，設計變數所代表的設計點必須在所表示的面(或線)上，稱為 起作用約束或 緊約束。對於不等式約束，極限情況所表示的幾何面或線將設計空間分成兩部分：一部分中所有設計均滿足所有的約束條件，這部分空間稱為設計點的 可行域；另一部分所有點均不滿足約束條件，稱為設計點的 不可行域。在可行域內的設計點，稱為可行 設計點，可行域也是可行設計點的集合。位於可行域邊界上的設計點亦是可行點，過該點的約束為起作用約束，否則為不起作用約束；非可行域是不滿足約束條件設計點的集合。

如圖1所示的某二維最佳化設計問題，包含四個不等式約束和一個等式約束。圖中分別表示了可行域、不可行域、可行點、不可行點、起作用約束和不起作用約束。

利用可行域的概念，可以將最佳化問題的數學模型（見下文）進行簡化。設同時滿足和的設計點的集合為D(設計點的可行域)，最佳化問題的數學模型可簡化為：

相關概念

最佳化設計數學模型

建立最佳化數學模型，通常是根據設計要求，套用相關基礎和專業知識，建立若干個相應的數學表達式。對於機械結構最佳化設計，主要是根據力學，機械設計等專業基礎知識及機械製造等專業知識來建立數學模型。最佳化問題的一般數學模型如下所示：

設計變數

在設計中不斷變化，能夠獨立影響設計目標的設計參數稱為設計變數，一般用列向量或行向量的轉置表示。設為最佳化設計中的n個變數，記為

或

把定義為門維歐式空間的一個列向量，該空間包含了設計中所有可能的設計方案，且每一個設計方案對應設計空間上的一個設計向量或者一個設計點。設計變數的個數行稱為設計問題的維數，有幾個設計變數就稱為幾維最佳化設計問題。設計問題的維數表征了設計自由度。自由度越大，越有利於尋找最理想的設計方案，但設計的難度也越大。

n=2就是一個二維設計問題，可以用直角坐標系表示，也稱平面設計問題；n=3是一個三維設計問題，可用三個坐標軸所構成的直角坐標系表示，也稱三維設計空間；n>3時為抽象的超空間，無法用圖形表示。

在設計域中，按變數是否連續分為連續變數(如構件尺寸、轉速等)和離散變數(如齒輪的齒數等)。按變數的性質分為幾何參數、物理參數和力學參數等，如桿的截面積、長度等即為幾何參數，桿的質量、彈性模量和泊松比為物理參數，桿的應力、應變等為力學參數等。

根據設計變數維數的多少，最佳化設計問題可以分為小型最佳化設計問題(n<10)、中型最佳化設計問題(n=10～50)和大型最佳化設計問題(n>50)等。