一致性約束是2008年公布的海峽兩岸信息科學技術名詞。
基本介紹
- 中文名：一致性約束
- 外文名： consistency constraint
- 所屬學科：信息科學技術
- 公布年度： 2008年
公布時間,出處,
公布時間
2008年全國科學技術名詞審定委員會審定公布的海峽兩岸信息科學技術名詞。
出處
《海峽兩岸信息科學技術名詞》。
一致性約束是2008年公布的海峽兩岸信息科學技術名詞。
一致性約束是2008年公布的海峽兩岸信息科學技術名詞。 公布時間2008年全國科學技術名詞審定委員會審定公布的海峽兩岸信息科學技術名詞。出處《海峽兩岸信息科學技術名詞》。...
《基於視覺一致性約束的監控目標精確檢測研究》是依託上海交通大學，由張重陽擔任項目負責人的面上項目。項目摘要 監控目標的精確檢測是目前智慧型視頻監控系統深度套用面臨的一個迫切需要解決的關鍵科學問題。本項目針對視頻監控系統的複雜場景下目標視覺不一致對目標精確、魯棒檢測帶來的挑戰，一方面將基於範例的相似性檢測模型...
本項目對知識圖譜的一致性問題，開展對一致性約束模型、一致性約束髮現方法、不一致性檢測方法和修複方法的研究。在本項目執行期間，項目組建立了基於圖模式匹配的一致性約束模型和其公理化系統，對其可滿足性問題、邏輯蘊含問題及驗證等問題進行了複雜性分析，設計了一致性約束的並行發現算法；提出了不一致性增量檢測方法...
《解決三維AFT收斂性以及約束DT邊界一致性問題的統一方法》是依託大連理工大學,由關振群擔任醒目負責人的面上項目。項目摘要 在三維實體四面體有限元格線生成方法中，研究三維AFT收斂性問題與三維約束DT邊界一致性問題的統一求解方法。將兩個問題歸結為核心多面體的邊界一致四面體剖分問題，進一步抽象為布局最佳化問題；...
4.1.1 目標函式、經濟約束條件與完全時間一致性約束條件 4.1.2 前提假設 4.1.3 最優理性預期均衡的完全時間一致性動態特徵 4.1.4 拉格朗日乘子的完全時間一致性均衡路徑 4.2 一般線性理性預期模型的完全時間一致性穩健最優利率規則 4.2.1 完全時間一致性穩健最優工具規則 4.2.2 完全時間一致性穩健最優...
第８ 章 一致性約束 ８８ ８. １ ＮＦＣ 設備的一致性測試 ８８ ８. ２ ＮＦＣ ＩＰｘ 的“一致性” 測試規範 ８８ ８. ２. １ ＩＳＯ ２３９１７ 測試(ＮＦＣ ＩＰ１ 協定) ９０ ８. ２. ２ ＩＳＯ ２２５３６ 測試(ＮＦＣ ＩＰ１ ＲＦ 接口) ９０ ８. ３ 發起者天線的電...
此外，針對具有多類實體的系統，提出一種面向多級回響能力需求的一致性控制方法，根據不同類型實體的差異化需求進行最佳化，進一步提高了系統的可用性；（5）提出一種用於滿足回響能力需求的間距一致性控制方法，通過構造均衡一致性約束計算最佳化目標，在滿足節點回響能力需求的基礎上達到系統各性能目標的最佳化平衡；（6）提出...
(1) 實體完整性：規定表的每一行在表中是唯一的實體。(2) 域完整性：是指表中的列必須滿足某種特定的數據類型約束，其中約束又包括取值範圍、精度等規定。(3) 參照完整性：是指兩個表的主關鍵字和外關鍵字的數據應一致，保證了表之間的數據的一致性，防止了數據丟失或無意義的數據在資料庫中擴散。(4) 用戶...
模式一致性約束可分為唯一性約束(同一模式中名字唯一)、存在性約束(顯示引用的成分須存在)和子類型約束(子類和父類的聯繫不可有環，不能有從多繼承帶來的任何衝突等)等，滿足所有這些一致性約束的模式稱為一致模式。模式演化歷來是面向對象資料庫研究的重點與難點。其解決途徑一般有以下兩種:①模式改變考慮現有套用...
模式一致性約束分為唯一性約束、存在性約束和子類型約束等，滿足所有這些一致性約束的模式稱為一致模式。模式演化是面向對象資料庫研究重點與難點，實現途徑一般有兩種：模式改變考慮現有應用程式使二者相互集成和適應；開發新的高級資料庫程式語言。視圖類實現技術 面向對象資料庫中很多操作（如統計、連線查詢和視圖操作）...
1.優先性特徵（Preferences）——字元串匹配優先、近距離優先、句法平行優先 2.約束性特徵（Constraints）——性別一致性約束、單複數一致性約束、語義類別一致性約束 這種區分依據主要根據是共指特徵的指示性強弱。也可按照語言學角度出發，分為詞法特徵、語法特徵、距離和位置特徵、語義特徵。評測 1.MUC——主要包括...
事務的一致性(Consistency)：是指事務的運行並不改變資料庫中數據的一致性。例如，完整性約束了a+b=10，一個事務改變了a，那么b也應該隨之改變。獨立性（Isolation）：事務的獨立性也稱作隔離性，是指兩個以上的事務不會出現交錯執行的狀態。因為這樣可能會導致數據不一致，更加具體的來講，就是事務之間的操作是...
常用的約束有唯一性約束、連續性約束、相容性約束和順序一致性約束。首先提取左右圖像對中的線段，用對應線段滿足的全局約束、相容性約束、鄰域約束等表示 HopfieIk 神經網路的能量函式，通過最小化能量函式得到兩幅圖像中的對應線段，提高了匹配的可靠性。同時人們還採用最小平方中值法和投票算法等後處理來有效地消除...
聚集是一類特殊的一致性問題，聚集表示位置一致，聚集問題屬於無約束一致性問題，是為了設計一種局部控制策略，使得所有的智慧型體最終聚集在同一個未知點。4. 感測器網路估計問題 4.1分散式卡爾曼濾波 網路級的估計問題一直受到不少學者的關注，近幾年分散式感測器網路迅速發展，研究重點主要集中在分散式卡爾曼濾波，每個...
《廣義彈性運動跟蹤與分析》是依託清華大學，由邸慧軍擔任項目負責人的青年科學基金項目。項目摘要 計算機視覺中研究的非剛體運動分為三類：關節體運動、彈性運動和流體運動。對於彈性運動，現實世界中存在以下複雜情況：多種彈性運動同時存在並相互交替，其中每一種都滿足一致性約束，但總體不存在統一的一致性。因此難以按...
過濾處理器限制傳給其它處理器的命令和數據。與每個過濾處理器相聯繫的是描述命令和數據約束的映射。這些約束或者以過濾處理器的邏輯編程，或者存儲在分離的數據結構中。過濾處理器的例子有語法約束檢查器、語義一致性約束檢查器、存取控制器等。構造處理器 構造處理器把單個處理器提交的命令進行分解或複製成為兩個或多...
例如，在編程環境中用於集成各種工具，在資料庫管理系統中確保數據的一致性約束，在用戶界面系統中管理數據，以及在編輯器中支持語法檢查。例如在某系統中，編輯器和變數監視器可以登記相應Debugger的斷點事件。當Debugger在斷點處停下時，它聲明該事件，由系統自動調用處理程式，如編輯程式可以卷屏到斷點，變數監視器刷新...
古語云：“官法如爐”：制度就像火爐，如果火爐燒得通紅，大家都知道會燙傷人，必然心存畏懼，不敢觸碰；若有違犯觸碰者，必然會被燙傷。這一法則體現了制度約束的警示性、一致性、即時性、公平性原則。“世不患無法，而患無必行之法”。需要健全完善包括法規在內的制度架構，但執行制度彈性太大，起不到應有的...
第9章一致性約束 9.1unique約束 9.2key約束 9.3keyref約束 9.4小結 第10章引入其他的模式文檔 10.1包含 10.2重定義 10.3導入 10.4小結 第11章使用DOM、SAX和JAXP解析XML文檔 11.1DOM、SAX和JAXP概述 11.2使用DOM解析XML文檔 11.2.1DOM結構模型 11.2.2DOM樹中的節點類型 11.2.3DOM解析器工廠和...
在概念設計的基礎上，按照不同的轉換規則將概念模型轉換為具體DBMS支持的數據模型的過程，即導出具體DBMS可處理的地理資料庫的邏輯結構(或外模式)，包括確定數據項、記錄及記錄間的聯繫、安全性、完整性和一致性約束等。導出的邏輯結構是否與概念模式一致，能否滿足用戶要求，還要對其功能和性能進行評價，並予以最佳化。從...
建立了基於航空器進離場的跑道聯合調度的多目標多約束模型、滑行路徑聯合最佳化的單目標多約束模型、停機位聯合調度的多目標多約束模型，並以場面資源系統實際運行數據為例，採用改進遺傳算法和計算機仿真相結合，驗證跑道聯合調度模型和停機位聯合調度模型；同時，採用多學科設計最佳化理論，建立基於一致性約束的航空器進離場的...
3.3.3 約束Delaunay三角網 3.3.4 一致性約束：Delaunay三角網 3.4 Voronoi圖 3.4.1 Voronoi圖簡介 3.4.2 Voronoi圖的構建 3.5 平麵點集三角剖分的兩條性質 4 多邊形的三角剖分 4.1 多邊形三角剖分簡介 4.2 多邊形三角剖分的已有算法 4.2.1 算法1 4.2.2 算法2 4.2.3 算法3 4.2.4 算法4...
2.11.2一致性約束 18 2.11.3替代組 18 2.11.4重定義 18 第3章命名空間 19 3.1XML中的命名空間 19 3.1.1命名空間名稱是URI 19 3.1.2命名空間聲明和前綴 19 3.1.3默認命名空間聲明 21 3.1.4名稱術語 21 3.1.5命名空間聲明的作用域 22 3.1.6重寫命名空間聲明 22 3.1.7屬性和命名空間 ...
2.2.2 高階恆常約束 2.2.3 局部恆常約束 2.3 光流計算平滑項 2.3.1 全局平滑約束 2.3.2 有向平滑約束 2.4 光流計算誤差分析 本章小結 第3章 彩色圖像序列光流計算方法 3.1 引言 3.2 彩色圖像序列光流計算基本原理 3.2.1 Lambertian表面 3.2.2 顏色模犁 3.2.3 灰度一致性約束 3.2.4 色彩...
完成了火焰多種物理屬性重建的一致性約束研究，實現了既符合採樣數據分布又滿足參數之間物理規律的溫度、密度、折射率聯合重建；在重建火焰幾何特徵的同時重建出多種物理屬性參數的時空分布及變化，實現了基於溫度、體密度、折射率、發射比等物理屬性的動態火焰重建與編輯；完成了幾何與物理重建結果的對比與參數最佳化，實現...
現有研究集中於模型的框架設計及轉換，而較少研究具體行為建模及轉換，因而無法支持實時控制領域的多點協作互動行為建模和轉換，更難以滿足實時領域內非功能性語義的一致性約束要求。研究擬通過對實時領域行為本體的識別和演繹建立實時本體知識體系，在此基礎上給出實時多任務互動行為本體套用框架，構建實時語義模型作為中間...
5．1．3 指定check約束 5．2 修改域的定義 5．3 刪除域 小結 第6章 表的操作 6．1 創建表之前 6．1．1 範式化(normalization)6．1．2 冗餘表和冗餘欄位 6．2 創建表 6．2．1 定義欄位 6．2．2 定義一致性約束 6．2．3 定義check約束 6．2．4 使用external file 6．3 修改表 6．3．1 修改...
5． 提出一種基於換向對偶分解的分散式數據關聯算法：在行人再識別過程中引入多幅匹配圖像之間的一致性約束關係，將全局匹配問題轉化為求解帶有約束的最佳化問題，通過對偶分解的方式提高了求解效率。 項目研究成果對於發展和豐富智慧型攝像機感測網路技術具有重要的理論價值和實際意義。
資料庫完整性（Database Integrity）是指資料庫中數據在邏輯上的一致性、正確性、有效性和相容性。資料庫完整性由各種各樣的完整性約束來保證，因此可以說資料庫完整性設計就是資料庫完整性約束的設計。資料庫完整性約束可以通過DBMS或應用程式來實現，基於DBMS的完整性約束作為模式的一部分存入資料庫中。通過DBMS實現...
例如，在編程環境中用於集成各種工具，在資料庫管理系統中確保數據的一致性約束，在用戶界面系統中管理數據，以及在編輯器中支持語法檢查。例如在某系統中，編輯器和變數監視器可以登記相應Debugger的斷點事件。當Debugger在斷點處停下時，它聲明該事件，由系統自動調用處理程式，如編輯程式可以卷屏到斷點，變數監視器刷新...