格式描述語言 的英文怎麼說

中文拼音 [shìmiáoshùyán]
格式描述語言 英文
form description language
  • : 格象聲詞rattle; gurgle
  • : 名詞1 (樣式) type; style 2 (格式) pattern; form 3 (儀式; 典禮) ceremony; ritual 4 (自然科...
  • : 動詞1. (照底樣畫) copy; depict; trace 2. (在原來顏色淡或需改正之處重復塗抹) retouch; touch up
  • : Ⅰ動詞(陳說; 敘述) state; relate; narrate Ⅱ名詞(姓氏) a surname
  • : 語動詞[書面語] (告訴) tell; inform
  • : Ⅰ名詞1. (話) speech; word 2. (漢語的一個字) character; word 3. (姓氏) a surname Ⅱ動詞(說) say; talk; speak
  • 格式 : form; layout; pattern; format; mode; style
  • 描述 : describe; represent
  • 語言 : language
  1. As it ' s proprietary, a large numbers of bibliography resource ca n ' t be provided to common readers of internet. along with the development of network technology, it has a instancy need to conversion marc format to the information that the browser can recognize. the language xml not only can expresses the metadata, but also can show the content of data. lt can provide individuation page layout

    Marc是目前圖書館館藏資源的主要表示,由於其專用性,使得目前大量的書目資源無法通過一般的搜索引擎向internet用戶提供,隨著網路技術的不斷發展,迫切需要將marc的數據轉換成常用瀏覽器所能識別的信息,為大眾提供服務,可擴展標記xml不僅可以表達元數據,而且可以揭示數據的內容,提供個性化的頁面顯示,用xml對marc數據進行是解決這一問題的有效途徑,文章提供了marc數據的xml表示方法和實現途徑。
  2. This paper based on the hj04a railway signal computer system which is developed by the research institute of microcomputer, hefei university of technology. according to requirement of the interlocking software " s reliability and safety. considered with the software requirement analysis, combining the uml and z, we finally design the interlocking software specification which is completeness, consistency, no redundancy, no different meanings and is consistent with the demand of the system

    本論文針對合肥工大微型計算機應用研究所研究開發的hj04a鐵路信號計算機聯鎖系統,根據計算機聯鎖系統聯鎖軟體設計可靠性和安全性要求,從軟體的需求分析著手,綜合uml統一建模方法和形z的方法,設計出完全的、一致的、無冗餘的、無歧義的、符合系統要求的聯鎖軟體規說明書。
  3. Abstract : the objective of this paper was to develop a semiautomatic method for the translation of assignment statements into their corresponding gscct expressions, and thus to facilitate automatic creation of database of generic chemical structures in patents

    文摘:本文研究了自然處理技術在藥物專利檢索中的應用,開發出一套翻譯軟體,能夠將藥物專利中對族性變量的文本半自動化地轉化為符合規則的gscct,為準確、高效地建立藥物專利檢索數據庫打下了基礎
  4. In the uml specification, the editors describe the static semantics in formal language ocl ( object constraint language ) and natural language, while the dynamic semantics is almost described in natural language. uml lacks in a strict definition of dynamic semantics

    在uml規范中,編制者是用較為形化的ocl ( objectconstraintlanguage )和自然兩種手段靜態義,而動態義卻基本上完全是用自然的, uml缺乏一個嚴的動態義定義。
  5. As an improvement of sgml ( standard generalized markup language ), xml has many advantages, such as good extensibility, self - description, content - presentation separation, comforming to rigid grammar definition and supporting multi - language, which makes it a novel technology in the fields of data exchange. an advanced management information system ( mis ), having accurate edi both inside and between trading partners ( there should be inside edi

    作為對sgml (標準通用置標)的一種改良, xml具有良好的擴展性和自性、形與內容分離、遵循嚴法要求以及提供對多種的支持等特點,使其成為數據交換的一門新興技術。
  6. Virtual reality modeling language ( vrml ) is a file format for describing interactive 3d objects and worlds

    虛擬現實造型( vrml )是一種可交互的三維對象和場景的文件
  7. Architecture description language adl is typical in formal description while in visual description uml is typical. their advantages are that adl can describe accurately and uml can describe intuitionistic, which are complement to each other. so a hotspot in software architecture description is to combining the two together

    精確,以軟體體系結構adl為代表;可視化清楚直觀,以uml為代表,兩者在軟體體系結構方面具有很強的互補性,於是對adl和uml結合問題的研究成為目前軟體體系結構領域的熱點。
  8. Although the software specification described using natural language is easy to write and understand, its validity, integrality, non - ambiguity, consistency are hard to guarantee. the process of verification can only be done by manpower which is not normative and not rigorous. and the complexity of a lot of software has made it impossible to check the specifications artificially

    需求規說明是需求分析階段的產品,我們通常採用的是未使用任何限制非形化的自然進行,這種自然書寫的需求說明,雖然易於理解和使用,但難以保證其正確性、完整性、無二義性、一致性,驗證過程只能採用不太規范、不太嚴的人工走查的方法進行檢查,稍微復雜一些軟體的需求規說明的檢查,實際上已經超出了人工檢查的能力。
  9. The algorithm of sequencable mark and description of the object for crack automatic identification is presented by means of pre - image process. on basis of visual c + + 6. 0 developing environment, the software function of controlling of magnetic partical testing engine and the stepping - motor is realized in c + + and mfc with objected programming method. the automatic system of the camshaft of small diesel engines automatic magnetic partical testing is realized, which is the predicted goal that we would achieve

    用計算機控制磁粉探傷機和步進電機的工作;解決了jpeg圖象在windows系統中visualc + +編程環境下的壓縮轉換、顯示和處理的問題;結合數字圖象的預處理,提出了通過圖象分析自動識別裂紋的順序目標標記與演算法;基於visualc + + 6 . 0開發環境,用c + +和mfc類庫,採用面向對象的程序設計方法,用軟體實現了對磁粉探傷機和步進電機等硬體系統的自動控制功能;實現了柴油機凸輪軸熒光磁粉探傷系統的自動化,達到了預期的目標。
  10. The innovations of this paper are embodied as follows : 1 ) applied domain specific language into the domain of gis application system, designed a simple specification language for gis application system, named gasl, offered formalized means for defining the special requirements of gis application system. 2 ) developed an integration, visual programming environments prototype system, called gbuilder, which is an application generator integrated

    本文的創新之處體現在如下兩點: 1 )將領域專用運用到gis應用系統領域,初步設計出一種簡易的gis軟體規gasl ,為定義gis應用系統特殊需求提供了形化手段; 2 )開發了一個集成可視化開發環境gbuilder系統原型,該應用產生器集工具、和庫於一體,為gis軟體開發提供了新的方法和工具。
  11. Xml extensible markup language as an open data description format has given rise to the reality of a programmable internet

    作為開放數據, xml (可擴展標記)已經使可編程internet成為現實。
  12. First, the paper researches the format and semantic features of iso apt in detail, next, applies regular expression to describe the definition of apt ’ s tokens and uses context - free grammar to describe apt ’ s syntax rules, last, designs the intermediate code format which keeps on the source code semantic and designs a complete module to check lexical and syntax errors of nc code by using modern compiling techniques

    在代碼預處理技術方面,詳細研究了標準數控代碼義並採用現代編譯技術中的正則表達和上下文無關文法分別了標準數控代碼的記號定義和法結構定義;設計了保持源代碼義的中間標準數控代碼,在此基礎上,設計並構建了數控代碼的詞法和法檢查模塊。
  13. The service description is an xml document written in an xml grammar called wsdl web services description language that defines the format of messages the xml web service understands

    服務是使用稱為wsdl ( web服務)的xml法編寫的xml文檔,定義xml web服務可以理解的消息
  14. Based on research of the xml technology, have designed the xml - based medical document style description language, named as fr ( formatted report ) language, which embodies the structured browse, edit and generalization

    在研究xml技術標準的基礎上,設計了基於xml的醫療文檔樣- fr ( formattedreport ),體現了化瀏覽、編輯和通用性的思想。
  15. Xml has emerged as the standard of meta language representing data format, and is continually applied to various domain to integrate data sources

    Xml作為一種數據的元標準,不斷地被應用到各種不同領域的數據集成中去。
  16. For this reason, this thesis also draws up a three - level structure model of information security platform, designs a kind of agent script - protocol describing language, and defines a file format in common use according to the standard of mime. it accomplishes basically an agent - based information security platform on which the static and dynamic applications that based on it are fulfilled

    為此,本文擬就了信息安全平臺的三層結構模型,設計了一種agent腳本與協議的,按照mime的標準定義了用於安全平臺的通用文件,初步實現了基於agent技術的信息安全平臺,並完成了在其基礎上的靜態與動態的應用。
  17. Or another description language in the xml format to get information on how previously known vulnerabilities were identified and how anticipated vulnerabilities against the application s components should be handled

    )或是另一種獲得關于如何確定之前已知的漏洞,以及應該如何處理應用程序組件預期的漏洞的xml格式描述語言
  18. Provides a means of creating and formatting a valid web services description language wsdl document file, complete with appropriate namespaces, elements, and attributes, for describing an xml web service

    提供一種方法,以創建和化用於xml web services的有效的web服務( wsdl )文檔文件,該文件是完整的,具有適當的命名空間、元素和屬性。
  19. It can be used as a language for defining data descriptive languages, such as markup grammars or vocabularies and interchange formats and messaging protocols

    它可以作為定義數據,例如標記法或詞匯、交換和通訊協議。
  20. ( 3 ) discusses the formal specifications for hardware formal design and presents the formal model of fcmhd ( formal computational model for hardware design ) and its formal semantics based on itl ( interval temporal logic )

    作者以時段演算( durationcalculus , dc )為工具對vhdl的子集進行了形義分析;通過分析vhdl和veriloghdl部分句的形義,為硬體的分析、設計、編譯提供了一個嚴的理論基礎和新的途徑。
分享友人