邏輯代數 的英文怎麼說
中文拼音 [luódàishǔ]
邏輯代數
英文
algebra of logic-
Boolean algebra with shell and dangerous signal recognition logic
代數與險象識別邏輯A good tutorial on logic and boolean algebra is the
是一篇有關邏輯和布爾代數的很好教程。Metric structures on boolean algebras and an application to propositional logic
代數上的度量結構及其在命題邏輯中的應用The reasoning process called for by boolean algebra are implemented through switches, acting as electronics logic circuits
布爾代數所需的推理過程是通過開關來實現的,這些開關起著邏輯電路的作用。In addition, because there is internal relationship between the formalism of relational database, " relational algebra ", and the clausal logic used by ilp, ilp methods can directly deal with mining task involved in multiple tables of relational database
此外,由於關系數據庫的形式描述? 「關系代數」與ilp的子句邏輯有著內在的關聯性, ilp技術可被直接用於涉及關系數據庫中多個關系(表)的數據挖掘任務。All science, logic and mathematics included, is a function of the epoch.
所有科學,包括邏輯學和數學在內,都是有關時代的函數。These character based on sichuan power network ' s practice operation experience, in allusion to the config of the carrier wave protection in bypass breaker operating, through the study of protection ' s typical config : one side lfp - 902a, one side csl - 101a, proceeded comprehensive act module test, noted plenty of first hand test data and wave picture, proceeded detailed theory analyses, plenitude demonstration atresic type carrier wave distance protection when twain side atresic type logic is not completely same, basically can fill power network ' s requirement to relay of reliability selectivity speedly and sensitively
本文結合四川電網的實際運行經驗,針對旁路開關代路運行時的保護配置情況,通過對旁路代路時保護典型配對組合:一側lfp - 902a ,一側csl - 101a的保護配置情況的深入研究,做了全面的動模試驗,記錄了大量的第一手試驗數據和波形,進行了詳細的原理分析,充分驗證了高頻閉鎖式距離零序保護在兩側閉鎖式邏輯不盡一致的情況下,基本能夠滿足電網對繼電保護的可靠性、選擇性、快速性以及靈敏性的要求。The logical algerba and gerneralized tautology on limited atanassov system
邏輯代數及其廣義重言式Subalgebras and generalized tautologies of many - valued logic systems
多值邏輯系統中的子代數與廣義重言式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
本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上,對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。After this melioration, monitor agent works more initiatively by filtrating the unrelated source data changes ; computational logic for integrator is predigested by the maintained object being changed from multi base tables to single source view on per - source ; the burden of system communication is lessened, and the maintenance efficiency is improved
改進后信息源端的監視代理能夠自行過濾掉無關的基表增量,提高信息反應的主動性;集成器的維護對象從每個數據源上的多基表簡化為單源視圖,集成計算邏輯得到了簡化;整個系統的通信資源也減少了,提高了系統維護效率。An algebraic proof of completeness theorem of first - order logic
一階邏輯完備性定理的代數證明The risc mcu core is based on harvard architecture with 14 - bit instruction length and 8 - bit data length and two - level instruction pipeline the performance of the risc mcu has been improved by replacing micro - program with direct logic block
設計的riscmcu採用14位字長指令總線和8位字長數據總線分離的harvard結構和二級指令流水設計,並使用硬布線邏輯代替微程序控制,加快了微控制器的速度,提高了指令執行效率。The core is based on harvard architecture with 16 - bit instruction length and 8 - bit data length. the performance of mcu has been improved greatly by introducing single - clock - cycle instructions, setting multiple high - speed working registers and replacing micro - program with direct logic block etc. to keep the mcu core reusable and transplantable, the whole mcu core has been coded for synthesis in verilog hdl
該mcu核採用哈佛結構、 16位指令字長和8位數據字長,通過設計單周期指令、在內部設置多個快速寄存器及採用硬布線邏輯代替微程序控制的方法,加快了微處理器的速度,提高了指令的執行效率。The algebra and generalized tautology in limited interval - valued fuzzy logic
有限區間值模糊邏輯代數及其廣義重言式The algebra and generalized tautology in limited disturbing fuzzy propositional logic
有限擾動模糊邏輯代數及其廣義重言式In this article, according to the theory of logic algebra inequality, the notion of inequality in lattice implication algebra was introduced, three typical basic unary lattice implication algebra inequalities in lattice implication algebra l were investigated, and some properties and corollaries were obtained
摘要針對邏輯代數中的不等關系提出格蘊涵代數不等式的概念,討論了格蘊涵代數中3類最基本的一元格蘊涵不等式,得到一些性質及推論。This paper begins with the restrictions of the - existent net - flow modelling methods. integrated with the characteristics of modern net - flow system and utilizing francesco luna ' s idea of pcrceptron and xor function, we express human ' s consciousness with logistic function of perceptron, and the uncertain relations among nodes are mapped to xor function. on the basis of these, a new modelling method of net - flow is offered
本文從已有網流系統建模方法的局限性出發,結合現代網流系統的特徵,利用francescoluna的感知器與異或問題的思想,將人的意識用感知器對應的邏輯函數進行描述,節點之間連接關系的不可感知性映象為異或函數,提出網流系統的一種新的建模方法。If you can separate your user interface interaction code from your data storage and business logic code, you ' ll have a robust, stable system that is capable of handling major changes
如果能將用戶界面交互代碼從數據存儲和業務邏輯代碼中分離出來,那麼系統會更加成熟和穩定,可以應付大部分變化。Algebraic structure analyses of balanced correlation - immune m - valued logical functions over ring zpr
上平衡相關免疫多值邏輯函數的代數結構分析分享友人