語言擴充 的英文怎麼說

中文拼音 [yánkuòchōng]
語言擴充 英文
apl extension
  • : 語動詞[書面語] (告訴) tell; inform
  • : Ⅰ名詞1. (話) speech; word 2. (漢語的一個字) character; word 3. (姓氏) a surname Ⅱ動詞(說) say; talk; speak
  • : 動詞(擴大) expand; enlarge; extend
  • : Ⅰ形容詞(滿; 充足) sufficient; full; ample Ⅱ動詞1 (裝滿; 塞住) fill; charge; stuff 2 (擔任; ...
  • 語言 : language
  • 擴充 : expand; augment; enlarge; extend; strengthen
  1. Uml is the convergence of best practices in the object - technology industry. and it is a rich ; precise, extensible modeling language for object - oriented system development and software developing automation environments. uml is the representation of excellent software engineering methodology which is approbatory in large - scale and complex modeling field

    它涵蓋了面向對象的分析、設計和實現,融合了早期面向對象建模方法和各種建模的優點;為面向對象系統的開發、軟體自動化工具與環境提供了豐富的、嚴謹的、性強的表達方式。
  2. We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features

    基於這些準則,對一個簡單的半結構數據查詢核心法提出了兩方面;給出了計算數據圖中正規表達式的演算法;對半結構數據查詢的一階邏輯描述、結構遞歸和數據圖的雙態模擬( bisimulation )等問題進行了研究,提出了一種判定數據圖的bisimulation演算法;在xml數據查詢研究的基礎上,設計並實現了一種具有數據庫查詢特性的web查詢系統原型。
  3. 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進程代數描述,對于動作精化,我們同樣採用運算元的觀點,將動作精化定義為一個操作運算元。
  4. The latter is paid more attention, which automatically acquires lexical context - specific expansions from the web, making full use of the context and high lever natural language processing technology, such as syntax analysis. this method includes two main stages : candidate expansion extraction and expansion validation, both of which mine the web using a search engine. by means of the two stages, we get very high expansion precise thus making the user profile constructed more plentiful and precise

    該方法以網際網路作為信息來源,分考慮了待展詞所在的上下文,並融合了句法分析等高層自然處理技術,通過展和確認兩個主要步驟,逐步求精,使展的精度很高,從而在只有少量需求描述的情況下,使初始化構造的用戶模板更加準確和豐富。
  5. Formal methods has gained huge popularity in real - time system domains. z is a wide used formal specifiation and calculated to describe the real - time system, however, it is not designed to model aspects of the dynamic behaviour. it is significant to extend z to suit requirement for real - time applications

    形式化方法在實時系統的開發過程中的使用也越來越多, z是一種廣泛應用的形式化規格說明,然而,它並不是為處理系統的動態行為而設計的,因此對z進行以適應實時應用的需要是非常重要的。
  6. In addition, the paper designs a bottom database model, selects a multi - aim strategy combining files with known data, and establishes dual interaction data model that has explicit conceptual structure and directly aims to geographic objects, and provides backing up enquiry language ( g - sql ). simultaneously, after analyzing and studying methods available for the under pipelines, the paper constructs survey adjustment calculation model, and according to the model, checks the survey of under pipelines. the results indicate that the model is suitable to actual requirement because it greatly increase calculation speed, meeting calculation accuracy requirement

    在此基礎上,對系統的底層數據模型進行設計,選擇了文件與成熟數據庫相結合的混合策略,併兼顧面向對象的數據庫( oodb )和可數據庫( edb )的特點,建立了一個概念層次清晰、面向地理對象實體的雙層義數據模型以及支持模型的查詢g - sql ,同時對地下管線的各種測試方法進行分析研究,建立了地下管線測量平差計算模型,並以此對所勘測的地下管線進行核算,計算結果表明,計算模型不僅大大提高了核算的速度,同時在計算精度上也符合核算的要求,是符合實際要求的關于測量平差計算的模型。
  7. Infopal provides extensions and useful recipes for managing bookmarks, accessing weblogs, and even acting as a web proxy in order to block out unwanted ads and automatically translate pages in foreign languages

    Infopal提供了很多展軟體和實用配方用來管理書簽,訪問網路記錄,甚至當web代理來阻塞不受歡迎的廣告,它還可以自動翻譯外國的頁面。
  8. A group of source statements written in any of the language, such as assembler or cobol language supported by vse and stored in a ssl

    用任何高級(如匯編或cobol)編寫的一組源句:由虛擬存儲系統( vse )提供支持,並且存儲在源句庫( ssl )中。
  9. This has lead to the works on drm related standards including xrml, oma, mpeg21 rel, oebf and doi. below are some interpretations on what digital rights management is

    這使得有必要研究和數字版權管理相關的標準包括:可版權標記,開放移動聯盟, mpeg21rel ,開放電子圖書論壇和doi
  10. He is the principal investigator on a darpa - sponsored grant for developing security extensions for standard programming languages

    他是darpa贊助的開發標準程式設計安全性的首席調研員。
  11. B ds may involve themselves by joining the xml coordination group xmlcg, which is the top - level consensus making body for standardising data elements

    各部門可以參與可標示協調小組。該小組是負責數據標準化的最高層組織,監察協調工作的過程。
  12. With ccm and those methods discussed above, we improve the icent system. the original system only treats syntactic analysis and semantic analysis in one sentence

    通過應用漢上下文境模型ccm及有關上下文分析方法,本文了基於國防科學技術大學研究生院學位論文中間的漢英機譯系統icent 。
  13. It is rich, clear, extensible and self - description. all the advantages make it the best candidate for representing data model

    Xml的足性、條理性、可展性和自描述性成為其作為數據模型描述的優勢。
  14. Under the background of the research work - " expert system of hydraulic brake system design for saloon car, small and medium passenger car " for nanjing yuejin automobile group, in this paper, a set of special cad software for vihicle brake was developed in which the researchful object was brake, . the cad supporting software was pro / engineer and the developing language was vb. the project of discreted brake was raised and 3d graphic parametric library of typical parts and assemblies was established. 3d solid modeling and parameter - driven between dimensions and relations were accomplished using pro / engineer

    本文以南京躍進汽車集團的橫向課題「轎車、中小型客車液壓制動系設計專家系統」為背景,以制動器為研究對象,以pro engineer為cad支撐軟體,採用vb,開發了一套汽車制動器專用cad系統;提出了制動器離散化方案,構建了參數化的制動器典型零部件三維圖形庫,使用pro engineer實現三維實體造型以及尺寸與關系的參數化驅動;圖形庫系統採用參數化圖庫引用、管理機制並擁有一個開放的介面;研究了pro engineer二次開發模塊pro toolkit ,解決了同步模式下定製程序界面的問題,並實現與pro engineer的通信;建立了制動過程數學模型,推導了制動方程式並給出相關解法,編制了制動器數值模擬分析程序;構建了制動器設計資料庫。
  15. The methods which these organizations and individuals use are mainly supplemental approach and oo - extended formal language approach

    這些機構和個人所採用的方法主要是補法和具有面向對象展的形式方法。
  16. Because the formal language in supplemental approach do n ' t have the object - oriented feature, using supplemental approach makes it difficult to integrate with the present practice. while the way of oo - extended formal language approach ca n ' t directly formalize the semantics of uml model, which affects the readers " understanding of uml model rbrmalization

    在補法中所使用的形式化不具有面向對象的特徵,不能很好地和當前實踐相結合,而具有面向對象展的形式方法又不能直接對uml模型的義進行形式化,影響了讀者對uml模型形式化的理解。
  17. Owl provides three increasingly expressive sublanguages designed for use by specific communities of implementers and users

    Owl設計了三個不段表現能力的子給特定領域的使用者與操作者使用。
  18. Users familiar with both will be able to write scripts that include these grid shell language extensions, and orchestrate and coordinate the execution of programs across the grid

    熟悉這兩個shell的用戶可以編寫包含網格shell語言擴充的腳本,並自動協調這些程序在網格上的執行過程。
  19. In our paper, we describe design pattern formally at first. secondly, we organized the describe of design pattern and frequently - reused solution effectively, and store all of them in the relation - database

    本論文對disco語言擴充了設計模式靜態結構方面和行為義方面的描述,提出了一種新的模式形式化描述技術? ?展的disco形式化描述
  20. The work includes : extending value - passing ccs to a system description language with strict typing rules ; extending accordingly the definition and generation rules of the basic stga, which makes it suitable for modeling real systems

    主要工作如下: ?展傳值ccs使其成為有嚴格類型規則的易於使用的系統描述了stga的定義和生成規則使其適于作為實際系統的計算模型。
分享友人