邏輯形式系統 的英文怎麼說
中文拼音 [luóxíngshìxìtǒng]
邏輯形式系統
英文
formal system of logic- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 式 : 名詞1 (樣式) type; style 2 (格式) pattern; form 3 (儀式; 典禮) ceremony; ritual 4 (自然科...
- 系 : 系動詞(打結; 扣) tie; fasten; do up; button up
- 統 : Ⅰ名詞1 (事物間連續的關系) interconnected system 2 (衣服等的筒狀部分) any tube shaped part of ...
- 邏輯 : logic
- 系統 : 1. (按一定關系組成的同類事物) system 2. (有條理的;有系統的) systematic
-
Expert system has many merits. it has the ability of heuristic illation, and can explain for illation and append new knowledge in the knowledge database. but it also has obvious shortcomings, such as, poor ablitity in ka ( knowledge achieve ), inefficient and incomprehensive. the artificial neural network has the ablitity of parallel processing, associative memory, distributed storage of knowledge and high robust etc. it also has perfect characteristics of self - organizing, self - adaptive, self - learning. it specializes in visualize ideation but is short of logic ideation
專家系統在故障診斷領域得到廣泛的應用,專家系統具有許多優點,能利用專家的知識進行啟發式推理,能夠解釋其推理過程,並能夠不斷地、靈活地增加新的知識。但專家系統也存在明顯的缺陷:獲取知識能力差、效率低、范圍窄。可以說專家系統長于邏輯思維缺乏形象思維。The author holds that the conservatism principle is a kind of accounting reflection modes that is formed from the uncertainty in accounting, that conservatism principle adopting the reflection mode agglutinated with rational and unrational reflection mode to uncertainty in accounting is the essential reason for it ' s inherent logic inconsistency, that accounting system adopting different disposal procedure and reflection mode to uncertain economic businesses is the material exhibition of the principle ' s inherent logic inconsistency
本文認為,謹慎性原則是應會計中的不確定性而形成的會計反映模式,對會計中的不確定性採取理性與非理性相互膠合的反映模式是其本身形成內在邏輯不一致性的本質原因,而會計系統對不同質的不確定性經濟業務採取不同的會計處理和反映模式是謹慎性原則內在邏輯不一致性的具體表現。On basis of the development of modern control technology and apply of the network technology and locale bus - mastering technology , this text analyzes the essential element for produce of wire - roll mill : principle of assign for speed ; expatiates in detail on the network structure and communication protocol of ethernet and profibus - dp ; concretely describes the forms of control system configuration , the function and features of its software and hardware designs ; also, introduces mainly control function of control system, , for example , sequence control 、 loop control 、 fly shear control and operation and monitor function etc
基於現代控制技術的發展、網路技術以及現場總線技術的應用,本文分析了線材生產的基本要素:速度的分配原則;分析了工業以太網ethernet和現場總線profibus - dp的結構和通訊協議。主要說明plc控制系統的組織結構形式,系統的軟硬體設計的功能和特點。同時,詳細介紹了控制系統的主要控制功能,如邏輯控制、活套控制、飛剪控制以及操作監控功能等等。In this paper, the belief logic system gny and it ' s related implementation tool spearii are utilized, ssl protocol is a focused instance, then the detailed analysis procedure from initial protocol model to various evolution protocol models is given, later the final evolution protocol model and ssl protocol are contrasted and thus the security analysis conclusion is drawn for ssl. during the analysis procedure two practical security authentication solutions are designed based on evolution protocol models
本文採用著名的信念邏輯gny邏輯系統及其相關的形式化工具spear ,以ssl協議為分析實例,詳細闡述了從初始協議模型到各個進化協議模型的分析過程,並將最終的進化模型與ssl協議作比較,給出ssl協議的安全分析,同時在分析過程中以協議模型為基礎設計了兩個實用的安全認證方案。The dynamic causality diagram developed from the belief network adopts its graphical expression of knowledge and then innovates and extends this expression approach, abolishes the limit to logical structure of system, and introduces boolean calculation. thus, the dynamic causality diagram overcomes the shortage of belief network, and possesses more greater advatage
由信度網發展起來的動態因果圖理論,借鑒了信度網圖形知識表達的優點,但創新並擴展了表達方式,取消了對系統邏輯結構的限制,引入了邏輯運算,從而在很大程度上克服了信度網的不足,具有更大的優勢。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
該程序中用產生式規則系統建立了冷藏食品信息庫和經驗數據庫,並運用模糊邏輯方法進行不精確推理,採用控制知識和領域知識分離控制流的方法,以規則庫的形式,體現了領域專家設計思路。該專家系統模擬專家進行符號推理及選取經驗數據,得到了較好的設計結果。On the view of situation, the thesis settles the position, characteristic and the development of the primary state of the socialism in china, which is to analyze the history position and characteristic of the primaiy state of the socialism in china and to point out the general plan of the construction on the basic of sum up the thought way of the theory of social economy state of marxism. the mainly used methods of analysis are : ( 1 ) the research of the process, construction and the layer level are associated. the thesis not only analysis the historical formation, but also analysis the constitution and the layer level, so as to consolidate the various theories of the marxism, and to understand the theoiy of social economy state of marxism systematically
本文的主要分析方法是:把社會經濟形態的過程論、結構論、層次論相結合,不僅分析社會經濟形態的縱向發展歷程,並且分析其橫向構成形式,還分析其歷程和構成的內部層次,從而使馬克思相關的豐富而多樣的論述統一到一個整體中來,以便全面、系統地理解和把握馬克思的社會經濟形態思想;把理解馬克思的論著資料與體會其思想邏輯相統一,既廣泛引用馬克思論著的眾多原文原句,又充分領會馬克思的整體思想內涵,在研究其論著資料中體會其思想內容,在分析其思想邏輯中運用其論著資料,以達到客觀、完整地理解和把握馬克思的社會經濟形態思想;注重理論研究與現實實踐相一致,既尊重馬克思的真實思想,又聯系社會實踐,特別是當今時代的現實和中國社會主義初級階段的建設。The thesis divides into five parts. from several groups of basic conceptions, we use the method of cost - income and structure - institution to deduct the logical ideas from one layer to another. the progress of the forming and evolving an inter - firm network is abstracted to the problem of the adaptability and the stability of an organization system respectively
全文共分五個部分,以成本-收益以及結構-制度的剖析範式,從幾組基本概念入手,邏輯推演層層展開,將企業網路的形成和演變過程分別抽象為組織系統的適應性和穩定性問題,構建了一個比較全面的分析框架。This paper researches laying out mode and procedure of manual drawing, describs in bfn constructing elements and their structure of working drawing, and determines factors which affect drawing effect. it introduces simply that functions of an interactive drawing software, which are basic and special laying out characters, methods of modification and logical order of normal drawing. also an example is given. the paper formulates out a helpful method with which engineering drawing is drawed under interactive system
研究了傳統繪圖模式的構圖方式和過程,用巴科斯範式描述了零件圖的構圖元素與結構,確定了影響繪圖效率的因素.文中簡要介紹了交互圖形軟體具有的基本的和特有的功能,在交互繪圖中的構圖特點,圖形的生成與修改,一般作圖的邏輯順序,同時給出了示例.該文歸納出用交互圖形系統生成工程圖樣的便捷方法We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity. xyz / e is able to describe the dynamic semantics and static operations of component, and to formally describe system in different hierarchy
由於構件可能具有不同的抽象層次和粒度,我們採用了時序邏輯語言xyz e作為構件描述語言,這種語言能夠描述構件的靜態語義和動態執行,並且能在不同抽象層次上對系統進行形式化描述。About this, the completeness of the formal deductive systems is one of the main branches
在完全解決模糊推理的邏輯基礎問題中,形式演繹系統的完備性是非經典邏輯的主要研究方向之一。The authors have formalized a specification language and logic - calculus in lf, together with useful lemmas, and a user - oriented syntax has been designed
在本文中,我們考慮并行系統的驗證領域,並在lf中將特定論域的規范描述語言ccs和相關邏輯m - culculus形式化。In this paper, a control method for discrete event systems ( des ) based on colored petri nets is proposed. the constrains with the forms of or - logic are enforced and all of the transitions in the net are permitted to be concurrent
本文提出的利用有色petri網控制離散事件系統的方法,不但實現了或邏輯形式的約束,而且允許petri網中的所有變遷都可以並發。But by absorbing the reasonable viewpoint of eliminating the fact / value dichotomy, going in line with the standard of rational acceptability extended by humans ' ecological practice and being based on the analysis of the complex relations of fact and value in life community, rather than by following the traditional deductive model of justification we can create a way of justification with nonlinear thinking and integrative arguments, and thus we can not only avoid " the naturalistic fallacy ", but also put forward a non - logical justification for ecological ethics
但通過吸納社會領域消解事實與價值絕對二分的合理主張,並根據人類生態實踐而擴展道德論證的可合理接受性標準,在分析生命共同體中事實與價值的復雜關系的基礎上,創設一種非線性思維的綜合論述的證明方式,而不是沿用傳統的演繹模型的證明方式,就既可以避免「自然主義謬誤」 ,又能夠對生態倫理學做出一種非邏輯形式的合理論證。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
本系統研究的重點是模糊控制演算法在溫室環境參數自動控制系統中的嘗試應用。模糊控制是以模糊數學、模糊語言形式的知識表示和模糊邏輯的規則推理為理論基礎,採用計算機技術構成的具有反饋閉環結構的數學控制形式。In 1996, professor wang guojun built formal deductive system l * of fuzzy prepositional calculus, then in the frame of system l *, constructed the logical base for fuzfcy reasoning rules from sematics
王國俊教授於1996年建立了模糊命題演算的形式系統l ~ * ,之後在系統l ~ *的框架中,從語義上為模糊推理規則構建了邏輯基礎。The second part builds a new algebra syetem rl, which in the definition of bl - algebra gets rid of the stronger condition and studies the properties of rl - algebra. in the same time, using rl - algebra as the true - value field this paper builds a more extentively formal deductive system of fuzzy prepositional calculus - - - - - - logic system rl. obtains a series of theorems, and studies the completeness of rl logic
第二部分:在以bl邏輯為背景的bl代數的定義中去掉限制性較強的條件a b = a ( a b ) ,建立了一種新的代數系統rl ,並進一步研究了rl代數類的性質;以rl代數為賦值域建立了一種更為廣泛的模糊命題演算的形式系統? ?剩餘格值邏輯系統rl ,得到了一系列定理,同時研究了邏輯系統rl的(弱)完備性Generalized tautologies theory of the basic formal system of universal logic
泛邏輯的基本形式系統中的廣義重言式理論Based on the above study, this topic has realized simulator run environment. after the start - up of simulation running environment with loaded object code, each simulation component shall harmonious run under the logic control of application software, so as to support the software commission and test verification
支持從構件庫中選取需要的模擬構件,以可視化圖形編輯的方式構造模擬目標硬體環境;加載目標碼的模擬運行環境啟動后,各模擬構件能在應用軟體邏輯的控制下協調運行,從而支持嵌入式系統軟體的調試和測試驗證。In this solution, the embedded soft cpu ip core is used as the kernel digital module with its periphery controllers based on residual les. in addition, analog channel circuit is added to form an integrated dso system. this dissertation focuses on framework construction, gui design, memory management, message fifo management, other hardware drivers and describes design and implementation of software simulation system written in advanced languages
在這種方案中,使用了在fpga中嵌入cpu軟核作為控制核心,並用fpga晶元中剩餘的其他可編程邏輯資源構成該嵌入式系統的外圍器件,形成數字示波表的數字核心模塊,並配以模擬通道部分電路,組成了一個完整的數字示波表。分享友人