約束知識（constraint knowledge）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
基本介紹
- 中文名：約束知識
- 外文名：constraint knowledge
- 所屬學科：計算機科學技術
- 公布時間：2018年
- 審定機構：全國科學技術名詞審定委員會
定義,出處,
定義
對問題的描述、求解或推理進行約束的知識。
出處
《計算機科學技術名詞 》第三版。
約束知識
相關詞條
- 約束知識
約束知識（constraint knowledge）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義對問題的描述、求解或推理進行約束的知識。1出處《計算機科學技術名詞 》第三版。...
- 約束(物理學名詞)
對非自由質點系的運動預加的幾何學或運動學的限制。在力學中，同約束有關的知識有三個內容，即約束力、約束方程和理想約束。約束還可分成單面約束和雙面約束。受單面完整約束的質點可從約束面的一側脫離；受雙面完整約束的質點不能從約束面的任一側脫離。常見的約束有柔性繩索或鏈條約束、光滑接觸面約束、圓柱形鉸鏈...
- 側面約束
側面約束是最佳化設計中的一類邊界約束條件，其核心特徵是不針對系統性能要求，僅對設計變數的取值範圍進行明確限制。根據《機械最佳化設計》教學課件定義，該約束類型通常表現為齒輪模數範圍、桁架高度上下限等參數邊界值設定。在風電機塔架設計中，研究者通過在基礎部位施加水平方向剛接約束，證實側面約束會影響結構固有頻率達11...
- 約束條件
建立最佳化數學模型，通常是根據設計要求，套用相關基礎和專業知識，建立若干個相應的數學表達式。對於機械結構最佳化設計，主要是根據力學，機械設計等專業基礎知識及機械製造等專業知識來建立數學模型。最佳化問題的一般數學模型如下所示：設計變數 在設計中不斷變化，能夠獨立影響設計目標的設計參數稱為設計變數，一般用列向量或...
- 需求約束
制約了國內需求。首先，投資環境和投資工具欠缺。隨著生活水平的提高，收入增加，人們往往會尋找更多的投資渠道，但由於目前國內金融市場發展有待完善，廣大消費者投資渠道有限。同時，由於消費者缺少專業知識，導致投資風險較大。其次，一些行政政策限制了消費需求。如機動車搖號制度，便限制了市民的汽車消費需求。
- 約束性保護
劉玉蘭對於使用保護性約束的法律依據做出解釋。她認為護士應熟悉與保護性約束有關的法律知識，建立相關制度、規範約束護理行為。英國1800年頒布的《精神錯亂法》，1983年成立的《精神衛生法》強調要保護精神患者的權益和財產，不得非法拘禁精神患者也明確了醫生有權採取強制措施。我國2002年4月7日正式出台的《上海精神...
- 軟約束
軟約束是自動化科學技術領域的重要概念，指在系統最佳化和控制過程中允許被違反但需付出代價的約束條件。該概念廣泛套用於工業過程最佳化控制，如在多目標多自由度最佳化中被規範為線性規劃問題，通過調整約束邊界實現目標衝突的協調。在化工動態最佳化領域，改進的文化算法通過軟約束思想對控制搜尋域進行離散化處理，有效提升非線性...
- 絕熱約束
絕熱約束，指熱力學係數測量過程中的絕熱條件。熱力學偏導數係數的值與測量時所施加的條件有關，這個條件，即是對系統施加的約束。定義 很多熱力學係數是偏導數式，即它們的值同它們測量時的條件有關。這種條件就是對系統施加的約束，最常用的是等溫約束和絕熱約束。例如，絕熱壓縮性因數，等溫壓縮性因數等。相關概念...
- 慣性靜電約束
慣性靜電約束(英語：Inertial Electrostatic Confinement，縮寫為IEC），一種核聚變技術，以電場來加熱等離子，以誘發核聚變。電場對帶電粒子（離子或電子）做功，可以將它加熱，直到發生核聚變反應。這種裝置通常會採用球面設計，讓帶電粒子在其內部可以加速運動，但也有採用圓柱幾何設計。電場可能用線柵產生，或是由非...
- 非正式約束
非正式約束是人們在長期交往中無意識形成的行為規範，作為制度體系的基本要素之一，與正式約束、實施機制共同構成社會運行規則。其通過社會認可和自我約束維持運作，具有文化傳承性和實施成本低的特徵。該約束包含價值信念、倫理規範、道德觀念、風俗習性及意識形態等要素，其中意識形態居於核心地位並形成正式制度的雛形。其...
- 資源約束
在初級產品生產受追捧的環境下，不需要高技能勞動力，從而知識型勞動力收入優勢不明顯，會使人力資本喪失提高自身勞動素質的動力，進而遏制了以知識型勞動力為重要生產要素的製造業的發展。採掘業的快速發展，使資源豐裕地區的經濟面臨更大的轉型難度。在資源約束的背景下，利潤轉移帶來大量的逐利資本，這些資本投資目標就是資源的開發供
- 約束帶
約束帶是醫療護理中用於約束患者軀幹及四肢的工具，適用於意識不清、存在自傷或傷人傾向、治療不配合、病情危重伴有導管拔脫風險或墜床風險的患者。使用前需評估患者情況並簽署知情同意書，常見約束部位為手腕和踝關節，使用時要鬆緊適度，避免影響血液循環。約束帶分為多種類型，如腕部、肩部、膝部約束帶等。其技術...
- 圖解高德拉特約束理論
對於現代人來說，知識和視野往往成為職業生涯的“約束條件”，而圖解本就能幫你最高效地充電，輕鬆解決約束條件！編輯推薦 你不用再在高德拉特的長篇小說里苦苦鑽研，提煉出《目標》、《關鍵鏈》的管理方法， 幫你輕鬆掌握約束理論！全國第一本約束理論超圖解入門 讀得懂！學得快！用得上！文字化繁為簡，圖表一...
- 約束問題求解
約束問題求解 約束問題求解（constraint problem solving）是2018年公布的計算機科學技術名詞。定義 約束滿足問題的求解方法。其中回溯搜尋、約束傳播和局部搜尋是主要的求解方法。出處 《計算機科學技術名詞 》第三版。
- 約束分析
約束分析 約束分析（constraint analysis）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義 對套用中存在於數據間的約束條件進行分析，以確保資料庫滿足完整性約束條件。出處 《計算機科學技術名詞 》第三版。
- 責任約束
責任約束的考核方法以責任制度規定的應負責任指標為依據，著重考核。德、能、勤、績”。德即一個人的政治素質、思想品德、工作作風、職業道德等，能，即指本職工從事本職工作的能力，包括分析和解決問題的能力、獨立工作能力。具體而言，又可分為：學識水平、工作經歷、知識結構等。同時，這裡還包括對職工身體狀況的...
- 約束滿足問題的結構特徵和算法分析
此外，對隨機k-SAT、隨機Max-2-SAT、隨機k-CSP、隨機k-d-CSP、隨機#CSP、知識編譯等許多問題，也確定了可滿足性相變點的存在性或改進了參數範圍，有關結果發表在頂級期刊AIJ和SCI期刊IPL和EJC上，並在頂級會議AAAI和SAT牆報展示。其次，從算法分析的角度研究了約束滿足問題的求解效果和難解性與易解性的分類。在...
- Abaqus分析用戶手冊指定條件、約束與相互作用卷
《Abaqus分析用戶手冊 指定條件、約束與相互作用卷》是由王鷹宇編著、機械工業出版社於2019年8月出版的有限元分析技術工具書，隸屬於“Abaqus用戶手冊大系”系列，旨在為工程仿真建模提供專項技術指導。該書聚焦Abaqus軟體中模型建立的核心環節，圍繞指定條件、約束定義與相互作用設定三大模組展開。重點解析載荷施加的動態配置...
- 財務管理約束機制
入侵檢測技術主要分為基於行為和基於知識的入侵檢測技術兩種，能夠監測網路外部的入侵，對內部用戶的未授權活動進行控制，是網路安全的核心技術。利用以上這些安全技術控制手段為財務信息管理提供技術支撐，可以確保財物信息的安全。(三)財務信息安全人才培養機制 財務信息安全工作專業性、技術性較強，所以要求人員政治素質高...
- 知識密封準則
知識密封準則是科幻文學中提出的虛構倫理準則，在劉慈欣《朝聞道》中被描述為宇宙中文明世界的最高準則之一，禁止高級文明向低級文明傳授高級知識。該準則由"排險者"執行，禁止高級文明向低級文明傳遞可能引發技術爆炸的高維知識，其核心矛盾體現在人類科學家為追求真理甘願犧牲生命，與宇宙安全規範之間的劇烈衝突。小說通過...
- 綜合與時序分析的設計約束
1.3 ASIC和FPGA設計流程中的時序約束 6 1.4 納米級設計中的時序約束問題 6 1.5 小結 7 第2章 綜合的基礎知識 8 2.1 綜合的解釋 8 2.2 時序約束在綜合中的作用 8 2.2.1 最佳化 9 2.2.2 輸入重排序 9 2.2.3 輸入緩衝 10 2.2.4 輸出緩衝 11 2.3 綜合中面臨的普遍問題 ...
- 鬆緊定理
鬆緊定理是線性規劃中對偶理論的核心組成部分，通過約束條件與其對偶變數值的互補關係建立原問題與對偶問題最優解的連線通道。該定理在經濟分析和資源分配領域具有重要套用價值，可與影子價格理論結合為企業決策提供量化分析依據，並通過互補鬆弛性推論實現約束條件與對偶變數的"一松必一緊"判定機制。在對稱形式和非對稱形式...
- 自律(漢語詞語)
2、一個知識不全的人可以用道德去彌補，而一個道德不全的人卻難以用知識去彌補。——義大利·但丁 3、自製是一種秩序，一種對於快樂與欲望的控制。——古希臘·柏拉圖 4、品行是一個人的內在，名譽是一個人的外貌。——英國·莎士比亞 5、勿以惡小而為之，勿以善小而不為。——三國·劉備 6、不患人之不...
- 自由度(機械系統的自由度)
基於群論、李代數、微分幾何的知識來解決自由度計算的問題。群論、李代數、微分幾何是解決複雜機構學問題的法寶。如果掌握，對於機構的設計與分析，並在線上構的設計及計算，甚至機構的概念設計都有著十分積極的意義。現代的機構學與機器人學很多理論都是基於此而形成的。然而此種方法對設計人員的知識水平要求較
- 表達式
表達式是由數字、算符、括弧、自由變數和約束變數等組成的可計算結構，其排列規則需滿足特定語法以求得有效數值結果。約束變數具有固定值，自由變數需外部賦值確定數值，例如表達式x/y在y=0時因違反運算規則而無定義。兩個表達式等價的條件是在任意賦值下輸出結果一致，且所有運算符的位置與數量必須符合合式規則（如有效...
- 財務機制
影響財務機制的微觀因素和條件主要有現代企業制度的建立和完善，經營者知識結構的合理化，企業內部供、產、銷各部門的密切配合和協調運行等。案例分析 現代公司的經營目標可謂是多種多樣，有的迫求利潤最大化，有的追求投資回報率最高，還有就是力求創造股東價值的最大化，即公司市場價值的最大化。在創造股東價值的...
- 成電少年學
F. 時序約束基礎知識。占比：基礎接口協定占比60%，Xilinx FPGA存儲器IP核占比20%，xilinx FPGA 自定義IP核封裝占比5%，通信知識占比5%，flash，eeprom等相關知識占比5%，Flash，eeprom等相關知識占比5%，時序約束基礎知識5%。（三）FPGA 高級考核 (1) 考試對象：適用於本、專科各專業學生及工程師 (2) 考試...
- 民俗控制
民俗控制指民俗對個人的行動所起的約束作用。其表現形式基於習俗環境差異可分為兩類：一是俗民群體依據習俗規範實施約束，如家教、家規、家法、族規、鄉規民約及村寨習慣法等具有明確要求的規範對成員行為的控制；二是通過習俗化過程中某些民俗事象對個體施加影響，形成內在控制力，如敖包文化通過社會化過程實現約束。
- 禪修(佛教用語)
3、 多參加集體共修活動，多與善知識相處。4、 參加禪修，深化正念和正定的修習，過一段時期的遠離梵行生活。5、 完整修學所有的八正道內容，把禪修建立在正見及戒行之上。6、 閱讀相關佛學書籍，對佛教的教義有正確地理解，使理論與實踐互相結合起來。7、 盡家庭責任、工作責任、社會責任。加入義工行列；慈心對待...
