正確性證明英文怎麼說

正確性證明 的英文翻譯

正確性證明 例句

1. Fundamenta informaticae, 2004, 62 : 1 - 23. 10 kleine b " uing h, lettmann h. propositional logic : deduction and algorithms, cambridge university press, 1999. 11 hilbert d, ackermann w. principles of mathematical logic
   2提出了一個演算法把ctl在有界語義下滿足 性 的檢測規約到一個qbf quantified boolean formulas問題的滿足 性 的判定上，同時 證 明 了演算法的 正 確 性 。 論文對目前求核方法存在的問題進行了分析，提出了一種新的可區分矩陣與求核方法，並 證 明 了方法的 正 確 性 ，該方法適用於任何決策表（相容的或不相容的） 。 研究結果表 明 ：單擺試驗測量火藥脈沖助推器沖量結果與理論計算結果基本一致， 證 明 了此實驗方法的 正 確 性 。 通過驗 證 每個用戶在模擬處理后均能夠恢復原始信息， 證 明 了方案的 正 確 性 和可行 性 。 第四章對相位干涉儀進行了較為詳細和系統的研究，給出一維相位干涉儀的基本關系式，分析了五通道相位干涉儀測向定位演算法及其 性 能指標，對解相位模糊問題進行了探討，在ccss中模擬了測向演算法，模擬結果 證 明 了演算法的 正 確 性 。 世界經濟發展史很好的 證 明 了瓦格納法則的 正 確 性 。 需要指出的是：基於strand空間理論的 正確性證明 是建立在已知攻擊集的基礎上的。 把模型炮實驗獲得的數據，按相似理論換算，並消除相似畸變帶來的試驗誤差后，與原型炮在國家靶場定型試驗的結果比較， 證 明 了創建的火炮全參數物理模擬理論的 正 確 性 ； 證 明 所採取的大比例縮尺模型的設計方法和製造手段的可靠 性 ； 證 明 用縮尺的模型炮代替副炮進行多項目綜合物理模擬試驗技術是成功的。 本文的第四節給出了演算法的 正確性證明 ，即演算法構造的路徑為最壞覆蓋路徑。 而對于族集最小覆蓋集的計算問題，本文則提出了若干個定理刻畫了其計算方法的原理並予以 正確性證明 ，並精心設計了相應的演算法。 在目前形式化方法和程序 正確性證明 技術還無望成為實用 性 方法的情況下，軟體測試在將來相當一段時間內仍然是軟體質量保 證 的有效手段。 同時，某類問題的求解過程中的形式化推導、 正確性證明 等都可以實現復用，從而為實現軟體開發全過程的復用研究提供一種有效的途徑。 從 證 明 的角度，對鑒定實施中科學理論的真理 性 和 正確性證明 、擬制事實中的因果關系，並針對包括科學本身誤差幾率與科學的概率在內的科學 確 率問題作了分析。 然後基於strand空間模型給出了其嚴謹周密的 正確性證明 。 mb協議的 正 確 性 主要體現在兩個方面：認 證 屬 性 ：當協議主體以某參數完成協議后，被認 證 主體也必須以該參數參與協議運行。秘密屬 性 ：保護協議消息不會泄漏給未被授權的主體。 在e3dr - tree中，結合移動對象數據特徵引入空白區域作為新的插入代價參數，同時，在插入演算法中利用最小代價優先搜索演算法 確 定全局最優插入路徑，並給出演算法 正確性證明 。 因此，對uml進行形式語義研究，對增進該語言的清晰 性 、等價 性 和一致 性 、可擴展 性 是十分有幫助的，為模型的 正確性證明 、轉換以及支持uml建模工具的一致 性 檢查提供了有力的理論工具。 我們對應用nhstm模型的，通過應用嚴格兩段鎖協議實施的並發調度中，可能存在的並發沖突，隱通道和饑餓問題進行分析，在此基礎上提出了一種利用緩沖和p點的並發調度演算法，並給出了該演算法的並發調度 正確性證明 ，解決多級安全條件下的隱通道和饑餓問題。 本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於 證 明 與靜態、動態數據依賴關系有關的程序 性 質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片， 證 明 路徑靜態切片構造演算法的 正 確 性 ， 證 明 改進后的方法與原方法所生成的線 性 約束系統相同。 本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。 相似字 英漢推薦 漢英推薦 正確性審計 正確性驗證 正確性爭議 正確選位 正確選擇詞義 正確學名 graduator comayras clolour correction circuit hesslegard convulsion of nature limber passage rack-and-lever jack association cooperative lionel keith murphy distributing fuse panel conditions as to the time of shipment 缺氣的 視頻兼容性 比力 正原光電流 測溫電橋 憧憬 盒式軟磁盤 運輸條件 諧振加速器 淬火延遲 相關程度 分享友人 分享到 Line 分享到臉書 (C) 2015-2021 Dict.site 線上英文字典
2. The problem of calculating the core attributes of a dicision table is studied, a new discernibility matrix and the computation of core is put forward in this paper, and correctness of this method is proved. this method is the same with consistent and antipathic dicision tables
   論文對目前求核方法存在的問題進行了分析，提出了一種新的可區分矩陣與求核方法，並 證 明 了方法的 正 確 性 ，該方法適用於任何決策表（相容的或不相容的） 。 研究結果表 明 ：單擺試驗測量火藥脈沖助推器沖量結果與理論計算結果基本一致， 證 明 了此實驗方法的 正 確 性 。 通過驗 證 每個用戶在模擬處理后均能夠恢復原始信息， 證 明 了方案的 正 確 性 和可行 性 。 第四章對相位干涉儀進行了較為詳細和系統的研究，給出一維相位干涉儀的基本關系式，分析了五通道相位干涉儀測向定位演算法及其 性 能指標，對解相位模糊問題進行了探討，在ccss中模擬了測向演算法，模擬結果 證 明 了演算法的 正 確 性 。 世界經濟發展史很好的 證 明 了瓦格納法則的 正 確 性 。 需要指出的是：基於strand空間理論的 正確性證明 是建立在已知攻擊集的基礎上的。 把模型炮實驗獲得的數據，按相似理論換算，並消除相似畸變帶來的試驗誤差后，與原型炮在國家靶場定型試驗的結果比較， 證 明 了創建的火炮全參數物理模擬理論的 正 確 性 ； 證 明 所採取的大比例縮尺模型的設計方法和製造手段的可靠 性 ； 證 明 用縮尺的模型炮代替副炮進行多項目綜合物理模擬試驗技術是成功的。 本文的第四節給出了演算法的 正確性證明 ，即演算法構造的路徑為最壞覆蓋路徑。 而對于族集最小覆蓋集的計算問題，本文則提出了若干個定理刻畫了其計算方法的原理並予以 正確性證明 ，並精心設計了相應的演算法。 在目前形式化方法和程序 正確性證明 技術還無望成為實用 性 方法的情況下，軟體測試在將來相當一段時間內仍然是軟體質量保 證 的有效手段。 同時，某類問題的求解過程中的形式化推導、 正確性證明 等都可以實現復用，從而為實現軟體開發全過程的復用研究提供一種有效的途徑。 從 證 明 的角度，對鑒定實施中科學理論的真理 性 和 正確性證明 、擬制事實中的因果關系，並針對包括科學本身誤差幾率與科學的概率在內的科學 確 率問題作了分析。 然後基於strand空間模型給出了其嚴謹周密的 正確性證明 。 mb協議的 正 確 性 主要體現在兩個方面：認 證 屬 性 ：當協議主體以某參數完成協議后，被認 證 主體也必須以該參數參與協議運行。秘密屬 性 ：保護協議消息不會泄漏給未被授權的主體。 在e3dr - tree中，結合移動對象數據特徵引入空白區域作為新的插入代價參數，同時，在插入演算法中利用最小代價優先搜索演算法 確 定全局最優插入路徑，並給出演算法 正確性證明 。 因此，對uml進行形式語義研究，對增進該語言的清晰 性 、等價 性 和一致 性 、可擴展 性 是十分有幫助的，為模型的 正確性證明 、轉換以及支持uml建模工具的一致 性 檢查提供了有力的理論工具。 我們對應用nhstm模型的，通過應用嚴格兩段鎖協議實施的並發調度中，可能存在的並發沖突，隱通道和饑餓問題進行分析，在此基礎上提出了一種利用緩沖和p點的並發調度演算法，並給出了該演算法的並發調度 正確性證明 ，解決多級安全條件下的隱通道和饑餓問題。 本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於 證 明 與靜態、動態數據依賴關系有關的程序 性 質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片， 證 明 路徑靜態切片構造演算法的 正 確 性 ， 證 明 改進后的方法與原方法所生成的線 性 約束系統相同。 本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。 相似字 英漢推薦 漢英推薦 正確性審計 正確性驗證 正確性爭議 正確選位 正確選擇詞義 正確學名 graduator comayras clolour correction circuit hesslegard convulsion of nature limber passage rack-and-lever jack association cooperative lionel keith murphy distributing fuse panel conditions as to the time of shipment 缺氣的 視頻兼容性 比力 正原光電流 測溫電橋 憧憬 盒式軟磁盤 運輸條件 諧振加速器 淬火延遲 相關程度 分享友人 分享到 Line 分享到臉書 (C) 2015-2021 Dict.site 線上英文字典
3. The results show that the measurement result is in concordance with the result of calculation by theory on powder - pulse - booster impulse
   研究結果表 明 ：單擺試驗測量火藥脈沖助推器沖量結果與理論計算結果基本一致， 證 明 了此實驗方法的 正 確 性 。 通過驗 證 每個用戶在模擬處理后均能夠恢復原始信息， 證 明 了方案的 正 確 性 和可行 性 。 第四章對相位干涉儀進行了較為詳細和系統的研究，給出一維相位干涉儀的基本關系式，分析了五通道相位干涉儀測向定位演算法及其 性 能指標，對解相位模糊問題進行了探討，在ccss中模擬了測向演算法，模擬結果 證 明 了演算法的 正 確 性 。 世界經濟發展史很好的 證 明 了瓦格納法則的 正 確 性 。 需要指出的是：基於strand空間理論的 正確性證明 是建立在已知攻擊集的基礎上的。 把模型炮實驗獲得的數據，按相似理論換算，並消除相似畸變帶來的試驗誤差后，與原型炮在國家靶場定型試驗的結果比較， 證 明 了創建的火炮全參數物理模擬理論的 正 確 性 ； 證 明 所採取的大比例縮尺模型的設計方法和製造手段的可靠 性 ； 證 明 用縮尺的模型炮代替副炮進行多項目綜合物理模擬試驗技術是成功的。 本文的第四節給出了演算法的 正確性證明 ，即演算法構造的路徑為最壞覆蓋路徑。 而對于族集最小覆蓋集的計算問題，本文則提出了若干個定理刻畫了其計算方法的原理並予以 正確性證明 ，並精心設計了相應的演算法。 在目前形式化方法和程序 正確性證明 技術還無望成為實用 性 方法的情況下，軟體測試在將來相當一段時間內仍然是軟體質量保 證 的有效手段。 同時，某類問題的求解過程中的形式化推導、 正確性證明 等都可以實現復用，從而為實現軟體開發全過程的復用研究提供一種有效的途徑。 從 證 明 的角度，對鑒定實施中科學理論的真理 性 和 正確性證明 、擬制事實中的因果關系，並針對包括科學本身誤差幾率與科學的概率在內的科學 確 率問題作了分析。 然後基於strand空間模型給出了其嚴謹周密的 正確性證明 。 mb協議的 正 確 性 主要體現在兩個方面：認 證 屬 性 ：當協議主體以某參數完成協議后，被認 證 主體也必須以該參數參與協議運行。秘密屬 性 ：保護協議消息不會泄漏給未被授權的主體。 在e3dr - tree中，結合移動對象數據特徵引入空白區域作為新的插入代價參數，同時，在插入演算法中利用最小代價優先搜索演算法 確 定全局最優插入路徑，並給出演算法 正確性證明 。 因此，對uml進行形式語義研究，對增進該語言的清晰 性 、等價 性 和一致 性 、可擴展 性 是十分有幫助的，為模型的 正確性證明 、轉換以及支持uml建模工具的一致 性 檢查提供了有力的理論工具。 我們對應用nhstm模型的，通過應用嚴格兩段鎖協議實施的並發調度中，可能存在的並發沖突，隱通道和饑餓問題進行分析，在此基礎上提出了一種利用緩沖和p點的並發調度演算法，並給出了該演算法的並發調度 正確性證明 ，解決多級安全條件下的隱通道和饑餓問題。 本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於 證 明 與靜態、動態數據依賴關系有關的程序 性 質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片， 證 明 路徑靜態切片構造演算法的 正 確 性 ， 證 明 改進后的方法與原方法所生成的線 性 約束系統相同。 本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。 相似字 英漢推薦 漢英推薦 正確性審計 正確性驗證 正確性爭議 正確選位 正確選擇詞義 正確學名 graduator comayras clolour correction circuit hesslegard convulsion of nature limber passage rack-and-lever jack association cooperative lionel keith murphy distributing fuse panel conditions as to the time of shipment 缺氣的 視頻兼容性 比力 正原光電流 測溫電橋 憧憬 盒式軟磁盤 運輸條件 諧振加速器 淬火延遲 相關程度 分享友人 分享到 Line 分享到臉書 (C) 2015-2021 Dict.site 線上英文字典
4. After s - cdma processing, the demodulated information and the original information of the same users are equally
   通過驗 證 每個用戶在模擬處理后均能夠恢復原始信息， 證 明 了方案的 正 確 性 和可行 性 。 第四章對相位干涉儀進行了較為詳細和系統的研究，給出一維相位干涉儀的基本關系式，分析了五通道相位干涉儀測向定位演算法及其 性 能指標，對解相位模糊問題進行了探討，在ccss中模擬了測向演算法，模擬結果 證 明 了演算法的 正 確 性 。 世界經濟發展史很好的 證 明 了瓦格納法則的 正 確 性 。 需要指出的是：基於strand空間理論的 正確性證明 是建立在已知攻擊集的基礎上的。 把模型炮實驗獲得的數據，按相似理論換算，並消除相似畸變帶來的試驗誤差后，與原型炮在國家靶場定型試驗的結果比較， 證 明 了創建的火炮全參數物理模擬理論的 正 確 性 ； 證 明 所採取的大比例縮尺模型的設計方法和製造手段的可靠 性 ； 證 明 用縮尺的模型炮代替副炮進行多項目綜合物理模擬試驗技術是成功的。 本文的第四節給出了演算法的 正確性證明 ，即演算法構造的路徑為最壞覆蓋路徑。 而對于族集最小覆蓋集的計算問題，本文則提出了若干個定理刻畫了其計算方法的原理並予以 正確性證明 ，並精心設計了相應的演算法。 在目前形式化方法和程序 正確性證明 技術還無望成為實用 性 方法的情況下，軟體測試在將來相當一段時間內仍然是軟體質量保 證 的有效手段。 同時，某類問題的求解過程中的形式化推導、 正確性證明 等都可以實現復用，從而為實現軟體開發全過程的復用研究提供一種有效的途徑。 從 證 明 的角度，對鑒定實施中科學理論的真理 性 和 正確性證明 、擬制事實中的因果關系，並針對包括科學本身誤差幾率與科學的概率在內的科學 確 率問題作了分析。 然後基於strand空間模型給出了其嚴謹周密的 正確性證明 。 mb協議的 正 確 性 主要體現在兩個方面：認 證 屬 性 ：當協議主體以某參數完成協議后，被認 證 主體也必須以該參數參與協議運行。秘密屬 性 ：保護協議消息不會泄漏給未被授權的主體。 在e3dr - tree中，結合移動對象數據特徵引入空白區域作為新的插入代價參數，同時，在插入演算法中利用最小代價優先搜索演算法 確 定全局最優插入路徑，並給出演算法 正確性證明 。 因此，對uml進行形式語義研究，對增進該語言的清晰 性 、等價 性 和一致 性 、可擴展 性 是十分有幫助的，為模型的 正確性證明 、轉換以及支持uml建模工具的一致 性 檢查提供了有力的理論工具。 我們對應用nhstm模型的，通過應用嚴格兩段鎖協議實施的並發調度中，可能存在的並發沖突，隱通道和饑餓問題進行分析，在此基礎上提出了一種利用緩沖和p點的並發調度演算法，並給出了該演算法的並發調度 正確性證明 ，解決多級安全條件下的隱通道和饑餓問題。 本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於 證 明 與靜態、動態數據依賴關系有關的程序 性 質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片， 證 明 路徑靜態切片構造演算法的 正 確 性 ， 證 明 改進后的方法與原方法所生成的線 性 約束系統相同。 本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。 相似字 英漢推薦 漢英推薦 正確性審計 正確性驗證 正確性爭議 正確選位 正確選擇詞義 正確學名 graduator comayras clolour correction circuit hesslegard convulsion of nature limber passage rack-and-lever jack association cooperative lionel keith murphy distributing fuse panel conditions as to the time of shipment 缺氣的 視頻兼容性 比力 正原光電流 測溫電橋 憧憬 盒式軟磁盤 運輸條件 諧振加速器 淬火延遲 相關程度 分享友人 分享到 Line 分享到臉書 (C) 2015-2021 Dict.site 線上英文字典
5. Analysis the cause of channel disaccord of gain and phase, give four methods of gain and phase calibration, computer simulation illustrate the that the methods are effective. in the chapter 4, the basic relation of phase interferometer of one dimension, two dimensions, and the measurement accuracy and the approach of solving the phase ambiguity in the phase interferometers have been discussed in detail
   第四章對相位干涉儀進行了較為詳細和系統的研究，給出一維相位干涉儀的基本關系式，分析了五通道相位干涉儀測向定位演算法及其 性 能指標，對解相位模糊問題進行了探討，在ccss中模擬了測向演算法，模擬結果 證 明 了演算法的 正 確 性 。 世界經濟發展史很好的 證 明 了瓦格納法則的 正 確 性 。 需要指出的是：基於strand空間理論的 正確性證明 是建立在已知攻擊集的基礎上的。 把模型炮實驗獲得的數據，按相似理論換算，並消除相似畸變帶來的試驗誤差后，與原型炮在國家靶場定型試驗的結果比較， 證 明 了創建的火炮全參數物理模擬理論的 正 確 性 ； 證 明 所採取的大比例縮尺模型的設計方法和製造手段的可靠 性 ； 證 明 用縮尺的模型炮代替副炮進行多項目綜合物理模擬試驗技術是成功的。 本文的第四節給出了演算法的 正確性證明 ，即演算法構造的路徑為最壞覆蓋路徑。 而對于族集最小覆蓋集的計算問題，本文則提出了若干個定理刻畫了其計算方法的原理並予以 正確性證明 ，並精心設計了相應的演算法。 在目前形式化方法和程序 正確性證明 技術還無望成為實用 性 方法的情況下，軟體測試在將來相當一段時間內仍然是軟體質量保 證 的有效手段。 同時，某類問題的求解過程中的形式化推導、 正確性證明 等都可以實現復用，從而為實現軟體開發全過程的復用研究提供一種有效的途徑。 從 證 明 的角度，對鑒定實施中科學理論的真理 性 和 正確性證明 、擬制事實中的因果關系，並針對包括科學本身誤差幾率與科學的概率在內的科學 確 率問題作了分析。 然後基於strand空間模型給出了其嚴謹周密的 正確性證明 。 mb協議的 正 確 性 主要體現在兩個方面：認 證 屬 性 ：當協議主體以某參數完成協議后，被認 證 主體也必須以該參數參與協議運行。秘密屬 性 ：保護協議消息不會泄漏給未被授權的主體。 在e3dr - tree中，結合移動對象數據特徵引入空白區域作為新的插入代價參數，同時，在插入演算法中利用最小代價優先搜索演算法 確 定全局最優插入路徑，並給出演算法 正確性證明 。 因此，對uml進行形式語義研究，對增進該語言的清晰 性 、等價 性 和一致 性 、可擴展 性 是十分有幫助的，為模型的 正確性證明 、轉換以及支持uml建模工具的一致 性 檢查提供了有力的理論工具。 我們對應用nhstm模型的，通過應用嚴格兩段鎖協議實施的並發調度中，可能存在的並發沖突，隱通道和饑餓問題進行分析，在此基礎上提出了一種利用緩沖和p點的並發調度演算法，並給出了該演算法的並發調度 正確性證明 ，解決多級安全條件下的隱通道和饑餓問題。 本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於 證 明 與靜態、動態數據依賴關系有關的程序 性 質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片， 證 明 路徑靜態切片構造演算法的 正 確 性 ， 證 明 改進后的方法與原方法所生成的線 性 約束系統相同。 本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。 相似字 英漢推薦 漢英推薦 正確性審計 正確性驗證 正確性爭議 正確選位 正確選擇詞義 正確學名 graduator comayras clolour correction circuit hesslegard convulsion of nature limber passage rack-and-lever jack association cooperative lionel keith murphy distributing fuse panel conditions as to the time of shipment 缺氣的 視頻兼容性 比力 正原光電流 測溫電橋 憧憬 盒式軟磁盤 運輸條件 諧振加速器 淬火延遲 相關程度 分享友人 分享到 Line 分享到臉書 (C) 2015-2021 Dict.site 線上英文字典
6. The international economic development history has well confirmed the exactness of wagner ' s rule
   世界經濟發展史很好的 證 明 了瓦格納法則的 正 確 性 。 需要指出的是：基於strand空間理論的 正確性證明 是建立在已知攻擊集的基礎上的。 把模型炮實驗獲得的數據，按相似理論換算，並消除相似畸變帶來的試驗誤差后，與原型炮在國家靶場定型試驗的結果比較， 證 明 了創建的火炮全參數物理模擬理論的 正 確 性 ； 證 明 所採取的大比例縮尺模型的設計方法和製造手段的可靠 性 ； 證 明 用縮尺的模型炮代替副炮進行多項目綜合物理模擬試驗技術是成功的。 本文的第四節給出了演算法的 正確性證明 ，即演算法構造的路徑為最壞覆蓋路徑。 而對于族集最小覆蓋集的計算問題，本文則提出了若干個定理刻畫了其計算方法的原理並予以 正確性證明 ，並精心設計了相應的演算法。 在目前形式化方法和程序 正確性證明 技術還無望成為實用 性 方法的情況下，軟體測試在將來相當一段時間內仍然是軟體質量保 證 的有效手段。 同時，某類問題的求解過程中的形式化推導、 正確性證明 等都可以實現復用，從而為實現軟體開發全過程的復用研究提供一種有效的途徑。 從 證 明 的角度，對鑒定實施中科學理論的真理 性 和 正確性證明 、擬制事實中的因果關系，並針對包括科學本身誤差幾率與科學的概率在內的科學 確 率問題作了分析。 然後基於strand空間模型給出了其嚴謹周密的 正確性證明 。 mb協議的 正 確 性 主要體現在兩個方面：認 證 屬 性 ：當協議主體以某參數完成協議后，被認 證 主體也必須以該參數參與協議運行。秘密屬 性 ：保護協議消息不會泄漏給未被授權的主體。 在e3dr - tree中，結合移動對象數據特徵引入空白區域作為新的插入代價參數，同時，在插入演算法中利用最小代價優先搜索演算法 確 定全局最優插入路徑，並給出演算法 正確性證明 。 因此，對uml進行形式語義研究，對增進該語言的清晰 性 、等價 性 和一致 性 、可擴展 性 是十分有幫助的，為模型的 正確性證明 、轉換以及支持uml建模工具的一致 性 檢查提供了有力的理論工具。 我們對應用nhstm模型的，通過應用嚴格兩段鎖協議實施的並發調度中，可能存在的並發沖突，隱通道和饑餓問題進行分析，在此基礎上提出了一種利用緩沖和p點的並發調度演算法，並給出了該演算法的並發調度 正確性證明 ，解決多級安全條件下的隱通道和饑餓問題。 本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於 證 明 與靜態、動態數據依賴關系有關的程序 性 質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片， 證 明 路徑靜態切片構造演算法的 正 確 性 ， 證 明 改進后的方法與原方法所生成的線 性 約束系統相同。 本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。 相似字 英漢推薦 漢英推薦 正確性審計 正確性驗證 正確性爭議 正確選位 正確選擇詞義 正確學名 graduator comayras clolour correction circuit hesslegard convulsion of nature limber passage rack-and-lever jack association cooperative lionel keith murphy distributing fuse panel conditions as to the time of shipment 缺氣的 視頻兼容性 比力 正原光電流 測溫電橋 憧憬 盒式軟磁盤 運輸條件 諧振加速器 淬火延遲 相關程度 分享友人 分享到 Line 分享到臉書 (C) 2015-2021 Dict.site 線上英文字典
7. One thing should be pointed out is that the correctness proof based on strand space is valid only on the attack set already known
   需要指出的是：基於strand空間理論的 正確性證明 是建立在已知攻擊集的基礎上的。 把模型炮實驗獲得的數據，按相似理論換算，並消除相似畸變帶來的試驗誤差后，與原型炮在國家靶場定型試驗的結果比較， 證 明 了創建的火炮全參數物理模擬理論的 正 確 性 ； 證 明 所採取的大比例縮尺模型的設計方法和製造手段的可靠 性 ； 證 明 用縮尺的模型炮代替副炮進行多項目綜合物理模擬試驗技術是成功的。 本文的第四節給出了演算法的 正確性證明 ，即演算法構造的路徑為最壞覆蓋路徑。 而對于族集最小覆蓋集的計算問題，本文則提出了若干個定理刻畫了其計算方法的原理並予以 正確性證明 ，並精心設計了相應的演算法。 在目前形式化方法和程序 正確性證明 技術還無望成為實用 性 方法的情況下，軟體測試在將來相當一段時間內仍然是軟體質量保 證 的有效手段。 同時，某類問題的求解過程中的形式化推導、 正確性證明 等都可以實現復用，從而為實現軟體開發全過程的復用研究提供一種有效的途徑。 從 證 明 的角度，對鑒定實施中科學理論的真理 性 和 正確性證明 、擬制事實中的因果關系，並針對包括科學本身誤差幾率與科學的概率在內的科學 確 率問題作了分析。 然後基於strand空間模型給出了其嚴謹周密的 正確性證明 。 mb協議的 正 確 性 主要體現在兩個方面：認 證 屬 性 ：當協議主體以某參數完成協議后，被認 證 主體也必須以該參數參與協議運行。秘密屬 性 ：保護協議消息不會泄漏給未被授權的主體。 在e3dr - tree中，結合移動對象數據特徵引入空白區域作為新的插入代價參數，同時，在插入演算法中利用最小代價優先搜索演算法 確 定全局最優插入路徑，並給出演算法 正確性證明 。 因此，對uml進行形式語義研究，對增進該語言的清晰 性 、等價 性 和一致 性 、可擴展 性 是十分有幫助的，為模型的 正確性證明 、轉換以及支持uml建模工具的一致 性 檢查提供了有力的理論工具。 我們對應用nhstm模型的，通過應用嚴格兩段鎖協議實施的並發調度中，可能存在的並發沖突，隱通道和饑餓問題進行分析，在此基礎上提出了一種利用緩沖和p點的並發調度演算法，並給出了該演算法的並發調度 正確性證明 ，解決多級安全條件下的隱通道和饑餓問題。 本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於 證 明 與靜態、動態數據依賴關系有關的程序 性 質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片， 證 明 路徑靜態切片構造演算法的 正 確 性 ， 證 明 改進后的方法與原方法所生成的線 性 約束系統相同。 本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。 相似字 英漢推薦 漢英推薦 正確性審計 正確性驗證 正確性爭議 正確選位 正確選擇詞義 正確學名 graduator comayras clolour correction circuit hesslegard convulsion of nature limber passage rack-and-lever jack association cooperative lionel keith murphy distributing fuse panel conditions as to the time of shipment 缺氣的 視頻兼容性 比力 正原光電流 測溫電橋 憧憬 盒式軟磁盤 運輸條件 諧振加速器 淬火延遲 相關程度 分享友人 分享到 Line 分享到臉書 (C) 2015-2021 Dict.site 線上英文字典
8. The data got from the shooting tests, conversed by the theory of similitude and eliminated the system errors, were compared with the data from the approval test in the national shooting field. it verified that the full parameters artillery physical simulation theory was right. it verified that the huge rate model design and madding methods were reliable
   把模型炮實驗獲得的數據，按相似理論換算，並消除相似畸變帶來的試驗誤差后，與原型炮在國家靶場定型試驗的結果比較， 證 明 了創建的火炮全參數物理模擬理論的 正 確 性 ； 證 明 所採取的大比例縮尺模型的設計方法和製造手段的可靠 性 ； 證 明 用縮尺的模型炮代替副炮進行多項目綜合物理模擬試驗技術是成功的。 本文的第四節給出了演算法的 正確性證明 ，即演算法構造的路徑為最壞覆蓋路徑。 而對于族集最小覆蓋集的計算問題，本文則提出了若干個定理刻畫了其計算方法的原理並予以 正確性證明 ，並精心設計了相應的演算法。 在目前形式化方法和程序 正確性證明 技術還無望成為實用 性 方法的情況下，軟體測試在將來相當一段時間內仍然是軟體質量保 證 的有效手段。 同時，某類問題的求解過程中的形式化推導、 正確性證明 等都可以實現復用，從而為實現軟體開發全過程的復用研究提供一種有效的途徑。 從 證 明 的角度，對鑒定實施中科學理論的真理 性 和 正確性證明 、擬制事實中的因果關系，並針對包括科學本身誤差幾率與科學的概率在內的科學 確 率問題作了分析。 然後基於strand空間模型給出了其嚴謹周密的 正確性證明 。 mb協議的 正 確 性 主要體現在兩個方面：認 證 屬 性 ：當協議主體以某參數完成協議后，被認 證 主體也必須以該參數參與協議運行。秘密屬 性 ：保護協議消息不會泄漏給未被授權的主體。 在e3dr - tree中，結合移動對象數據特徵引入空白區域作為新的插入代價參數，同時，在插入演算法中利用最小代價優先搜索演算法 確 定全局最優插入路徑，並給出演算法 正確性證明 。 因此，對uml進行形式語義研究，對增進該語言的清晰 性 、等價 性 和一致 性 、可擴展 性 是十分有幫助的，為模型的 正確性證明 、轉換以及支持uml建模工具的一致 性 檢查提供了有力的理論工具。 我們對應用nhstm模型的，通過應用嚴格兩段鎖協議實施的並發調度中，可能存在的並發沖突，隱通道和饑餓問題進行分析，在此基礎上提出了一種利用緩沖和p點的並發調度演算法，並給出了該演算法的並發調度 正確性證明 ，解決多級安全條件下的隱通道和饑餓問題。 本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於 證 明 與靜態、動態數據依賴關系有關的程序 性 質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片， 證 明 路徑靜態切片構造演算法的 正 確 性 ， 證 明 改進后的方法與原方法所生成的線 性 約束系統相同。 本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。 相似字 英漢推薦 漢英推薦 正確性審計 正確性驗證 正確性爭議 正確選位 正確選擇詞義 正確學名 graduator comayras clolour correction circuit hesslegard convulsion of nature limber passage rack-and-lever jack association cooperative lionel keith murphy distributing fuse panel conditions as to the time of shipment 缺氣的 視頻兼容性 比力 正原光電流 測溫電橋 憧憬 盒式軟磁盤 運輸條件 諧振加速器 淬火延遲 相關程度 分享友人 分享到 Line 分享到臉書 (C) 2015-2021 Dict.site 線上英文字典
9. 10 xu h l, huang l s, wan y y et al. localized algorithm for coverage in wireless sensor networks
   本文的第四節給出了演算法的 正確性證明 ，即演算法構造的路徑為最壞覆蓋路徑。 而對于族集最小覆蓋集的計算問題，本文則提出了若干個定理刻畫了其計算方法的原理並予以 正確性證明 ，並精心設計了相應的演算法。 在目前形式化方法和程序 正確性證明 技術還無望成為實用 性 方法的情況下，軟體測試在將來相當一段時間內仍然是軟體質量保 證 的有效手段。 同時，某類問題的求解過程中的形式化推導、 正確性證明 等都可以實現復用，從而為實現軟體開發全過程的復用研究提供一種有效的途徑。 從 證 明 的角度，對鑒定實施中科學理論的真理 性 和 正確性證明 、擬制事實中的因果關系，並針對包括科學本身誤差幾率與科學的概率在內的科學 確 率問題作了分析。 然後基於strand空間模型給出了其嚴謹周密的 正確性證明 。 mb協議的 正 確 性 主要體現在兩個方面：認 證 屬 性 ：當協議主體以某參數完成協議后，被認 證 主體也必須以該參數參與協議運行。秘密屬 性 ：保護協議消息不會泄漏給未被授權的主體。 在e3dr - tree中，結合移動對象數據特徵引入空白區域作為新的插入代價參數，同時，在插入演算法中利用最小代價優先搜索演算法 確 定全局最優插入路徑，並給出演算法 正確性證明 。 因此，對uml進行形式語義研究，對增進該語言的清晰 性 、等價 性 和一致 性 、可擴展 性 是十分有幫助的，為模型的 正確性證明 、轉換以及支持uml建模工具的一致 性 檢查提供了有力的理論工具。 我們對應用nhstm模型的，通過應用嚴格兩段鎖協議實施的並發調度中，可能存在的並發沖突，隱通道和饑餓問題進行分析，在此基礎上提出了一種利用緩沖和p點的並發調度演算法，並給出了該演算法的並發調度 正確性證明 ，解決多級安全條件下的隱通道和饑餓問題。 本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於 證 明 與靜態、動態數據依賴關系有關的程序 性 質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片， 證 明 路徑靜態切片構造演算法的 正 確 性 ， 證 明 改進后的方法與原方法所生成的線 性 約束系統相同。 本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。 相似字 英漢推薦 漢英推薦 正確性審計 正確性驗證 正確性爭議 正確選位 正確選擇詞義 正確學名 graduator comayras clolour correction circuit hesslegard convulsion of nature limber passage rack-and-lever jack association cooperative lionel keith murphy distributing fuse panel conditions as to the time of shipment 缺氣的 視頻兼容性 比力 正原光電流 測溫電橋 憧憬 盒式軟磁盤 運輸條件 諧振加速器 淬火延遲 相關程度 分享友人 分享到 Line 分享到臉書 (C) 2015-2021 Dict.site 線上英文字典
10. For the computation of the minimal covers of a family of sets, we propose several theorems to describe the principle, and develop corresponding algorithm elaborately
    而對于族集最小覆蓋集的計算問題，本文則提出了若干個定理刻畫了其計算方法的原理並予以 正確性證明 ，並精心設計了相應的演算法。 在目前形式化方法和程序 正確性證明 技術還無望成為實用 性 方法的情況下，軟體測試在將來相當一段時間內仍然是軟體質量保 證 的有效手段。 同時，某類問題的求解過程中的形式化推導、 正確性證明 等都可以實現復用，從而為實現軟體開發全過程的復用研究提供一種有效的途徑。 從 證 明 的角度，對鑒定實施中科學理論的真理 性 和 正確性證明 、擬制事實中的因果關系，並針對包括科學本身誤差幾率與科學的概率在內的科學 確 率問題作了分析。 然後基於strand空間模型給出了其嚴謹周密的 正確性證明 。 mb協議的 正 確 性 主要體現在兩個方面：認 證 屬 性 ：當協議主體以某參數完成協議后，被認 證 主體也必須以該參數參與協議運行。秘密屬 性 ：保護協議消息不會泄漏給未被授權的主體。 在e3dr - tree中，結合移動對象數據特徵引入空白區域作為新的插入代價參數，同時，在插入演算法中利用最小代價優先搜索演算法 確 定全局最優插入路徑，並給出演算法 正確性證明 。 因此，對uml進行形式語義研究，對增進該語言的清晰 性 、等價 性 和一致 性 、可擴展 性 是十分有幫助的，為模型的 正確性證明 、轉換以及支持uml建模工具的一致 性 檢查提供了有力的理論工具。 我們對應用nhstm模型的，通過應用嚴格兩段鎖協議實施的並發調度中，可能存在的並發沖突，隱通道和饑餓問題進行分析，在此基礎上提出了一種利用緩沖和p點的並發調度演算法，並給出了該演算法的並發調度 正確性證明 ，解決多級安全條件下的隱通道和饑餓問題。 本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於 證 明 與靜態、動態數據依賴關系有關的程序 性 質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片， 證 明 路徑靜態切片構造演算法的 正 確 性 ， 證 明 改進后的方法與原方法所生成的線 性 約束系統相同。 本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。 相似字 英漢推薦 漢英推薦 正確性審計 正確性驗證 正確性爭議 正確選位 正確選擇詞義 正確學名 graduator comayras clolour correction circuit hesslegard convulsion of nature limber passage rack-and-lever jack association cooperative lionel keith murphy distributing fuse panel conditions as to the time of shipment 缺氣的 視頻兼容性 比力 正原光電流 測溫電橋 憧憬 盒式軟磁盤 運輸條件 諧振加速器 淬火延遲 相關程度 分享友人 分享到 Line 分享到臉書 (C) 2015-2021 Dict.site 線上英文字典
11. As the formalized method and program validity testifying technology are still waiting to be practically applied. software testing still is the effective method to insure the quality of software
    在目前形式化方法和程序 正確性證明 技術還無望成為實用 性 方法的情況下，軟體測試在將來相當一段時間內仍然是軟體質量保 證 的有效手段。 同時，某類問題的求解過程中的形式化推導、 正確性證明 等都可以實現復用，從而為實現軟體開發全過程的復用研究提供一種有效的途徑。 從 證 明 的角度，對鑒定實施中科學理論的真理 性 和 正確性證明 、擬制事實中的因果關系，並針對包括科學本身誤差幾率與科學的概率在內的科學 確 率問題作了分析。 然後基於strand空間模型給出了其嚴謹周密的 正確性證明 。 mb協議的 正 確 性 主要體現在兩個方面：認 證 屬 性 ：當協議主體以某參數完成協議后，被認 證 主體也必須以該參數參與協議運行。秘密屬 性 ：保護協議消息不會泄漏給未被授權的主體。 在e3dr - tree中，結合移動對象數據特徵引入空白區域作為新的插入代價參數，同時，在插入演算法中利用最小代價優先搜索演算法 確 定全局最優插入路徑，並給出演算法 正確性證明 。 因此，對uml進行形式語義研究，對增進該語言的清晰 性 、等價 性 和一致 性 、可擴展 性 是十分有幫助的，為模型的 正確性證明 、轉換以及支持uml建模工具的一致 性 檢查提供了有力的理論工具。 我們對應用nhstm模型的，通過應用嚴格兩段鎖協議實施的並發調度中，可能存在的並發沖突，隱通道和饑餓問題進行分析，在此基礎上提出了一種利用緩沖和p點的並發調度演算法，並給出了該演算法的並發調度 正確性證明 ，解決多級安全條件下的隱通道和饑餓問題。 本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於 證 明 與靜態、動態數據依賴關系有關的程序 性 質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片， 證 明 路徑靜態切片構造演算法的 正 確 性 ， 證 明 改進后的方法與原方法所生成的線 性 約束系統相同。 本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。 相似字 英漢推薦 漢英推薦 正確性審計 正確性驗證 正確性爭議 正確選位 正確選擇詞義 正確學名 graduator comayras clolour correction circuit hesslegard convulsion of nature limber passage rack-and-lever jack association cooperative lionel keith murphy distributing fuse panel conditions as to the time of shipment 缺氣的 視頻兼容性 比力 正原光電流 測溫電橋 憧憬 盒式軟磁盤 運輸條件 諧振加速器 淬火延遲 相關程度 分享友人 分享到 Line 分享到臉書 (C) 2015-2021 Dict.site 線上英文字典
12. Simultaneity, in a certain kind of question ' s development, the technique can be carried out reuse in the formal deduce, correctness prove and so on. so it will give an effective way to research on reuse in the software development full process
    同時，某類問題的求解過程中的形式化推導、 正確性證明 等都可以實現復用，從而為實現軟體開發全過程的復用研究提供一種有效的途徑。 從 證 明 的角度，對鑒定實施中科學理論的真理 性 和 正確性證明 、擬制事實中的因果關系，並針對包括科學本身誤差幾率與科學的概率在內的科學 確 率問題作了分析。 然後基於strand空間模型給出了其嚴謹周密的 正確性證明 。 mb協議的 正 確 性 主要體現在兩個方面：認 證 屬 性 ：當協議主體以某參數完成協議后，被認 證 主體也必須以該參數參與協議運行。秘密屬 性 ：保護協議消息不會泄漏給未被授權的主體。 在e3dr - tree中，結合移動對象數據特徵引入空白區域作為新的插入代價參數，同時，在插入演算法中利用最小代價優先搜索演算法 確 定全局最優插入路徑，並給出演算法 正確性證明 。 因此，對uml進行形式語義研究，對增進該語言的清晰 性 、等價 性 和一致 性 、可擴展 性 是十分有幫助的，為模型的 正確性證明 、轉換以及支持uml建模工具的一致 性 檢查提供了有力的理論工具。 我們對應用nhstm模型的，通過應用嚴格兩段鎖協議實施的並發調度中，可能存在的並發沖突，隱通道和饑餓問題進行分析，在此基礎上提出了一種利用緩沖和p點的並發調度演算法，並給出了該演算法的並發調度 正確性證明 ，解決多級安全條件下的隱通道和饑餓問題。 本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於 證 明 與靜態、動態數據依賴關系有關的程序 性 質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片， 證 明 路徑靜態切片構造演算法的 正 確 性 ， 證 明 改進后的方法與原方法所生成的線 性 約束系統相同。 本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。 相似字 英漢推薦 漢英推薦 正確性審計 正確性驗證 正確性爭議 正確選位 正確選擇詞義 正確學名 graduator comayras clolour correction circuit hesslegard convulsion of nature limber passage rack-and-lever jack association cooperative lionel keith murphy distributing fuse panel conditions as to the time of shipment 缺氣的 視頻兼容性 比力 正原光電流 測溫電橋 憧憬 盒式軟磁盤 運輸條件 諧振加速器 淬火延遲 相關程度 分享友人 分享到 Line 分享到臉書 (C) 2015-2021 Dict.site 線上英文字典
13. From angle of prove, truth and exactness of scientific theory prove, identification to causality in fiction fact, and science own error probability and scientific probability direct against the issue of scientific precise, are analyzed
    從 證 明 的角度，對鑒定實施中科學理論的真理 性 和 正確性證明 、擬制事實中的因果關系，並針對包括科學本身誤差幾率與科學的概率在內的科學 確 率問題作了分析。 然後基於strand空間模型給出了其嚴謹周密的 正確性證明 。 mb協議的 正 確 性 主要體現在兩個方面：認 證 屬 性 ：當協議主體以某參數完成協議后，被認 證 主體也必須以該參數參與協議運行。秘密屬 性 ：保護協議消息不會泄漏給未被授權的主體。 在e3dr - tree中，結合移動對象數據特徵引入空白區域作為新的插入代價參數，同時，在插入演算法中利用最小代價優先搜索演算法 確 定全局最優插入路徑，並給出演算法 正確性證明 。 因此，對uml進行形式語義研究，對增進該語言的清晰 性 、等價 性 和一致 性 、可擴展 性 是十分有幫助的，為模型的 正確性證明 、轉換以及支持uml建模工具的一致 性 檢查提供了有力的理論工具。 我們對應用nhstm模型的，通過應用嚴格兩段鎖協議實施的並發調度中，可能存在的並發沖突，隱通道和饑餓問題進行分析，在此基礎上提出了一種利用緩沖和p點的並發調度演算法，並給出了該演算法的並發調度 正確性證明 ，解決多級安全條件下的隱通道和饑餓問題。 本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於 證 明 與靜態、動態數據依賴關系有關的程序 性 質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片， 證 明 路徑靜態切片構造演算法的 正 確 性 ， 證 明 改進后的方法與原方法所生成的線 性 約束系統相同。 本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。 相似字 英漢推薦 漢英推薦 正確性審計 正確性驗證 正確性爭議 正確選位 正確選擇詞義 正確學名 graduator comayras clolour correction circuit hesslegard convulsion of nature limber passage rack-and-lever jack association cooperative lionel keith murphy distributing fuse panel conditions as to the time of shipment 缺氣的 視頻兼容性 比力 正原光電流 測溫電橋 憧憬 盒式軟磁盤 運輸條件 諧振加速器 淬火延遲 相關程度 分享友人 分享到 Line 分享到臉書 (C) 2015-2021 Dict.site 線上英文字典
14. Correspondence means that each time a principal b completes a run of the protocol as responder using x, which to b appears to be a run with a, then there is a unique run of the protocol with the principal a as initiator using x, which to a appears to be a run with b. secrecy means that messages protected by the protocol can be known by any penetrator
    然後基於strand空間模型給出了其嚴謹周密的 正確性證明 。 mb協議的 正 確 性 主要體現在兩個方面：認 證 屬 性 ：當協議主體以某參數完成協議后，被認 證 主體也必須以該參數參與協議運行。秘密屬 性 ：保護協議消息不會泄漏給未被授權的主體。 在e3dr - tree中，結合移動對象數據特徵引入空白區域作為新的插入代價參數，同時，在插入演算法中利用最小代價優先搜索演算法 確 定全局最優插入路徑，並給出演算法 正確性證明 。 因此，對uml進行形式語義研究，對增進該語言的清晰 性 、等價 性 和一致 性 、可擴展 性 是十分有幫助的，為模型的 正確性證明 、轉換以及支持uml建模工具的一致 性 檢查提供了有力的理論工具。 我們對應用nhstm模型的，通過應用嚴格兩段鎖協議實施的並發調度中，可能存在的並發沖突，隱通道和饑餓問題進行分析，在此基礎上提出了一種利用緩沖和p點的並發調度演算法，並給出了該演算法的並發調度 正確性證明 ，解決多級安全條件下的隱通道和饑餓問題。 本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於 證 明 與靜態、動態數據依賴關系有關的程序 性 質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片， 證 明 路徑靜態切片構造演算法的 正 確 性 ， 證 明 改進后的方法與原方法所生成的線 性 約束系統相同。 本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。 相似字 英漢推薦 漢英推薦 正確性審計 正確性驗證 正確性爭議 正確選位 正確選擇詞義 正確學名 graduator comayras clolour correction circuit hesslegard convulsion of nature limber passage rack-and-lever jack association cooperative lionel keith murphy distributing fuse panel conditions as to the time of shipment 缺氣的 視頻兼容性 比力 正原光電流 測溫電橋 憧憬 盒式軟磁盤 運輸條件 諧振加速器 淬火延遲 相關程度 分享友人 分享到 Line 分享到臉書 (C) 2015-2021 Dict.site 線上英文字典
15. E3d r - tree takes into account the features of moving object data and takes advantage of new cost parameters. in particular, least - cost - first search algorithm is used in the insertion algorithm to find the overall best way to insert a new record in e3d r - tree. the proof of the vidility of the algorithm is given
    在e3dr - tree中，結合移動對象數據特徵引入空白區域作為新的插入代價參數，同時，在插入演算法中利用最小代價優先搜索演算法 確 定全局最優插入路徑，並給出演算法 正確性證明 。 因此，對uml進行形式語義研究，對增進該語言的清晰 性 、等價 性 和一致 性 、可擴展 性 是十分有幫助的，為模型的 正確性證明 、轉換以及支持uml建模工具的一致 性 檢查提供了有力的理論工具。 我們對應用nhstm模型的，通過應用嚴格兩段鎖協議實施的並發調度中，可能存在的並發沖突，隱通道和饑餓問題進行分析，在此基礎上提出了一種利用緩沖和p點的並發調度演算法，並給出了該演算法的並發調度 正確性證明 ，解決多級安全條件下的隱通道和饑餓問題。 本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於 證 明 與靜態、動態數據依賴關系有關的程序 性 質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片， 證 明 路徑靜態切片構造演算法的 正 確 性 ， 證 明 改進后的方法與原方法所生成的線 性 約束系統相同。 本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。 相似字 英漢推薦 漢英推薦 正確性審計 正確性驗證 正確性爭議 正確選位 正確選擇詞義 正確學名 graduator comayras clolour correction circuit hesslegard convulsion of nature limber passage rack-and-lever jack association cooperative lionel keith murphy distributing fuse panel conditions as to the time of shipment 缺氣的 視頻兼容性 比力 正原光電流 測溫電橋 憧憬 盒式軟磁盤 運輸條件 諧振加速器 淬火延遲 相關程度 分享友人 分享到 Line 分享到臉書 (C) 2015-2021 Dict.site 線上英文字典
16. Therefore, the formal semantic study of uml is helpful for the improvement of the clarification, equivalence, consistency, and extendibility of the language, thus offers a powerful theoretical tool for the validity proof, transition of the model and the consistency check of the modeling tools supporting uml
    因此，對uml進行形式語義研究，對增進該語言的清晰 性 、等價 性 和一致 性 、可擴展 性 是十分有幫助的，為模型的 正確性證明 、轉換以及支持uml建模工具的一致 性 檢查提供了有力的理論工具。 我們對應用nhstm模型的，通過應用嚴格兩段鎖協議實施的並發調度中，可能存在的並發沖突，隱通道和饑餓問題進行分析，在此基礎上提出了一種利用緩沖和p點的並發調度演算法，並給出了該演算法的並發調度 正確性證明 ，解決多級安全條件下的隱通道和饑餓問題。 本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於 證 明 與靜態、動態數據依賴關系有關的程序 性 質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片， 證 明 路徑靜態切片構造演算法的 正 確 性 ， 證 明 改進后的方法與原方法所生成的線 性 約束系統相同。 本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。 相似字 英漢推薦 漢英推薦 正確性審計 正確性驗證 正確性爭議 正確選位 正確選擇詞義 正確學名 graduator comayras clolour correction circuit hesslegard convulsion of nature limber passage rack-and-lever jack association cooperative lionel keith murphy distributing fuse panel conditions as to the time of shipment 缺氣的 視頻兼容性 比力 正原光電流 測溫電橋 憧憬 盒式軟磁盤 運輸條件 諧振加速器 淬火延遲 相關程度 分享友人 分享到 Line 分享到臉書
17. We analysis the conflict, convert channel and starvation problems of concurrent schedule based on strict - 2pl locking protocal which applies nhstm model, then present a concurrent scheduling algorithm making use of buffer and point p. also, we proved the concurrent schedule algorithm is serializable. at the same time, we introduce the key technical used in nhsdb concurrency control mechanism, and give the implementation details
    我們對應用nhstm模型的，通過應用嚴格兩段鎖協議實施的並發調度中，可能存在的並發沖突，隱通道和饑餓問題進行分析，在此基礎上提出了一種利用緩沖和p點的並發調度演算法，並給出了該演算法的並發調度 正確性證明 ，解決多級安全條件下的隱通道和饑餓問題。 本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於 證 明 與靜態、動態數據依賴關系有關的程序 性 質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片， 證 明 路徑靜態切片構造演算法的 正 確 性 ， 證 明 改進后的方法與原方法所生成的線 性 約束系統相同。 本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。 相似字 英漢推薦 漢英推薦 正確性審計 正確性驗證 正確性爭議 正確選位 正確選擇詞義 正確學名 graduator comayras clolour correction circuit hesslegard convulsion of nature limber passage rack-and-lever jack association cooperative lionel keith murphy distributing fuse panel conditions as to the time of shipment 缺氣的 視頻兼容性 比力 正原光電流 測溫電橋 憧憬 盒式軟磁盤 運輸條件 諧振加速器 淬火延遲 相關程度
18. This thesis gives a model language and a moderately complete formal description which can be used to prove the properties of static and dynamic data dependencies, and defines the notions in the iterative relaxation method formally. the program theories about the iterative relaxation method and its improvement are investigated, whose results include : the generalization of the predicate slices proposed by neelam gupta et al to path - wise static slices, and the proofs of the soundness of the construction algorithm of path - wise static slices and the soundness of the improvement
    本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於 證 明 與靜態、動態數據依賴關系有關的程序 性 質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片， 證 明 路徑靜態切片構造演算法的 正 確 性 ， 證 明 改進后的方法與原方法所生成的線 性 約束系統相同。 本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。
19. Through seismic disposal, interpreting, instruct drilling work to two - dimension seismic area of the well shu - 121, three - dimension seismic area of the well shu ~ 103 area in the yushulin oilfield, the paper has proved research outcome, also proved it effective to development oilfield that high discernibility disposal increases interpreted precision of old seismic file
    本論文通過對榆樹林油田樹121二維地震工區、樹103三維地震工區進行地震處理、解釋，指導鉆井開發，驗 證 了論文研究結果的 正 確 性 ， 證 明 了高解析度處理提高老地震資料的解釋精度對開發油田是有效的。 本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。
20. The book demonstrates how linearization may be used to give a diverse check on the correctness of the as - programmed model and explains how formal techniques of model validation may be used to produce a quantitative check on the simulation model ' s overall validity
    本書論 證 了如何應用線 性 化檢驗已編程模型的 正 確 性 ，說 明 了如何應用常規模型驗 證 技術全面有效的檢驗模擬模型。

正確性證明 的相似字

瀏覽更多漢英字典詞條

前往 漢英字典目錄 瀏覽全部詞條。