邏輯完備性 的英文怎麼說
中文拼音 [luówánbèixìng]
邏輯完備性
英文
logic completeness- 邏 : Ⅰ動1. (巡察) patrol 2. [書面語] (遮攔) blockⅡ名詞1. (巡察) patrol 2. [書面語] (山溪的邊緣) edge
- 輯 : Ⅰ動詞(編輯; 輯錄) collect; compile; edit Ⅱ名詞(整套書籍、資料的各個部分) part; volume; division
- 備 : Ⅰ動詞1 (具備; 具有) have; be equipped with 2 (準備) prepare; provide with; get ready 3 (防備...
- 性 : Ⅰ名詞1 (性格) nature; character; disposition 2 (性能; 性質) property; quality 3 (性別) sex ...
- 邏輯 : logic
-
At the last, in accordance with the evaluation, the total loads are allocated to each sub - district. the third is fuzzy - logic - based approximate reasoning method which can consider weights in the premise in rules and a denazification decision - making function
鄭州大學碩士論文摘要第三、基於模糊邏輯和近似推理的訣策方法:該方法是一種在知識不完備情況下,能夠考慮推理前提重要性的、基於模糊邏輯的近似推理和決策的新方法。An algebraic proof of completeness theorem of first - order logic
一階邏輯完備性定理的代數證明But besides being characterized by the extensional semantics, first - order logic can be characterized soundly and completely by such an intensional semantics that includes nothing but the property entities
相對于這一外延語義,一階邏輯還可為其中只含屬性實體而不含個體對象的內涵語義一致且完備地刻畫。About this, the completeness of the formal deductive systems is one of the main branches
在完全解決模糊推理的邏輯基礎問題中,形式演繹系統的完備性是非經典邏輯的主要研究方向之一。Another important problem in multiple - valued logic completeness theory is decision for sheffer functions, which reduced to determining the minimal covering of precomplete classes in multiple - valued logic
多值邏輯完備性理論中的另一重要問題是sheffer函數的判定問題,此問題可歸結為定出所有極大封閉集(準完備集)的最小覆蓋。A design ot portable digital oscillograph based on dsp is presented. a integrated prototype is composed of high speed data processing module by which signal is digitalized, data processing unit whose core is dsp, general controller as which cpld is used and terminal facility - - lcd
通過高速數據採集模塊將信號數字化,以高性能數字信號處理器tms320vc5402為核心構成數據處理單元,採用高密度的可編程邏輯器件epf6016a設計儀器的系統控制單元,使用液晶顯示器做為終端顯示設備,構成一個完整的示波表樣機。Followed the proving of validness of axioms is the proving of soundness and consistency for the negotiation logic. based on a series of propositions and lemmas, the completeness of the negotiation logic is proved by construction. then the logic completeness and the consistency of ctn system are presented
在對公理的有效性進行證明之後,證明了協商推理邏輯的可靠性和無矛盾性;在得出的一系列命題和引理基礎上,以構造的方法證明了協商推理邏輯的完全性,最後得出協商推理邏輯的完備性和整個ctn系統的無矛盾性。In this paper, a new type algebra is introduced, it is the algebraic abstract of mpm system just as boolean algebra is the algebraic abstract of 2 - valued propositional calculus. the main purpose of this paper is to investigate the various properties of the new algebra. in addition, this paper constructs an axiom set based on the medium logic propositional calculus system mpm, and gives a proof of its completeness
本文通過對mpm中介邏輯命題演算系統進行代數抽象,建立了一個新的代數系統,討論了該代數系統的性質,並利用該代數系統的代數性質構造了中介命題演算系統mpm上的一個公理完備集合,使用該公理集合可以方便的推導出mpm上的等值和互推公式,這對于處理不完全信息數據庫的查詢優化有著重要作用。Logic design and realization in fpga. logic testing and debugging. net interface module is a complex data transfer system
這罩重點描述耗時最長,難度最大的邏輯模塊的功能調試、完備性調試與可靠性調試。To fill the iii completeness of data relation, we need negative association rules, just as it needs negative real number in real number system, negative proposition in logic system
正如實數系統中需要負實數、邏輯系統中需要否命題一樣,為了滿足數據關系的完備性,我們需要負關聯規則。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的(弱)完備性In multiple - valued logic theory, completeness theory of function sets is an important and fundamental problem, it is also the problem which must be solved in automata theory and multiple - valued logic network. the solution of this problem depends on determining all the precomplete classes in multiple - valued logic function sets
函數系的完備性判定問題是多值邏輯理論中基本而重要的問題,同時也是自動機理論,多值邏輯網路中必須解決的問題,此問題的解決依賴于定出多值邏輯函數集中的所有極大封閉集(準完備集) 。The research of multiple - valued logic includes many aspects. two of its most important parts are completeness theory of function sets, decision and construction for sheffer functions
多值邏輯的研究內容有很多,函數系的完備性判定、 sheffer函數的構造與判定是其中的重要組成部分。In this thesis, the database of gps vehicle monitor information management system is designed, the design of the man - machine conversation interface and the software of the database server, also the software of the mid - ware are accomplished. an improved and logical three layer structure framework is used to utilize the resource of the system efficiently, balance the load, and improve the expansibility of the system ; powerful oracle database is used as background database to provide high performance service to the system which has numerous users and large - scale ; encrpytion arithmetic of communication data is designed to ensure the safty of gps vehicle monitor information management system communication ; the usage of fire wall, system privilege management and data backup improved the safty of the information management system database ; high usability design is realized by oracle data guard ; optimization of the information management system made the whole gps vehicle monitor system persistent, stable and high quality
本文針對原有gps車輛監控系統響應速度慢、穩定性和安全性不高的不足,提出了一種以改進的三層結構體系為系統架構,以oracle數據庫為后臺的gps車輛監控信息管理系統設計方案,設計了gps車輛監控信息管理系統數據庫,完成了gps車輛監控信息管理系統人機界面、中間件及數據庫端的軟體設計。系統架構採用改進的三層結構體系,其邏輯結構清晰,有利於系統資源的有效利用,均衡負載,提高系統的可擴展性;后臺數據庫採用功能強大的oracle數據庫,可以提供大規模、多用戶的高性能服務;通信數據的加密演算法有利於確保gps車輛監控信息管理系統的通信安全;防火墻的使用、系統權限管理以及數據的備份和恢復等有利於提高gps車輛監控信息管理系統數據庫的安全性, oracledataguard的使用有利於提高系統的可用性;系統的優化,為系統持續、穩定、高質量運行創造了有利條件。And use bna logic theories to prove the completeness and validity of the improved protocol. 4 on the base of former research, a new model of user authentication system is designed based on the improved kerberos protocol and public key encryption system
並採用ban邏輯理論證明改進協議的完備性、有效性; 4 、提出了基於改進kerberos協議和公鑰密碼體制的身份認證服務的模型,並給出模型的實際應用。The two - valued weak model of the first order logic with generalized quantifier q is generalized to be valued in complete weak complemented lattices. for finite linearly - ordered weak complemented lattice, the omitting type theorem is proved
將帶廣義量詞q的一階邏輯的二值弱模型推廣到取值于完備弱可補格上,對有限的線性序弱可補格證明了省略型定理。分享友人