語法公式 的英文怎麼說
中文拼音 [yǔfǎgōngshì]
語法公式
英文
grammar formula-
Graphic technology - graphic arts transmission densitometry measurements - terminology, equations, image elements, and procedures
圖形技術.圖形工藝傳輸光密度測定.術語公式圖象元素和方法The research reveals that linguistic politeness in arguments in american courts shares great similarities with that in chinese courts ; negative politeness strategies are most frequently employed by lawyers, followed by positive politeness strategies and off record strategies. it is also found that such linguistic means as hedge, impersonalize s and h, give reasons, give deference, rhetorical questions and include both s and h in the activity are most favored by chinese and american lawyers
中美律師在法庭辯論中最常用的是消極禮貌策略，其次是積極禮貌策略和非公開的禮貌策略；律師最常用的實現禮貌的語言形式依次是：模糊限制語、說話人和聽話人非個人化、提供原因、表達尊重、設問以及把說話人和聽話人都包括在同一項活動中等。Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )
第三部分：關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊）中引進量詞和謂詞，建立格值模態一階邏輯系統lmf （廣並給出其語又解釋和語法結構，證明了系統的可靠性和協調性；另外，為了判斷公式的可滿足性，定義了格值模態一階公式的skolem標準型和體解釋；在此基礎上，對基於系統lmf （ ）的a一歸結原理進行了初步探討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.
在模糊文本分類的基礎上，對分類結果進行了分析，將分類錯誤歸結為兩種類型，並針對這兩種情況提出了隸屬度更新演算法，結合模糊語義關聯度的分類演算法提出了運用更新公式不斷對分類結果進行校驗糾錯進而逐漸地構造分類器的演算法。When ungrammatical expressions of a language become prevalent in society, they will gradually becomes accepted by the public
當某一語言中的一些不符合語法的表達方式流行於社會時，這些表達方式往往會逐漸地被公眾所接受。In communicaton the bandwidth is an important problem that we should consider, specially in wireless communication. in fact the fiber is mainly used in backbone networks, so it is essential to develop the low rating coding technology of voice. the arithmetic of melp is based on the model of lpc and use the form of mixed excitation. because it integrates the idea of multi - band, so it has the merit of lpc and mbe. it is a perfect coding scheme in low rating voice coding relatively
而melp語音壓縮編碼演算法是在線性預測編碼參數模型的基礎上，採用混合激勵的形式，並且結合了多帶的思想，因此它擁有線性預測編碼和多帶激勵的優點，是目前低速率語音編碼中一種比較理想的編碼方案，也是本文研究的重點。本論文通過研究melp的語音編解碼演算法的原理，對它的編解碼過程作了比較深入的研究，對其中的一些公式進行了理論推導，並作了模擬分析，最後研究了該演算法的c語言實現。In this thesis, based on activity based classification, there are three subjects to be researched, that is, how to build and express cost caculation rules, how to support many caculation methods and how to support more quick and accurate cost caculation. moreover, this thesis lucubrates a flexible cost cacaulation model. this model bases on advanced cost theory - - activity based classification, and it includes the building of abc ' s cost caculation model, the receptions " automatical accumulattion and transformation rules, the storage and use motivating causes rules, the diverse cost distribution and supporting many cost caculation methods. besides, the model brings forward rules about cost information transformation and accumulattion, rules about keeping business records, rules about motivating causes ’ accumulattion, rules about cost distribution and formula language. what ’ s more, it builds a rule engine, and all of these make this model meet enterprises ’ demand for using many cost caculation methods, and then simplify operators ’ operation. also, it can realize cost accumulated more accuratly, keeping business records more promptly and cost analysed more intensively, and then give supports to enterprises ’ further decision with related data. in the third chapter, it expounds the design and realization of this flexible cost cacaulation management system, and use one model case to validate its legitimacy, which explains that with j2ee technology and mvc design pattern, this system has good features of reuse and adaptability. at last, it introduces its application in china resource alcohol co., ltd
本文以作業成本法為理論基點，圍繞著如何建立成本核算規則並給予表達、如何支持多種成本核算方法以及如何提供更為快捷、精確的成本核算等三大主題展開深入的研究，並建立了多適應性成本核算模型。該模型以先進的成本核算方法作業成本法為理論基礎，涵蓋了從作業成本核算模型的建立到成本單據自動歸集轉換等規則的提取，從動因量存儲使用等規則的建立到成本多樣化分配以及支持多種成本計算方法等全部內容。在對成本核算規則進行分析和表達的基礎上，該模型提出了基於作業成本法的成本信息轉換存儲規則、記賬規則、動因量歸集規則、分配規則以及計算公式語言，並建立了基於這些規則的規則引擎，從而使得該模型能夠滿足企業多種成本計算方法的需求，簡化了企業人員的操作過程，並且實現了更為準確的成本歸集，更為迅速的成本制單，以及更為細化的成本分析，為企業的進一步決策提供了有力的數據支持。Terminal equipment. syntax - based videotex lower layer protocols using packet mode access over the public switched telephone network
終端設備.在公共交換電話網路上使用文件包方式存取的基於語法的電視電文低層協議This paper try to mix the finite strip method and hybrid stress element, and deduce a numerical and computer method which combines the advantages of the two methods - mixed hybrid finite strip method ; analyze the intensity and stability of the orthotropic plate by this method ; deduce the formula of the orthotropic plate ' s analysis and calculation under this method ; compile the program of orthotropic plate ' s mixed hybrid finite strip method ( hfsop. for ) with fortran - 77 language, and perform them under fortran90 environment of pc computer ; comparing with traditional methods by example of computing, prove that the mixed hybrid finite strip method have better degree of accuracy, moderating the stiffness of plate, coming more close to actual conditions, avoiding over - hard or over - soft ; finally, this paper analyze the stability of a orthotropic plate by this method, and deduce the - value of critical stress
論文將有限條法和應力雜交元法兩者結合起來，導出一種兼有兩者優點的數值計算方法? ?混合雜交有限條法。運用這種方法對正交異性板的強度和穩定進行了分析，推導出正交異性板在這種方法下的分析計算公式，用fortran - 77語言編寫正交異性板混合雜交有限條法程序（ hfsop . for ）在微機fortran90環境下運行。通過算例與傳統的方法比較，驗證混合雜交有限條法有更好的精度，使板的剛度適中，更接近實際情況，避免「過硬」或「過軟」 ；最後，論文還用此方法對一正交異性板進行了穩定分析，得出臨界應力值。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對稱鑰協議進行了形式化建模與模型檢驗，發現了它們的安全漏洞。In this paper, the method of compensation was used in the module of the offset coefficient to modify the matrix of resistor. it enhances the speed of calculation. and, the c + + language was used in the traditional setting programming
其中，在分支系數計算模塊中，採用補償法來修改阻抗矩陣，大大提高了計算速度；在整定計算模塊，把傳統的整定公式和c ~ （ + + ）語言相結合，減少了工作量。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 + +程序設計語言，分析了命題公式的邏輯結構，設計出用廣義表單鏈表的存儲結構，並在此基礎上探討了如何實現其基本操作，從而進一步闡明了復雜等值演算的計算機實現演算法。I have chosen to highlight chairman ' s statement to shareholders, which is one of the two major verbal blocks of the annual report. it sets out to explore the patterns of lexico - grammatical choices in chairman ' s statement to shareholders and what the patterns reveal about the two major objectives. an added dimension of research is how the patterns differ between companies and sectors
本論文以年報中兩個主要言語板塊之一的董事長致辭為語料，建立了語料庫，應用功能語法理論對其進行分析，旨在找出：體現在董事長致辭中的詞匯語法模式及這些模式是如何實現年報的兩個主要目標的，即披露信息的同時塑造公司印象，以及這些模式體現在不同行業之間的差異。Abstract : on the basic assumption of wencal, using pre - param eter method, the equation calculating multi - element beam of different section and ela sticity modulus on different groundsill are given in this paper. the programming language is qbasic. the results of example show that the calculation is correct and reasonable
文摘:依據文克爾基本假定，利用初參數法推導出不同地基及不同地基梁截面彈性模量的多單元彈性地基梁計算公式，並用已編制的qbasic語言計算程序，通過實例計算，結果正確、合理Which is a little magic formula that helps the syntax converter get the context correct
，這是一個小公式，幫助語法轉換器獲得正確的上下文。You are also notified if your formula has a syntax error
如果公式的語法有誤，系統也會通知用戶。After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively, the correctness of uml statecharts can be verified using automaton - based model checking method
在把根據eha操作語義得到的標記遷移系統和表示性質的線性時態邏輯公式分別轉換為b chi自動機后，用基於自動機理論的模型檢驗方法驗證umlstatecharts的正確性。The paper derived the formulae for the strain response mode with the knowledge of dynamics of structures, of materiaj mechanics, of elastic mechanics, and pointed out their use range. a computer program is worked out with fortran power stations 4. 0, it can compute the characteristic value, the characteristic vector and the strain mode for a bridge structure, and it is verified correct
論文綜合結構動力學、材料力學、彈性力學等知識推導出橋梁結構應變響應模態模型的數學公式，指出了該方法的適用范圍，基於fortranpowerstation4 . 0計算機工作平臺，用fortran語言編制了能h算橋梁結構特徵值及特徵向帛羽小於變模態的哭小m序。Latex can process semantic mathematical formulae into images, but those images cannot be directly displayed on most web browsers
Latex可以將語義數學公式處理成圖像，但是無法將那些圖像直接顯示在大多數web瀏覽器中。Column. use custom formulas and functions in addition to the functions and operators that the integration services expression grammar provides
除integration services表達式語法提供的函數和運算符之外，還可使用自定義公式和函數。分享友人