期刊文献+
共找到485篇文章
< 1 2 25 >
每页显示 20 50 100
Fuzzy Logic and Zadeh Algebra
1
作者 Paavo Kukkurainen 《Advances in Pure Mathematics》 2017年第7期353-365,共13页
In this work we create a connection between AFS (Axiomatic Fuzzy Sets) fuzzy logic systems and Zadeh algebra. Beginning with simple concepts we construct fuzzy logic concepts. Simple concepts can be interpreted semant... In this work we create a connection between AFS (Axiomatic Fuzzy Sets) fuzzy logic systems and Zadeh algebra. Beginning with simple concepts we construct fuzzy logic concepts. Simple concepts can be interpreted semantically. The membership functions of fuzzy concepts form chains which satisfy Zadeh algebra axioms. These chains are based on important relationship condition (1) represented in the introduction where the binary relation Rm of a simple concept m is defined more general in Definition 2.10. Then every chain of membership functions forms a Zadeh algebra. It demands a lot of preliminaries before we obtain this desired result. 展开更多
关键词 AFS FUZZY logic System Zadeh algebra Simple Concepts MEMBERSHIP FUNCTIONS
下载PDF
逻辑代数在设计三相异步电动机控制线路中的应用
2
作者 卢明星 《大众科学》 2024年第5期82-84,共3页
电力拖动自动控制设备的控制对象为各类电动机或其他执行电器,控制原理为通过对控制对象的起动、停止、正反转、调速、制动等的运行方式采用电气控制的方法实现控制,进而在生产过程中实现自动化控制。为了更好地控制电动机的运行,需要... 电力拖动自动控制设备的控制对象为各类电动机或其他执行电器,控制原理为通过对控制对象的起动、停止、正反转、调速、制动等的运行方式采用电气控制的方法实现控制,进而在生产过程中实现自动化控制。为了更好地控制电动机的运行,需要设计相应的控制线路。从逻辑代数的基本概念入手,探讨逻辑代数在设计三相异步电动机控制线路中的应用,针对三相异步电动机连续运转和正反转控制线路设计进行详细介绍。 展开更多
关键词 逻辑代数 三相异步电动机 连续控制 电气联锁
下载PDF
Causality Is Logically Definable—Toward an Equilibrium-Based Computing Paradigm of Quantum Agent and Quantum Intelligence (QAQI) (Survey and Research) 被引量:1
3
作者 Wen-Ran Zhang Karl E. Peace 《Journal of Quantum Information Science》 2014年第4期227-268,共42页
A survey on agents, causality and intelligence is presented and an equilibrium-based computing paradigm of quantum agents and quantum intelligence (QAQI) is proposed. In the survey, Aristotle’s causality principle an... A survey on agents, causality and intelligence is presented and an equilibrium-based computing paradigm of quantum agents and quantum intelligence (QAQI) is proposed. In the survey, Aristotle’s causality principle and its historical extensions by David Hume, Bertrand Russell, Lotfi Zadeh, Donald Rubin, Judea Pearl, Niels Bohr, Albert Einstein, David Bohm, and the causal set initiative are reviewed;bipolar dynamic logic (BDL) is introduced as a causal logic for bipolar inductive and deductive reasoning;bipolar quantum linear algebra (BQLA) is introdused as a causal algebra for quantum agent interaction and formation. Despite the widely held view that causality is undefinable with regularity, it is shown that equilibrium-based bipolar causality is logically definable using BDL and BQLA for causal inference in physical, social, biological, mental, and philosophical terms. This finding leads to the paradigm of QAQI where agents are modeled as quantum enssembles;intelligence is revealed as quantum intelligence. It is shown that the enssemble formation, mutation and interaction of agents can be described as direct or indirect results of quantum causality. Some fundamental laws of causation are presented for quantum agent entanglement and quantum intelligence. Applicability is illustrated;major challenges are identified in equilibriumbased causal inference and quantum data mining. 展开更多
关键词 CAUSALITY and Definability CAUSAL logic CAUSAL algebra QUANTUM AGENT QUANTUM INTELLIGENCE QUANTUM Non-Locality QUANTUM logic Gate Energy-Information Conservation Laws of Causation CPT Symmetry Mind-Body Unification Growing and Aging QUANTUM Biology QUANTUM Data Mining
下载PDF
On BCL<sup>+</sup>-Algebras
4
作者 Yonghong Liu 《Advances in Pure Mathematics》 2012年第1期59-61,共3页
This paper presents the BCL+-algebras, which is derived the fundamental properties. Results are generalized with version of BCL-algebras [5], using some unusual for a binary relation * and a constant 1 (one) in a non-... This paper presents the BCL+-algebras, which is derived the fundamental properties. Results are generalized with version of BCL-algebras [5], using some unusual for a binary relation * and a constant 1 (one) in a non-empty set X, one may take different axiom systems for BCL+-algebras. 展开更多
关键词 BCL-algebra BCL+-algebra logic algebra
下载PDF
A New Branch of the Pure Algebra: BCL-Algebras
5
作者 Yonghong Liu 《Advances in Pure Mathematics》 2011年第5期297-299,共3页
The BCK/BCI/BCH-algebras finds general algebra system than Boolean algebras system. This paper presents a novel class of algebras of type (2, 0) called BCL-algebras. We found the BCL-algebras to be more extensive clas... The BCK/BCI/BCH-algebras finds general algebra system than Boolean algebras system. This paper presents a novel class of algebras of type (2, 0) called BCL-algebras. We found the BCL-algebras to be more extensive class than BCK/BCI/BCH-algebras in the abstract algebra. The BCL-algebras as a class of logical algebras are the algebraic formulations of the set difference together with its properties in set theory and the propositional calculus in logical systems. It is important that the BCL-algebras play an independent role in the axiom algebra system. 展开更多
关键词 logic algebra BCK-algebra BCI-algebra BCH-algebra BCL-algebra
下载PDF
The Lattice of(∈,∈∨qk)-fuzzy Filters in a Given R0-algebra
6
作者 LIU Chun-hui 《Chinese Quarterly Journal of Mathematics》 2018年第2期144-155,共12页
The purpose of this paper is to further study the(∈,∈∨q_k)-fuzzy filter theory in R_0-algebras. Some new properties of(∈, ∈∨ q_k)-fuzzy filters are given. Representation theorem of(∈,∈∨q_k)-fuzzy filter which... The purpose of this paper is to further study the(∈,∈∨q_k)-fuzzy filter theory in R_0-algebras. Some new properties of(∈, ∈∨ q_k)-fuzzy filters are given. Representation theorem of(∈,∈∨q_k)-fuzzy filter which is generated by a fuzzy set is established. It is proved that the set consisting of all(∈, ∈∨q_k)-fuzzy filters on a given R_0-algebra, under the partial order, forms a complete distributive lattice. 展开更多
关键词 Fuzzy logic Ro-algebra (∈ ∨qk)-fuzzy filter LATTICE
下载PDF
Researches on Six Lattice-Valued Logic
7
作者 Hua Li 《Journal of Computer and Communications》 2015年第10期36-42,共7页
Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the taut... Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the tautologies of six-valued logic system L6P(X) are discussed deeply. The researches of this paper can be used in lattice-valued logic systems and can be helpful to automated reasoning systems. 展开更多
关键词 SIX Lattice-Valued logic LATTICE IMPLICATION algebra Filter TAUTOLOGY
下载PDF
Reliability Measures for Tele-Communication System with Redundant Transferring Machine by Using Algebraic Method
8
作者 Pawan Kumar Sharma Ganesh Kumar Thakur Bandana Priya 《American Journal of Operations Research》 2016年第5期371-377,共8页
There are so many existing methods to obtain system reliability like re-generating point function technique, supplementary variables technique etc., but all these techniques are full of complicated calculations. Keepi... There are so many existing methods to obtain system reliability like re-generating point function technique, supplementary variables technique etc., but all these techniques are full of complicated calculations. Keeping above these facts in mind, the authors in this paper have evaluated some reliability parameters for tele-communication system by using Boolean functions technique and algebraic method. Reliability of considered tele-communication system has been evaluated by considering the fact that failures follow arbitrary time distribution. In particular, the reliability expression has also been calculated for Exponential and Weibull distributions. Further, an important reliability parameter namely M.T.T.F. (mean time to failure) has also been calculated. A numerical example with graphical illustrations has been appended at the end to highlight the important results and practical utility of the model. 展开更多
关键词 Boolean Function Technique algebra of logics Weibull Distribution Exponential Distribution
下载PDF
Conditional Events and Quantum Logic
9
作者 Philip G. Calabrese 《Journal of Applied Mathematics and Physics》 2018年第6期1278-1289,共12页
This paper begins with an overview of quantum mechanics, and then recounts a relatively recent algebraic extension of the Boolean algebra of probabilistic events to “conditional events” (order pairs of events). The ... This paper begins with an overview of quantum mechanics, and then recounts a relatively recent algebraic extension of the Boolean algebra of probabilistic events to “conditional events” (order pairs of events). The main point is to show that a so-called “superposition” of two (or more) quantum events (usually with mutually inconsistent initial conditions) can be represented in this algebra of conditional events and assigned a consistent conditional probability. There is no need to imagine that a quantum particle can simultaneously straddle two inconsistent possibilities. 展开更多
关键词 HEISENBERG INDETERMINACY SUPERPOSITION of EVENTS Quantum Entanglement Hidden Variables BOOLEAN algebra CONDITIONAL logic
下载PDF
变电站备自投的配置与简化方案 被引量:1
10
作者 李静 孙东杰 汤大海 《山西电力》 2023年第3期15-19,共5页
变电站备自投运行方式多达数十种,采用“穷举”运行方式的方法实现变电站备自投是复杂且困难的。提出了110 kV变电站备自投由1个高压侧备自投和1个中压侧备自投、1~3个低压侧备自投组成110 kV变电站备自投的简化方案,简单、易于实施;阐... 变电站备自投运行方式多达数十种,采用“穷举”运行方式的方法实现变电站备自投是复杂且困难的。提出了110 kV变电站备自投由1个高压侧备自投和1个中压侧备自投、1~3个低压侧备自投组成110 kV变电站备自投的简化方案,简单、易于实施;阐述了高压侧备自投、中压侧备自投与各低压侧备自投之间的配合关系和要求。以最简单的内桥接线变电站为例,通过逻辑代数为理论分析工具,对该变电站备自投运行方式进行理论分析,与穷举的该变电站备自投运行方式结果一样、运行效果一致,证明了该内桥接线备自投的配置与简化是成立的,该分析方法同样适用于其他接线变电站备自投的理论分析。 展开更多
关键词 变电站 备自投 运行方式 逻辑代数 理论分析 简化方案
下载PDF
布尔逻辑思想初探
11
作者 杨日成 宁莉娜 《盐城工学院学报(社会科学版)》 2023年第3期22-25,共4页
以布尔命名的“布尔代数”作为数学分支,在现今计算机科学领域蓬勃发展,那么布尔本人的逻辑思想在逻辑史上的地位应重新审视。从布尔对莱布尼茨的发展,布尔逻辑的形式和形式化的区分以及布尔和直言三段论的关系三个角度展开的分析,是凸... 以布尔命名的“布尔代数”作为数学分支,在现今计算机科学领域蓬勃发展,那么布尔本人的逻辑思想在逻辑史上的地位应重新审视。从布尔对莱布尼茨的发展,布尔逻辑的形式和形式化的区分以及布尔和直言三段论的关系三个角度展开的分析,是凸显布尔逻辑思想当代价值的关键。 展开更多
关键词 布尔代数 通用语言 形式化的逻辑 直言三段论 逻辑学转向
下载PDF
MTL代数的直觉模糊理想
12
作者 刘春辉 《安徽大学学报(自然科学版)》 CAS 北大核心 2023年第6期7-17,共11页
将直觉模糊集与理想概念相结合,在MTL代数中引入直觉模糊理想和直觉模糊素(Boolean/关联/超/固执)理想的概念并考察它们的特征性质和相互关系.证明了对MTL代数的非常值直觉模糊理想A而言,如下各条件是等价的:(ⅰ)A是直觉模糊Boolean理... 将直觉模糊集与理想概念相结合,在MTL代数中引入直觉模糊理想和直觉模糊素(Boolean/关联/超/固执)理想的概念并考察它们的特征性质和相互关系.证明了对MTL代数的非常值直觉模糊理想A而言,如下各条件是等价的:(ⅰ)A是直觉模糊Boolean理想和直觉模糊素理想;(ⅱ)A是直觉模糊关联理想和直觉模糊素理想;(ⅲ)A是直觉模糊超理想;(ⅳ)A是直觉模糊固执理想. 展开更多
关键词 模糊逻辑 MTL代数 直觉模糊素理想 直觉模糊Boolean理想 直觉模糊超理想
下载PDF
Fuzzy蕴涵代数及其理想理论
13
作者 刘春辉 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2023年第4期391-401,408,共12页
模糊逻辑代数分析是模糊逻辑研究领域的热点问题之一。运用代数学和格论的方法及原理,深入研究了Fuzzy蕴涵代数及其理想问题。首先,利用伪补算子给出了Fuzzy蕴涵代数的若干新性质。其次,在Fuzzy蕴涵代数中引入理想和生成理想的概念并考... 模糊逻辑代数分析是模糊逻辑研究领域的热点问题之一。运用代数学和格论的方法及原理,深入研究了Fuzzy蕴涵代数及其理想问题。首先,利用伪补算子给出了Fuzzy蕴涵代数的若干新性质。其次,在Fuzzy蕴涵代数中引入理想和生成理想的概念并考察其性质特征和等价刻画。最后,讨论了由给定Fuzzy蕴涵代数全体理想构成的集合的格论特征,证明了该集合关于集合包含序构成分配的连续(代数)格,特别地构成完备Heyting代数,进而构成Frame的重要结论。 展开更多
关键词 模糊逻辑 FUZZY蕴涵代数 理想 生成理想 分配格 连续格
下载PDF
EQ-代数上M-算子研究
14
作者 高晓莉 王军涛 程晓云 《咸阳师范学院学报》 2023年第4期4-10,共7页
EQ-代数是高阶模糊逻辑所对应的一类重要逻辑代数,将其作为模糊逻辑理论的主要研究领域,对推动人工智能的发展有重要意义。文中主要在EQ-代数上引入Multiplier算子(M-算子)、单M-算子、幂等M-算子等算子的概念,并研究其相关性质,得到了M... EQ-代数是高阶模糊逻辑所对应的一类重要逻辑代数,将其作为模糊逻辑理论的主要研究领域,对推动人工智能的发展有重要意义。文中主要在EQ-代数上引入Multiplier算子(M-算子)、单M-算子、幂等M-算子等算子的概念,并研究其相关性质,得到了M-算子的复合依然是M-算子,并给出了保序M-算子的等价刻画,证明了在n元好的EQ-代数上,至少可以定义n个互异的M-算子;其次,讨论了M-算子与一些特殊映射(闭包算子、同态映射、幂等映射、恒等映射)之间的关系,给出了M-算子是恒等映射的等价刻画;最后,研究了EQ-代数E上关于M-算子f的不动点集(即Fixf(E))的相关性质,得到在给定条件下,M-算子的不动点集可以构成EQ-代数。 展开更多
关键词 高阶模糊逻辑 EQ-代数 Multiplier算子 不动点集
下载PDF
基于有限格蕴涵代数的格值命题逻辑语法系统 被引量:17
15
作者 马骏 高雅 +1 位作者 秦克云 徐扬 《西南交通大学学报》 EI CSCD 北大核心 2004年第1期90-94,共5页
以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证明和协调性等基本定义,并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理.
关键词 多值逻辑 逻辑代数 格蕴涵代数 语法系统 格值命题逻辑
下载PDF
通用标准SQL语法分析模型 被引量:9
16
作者 李海龙 张维明 +1 位作者 肖卫东 黎曦 《小型微型计算机系统》 CSCD 北大核心 2003年第11期1969-1972,共4页
在构造通用 SQL 查询的工程项目中 ,对 SQL 语句准确的分析验证并给出有指导性的错误信息是非常关键的 .本文根据编译原理中的句法分析 ,并利用了逻辑代数的知识和方法建立了一个完善的标准 SQL 验证模型 ,模型中首先定义了一个标准 SQ... 在构造通用 SQL 查询的工程项目中 ,对 SQL 语句准确的分析验证并给出有指导性的错误信息是非常关键的 .本文根据编译原理中的句法分析 ,并利用了逻辑代数的知识和方法建立了一个完善的标准 SQL 验证模型 ,模型中首先定义了一个标准 SQL语句对象 ANSISQL O,然后分别针对句法和文法建立了详尽的规则 ,分 Form al- Rule和L ogic- Rule两个阶段建立 ANSISQL O对象并进行验证 .文中还对嵌套的 SQL 语句做了进一步分析 ,建立了句法树以及句法广度优先和语义深度优先的验证原则 .模型对涉及到通用 展开更多
关键词 SQL语法分析模型 嵌套SQL 信息共享 逻辑代数
下载PDF
BR_0–代数的无序表示形式及WBR_0–代数性质 被引量:29
17
作者 吴洪博 王昭海 《工程数学学报》 CSCD 北大核心 2009年第3期456-460,共5页
对BR0–逻辑代数进行了进一步研究,得到了BR0–逻辑代数的一种无序表示形式,使得BR0–代数中的序关系蕴涵于BR0–代数的基本运算⊕和→之中,并根据BR0–代数的无序表示形式提出了WBR0–代数理论,初步地讨论了其中的性质。
关键词 模糊逻辑 逻辑代数 BR0-代数 无序 WBR0-代数
下载PDF
G-M制冷机辐射屏温度随动控制 被引量:4
18
作者 陈进 王惠龄 +2 位作者 王健 徐虹玲 唐跃进 《低温与超导》 CAS CSCD 北大核心 2004年第1期52-54,共3页
该文提出低温与超导系统温度控制新方法 -基于泛逻辑代数的温度随动控制。这是一种以低温实验为基础 ,依据概念和专家知识的泛逻辑控制 ,控制特性用一组泛逻辑代数方程描述 ,从而可以有效解决 G- M制冷机辐射屏温度的随动控制问题。该... 该文提出低温与超导系统温度控制新方法 -基于泛逻辑代数的温度随动控制。这是一种以低温实验为基础 ,依据概念和专家知识的泛逻辑控制 ,控制特性用一组泛逻辑代数方程描述 ,从而可以有效解决 G- M制冷机辐射屏温度的随动控制问题。该系统可应用于低温界面热阻实验和超导材料热物性测试等。温度随动控温范围为 4 0 K- 15 0 K,精度优于3K。 展开更多
关键词 制冷机 辐射屏 泛逻辑代数 温度随动控制 低温技术 超导技术
下载PDF
扰动模糊逻辑I^2的最大子代数及其广义重言式 被引量:9
19
作者 陈图云 韩莹 廖士中 《工程数学学报》 CSCD 北大核心 2003年第2期118-120,91,共4页
运用R0-蕴涵算子,找到扰动模糊命题逻辑I2的一个最大子代数IR,进而将逻辑系统 W中的广义重言式理论推广到IR中,得到类似的结果。由此说明关于一维赋值格的结果需要加一定的限制条件才能推广到二维赋值格上去。
关键词 模糊逻辑 扰动模糊逻辑 逻辑代数 广义重言式
下载PDF
基于正则FI代数的MT理想及其应用 被引量:12
20
作者 吴洪博 汪宁 《电子学报》 EI CAS CSCD 北大核心 2013年第7期1389-1394,共6页
本文基于经典代数的角度对正则FI代数进行了再研究.首先,在正则FI代数中通过蕴涵算子提出了MT理想的概念,讨论了正则FI代数中MT理想与同余关系的联系;其次,在正则FI代数中引入素MT理想的概念,并以素MT理想为工具给出了正则FI代数的条件... 本文基于经典代数的角度对正则FI代数进行了再研究.首先,在正则FI代数中通过蕴涵算子提出了MT理想的概念,讨论了正则FI代数中MT理想与同余关系的联系;其次,在正则FI代数中引入素MT理想的概念,并以素MT理想为工具给出了正则FI代数的条件嵌入定理;最后,通过以蕴涵算子表示的隐式余三角模对MT理想的特征进行了描述,并通过特征定理给出了正则FI代数中MT理想的生成方法. 展开更多
关键词 逻辑代数 正则FI代数 MT理想 同余关系 还原性 条件嵌入 生成方法
下载PDF
上一页 1 2 25 下一页 到第
使用帮助 返回顶部