符號邏輯模型 的英文怎麼說

中文拼音 [fúháoluómóxíng]
符號邏輯模型 英文
model of symbolic logic
  • 符 : Ⅰ名詞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. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 模 : 模名詞1. （模子） mould; pattern; matrix 2. （姓氏） a surname
  • 符號 : 1 （記號; 標記） character; sign; symbol; mark; code; notation; expression; denotation; sentinel ...
  • 邏輯 : logic
  • 模型 : 1 （仿製實物） model; pattern 2 （制砂型的工具） mould; pattern3 （模子） model set; mould patter...
  1. Fourth, after the characters of neural network, fuzzy technology and expert system were analyzed three models about combining expert system and neural network and their respective applied condition have been proposed. the methods of using fuzzy knowledge in expert system and combining neural network and fuzzy logic have also been discussed

    第四，在對專家系統、神經網路和模糊技術各自的特點進行深入地分析之後，本論文提出了將專家系統和神經網路相結合的三種模型，分析了各模型所適用的環境，並討論了對符號專家系統進行模糊化改造以及模糊邏輯同神經網路相結合的方法。
  2. A testbench program is edited to simulate the behavior of the fifo. after the software simulation is accomplished, a real hardware circuit is designed to multiplex two data channels ( 1553b data channel and 1394 data channel ) according to ccsds standard. during the experiment and hardware debugging, the output logic of the fpga is checked up

    設計中，用vhdl語言對高速復接器進行行為級建模，為了驗證這個模型，首先使用軟體進行模擬，通過編寫testbench程序模擬fifo的動作特點，對程序輸入信號進行模擬，在軟體邏輯模擬取得預期結果后，繼續設計硬體電路，設計出的實際電路實現了將來自兩個不同速率的信源數據（ 1394總線數據和1553b總線數據）復接成一路符合ccsds協議的位流業務數據。
  3. Combining with co - evolution mechanism, we renewedly defined the several aspect of the co - evolutionary agent, such as the belief, action, communication, decision maker, and so on. we made the co - evolutionary agent model and actual world model become a uniform closed loop system, and established the symbol deduction theory model of multi - agent system based on co - evolution mechanism

    結合協進化機制，從符號演繹邏輯的角度重新定義了協進化智能體的信念、動作、通信、決策器等各個方面，將協進化智能體模型與實際世界模型形成一個統一的閉環系統，並建立了基於協進化的多智能體系統的符號演繹理論模型。
  4. 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智能決策。
  5. A possible solution to this problem is : adopting symbolic transition graph with assignment ( stga for short ) to model value - passing systems, introducing a predicate mu - calculus to characterize desired properties, and verifying value - passing concurrent processes using an " on - the - fly " algorithm

    解決這個問題的一個方案是：使用帶賦值符號遷移圖（ stga ）作為並發傳值進程的模型，使用謂詞演算作為刻畫性質的邏輯，並採用動態實例化的演算法對傳值並發進程直接進行模型檢測。
  6. While in pratical applications, the esd method still has drawbacks in graphical modeling capability, connections with products " structures, size control of esd models, and etc. through in - depth study of the esd method, this paper systematically describes the framework and its basic modeling elements of esd, explains the principles of risk modeling, gives the mathematical model of the basic modeling elements of the esd framework to support the quantitative analysis of the esd model. based on the research above, this paper expands the esd framework, which includes : to overcome the drawback in graphic modeling capability of the esd method, the paper invents some new logical modeling symbols like " n / k " gate, sequence gate, expandable gate and constraint, those enrich the modeling capability of the esd method. to overcome the drawbacks in connections with products " structures and size control, the paper explains the multi - layered modeling principles based on the esd

    在上述研究基礎上，對esd框架進行了擴展，包括：針對esd圖形建模能力的不足，提出了「 n中取k門」 、 「順序門」 、 「可擴展門」以及「限制」等新的邏輯建模圖形符號，豐富完善了esd的建模元素；針對esd模型與產品結構關聯及規模控制方面的局限，提出了基於esd的層次化建模原理，使得可基於esd進行層次模塊化建模；針對esd與其它安全風險分析技術的綜合運用問題，分別討論研究了與故障樹分析技術、馬爾科夫狀態轉移圖集成的esd ft和esd m方法，提高了esd建模的靈活性；針對動態系統風險評價模型的求解問題，討論提出了運用esd求解動態概率風險評價問題的解析解或近似解析解方法，並予以了示例說明。
分享友人
分享到 Line

分享到臉書