论文部分内容阅读
将基于R0-蕴涵算子按确定集分类的方法推广到Godel系统中，在Godel系统中引入确定集的概念，并按不同确定集对Godel系统中的公式集F（S）进行分类，得到F（S）在Godel系统中的一个24类分划．证明这种划分关于┐是同余的．
命题公式集F（S）在Godel系统中的一个24类分划
【摘 要】
：
将基于R0-蕴涵算子按确定集分类的方法推广到Godel系统中，在Godel系统中引入确定集的概念，并按不同确定集对Godel系统中的公式集F（S）进行分类，得到F（S）在Godel系统中的一个24类分划．
【机 构】
：
中国计量学院理学院
【出 处】
：
兰州理工大学学报
【发表日期】
：
2009年6期
【基金项目】
：
国家自然科学基金（60874029）
其他文献
通过UG与Matlab软件的结合，解决UG在逆向工程技术中需要借助他方软件进行点云滤波等预处理的现状．将预处理分为排序、精简、平滑滤波三个步骤，对每一步骤设计可行的算法，利用UG／Op
研究Hamming距离下树型网络的最短路改进问题，通过把该问题转化为0-1整数线性规划问题并通过求解有限个小规模0-1整数线性规划问题并求解．该研究方法在一定程度上推广了已有的
王国维和陈寅恪是20世纪中国文化星空的双子星座.王是中国现代学术的奠基者,他精神世界和生平经历的"十重矛盾",第一次由本文发覆、概括、揭橥.陈是王的学术精神和学术方法的
研究非线性奇异控制系统的能控性子分布问题.提出了非线性奇异系统的能控性子分布的概念;研究了非线性奇异系统能控性子分布的反馈不变性质;给出了非线性奇异系统能控性子分
现有插值方法在进行医学断层图像插值时 ,不能兼顾灰度和形状的变化 .为解决这一问题 ,文中提出一种基于小波的医学图像插值算法 .通过对原图进行小波变换 ,获得图像边缘对应小波系数的位置信息 ,在断层图像的相应小波系数之间进行强度和位置插值 ,使新的图像不仅在灰度上 ,而且在组织形状上 ,介于原来的断层图像之间 ,满足了医学图像插值的要求 .与线性插值、克立格插值相比 ,新算法的视觉效果好 ,计算误