演算法正確性 的英文怎麼說

中文拼音 [yǎnsuànfǎzhēngquèxìng]
演算法正確性 英文
correctness of algorithm
  • 演 : 動詞1 （演變; 演化） develop; evolve 2 （發揮） deduce; elaborate 3 （依照程式練習或計算） drill;...
  • 算 : Ⅰ動詞1 （計算數目） calculate; reckon; compute; figure 2 （計算進去） include; count 3 （謀劃;計...
  • 法 : Ⅰ名詞1 （由國家制定或認可的行為規則的總稱） law 2 （方法; 方式） way; method; mode; means 3 （標...
  • 正 : 正名詞（正月） 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 ...
  • 正確性 : accuracy
  • 正確 : exactness; correct; right; proper; rightness; rectitude; validity
  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. 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中模擬了測向演算法，模擬結果證明了演算法的正確性。
  3. Moreover, aiming at the location of inclined license plate, we have proposed the algorithm based on gray changing characteristic and orientation field. in this section, we discussed in detail the application of mathematical morphology operator in rough locating objective region and introduced the theory and realization method of orientation field. then we used it to detect inclined angel of objective region, finally we can precisely locate and emendate the inclined license plate based on detection result, and so we provided the favorable foundation for segmenting character

    此外針對傾斜車牌區域的定位分割問題，提出了基於灰度變化特性和方向場計算的定位演算法，其中詳細討論了數學形態學運算元在目標區域粗定位中的應用，重點介紹了方向場計算理論和實現方法，並將其應用於目標區域傾斜角度的檢測，根據檢測得到的結果進行了傾斜車牌區域的準確定位和校正，為后續的字元分割打下良好的基礎。
  4. The first kind of algorithm is based on s - box controlled by key, the algorithm distinguishes most of other block ciphers, its visible quality is that its s - box is not regular and fixative, but controlled by block cipher ' s key. the second kind of algorithm is based on smn ( d ) array code, it makes full use of the visible quality of smn ( d ) array code possessing big code distance ( d ). the thesis discusses the two algorithms " reversibility, security and their qualities, the

    第一種是基於「 s -盒由密鑰控制」的變結構分組密碼，該演算法區別于其它大部分分組密碼最大的特點是它的s -盒不是固定不變的而是由密鑰控制產生；第二種是基於smn （ d ）陣列編碼的變結構分組密碼，該演算法充分利用了smn （ d ）陣列編碼具有碼距大的特點；文中對這兩個演算法的可逆性、安全性及其性能等進行了探討和分析，分析結果認為這兩個變結構演算法正確、有效且安全。
  5. Gathering fuzzy technique and model - identifying technique to processing research, fuzzy model - identifying technique, a intersecting science, has been come out, which has become hoto in this thesis, based on deeply researching the fuzzy unit - identifying and complete analysis on data of measuring well of the chandqing wushenqi district, the method of constructing self - adapting multi - dimension non - liner subjection degree function has been created without precedento based on the extraction of routine measuring well character parameters, and for adopting self - adapting method to carry through character compression, the model has been improved the performance and enhanced the convergence speed and sorted precision of the algorithm o the relation of measuring well information and the oiliness & gassiness of sandstones is fuzzy ? in the thesis, the law of max subjection degree has been studied and improved, and proved preferable effect in the practical application

    論文在提取一些常規測井特徵參數的基礎上，採用自適應方法對各變量多項式進行優選，減少了特徵參數間的相關性，突出了類別間的差異性，從而優化了模式的質量，提高了分類的精度。測井信息和砂體的儲集性之間的關系是帶有模糊性的，論文對模糊「最大隸屬原則」進行了研究和改進，並在實際應用中取得了較好的效果。論文成功研製了「自適應」的演算法和軟體? ?即通過對正確回判率的比較，然後對參數進行調節的辦法，可將模式「訓練」到最佳狀態。
  6. Studies on correct convergence of the em algorithm for gaussian mixtures

    演算法正確收斂性的探討
  7. Based on the one and a half year " s lucubration, the author gets one new error concealment way with better combination between efficiency and running time in processing the errors in video communication. according to the experiment results and relative data analysis, we can get a certain conclusion, which is that the algorithms are correct and useful

    課題在開放的h . 263測試模型tmn8中實現了該演算法，實現過程包括誤碼的檢測，定位和誤碼部分數據的恢復等工作，並與標準h . 263的結果進行了比較，模擬結果表明，經檢錯和掩蓋之後，解碼圖像質量有了顯著的改善，證明了演算法的正確性和實用性。
  8. Software based on stl file is developed to segment the part. it is proved to be resultful

    開發了基於stl文件的實體分段演算法和軟體，通過實際應用驗證了該軟體的正確性。
  9. It is implemented by dll programming with psasp / upi. the 14 - bus ieee test system has shown validity of the model and feasibility of proposed algorithm, which quantifies the role of facts devices

    Ieee14節點測試系統的計算結果表明了模型的正確性和演算法的有效性，並量化了facts元件對ttc的影響
  10. Secondly, in phase unwrapping to overcome the spread of wrong point, changing the patch of unwrapping phase is done to improve the correctness of it. then, the relation between the unwrapping phase and the height of reconstructed object is discussed detailedly. the data processing, algorithm analysis and reconstructing object are done for the collecting fringe image which are all based on matlab language, in all these achievements, the improvement and innovation aspect are following : a ) in order to stabilize the interference fringe, a new equivalent shifting object method is presented by using fringe stabilizing device to stabilize the interference fringe though moving object and ccd camera which fixed on a precise moving platform together, the experimental result shows the fringe drift is less than a / 20 in five minutes, and the equivalent phase shifting precision is x / 100

    論文在全面闡述了光學三維輪廓位相測量術的發展、應用現狀、研究熱點及未來發展趨勢的基礎上，簡要介紹了傅立葉變換和相移位相輪廓測量術的基本原理，對兩種測量方法存在的問題及誤差進行詳細分析和比較；針對位相解包裹錯誤點的傳播問題，作者通過改變解包裹路徑來提高位相解包裹的正確性；分析討論從解包裹位相（ x ， y ）到再現物體的高度h （ x ， y ）物理量之間的關系，研究相應的演算法，利用matlab平臺，對實際採集的條紋圖像進行處理和輪廓重構，其中改進及創新工作主要表現在以下兩個方面： （ a ）針對干涉型結構光場干涉條紋出現的漂移抖動對相移的影響，提出了一種用條紋穩定器穩定干涉條紋，用精密移動平臺使物體和ccd攝像頭同步移動實現等效相移的方法，建立了相應的測量系統，系統的條紋穩定可以達到。
  11. Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm, the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ), which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc. hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content, we select par method as the main content

    本系統選用薛錦雲教授的par方法為主要教學內容，應用人工智慧的知識表示和自動推理原理及泛型思想，使得系統具有以下核心功能：展示幾種典型例題的解；以泛型思想為指導，實現了無限題庫，可以自動生成與典型例題類似的問題給學生求解並給予提示；對于這些題目，計算機可以自動推理出由問題到程序的全過程供學生學習；也可通過自動推理根據用戶的實際做題情況實時給出提示，互動式地幫助學生學習演算法程序設計；學生可以從問題庫中獲得練習，並調用轉換器，將自己的apla程序轉化為可執行語言程序，運行以檢驗其正確性；對教師而言，可以對已有的實例庫、問題庫進行添加操作等。在系統的研製過程中，我們深入研究了系統的各方面相關知識，並進行了多方面的創新：在教學內容方面，首次選用par方法為主要內容。
  12. Secondly, the paper describe the principle of atm network, and the function of ' sar " ( segmentation and reassembly ) and the format of packet aal5, and introduce the basic idea of ipoa, and the design project and implementing of the control chip. later, the paper introduce the logic function and operational principle of packet buffer control chip and prove the feasibity and correctness of the arithmetic. at last the paper introduce crc - 32 arithmetic based on look up and implement it with hardware

    接著詳細論述了核心路由器atm網路實現的原理，包括「 sar 」 （ segmentationandreassembly ）功能和aal5報文的格式， ipoa基本思想，以及控制晶元的設計方案和實現途徑等。然後又論述報文緩存區控制晶元的工作原理和邏輯功能等，並對演算法的可行性，正確性等進行論證。最後介紹了一種基於查表的crc - 32演算法的原理及其硬體實現。
  13. Via this neural network, we can eliminate those regions which contain no plate and then use color information to modify the correct region and find the accurate position of car plate finally ; 3 ) in the progress of recognition, we apply the structural alternative covering algorithm and only use some basic techniques to process the image

    將構造性的覆蓋演算法應用於牌照的定位，在對這些區域進行分析后提取出各自的特徵並進行學習，構造出相應的神經網路，用來排除假的干擾區域，同時結合圖像的顏色信息來對前期的定位結果進行修正，最終得到正確的車牌位置： 3
  14. 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中，結合移動對象數據特徵引入空白區域作為新的插入代價參數，同時，在插入演算法中利用最小代價優先搜索演算法確定全局最優插入路徑，並給出演算法正確性證明。
  15. The genetic algorithm, which simulates the evolutional process of the nature, is a global and robust algorithm, and the construction of orthogonal multiwavelets via genetic algorithm makes the guideline to determine multiwavelets clear and simple. 2

    遺傳演算法是模擬自然進化過程的全局性魯棒優化演算法，利用遺傳演算法來確定由短序列正交多尺度函數所生成的正交多子波，使確定多子波的思路變得清晰而簡單。
  16. The last chapter shows two experiment systems to validate the double ccd photometry program, the first system primarily makes use of computer software tool to verify it, the second system proves the photometry ' s accuracy according to experiment data and error result, and brings up a prospect for next work

    第五章介紹了驗證演算法正確性的兩個實驗系統，第一個系統主要利用計算機軟體工具對編制的演算法dsp程序進行驗證；第二個系統根據實驗測量數據和誤差結果對演算法的計算精度進行驗證，並提出下一步具體工作的展望。
  17. Automatic docking is one of the most important actions for msr robot ’ s self - reconfiguration and is one of the technologys about the robot researching, because it supports almost all practical advantages of such robot. in this thesis, automatic docking system and the module structure are first analyzed ; for searching the reason why the actual docking system run unsteadily, some validate and test thing are done, such as docking algorithm test, sensor unit test, drive unit test, and so on

    自動對接是模塊化自重構機器人完成自重構的一個基本步驟，也是這種機器人研究的關鍵技術之一，是模塊化自重構機器人具有實際應用價值的基礎。本文對自動對接系統結構進行了分析，為尋找實際對接系統工作不穩定的原因，做了一些驗證與調試方面的工作，包括自動對接演算法正確性與有效性的驗證，串口電路設計，編寫實時跟隨對接模塊運動的程序以及傳感器建模程序等。
  18. 3 elastic exponential progression solution which is widely recognized by the field of civil engineering are applied to analysis of the pcc pile under lateral load, and the results are compared with that of finite elment method. accordingly, the validation of program is once more proved

    3 、應用樁身撓曲彈性微分方程冪級數解析法對本文中的pcc樁算例進行了分析，並將分析計算結果與有限元計算結果進行了對比，進一步驗證了本文有限元數值演算法運用於pcc樁水平承載計算的正確性和有效性。
  19. We implement des algorithm and 1024 - bit rsa algorithm with verilog hdl, and simulate their fpga implementation with modisim synthesis tool. finally we test the correctness and performance of the implementation method

    採用veriloghdl語言編程實現了des演算法和1024位rsa演算法，並在modelsim綜合模擬工具中對演算法的fpga實現方法進行了模擬，檢驗了演算法實現方法正確性和性能。
  20. Finally, the pid control simulation platform, which is composed of the process model established by matlab and model ' s connection with virtual dpu, is developed for this software. the simulation results show that this tuning algorithm that has taken the processes characteristics differences into consideration is correct, advanced and practical in engineering application and meets the requirements on the control system

    模擬試驗驗證了該pid參數的自整定演算法正確，具有一定的先進性和實用性，充分考慮了工業控制中各種被控對象的特點及差異，在實踐上易於工程實際應用，能滿足控制系統的要求。
分享友人
分享到 Line

分享到臉書