自動推論 的英文怎麼說

中文拼音 [zìdòngtuīlún]
自動推論 英文
automating reasoning
  • 自 : Ⅰ代詞（自己） self; oneself; one s own Ⅱ副詞（自然;當然） certainly; of course; naturally; willin...
  • 推 : 動詞1 （向外用力使物體移動） push; shove 2 （磨或碾） turn a mill or grindstone; grind 3 （剪或削...
  • 論 : 論名詞（記錄孔子及其門徒的言行的「論語」） the analects of confucius
  • 自動 : 1 （自己主動） voluntarily; of one s own accord 2 （不憑借人為的力量） automatic; spontaneous 3 ...
  • 推論 : ratiocination; sequitur; inference; triangulation; extrapolation; deduction; corollary
  1. Existing complexity proofs on the circularity problem of ags are based on automata theory, such as writing pushdown acceptor and alternating turing machines

    目前對屬性文法循環性問題復雜度的證明，多基於自動機理論，如寫入推出接受器、交替塗林機等。
  2. Here we study the method of using com subassembly and ole automation technology to solve the integrate problem. this technology can fulfill the task of data ' s sharing and conversion, supporting the synchronization of space decision reasoning analysis and space information manipulation, realizing the seamless integration. the paper based on solving the evaluation of land using problem, by anglicizing the deficiency of gis ' s space decision and the merit of egis

    這里我作了用com技術及其統一數據傳輸機制和ole自動化功能進行es和gis集成的研究：其中，將es作為控制器， gis作為自動化對象連接起來，能很好地完成數據的轉換與共享，支持空間決策推理分析和空間信息操作的同步進行，本文由此重點討論了com及ole自動化技術。
  3. The optimistic arithmetic of agv move route is ratiocinated combined with the principles of archives storage, in order to the purpose of storage and fetch archives quickly

    為達到快速自動存取檔案的目的，結合論文所制定的檔案存放原則，推導了agv行走的最優路徑演算法。
  4. Alti1ough neuial network gets a satistw soluhon of prob1em, it is not deted to use ned ned solving problem of automated reasoning

    盡管神經網路尋找到的解是一個滿意解，但這不影響我們考慮將神經網路技術應用於自動推理理論與方法中。
  5. The normal form theories can keep the intuition relationship between the complete normal form and the truth table, which only keeps in classical 2 - valued logic system. the tableau system can act as the automated reasoning system in incomplete information environments

    該範式理論能夠在三值環境下依舊保留等值完全範式與真值表? ?對應的直觀關系，同時，建立的表推演系統可作為不完全信息的自動推演系統。
  6. In proc. symposium on integrated circuits and systems design, phuket, thailand, september 2002, pp. 149 - 154

    今後的工作包括推廣細化規則的理論，開發過程的自動化研究。
  7. Topics discussed included the progress in windshear alerting service, amendment 72 to icao annex 3, re - organization of airspace in the south china sea, the annual survey on services provided by the hong kong observatory, world area forecast system wafs transition matters, the launch of broadband amids and the progress on automatic dependent surveillance controller pilot data link communication ads cpdlc and aircraft meteorological data relay amdar. fig. 15 meeting on aviation weather services with air traffic management bureau, civil aviation administration of china, 12 november 2001, beijing

    會上討論多項議題，包括風切變警告服務的最新進展國際民用航空組織icao附件3須作出的第72號修訂中國南海空域的重組天文臺的周年服務意見調查世界航空區域預報系統wafs過渡事宜推出寬頻航空氣象資料發送系統amids ，以及自動從屬監視系統飛行員管制員數據鏈通訊ads cpdlc和飛機氣象數據下傳amdar計劃的最新進展。
  8. The paper emphasesd on the following issues : integrating network topology automatic discovery and network performance monitoring into an uniform web environment via activex control technique. constructing a hierarchic network monitor system based on distributed data replication technology via sql server replication function. analysising the relation between network usability, error and discard rate consequently to find out a formula, which can be used to calculating the congestion likelihood and setting the threshold for alerting the congestion situation

    論文重點論述了以下幾個問題：採用控制項技術，使網路性能監視、網路拓撲的自動發現集成在統一的web平臺上；運用sqlserver的復制功能，構造一種基於分佈數據復制技術的層次式網路監視系統；對網路利用率、出錯及丟棄百分比信息進行分析，找出它們在推算擁塞可能性時的量化公式，並應用於閥值設置，以實現對擁塞可能性進行預警；研究分析在不同范圍內的拓撲發現工具及演算法，並針對系統需求設計實現一種域內分級式網路拓撲發現演算法。
  9. Equations of mesh, shorting contact line, undercutting limit line, meshing limit lines and the existence conditions, angle between the direction of relative speed and the direction of contact line, induced normal curvature about every point on the contact line are established. moreover, the paper also theoretically analyzed the error of the grinded gear surface. on the basis of the theory, the computer program is worked out to automatically produce the contact line and the boundary curves of mesh. analysis of meshing circs under different parameters can be done so that we can gain the best process condition

    首先對漸開面二次包絡理論進行了深入的探討，推導出了兩次嚙合的嚙合方程式、瞬時接觸線方程式、根切界限線方程式、嚙合界限線的方程式及其存在條件，相對運動速度方向與接觸線方向的夾角及接觸線上各點的誘導法曲率；此外，還對磨齒后工件的齒面誤差進行了理論分析；並在理論基礎上編制了相應的計算機程序，自動生成接觸線族及嚙合界限線，對不同參數條件下的嚙合情況進行分析，可以使工藝條件達到最佳狀態；最後研究了磨齒裝置，設計了磨齒機的傳動系統。
  10. By its analysis of both the laws of the social and historical development and the style of individual races " evolution, maxism reveals that china has no choice but to stick to her own development, to open - door policy, and to foster the market economy of socialism. the theory of power of society development ' s analysis of basic contradiction of society and science and technology also suggest that china should promote the development on the basis of the combination of basic contradiction of society, reform and opening - up and science and technology. in the strategy of social development, maxism also clarifies the relationship between man and nature, social development and economic development, and also man and culture

    他對社會歷史發展總規律與各民族具體歷史發展道路即社會發展道路「一」與「多」關系的剖析，昭示了社會主義中國必須走自己的路，必須實行對外開放，發展社會主義市場經濟；其社會發展動力論中對社會基本矛盾、科學技術等的論述也啟示了社會主義中國必須將社會基本矛盾、改革開放及科學技術共同作為推動中國特色社會主義發展的強大動力系統；其社會發展戰略思想中對人與自然的關系、社會發展與經濟增長的關系及對人與文化等的相關論述又表明建設中國特色社會主義必須實施可持續發展戰略和科教興國戰略，以人為本，以人的全面發展為目標，同時還要構建社會主義文化的新形態。
  11. Then, the author tries to find theoretical reasons and bases in party autonomy doctrine, contract principles and new theories for the transfer of international commercial arbitration clauses. abundant theoretical reasons and basis are given in this part part two analyzes the practices in the transfer of international commercial arbitration clauses with the presentation of relevant cases and legislation. the courts have adopted various grounds to valid the transfer while the new contract laws could be regarded as a strong and powerful support but the arbitration laws have avoided the complex problem of such transfer

    法院從不同角度出發，藉助仲裁條款獨立性不影響其轉讓、自動轉讓、法，力圖使國際商事仲裁條款轉讓生效;禁止翻供和利益分析等推理方商事仲裁條款轉讓強有力的法律支持，新的合同立法完全可以成為國際國《合同法》堪稱楷模; 1996年英國《仲裁法》 ，專門針對第三方權利的1999年英問題粵採取迴避態度，而仲裁立法在這方面的表現卻差強人意，不論是還是1999年瑞典《仲裁法》都在仲裁條款轉讓而把這個棘手的問題留給司法機構自行解決改戶抹
  12. This paper based on the man and machine system theory, aims at the bottleneck problem exit in the automatic manufacturing system - material handling system. the paper puts forward a new material delivering equipment - semi - automatic guided vehicle, which is used to replace the agv ( automatic rail guided vehicle ) in ams ( advanced manufacturing system ), to make up its defects, such as high cost, great technical difficulty, low reliability, and difficult to spread in our country etc. the paper brings forward a new technique of communication that is combining mailslot with windows socket

    本文以人機一體化系統理論為基礎，針對製造自動化系統目前存在的瓶頸問題?物流系統，提出開發一種全新的送料設備?半自動無軌運輸車，用來取代ams （先進製造車間）中的agv （自動導向小車） ，彌補其製造成本高、技術難度大、可靠性不高、在國內難以推廣的缺點。
  13. The purpose of this paper studies a new type automatic sorting system - sliding shoes sorting system which can content the market demand. the thesis not only studies the modeling theory and methods, but also the system simulation processes and methods. the methods are effective to analyze the complex system

    論文研究的目的就是從市場需求出發，研製開發一種新型的自動分揀機?推塊式自動分揀機，論文重點討論了系統建模的原理、方法及系統模擬的方法、步驟，以解決復雜系統的分析問題。
  14. This thesis firstly analyzed major techniques widely used in semantic web and also ontology theory. it then focused the researches on reasoning techniques in the context of ontology knowledge base systems

    本文在分析語義web的支撐技術和本體知識庫的理論后，著重研究基於本體知識庫系統的自動推理技術，分邏輯推理和傳統的規則推理兩方面進行研究。
  15. This thesis analyzed various error resources in gps surveying and advanced appropriate correction measures ; it introduced theory and method that estimate parameter in reliability study, and then, deduced adjustment mathematic model of gps network ; based on analyzing characteristics of reliability study of gps network and outlier analysis, it carried profoundly out study on issue about reliability of gps network, deduced and summarized target of reliability of gps network, including redundant observation component of gps baseline vector and inside & outside reliability index, advanced a theory about reliability of gps network based on correlative analysis, and summarized methods that improve reliability of gps network ; it worked out a software of reliability analysis about gps observation, which made reliability analysis automatic and convenient

    論文分析了gps測量中的各種誤差來源，提出了相應的改正措施；介紹了可靠性研究中參數估計的理論和方法，進而推導出gps網平差的數學模型；在分析了gps網可靠性研究和粗差分析特點的基礎上，對gps控制網可靠性問題進行了深入的研究，推導總結出了gps網可靠性指標，包括gps基線向量的多餘觀測分量、內部可靠性和外部可靠性指標，提出了基於相關分析的gps控制網可靠性理論，總結出了提高gps控制網可靠性的措施；編制出了gps觀測數據可靠性分析軟體，使可靠性分析自動方便。
  16. First, the recent studies of ca models for traffic flow, based on the statistical physics, are introduced in the thesis. at the same time, all kinds of models based on the determined ca are also introduced in detail. second, we introduce the improved ns model presented by xueyu to the ca traffic flow model of a two - lane roadway in a highway and on a urban main road

    本文首先綜述了各種交通流模型，在簡單介紹了元胞自動機及其理論的基礎上，重點介紹了元胞自動機交通流模型，並在此基礎上，對薛郁提出改進的ns模型加以應用和推廣到雙車道高速公路交通流模型和城市主幹道交通流模型中。
  17. Firstly in this part, computer simulation methodology based on the baecher model for generating network of discrete fractures was presented, which includes the follow details : probability distributions of fracture density, orientation, trace length, size, and aperture and estimation of their statistical parameters ; stochastic models of fracture network ; monte - carlo ' s simulation method ; numerical simulation procedure and technicality. then, boundary element method was used to calculate flow through the generated fractured network. assuming single fracture as a two - dimension inexpressible isotropic porous media, boundary element method equations for flow in single fracture and then in fracture network were derived using the weighted residual method

    給出了離散裂隙網路模型所依據的基本假定；發展了基於baecher模型的離散裂隙網路計算機隨機生成技術：詳細地推導了單裂隙滲流和多裂隙相交網路滲流的邊界單元法公式，發展了離散裂隙網路中穩態滲流的邊界元數值技術，並且討論了相關的具體數值技術細節，如角點的處理方法，單元的自動剖分等：描述了混合邊界元?管流模擬方法及其數值實現；研究了裂隙網路的簡化方法，並針對裂隙網路邊界元法的特點提出了一種改進的分塊三角分解法。
  18. In part of theory, the paper analyses the present situation of its, presents its theoretical base, constructs a teaching mode of dual - initiative, gives its structure, discuss its writing environment, provides a reference of integrating object - oriented database and ai ; in part of design, the paper combines method of fields knowledge representation, presents teaching strategy reasoning machine based on weight - generation production rule ; according to cognitive learning theory, designs a cognitive model of student which adopts approach method and historical inheritance of study, designs a model which can navigate in learning process and in hyper - text based on student ' s model and knowledge presentation, discusses the design of explanation mechanism and man - machine interface

    在理論部分，本文分析了its的現狀，提出了its的理論基礎，建構了一個雙主的教學模式，並給出了its的結構，討論了智能教學系統的寫作環境的選擇，為本文的面向對象數據庫和人工智慧的結合提供了依據；在設計部分，本文結合領域知識表示方法，給出了一個面向對象的認知的超文本的知識表示方法，提出了基於加權產生式規則的教學策略推理機；依據認知學習理論，設計了一個採用逐步逼近法的有學習歷史繼承的認知學生模型，並根據學生模型和知識表示設計一個學習過程自動導航和超文本導航的教學模型；討論了智能系統解釋機制和人機介面的設計。
  19. In automated theorem pidving, auomated reasoning methods of propositional calculus provide with edtersal naoning method for other iogic sywt

    在自動推理理論與應用的研究中，命題邏輯系統中的方法和內容具有廣泛的適用性。
  20. In 1989, academician wu wen - tsun forwards wu differential characteristic method which establish theoretical basis for mechanical theorem proving of differential geometry and the research of automatic reasoning

    1989年吳文俊院士提出了吳?微分特徵列法，為微分幾何定理的機械化證明和自動推理的理論研究奠定了理論基礎。
分享友人
分享到 Line

分享到臉書