自動推理系統 的英文怎麼說
中文拼音 [zìdòngtuīlǐxìtǒng]
自動推理系統
英文
automated inference system- 自 : Ⅰ代詞(自己) 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...
- 系 : 系動詞(打結; 扣) tie; fasten; do up; button up
- 統 : Ⅰ名詞1 (事物間連續的關系) interconnected system 2 (衣服等的筒狀部分) any tube shaped part of ...
- 自動 : 1 (自己主動) voluntarily; of one s own accord 2 (不憑借人為的力量) automatic; spontaneous 3 ...
- 推理 : [邏輯學] inference; ratiocination; illation; reasoning; ratiocinate
- 系統 : 1. (按一定關系組成的同類事物) system 2. (有條理的;有系統的) systematic
-
In this thesis, reasning based medel and resolution principle are deeply studied, and using netal network partly driplement automated reasoning
本文在對命題邏輯系統的模型推理和歸結原理研究的基礎上,嘗試利用神經網路部分實現自動推理。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
該範式理論能夠在三值環境下依舊保留等值完全範式與真值表? ?對應的直觀關系,同時,建立的表推演系統可作為不完全信息的自動推演系統。Based on the production of other researchers such as professor xu yang and professor qin keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice - valued systems, automated reasoning methods, lattice - valued prepositional logic system
本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上,對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。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系統的開發,使得系統具有一個既有問題又有解答的無限題庫,這些解答是由自動推理產生的而不再是固定問題、答案的堆砌;在系統功能方面,充分體現了建構主義思想,具有良好的人機交互性、並發性和開放性。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方法為主要內容。A integrated flight / propulsion control ( ifpc ) theoretical schema was designed based on this concept and a engineering schema was developed after take consideration of currently engineering condition and the requirements of in - service aircraft upgrade. a auto - flight system was designed which can achieve accurate flight movement control and increase performance of flight task such as ascend, cruise, te
基於該概念設計了飛推綜合原理方案,並在考慮工程實現條件及現役飛機改進、改型要求后建立了工程實現方案,設計了軌跡跟蹤方式的自動飛行系統,解決了軌跡生成、表示、管理、跟蹤等問題,能夠實現運動狀態的精確控制,提高爬升、巡航等任務的性能。It uses the multiple modeling technology to divide the whole system, which combines the petri net technology with the oriented object technology. a complex system can be divided into several subsystems by this way. their tasks and the information flow are clear in these subsystems
本文以推塊式分揀系統的研究開發為對象,採用petri網技術與面向對象技術相結合的復合模型建模技術,研究了推塊式自動分揀系統的層次劃分,將一個復雜系統劃分為多個子系統,各子系統任務明確、信息流向清晰,便於管理系統的設計和應用,也有利於分析系統的可達性、有界性等。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的支撐技術和本體知識庫的理論后,著重研究基於本體知識庫系統的自動推理技術,分邏輯推理和傳統的規則推理兩方面進行研究。The planned route is fixed according to sea area, ship condition and weather element. then we may correct the route, rudder and engine in the light of wind currency and obstacle as well as make control in accordance with actual state, economy and requirement to obtain the relevant avoidance data by using of ais or arpa and offer the corresponding navigational safe areas in connection with the various navigational areas and conditions
利用ais ( automaticidentificationsystem ,船舶自動識別系統)或arpa (自動雷達標繪儀)獲得相關的避讓數據,對相同海域航行的船舶態勢及船舶長度進行避航領域的推算,將其結果與實際調查的情況進行擬合和數據處理,針對不同的航行區域與條件,給出相應的航行安全領域。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汽車自動計量系統能夠在礦用載重汽車各種復雜、惡劣的作業環境條件下對汽車運輸作業的車次、載重量、時間等數據進行準確自動計量和記錄,實現了礦用載重汽車運輸作業計量的自動化和計算機化,滿足了露天礦山生產汽車運輸管理工作的需要,具有較高的推廣應用價值。Supply of concentrate haemodialysis solution with bicarbonate powder buffer to the hospital authority and the department of health as a 24 - month contract from date of acceptance design, supply, delivery, installation, commissioning, maintenance of hardware, software and related services for the implementation of the automated tag and information display system for the immigration department on or before december 2006 supply of 320 000 kg. of polyelectrolyte type ii to the drainage services department as a 36 - month contract from date of acceptance provision of dental laboratory work for the department of health as a 24 - month contract from date of acceptance supply, installation and commissioning of a ground reception system for meteorological data from multi - functional transport satellite for the hong kong observatory from date of acceptance to fulfillment of contractual obligations supply and installation of 1 set of automated dna sequencing system to the department of health from date of acceptance to fulfillment of contractual obligations
承投為醫院管理局和?生署供應高濃度血液滲析液連炭酸氫鹽緩沖粉劑,合約由發出接納書日期開始,為期24個月為入境事務處於2006年12月或之前推行自動化籌號及資訊顯示系統供應硬體和軟體,包括設計、送貨、安裝、試機、保養及有關服務為渠務署供應320000公斤高分子電解質(第ii類) ,合約由發出接納書日期開始,為期36個月為?生署提供牙科製品服務,合約由發出接納書日期開始,為期24個月為香港天文臺供應一套多用途輸送衛星氣象數據地面接收系統,包括安裝及試機服務,由發出接納書當日至履行合約訂明的責任為止為?生署供應和安裝一套核酸序列自動測定系統,由發出接納書當日至履行合約訂明的責任為止" despite a very challenging operating environment, the group has plans for new projects with innovative products and services such as personal tracker ( a portable tracking device for users ), gprs mobile location devices, outdoor billboard management system, on - line auto navigation system, location - based services for mobile telephones and others in the pipeline
蔡氏總結:盡管目前經營環境滿布挑戰,集團仍計劃推出一系列創新科技產品及服務項目:如個人流動追蹤設備( personaltracker ) , gprs流動定位設備( gprsmobilelocationdevices ) ,戶外告示板管理系統( outdoorbillboardmanagementsystem ) ,車輛自動導航系統( autonavigationsystem )及行動電話定位技術服務等。The system, to generate operation order automatically, divides operation regulations into primary and secondary parts. the reasoning machine for primary equipment is developed based on the backward tracking searching strategy with inspiration
在自動開票系統中把規則分成一、二次操作規則,開發了基於帶啟發信息的回溯搜索策略的一次設備推理機,推理速度快,成功率高。The system emphasized on attempting to applying fuzzy in the automatic - controlling technology of greenhouse environmental parameters. fuzzy controll is based on the theory of fuzzy mathematics, fuzzy language, fuzzy logical, and adopt digital controlling from which use of computer technology and has feedback and structure
本系統研究的重點是模糊控制演算法在溫室環境參數自動控制系統中的嘗試應用。模糊控制是以模糊數學、模糊語言形式的知識表示和模糊邏輯的規則推理為理論基礎,採用計算機技術構成的具有反饋閉環結構的數學控制形式。Application of adaptive network - based fuzzy inference system in structural vibration active control
自適應神經網路模糊推理系統在結構振動主動控制中的研究The in this thesis an icai system is built for this subject using automatic reasoning
本文恰是從事這方面的工作,研究一個帶有自動推理功能的程序設計icai系統。In automated theorem pidving, auomated reasoning methods of propositional calculus provide with edtersal naoning method for other iogic sywt
在自動推理理論與應用的研究中,命題邏輯系統中的方法和內容具有廣泛的適用性。In proposbonal calculus, the processing ofresoluhon pdriciple have combination explosion naturally so, how to eltw combinaion explosion in the processing of resolution ( genetal showed computationaily hard problem ) is an in1portan subject in automated theorem proving
命題邏輯系統中的歸結原理本質上存在組合問題,因此,如何避免組合問題(通常以計算復雜性的形式出現)是自動推理研究中的一個重要課題。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工具箱對液壓伺服模型參考模糊自適應控制系統進行模擬,用「試錯法」找出一組數目最少且能夠實現最優控制的條件語句,使系統的動穩態性能得到了大大地提高,基本上實現了超調小,響應速度快地實時控制。Cad spent about $ 2 million on the y2k compliance programme, mainly for the provision of portable power generators, and contingency communication facilities including satellite phones, portable hfvhf transceivers, and pc - based message switching system, etc. more than 120 cad staff are deployed for y2k - related duty yesterday and today
民航處耗資約二百萬元推行電腦公元二千年數位工作計劃,主要是提供流動發電機及緊急通訊器材,例如衛星電話、流動高頻甚高頻收發兩用機和以個人電腦處理的航空電報自動轉送系統等。分享友人