格式描述語言 的英文怎麼說
中文拼音 [géshìmiáoshùyǔ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
-
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表示方法和實現途徑。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語言的方法,設計出完全的、一致的、無冗餘的、無歧義的、符合系統要求的聯鎖軟體規格說明書。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格式,為準確、高效地建立藥物專利檢索數據庫打下了基礎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缺乏一個嚴格的動態語義定義。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具有良好的擴展性和自描述性、形式與內容分離、遵循嚴格的語法要求以及提供對多語種的支持等特點,使其成為數據交換的一門新興技術。Virtual reality modeling language ( vrml ) is a file format for describing interactive 3d objects and worlds
虛擬現實造型語言( vrml )是一種描述可交互的三維對象和場景的文件格式。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結合問題的研究成為目前軟體體系結構描述領域的熱點。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
需求規格說明是需求分析階段的產品,我們通常採用的是未使用任何限制非形式化的自然語言進行描述,這種自然語言書寫的需求說明,雖然易於理解和使用,但難以保證其正確性、完整性、無二義性、一致性,驗證過程只能採用不太規范、不太嚴格的人工走查的方法進行檢查,稍微復雜一些軟體的需求規格說明的檢查,實際上已經超出了人工檢查的能力。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類庫,採用面向對象的程序設計方法,用軟體實現了對磁粉探傷機和步進電機等硬體系統的自動控制功能;實現了柴油機凸輪軸熒光磁粉探傷系統的自動化,達到了預期的目標。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軟體開發提供了新的方法和工具。Xml extensible markup language as an open data description format has given rise to the reality of a programmable internet
作為開放式數據描述格式, xml (可擴展標記語言)已經使可編程internet成為現實。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
在代碼預處理技術方面,詳細研究了標準數控代碼語言的格式和語義並採用現代編譯技術中的正則表達式和上下文無關文法分別描述了標準數控代碼語言的記號定義和語法結構定義;設計了保持源代碼語義的中間標準數控代碼格式,在此基礎上,設計並構建了數控代碼的詞法和語法檢查模塊。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服務可以理解的消息格式。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 )語言,體現了格式化瀏覽、編輯和通用性的思想。Xml has emerged as the standard of meta language representing data format, and is continually applied to various domain to integrate data sources
Xml作為一種數據格式描述的元語言標準,不斷地被應用到各種不同領域的數據集成中去。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技術的信息安全平臺,並完成了在其基礎上的靜態與動態的應用。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格式描述語言。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 )文檔文件,該文件是完整的,具有適當的命名空間、元素和屬性。It can be used as a language for defining data descriptive languages, such as markup grammars or vocabularies and interchange formats and messaging protocols
它可以作為定義數據描述語言的語言,例如標記語法或詞匯、交換格式和通訊協議。( 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部分語句的形式語義,為硬體描述語言的分析、設計、編譯提供了一個嚴格的理論基礎和新的途徑。分享友人