algorithm verification 中文意思是什麼

algorithm verification 解釋
演算法驗證
  • algorithm : n. 【數學】演算法；規則系統；演段。
  • verification : n. 1. 證實，證明，確定；核驗，驗證，核對；檢驗，校驗。2. 【法律】訴狀[答辯書]結尾的舉證說明。
  1. System structure model based on simulation database is presented, by which realize effectively to integrate nc geometric simulation with physical simulation. 2. in the nc geometric simulation and nc verification, a partial rendering algorithm is improved by using dynamic oob ( oriented bounding box )

    2 .在幾何模擬方面，改進了幾何模擬局部刷新演算法，提出動態方向區域法，使在加工模擬過程中可以進行旋轉、放大和縮小等動態操作，便於了解工件在模擬加工過程中的具體情況。
  2. After that, it gives the measures of designing dsp ' s assembler as a part of the dsp ' s software development environment together with the c - compiler. moreover, this paper explores the method of design the floating - point arithmetic unit. referring to the ieee754 - 1985 standard for binary floating - point arithmetic, the algorithm and the behavior description of floating - point adder and multiplier is given, and the simulation and verification is shown at the end of this paper

    此外，本文還對處理器的浮點運算單元設計做了初步的研究，以ansi ieee - 754浮點數二進制標準為參考，借鑒了經典的定點加法器和乘法器的設計，嘗試性的給出了浮點加法單元和乘法單元的實現模型和行為級上的硬體描述，並對其進行模擬和驗證。
  3. The verification of the algorithm is performed using a gauss - distributed concentration ball and a stock wave at steady flow in an open channel. the comparison with an analytical problem solution shows that the precision and the stability of quasi - consistence hexahedral element method is as good as that of consistence hexahedral element method, better than that of the linear interpolating function method

    6 、比較分析了網格布置形式對圓管流動和臺階突擴流動計算結果的影響后表明，應在物理量梯度變化較大的區域適當加密網格，才能較好地模擬這些區域的流動特性以及壁面對整個流動的影響。
  4. A fingerprint verification algorithm based on fingerprint classification

    一種基於指紋分類的指紋識別演算法
  5. In general, it can be classified into speaker identification and speaker verification according to decision modes. this thesis focuses attention on research of text - independent speaker recognition technology based on vector quantization. lbg algorithm is one of the common and important methods used in speaker recognition

    在說話人識別方面，由於矢量量化技術可以有效地提取說話人的個性特徵，矢量量化碼本可以在最佳意義上代表說話人特徵矢量空間中的所有矢量，因而矢量量化碼本可作為說話人有效的識別模型，而模型建立的關鍵問題是獲得高質量的碼本。
  6. With the wide adoption of distributed real - time system in many areas, such as electronics, aerospace, military, automobile electronics, industry production, much attention has been focused on system schedulability analysis algorithm, which is an important verification method for system schedulability. many researchers have done a lot of research in schedulability analysis algorithm and have achieved many results

    隨著分散式實時系統逐漸得到廣泛的應用，分散式實時系統的可調度性分析演算法作為一種重要的實時系統時間正確性驗證手段，也逐漸得到了人們的重視，很多學者對此進行了廣泛的研究。
  7. Applying model checking in software design and verification has been proved very difficult. software architectures are engineering artifacts that provide high - level and abstract descriptions of complex software systems. in this paper a direct model checking method based on kripke structure and matrix algorithm is provided

    將model checking應用到軟體正確性驗證方面被證明是很困難的事情，軟體體系結構sa software architecture通過對復雜軟體系統提供高層與抽象描述，為基於構件化技術的大型軟體系統關鍵性質的驗證提供了有效的途徑。
  8. Signal simulation and algorithm verification of gps software receiver

    軟體接收機信號模擬與演算法驗證
  9. Finally, in the answer processing module, we design and develop an algorithm which named " syntax constrained semantics verification ". this approach of verification combines syntax and semantics features to verify the relevance between answer and question

    在答案驗證模塊，提出並實現了一種受限語法的語義驗證方法，它把語法信息和語義信息結合起來，使得答案的驗證更加可靠正確，在問題回答系統中得到了很好的應用。
  10. The paper can be divided into two partitions : in the first part the p / g network verification problem in the vlsi chip scope is probed. an algorithm is proposed which partition the global network into several sub networks. then it performs sub network compressing equivalent transform and calculates the final size - reduced linear equations

    本論文包括兩個部分，第一部分探討了vlsi晶元p g網驗證問題，提出基於網路劃分、子網等效壓縮變換的大規模線性方程組求解方法；第二部分探討了一個晶體管級宏單元自動版圖布線系統的有關理論問題，並實現了一個實用的處理宏單元版圖的自動布線系統。
  11. Verification of algorithm and equipment for electrochemical impedance measurements

    電化學阻抗測量用演算法和設備的驗證
  12. This algorithm has higher efficient than the method which uses tool path envelope intersection with normal vector of surface of geometry model and has higher verification precise than the method that uses tool path envelope intersection with z direction vectors

    其運行效率高於用幾何模型法向量與刀具掃掠體求交的方法，驗證精度大於用z坐標方向矢量與刀具掃掠體求交的演算法。
  13. Upon the construction of weak derivation set, this thesis presents the concept of continuing traceability, and provides decision algorithm for the continuing traceability of a transformation sequence and tittering algorithm for the continuing traceable weak inverse attribute mapping. upon verifying weak derivation set, this thesis gives a series of verification algorithms based on the best property of attribute mapping or transformation

    在構造弱起源集階段，提出了可延續跟蹤性的概念，給出了可延續跟蹤性判別演算法和可延續跟蹤的弱逆映射的篩選演算法；在驗證弱起源集階段，針對不同類型的轉換和屬性映射，給出了相應的驗證演算法。
  14. It adopts a new task assignment policy, and takes into account compatibility of static task assignment and scheduling algorithm. simulation shows that the algorithm has obvious advantages over other related algorithms. next, a simulation - based verification approach for real - time scheduling in heterogeneous systems is discussed

    所提出的演算法採用了新的任務分配策略，並考慮了與靜態任務分配和調度演算法的相容性問題；模擬研究表明該演算法與相關演算法相比具有明顯的優勢。
  15. Finally, the mechanical body of the mobile robot is designed specifically. the whole hardware framework is constructed. a reference platform is established for a further experimental verification of the algorithm

    最後，具體設計了差分驅動移動機器人的本體機構，並搭建了硬體的整體框架，為進一步的控制演算法的驗證提供了一個參考平臺。
  16. The dual standard quantity ( the work piece and the discrete standard quantity ) mutual measuring and model verification methods are also proposed, which perfects the whole modifying process from data measuring, error separation, model establishment to real correction. after researching the discrete standard quantity system dynamic error separation technique, two error correction methods based on genetic algorithm and neural network mixed modeling technique are established. the two methods are the discrete standard quantity dynamic error direct / synchronous correction and prediction model correction ; the model ' s parameters and model ' s exercising method are also confirmed

    設計了雙標準量值（工件和離散標準量）互比測量的模型驗證方法，完善了從數據測量、誤差分離、模型建立到實際修正的整個修正過程；研究了離散標準量系統動態誤差分離技術，建立了基於遺傳進化演算法與神經網路混合建模技術的兩種誤差修正方法? ?離散標準量動態誤差直接（同步）修正方法和預報模型修正方法，並確定了模型結構參數和模型訓練方法；分析了預報模型的多次預報性質，並得出了多次預報與多步預報的等效關系，確定了測量系統的有效預報范圍以及模型參數對泛化誤差的影響；進行了模型的對比實驗驗證和被測工件動態誤差修正試驗，成功地實現了任意二面角和圓分度的實時誤差修正。
  17. The algorithm for bridge certification authority certificates path verification based on transitive signature algorithm is proposed

    構造了基於傳遞簽名演算法的橋接ca證書路徑驗證方法。
  18. Presenting optimization algorithms for extended stga extending the syntax of the script language to definite the verification problem, and implementing the compilation and stga generation module for this language ; incorporating the module with the core verification algorithm ; demonstrating the validation and analyzing the performance of the tool with some real - world examples

    ?擴充檢測問題的定義語言?腳本語言的格式，使用sml語言實現了腳本語言的編譯和擴展stga圖生成模塊，並將該模塊和檢測演算法核心連接，實現了整個工具。論文還結合應用實例證明了擴展工作的有效性並分析了工具的性能。
  19. 66 msec for one 192 - bit ecdsa verification in gf ( p ) in the same system. in addition, ecc is widely adopted in the smart cards. therefore, we have proposed and accomplished a fast algorithm of ecdsa in gf ( 2m ) on a single chip based on the mcs51 kernel

    另外，針對橢圓曲線密碼（ ecc ）在智能卡等領域的廣闊應用，本文還提出了一種特徵為2的ecdsa體制的快速演算法，並在基於mcs51內核的單片機系統中實現了該演算法。
  20. My main work is as following : 1 ) applying feature mapping, sub - band structure classifier and multi - classifier cooperation to enhance the robust of system ; 2 ) giving out close - set fusion and open - set fusion functions to solve the problems of speaker identification and verification respectively ; 3 ) building the dynamic recognition length algorithm based on optimal stopping rules ; 4 ) developing a applied system based on the techniques above

    主要工作是： 1 、提出參數映射、子帶結構分類器和多分類器系統以提高系統的魯棒性能； 2 、給出證據融合的閉集公式和開集公式，它們分別適用說話人辨認和確認問題的； 3 、通過最優停止理論建立識別長度自適應演算法； 4 、開發了一個實用的說話人識別系統。
分享友人
分享到 Line

分享到臉書