語義分析程序 的英文怎麼說
中文拼音 [yǔyìfēnxīchéngxù]
語義分析程序
英文
semantic analyzer- 語 : 語動詞[書面語] (告訴) tell; inform
- 義 : Ⅰ名詞1 (正義) justice; righteousness 2 (情誼) human ties; relationship 3 (意義) meaning; si...
- 分 : 分Ⅰ名詞1. (成分) component 2. (職責和權利的限度) what is within one's duty or rights Ⅱ同 「份」Ⅲ動詞[書面語] (料想) judge
- 析 : Ⅰ動詞1. (分開; 散開) divide; separate 2. (分析) analyse; dissect; resolve Ⅱ名詞(姓氏) a surname
- 程 : 名詞1 (規章; 法式) rule; regulation 2 (進度; 程序) order; procedure 3 (路途; 一段路) journe...
- 語義 : semanteme; semantics
- 程序 : 1 (進行次序) order; procedure; course; sequence; schedule; ground rule; routing process 2 [自動...
-
Based on consider hereinbefore, this dissertation discusses several aspects on the problem of the sustainable and optimum exploitation of groundwater resources as follows : ( 1 ) reviewed entirely the origin and evolvement of the concept " sustainable development ", stated and commented the study status in queue on " sustainable development " around national and international range, thorough discussed the science connotation about the concept " sustainable development " ; ( 2 ) looked back and commented across - the aboard some furthest basic concept and proposition related to groundwater resources, put forward self opinions on a few existent mistake points of view and chaos understandings ; ( 3 ) expatiated entirely on the content and meaning of the theory of changeable groundwater resources system, contrast with the traditional methods of groundwater resources calculation and evaluation, combined example to show the application of this theory ; ( 4 ) thorough analyzed the difficult and complexity to forecast the groundwater resources, fully stated the traditional methods of groundwater resources forecasting, pointed out the characteristic and applying condition of these forecasting method, introduced the main ideas and methods of wavelet analysis developed recently, and the matlab software be known as the fifths era computer language, and its accessory wavelet analysis toolbox, applied these methods and tools to analyze the groundwater dynamic curve, adopted the b - j method and morte - carlo method, combined with the theory of changeable groundwater resources system, discussed the new view on the forecast of groundwater resources ; ( 5 ) synthetically analyzed the characteristics and limitations of the present all kind of groundwater manage model, combined mathematical programming mathematical statistics random process and the theory of variation system of groundwater resources on the unite optimum attempter of surface water and groundwater, emphasized how to make the model more nicety, more simple, more practicality ; ( 6 ) analyzed the inside condition and outside condition to assure the sustainable and optimum exploi tation of groundwater resources, the inside conditions are the follows : correct resources idea, scientific methods of resources calculation and evaluation, credible forecast methods of resources, exercisable measures of resources management, the outside conditions are the follows : the development idea of high layer, the transform of manage system, the matched policy and rule of law, the adjusted of economy lever, the improve of cultural diathesis, the boosting up of water - saving consciousness and detail measures, the control of population rising, the prevention and cure of water pollute, the renew and rebuild of ecology ; ( 7 ) scan the sustainable and optimum exploitation of groundwater resources from the high level of metagalaxy, earth system science, and philosophy ; lint out the more directions on groundwater resources
基於以上考慮,論文主要從以下幾方面對地下水資源可持續開發問題進行了比較深入的探討:全面回顧了「可持續發展」概念的由來與演變,對國內外「可持續發展」的研究現狀進行了述評,並對「可持續發展」概念的科學內涵進行了深入探討;對涉及地下水資源的一些最基本的概念和命題進行了全面的回顧和評述,對目前仍然存在的一些錯誤觀點和混亂認識提出了自己的見解;全面闡述了地下水資源變值系統理論的內容和意義,並與傳統的地下水資源計算評價方法進行了對比分析,結合實例具體說明了方法的應用;深入分析了地下水資源預測預報工作的極端重要性和復雜性,對傳統的地下水資源動態預測方法進行了全面的評述,指出了各類預測預報方法的特點及適用條件,對最近二十多年剛發展起來的小波分析技術的主要思想和方法及其應用范圍,以及號稱第五代計算機語言的matlab軟體和附帶的小波分析工具箱進行了介紹,並應用於地下水動態過程線的分析,採用時間序列中的b ? j法,蒙特卡羅方法,與地下水資源變值系統理論相結合,探討了地下水動態資料分析和地下水資源預測預報的新思路;綜合分析了現今各類地下水管理模型的特點及缺陷,將數學規劃、數理統計、隨機過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度,使模型更準確、更實用;對保證地下水資源可持續開發的內部條件和外部條件進行了分析,內部河海人學博卜學位論文前言、摘要、目錄條件主要是正確的資源觀,科學的資源計算與評價方法,可靠的資源預測預報技術,可操作的資源管理措施,外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。According to the program structure of ansi c, some syntax - tree - nodes are designed in front - end, including function, block, data structure, type, expression, identifier and so on. syntax tree is divided into three levels, namely program level, function level and block level, which are useful for analysis of syntax and semantic in compiler as well as transferring syntax tree into rtl. retargetable compiler mainly includes intermediate representation, machine description and interface technique between compiler and machine description
編譯前端的實現技術包括詞法分析、語法語義分析和中間代碼生成技術等,針對ansic的程序結構,分別設計了函數、塊、數據結構、類型、表達式、標識符等語法樹結點,並將語法樹分成編譯層次、函數聲明和塊三個不同層次,使語法樹具有清晰的層次結構,有利於編譯程序的語法和語義分析,以及從語法樹到rtl中間表示的轉換。Based on the fem program on fracture of plane structure developed by professor fu xiaoling of ho hai university, a two demension damage and fracture finite program package which is programed in fortran 90 language is developed. the paper adopts the plane - eight - nodes isoparameters element and compute the developing law of the damage and macro - damage of plane structure under load. considering the original damage and tension and compression damage at the same time, the paper adopts the more reasonable concrete constitute relation of two demension and exponent function model
在河海大學符曉陵副教授所編制的平面結構斷裂有限元程序( dl08p4 )基礎之上,本文用fortran90語言編制的二維損傷-斷裂有限元程序包,程序採用平面八結點等參數單元分析計算平面結構在外荷載作用下損傷及宏觀裂縫的發展規律,考慮了混凝土結構體內存在著初始損傷和同時存在的拉、壓損傷,並且採用更為合理的具有損傷含義的混凝土二維本構關系(即正交異性損傷模型中的本構方程)和指數函數模型建立的並可進行拉、壓損傷可比性換算的損傷演變方程,較為真實地反映了實際情況。Based on comprehensively considering the specific features of monitoring configuration software ' s applying, a configuration language - c2000 language is designed, whose compiler and development environment are then fulfilled. the designing, syntax analysis, semantic analysis and intermediate code generating of c2000 are deeply discussed. a virtual machine is also presented and implemented to support the executing of the intermediate code
論文對組態軟體中的用戶編程介面進行了研究,在充分考慮了監控組態軟體的行業應用特點的基礎上,設計了一種組態語言? ? c2000語言,對其編譯器及開發環境的實現方案進行了詳細論述;並對語言設計、語法分析、語義分析,以及中間代碼生成和用來對中間代碼解釋執行的虛擬機等進行了深入的討論,詳細論述了各語法成分的實現,總結了對源程序中錯誤處理的方法。We studied the multimode coupling matrix of the key waveguide discontinuity, waveguide step, with the modal fields expansions in waveguides. and obtained the relations with the multimode coupling matrix, the generalized admittance matrices and the generalized scattering matrices. we have compiled some subroutines in fortran 95 programming language to compute the multimode coupling matrix, admittance matrices, scattering matrices and their operates with each other
並利用fortran95程序設計語言編寫了用來計算波導階梯的多模耦合矩陣、多模耦合矩陣與廣義導納矩陣的級聯、廣義導納矩陣之間的級聯以及廣義導納矩陣和廣義散射矩陣之間的互相換算等的矩形波導平面不連續性模式分析的子程序。My intent for including this information in my book was not to split hairs or try to complicate the issue, but to alert programmers to the danger of assuming pass - by - reference semantics in java applications
我在書中包括該信息的意圖並不是作瑣細的分析或試圖使問題復雜化,而是想警告程序員:在java應用程序中假定「按引用傳遞」語義是危險的。We consider the program as the sequence of blocks, which provider the foundation of coverage analysis. it ensures the consistency for testing semantic defined for many object - oriented languages ultimately. 3. test adequacy measurement
本文提出的塊這個概念是分析程序控制流的基礎,通過將程序劃分為塊的序列,從而從根本上保證了對多種面向對象語言的測試語義的一致性。It is not only important but also very difficult / this paper analyses the form and the feature and the expression of c language switch structure in executable file. a pattern. language is defined to describe the recognition pattern of switch structure boot. the design principle and the realization method are introduced about the recognition program and the recovery program of switch structure
本文分析了c語言開關結構在可執行文件中的形式、特點和表示;定義了一種模式語言,用以描述開關結構引導區識別模板;給出了開關結構識別程序和恢復程序的設計原理及實現方法。We investigated the architectures of three typical computer fault - tolerant systems such as triple modular admixture redundancy system, buildup dual computer comparing system and dual computer comparing system with hot standby, and descript them with the markov model. the reliability and safety model of these fault - tolerant systems are acquired through theoretical analyzing and calculating. with analyzing, we defined the systems " task interval available time section in reason, compared their reliability and safety and evaluated their reliabilities
具體針對三模混合冗餘、增強型雙機比較及帶熱備份的雙機比較三種典型體系結構的計算機容錯系統進行了研究,統一用馬爾可夫模型進行描述,通過理論分析和計算,獲得各體系結構容錯系統的可靠度與安全度的數學模型;通過分析,合理定義了系統的任務工作期區間,並在此區間上比較分析了各體系結構容錯系統的可靠度與安全度情況,從而對各系統的可靠性指標進行了評價;根據上述三種系統的數學模型,在考慮系統故障覆蓋率與維修率兩個參數對系統可靠度與安全度影響的情況下,用matlab語言編制了計算機模擬程序。Existent automatic grading model of programs can not deal with the programs with structural body. in this paper, we study the syntax and concept of structural body based on an existed model, and improve the original model in the following aspects : increasing the middle representation form of structural body in analysis of morphology and syntax and system dependence graph and abstract syntax tree, adding standardization rules, mainly including type definition, nesting structure, initialization, function invocation, renaming and sequence of program sentence, besides standardization rules of bit operation and program with enumeration, enhancing the function of inspecting syntax error and improving matching strategies
本文在原有的編程題自動評分模型的基礎上,對結構體的語法結構和實現原理進行研究,並在以下幾個方面完善原有模型:在詞法和語法分析、程序的系統依賴圖建立和抽象語法樹生成三個方面增加結構體類型的中間表示形式;擴充程序的標準化規則,主要包括類型定義標準化、結構體嵌套結構標準化、結構體初始化的標準化、結構體作為函數參數時函數調用標準化、結構體變量名稱標準化、結構體語句排列順序標準化等等;另外,還增加了位運算標準化、枚舉標準化以及文件的處理;增強學生程序中語法錯誤的檢測和改進程序匹配策略。Bassing on the theory of equivalent calculates, this paper utilizes the data structure and c + + program design language, to analyze the logic structure of proposition formula, designs the saving structu - re that use the broad sense menu chained list, and explored to beg for in this foundation how to carry out its basic operation, thus and further clarifying the computer implementation algorithm of the complicated equivalent calculation
本文針對等值演算理論,通過數據結構和c + +程序設計語言,分析了命題公式的邏輯結構,設計出用廣義表單鏈表的存儲結構,並在此基礎上探討了如何實現其基本操作,從而進一步闡明了復雜等值演算的計算機實現演算法。The automatic grading model of programs is based on idea of program semantic equivalence. its implement process is analyzing the whole source program, transforming program into system dependence graph, and standardizing program of student and template, eliminating diversification of representation forms of equivalent semantic program, computing their semantic similarity, finally grading student programs by some strategies
編程題自動評分模型是基於程序語義等價的思想,對完整源程序進行分析,轉化為程序的系統依賴圖,標準化學生程序和模板程序,消除程序中等價語義表達形式的多樣性,計算它們的語義相似程度,並應用具體評分策略給學生程序進行評分。As a part of the civil 863 plans, two multiple - contact models for two kinds of braking system are built in the paper, in which contact fields are described as coons surfaces, initial velocity is programmed in fortran. the thermal - mechanical coupling braking processes are simulated for the first time by msc. marc, the general - used nonlinear fem software. time distributions of the velocity, the stress and the temperature of the components under various initial velocity and brake force are obtained, which offer theoretic gist to study the life of the wheel, the disc and so on
作為國家行業863重大課題《鐵路機車車輛虛擬樣機系統》的一部分,本文在研究接觸問題和熱?機耦合問題數值方法的基礎上,採用國際上通用的非線性有限元分析軟體msc . marc建立了踏面制動和盤形制動主要部件的多體接觸計算模型,其中用解析方法描述,即用nurb曲線、高斯曲面來描述接觸區域,用fortran語言編寫定義初速度的用戶子程序,首次對兩種制動過程熱?機耦合進行了數值模擬,定量給出了主要制動部件在不同初速度、不同制動力下各個時刻的速度、應力和溫度的變化規律,為研究車輪、閘瓦以及制動盤壽命提供了理論依據。In this paper, a generalized hybrid finite strip method is deduded for analyzing the shear lag effect in box girders. it has the advantage of the generalized finite strip method and hybrid stress element. shear lag effect in thin - walled box girder is analyzed with this method and stiffness matrix of generalized hybrid finite strip element is deduced. a calculating program for thin - walled box girder " s generalized hybrid finite strip method is compiled with fortran language and performed in visual fortran environment of pc computer. a typical example demonstrates that the proposed method has higher accuracy and efficiency, is suitable for analysis of shear lag effect in box girders
本文結合應力雜交元法和廣義有限條法導出一種用來分析箱梁剪力滯效應的廣義應力雜交有限條法,它兼有應力雜交元和有限條法的優點。運用這種方法對薄壁箱形梁的剪力滯效應進行了分析,推導出廣義應力雜交有限條元的單元剛度矩陣,用fortran - 77語言編寫薄壁箱形梁廣義雜交有限條法程序( hfsbg . for )在visualfortran環境下運行。具體算例的數值結果表明:廣義應力雜交有限條法用於計算箱形梁的應力分析具有很好的精度和效率,適合於分析箱形梁的剪力滯效應。As ' to the front end, this thesis does n ' t use the method of syntax directed semantic analysis. instead, it arranges syntax analysis and semantic analysis into different stages in virtue of the equal description of source program. as to the back end, it selects the scheme that a virtual machine executes the intermediate code through interpreting
在對語言編譯器即語言實現方面的研究中,論文總結了編譯器的一般模型,並針對其前端和後端分別選擇了合適的實現方案:前端沒有採用語法制導的語義分析,而是通過對源程序等價表述的引入將語法分析和語義分析安排到不同階段進行;後端選擇了用虛擬機對中間代碼解釋執行的實現方案。The compiled system includes the phrase analysis, syntax analysis, language analysis and generate target code
軟plc的編譯程序包括詞法分析、語法分析、語義分析和目標代碼生成四個階段。The extract process have three steps : constructing echg of java system from java profile, extracting system ' s lexical relational model by scanning source code and analyzing the polymorphism calling location, constructing the semantic model by rule - based model mapping of lexical model
抽取過程有三個階段:構造系統的echg ,掃描程序的源代碼和多態點分析得到系統的詞法層次模型,通過基於規則的推理轉換詞法模型為語義模型。In this paper, it first defines the rule of basic structures in xyz / e, analyzes the analogies between xyz / adl design elements and uml modeling elements and defines the conversion rule, and uses uml extension mechanism and object constraint language to perfect the conversion. and then it selects class diagram and composite structure new in uml2. 0 for research, defines how to convert them to xyz / adl. there has been some research for the conversion from uml state machine diagram, activity diagram and sequence diagram to xyz / e
本文具體工作如下:從xyz / adl到uml的轉換,首先定義了xyz / adl的語義基礎? ? xyz / e的基本結構到uml的轉換規則,接著通過分析xyz / adl的設計元素和uml建模元素之間的語義相似,定義了二者之間的轉換規則,並用uml的擴展機制和對象約束語言ocl描述進一步的約束來完善相應的轉換過程;另外對于從uml到xyz / adl的轉換,本文著重對uml類圖進行研究,定義了從uml類圖到xyz / adl的轉換機制,也對uml2 . 0新增加的組成結構圖到xyz / adl的轉換進行了定義,同時亦對國內已經開展的uml狀態圖、活動圖、順序圖到xyz / e的轉換機制研究作了簡要介紹。This paper will analyze and compare advantages and disadvantages of these two programming languages : java and fortran, clarify the practical significance of implementing supporting fortran parallel programming in the jme, and expatiates on several key problems and how to solve these problems : keeping working nodes isomorphic, parallel programming, distributing and executing task, collecting results, etc. this paper also discusses how to implement user management. at last this paper gives users some advice on programming in the jme on the basis of analyzing results of testing jme
本文分析比較了java和fortran兩種程序設計語言的利弊,闡述了jme元計算環境支持fortran并行程序設計的意義,並針對實現這種支持的保證工作機同構、并行編程支持、程序的分佈執行、結果回收等幾個關鍵問題做了詳細闡述;然後就用戶管理功能的實現做了討論;最後在分析jme系統測試結果的基礎上,對用戶編程給出了一些建議。Like parsing, this example from compiler writers can be applied to other programs, which often stipulate semantic - level invariants over their input data as in our example
象語法分析一樣,編譯器編寫者的這個示例可以應用於其它經常在其輸入數據上規定語義級別不變量的程序。分享友人