運算語義 的英文怎麼說

中文拼音 [yùnsuànyǔyì]
運算語義 英文
operational semantics
  • 運 : Ⅰ動詞1 （物體位置不斷變化） move; revolve 2 （搬運; 運輸） carry; transport 3 （運用） use; wield...
  • 算 : Ⅰ動詞1 （計算數目） calculate; reckon; compute; figure 2 （計算進去） include; count 3 （謀劃;計...
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 義 : Ⅰ名詞1 （正義） justice; righteousness 2 （情誼） human ties; relationship 3 （意義） meaning; si...
  • 運算 : [數學] operation; arithmetic; operating
  • 語義 : semanteme; semantics
  1. 11 katoen j - p, langerak r, latella d, brinksma e. on specifying real - time systems in a causality - based setting. lecture notes in computer science 1135, 1996, pp. 385 - 405. 12 fecher h, majster - cederbaum m, wu j. refinement of actions in a real - time process algebra with a true concurrency model

    在系統模型的結構表示上，本文擴充了傳統的事件結構，使用一種帶時間信息的捆綁式事件結構來模擬系統行為，在系統模型的語言刻畫上，本文採用的是帶時間的類lotos進程代數描述語言，對于動作精化，我們同樣採用運算元的觀點，將動作精化定義為一個操作運算元。
  2. We analyze the classifying results based on the fuzzy text classifying, think the wrong classifying results can be divided into two styles, and we propose a subordinative degree update algorithm aim at the two instances. combined the nizzy semantic relationship classifying algorithm, we propose the gradual classifier construction algorithm through checkouting and correcting the wrong results constantly with the update formula.

    在模糊文本分類的基礎上，對分類結果進行了分析，將分類錯誤歸結為兩種類型，並針對這兩種情況提出了隸屬度更新演算法，結合模糊語義關聯度的分類演算法提出了運用更新公式不斷對分類結果進行校驗糾錯進而逐漸地構造分類器的演算法。
  3. In this paper, a lot of researches and exploration are applied to studying the universality and expansibility of hardware and the arithmetic design and code optimization of software. especially, all of the following arithmetics or conceptions are worked out in the research of software design : self - adaptable compression arithmetic based on dictionary model for data collection system, similarity full binary sort tree, a optimized quick search arithmetic and an improved arithmetic of multiplication in the floating - point operation. and all of the arithmetic are designed with mcs - 51 assembly language. the quick search arithmetic, in which merits of both binary search and sequence search are used fully, are based on the specialty of preorder traversal in similarity full binary sort tree

    特別在軟體設計研究中，提出了適用於數據採集系統的數據壓縮演算法? ?基於字典模型的自適應壓縮演算法；提出了類滿二叉排序樹的定義；提出了基於類滿二叉排序樹的先序遍歷特性的最優化快速查找演算法，它充分利用了折半查找和順序查找各自的優點；提出了浮點運算乘法的改進演算法；並在mcs - 51匯編語言層次上對所有的演算法加以實現。
  4. Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ), f ( will ), h ( ever always ) and g ( will always ) into lp ( x ), put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance, gave detailed semantic interpretation and syntax structure, and discussed some properties of it, then proved soundness theorem and consistence theorem. furthermore, studied ( a, t ) - resolution principle which is related to time, gave some rules of computing tense resolvent, and put forward the method of tense resolution

    第二部分：關于格值時態命題邏輯系統及其歸結方法的研究此部分的主要工作是在格值命題邏輯系統lp （ x ）中引進時態運算元e （曾經） 、 f （將會）及其對偶運算元h （曾經總是） 、 g （將會總是） ，提出了以時軸為語境的格值時態命題邏輯系統ltp （ x ） ，並給出其具體的語義解釋和語法結構，並討論了它的一些性質，證明了該系統的可靠性和協調性。
  5. The ambiguity of automatic indexing has been decreased for special stop - words to be got pretreatment. the time of automatic matching has been shortened by shortest word pushing method. so maximum matching ( mm ) algorithm of automatic indexing has been improved in specifically application field

    2 .提出並構建了k一s一c主題概念的語義關系，進而運用於xmarc文本的自動標引，通過預處理特義禁用詞以減少分詞歧義性，採用短詞推進抽詞方法以縮短標引時間，改進了傳統的mm （ maximummatching最大匹配）自動標引演算法。
  6. Refinement to the rbac96 model, which has resulted in an improvement to ex - design of yx - ccmis, which includes : ( 1 ) introduction of two types of " mutually exclusive relationship " in role set : static and dynamic, which can be used in role assignment operation and role control. ( 2 ) introduction of context constraints, which remedies the incapability of reflecting the restricted characteristics of roles in some conditions for the rbac96 model

    研究與分析了rbac96模型，從實際應用的角度對其進行了完善，包括採用了在角色集上定義兩種互斥運算（靜態與動態）的方式，使rbac96模型中的職責分離得到了直接的體現：引入了語境（ context ）約束，反映了角色在一定條件下所受的限制。
  7. If there is a semantic error in your program, it will run successfully, in the sense that the computer will not generate any error messages, but it will not do the right thing

    如果你的程序中有語義錯誤，程序會成功的運行，計算機不會提示任何錯誤信息。
  8. Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ), the author studied semantic and syntax properties of generalized lattice - valued modal logic system, and probed into a - resolution principle. the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part, we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ), set up a new lattice - valued modal propositional logic system lmp ( x ), studied its semantic properties and syntax structure, proved the soundness and consistence of this system. based on these work, discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ), gave out the rules of computing a - direct resolvent and a - self resolvent, and proposed detailed resolution method

    本文在格值命題邏輯系統lp （ x ）和格值一階邏輯系統lf （ x ）的基礎上，討論了廣義格值模態邏輯系統的語義及語法性質，並對其-歸結原理做了初步探討，主要在下述三個方面取得了研究成果：第一部分：關于格值模態命題邏輯系統及其歸結方法的研究在此部分，把模態運算元n （必然）和p （可能）引入格值命題邏輯系統lp （ x ） ，建立了新的格值模態命題邏輯系統lmp （ x ） ，並研究了它的語義刻畫及語法結構，證明了在此語義解釋和語法框架下的系統仍是-可靠的和協調的；在此基礎上，進一步研究了基於格值模態命題邏輯系統lmp （ x ）的-歸結原理，給出了計算-直接歸結式和-自歸結式的規則，並總結出具體的歸結方法。
  9. 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

    本文在原有的編程題自動評分模型的基礎上，對結構體的語法結構和實現原理進行研究，並在以下幾個方面完善原有模型:在詞法和語法分析、程序的系統依賴圖建立和抽象語法樹生成三個方面增加結構體類型的中間表示形式;擴充程序的標準化規則，主要包括類型定義標準化、結構體嵌套結構標準化、結構體初始化的標準化、結構體作為函數參數時函數調用標準化、結構體變量名稱標準化、結構體語句排列順序標準化等等;另外，還增加了位運算標準化、枚舉標準化以及文件的處理;增強學生程序中語法錯誤的檢測和改進程序匹配策略。
  10. Visual basic 2005 introduces new language features, including loop continuation, guaranteed resource disposal, mixed access properties, unsigned and nullable data types, operator overloading, partial and generic types, custom events, and

    Visual basic 2005引入了一些新的語言功能，其中包括循環延續、有保證的資源處置、混合訪問屬性、無符號數據類型和可空數據類型、運算符重載、分部類型和泛型類型、自定義事件以及
  11. The expression grammar defines expression syntax and the operators, functions, and data types available for use in expressions

    表達式語法定義表達式中所用的表達式語法和運算符、函數以及數據類型。
  12. This language implements the syntax definition, such as report data source sql operations between data and report conditions etc. the report data files can be gotten after the data parser parses the report data definition file with dom

    本文重點描述了基於xml的自定義報表數據語言xrdl ，該語言實現了報表數據源sql 、數據間的運算、報表條件、合計等語法定義。
  13. Normally, management / business games are designed to model reality ( with corresponding business date ) more accurately than computer - simulated scenarios in which the connection with reality is given only loosely via the semantic embedding of the problem

    通常，管理/商業運營程序相比計算機模擬方案，更精確地設計為模型的真實性（使用相應的商業數據） ，在計算機模擬方案中，這種與真實性的連接僅僅是通過問題語義上的嵌入而泛泛地給出。
  14. Firstly, it introduces the development of speech coding, along with the significance of the low bit rate speech coding. it also compares the model of traditional dualistic excitation lpc vocoder and the multi - band excitation vocoder, and lucubrates the analytical method of frequency domain and time domain in the parameter extraction of multi - band excitation vocoding. secondly, based on the parameter extraction operation of keynote cycle, it adopts time domain in rough estimate operation of keynote and frequency domain in fine estimate operation of keynote, in according to the immediacy required in practice, to minish operation amount

    本文闡述了一種基於fpga的多帶激勵語音編碼器的研究與設計，首先介紹語音編碼研究的發展狀況以及低速率語音編碼研究的意義，接著對比分析了傳統二元激勵lpc聲碼器模型和多帶激勵編碼器模型，並深入研究了多帶激勵語音編碼參數提取的頻域和時域分析法，然後根據實際應用的實時性要求，為了減小運算量，在基音周期參數的提取的演算法實現上，本文採用在時域進行基音粗估運算，在頻域進行基音精細估計運算。
  15. Xml / rdf can explicitly describe the unite, structure and formalization of different sorts web information sources, and it considers the objects of web environment as < wp = 8 > resources and sets down unambiguous grammar and semantic, meanwhile it makes us research and develop new web mining technologies and use traditional mining algorithms and tools to carry out specific and multi - arrangement data mining, based on programming and structure data

    Xml / rdf能夠明確描述網上各種信息源的統一性、結構性和規范化，它把網路環境中的對象視為資源，並制定了明確的描述性語法和語義，使我們能夠在一個規劃化、結構化的統一數據層面上，研究和開發新的網路挖掘技術，同時可以運用傳統的挖掘演算法和工具對各種目標資源進行特定的多種層次的綜合數據挖掘。
  16. This paper embarks on from rationalism natural language processing and proposes the method of expressing concept using the dynamic attribute set according to the theory of conceptual dependency and complex attribute set. then the paper briefly analyzes the process of constructing the dynamic attribute set via unification, proposes the matching theory that conceptual attribute set can be applied to information retrieval, and basically discusses the realization of information retrieval based on this theory. finally the paper concludes that the necessary and sufficient condition that a document matches a query is that the document must contain all the conceptual bases that appear in the query and be consistent with the relationship among conceptual bases in query

    本論文從理性主義自然語言處理出發，根據概念依存理論和復雜特徵集提出了概念的動態特徵集表示方法，簡單的分析了利用合一運算構建動態特徵徵集的過程，提出了一種將概念特徵集應用於信息檢索的匹配理論，初步探討了基於該理論的信息檢索的實現，通過匹配過程的深入分析得出文檔與查詢語句相匹配的充要條件是文檔必須蘊含查詢語句所包含所有概念基並且必須與查詢語句中的概念基之間關聯關系相匹配的結論。
  17. Mdx provides data definition language statements ; data manipulation language statements ; scripting language statements for managing scope, context, and control of flow within mdx scripts ; operators and functions for the manipulation of data retrieved from multidimensional objects ; and the capability to extend mdx with user - defined functions

    Mdx提供了數據定義語言（ ddl ）語句，數據操作語言（ dml ）語句，用於管理mdx腳本中的作用域、上下文和流控制的腳本語言語句，用於操作從多維對象檢索的數據的運算符和函數，以及通過用戶定義函數來擴展mdx的能力。
  18. This system follows the principle of intelligent, open, hierarchical and specialized, utilizing knowledge furthest. here, knowledge contains parameters library, shapes library, rules library and human assistance. in this system, we define a pattern description language to describe shapes based on line we also define line ' s attributes and operations

    系統中定義了一個模式語言描述，以線為基礎來描述圖形，並定義了圖形的屬性和運算，為該類圖形提供了一個高效的描述工具。
  19. Column. use custom formulas and functions in addition to the functions and operators that the integration services expression grammar provides

    除integration services表達式語法提供的函數和運算符之外，還可使用自定義公式和函數。
  20. However, if you are implementing a reference type that is intended to have value semantics, such as a complex number type, you should override the equality operator

    ，也不應重載相等運算符。但是，如果實現的引用類型將具有值語義（如復數類型） ，應重寫相等運算符。
分享友人
分享到 Line

分享到臉書