理論程序設計 的英文怎麼說

中文拼音 [lúnchéngshè]
理論程序設計 英文
theoretic programming
  • : Ⅰ名詞1 (物質組織的條紋) texture; grain (in wood skin etc ) 2 (道理;事理) reason; logic; tru...
  • : 論名詞(記錄孔子及其門徒的言行的「論語」) the analects of confucius
  • : 名詞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 (測量或計算...
  • 理論 : theory
  • 程序 : 1 (進行次序) order; procedure; course; sequence; schedule; ground rule; routing process 2 [自動...
  • 設計 : devise; project; plan; design; excogitation; layout; layout work; styling
  1. Firstly, the modeling theory and method of vpm for dynamics are researched. the thoughts of integrated modeling and oriented - object method are absorbed in building the geometric model of visualization function

    本文首先研究了動力學虛擬樣機的建模與方法,吸收一體化建模的思想,利用面向對象的方法,完成了實現可視化功能的幾何模型的建模。
  2. This article canvass the status quo of the archive ' s automatization administration and the develop status of data mining, and discusses how to combine the data mining technology with the archive work from data cleaning means, data mining arithmetic, and data storage etc. and this article put forword a data mining syst em design idea. this article ' s structure is : first, in allusion to the archive data status quo, the pretreatment work of archive data that include data quality evaluation, data cleaning and data commut - ation process is bringed forword ; second, in the process of realizating data mining, the article discusses conception description, association rule, class three familiar means of applicating data mining, also put inforword the concrete arithmetic and the program design chart, and discusses the range and the foreground of all kinds of arithmetic when they are applicated in the archive ; third, the base of so you say, this article also discusses the importance of the archice applicate data storage and the means of realizing it ; last, the article discusses seval important problem of realizing an archive data mining system from data, diversity, arithmetic multiformity, mining result variety and the data pretreatment visibility, mining object descriptive visibility, mining process visibility, mining result visibil ity, user demand description and problem defining etc aspect. the article ' s core is how to import data mining technology in the archive work

    本文評述了檔案自動化管現狀和數據挖掘技術的發展狀況,從數據清洗方法、數據挖掘演算法、數據倉庫的建立等方面述了如何將數據挖掘技術與檔案工作相結合的具體思路,並提出了一個數據挖掘系統的思想。文章首先,針對檔案數據的現狀,提出了應對檔案數據進行預處工作,包括數據質量評估、數據清、數據變換和歸約等過;其次,在具體實現數據挖掘過中,本文結合檔案數據的特點探討了概念描述、關聯規則、分類等三種常見挖掘形式的實現方法,提出了具體的實現演算法和框圖,並述了各種演算法在檔案工作中的應用范圍及前景;第三,在上述基礎上,又述數據倉庫在檔案數據挖掘中的重要性並提出了實現一個檔案數據倉庫的方法;最後,從處數據的多樣性、演算法的多樣性、挖掘結果的多樣性、數據預處可視化、挖掘對象描述的可視化、挖掘過可視化、結果顯示可視化、用戶需求的描述及問題定義等幾方面討了實現一個檔案數據挖掘系統的幾個重點問題。全文以探討如何將數據挖掘技術引入到具體的檔案工作實踐中為核心。
  3. The article elaborates on special theory and program design process of building fire automatic sprinkling system, meanwhile, shows operation panel, usage technique and source code. these was used in fact project design, effect being better

    闡述了建築消防自噴系統的專業,同時,列出操作界面、使用技術、源代碼,並運用於實際工中,效果較好。
  4. Mainly discuss the choice of gateway hardware platform, specifically introduced the programming of the gateway, the operate of can controller, the design of can data send and receive programming, network programming and the multi - task programming with emphasis

    軟體介紹了交叉開發環境keiluvision2ide的置和調試手段,給出了對can控制器的操作、 can數據幀處、網路編,其中重點討了嵌入式多任務
  5. This paper which starts from the actual needs, directed by the theory of cartology analyses all kinds of requires and functions for dmges, and create the spatial data model of the software system, combining the new generation programming technology, taking the oo software modeling, analysis, design method, it realized the collection, display of digital map data and the building of map denotation library, hi the end, this paper put forward the go - on research in future

    本文從數字地圖制圖的實際需要出發,在地圖學的指導下分析了數字地圖圖形編輯系統的各種功能和需求,並建立了軟體系統的空間數據模型。結合新一代的算機技術,採用面向對象的軟體建模、分析和方法實現了地圖數據的採集、顯示、編輯、地圖符號庫的建立。最後提出了需要進一步研究和完善的內容。
  6. In this thesis, two time domain numerical solution approaches have been deduced by the aid of computational mathematics and circuit theory

    本文藉助算數學、電路的知識推導出兩個時域數值解法。
  7. This research job analysised the extending roll pass system the finish roll pass system and the ultimate roll groove. the mathematical models and experience formulations used for roll pass design are corrected according to the basic theory and the practical experience of the engineerings. the thread steel bar card was set up with the visual program tool - visualbasic6. 0, based on the method of the structural program design

    本課題通過對螺紋鋼延伸孔型系統、精軋孔型系統及成品孔型的構成和方法的分析,結合螺紋鋼孔型系統的基本和工技術人員的實際生產經驗,對以往孔型中所使用的數學模型、經驗公式等進行了修正,以結構化方法為基礎,採用可視化編工具visualbasic6 . 0建立了螺紋鋼算機輔助孔型系統。
  8. Fom offered a knowledge base to fors. opencyc ' s upper ontology and inference engine were used in constructing fors. oracle 9i was used as the dbms of fors, and oracle designer was used as the toolkit for developing the document - querying and knowledge - importing interfaces

    花卉學文獻試驗性本體檢索系統以中國農業科學文獻數據庫作為目標文獻庫,以本文構建的花卉學本體模型為基礎,採用opencyc開放源代碼項目的頂級本體結構和推引擎,利用oracle數據庫應用實現了相應的檢索功能和文獻查詢與知識錄入界面。
  9. 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 )的操作語義模型,以期形成解決動態模糊性問題的方法。
  10. Its importance may be judged from the fact that it has had many applications in fields as diverse as general topology, lattice theory, category theory and theoretical computer science as well as in many other areas of mathematics

    Domain算機語言的指稱語義學奠定了數學基礎,處于拓撲學,格,范疇算機等多學科的交匯處,有著重要的研究價值。
  11. As the consummation of the social ist marketing economy system, the evidence rule should be correctly applied to direct the civil and commercial arbitration practice, each party " s burden of proof should be reasonably distributed, the direct relation between parties producing evidence and the arbitral award should be intensified, and the system of the parties producing evidence should be ensured, therefore, the system of the burden of proof can give its full play

    因此,在仲裁l ! 『 ,具有一銘套能夠保障當事人履行舉誡責仟的拈施和手段,並山此而形成保障舉證責任祝以落實的常規機制,已成為仲裁』川水婦湃究的重要內容。對此,我認為應』 『訂l :建眾指濘、 』勺事人舉誡制
  12. Based on the above theoretical research, this paper applied component gis method to develop the rural power distribution network management system of baoding city. laishui county as a case of practical application. in the advanced visual programming language - visual basic 6. 0 development environment, we took advantage of america gis component - mapx4. 5 to have implemented gis functions of the system in space data gathering, management, disposition, analysis, output, etc

    在以上研究的基礎上,本文以保定市淶水縣農村配電網管系統的建為例,利用美國組件式gis軟體? mapx4 . 5 ,結合高級可視化語言vb6 . 0 ,完成了系統在空間數據採集、管、處、分析、輸出等方面的gis功能。
  13. In our traditional juristical culture, the drawback that the substantive law has been attached more importance to than legal procedure has been all through the ages, and the design and application of the legal procedure has been received little attention

    在我國傳統的法律文化中,歷來有重實體而輕的積弊,和運用受到了不應有的冷落。隨著依法治國方略的提出,我國法學界和實務界越來越關注的價值。
  14. 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 ) 。
  15. The frame picking - up, sum checkout and decoding techniques of nmea0183 information in software design are discussed. the frame picking - up program for nmea0183 information is designed based on the finite state machine theory

    研究了中nmea0183格式數據的幀提取、和校驗及解碼技術,基於有限狀態機了nmea0183格式數據的幀提取
  16. This paper discusses the process of industrial control system that developed from distributed control system to fieldbus control system and its improvement. in the same time, this paper compares rs - 485 and can. this paper analyzes a concrete example to represent this system ' s advantage, such as convenience, common use

    在本文中,以該應用系統的一個智能化單元? ?浮輥張力控制單元為具體分析對象,詳細描繪其組武漢工大學碩士學位文成方式、工作原方法以及工作特點,對比了使用rs 485總線技術進行通信與使用can總線技術進行通信的不同,較好地體現了叢于觀場總線技術的染敝控制系統介實際工業應用中的優拎和特點。
  17. The thesis is based on empirical design of underground engineering structures. by introduction of a computer program and combination of conventional empirical analogue design methodology and computer technology, the thesis develops the design philosophy of the underground engineering empirical design

    文章以地下工經驗為基礎,通過引入算機,將傳統的經驗類比方法和算機技術結合起來,從而發展了地下工經驗
  18. Major courses : theoretical mechanics, mechanics of materials, structural mechanics, mechanics of elasticity, fluid mechanics, computational mechanics, vibration mechanics, experimental mechanics, fundamentals of electrical engineering & electric technology, computer technology and program design, main specialized courses in structural engineering, main specialized courses in engineering software

    主要課力學、材料力學、結構力學、彈性力學、流體力學、算力學、振動力學、實驗力學、電工與電子技術基礎、算機基礎知識及、結構工類專業課、算機軟體類專業課。
  19. Higher mathematics, visual basic programming design, fundamentals of law, linear algebra , fundamentals of, computer application, physical education, computer networks and communication, c + + with object - oriented, programming, data structures, philosophy and political theory, programming in c language, operating systems, software test technology, relations on business, digital logic circuit, international software development, social analysis and government policy, introduction to java visual foxpro database systems and program design, e - business, introduction to programming with an application framework, software engineering, introduction to web page design and programming

    高等數學、大學算機應用基礎、軟體工、用戶界面、電子商務、軟體工、數據庫應用與、線性代數、編碼基礎、信息管基礎、軟體成本估算、質量管算機軟體技術基礎、實用軟體體系基礎、大型軟體體系結構、軟體測試技術、客戶關系管、電子商務、國際化軟體開發、現代項目管算機網路與通信。
  20. To abominable and complicated work condition of dynamic balancing machine and serious jamming, software anti - jamming technology is adopted. principle of software redundance, software hook, " watchdog " and auto - resume from malfunction is detailedly described and program is designed

    針對動平衡機的工作環境惡劣和復雜,干擾嚴重的特點,採用了軟體抗干擾技術,本文詳細述了軟體冗餘、軟體陷阱、 「 watchdog 」和故障自動恢復處等技術原方法。
分享友人