正確性證明 的英文怎麼說

中文拼音 [zhēngquèxìngzhèngmíng]
正確性證明 英文
correctne proof
  • 正 : 正名詞（正月） the first month of the lunar year; the first moon
  • 確 : 形容詞1. （符合事實; 真實） true; reliable; authentic 2. （堅固; 堅定） firm
  • 性 : Ⅰ名詞1 （性格） nature; character; disposition 2 （性能; 性質） property; quality 3 （性別） sex ...
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 正確性 : accuracy
  • 正確 : exactness; correct; right; proper; rightness; rectitude; validity
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  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問題的滿足性的判定上，同時證明了演算法的正確性。
  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

    論文對目前求核方法存在的問題進行了分析，提出了一種新的可區分矩陣與求核方法，並證明了方法的正確性，該方法適用於任何決策表（相容的或不相容的） 。
  3. The results show that the measurement result is in concordance with the result of calculation by theory on powder - pulse - booster impulse

    研究結果表明：單擺試驗測量火藥脈沖助推器沖量結果與理論計算結果基本一致，證明了此實驗方法的正確性。
  4. After s - cdma processing, the demodulated information and the original information of the same users are equally

    通過驗證每個用戶在模擬處理后均能夠恢復原始信息，證明了方案的正確性和可行性。
  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中模擬了測向演算法，模擬結果證明了演算法的正確性。
  6. The international economic development history has well confirmed the exactness of wagner ' s rule

    世界經濟發展史很好的證明了瓦格納法則的正確性。
  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空間理論的正確性證明是建立在已知攻擊集的基礎上的。
  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

    把模型炮實驗獲得的數據，按相似理論換算，並消除相似畸變帶來的試驗誤差后，與原型炮在國家靶場定型試驗的結果比較，證明了創建的火炮全參數物理模擬理論的正確性；證明所採取的大比例縮尺模型的設計方法和製造手段的可靠性；證明用縮尺的模型炮代替副炮進行多項目綜合物理模擬試驗技術是成功的。
  9. 10 xu h l, huang l s, wan y y et al. localized algorithm for coverage in wireless sensor networks

    本文的第四節給出了演算法的正確性證明，即演算法構造的路徑為最壞覆蓋路徑。
  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

    而對于族集最小覆蓋集的計算問題，本文則提出了若干個定理刻畫了其計算方法的原理並予以正確性證明，並精心設計了相應的演算法。
  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

    在目前形式化方法和程序正確性證明技術還無望成為實用性方法的情況下，軟體測試在將來相當一段時間內仍然是軟體質量保證的有效手段。
  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

    同時，某類問題的求解過程中的形式化推導、正確性證明等都可以實現復用，從而為實現軟體開發全過程的復用研究提供一種有效的途徑。
  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

    從證明的角度，對鑒定實施中科學理論的真理性和正確性證明、擬制事實中的因果關系，並針對包括科學本身誤差幾率與科學的概率在內的科學確率問題作了分析。
  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協議的正確性主要體現在兩個方面：認證屬性：當協議主體以某參數完成協議后，被認證主體也必須以該參數參與協議運行。秘密屬性：保護協議消息不會泄漏給未被授權的主體。
  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中，結合移動對象數據特徵引入空白區域作為新的插入代價參數，同時，在插入演算法中利用最小代價優先搜索演算法確定全局最優插入路徑，並給出演算法正確性證明。
  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建模工具的一致性檢查提供了有力的理論工具。
  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點的並發調度演算法，並給出了該演算法的並發調度正確性證明，解決多級安全條件下的隱通道和饑餓問題。
  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等人提出的謂詞片推廣為路徑靜態切片，證明路徑靜態切片構造演算法的正確性，證明改進后的方法與原方法所生成的線性約束系統相同。
  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

    本書論證了如何應用線性化檢驗已編程模型的正確性，說明了如何應用常規模型驗證技術全面有效的檢驗模擬模型。
分享友人
分享到 Line

分享到臉書