自動推理工具 的英文怎麼說

中文拼音 [zìdòngtuīlǐgōngjù]
自動推理工具 英文
automated reasoning tool
  • 自 : Ⅰ代詞（自己） self; oneself; one s own Ⅱ副詞（自然;當然） certainly; of course; naturally; willin...
  • 推 : 動詞1 （向外用力使物體移動） push; shove 2 （磨或碾） turn a mill or grindstone; grind 3 （剪或削...
  • 理 : Ⅰ名詞1 （物質組織的條紋） texture; grain （in wood skin etc ） 2 （道理;事理） reason; logic; tru...
  • 工 : Ⅰ名詞1 （工人和工人階級） worker; workman; the working class 2 （工作; 生產勞動） work; labour 3 ...
  • 自動 : 1 （自己主動） voluntarily; of one s own accord 2 （不憑借人為的力量） automatic; spontaneous 3 ...
  • 推理 : [邏輯學] inference; ratiocination; illation; reasoning; ratiocinate
  1. With the advantage such as safety, reliability, attractive design and energy - saving, rhein - r passenger conveyor becomes the necessary traffic tools in the public areas like storehouse, stations, docks and airports, and the most idea traffic tools for luggage carts and shopping carts in supermarkets

    型自動人行道以其安全、可靠、美觀、高效節能等優點，成為商場、車站、碼頭、機場等公共區域必不可少的交通工具，也是行李推車、超市購物車等最理想的交通工具。
  2. Par method can explain the whole process of " problem - program " as well as improve substantially the programming skills of students ; about the implement technology, the popular generic paradigm is incorporated and the results in ai ( knowledge representation and automated reasoning ) are used, which enables the system to be a truly " open system " with infinitely many problems and solutions, instead of just a compilation of fixed ones ; about the function of the system, it incarnates the constructivism and it has excellent human - machine interface, concurrence, and openness

    Par方法可以說清「問題程序」的全過程，可以解決現有程序設計教學存在的根本問題，幫助學習者實質性地提高程序設計的能力；在實現技術方面，借鑒了當代流行的泛型思想，並將人工智慧在知識表示、自動推理等研究中形成的思想方法和成果應用於程序設計icai系統的開發，使得系統具有一個既有問題又有解答的無限題庫，這些解答是由自動推理產生的而不再是固定問題、答案的堆砌；在系統功能方面，充分體現了建構主義思想，具有良好的人機交互性、並發性和開放性。
  3. Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm, the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ), which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc. hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content, we select par method as the main content

    本系統選用薛錦雲教授的par方法為主要教學內容，應用人工智慧的知識表示和自動推理原理及泛型思想，使得系統具有以下核心功能：展示幾種典型例題的解；以泛型思想為指導，實現了無限題庫，可以自動生成與典型例題類似的問題給學生求解並給予提示；對于這些題目，計算機可以自動推理出由問題到程序的全過程供學生學習；也可通過自動推理根據用戶的實際做題情況實時給出提示，互動式地幫助學生學習演算法程序設計；學生可以從問題庫中獲得練習，並調用轉換器，將自己的apla程序轉化為可執行語言程序，運行以檢驗其正確性；對教師而言，可以對已有的實例庫、問題庫進行添加操作等。在系統的研製過程中，我們深入研究了系統的各方面相關知識，並進行了多方面的創新：在教學內容方面，首次選用par方法為主要內容。
  4. Rule of law as an instrumental running mode can be forcefully pushed by the government, but as a value object, it is a motile choice process of the social subject, an entia of objective in - evitability and people " s self - demand of the aim of their activities, and an entia of realism and idealism, and an entia of the intrinsic value object and extrinsic va

    法治作為一種工具性的治國模式是可以通過政府來強行推行的，但作為一種價值目標，同時又是社會主體能動的選擇過程，是客觀必然性與人們自身需要或活動目的的統一;是現實性和理想性的統一;是法治的內在價值目標和法治的外在價值目標的統一。
  5. The content of this paper is arranged as foll owing : chapter 1 introduces the concept of credit, credit risk and credit assessment, as well as the history and development of credit assessment ; chapter 2 introduces the history of ai technology, and the background of expert system and neural network. characters and disadvantages of expert system and neural network are presented respectively and the necessity of combining expert system and neural network is lightened ; chapter 3 shows the process of dealing with sample data, including the treatment of exceptional data and factor analysis, and puts forward the concrete framework of the mixed - expert credit assessment system ; chapter 4 introduces concept of object - oriented technology, and constructs object model and functional model after analyzing the whole system. it also illustrates the implementation of concrete classes by an example of rule class and the inference algorithm in the form of pseudocode ; chapter 5 introduces the structure of the whole system, the major functional models and their interfaces, and the characteristic of the system is also generalized ; chapter 6 summarizes the whole work, and points out the remaining deficiencies as well as the prospective of this method

    本文具體內容安排如下：第一章介紹了信用、信用風險、信用評價的概念，回顧了信用評價的歷史、發展和現狀，並綜合各種信用評價模型，指出這些模型各自的優缺點：第二章簡單描述了人工智慧技術，著重介紹有關專家系統與神經網路的基礎知識，通過總結它們的優缺點，指出結合專家系統與神經網路構造混合型專家系統的必要性；本章還介紹了神經網路子模塊的概念，提出了混合型專家系統的一般框架與設計步驟：第三章對樣本數據進行處理，包括異常數據的剔除、因子分析等，提出了信用評價混合型專家系統的具體框架結構，介紹了系統知識庫的主要部分、基於優先級的正向推理機制的流程、以及基於事實的自動解釋機制的具體實現方法；第四章介紹了面向對象技術，進而採用面向對象對信用評價系統進行分析，建立了對象模型和功能模型，並在此基礎上，採用c + +語言以規則類為例說明系統中具體類的實現，用偽代碼的形式描述了推理的演算法；第五章描述了整個系統的結構，對系統主要功能模塊和界面進行了介紹，並總結系統的特點；第六章總結了全文，指出本文所構造系統存在的不足以及對將來的展望。
  6. The automatic metering system for 33 - 07 trucks can accurately make automatic metering and recording of mine - used truck hauling data such as run number, load, time etc. under various complicate and deteriorative operational environment conditions so as to realize the automation and computerization of the metering of mine - used truck hauling and meet the requirements of the truck hauling management in open - pit mine operation. as a result, it is of high popularization value

    07汽車自動計量系統能夠在礦用載重汽車各種復雜、惡劣的作業環境條件下對汽車運輸作業的車次、載重量、時間等數據進行準確自動計量和記錄，實現了礦用載重汽車運輸作業計量的自動化和計算機化，滿足了露天礦山生產汽車運輸管理工作的需要，具有較高的推廣應用價值。
  7. In this thesis, we ’ ve first introduced some conceptions of model checkingand knowledge reasoning. then we ’ ve mainly introduced my tutor ’ s methodof model checking temporal logic of knowledge. lastly, we ’ ve applied thismethod to two specific areas with our tool mctk : one problem is to verifythe winning strategies in the zero - sum games, which is to automatically findout whether there exists a way ensuring the necessarily win of players ; theother problem is to verify the knowledge based security protocols, whosesecure properties rely on the knowledge reasoning of the anticipants in theprotocol

    本文首先介紹了模型檢測和知識推理的基本概念，然後著重介紹了我導師所提出的模型檢測時態知識邏輯的方法，最後使用本實驗室研製的相關工具mctk來對兩個特定領域的問題進行了自動驗證:一方面的問題是驗證對弈中的必勝策略，即驗證對弈中的行棋雙方是否存在著必然獲勝的走法;另一方面的問題是驗證基於知識的安全協議，而這類協議的安全特性依賴于協議參與者的知識推理。
  8. With the lastest development of management system of domestic power system, management strategy for substation operation is reaseached. based on windows platform, a design of developing for practical operation. the syatem satisfies techenicians " demand and enhances work efficiency. it benefits the application of computer in power system and improves department management level

    從現場實際運行的角度出發，針對我國電力系統具體運行情況，自行設計開發了基於windos平臺的調度運行微機管理信息系統，該系統符合現場技術人員的實際需要，提高了工作效率，對于推動計算機在我國電力系統的應用發展、提高部門管理水平具有重要意義。
  9. The article has researched the intention of agricultural industrialization which is guided by market and mainstay enterprises, based on agricultural product base organized by a lot of families, and characterized by joint management and mutual benefit. it also realized production specialization, product commercialization, service socialization and etc. the article has also researched the existing conditions of agricultural industrialization both at home and abroad. although it is different in national conditions and actual practice, the developed countries follows the market economic law and naturally steps on the road of agricultural industrialization. as the continuous reforming and opening up, china actively explores and enhances the management level of agricultural industrialization. the writer uses system changing theory, scale management theory, trade expense theory. market system theory and industrial economics theory, to put forward the main type of mainstay enterprises, which is divided by ownership, organization form, contact form and product. the writer thinks that development of mainstay enterprises can promote effective joining between small production and big market, the developing of high - benefit agriculture, establishing trade / industry / agriculture operation system, region economics and joining process between urban area and rural area. the existing conditions in strengthening the mainstay enterprises in zhaoyuan embodies continuous expanding in scale. continuous widening in fields, continuous enhancing in benefits, continuous improving in techology and quality. by finding the problem and shortage in product quality, developing ability and scale strength, the article has put forward the following views : face to market and enhance quality and techological content of agricultural products ; enforce flexible policy and investments ; establish fair and reasonable benefits joining system. the article has also put forward the countermeasures and suggestions on enhancing the enterprises ' management level

    文章研究了農業產業化經營的內涵，明確其以市場為導向、以龍頭企業為依託、以一大批農戶組成的農產品生產基地為基礎，形成農工商有機結合、風險共擔、利益均沾的本質特點，表現出生產專業化、經營一體化、企業規模化、產品商品化、服務社會化等特徵。分析了國內外產業化經營的現狀，認為盡管各國的國情不同，具體的做法和叫法不盡相同，但是經濟發達國家都遵循市場經濟規律，很自然走上了農業產業化經營的道路，發展中國家紛紛仿效，中國也隨著改革開放不斷深入，積極探索發展提高農業產業化經營水平。作者運用制度變遷理論、規模經營理論、交易費用理論、市場機制理論和產業經濟學理論，提出了龍頭企業從所有制形式、從組織形式、從聯系方式及從產品上劃分的主要類型；認為發展龍頭企業有促進小生產與大市場的有效對接、推動優質高效農業縱深發展、建立貿工農一體化運行機制、振興區域經濟、加速城鄉一體化進程等作用；考察了招遠市壯大龍頭企業推進農業產業化的現狀，表現在規模不斷擴大、領域不斷拓寬、效益不斷提高、技術不斷改進、質量不斷提高等方面；找出了龍頭企業產品質量上、開發能力上、規模實力上和行業自律上的問題和差距，提出了要面向市場，努力提高農產品的質量和科技含量，多策並舉，搞活投入機制，建立公平合理的利益聯結機制，加強行業自律，提高企業經營管理水平等對策和建議。
  10. Fuzzy inference system ( fis ) module, control system module and simulink module are used in the simulation of mrfac system and a set of lest and best control rules are found by " error trial ". it proves that high precision control is realized and the hydraulic mrfac system can achieve dynamic and static performance in this paper

    本文就是利用matlab軟體中的模糊推理系統工具箱、控制系統工具箱和simulink工具箱對液壓伺服模型參考模糊自適應控制系統進行模擬，用「試錯法」找出一組數目最少且能夠實現最優控制的條件語句，使系統的動穩態性能得到了大大地提高，基本上實現了超調小，響應速度快地實時控制。
  11. This kind of controller is easy to design and operate, and has improved convergence rates and less overshoot than pid controller, but has stable error. in order to improve the properties of the fuzzy controllers, fine - tune - rule fuzzy controller, fine - tuned parameter fuzzy controller and fuzzy - pi controller were designed respectively based on the simple fuzzy controller. then fuzzy logic inferential system is established by using toolbox of fuzzy logic in matlab7. 0. secondly, in simulink6. 0, through the instance of the template of s - function, the module of s - function for optimizing fuzzy control and corresponding control model are constructed, and the parameters of simulation are set

    這種控制器易於設計、實現方便，較傳統pid控制有更快的響應速度和更小的超調，但其存在靜態誤差;為了進一步提高模糊控制器的控制特性，在此基礎上分別設計了可調整控制規則模糊控制器、參數自整定模糊控制器和模糊- pid復合控制器;然後利用matlab7 . 0模糊邏輯工具箱圖形用戶界面建立模糊邏輯推理系統，在simulink6 . 0系統模擬設計平臺中通過實例化s函數模板創建旨在優化模糊控制的s函數功能模塊，並構建模糊控制系統框圖模型，設置系統模擬參數，最終對系統進行動態模擬。
  12. Abstract : a continuous type inferential control algorithm and the proof of the stability and the convergency of the inferential control system are given in this paper. the system has the performance of convergency and robustness. the algorithm which is simple and has only one adjustable parameter q and has been successfully used for the servo control of the tension of the film in the metallized film capacitor automatic winding machine and we get a satisfactory result

    文摘:給出了一種適用於工程常見的二階對象的連續型推理控制演算法，以及推理控制系統的穩定性和收斂性證明.該系統無差、穩定，且具有較好的魯棒性.該控制演算法簡單，僅有一可調參數q ，並成功地應用於薄膜電容器全自動卷繞機中作為快速張力伺服控制，取得滿意效果
  13. Professor parr added : " the aims of the network, to be launched in september 2004, are to share and disseminate new theories, methodologies, technologies and tools within the member organisations and wider academic and industrial sectors including aerospace, auto - engineering and factory automation ; identify areas of research and development of interest to academia and industry and support further collaboration ; increase the capability of participating organisations and the wider research communities and improve research quality ; and help the uk universities establish internationally leading joint research programmes with partner universities in china.

    月推出，主要目的是為了在成員機構和包括航空航天、自動工程和工廠自動控制在內的更廣泛的學術與產業部門內，分享和傳播新的理論、方法、技術和工具；確定對學術與產業界有重要作用的研發領域，維持進一步的合作；增強參與機構和研究團體的能力並提高研究質量；幫助英國大學與其中國的合作大學創建國際一流的合作研究方案。 」
  14. According to the defect ? knowledge stored in the knowledge base and reasoning rules, it can reason out the software defect

    根據知識庫中儲存的有關軟體缺點的知識和推理規則，該工具可以自動報導出一：件可能含有的缺點。
  15. Along with the advancement of technology, human are changing all aspects of environment at unprecedented speed the change of the utilizing land resource make the style of utilizing land resource change with each passing day for the land manager, as the traditional mode of manage can not adapt the change of utilizing land resource, they need a sort of land resource management information system which can update graph and data at real timeo the appearance and development of " 3s " ( remote sensing globe position system geography information system ) technology improve the change from traditional map to digital map, and offer the platform on which the land resource management information system can be developed which can satisfy the manager ' s requirement, and make it possible that develop the land resource management information system by the manner of system integration the article set forth the method and technology of developing the land resource management information system from the aspects of the manner of development the instruments of integrated development the design of system the data ' s organization the technology of integrated development

    隨著科學技術進步的速度越來越快，人類正以空前的速度改變著自然環境及其各個方面，人類對土地資源的利用也發生著日新月異的變化，使得土地資源的利用類型隨時隨地發生改變，對于土地管理者來說，傳統的管理模式已經不能夠適應當前土地利用的變化速度，急需一種能夠實時更新圖形和數據的土地資源管理信息系統。 「 3s 」 （遙感技術、全球定位系統、地理信息系統）技術的出現和發展，推動了傳統地圖向動態的數字化現代地圖的變革，為建立滿足當代土地管理者需求的土地資源管理信息系統提供了可能的平臺，使得採用系統集成方式進行土地資源管理信息系統開發成為可能。本文主要從開發方式的選擇、集成開發工具、系統設計、數據組織、集成開發技術等五個方面闡述開發土地資源管理信息系統的方法及相關技術。
  16. It will have the important significance of providing a new thoughtfulness and way to realize the combination of the political work and the modern information technology, intensifying the justice and equity of the “ two competitions ”, further developing and perfecting the political work ’ s theoretic and methodology system, and further more, advancing the further research of the artificial intelligence of political work

    本文首次提出了將「雙爭」評比活動納入計算機操作系統的技術構想，為實現政治工作與現代信息技術結合提供了一種新思路和新方法，對于增強「雙爭」評比的公平公正性，進一步發展完善政治工作自身的理論和方法論體系，進而推動政治工作人工智慧研究的深入開展都具有十分重要的意義。
  17. Abstract : this article introduced the structure, theory a nd usage of a newtype well repairing hydraulic nippers, and also analyzed its advantages and prospects of its popularizing and applying

    文摘:介紹了新型修井配套工具油田修井液壓鉗安全自動裝置的結構、原理和使用方法，分析了它的優點和推廣應用前景。
  18. The tool of expert system on the basis of ann provides the expert with the friendly multimedia interface. experts can train the ann and input the domain experience and knowledge independently. the universal reasoning engine can link different knowledge database and data file to create different expert systems for promoting the speed of building expert systems

    基於神經網路的專家系統工具的實現，為專家提供了友好的多媒體人機界面，專家可以獨立訓練神經網路、獨立錄入領域內的經驗和知識，通用推理機可以連接不同的知識庫及數據文件，自動生成不同的專家系統，提高了建造專家系統的速度。
分享友人
分享到 Line

分享到臉書