規約語言 的英文怎麼說

中文拼音 [guīyāoyǔyán]
規約語言 英文
specification language
  • 規 : Ⅰ名詞1 （畫圓形的工具） instrument for drawing circles 2 （規則; 成例） rule; regulation 3 [機械...
  • 約 : 約動詞[口語] （用秤稱） weigh
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 言 : Ⅰ名詞1. （話） speech; word 2. （漢語的一個字） character; word 3. （姓氏） a surname Ⅱ動詞（說） say; talk; speak
  • 語言 : language
  1. Speaking on the kidmans ' behalf, joe becket of the mountain states legal foundation in denver says the family asked employees to sign a language policy in the summer of 2000

    設在丹佛的山區各州法律基金會的喬?貝克爾以基德曼一定的名義發表意見，稱基德曼一家於2000年夏曾要求員工簽了一份遵守餐館相關語言規定的約定。
  2. The head of the hong kong office of a leading new york firm agreed, adding that, despite the broadness of the language, it was clear to him the chinese law firms were most concerned about a particular subset of foreign firms

    這家大規模的紐約律師事務所香港分所負責人說，盡管語言偏激，但清楚表明中國律所非常注意外國律所的特定業務。
  3. Based upon previous studies on speech acts and legal speech acts by austin ( 1962 ), searle ( 1975 ), and trosborg ( 1995 ), legal speech acts are classified into three types : explicit, conventionalized and implicit

    本文還提出，可以根據其中施為動詞的有無、施為用意的強弱把法律言語行為劃分為顯性、規約性和隱性三大類。
  4. This article mainly has two parts : first is the critique part, i will criticize in this part and it will be pointed out that when the reductional research plan will face the dualism ' s difficult situation of the explanation viewpoint and the language game, it tries only to avoid to pay the price of epiphenomenon

    摘要本文主要有個兩部分：首先是批判性的部分，在此部分我將批判地指出，化約主義的研究計畫在面對解釋觀點與語言游戲的二元論困境時，僅能規避付出伴隨現象學的代價。
  5. We will reach the essence of it in this chapter by reading the leading cases such as the merak [ 1965 ] and the annefield [ 1971 ], which reflect the attitude of english court towards general incorporation clause and special incorporation clause ; the miramar [ 1984 ] and the rena - k [ 1978 ], which reveal the verbal manipulation regulations on incorporated clauses from c / p ; the sannicholas [ 1976 ], which gives resolution when the incorporation clause fails to point out the c / p meant to incorporate

    本文在分析英國典型案例的基礎上對這些規定逐一予以分析。首先，通過merak案、 annefield案的分析介紹英國法對一般併入條款和特別併入條款的規定；其次，通過miramar案、 renak案的分析揭示英國法對意圖被併入提單的租約條款作語言調整的規定；最後，通過sannicholas案闡明英國法在併入條款未指明提單意圖併入哪一份租約時的處理方式。
  6. Lfc is yet another functional programming language which has many characteristics, such as good mathematics basis, reference transparency, no side effect, pattern matching, etc. in theory, an algorithm of enumerating sentences of cfg is presented

    本文工作主要是研究形式規約語言lfc的實現和應用，另外還包括一個上下文無關語言句子枚舉演算法。在理論方面，提出了一個上下文無關語言句子枚舉演算法。
  7. Many approaches developed offer approximation solutions, including principle - based, such as purely syntactic ones, semantic and pragmatic ones, and statistics - based ones. in this paper, we put forward a modal to resolve anaphora ( including empty pronoun ) based on the characteristics of chinese. in this method, we apply some corresponding rules on the sentences after their patterns distinguished in the text, then analyze the semantic relation of the components of the sentence and form a corresponding semantic network, get rid of some candidates according to the co - constrain of the nodes in that network, put every component which refers to people into forward - looking centers, ordered by their semantic role, ascertain the hierarchy of sentences, analyze the transition types resulted by the scheme of different resolutions, finally, choice the most possible scheme of resolution according to the precedence of the types

    本文針對漢語的特點建立了一個包括零代詞在內的代詞消解模型:在語義結構文法思想的指導下，對文本中的句子模式識別后，採用相應的規則式，然後分析句中成分之間的表層語義條件並產生相應的語義網路，利用語義網路中結點間的相互約束對代詞的某些候選先行詞進行排除，並且把每句中指人的語言成分放到前向中心列表中，以它們所充當的語義成分為排序依據，確定句子的層次結構，最後依據中心理論分析每個候選先行詞對代詞的不同消解所造成的層次相鄰的句子之間的過渡類型，利用過渡類型的優先順序對代詞的候選先行詞進行擇優。
  8. The first part is a brief survey of the history of contract before tang dynasty

    前者注重規範本身的語言分析，後者關注契約在實踐中的具體運用。
  9. At the same time modeling concepts of i * framework and albert ii language are different, this goes against the transforming from model of organizational requkements to specification of system requkements

    但是i ~ *框架和albert語言所用的建模概念不同，這不利於組織需求模型到系統需求規約說明的轉化。
  10. The lexical culture connotation is the conventional cultural implicit information in russian linguistics research

    在俄語語言學研究中詞匯文化伴隨意義是規約性文化隱含。
  11. Vagueness is the inseparable feature of human language, which extensively exists in various language variation, including legal language, and which destroys the exactness in language

    摘要法律語言作為一種具有規約性的語言分支，有其獨特的語言風格，而其中最重要的特點就是準確性。
  12. In actual language interactions, the speaker often makes use of, if not manipulates conventional politeness memes to make salient his or her polite intention, whereas the hearer often goes beyond the conventional meaning or literal meaning of linguistic politeness memes to understand and interpret the communicative intention intended by the speaker before making politeness evaluations

    在現實生活中，說話人完全有可能利用甚至調控大多數人所認同的規約性禮貌模因來凸顯自己的禮貌意圖，聽話人則經常透過語言模因的規約意義或字面意義來解讀說話人意欲傳遞的交際意圖，從而對說話人的語言模因重新做出禮貌、非禮貌或不禮貌的評價。
  13. Huang wenji ( computer software & theory ) directed by dong yunmei the implementation and application of formal specification language lfc are studied in this thesis

    Lfc是以上下文無關語言上的遞歸函數（ cfrf ）理論為基礎的形式規約語言，能較好地支持形式規約的獲取和檢驗。
  14. To picture the structure accurately, i use rsl. raise is a series of tools and convert technology on this kind of specification language and form a very rigorous approach

    Raise （ rigorousapproachtoindustrialsoftwareengineering ）是在一個廣譜的規約語言的基礎上，提供一系列工具和轉換技術，形成一種開發軟體的嚴格方法。
  15. This paper formalizes analysis patterns with raise. after analyzing static structure diagram, present a definite specification by raise language and analysis patterns " formal specifications. the formalizing is a foundation of reusing analysis patterns efficiency and automated tools

    在對分析模式的靜態結構圖進行分析后，給出使用raise規約語言的描述定義，並對具體的分析模式進行形式化描述，為有效復用分析模式提供有力的保障基礎，為分析模式的自動工具支持提供基礎。
  16. The reading material ( namely written language ) is the language rule which is rigorous according to the one whole set, is established by usage organizes the writing mark

    閱讀材料（即書面語）是按一整套嚴謹的、約定俗成的語言規則將文字元號組織起來的。
  17. Wap provides an open, global wireless protocol specification based on existing internet standards, such as xml extensible markup language and ip internet protocol, for all wireless networks. using wap technology, internet content can be easily brought to our mobile phones or other wireless devices

    無線應用系統規約是根據現行網際網路的標準，例如：可延長標示語言extensible markup language ，簡稱xml及聯網規約internet protocol ，簡稱， ip ，發展為所有無線網路的開放及全球性的無線傳訊技術規約的規格。
  18. Wap provides an open, global wireless protocol specification based on existing internet standards, such as xml ( extensible markup language ) and ip ( internet protocol ), for all wireless networks. using wap technology, internet content can be easily brought to our mobile phones or other wireless devices

    無線應用系統規約是根據現行網際網路的標準，例如：可延長標示語言（ extensiblemarkuplanguage ，簡稱xml ）及聯網規約（ internetprotocol ，簡稱， ip ） ，發展為所有無線網路的開放及全球性的無線傳訊技術規約的規格。
  19. I regard qsim as a kind of constraint satisfaction problem ( csp ), and improve the qualitative simulation algorithm by constraint logic programming ( clp ). fuzzy qualitative simulation develops conventional qsim on several facets, such as representation of qualitative value, state transition rule and filtering algorithms. it bridges the gap between pure qualitative and quantitative, and improve the efficien

    前者是將定性模擬演算法看作一類約束滿足問題，用約束邏輯程序加以改進，不僅為解決定性模擬問題提供了邏輯框架，而且也是一種規范化的程序描述語言；模糊定性模擬演算法則是對純定性模擬演算法在知識描述、狀態轉移規則、過濾演算法等方面的改進，是一類半定量描述方法，有利於在定性模擬領域綜合定量信息，同時提高演算法的效率。
  20. Butmr verrechia said inland china still seemed more attractive thanshifting production to neighbouring vietnam, which was limited by itssmaller size, language issues and a lack of support services andinfrastructure

    不過，維里克查爾表示，在業務搬遷方面，中國內陸地區依然比鄰國越南更具吸引力。國土規模、語言問題、支持服務和基礎設施的缺乏，都制約了越南的競爭力。
分享友人
分享到 Line

分享到臉書