符號推理 的英文怎麼說
中文拼音 [fúháotuīlǐ]
符號推理
英文
symbolic reasoning- 符 : Ⅰ名詞1 (符節) tally (with two halves made of wood bamboo jade metal issued by a ruler to gener...
- 號 : 號Ⅰ名1 (名稱) name 2 (別號; 字) assumed name; alternative name3 (商店) business house 4 (...
- 推 : 動詞1 (向外用力使物體移動) push; shove 2 (磨或碾) turn a mill or grindstone; grind 3 (剪或削...
- 理 : Ⅰ名詞1 (物質組織的條紋) texture; grain (in wood skin etc ) 2 (道理;事理) reason; logic; tru...
- 符號 : 1 (記號; 標記) character; sign; symbol; mark; code; notation; expression; denotation; sentinel ...
- 推理 : [邏輯學] inference; ratiocination; illation; reasoning; ratiocinate
-
Thought is atomistic and algorithmic ; it can be broken down into ' building blocks ' which are combined and manipulated by formal logical rules
推理和思考就是根據既定規則進行操作的,符號不外乎就是客觀世界的抽象表示。In this programme, the database of many stored foods and experiential database are described by using production system, and, inexact reasoning is settled down with the method of fuzzy logic, finally, by separating the control knowledge and field knowledge, the design clue of expert in field is incarnated in the form of rules - base. the expert system created can simulate the thought and decision - making of expert in hvac field, and get the anticipative results
該程序中用產生式規則系統建立了冷藏食品信息庫和經驗數據庫,並運用模糊邏輯方法進行不精確推理,採用控制知識和領域知識分離控制流的方法,以規則庫的形式,體現了領域專家設計思路。該專家系統模擬專家進行符號推理及選取經驗數據,得到了較好的設計結果。Numeric - symbolic technique is introduced in the procedure of resultant elimination, procedure of number - spobol manipulation is transformed into that of matrix manipulation. because joini variables are treated as symbols and all structure paramcters are treated as real nuxnbers, the complexity of derivation for input - output equaion is reduced. the soluton is verified with a numerical example, its rsults withoot extraneous roots agree with the original equaions
消元過程中引入了數字-符號方法,將結構參數處理為數值量,將關節變量處理為符號量,將數字、符號推導過程轉化為了矩陣運算過程,由於結構參數以數值量的形式出現在方程推導中,降低了符號推導的難度,符號推導不需要復雜的符號處理軟體的支持。After analyzing and study two transitions of map to spatial data and spatial data to map, the author thinks the spatial data capturing is a loss map information process, and for map production firstly symbolize from spatial data, then reinforce the map information. the map production model ( mpm ) is the summary of all kinds of map production. the integration model is the best model in mpm and it infers that " spatial data first, map second " is the production process
提出了「靜態數字制圖」和「動態數字制圖」的概念,論述它們各自特點和研究方法,並提出地圖制圖和空間數據生產都屬于「靜態數字制圖」 ;通過研究地圖和空間數據的相互轉換過程,發現空間數據生產是地圖信息損失的過程,根據空間數據來進行地圖生產必須先實現地圖符號化,然後再進行地圖信息的補充處理;本文提出的「地圖生產模型」是現有各種數字化生產模式的基礎,從理論上論證了一體化生產模式是最優模式,推導出「先空間數據生產,后地圖出版」的一體化生產流程,並歸納總結了當前數字化生產的4種基本生產模式和9種應用情況。Signal layer represent links between the nerve cells, knowledge layer represent rules and reasoning of expert, conception layer is the medium layer and connect signal layer and knowledge layer, therefore integrated symbol computing ability of es with link features of ann into one body to make brain model more intelligent
刺激層體現神經元的連接,知識層體現專家的規則、推理,從而將專家系統的符號計算和神經網路的連接主義兩者有機的結合,並在其基礎上構建了形體的表徵模型、推理方法,實現了形態構成知識的產生,為人腦模型的「智能」能力的實現和應用奠定了基礎。We propose a combined slf method to extrapolate feeder load growth by using feeder ' s history peak value and the merits of gray theory and genetic programming ( gp ). at first, we adopt load transfer coupling method to correct load history and its error for load transfer. secondly, we get the real power - supply area by using layer overlap analysis, based on practical feeder path and distribution gis map layer
將gis的空間信息分析功能應用於配網空間負荷預測的研究:綜合利用灰色理論及遺傳規劃( geneticprogramming , gp )的優點,提出了一種根據饋線的歷史峰值負荷進行外推的組合slf法:首先採用負荷耦合回歸法來修正負荷歷史,消除由於負荷轉移引起的誤差;然後根據實際饋線路徑和配網gis圖形分層,運用圖層疊加分析得到饋線的實際供電范圍;接著採用灰色關聯度聚類方法對饋線負荷增長曲線進行聚類分析;最後採用gp來對灰色聚類結果進行符號回歸,分別得到每一類曲線的最佳擬合曲線形式。We detailed toeplitz operator with unomodular symbol, and generated the theorem proved by michael sand in [ 2 ] from h to h + c ( t ). in the second part of this paper, the author discussed simply when multipliction of two toeplitz operators with symbol in h + c ( t ) or in l. we got two conclusions by analyzing symbol of toeplitz operators. the last, we investigated whether multiplication of two toeplitz operators, which range included all non - cyclic vectors of backward shift, is surjective, and partly answered the question about surjective toeplitz algebra posed by michael sand in [ 2 ]
對于單個的toeplitz運算元,考慮其符號的內外分解,得到了它的滿射只與其幺模部分有關的結論,詳細地討論了符號為幺摸函數的toeplitz運算元的各種情況,在討論符號在h ~的特殊情形時,推廣michaelsand [ 2 ]中的定理2到h ~ + c ( t ) ,第二部分簡單地討論了符號在h ~ + c ( t )以及l ~中的兩個toeplitz運算元的乘積的滿射情況,先對toeplitz運算元的符號進行分析得到兩個結論,最後考察了toeplitz運算元的乘積的值域包含后移運算元的所有非循環向量的滿射情況,部分地回答了michaelsand在[ 2 ]中提出的toeplitz代數滿射問題。The theory of normal form are used to investigated the normal forms in the four dimensional nonlinear systems with cubic nonlinearities. we give the computing results of maple programs by using the adjoint operator method
利用共軛運算元法和逐項消去法等規范形理論研究了含有三次非線性項的四維系統的規范形,給出了利用maple符號推導程序所得到的計算結果。Symbols used for representing sp
空間關系符號表示及其推理Symbol logic method is unable to guarantee the complement of knowledge description, which leads to complicated deducing process. we introduce fuzzy cognitive map into agent modeling and deducing, substitute symbolic description and inference with simple mathematical computing, achieving agent intelligent decision - making in complex environment
針對現有符號邏輯描述方法難以保證知識表達的完整性,推理過程陷於復雜的邏輯演繹的問題,作者引入了模糊因果關系的網路模型,基於模糊認知圖理論構造agent推理模型,用簡單的數值計算代替復雜符號系統的表示和演繹推理過程,實現了復雜環境下的agent智能決策。Also, the experiments show that when the hme, which is a mixture of the fuzzy network and the expert system based on knowledge, is used to diagnose the fault of the boiler, some points can be attained : both symbol reasoning and nerve network reasoning can be combined very well
同時,實驗結果還表明將模糊網路技術與基於知識的專家系統技術結合的分層混合專家網路應用於鍋爐故障診斷,能實現符號推理與神經網路推理的有機結合,層次清晰、推理效率較高。Several examples and numerical simulations are shown to illustrate and reinforce our theory. in chapter 3, we firstly give both the definition of the discrete lyapunov functional and the proof of some properties of it for the dde with local positive or negative feedback in the delay term. secondly, we introduce the definition of the global attractor
A6s藝fae藝在本文的第三章中,首先給出了對於一類時滯微分方程的用改變符號次數來定義的離散lyapunov泛函,並給出了其有關性質的理論證明,進而說明在時滯項具有局部正反饋或者局部負反饋條件下的時滯微分方程這樣定義lyapunov泛函的合理性,這是對前人在時滯項具有全局負反饋或者正反饋條件下的lyapunov泛函的推廣。The distribution gis data management methods and its application in distribution running are systematically researched, which compose distribution gis network topology analysis ( nta ) and optimal rush - maintain path ( orp ), and distribution planning, which composes distribution spatial load forecasting ( slf ) : ( 1 ) with systematic analysis on the relationship between spatial data model and spatial data structure, the distribution feature and the two common gis data models are analyzed, which are vector and raster data models. then the conceptual and logic data models of distribution gis are designed. the spatial data storage structure is given by using vector method, and their detailed data management methods are proposed
( 4 )將gis的空間信息分析功能應用於配網空間負荷預測( saptialloadforecasting , slf )的研究:綜合利用灰色理論及遺傳規劃的優點,提出了一種根據饋線的歷史峰值負荷進行外推的組合slf法:首先採用負荷轉移耦合法來修正負荷歷史,消除由於負荷轉移引起的誤差;然後根據實際饋線路徑和配網gis圖形分層,運用圖層疊加分析得到饋線的實際供電范圍;接著採用灰色關聯度聚類方法對饋線負荷增長曲線進行聚類分析;最後採用遺傳規劃來對灰色聚類結果進行符號回歸,分別得到每一類曲線的最佳擬合曲線形式。Reasoning and thinking involves manipulation, according to established rules, of symbols which are abstract representations of the real external world
符號是客觀世界的抽象表示,而推理和思考,就是按既定規則對它進行操作。The simulation results indicate that the parallel robot control can achieve much better effect than the traditional method by means of fuzzy control only if the abundant control experience and correct inference rules are available. as the simulation result showing, the anfis achieves the same satisfying effect with successful fuzzy control without requiring any control experience. the anfis can adjust the parameters of fuzzy inference system automatically and eliminate the influence of interfere signal on the base of adequate training samples
在缺乏實驗條件的情況下,通過對不同控制策略的模擬比較研究,說明了在具備系統的先驗知識和成熟的模糊規則的基礎上,對並聯機器人採取模糊控制能取得比採取傳統控制要好得多的效果,而anfis則能在毫無經驗的情況下,通過自動調整隸屬函數參數,自動建立符合系統變量特徵的控制模型和模糊推理規則,並能夠排除噪聲等干擾信號的影響,取得了與依賴專家知識進行控制一樣的效果,這也是模糊神經網路控制的優勢所在。It also reflects the function the inside logical organization, its direct result is the masterdom and deepness of language, sign, logical reason and mathematics theories, then display the new point of thought, transformation of thought forms
也反映了思維的內在邏輯組織作用。它的直接產物是對語言、符號、邏輯推理和數學理論的掌握和加深,從而顯示出新的思維角度、思維形式的變換和更新。Theories and designing methods of the two kinds of fdes as related above are studied and according to the speciality of air defense missile system, the hybrid intelligent fdes solution is presented. 2
研究了基於符號推理和神經網路兩種機制的智能故障診斷專家系統的原理和設計方法,針對地空導彈故障診斷問題的特殊性,提出了將兩種診斷機制相結合的設計思路。Therefore, it ' s necessary to study a new kind of intelligent design systems and integrate inteliigent symbol reasoning technologies organically into the product design process to overcome the limitation and shortage of the traditional design system, and finally realize product innovative design
因此,需要研究一類新的智能設計系統,將符號推理智能技術有機的結合或集成到產品的設計過程中來,以有效解決傳統智能設計系統的缺陷與不足,最終實現產品的創新設計。With a example of small built - up refrigeratory design, through the experiential design method, quantities of symbol reasoning and experiential - data which will be met in small built - up refrigeratory design have been analyzed in detail. as a result, based on the model of small built - up refrigeratory design established with expert system technique, the programme of small built - up refrigeratory design have been worked out by using clips, a kind of expert system programming tool
以小型組合式冷庫設計為實例,利用經驗的設計方法,詳細分析了小型組合式冷庫在設計時所遇到的大量的符號推理和經驗數據,運用專家系統技術,建立了一個小型組合式冷庫設計專家系統模型。We give two methods to compute the normal form for the four dimensional nonlinear systems. the corresponding maple programs are also given in the appendix. the results obtained in this dissertation have a completely agreement with the results obtained in other papers
利用共軛運算元法和規范形理論研究了含有三次非線性項的四維系統的規范形,給出了計算四維非線性規范形的兩種演算法,給出了相應的maple符號推導程序,所得到的結果與其它文獻所得結果完全一致。分享友人