1) logical list method
逻辑表格法
3) semantic logic notation
语义逻辑表示法
4) lattice-valued logic
格值逻辑
1.
Lattice-Valued Logical System and Automated Reasoning Based on Lattice Implication Algebra;
基于格蕴涵代数的格值逻辑系统及其自动推理的研究
2.
Fuzzy Concept Lattice Based on Lattice-valued Logic
基于格值逻辑的模糊概念格
3.
Lattice-valued logic is an important kind of non-classical logic and an extension of both classical logic and fuzzy logic.
格值逻辑是一种重要的非经典逻辑,它是经典逻辑和模糊逻辑的推广。
5) Lattice valued logic
格值逻辑
1.
In this paper,we introduce the concepts of fuzzifying semigroups based on complete residuated lattice valued logic,and discuss the structures and the properties of the subgroups,regular subsemigroups and completely regular subsemigroups.
该文定义了基于完全剩余格值逻辑上的半群的概念。
6) logical price
逻辑价格
补充资料:表格法
将支路电压和支路电流全部作为求解对象的电路计算方法。用这种方法计算一个节点数为п、支路数为b的电路,需要列出2b个独立方程,因为该电路的支路电压和支路电流总数为2b个。这2b个方程是根据支路电流在节点上应服从基尔霍夫电流定律(KCL)的约束,支路电压沿回路应服从基尔霍夫电压定律(KVL)的约束(见基尔霍夫定律),以及在同一支路上二者还必须满足该支路的支路方程而写出的。其中 (n-1)个是在从节点中除去任选的一个参考节点外,对余下的(n-1)个节点使用KCL得出的KCL方程;(b-n+1)个是对从电路的回路中任选的一组基本回路(见网络拓扑)使用KVL得出的KVL方程。这两组方程的总数恰好为:(n-1)+(b-n+1)=b个。另外,b个则是根据支路本身的连接方式和所含元件的类型使用 KVL或KCL写出的支路方程。有了方程后,便可解出全部的支路电压和支路电流。
运用表格法的具体步骤是:①在电路上任选一个参考节点和一组基本回路(当电路是平面网络时,可选内网孔);选定各支路电压和支路电流的参考方向以及各基本回路的绕行方向;②除参考节点外,对其他节点写出KCL方程;③对基本回路写出KVL方程;④写出所有支路的支路方程;⑤联立求解上述3个方程组,求出全部支路电压和支路电流。
表格法只要求写出KCL、KVL和支路方程,不需要中途进行变量代换,因此,它对任何电路都可以适用,不会遇到难以处理的支路问题(见支路电流法、节点电压法、回路电流法)。但采用这种方法时,需求解的方程太多,以至在以手算为主的年代里被其他方法所取代。随着电子计算机的应用和求解稀疏方程组(其系数矩阵中含有大量零元素的方程组,用表格法列出的方程组就是这种方程组)的有效算法的不断出现,表格法又被重新推出而得到应用。目前有的计算机分析电路的程序就采用这一方法建立电路方程,所用方法称为稀疏表格法。
运用表格法的具体步骤是:①在电路上任选一个参考节点和一组基本回路(当电路是平面网络时,可选内网孔);选定各支路电压和支路电流的参考方向以及各基本回路的绕行方向;②除参考节点外,对其他节点写出KCL方程;③对基本回路写出KVL方程;④写出所有支路的支路方程;⑤联立求解上述3个方程组,求出全部支路电压和支路电流。
表格法只要求写出KCL、KVL和支路方程,不需要中途进行变量代换,因此,它对任何电路都可以适用,不会遇到难以处理的支路问题(见支路电流法、节点电压法、回路电流法)。但采用这种方法时,需求解的方程太多,以至在以手算为主的年代里被其他方法所取代。随着电子计算机的应用和求解稀疏方程组(其系数矩阵中含有大量零元素的方程组,用表格法列出的方程组就是这种方程组)的有效算法的不断出现,表格法又被重新推出而得到应用。目前有的计算机分析电路的程序就采用这一方法建立电路方程,所用方法称为稀疏表格法。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条