抽象程序設計 的英文怎麼說

中文拼音 [chōuxiàngchéngxùshèjì]
抽象程序設計 英文
abstract programming
  • 抽 : 動詞1 （把夾在中間的東西拉出; 提取） take out （from in between） 2 （從全部里取出一部分; 騰出） ...
  • 程 : 名詞1 （規章; 法式） rule; regulation 2 （進度; 程序） order; procedure 3 （路途; 一段路） journe...
  • 設 : Ⅰ動詞1 （設立; 布置） set up; establish; found 2 （籌劃） work out : 設計陷害 plot a frame up; fr...
  • 計 : Ⅰ動詞1 （計算） count; compute; calculate; number 2 （設想; 打算） plan; plot Ⅱ名詞1 （測量或計算...
  • 抽象 : abstract
  • 程序 : 1 （進行次序） order; procedure; course; sequence; schedule; ground rule; routing process 2 [自動...
  • 設計 : devise; project; plan; design; excogitation; layout; layout work; styling
  1. 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編碼規則、數據庫設計等，並給出了具體的解決方法和實現程序。
  2. 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邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  3. 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進行了研究與應用設計，其中的關鍵步驟是編寫硬體抽象層介面程序。
  4. 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

    摘要為了解決信息系統的報表輸出過程中，報表格式嚴重地依賴于數據庫結構的問題，通過對多個信息系統的報表數據進行分析和抽象研究，引入「報表模板」的概念，並且為常見的報表定義了通用圖文報表基本元素，採用面向對象的程序設計方法，開發了面向信息系統的通用圖文報表生成系統。
  5. Wordnet, a project hosted by princeton university, has created a structured database of words and synonyms linked by their semantic relationships

    並且只有當您很好地定義了抽象模型時，它才能被用來生成構成應用程序設計編程方面的結果構件。
  6. Finally we come up with the principles, characteristics, frame and functions of it and then illustrate them in program instances

    最後分析了面向事實程序設計的原則、特點、結構、功能、抽象模型形式分析，同時以具體的面向事實的實例進行了闡述。
  7. The solution is that we design a target machine, and translate the source codes into the target machine codes by program translation, then generate the assembly codes from the target machine codes, assemble and link the assembly codes into exe file, at last execute the exe file to get the result of program

    在實現方面，提出了編譯lfc的技術路線，設計一個目標抽象機，通過程序翻譯的方法將源程序翻譯為目標抽象機代碼，然後再將抽象機代碼轉換為匯編代碼，匯編裝配連接執行。
  8. As known, the visual technology has characteristics of inter - action, visualization and etc. applying it to compiling and running environments makes programs and data more straightforward to users. in the meantime, users can observe running processes and changes of data in different conditions, which decreases the difficulties and abstractions of programs " analysis, designing and debugging

    將程序的編譯和運行環境可視化，可以使程序和數據的表達更加直觀，用戶能夠靜態或者動態地直接觀察程序的執行過程和數據及其之間關系的變化，從而降低程序分析、設計和調試過程的抽象性和難度。
  9. On the other hand, the thesis studies to develop the design software library for the hdcs with c + + programming language, including rcs module and communication tool of control system. moreover, based on the concept and properties of class and the merits of application programming interface ( api ), the thesis puts forwards to use the abstract class to realize the elements of the design software library, such as the control module ( rcs module ) class and the communication classes ( neutral message language and communication management system ), encapsulating the bottom details of the application and providing the top interface for user, as leads to the interface between modules be simple and makes user master and use them conveniently. what ' s more, the control system developed by the design software has good expansibility and reusability

    另外，本文研究了用c + +程序設計語言進行遞階分佈控制系統設計軟體庫的開發，包括rcs模塊和系統通訊工具。基於類的概念與特徵以及應用程序編程介面（ api ）的優點，提出用抽象類實現設計軟體庫元件，如控制模塊（ rcs模塊）類和通訊類（中性消息語言nml （ neutralmessagelanguage ，簡稱nml ）和通訊管理系統cms （ communicationmanagementsystem ，簡稱cms ） ） ，封裝了控制系統應用程序底層的工作細節並提供了高層介面，從而使控制模塊之間介面簡單，便於用戶掌握和使用，使開發出的控制系統具有很好的擴展性和重用性。
  10. This paper analyses the annotated rules of the steel information of the frame column expressed in " plane method " construction drawing, sums up the expressed characteristics of the reinforcement information of the frame column, the object - oriented method is adopted to get the expressed pattern of the steel information. owing to " plane method " shop drawing steel information is expressed by geometry parameter, combine of the shop drawing and the detailed construct drawing can full express the steel information. by study of the information, this paper set up the steel parameter graph base

    對「平法」施工圖中框架柱鋼筋信息的注寫規則進行了深入的分析和研究，對完整反映框架柱鋼筋的各類信息表達特點進行了歸納，在此基礎上利用面向對象的程序設計方法及c + +語言建立了描述框架柱鋼筋所有信息的表達模型；由於在「平法」施工圖中各類構件鋼筋的幾何信息是一種抽象的以參數表達的信息，影響參數由圖中鋼筋的標注信息和標準構造詳圖中的構造要求確定。
  11. In the light of the method of top - down, the author put forward the concept of product function structure tree, which was used to express the product ' s function structure during the conceptual design. based on it, the product structure was expressedthe paper studies the definition of the function model which supports the method of top - down design, and the expression of function model based on binary - tree was also put forward in the thesis. for the abstract description of parts in the assembly level and the integration with other systems during the whole life circle of the products, the concept of assembly model was presented, the definiton, classfication and expresstion method of assembly feature was studied in this thesis. the representation of assembly relationship and data structure of the assembly model based on diagram was further studied. for the constraints transfer between function model and assembly model, an hierarchical component model is presented. an arithmetic of the change of assembly relationship when assembly model changing was also studied. fmally, a system named fb - tpms, which using object oriented programming technology and pro / toolkit, was developed

    為了支持在裝配層次上的零件的抽象建模，提出了骨架模型的概念，並討論了裝配模型的建立方法。根據前述裝配模型有關研究，探討了從功能模型到裝配模型以及從上一級裝配模型到下一級裝配模型的數據和約束傳遞問題，並用層次化單元裝配模型得以解決，同時提出了裝配模型變動時引起的裝配關系的變化的有關演算法。在論文的最後部分用用面向對象的程序設計方法，結合課題要求，研究了支持自頂向下設計方法的裝配建模系統fb - tpms 。
  12. The apia language has fully absorbed the modern programming technique of data abstraction and function abstraction. it used many traditional mathematical symbols and fitted the mathematical custom, so the correctness of the programs which were written by apia language are very easy to prove

    Apla語言充分體現了功能抽象、數據抽象等現代程序設計思想，它引入了傳統的數學符號和數學表達式，用apla語言書寫的程序便於形式化推導和證明。
  13. Herein, we proposed that the software reuse technique based on algorithmic framework is to formal deduce from algorithmic program and get its abstract algorithm by using the par method proposed by professor xue jingyun

    本文提出的基於演算法框架的軟體設計及分析復用技術是利用薛錦雲教授提出的par方法，對演算法程序進行形式化推導，得到其抽象演算法。
  14. Continuations, or high - level programming abstractions, are often seen as academic toys, but a new breed of web server can make the average developer much more productive

    Continuation ，即高級程序設計抽象，常被看作是學術玩具，但是有一種新型的web服務器可以讓普通開發人員的生產效率更高。
  15. 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

    與面向對象程序設計相比，它使對象更能自動適應環境的變化，抽象程度也更高，更便於處理對象間關系和組織對象參與各種事件，也加強了對象的封裝和多態性。
  16. We design some of basic classes that reflect the federate characteristics by abstracting a federate using object - oriented analysis and design methodologies. this paper also describes an approach of generating federate software framework from hla object model ( fom or som ). we implement a tool called fed appwizard based on this approach

    論文通過分析典型聯邦成員的程序流程和軟體組成，採用面向對象的方法對聯邦成員進行了抽象，設計了一些體現聯邦成員特徵的基本類，並基於這些設計實現了一種由hla對象模型（ fom som ）自動生成聯邦成員軟體框架c + +源代碼的工具? ? fedappwizard 。
  17. First of all, this paper introduces the whole design project and interrelated knowledge about non - destructive detection, ultrasonic detection, and phased - array ultrasonic detection then the paper depicts the principle of phased - array focus and abstracts a set of math model and feasible arithmetic on the base of the real parameter of the system. put forward several problems that exist during the course of system development and program. introduce some measures of distinguish that are often used in non - destructive detecting and echo wave crest

    然後在文中以較大的篇幅，描述了相控陣聚焦的原理，並根據該系統的實際參數，抽象出一套數學模型和可行的演算法，在此基礎上提出了在系統開發過程及編程實現過程中存在的一些問題；介紹了在無損檢測中缺陷的分類和對回波峰常用的識別方法，詳述了系統開發過程中使用的其中一種識別方法，即判別是否存在缺陷的演算法，並給出實現之的部分核心程序；詳述主控程序如何控制各部分並協調各相關軟體的工作，使整個系統發揮最高效能，並給出主要設計框圖和程序。
  18. Good object oriented design recommends the abstraction of the data store from the rest of the application

    好的對象定向設計需要從程序中抽象出數據存儲。
  19. 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 ）語言來描述抽象程序。
  20. With the comparison between the framework of device driver in linux2. 4 and linux 2. 6 and the studies on a great of source codes, a deep research has been conducted into the unified device model of linux 2. 6. furthermore, this paper analyzes the main data structures and the framework of kobjects to make an explicit understanding of the abstract mechanism of the class of devices. in practical project, the developing and research task of the bsp based on arm + linux platform is accomplished with the support of research work

    本文對比了linux2 . 4和linux2 . 6的設備驅動程序框架，同時結合大量源代碼的研讀，對linux2 . 6內核的統一設備模型進行了深入的研究，剖析了內核對象機制的主要數據結構及驅動程序設計框架，理解了該模型對設備類的抽象機制，並在實際的項目實踐中，結合所作的研究工作，圓滿完成了基於arm + linux開發平臺的bsp開發任務。
分享友人
分享到 Line

分享到臉書