smv 中文意思是什麼

smv 解釋
可挑選的模式聲音合成機
  1. The ct findings of complicated appendicitis were : abscess formation at correlate anatomical spaces ( 95. 2 % ), pericecal inflammation ( 57. 1 % ), appendicolith ( 38. 1 % ), an abnormal appendix ( 28. 6 % ), paralytic ileus ( 33. 3 % ), mechanical ileus ( 9. 5 % ), pylephlebitis of portal vein or smv ( 9. 5 % ) and right obstructive hydronephrosis ( 4. 8 % )

    盲腸或闌尾附近之膿瘍及其他相伴隨之發現于有合併癥之闌尾炎最常見，藉著充分了解闌尾于解剖上之變異及了解闌尾膿瘍之發展路徑，我們可高度建議闌尾炎之診斷。
  2. Develop the digital hard - disk using smv

    在開發數字電視硬盤機頂盒中的應用
  3. The experiment study on the smv static mixer

    型靜態混合器的試驗研究
  4. First, this paper introduces the notation, categories and properties of security protocols, and formal methods to verify security protocols and small system model. the emphasis is the research and analysis of the principle of the model checking method. we study the mechanism and syntax of symbolic model checking tool smv, model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol

    文章主要介紹了安全協議的概念、分類和性質，安全協議的形式化驗證方法，以及小系統模型的原理；重點分析和研究了符號化模型檢驗工具smv的原理和語法及其對安全協議進行模型檢驗時的工作機理，而且使用smv對needham - schroeder公鑰協議和wooandlam對稱鑰協議進行了形式化建模與模型檢驗，發現了它們的安全漏洞。
  5. We research different kinds of formal methods, particularly study the mechanism of symbolic model checking tool smv, and finally we decide to adopt smv as the tool for the model checking of security protocols. with smv, we model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol

    本文研究了驗證安全協議的各種形式化方法，詳細研究了符號化模型檢驗工具smv的工作機制；確定了使用smv作為工具對安全協議進行模型檢驗，驗證了認證版needham - schroeder公鑰協議和wooandlam對稱鑰協議。
  6. While modeling and verifying security protocols with smv, we find a bug of smv and some other problems, which are ignored by the authors in the handbook of smv

    在對smv的大量使用中，我們發現了smv的一個bug和其產品說明書中所忽略的一些值得注意的問題。
  7. It adapts to the cdma system and achieves multi - rate speech coding and decoding. source and mode control are combines in smv for rate selection, so it improves the flexibility of cdma system, it will allow cdma subscribers to enjoy superior quality while allowing service providers to increase capacity as needed. smv is regarded as a breakthrough technology that provides significant capacity and quality gains on cdma systems, so the researching of smv is of great practical value

    可選模式聲碼器（ smv ? selectablemodevocoder ）是3gpp2最新的用於寬帶擴頻cdma通信系統的變速率語音編碼標準，它實現了語音的多種低速編碼和解碼，在速率選擇上將源控和模式控制相結合，提高了cdma系統的靈活性，可以在保證高質量語音的同時盡可能增加系統的容量，被認為是變速率語音編碼在cdma系統中應用的「突破性」技術，代表了當前語音編碼發展的方向和潮流，因此smv的研究具有很大的價值。
  8. During the modeling and verification of the authentication version of needham - schroeder public key protocol with smv, we get more comprehension on the theory of symbolic model checking and small system model, and finally find a flaw in this protocol that corresponds with the one that gavin lowe found with fdr

    通過使用smv對needham - schroeder公鑰協議進行建模和驗證，理解了符號化模型檢驗和小系統模型的原理，並發現了一個協議漏洞，該漏洞與gavinlowe用fdr所發現的相一致。
  9. In order to break through the limitation of small system model, for the verification of woo and lam u symmetric key protocol with smv, a model is built up. an honest agent in the model is allowed to participate in two protocols. finally a flaw is found that an intruder can successfully commit an attack when the responder is allowed to participate in two protocols simultaneously

    為了突破小系統模型的局限性，我們使用smv驗證wooandlam對稱鑰協議時，建立了允許誠實的通信實體運行兩次協議的模型，在這個模型上發現了一個已知的協議漏洞，攻擊者利用誠實通信實體的兩次運行，成功地進行了攻擊。
  10. The author realize the selectable mode vocoder under visual c + + 6. 0 environment. this paper shows the contrastive results between the original speech signal and the synthesized signal of smv under various modes and environment, it also shows the results of the test of smv ' s performance. at last the direction of the smv ' s studying is introduced on the basis of analysis of speech signal

    作者在vc6 . 0環境下模擬實現了smv演算法，本文給出了smv在不同模式、對不同環境下的語音信號進行編碼的對比結果，介紹了對其主客觀性能進行測試的結果，並進一步從中得出結論，最後在對語音信號進行分析的基礎上提出了下一步的工作方向。
分享友人
分享到 Line

分享到臉書