抽象程序 的英文怎麼說
中文拼音 [chōuxiàngchéngxù]
抽象程序
英文
abstract program-
The protocol specifies the definition of inter - library loan service working on c / s mode. by means of 21 apdu messages defined in this protocol and standard encode / decode rule, we can realize the resource sharing between different libraries. this article advances a set of solution scheme for the implementation of inter - library loan on the internet environment, and gives some discussion about the key elements for the implementation which includes the process of apdu, the computer descriptions of asn. l syntax, the ber coding rules and the design for supporting db etc. the exact method and program for implementation of inter - library loan are also presented in the article
本文在詳細分析和研究館際互借協議內容和工作原理基礎上，根據我國圖書館目前的實際情況，給出了在internet環境下實現館際互借服務的解決方案，論述了基於windows2000操作系統下開發館際互借軟體的具體思路，討論了實現該協議的一些關鍵問題，包括apdu的處理， asn . 1抽象語法表示、 ber編碼規則、數據庫設計等，並給出了具體的解決方法和實現程序。The off - the - shelf refinements are inspired by the operators of communicating sequential processes and map easily to programs in handel - c a hardware description language
在過去的10年裡，人們進行了一些嘗試，試圖應用bmf方法從功能圖抽象描述中生成并行程序。Programs that have a lot of boilerplate code that cannot be abstracted into functions
有大量樣板文件的程序，但是無法抽象成函數The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics
主要內容包括:變形傳統的演算，以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc ， dfo ， dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。A conforming implementation executing a well - formed program shall produce the same observable behavior as one of the possible execution sequences of the corresponding instance of the abstract machine with the same program and the same input
當一個符合標準的實現執行一個完備的程序時，其產生的可觀察行為應該與該實現的抽象機器對應實例依據同一程序和同一輸出產生的可能執行序列之一相同。Forexample, in an operating system there could be an abstract base class for a certain variety of device drivers
例如：在操作系統裏面對于多種不同的設備驅動程序，應該有一個抽象基類。While the key of embedded system software is embedded operation system ; one of the main works in os application is to write the hal ( hardware abstraction layer ) code. two open source code embedded operation system - uc / os and embedded linux were analyzed in this paper
文中作者以broadcom主板為硬體平臺（基於motorola通信處理晶元mpc850 ）對兩種公開源代碼的操作系統uc os和嵌入式linux進行了研究與應用設計，其中的關鍵步驟是編寫硬體抽象層介面程序。On application of hearing of witnesses procedure to abstract administrative action
抽象行政行為聽證程序之適用A dump usually of a selected area of storage taken at specified times during the execution of a routine, thereby providing a time history of this section of storage for debugging purposes
通常指在程序執行過程中某一選定存儲區內容在指定時間的一種內象（也就是抽點列印內容） ，從而為調試程序提供該存儲區的定時記載。As to the organization of curriculum contents, the principles of sequence are : ( 1 ) proceeding from the simple to the more complex, ( 2 ) from the easiness to the difficulty, and ( 3 ) from the concrete to the abstract
對于課程內容的組織順序，則應秉持由易入難，由淺入深，由具體到抽象的順序原則。Traverses the abstract syntax tree one or more times, collecting information and checking that the input program
遍歷抽象語法樹（ abstract syntax tree ， ast ）一次或多次，收集信息並檢查輸入程序A stream is an abstraction of a sequence of bytes, such as a file, an input output device, an inter - process communication pipe, or a tcp ip socket
流是位元組序列的抽象概念，例如文件、輸入/輸出設備、內部進程通信管道或者tcp / ip套接字。To solve the problem of report form depends on structure of database seriously at report output in information system, based on analysis and abstraction to contents of reports in information system, the concept of report templates was introduced and basic elements for common reports were defined, a framework of the generic report generation system for diagram & text combined contents was presented with object - oriented programming approach
摘要為了解決信息系統的報表輸出過程中，報表格式嚴重地依賴于數據庫結構的問題，通過對多個信息系統的報表數據進行分析和抽象研究，引入「報表模板」的概念，並且為常見的報表定義了通用圖文報表基本元素，採用面向對象的程序設計方法，開發了面向信息系統的通用圖文報表生成系統。Wordnet, a project hosted by princeton university, has created a structured database of words and synonyms linked by their semantic relationships
並且只有當您很好地定義了抽象模型時，它才能被用來生成構成應用程序設計編程方面的結果構件。Finally we come up with the principles, characteristics, frame and functions of it and then illustrate them in program instances
最後分析了面向事實程序設計的原則、特點、結構、功能、抽象模型形式分析，同時以具體的面向事實的實例進行了闡述。Is abstract, when you try to compile the new program, errors from the type checker will notify you about every construction site you should refactor
是抽象的，所以當您試圖編譯新程序時，來自類型檢查器的錯誤將通知您每個應該重構的構造位置。The economic integration brings about a change in the global economy and a more complicated and organic system come into being, in which there exists two economics paradigms, that is, the western economics paradigm and china economics paradigm which have different abstract degree and depicts different economic relationship. and so, how to differentiate one from the other and to develop the global economy, especially china ' s economy, is urgent and critical to us
經濟一體化使全球經濟成為了一個更為復雜有機聯系的系統，在這個系統中，存在著兩種抽象程度不同、反映著不同經濟關系的經濟學範式，西方經濟學範式和中國經濟學範式，如何處理二者的關系，從而施加影響于該系統使其朝著有序的方向發展，促進全球經濟特別是中國經濟的發展是一個擺在人們面前的緊迫任務。Compared to the object - oriented programming, fact - oriented programming is more adaptable to the change of condition and more abstract and more easily handle the relationship between objects and organize objects to take part in all kinds of affairs. it strengthens the polymorphism and encapsulation of software
與面向對象程序設計相比，它使對象更能自動適應環境的變化，抽象程度也更高，更便於處理對象間關系和組織對象參與各種事件，也加強了對象的封裝和多態性。This paper ' s research work is an important component of the par method and a sub research ' project of the nation ' s natural science fund project " the research of applied formal develop methods and their tools ". this research ' s goal is to develop an auto program transforming system to transform an apla program to a c + + program
本項研究作為par方法的一個重要組成部分，也是國家自然科學基金課題「實用的形式化開發方法及其工具的研究」的一個子課題，目標是研製一個自動程序轉換系統，該系統能將用apla語言描述的抽象程序轉換為目前流行的c + +語言程序並直接運行。We defined radl for describing algorithm specifications and abstract algorithms, apla for describing abstract programs. the radl algorithms can be translated to apla programs, then to executable language programs such as delphi, mechanically
在該方法的指導下，我們定義了radl （ recurrence - basedalgorithmdesignlanguage ）抽象演算法設計語言來描述演算法規約和抽象演算法，定義了apla （ abstractprogramminglanguage ）語言來描述抽象程序。分享友人