演算法驗證 的英文怎麼說

中文拼音 [yǎnsuànfǎyànzhèng]
演算法驗證 英文
algorithm verification
  • 演 : 動詞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 （標...
  • 驗 : 動詞1. （察看; 查考） examine; check; test 2. （產生預期的效果） prove effective; produce the expected result
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
  1. Because it is impossible to adjust the air bearing absolutely balance, the difference between mass center and rotation center must lead to a notable gravity disturbance torque. in the process of identification, modeling and identification of gravity disturbance torque is considered, and an extended kalman filter is educed for identifying air bearing inertia matrix and gravity disturbance torque, and then the algorithm is validated

    由於氣浮臺平衡調試方法和手段的限制，實驗過程中氣浮臺質心與轉動中心有一定的位置偏差，必將導致較大的重力干擾力矩，在辨識演算法的推導過程中，重點考慮了重力干擾力矩的建模和參數辨識問題，推導了氣浮臺的轉動慣量和重力干擾力矩辨識的擴展卡爾曼濾波演算法，並對演算法進行了數學模擬和全物理模擬驗證。
  2. For the purpose of saving running time of iterations, this paper apply adaptive method to aitken extrapolation algorithm and eigenvalues - based algorithm respectively. experimental results elementarily show that these two new algorithms can speed up the performance of iterations

    本文將adaptive方法分別與基於特徵值直接求解演算法和aitkenextrapolation演算法相結合，實驗結果初步證明了這兩個新演算法能夠縮短迭代時間。
  3. In the technique of pre - processing on night vision images, such algorithms as image registration, non - uniformity correction, image enhancement are mainly studied and realized. an innovatory algorithm of full - scale non - uniformity correction on ir images is presented and an arithmetical progression histogram equalization algorithm in the enhancement of image is validated and developed in this dissertation

    在夜視圖像預處理技術方面，主要研究實現了圖像配準、非均勻校正、圖像增強等演算法，並創新性地提出了紅外圖像基於全局的非均勻校正演算法，驗證並發展了等差數列直方圖均衡圖像增強方法。
  4. According to the research, the major work done is as following : < 1 > analyzes the symmetric - key encryption algorithm des and dissymmetric - key encryption algorithm rsa, and makes them easy to realize in hardware. < 2 > according to the algorithms and the thought of reconfigurable computing, the dissertation accomplishes the design of 64 - bit des system architecture and the design of 256 - bit ~ 1024 - bit rsa system architecture. < 3 > using the top - down high level design methodology and the hdl language, accomplishes the description of the des / rsa designs, the simulation and the synthesis

    本論文主要的研究工作： < 1 >對現有的對稱加密演算法des演算法和非對稱加密演算法rsa演算法進行分析，使其易用硬體實現； < 2 >基於可重構思想和特點，完成64位des演算法和256位1024位模長rsa演算法的可重構硬體的設計； < 3 >採用自頂向下的設計方法，利用hdl語言對des / rsa設計進行功能描述，並完成軟體模擬，綜合和布線； < 4 >在可重構計算驗證平臺上進行演算法驗證，並對設計的可重構和設計的進一步優化進行討論。
  5. The international standard sequential circuits iscas ' 89 ( addendum ' 93 included ) is used to verify the algorithm, and the results are better than other algorithms "

    採用國際標準時序電路iscas 』 89 （包括addendum 』 93 ）進行了演算法驗證，取得了優于文獻中其它演算法的結果。
  6. ( 2 ) in order to validate the rightness of the parameters, hydrogeology parameters is measured, such as discharge, percolation coefficient and hydraulic pressure using the precise instruments and existing formula and arithmetic

    （二）利用各種精密測量儀器進行滲流量、滲透系數、水壓力等水文地質參數的測定，結合已有的公式和演算法，驗證各種數據的取值合理性。
  7. Referring to rolling window theory, the robot path planning algorithm based on the information of sensors is studied. it can insure the robot arrive at the destination safely in globally unknown environment, especially with moving obstacles. the algorithm ’ s efficiency is validated by simulation results

    借鑒滾動窗口的原理，設計了基於傳感器信息的實時路徑規劃演算法，保證機器人在未知動態環境下藉助傳感器信息能夠安全地到達目標點，利用模擬驗證了其有效性。
  8. The first key technique : using plain - text cipher and md5 message - digest algorithm to ensure stb and dhcp server ' s certificate and secure the stb and server ' s communications - the second key technique : using hmac algorithm to realize the safe functions - the third key technique : using ipsec to realize safe functions o those three methods " complexity increases in turn and the degree of the security increases as well which depend on the frame of the methods and the complexity of the algorithm. all theose three methods use the unique serial - number or a special slip - window to defend replay attack

    主要採用三種安全方案實現：第一種：利用約定的明文密碼驗證機頂盒與dhcp服務器的合法身份， md5驗證信息合法性：第二種：利用hmac演算法驗證機頂盒與服務器身份，信息合法性；第三種：利用ipsec驗證機頂盒與dhcp服務器身份與信息合法性。每一種方案中皆採用包序號唯一法或者滑動窗口法保證重放攻擊。此三種方案復雜度依次增加，安全度依次升高，主要取決于演算法的復雜度與架構的搭建。
  9. Describes how to verify an xml document using the

    演算法驗證xml文檔。
  10. Signal simulation and algorithm verification of gps software receiver

    軟體接收機信號模擬與演算法驗證
  11. Based on others " researches, through having implemented a great deal of experiments, this paper has put forward own algorithms. all of them are robust, real - time and effective

    在前人的基礎上，本文進行了大量的演算法驗證，並提出自己的演算法，其穩定性和實時都很好，識別的效率也較高。
  12. Except for the algorithm research, the most urgent need is a platform on which these algorithm could be tested, and a practical tool by which the management of traffic flow could be implemented

    除了對流量管理的優化演算法研究之外，目前最迫切的是需要一種演算法驗證平臺，以及實施流量管理的工具。
  13. Referring to the self - guard mechanism of g. 729, characteristics of rs coding and scdma channel, a scheme using rs ( 7, 5 ) coding with crc and block interleaving is put forward and its effectiveness is verified by both pesq algorithm and subjective test at the end of chapter 4

    結合g . 729自身保護機制、縮短rs編碼和scdma通道的特點，提出了基於rs （ 7 ， 5 ）碼帶crc檢錯及幀內交織的保護方案。並在第四章末採用pesq演算法驗證了該保護方案的有效性。
  14. This article first analyzes a paradoxical phenomenon that is predominant in campus lan settings where there is a large amount of idle cpu cycles available while at the same time the computing needs from many researchers ca n ' t be met. it proposes an idea of setting up a campus computing grid with a detailed plan for its implementation, discusses the challenges of upscaling a campus computing grid into an internet computing grid and suggests possible solutions. gram ( grid resource allocation manager ) of globus toolkit 3. 2 and relative technology on it is studied, and the solutions to extend gram to support task rescheduling and the cooperation type task are proposed. the design and implement of the gram client based on web that is the kernel part of the task anagement module are discussed, and the design of resource discovery module and task transfer module are gived

    本文首先分析了校園網環境中存在大量計算資源閑置與科研人員科學計算需要得不到滿足之間的矛盾，給出了建立校園計算網格的構想及具體的設計方案，並提出了校園計算網格推廣到internet計算網格存在的問題及解決方案;研究了globustoolkit3 . 2中的資源分配管理器gram及其相關技術，並給出了擴展gram對任務再調度和協作型任務支持的解決方案;設計實現了校園計算網格中任務管理模塊的核心部分基於web的gram客戶端，並介紹了資源發現與任務遷移模塊的設計;然後在分析min - min調度演算法基礎上，借鑒qosguidedmin - min演算法的思想，並利用主機資源分類的思想，給出了在負載平衡和時間跨度都有較大改善的balance - qosguidedmin - min演算法模型的思想與實現;最後設計實現了調度演算法驗證模塊，並在此模塊上對比了改進的演算法balance - qosguidedmin - min與min - min演算法的調度性能。
  15. This model is validated by a subsurface flow separation algorithm for an ex - ample river basin, which shows that the new model can simulate the subsurface flow reasonably. keywords : subsurface runoff parameterization, boussinesq - storage equation, water storage and re - charge. hydrological processes including surface runoff, subsurface runoff, and soil water movement play a great role in land surface processes

    文中基於boussinesq - storage方程建立了同時考慮潛水面水分儲存和非飽和層水分入滲兩方面影響的地下徑流機制，並利用流域水文資料以及地下徑流分離演算法驗證了所建立模型的可靠性，結果表明該模型能夠比較合理地模擬地下徑流的變化情況
  16. This paper mainly introduces the image compressing technique in digital camera, consisting of universal image compressing techique, image compress algorithmic in the international still image compress standard jpeg2000, jpeg2000 file format, soft validating of the algorithmics, and transplanting the algorithmic to digital signal processor

    概括起來，本文的內容主要有對圖像壓縮技術的熟悉、對jpeg2000壓縮演算法原理的理解，對jpeg2000標準文件格式結構的解釋，演算法的軟體編碼驗證，並設計相應的dsp演算法驗證。
  17. Based on whole design, this essay adopts gps technology to make the key component in taximeter - orientation module, compiles corresponding software, and makes adjustment and experiment. also it has done a profound research in district - identification arithmetic, that is improved radian arithmetic, and it is verified by matlab. we adopt anti - interference measures in both hardware and software to ensure communication reliability and working stability

    在確定總體設計方案的基礎上，本文採用gps技術研製具有區域識別功能出租車計價器中的關鍵部件? ?定位模塊，編制了相應的運行軟體，並進行了調試和試運行試驗；對區域識別演算法進行了深入研究，提出了區域識別的演算法?改進弧長法，並運用matlab軟體進行了演算法驗證；為了保證通信的可靠性和工作的穩定性，從軟、硬體兩個方面採取了抗干擾措施。
  18. By the software platform, figuring out the objects and the robotics projection according to the kinematics model and the coordinate transform and t our software platform is to test the validity of the arithmetic according to adjusting the distance between the two vidicons and vidicons ’ poses in the descartes space.,

    設計的軟體模擬演算法驗證平臺中，通過運動學模型、坐標轉換等計算出目標物體、機器人本體的視覺投影，在一定范圍內調節目標對象在笛卡兒空間中的位姿，模擬現場工作環境。
  19. First, the basic raster graphics algorithms for drawing 2d primitives are introduced, including edge coherence and the scan - line algorithm of triangle, brush algorithm of thick line ( and its improved method ) and midpoint circle and ellipse algorithm ; and the current situation of the advanced algorithms is also involved. second, the mapping of high level programming language to hardware description language is described, some principles of the conversion of algorithm to state machine are proposed also ; then, the implementation of basic graphics in hardware is discussed in detail, the state machines are drawn in the paper, and the interfaces of hardware are defined, block diagrams too, and the advanced algorithm of conic is proved ; finally, some issues about test are described, the results of simulation and synthesis are given in the last, and some detailed data are displayed in the appendix

    首先介紹了現有的基本圖形生成演算法，包括三角形邊相關掃描演算法，寬直線的線刷子演算法及其改進和圓形、橢圓的生成演算法，同時介紹了加速演算法的研究現狀；然後，討論了高級語言描述到硬體描述語言的映射，提出了演算法到狀態機抽象的規律；接著具體討論了基本圖形的硬體實現，給出了各演算法的狀態機圖，介面定義和實現框架，並且從理論角度給出了二次曲線加速演算法的證明：最後採用軟體工具進行測試驗證，給出了模擬、綜合實現的結果，並在附錄中有詳細的實驗結果數據。
  20. Firstly, in order to test the arithmetic validity and form a good foundation for the follow up work, the author designed the disposing platform by the characteristics of the visual serving control system

    論文包括以下主要工作:首先，為研究推理該演算法、驗證其有效性，並為后續工作打下良好基礎，開發軟硬體平臺。
分享友人
分享到 Line

分享到臉書