符號模型 的英文怎麼說

中文拼音 [fúháomóxíng]
符號模型 英文
sign mould
  • 符 : Ⅰ名詞1 （符節） tally （with two halves made of wood bamboo jade metal issued by a ruler to gener...
  • 號 : 號Ⅰ名1 （名稱） name 2 （別號; 字） assumed name; alternative name3 （商店） business house 4 （...
  • 模 : 模名詞1. （模子） mould; pattern; matrix 2. （姓氏） a surname
  • 符號 : 1 （記號; 標記） character; sign; symbol; mark; code; notation; expression; denotation; sentinel ...
  • 模型 : 1 （仿製實物） model; pattern 2 （制砂型的工具） mould; pattern3 （模子） model set; mould patter...
  1. Templates for lettering and symbols. part 2 : slot widths for wood - cased pencils, clutch pencils and fine - lead pencils

    書寫字母和符號用模板.第2部分:木質外體鉛筆，鐵桿活動鉛筆和細鉛鉛筆模型槽寬
  2. 3 pnueli a. a temporal logic of concurrent programs. theoretical computer science, 1981, 13 : 45 - 60. 4 mcmillan k l. symbolic model checking

    符號化的模型檢測技術利用二叉圖binary decision diagram表示狀態轉換關系，降低了系統模型所需的內存空間。
  3. One is the evt - based var model ( including gev model and gpd model ), the other is the quantile regression var model. secondly, i evaluate predictive performance of a selection of var models for chinese stock market data. these var models include riskmetrics method, historical simulation, monte carlo method, and the three recent models based on quantile regression and extreme value theory

    本文首先重點探討了極值分佈var模型（包括廣義極值分佈和廣義帕雷托分佈兩個模型）和分位數回歸var模型；然後在此基礎上將六個var模型（包括上述三種模型、歷史模擬法、 riskmetrics方法以及蒙特卡洛法）實證應用於估計上證指數、上證180 、深證成指、深證綜指95 var和99 var ；同時採用區間預測法、損失函數法和符號檢驗法對這些var模型進行了選擇評估。
  4. The modeling and simulating of sea clutter ( weibull distribution ) with its parameters and ranges of applicability is introduced in this paper

    模擬結果與和理論模型的結論符合較好，說明用這兩種方法產生海雜波信號是可行的。
  5. Rotating the model to another angle shows those symbols change into the greek alpha and omega

    旋轉該模型成另一個角度顯示那些符號變化為希臘的阿爾法和歐米加（與） 。
  6. This paper which starts from the actual needs, directed by the theory of cartology analyses all kinds of requires and functions for dmges, and create the spatial data model of the software system, combining the new generation programming technology, taking the oo software modeling, analysis, design method, it realized the collection, display of digital map data and the building of map denotation library, hi the end, this paper put forward the go - on research in future

    本文從數字地圖制圖的實際需要出發，在地圖學理論的指導下分析了數字地圖圖形編輯系統的各種功能和需求，並建立了軟體系統的空間數據模型。結合新一代的計算機程序設計技術，採用面向對象的軟體建模、分析和設計方法實現了地圖數據的採集、顯示、編輯、地圖符號庫的建立。最後提出了需要進一步研究和完善的內容。
  7. In computation of swept volume approximation, an improved technique to generate the swept volume approximation for arbitrary meshes is presented by introducing generator simplification and path resample using frenet moving frames along the discreted sweeping trajectory. other steps, such as a directed distance field computation on a uniform grid based on the hardware accelerated computation technique and iso - surface extraction using marching cubes algorithm, are also included in this algorithm. in addition, the simplification scheme and smoothing technique are applied to the swept volume generated from iso - surface extraction

    本文的主要貢獻在於：在掃描體逼近計算方面，在原有任意多邊形網格模型沿任意路徑運動生成掃描體逼近演算法的基礎上，提出了加入對掃描母體簡化的預處理和用活動標架對掃描路徑進行重采樣等過程，演算法的其它過程還包括：計算掃描體中幾何基元的排列，用硬體加速構造無符號的有向距離場，將無符號距離場轉化為有符號距離場，從有符號有向距離場提取等值面等。
  8. This paper discusses the relationship of hetu and luoshu with theory and methodology in neijing, and theory system of traditional chinese medicine, and suggests that sages of the chinese nation have created mathematics symbols and models of theory of yin and yang like yitu to simulate and describe the relationship between human being and the nature

    摘要以傳世易圖為據，論證中華先哲歷來有創建易圖等「理象數」符號形態、陰陽理論模型模擬、描述人與天地自然規律關系的科學智慧與傳統，據以揭秘河圖、洛書與《內經》理論、方法論及中醫學理論體系。
  9. So this part is dealt with separately. dcpm method is employed to improve the quality of image coding with making full of the relativity of the wavelet coefficients. according to the different importance degree and vision character of the high frequency wavelet coefficients, different thresholds are applied to remove small coefficients ; then mannos module are applied to remove the visual redundancy ; in order to produce more zero - tree, horizontal and vertical wavelet coefficients are transformed accordingly to improve the compression ratio

    對于小波變換后的小波系數的高頻部分，根據其分佈特性和人眼的視覺特性，採用視覺模型對零樹量化過程的閾值進行修正，有效地去除視覺冗餘；對各高頻子圖採用多級樹集合分割的零樹編碼方法，有效地利用系數編碼剩餘符號，進一步提高壓縮比。
  10. The paper describes the evolution of 3d relief presentations and the related background of culture and technology as well as important persons chronologically

    本文按年代順序，來描述地貌表示法的三種主要類型?寫景符號法、水平投影法和地景模擬法的發展演變及其文化與技術背景和關鍵人物。
  11. After analyzing and study two transitions of map to spatial data and spatial data to map, the author thinks the spatial data capturing is a loss map information process, and for map production firstly symbolize from spatial data, then reinforce the map information. the map production model ( mpm ) is the summary of all kinds of map production. the integration model is the best model in mpm and it infers that " spatial data first, map second " is the production process

    提出了「靜態數字制圖」和「動態數字制圖」的概念，論述它們各自特點和研究方法，並提出地圖制圖和空間數據生產都屬于「靜態數字制圖」 ；通過研究地圖和空間數據的相互轉換過程，發現空間數據生產是地圖信息損失的過程，根據空間數據來進行地圖生產必須先實現地圖符號化，然後再進行地圖信息的補充處理；本文提出的「地圖生產模型」是現有各種數字化生產模式的基礎，從理論上論證了一體化生產模式是最優模式，推導出「先空間數據生產，后地圖出版」的一體化生產流程，並歸納總結了當前數字化生產的4種基本生產模式和9種應用情況。
  12. This thesis analyzed the error performance of mfsk and mpsk modulator in hf with optimal receiver, studied the shortcoming and strongpoint of several typical short - wave data transmission systems and their performance over fading and intersymbol interference channels. the theory and key technical of adaptive modem is discussed. in the last, an efficient modulation scheme - block coded modulation is introduced into hf radio systems to improve the efficiency of hf data transmission, this paper also proposes a hf data transmission system scheme composed of a block coded modulator and a decision feedback type adaptive equalizer

    本文在對短波數傳兩種常見調制方式fsk及psk最佳解調性能分析的基礎上，討論了幾種採用典型調制技術的短波數傳系統（如時頻調制、多進制頻移鍵控慢跳頻、 chess系統）原理、優缺點以及抗衰落和抗符號間干擾的性能；分析了自適應串列數傳系統抗短波通道衰落和多徑干擾的原理、關鍵技術；在本文的最後引入一種有望解決短波數傳系統低效率狀況的調制方式bcm -分組編碼調制，給出了一個採用bcm技術與自適應均衡技術相結合的短波數傳系統方案，並通過計算機模擬進行了初部驗證。
  13. Whereafter, the structure model, implement mode, the administrative and display functions of plotting map module, and military mark base are designed with the direction of cbd theory, on the same time, a uniform data structure of military mark base is put forward

    運用軟體工程的設計方法，以組件式軟體設計思想為指導，設計了軍事標圖組件的總體框架模型、實現模式、標繪要圖管理與顯示功能和軍隊標號符號庫，提出了統一的軍標符號數據結構。
  14. In this paper, they are set forth at first that the kinds of computer - simulation of electronic devices, the development and the requirements of mosfet ' s model and the way of gain the models " parameters, the dc models have been bui it in chapter 2 and the models of big signals have been deduced in chapter 3, they are different from the equivalent circuit models in the traditional software pspice that they come from the numer i ca i - s i mu i at i on wh i ch is based on the essence equat i on, so the precision of simulation is enhanced ? mosfet ' s small signal models of low frequency, intermediate frequency and high frequency have been built in chapter 4 and chapter 5, although the equivalent circuit models in pspice are used for reference to bui id them, they have their own characteristics which are analyzed at a i i kinds of situations, so that the simulation software for mosfet can be written according them and it i s a i so benef i c i a i for us to catch the gen i us character i st i cs of mosfet and to d esign all kinds of applicable devices the correctness of the models is simply proved in chapter 6

    本文首先介紹了電子器件計算機模擬的分類、 mosfet的建模發展動態、對器件模型的要求以及模型參數的提取方法。在第二章中建立了mos晶體管在直流端電壓條件下的工作模型；第三章推導了mosfet的大信號模型，這兩類模型不同於傳統模擬軟體例如pspice中的等效電路模型，而是從模型方程出發，採用數值模擬的方法，提高了模擬的精度。第四章和第五章分別建立了mos晶體管低頻、中頻、高頻的小信號模型，雖然借鑒了pspice模擬軟體中用等效電路模型的方法，但是本文分別討論了準靜態和非準靜態時器件的本徵部分以及包含非本徵部分工作于低頻、中頻和高頻條件時的模型，可以根據這些模型編寫相應的模擬軟體，這樣在做器件的模擬分析與器件設計的時候，就可以利用模擬軟體逐步深入地分析器件在不同的條件下和器件的不同部分在工作時的各種小信號特性，有利於抓住器件工作的本質特性，設計出符合要求的各類通用和特殊器件。
  15. Through the study of the style of knowledge description, the paper elaborates the numerical model knowledge, the symbolic experience knowledge and the instantial swatch knowledge. these three kinds of different knowledge have been used in loans risk classification in the paper. just as the using of the object oriented technique and the ai ( include es, ann, and the integrated of ann and es ) technique, can the paper realize the five - grade loans risk classification

    本文通過對知識描述形式的研究，表述了經驗符號性知識、模型化數量性知識和實例樣本性知識三種類型，通過對其行為特徵及轉換、集成的研究，將這三種異構知識引入貸款風險分類分析；採用面向對象技術和人工智慧的es 、 ann兩種形式及其結合，實現了貸款風險五級分類。
  16. 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對稱鑰協議進行了形式化建模與模型檢驗，發現了它們的安全漏洞。
  17. 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對稱鑰協議。
  18. Based on the criterion of svg ( scalable vector graphics ), which is established by w3c ( world wide web consortium ), this paper describes the symbol of chart object using the technology of svg, it makes the symbol of chart object have the high ability of expanding

    本文還根據由w3c （ wordwidewebconsortium ）制定的svg （ scalablevectorgraphics ，可升級矢量圖形）規范，運用svg技術對海圖符號進行描述，使得該海圖符號模型面向網路並具有良好的擴展性。
  19. At present, the main methods for solving this kind of problems are as follows : ( a ) mathematical optimization model and solving it by computer algorithms + symbolic model and solving it by artificial intelligence

    目前解決這個問題主要有兩條途徑： a數學優化模型及其演算法求解+符號模型及其人工智慧求解； b數學優化模型及其演算法求解+人機交互或人機結合。
  20. In designing clocks and watches, traditional cad technologies and expert systems are needed to solve numerical and geometrical models and symbol models respectively. besides, packing theories are needed to guide solving the optimization model while designing the overall layouts of the movements. therefore, only by using the ie technologies can we integrate the complicated multiple knowledge models

    鐘手錶設計過程既要用到傳統cad技術求解數值模型及幾何模型，還要用到專家系統求解符號模型，同時在機芯總體布局設計中，需要用布局理論指導問題優化模型的求解，因此只有用智能工程技術才能將這樣復雜的復合知識模型集成起來。
分享友人
分享到 Line

分享到臉書