約束問題求解（constraint problem solving）是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名：約束問題求解
- 外文名：constraint problem solving
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
約束滿足問題的求解方法。其中回溯搜尋、約束傳播和局部搜尋是主要的求解方法。
出處
《計算機科學技術名詞 》第三版。
約束問題求解
相關詞條
- 約束問題求解
約束問題求解（constraint problem solving）是2018年公布的計算機科學技術名詞。定義約束滿足問題的求解方法。其中回溯搜尋、約束傳播和局部搜尋是主要的求解方法。出處《計算機科學技術名詞 》第三版。...
- 自適應約束滿足問題求解方法的研究
約束求解是人工智慧領域非常熱門的方向之一,是約束程式的核心。自適應約束求解方法是研究熱點並帶領約束求解的發展方向。 《自適應約束滿足問題求解方法的研究》詳述在約束求解的分支策略選擇、變數選擇、值選擇以及約束傳播等相關環節套用自...
- 約束最最佳化問題
約束最最佳化問題(constrained optimization problem)是指具有約束條件的非線性規劃問題。極小化問題的一般形式為 僅有等式約束條件的約束最最佳化問題，可採用消元法、拉格朗日乘子法或罰函式法，將其化為無約束最最佳化問題求解；對於含有等式...
- 約束法
約束法 約束法(constraint method)是一種求解多目標規劃問題的方法。指在多個目標函式中，確定一個主要目標，對其他各目標都給定一個所期望的值，將其轉化為約束條件，從而把多目標最最佳化模型化為單目標最最佳化模型求解的方法.
- 約束最佳化方法
約束最佳化問題當ƒ(尣)是二次函式而gi(尣)(i=1,2,…,m)是線性函式時稱為二次規劃。G.B.丹齊克和P.沃爾夫於1963年將單純形方法作了修改，用以求解凸二次規劃，得到只經過有限次疊代即可達到最優解的算法。 對於只有等式約束...
- 約束最佳化
它是在一系列約束條件下，尋找一組參數值，使某個或某一組函式的目標值達到最優。其中約束條件既可以是等式約束也可以是不等式約束。尋找這一組參數值的關鍵可是：滿足約束條件和目標值要達到最優。求解約束問題的方法可分為傳統方法和...
- 兩類PDE約束最佳化問題的數值解法
《兩類PDE約束最佳化問題的數值解法》是依託大連理工大學,由於波擔任醒目負責人的面上項目。項目摘要 科學與工程中的很多問題可以表述為帶PDE約束的最佳化問題。這類問題涉及函式空間中的最佳化理論、離散化方法和離散問題的數值方法，是一個既有...
- 約束最佳化問題
是求解這個目標函式需要滿足約束條件（i和j標識第幾個約束條）。在這個例子中，所有約束條件都是必須滿足的，為硬約束。在有些問題中，目標函式是一些成本函式或者效用函式的加總，個體成本函式或者效用函式的約束條件只需要儘量滿足，而不...
- 三維幾何約束共性表達和求解方法研究
面向三維幾何約束系統建模的複雜性及高維求解問題，首次提出一種以抽象的具有基礎共性的球體、盒體及球盒體統一表達三維幾何實體的模型。探索分析三維姿態約束和位置約束的可解耦性，構建簡潔且幾何表達性強的幾何約束系統無向圖管理模型，...
- 約束處理
經過約束處理後，在划去總體節點位移列矩陣與總體剛度矩陣中相應於已知節點位移分量為零行與列的同時，總體節點載荷列矩陣中未知的約束反力的行也都被劃掉。這樣一來，無論次數多高的超靜定問題，約束反力都不必事先求出。
- 約束極值問題
若某非線性規劃的目標函式為自變數x的二次函式，約束條件又全是線性的，就稱這種規劃為二次規劃。求解 求解約束極值問題要比求解無約束極值問題困難得多。為了簡化其最佳化工作，可採用以下方法：將約束問題化為無約束問題；將非線性規劃...
- 約束滿足問題的結構特徵和算法分析
其次，從算法分析的角度研究了約束滿足問題的求解效果和難解性與易解性的分類。在RB模型上研究了一致性算法、回溯算法、局部搜尋算法、訊息傳遞算法等基本算法的求解效果。提出了以變元為中心的一致性概念，確定了在RB模型上這種一致性...
- 線性約束矩陣最小二乘問題的解及穩定性研究
本項目屬於基礎性研究，致力於一般線性約束矩陣最小二乘問題的求解，主要內容包含通解構造、數值求解及其穩定性分析上。在通解的構造上，我們通過合理地改變右端矩陣的取值（右端矩陣的一類映射）使得約束矩陣最小二乘的解容易構造，並在給...
- 偏微分方程約束最優控制問題的區域分解算法
求解大規模問題的根本有效途徑是高性能和高效的並行計算。適用於偏微分方程的區域分解算法及其相關的收斂性分析並不能直接用於偏微分方程約束的最優控制問題，在算法設計和理論分析各方面都出現了許多新的問題和困難。美、德、法等國的科學...
- 多領域仿真中約束結構保持的模型歸約求解方法研究
《多領域仿真中約束結構保持的模型歸約求解方法研究》是依託華中科技大學，由丁建完擔任項目負責人的青年科學基金項目。項目摘要 針對多領域統一建模形成的帶約束結構的連續離散混合模型的求解問題，在面向連續域的約束系統求解理論基礎上，研究...
- 關於約束稀疏最佳化問題的理論、算法及套用研究
主要包括：（1）藉助於切錐和法錐，定義新的RIP條件，刻畫約束稀疏最佳化模型的一階和二階最優性條件及其在壓縮感測中的可重構上界。（2）推導特殊約束下投影子問題的顯式解，設計單調與非單調線性搜尋，提出求解約束稀疏最佳化問題的快速...
- 約束滿足問題
約束滿足問題（CSPs）是種數學的問題，其定義為一組對象(object)，而這些對象需要滿足一些限制或條件。簡介 CSPs將其問題中的單元(entities)表示成在變數上有限條件的一組同質(homogeneous)的集合, 這類問題透過"約束補償方法"來解決。C...
- 約束條件
機械最佳化設計一般分為單目標最佳化問題和多目標最佳化問題。只有一個目標函式的最佳化問題稱為單目標最佳化問題；在同一個設計中要提出多個目標區數時，稱為多目標最佳化問題。目標函式愈多，設計的綜合效果愈好，但求解的難度也愈大。目標函式一般...
- 約束非線性方程組的數值解法
《約束非線性方程組的數值解法》是依託上海交通大學，由範金燕擔任項目負責人的面上項目。項目摘要 眾所周知，化學、航空、電力系統、經濟規劃等很多領域裡的問題都可以轉化為約束非線性方程組的求解問題。構造有效的求解約束非線性方程組的...
- 基於約束最佳化問題的模式搜尋方法的研究
對於很多實際套用中的約束最佳化問題，尤其是管理科學中遇到的部分問題，很難給出顯式函式表達式，只能對給定的自變數，觀測到相應的函式值。在某些情況下，即便是知道函式表達式，其導數也不易計算，甚至不存在。因此，求解這類最佳化問題時，...
- 差分約束系統
求解差分約束系統，可以轉化成圖論的單源最短路徑（或最長路徑）問題。觀察xj-xi≤bk，會發現它類似最短路中的三角不等式d[v]≤d[u]+w[u,v]，即d[v]-d[u]≤w[u,v]。因此，以每個變數xi為結點，對於約束條件xj-xi≤bk，...
- 約束補償問題
以下舉例為幾個簡單的約束滿足問題:八皇后問題 圖著色問題 填字遊戲、數獨及其他一些邏輯益智遊戲 這些是提供的ASP,Boolean SAT和SMT教學課程的人通常會教的。在一般情況下,約束問題會是更 困難，而且可能難以用這些簡單系統的例子來表達...
- 約束Lp正則化問題算法及套用
《約束Lp正則化問題算法及套用》是依託華南師範大學，由李董輝擔任項目負責人的面上項目。項目摘要 Lp正則化問題在圖像處理、數據挖掘、金融等領域有廣泛的套用。該問題是求解某些線性與非線性問題稀疏解的重要途徑之一。當0=1時的解更...
- 正交約束最佳化問題的非光滑算法
正交約束最佳化問題在數據科學、統計學、分子模擬、電子結構計算等領域上有著重要套用。目前，信賴域算法在正交約束問題的無約束光滑問題計算效果非常良好。但是因為很多實際套用問題都是非光滑的並且帶有約束，研究非光滑算法和約束流形最佳化問題...
- 非線性規劃
②制約函式法：又稱系列無約束最小化方法，簡稱SUMT法。它又分兩類，一類叫懲罰函式法，或稱外點法；另一類叫障礙函式法，或稱內點法。它們都是將原問題轉化為一系列無約束問題來求解。③可行方向法：這是一類通過逐次選取可行下降...
- fmincon
fmincon是用於求解非線性多元函式最小值的matlab函式，最佳化工具箱提供fmincon函式用於對有約束最佳化問題進行求解。函式定義 最佳化工具箱提供fmincon函式用於對有約束最佳化問題進行求解，其語法格式如下：x= fmincon(fun,x0,A,b)x= fmincon(fun...
