1) alternative wiring logic transformation
可替换线逻辑变换
2) noncommutative linear logic
非可换线性逻辑
1.
The system of noncommutative linear logic defined by V.
Abrusci定义的非可换线性逻辑 ,使其兼容直觉逻辑、可换线性逻辑及cyclic线性逻辑 ,并利用提出的对偶quantale概念给出了非可换线性逻辑的可靠且完备的quantale语义 。
3) logical conversion
逻辑变换
5) logic convereter
逻辑变换器
6) non-commutative fuzzy logic
非可换模糊逻辑
1.
BIK~+-logic and Non-commutative Fuzzy Logics;
BIK~+-逻辑与非可换模糊逻辑
2.
Fuzzy BIK~+-logic and Non-commutative Fuzzy Logics
模糊BIK~+-逻辑与非可换模糊逻辑(英文)
3.
As a generalization of various non-commutative fuzzy logic algebras,the notions of residual BCC-algebra and stronger residual BCC-algebra are introduced,and the relationships among them and psMTL-algebras and pseudo-hoops.
作为各种非可换模糊逻辑代数的推广,引入剩余BCC-代数及强剩余BCC-代数的概念,研究了它们与psMTL-代数、pseudo-hoop等代数结构的关系。
补充资料:Radon变换和逆Radon变换
Radon变换和逆Radon变换
X线物理学术语。CT重建图像成像的主要理论依据之一。1917年澳大利亚数学家Radon首先论证了通过物体某一平面的投影重建物体该平面两维空间分布的公式。他的公式要求获得沿该平面所有可能的直线的全部投影(无限集合)。所获得的投影集称为Radon变换。由Radon变换进行重建图像的操作则称为逆Radon变换。Radon变换和逆Radon变换对CT成像的意义在于,它从数学原理上证实了通过物体某一断层层面“沿直线衰减分布的投影”重建该层面单位体积,即体素的线性衰减系数两维空间分布的可能性。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条