符號程序分析 的英文怎麼說

中文拼音 [fúháochéngxùfēnxī]
符號程序分析 英文
symbolic analysis of program
  • 符 : Ⅰ名詞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 （規章; 法式） rule; regulation 2 （進度; 程序） order; procedure 3 （路途; 一段路） journe...
  • 分 : 分Ⅰ名詞1. （成分） component 2. （職責和權利的限度） what is within one's duty or rights Ⅱ同 「份」Ⅲ動詞[書面語] （料想） judge
  • 析 : Ⅰ動詞1. （分開; 散開） divide; separate 2. （分析） analyse; dissect; resolve Ⅱ名詞（姓氏） a surname
  • 符號 : 1 （記號; 標記） character; sign; symbol; mark; code; notation; expression; denotation; sentinel ...
  • 程序 : 1 （進行次序） order; procedure; course; sequence; schedule; ground rule; routing process 2 [自動...
  1. The syntax analyzer calls the scanner when it needs a new symbol.

    當語法分析程序需要新符號時，它就調用掃描過程。
  2. The syntax analyzer has one recursive procedure for each nonterminal u.

    對于每個非終結符號U，語法分析程序都有一個遞歸過程。
  3. 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

    本文從數字地圖制圖的實際需要出發，在地圖學理論的指導下分析了數字地圖圖形編輯系統的各種功能和需求，並建立了軟體系統的空間數據模型。結合新一代的計算機程序設計技術，採用面向對象的軟體建模、分析和設計方法實現了地圖數據的採集、顯示、編輯、地圖符號庫的建立。最後提出了需要進一步研究和完善的內容。
  4. The syntax analyzer has one recursive procedure for each nonterminal u

    對于每個非終結符號u ，語法分析程序都有一個遞歸過程。
  5. Standard and accepted procedures in programs and systems analysis. the abbreviations, symbols, and their meanings developed for particular systems and programs

    在程序和系統分析中，所採用的各種標準和約定，包括為特定的系統和程序所制定的縮寫字、符號及其含義。
  6. In the compiled system, the paper describes symbolic structure of the siprom language word with regular expression. based on the fa theory, this paper presents a lexical analysis method by using morphology table. after comparing some common syntax analysis methods, this paper choosing the lr ( 1 ) analyzer

    在編譯部分，本文用正規表達式描述了siprom語言單詞符號的結構，利用有限自動機原理，提出了用構造詞形表的方式來識別單詞的方法，使詞法分析程序具有很好的開放性。
  7. The application of statistics function of excel may simplify complicated binomial distribution probability counting and normal distribution probability counting, and at the sme time, many statistics functions can be connected together with some counting signs to make statistics analysis process which can be applied to much more complicated statistics counting and analysis

    摘要利用excel的統計函數可以使復雜的二項分佈概率計算和正態分佈概率計算變得簡單，同時，可以利用計算符號把多個統計函數連接起來，製成統計分析程序，用於比較大的復雜的統計計算和分析。
  8. Through chaos optimization method embedded into the genetic algorithm. the algorithm with the combination the advantages of the genetic algorithm and chaos optimization method which need not the optimal problem function ' s differential and promote the ability of the genetic algorithm ' s locally meticulous search can be obtained with the faster convergence and the greater probability for the global solution. a chaotic sequence is inserted into the search procedure of genetic algorithm, which can overcome premature of the search by genetic algorithm and the speed of convergence is faster than standard genetic algorithm

    對遺傳演算法進行了理論分析，並且研究了遺傳演算法的設計與實現；利用混沌優化方法不依賴于梯度信息的性質，將其與遺傳演算法相結合，提出了一種求解連續不可微函數優化問題的混合遺傳演算法；基於對于符號動力系統的研究，利用混沌序列的遍歷性，將混沌序列引入遺傳演算法中，提出一種嵌入哈爾濱工程大學博土學位論文一混飩序列的遺傳演算法，該演算法有效地克服了標準遺傳演算法中的早熟現象，並且具有更快的收斂速度。 」
  9. For this reason, the thesis presents an approach based on constraint satisfaction, symbolic execution and extended finite state machines. it can analyze programs written in a subset of the c programming language

    針對上述情況，本文中提出了一種方法，它基於約束滿足問題求解方法和擴展有限狀態機上的符號執行演算法，能夠對c語言子集描述的程序進行分析。
  10. Implementation of the simulation software system of agvs translates uml design notations into code in java. in thesis some important technologies used in programming as multithreads and visual modeling are also illustrated

    在agvs模擬軟體系統的面向對象的實現中，由分析和設計所得的統一建模語言的設計符號被解釋為java程序代碼。
  11. In this thesis, we will review some traditional methods of detecting data dependence and analyze the relation between the data dependence and the mechanism of parallelism. based on path analysis and symbolic execution, we describe two methods, static analysis and dynamic analysis, for detecting data dependence of array variables in loops of sequential programs

    進而提出了基於路徑分析和符號執行的靜態測試和動態測試方法，來研究串列程序中循環內部數組變量的數據相關性，該方法對于下標表達式為線性表達式時有很好的效果，而且能夠處理一些復雜的數組下標表達式，比如數組下標表達式含有輸入變量和非線性下標表達式的情況。
  12. We can also find unexecutable paths of the sequential program. when we find them we will stop the analysis. we enhance the capability of the traditional methods of detecting data dependence

    我們採用了遍歷程序路徑和對路徑進行符號執行的策略，這樣可以盡可能早的發現程序中的不可執行路徑，從而提高分析的效率。
分享友人
分享到 Line

分享到臉書