集契約束（set constraint）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名：集契約束
- 外文名：set constraint
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
約束條件針對的操作對象是記錄的完整集合的一種約束。
出處
《計算機科學技術名詞 》第三版。
集契約束
相關詞條
- 集契約束
集契約束（set constraint）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義約束條件針對的操作對象是記錄的完整集合的一種約束。1出處《計算機科學技術名詞...
- 約束集
約束集 約束集，數學規劃的基本概念之一指在數學規劃問題中，滿足所有約束條件的點組成的集合。約束集(constraint set)數學規劃的基本概念之一指在數學規劃問題中，滿足所有約束條件的點組成的集合.
- 集契約束條件下的狀態估計問題研究
《集契約束條件下的狀態估計問題研究》是依託西安交通大學，由段戰勝擔任項目負責人的面上項目。中文摘要 現有的約束狀態估計問題對於約束的描述多局限於等式或不等式約束。然而，並不是所有的非等式約束都屬於不等式約束。集契約束是一種更本質、更泛化的描述方式，等式或不等式約束僅僅是它的兩種特例。本項申請將從...
- 約束(數學邏輯函式名詞)
在數學中，約束是一個最佳化問題的解需要符合的條件。約束可分為等式約束及不等式約束。符合所有約束的解的集合稱為可行集（feasible set）或是候選解（candidate solution）。在分析某些具體的邏輯函式時，經常會遇到這樣一種狀況，即輸入變數的取值不是任意的。對輸入變數取值所加的限制成為約束。範例 以下是一個...
- 約束滿足問題
約束滿足問題（CSPs）是種數學的問題，其定義為一組對象(object)，而這些對象需要滿足一些限制或條件。簡介 CSPs將其問題中的單元(entities)表示成在變數上有限條件的一組同質(homogeneous)的集合, 這類問題透過"約束補償方法"來解決。CSPs是人工智慧和運籌學 的熱門主題,因為它們公式中的規律，提供了共同基礎來分析...
- 起作用約束
邊界上的點才有起作用約束，而且是該點所在邊界約束自身；而所有各約束對可行域內部的設計點都是不起作用的約束。對於式(1b)的等式約束，凡是滿足該約束的任一可行點，該等式約束都是起作用約束。由於約束最佳化問題的最優解不僅與目標函式有關，而與約束集合的性質也有關。在可行設計點 處，起作用約束在該點鄰域...
- 集合論語言
集合論語言(language of set theory)是一種形式語言，即用於描述公理集合論理論體系的形式語言.通常所說的集合論語言是由可列個自由變元、可列個約束變元、二元謂詞符號∈、邏輯符號￢, ∨ , ∧，→，↔，∀，∃，一及輔助符號（，），[，]構成的一階語言.其中謂詞符號∈描述集合的屬於關係，邏輯符號分別...
- 數據完整性約束
數據完整性約束指的是為了防止不符合規範的數據進入資料庫，在用戶對數據進行插入、修改、刪除等操作時，DBMS自動按照一定的約束條件對數據進行監測，使不符合規範的數據不能進入資料庫，以確保資料庫中存儲的數據正確、有效、相容。定義 該詞為計算機學科資料庫技術術語。數據完整性約束是一組完整性規則的集合。規則包含...
- 約束驅動集合相似大數據高效能連線關鍵技術研究
《約束驅動集合相似大數據高效能連線關鍵技術研究》是依託武漢大學，由李文海擔任項目負責人的面上項目。項目摘要 作為網際網路時代極具潛力的數據處理手段，相似連線在數據清洗、分析、挖掘和集成等方向具有廣闊的套用和研究價值，已成為資料庫和知識工程的交叉研究熱點。本項目以數據及查詢的關聯約束為驅動，將交換高通量和...
- 機率約束規劃
它的一般形式為 其中X為與隨機變數無關的集合.(1)中的機率約束稱為單個機率約束，(2)中的機率約束稱為聯合機率約束.(1)和(2)也是非線性規劃問題. 1958年，查恩斯(Charnes, A.)等人在研究石油加工廠庫存容量設計問題時，建議在滿足外界需求(隨機)的機率不低於某一水平下進行最優設計，導致機率約束規劃的研究.
- 雙約束重力模型
①使用總體交通費用為第3 個約束表征的總體阻抗約束最大熵模型；②使用重力式先驗機率的最大熵模型；③綜合上述兩類的組合模型。三維約束重力模型 三維約束重力模型可描述為在滿足OD對行約束、列約束及其他OD對集契約束的條件下，根據調查得到的OD矩陣估計實際OD矩陣。即在雙約束重力模型基礎上，引入縮放係數，通過疊代...
- 基於多色集合理論的信息建模與最佳化技術
《基於多色集合理論的信息建模與最佳化技術》是2010年4月1日科學出版社出版的圖書，作者是李宗斌。內容簡介 《基於多色集合理論的信息建模與最佳化技術》介紹了多色集合理論的三種基本模型：多色集合圍道矩陣+多色圖模型，UML+多色集合集成模型，多色集合層次結構模型；簡述了利用基於多色集契約束模型的遺傳算法求解最佳化...
- 集合定價
與“集合競價”不同，集合定價適用於深圳證券交易所新股上市首日收盤。即深圳證券交易所上市新股首個交易日收盤時不採用“集合競價”，而採用集合定價。產生背景 2013年11月30日，中國證監會發布了《關於進一步推進新股發行體制改革的意見》，明確要求證券交易所“完善新股上市首日開盤價格形成機制及新股上市初期交易機制，...
- 可行域
所謂約束集合，就是指所有不等式約束和等式約束的交集。在此集合內所有設計點x都滿足全部的約束條件，故又稱它為設計可行域，表示為： 其中假設函式 和h(x)都是連續的。這樣，對於一個約束的最佳化設計問題，由於約束面的存在而把設計空間劃分為兩個區域：設計可行域D和非可行域。因而，最優解或可接受設計解只能...
- 最最佳化方法(解決最最佳化問題的方法)
1.5.3 集契約束的非線性系統 第2章 無約束最佳化 2.1 引言 2.2 線搜尋方法 2.2.1 線搜尋原則 2.2.2 下降方法的收斂性 2.3 最速下降方法 2.3.1 最速下降方法的全局收斂性 2.3.2 最速下降方法的收斂速度 2.4 Newton法 2.4.1 經典Newton法 2.4.2 帶線搜尋的：Newton法 2.4.3 自協調函式...
- 西蒙的組織目標理論
西蒙提出，有些確定滿意方案的約束條件是與組織角色聯繫在一起的，即與人們扮演某一角色的個人動機間接有關。在這種情況下，組織目標又可以看成是由組織角色所施加的約束或約束集合。對於大多數的組織來說，它們大多是層級結構，因此，組織目標也可以看成是那些能確定高層角色的約束集合或蒐集準則的總和。
- 最最佳化方法(2010年科學出版社出版的圖書)
1.4 集合的切錐與二階切集 1.4.1 集合的切錐 1.4.2 二階切集 1.4.3 凸函式水平集的切錐與二階切集 1.4.4 負卦限錐的切錐與二階切集 1.5 有限維系統的穩定性 1.5.1 線性系統 1.5.2 集契約束的線性系統 1.5.3 集契約束的非線性系統 第2章 無約束最佳化 2.1 引言 2.2 線搜尋方法 2....
- 最最佳化導論(第四版)
第二部分無約束最佳化問題 第6章集契約束和無約束最佳化問題的基礎知識 6.1引言 6.2局部極小點的條件 習題第7章一維搜尋方法 7.1引言 7.2黃金分割法 7.3斐波那契數列法 7.4二分法 7.5牛頓法 7.6割線法 7.7劃界法 7.8多維最佳化問題中的一維搜尋 習題第8章梯度方法 8.1引言 8.2最速下降法 8.3梯度方法...
- 非空有限集
然而，有很多東西‘沒有元素’，在集合論角度而言，叫做非集合。為什麼它們沒有元素是顯而易見的，因為它們不是集合。不清楚的是，為什麼在集合中，沒有元素的集合是唯一的。僅僅通過約束是不可能將這么一個實體變出來的。”在"To be is to be the value of a variable…"，Journal of Philosophy，1984（在書...
- 自由變數(謂詞公式中的自由變數)
因此，在謂詞邏輯的一個表達式中，總可以通過改名規則，使得該表達式中所有的約束變數都不是自由變數，於是，所有的自由變數也都不是約束變數。用x\p來表示“變數x在p中不是自由的”。如果x\p且x\q，那么在複合公式 中，x也不是自由變數。當變數在集合表達式中聲明時，它總為約束變數。例如：在該集合表示中，...
- 連線件
Cons是連線件約束的集合，它包括連線件的初始化條件、前置條件和後置條件，有時為了明確表示這三個條件，可把它寫成Cons（init,pre-cond,post-cond）,init,pre-cond和post-cond分別表示初始條件、前置條件和後置條件的集合。Non-Func是連線件的非功能說明，包括連線件的安全性、可靠性說明等 不鏽鋼鋼筋連線件結構（...
- 結構上的作用
結構上的作用，在結構上各種集中力或分布力的集合，或者引起結構外加變形或約束變形的原因，均稱結構上的作用。前者為直接作用，後者為間接作用。這種作用，在一定條件下往往是相互隨機依存的，為了簡化計算，各種作用在時間上或空間上往往被假定為各自隨機獨立的，每種作用對結構作為一個單獨的作用考慮。作用使結構產生...
- 關係操作
對關係實施的各種操作，包括選擇、投影、連線、並、交、差、增、刪、改等，這些關係操作可以用代數運算的方式表示，其特點是集合操作。完整性約束 完整性約束包括實體完整性、參照完整性和用戶定義完整性。關係操作的概念 基本的關係操作 關係模型中常用的關係操作包括查詢操作和插入、刪除、修改操作兩大部分。關係的...
- 變分分析與最佳化
4.12 集契約束的線性系統 4.13 集契約束的非線性系統 4.14 抽象約束系統的穩定性 第5章 最優性理論 5.1 對偶性 5.2 最優性的基本原理 5.3 切錐的計算 5.4 對偶理論的套用 5.5 最優性條件 5.6 Clarke乘子法則 5.7 互補約束最佳化的一階最優性條件 第6章 非線性規劃的擾動分析 6.1 穩定性分析...
- 可行方向
即圖1中的陰影線內的任一方向都是可行方向。同理，當既有不等約束的起作用約束集合又有等式約束集合時，其 x 點的可行方向集合為：產生可行方向的條件 可行方向是指沿該方向作微小移動後，所得到的新點是可行點，且目標函式值有所下降。顯然，可行方向應滿足可行和下降兩個條件。可行條件 方向的可行條件是指沿...
- 集體行為
5、短暫性：集合行為持續時間短、聚散快，其目的主要是應付突發性事件。6、行為者相互依賴。集合行為中，個人都不是獨立地行為，而是與他人相互依賴、相互影響的。7、目的不明確。參加集體行為的人的目標和期望是比較模糊的，對周圍情況不十分明確。8、非結構性。集體行為越出了社會組織結構和行為規範，不受其約束。
- 機械最佳化設計方法(第4版)
3.1 目標函式與約束函式的某些基本性質 3.1.1 函式的等值面（或線）3.1.2 函式的最速下降方向 3.1.3 函式的局部近似函式和平方函式 3.1.4 函式的凸性 3.1.5 函式的單調性 3.2 約束集合及其性質 3.2.1 約束集合和可行域 3.2.2 起作用約束和鬆弛約束 3.2.3 冗餘約束 3.2.4 可行方向 3.3...
- 函式依賴
設X,Y是關係R的兩個屬性集合，存在X→Y，若X’是X的真子集，存在X’→Y，則稱Y部分函式依賴於X。7.傳遞函式依賴 設X,Y,Z是關係R中互不相同的屬性集合，存在X→Y(Y !→X),Y→Z，則稱Z傳遞函式依賴於X。說明 概念 1. 函式依賴不是指關係模式R的某個或某些關係實例滿足的約束條件，而是指R的所有...
- 預算集
(Budget set):在既定的收入和價格下，消費者所能負擔的所有消費束的集合。在給定的價格向量和收入的情況下,在消費集內滿足預算約束的所有消費束的集合。例如：假設消費者要購買的商品有X和Y，（x為商品X的實際購買數，y為商品Y的實際購買量）價格分別為p1和p2,消費者的收入為m。則滿足xp1+yp2小於等於m的所有...
- 山東運籌研究所
1) 29（7） 1999中文 中國科學（A輯）（SCI） 2、 The stability of the maximum entropy method for nonsmooth semi-infinite programmings Wang changyu(1) 42（11） 1999英文 Science in China（SCI） 3、 於P┃Sij┃Cmax問題的LPT算法 張玉忠(1) 22（1） 1999 套用數學學報 4、 集合核約束分...
