約束分析(constraint analysis)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名:約束分析
- 外文名:constraint analysis
- 所屬學科:計算機科學技術
- 公布時間:2018年
約束分析(constraint analysis)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。
約束分析(constraint analysis)是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。定義對套用中存在於數據間的約束條件進行分析,以確保資料庫滿足完整性約束...
1.約束可以分為完整約束及非完整約束兩種類型。2.約束又可分為定常約束(有時也稱為“穩定約束”)、非定常約束兩種類型:定常約束的方程式顯性不相依於時間;若約束方程式顯性相依於時間,則稱此約束為非定常約束。3.在分析力學中,...
《FPGA時序約束與分析》是清華大學出版社2022年出版的書籍。內容簡介 《FPGA時序約束與分析》首先介紹時序約束相關的基本概念; 然後從時鐘、建立時間和保持時間等概念入手,詳細地闡述時序分析理論中的基本時序路徑; 隨後結合實際的約束語法...
在數學中,約束是一個最佳化問題的解需要符合的條件。約束可分為等式約束及不等式約束。符合所有約束的解的集合稱為可行集(feasible set)或是候選解(candidate solution)。在分析某些具體的邏輯函式時,經常會遇到這樣一種狀況,即輸入...
《約束滿足問題的結構特徵和算法分析》是依託北京大學,由劉田擔任負責人的面上項目。項目摘要 在約束滿足問題中要求為一組變數賦值來滿足給定的一組約束條件,這類問題覆蓋了計算機科學、人工智慧、運籌學等很多領域的重要問題。值域可變的...
約束處理通常指的是對於研究的目標物體施加約束時候的處理方法。邊界約束處理 由於總體剛度矩陣是一個奇異矩陣,在求得總剛矩陣和總體載荷列陣之後,還不能立即求解整體節點平衡方程組。從數學上講,此時的總剛矩陣無逆矩陣,方程組沒有...
國內經濟需求約束的因素分析 1.城鄉居民收入增長勢頭放緩。2013年上半年,我國居民收入穩定增長。其中,城鎮居民人均可支配收入1.36萬元,實際增長6.5%,未跑贏GDP增速:農村居民人均現金收入4817元,實際增長9.2%,雖然增長速度較快,但...
《可靠性試驗中帶約束的統計分析》是依託上海師範大學,由費鶴良擔任項目負責人的面上項目。項目摘要 對完全和定數截尾樣本給出了:(1)多個單參數指數總體有序約束的參數估計方法。(2)多個二參數指數總體位置參數的有序約束保序估計...
獨立成分分析(Iedependent Component Analysis, ICA)是一種新興的數據處理與分析方法,已成功地套用於信號處理、模式識別、機器學習與數據挖掘等領域,得到了國內外學術界的廣泛關注。本項目力求從約束ICA角度出發研究盲信號抽取問題,將傳統...
如果不等式g(x)滿足條件g(x)=0,則這個約束條件稱為點x的積極約束。任意一個等式約束條件都是可行域內所有點的積極約束。在PMI的項目管理理論中,約束最佳化法包括層次分析過程、邏輯框架分析和多元目標計畫。Constrained optimization is ...
因此,中國上市公司股權約束問題須結合股權結構具體分析。國有股——股權約束錯位 國有股是國家投資或國有資產折算而形成的股份,其所有權從法律上看是明確的,但從經濟運行的角度看,由於國家及政府沒有自然生命,不是終極的利益承受主體...
,點x的鄰域限制了可行點的範圍,即沿著某些方向稍微離開x點都將導致違背這些約束,這樣的約束稱為在點x處起作用約束。反之,對於約束 ,當點稍微離開x時,無論什麼方向都不會違反約束,稱為在點x處不起作用約束。相關分析 對於一般...
《具有不確定性的約束MPC系統分析與綜合的隨機化方法》是依託廈門大學,由黃春慶擔任項目負責人的青年科學基金項目。項目摘要 物理系統中所有的狀態變數都是有界的,因此考慮約束條件的控制系統的分析與綜合已經受到重視。在諸多處理約束控制...
MPC MPC,全稱multipoint constraint是指有限元分析中,多點約束。
約束最佳化方法是尋求具有約束條件的線性或非線性規劃問題解的數值算法。假設ƒ(尣),gi(尣)(i=1,2,…,m)是n維歐幾里得空間Rn中的實值函式。所謂約束最佳化問題,是指在約束條件gi(尣)≤0(i=1,2,…,m)之下求一點,使ƒ(尣)≥...
一 市場約束有效的條件 二 市場約束與信息披露 三 市場約束與安全網 四 市場約束的有效性 第四節 市場約束與《巴塞爾協定》一 市場約束與資本充足監管 二 市場約束與官方監管 本章小結 第三章存款人的市場約束分析 第一節 引言 第...
顯式目標函式是根據設計理論或公式、科學定理的關係推導的代數方程,或是根據實驗數據採用曲線擬合方法所得的曲線方程;隱式目標函式是利用有限元分析方法、人工神經網路方法或仿真模擬方法的程式計算的結果,沒有明顯的函式式,但可給出函式...
對於我們來講,認真分析公共人力資源約束的理論前提和基礎,全面梳理公共人力資源約束理論發展的源流,吸收各學派理論的科學核心,結合我國公共人力資源管理的實際,建立科學的公共人力資源約束機制,對提高我國公共部門的績效和管理水平,增強...
《雙重約束:中國商品市場波動的分析》是1999年商務印書館出版社出版的圖書,作者是陳樂一。內容簡介 《雙重約束:中國商品市場波動的分析》的研究對象是改革以來轉軌時期中國商品市場的波動。中心論點是商品市場的持續繁榮發展到一定程度後...
設在物體表面上,有指定的位移約束w,其中不包含剛體位移在內,則 w可以寫為: w=W*g(x/l,y/l,z./l)其中,W是特徵位移約束,g是位移約束的分布函式。設在物體表面上,有指定的位移約束w,其中不包含剛體位移在內,則 w...
具有複雜約束動態系統的分析與控制 具有複雜約束動態系統的分析與控制,哈爾濱工業大學的項目。2021年12月,獲得2021年度黑龍江省科學技術獎一等獎。