邏輯程序設計 的英文怎麼說

中文拼音 [luóchéngxùshèjì]
邏輯程序設計 英文
constraint logic programming
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 程 : 名詞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 （測量或計算...
  • 邏輯 : logic
  • 程序 : 1 （進行次序） order; procedure; course; sequence; schedule; ground rule; routing process 2 [自動...
  • 設計 : devise; project; plan; design; excogitation; layout; layout work; styling
  1. In the hardware design, the paper completes modules ’ design like outside memory, patulous a / d, patulous d / a, rs232 communication, ecan communication, led control, keyboard control, distant control, emulation, reset, logic voltage switch, dsp supply power regulate and ac - dc power circuit, as well as room layout design like anterior panel, back panel etc. and dsp transfers data with peripheral equipments except outside memory using serial ports. besides, the whole circuit is configured in interrupt response. thus, it can meet system demand as well as take full advantage of tms320f2812 ’ s hardware resource. in the software design, the paper finishs programs like the interface programms intercommunicates with people, the distant control program, ad and da modules ’ control program, in addition, the paper select the velocity and acceleration state - feedback algorithm and is written in the program. the software design uses dsp integrate exploiting environment named ccs2. 2 of ti inc. as software instrument, and programs with the combination of c language and assembly language. moreover, in order to maintenance or modify the software expediently and shorten software ’ s exploitation time, the design adopt software modularization technique. finally, some air cylinder experiments are carried out to proved that the pneumatic controller is very practical

    在硬體設計中，本文完成了片外存儲器擴展、 a / d擴展、 d / a擴展、 rs232通信介面、 ecan通信總線介面、液晶顯示控制、鍵盤控制、遠程控制、模擬、復位、邏輯電平轉換、 dsp工作電源校正電路和ac - dc電源等模塊設計以及控制器前面板、後面板等的空間布局設計。其中dsp與除外部存儲器的外圍設備之間的數據傳送全部採用串口通信，同時系統電路配置成中斷響應方式，這樣既滿足了系統要求，又充分利用了tms320f2812的硬體資源。在軟體設計中，本文完成了人機界面功能模塊、遠程控制模塊、 ad擴展模塊、 da擴展模塊、速度和加速度狀態反饋的控制演算法的程序設計。
  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. Up to now, there has been ten years for the research of dynamic fuzzy logic ( dfl ) and a series of achievements have been made. in order to further expand the applications of dfl, this thesis followed dijkstra ’ s guarded commands and put forward an operational semantics model of dfl programming language which can solve dynamic fuzzy problems

    動態模糊邏輯（ dfl ）的研究已有十年的時間了，目前已取得了一系列研究成果，為了進一步拓展這些研究成果的應用，本文借鑒dijkstra的監督命令程序結構，通過結構化操作語義描述方法從軟體理論方面進行研究，提出了動態模糊邏輯程序設計語言（ dflprogramminglanguage ）的操作語義模型，以期形成解決動態模糊性問題的程序設計方法。
  4. And, the thesis mainly presents the research on the key technique of the dataflow control, including the realization of the pci interface control, the control of the sram memory that read or written by fpga, the pretreatment and the output control of the image and the intercommunication between pc and fpga. and then, it presents the design and the realization of the pc application program. in the end, it presents the debugging stepps and the application of the system.

    本文的重點在於介紹高解析度實時圖像處理系統的fpga控制邏輯設計，主要研究了該數字圖像處理系統中影響系統實時處理速度的數據流控制技術，如pci介面控制、 fpga與外部ram的高速讀寫控制、圖像的採集預處理，圖像的輸出控制等，本文還介紹了高解析度實時圖像處理卡的上位機應用程序設計與實現，本文的最後介紹了系統的調試及應用。
  5. In order to make the objects more adaptable to the changes of environment, more easily to cope with and depict the relationship between objects and organize the objects to take part hi all kinds of affairs, and in order to make the programming design more suitable for the originally reality of the real world, we propose a new - type and more abstract programming language ? fact - oriented programming language. it is based on the logic structure of language and the real world that was expressed in tractatus logico - philosophicus ( the title is written in latin ) and philosophical investigations which were written by an austrian linguist and philosopher ( ludwig wittgenstein ). in real world, a certain object will display different features in different environments and scenes, for example some features will only appear in a given environment or scene while other features will not appear in the same environment or scene

    為了使對象能夠更好地自動適應環境的變化，更好地處理和描述面向對象系統中對象與對象之間的關系，更好地組織和管理面向對象系統中的各種對象，並使程序設計更加符合客觀世界的本來面貌，本文把奧地利語言哲學家路德維格?維特根斯坦（ ludwigwittgenstein ）在《邏輯哲學論》 （ tractatuslogico - philosophicus ，注：拉丁文）和《哲學研究》 （ philosophicalinvestigations ）中關於世界和語言邏輯結構的哲學論述應用到程序設計中，並結合現實世界中對象能自動適應環境（事實或場景）變化的特性（即對象在不同的環境中會表現出不同的屬性和行為，有一部分屬性和行為只有在某些特定的事實中才會表現出來，而有一部分屬性和行為在某些特定的事實中一定不會表現出來） ，提出了一種新的程序設計語言? ?面向事實程序設計（ fact - orientedprogramming ? ? fop ） 。
  6. This research based on the nc110 numerical control system of catch numerical control company, and write the logic program with the language siprom, and complete the soft plc compiled system with c program

    本文以凱奇數控公司的nc110數控系統為硬體平臺，以高級語言siprom編寫用戶的機床邏輯程序，用c語言編寫編譯程序完成對數控系統軟plc的編譯系統的設計。
  7. In order to ensure to process regularly the daily maintenance management, this paper is based on the theory and method of database design and the theory of pavement management system, combining the application environment and operation flow of the expressway maintenance system, bringing forward the four stages of the expressway maintenance system design which are the requirement analysis of consumers, conception framework design, logic framework design and physical framework design, scheming out an optimum database mode applied to all kinds of expressway maintenance systems, and establishing a common database application system, so that the expressway maintenance system can evaluate the pavement performance, forecast the pavement performance and make decisions of the pavement maintenance

    為了保證高速公路日常養護管理正常有序的進行，本文根據數據庫的設計原理、方法及路面管理系統原理，結合高速公路養護管理系統的實際應用環境和操作業務流程，提出了高速公路養護管理系統數據庫設計的4個階段? ?用戶實際需求分析、概念結構設計、邏輯結構設計和物理結構設計，設計出適用於各種高速公路養護管理系統最優的數據庫模式，並建立了通用的數據庫應用系統，使得養護管理系統能夠進行路面性能評價、性能預測和養護維修決策
  8. The concrete steps include the design of schematic, the design and optimization of printed circuit board, the manufacture and debugging of hardware, the program and debugging of eprom software, the design and embedding gal devices

    具體過程包括設計通信卡的原理圖；設計和優化印刷電路板圖；硬體製作和調試；編寫及調試eprom程序；設計及燒寫gal器件邏輯等。
  9. Then we explicate the hardware design in details, including implementing ad convert, extending multiple serial communications and external memory, and using cpld do some logic controls. thereby we implement abundance simulation interface, flexible digital interface and serial communication interface. at last we describe the software design, including software design of cpld basing on vhdl and software design of dsp

    本文首先介紹飛行模擬訓練系統的主要組成；接著說明飛控計算機整體系統方案的設計；然後詳細說明飛控計算機硬體平臺的設計，包括ad轉換、多串口通信、外部存儲器的擴展以及採用可編程邏輯器件cpld實現電路的邏輯控制等幾部分，體現了系統豐富的模擬介面、方便靈活的數字介面和串列通信介面；最後是軟體部分的編程，包括cpld部分的硬體描述語言程序設計，和dsp部分相關的程序設計。
  10. Logic and inductive logic programming

    邏輯與歸納邏輯程序設計
  11. Inductive logic programming

    歸納邏輯程序設計
  12. This dissertation concentrates on the initial research work in genetic inductive logic programming technique

    本論文主要開展了遺傳歸納邏輯程序設計技術的初步研究。
  13. First - order rule mining technique based on first - order logic is often called as inductive logic programming ( ilp )

    基於一階邏輯的一階規則挖掘技術常被稱作歸納邏輯程序設計（ ilp ） 。
  14. We came up with algorithm descriptions and reinforced our conclusion by means of real testing examples. some data mining techniques, which can be applied to semantic web mining, were also discussed in this thesis. we explored the suitability of inductive logic programming ( ilp ) method in semantic web mining in more detail, and showed how to make use of this method in the semantic context

    對于語義web挖掘中適合的數據挖掘技術進行了探討，提出了可採用歸納邏輯程序設計作為適合語義化web的數據挖掘技術，給出了如何應用這種技術的演算法描述，並通過具體實例驗證了這種方法對于語義化web環境下進行數據挖掘是可行性。
  15. Bassing on the theory of equivalent calculates, this paper utilizes the data structure and c + + program design language, to analyze the logic structure of proposition formula, designs the saving structu - re that use the broad sense menu chained list, and explored to beg for in this foundation how to carry out its basic operation, thus and further clarifying the computer implementation algorithm of the complicated equivalent calculation

    本文針對等值演算理論，通過數據結構和c + +程序設計語言，分析了命題公式的邏輯結構，設計出用廣義表單鏈表的存儲結構，並在此基礎上探討了如何實現其基本操作，從而進一步闡明了復雜等值演算的計算機實現演算法。
  16. Laboratory simulation to stock market by using economics experiments methods is applied in this dissertation. currently, there are seldom similar records about such experiments in the civil, natural science and arts science including game theory, economics, psychology and logic have been involved in the experiment program designs and experiment outcome analysis, this is one of important innovation in this paper

    本文運用了經濟學實驗方法對股票市場進行了實驗室模擬，目前在國內鮮有類似的實驗記錄，實驗的程序設計以及結果分析將涉及博弈論、經濟學、心理學、邏輯學等自然科學以及人文科學領域，這構成了本文的重要創新之一。
  17. In the dissertation ， we discribe the implementation of large capability video data acquisition system based on pci bus of computer 。 the system is composed of data acquisiton card and corresponding software 。 the data acquisiton card include two acquisition channels ， 8 - bit digitization at rates up to 13. 5mhz 。 frist ， the architecture of the video data acqusition system is studied 。 then ， the function and implementation methode of each module are introduced in detail 。 the control module of the video data acqusition card is implemented by using of the isp technology of cpld and vhdl programming technology 。 the a / d converter used assembler to implement the initialazation programe 。 and the double buffer technology is used for large capability data acqusition. because a contiously large memory is difficult to apply in windows operating system 。 finally we use broland c + + to introduced the devleoping procedure of drivers 。

    在實際的研製過程中，利用cpld的在系統可編程（ isp ）技術和基於vhdl語言的可編程邏輯器件設計技術實現了視頻數據採集卡的控制模塊。在視頻的a / d轉換模塊，用匯編程序模擬i2c總線對初始化a / d轉換晶元。針對大容量數據採集，採用了雙緩沖技術解決wndows操作系統下難以申請到大容童連續內存的間題。
  18. In computer programming, section of a cobol program that represents a logical processing entity

    在計算機程序設計中， cobol程序中代表一個邏輯處理實體的一部分。
  19. The three - dimensional convective storm numerical model system is based on the three - dimensional convective storm model ( csm3d ) developed in the institute of atmospheric physics ( 1ap ), chinese academy of sciences. this system is an interactive system running in windows operating system and can be used in severe convective cloud numerical simulation and numerical forecast in the system designation, software is programmed in vc + +, fortran and grads. mixed - languages programming ( vc + + and fortran ), multithreading programming, vc + + interface programming and windows shell programming are applied

    使用visualc + +和fortran語言以及grads等軟體，利用vc + +和fortran混合語言編程技術、 visualc + +界面編程技術、 windowsshell編程等多種編程技術，基於多線程程序設計思想，將原來的基於dos操作系統的強對流雲數值模式系統移植到windows操作系統下，理順了原系統各個模塊之間的邏輯關系，建立了具有windows風格的友好界面，本系統操作簡單直觀，交互性好，方便使用者的操作。
  20. The vxibus c - size and i, q channels are employed in this module design, and the sampling rate in each channel reaches 500mhz. the memoty deep of the system is 2mb each channel and cpu is high - speed embedded cpu ( powerpc ). the timing and logic function are fulfilled by fpga. after the disscusion of signal adjusted, the detailed scheme of this module design have been showed. in this design, there is much logic function design, and it is very strict with the hardware language program. so the basic flow of hardware program design and several very important methods of high speed logic function design, which is described by vhdl, are introduced. also, expatiated the inner modules structure of fpga for forepart circuit, the keystone and difficulties of the design. the design of high - speed pcb is another difficuty of realizing high - speed data acquisition system, and it is very important. the timing simulating results of several pivotal modules are depicted. high - speed signal paths are terminated to match the characteristic impedance. the design undergoes integrity analysis and software simulation

    在本模塊的設計中，有著大量的邏輯設計，對硬體語言程序的編寫要求比較高，因此，文中介紹了硬體程序設計的基本流程，以及幾種基於vhdl硬體語言設計在高速邏輯設計中非常重要的方法。同時闡述了本模塊設計的前端fpga的內部模塊結構，設計的重點、難點，並給出了重要模塊的時序模擬結果。高速pcb的設計也是目前實現高速數據採集系統的難點和重點，文中詳細的闡明了高速pcb設計中的注意點，以及作者在設計本模塊時的經驗和心得。
分享友人
分享到 Line

分享到臉書