论文部分内容阅读
给出了连续三角模族Tp-L及其伴随蕴涵算子族Rp-L的定义，并且给出了逻辑系统LP的定义；证明了逻辑系统LP与逻辑系统L的等价性，在此基础上给出了基于蕴涵算子族Rp-L的三，算法与α-三I算法：
参数LP系统的三I算法与α-三I算法
【摘 要】
：
给出了连续三角模族Tp-L及其伴随蕴涵算子族Rp-L的定义，并且给出了逻辑系统LP的定义；证明了逻辑系统LP与逻辑系统L的等价性，在此基础上给出了基于蕴涵算子族Rp-L的三，算法与α-三
【机 构】
：
聊城大学数学科学学院
【出 处】
：
计算机科学与探索
【发表日期】
：
2008年2期
【基金项目】
：
（教育部科学技术研究重点项目）.
其他文献
目的探讨喉鳞癌中uPA及nm23-H1的表达与喉鳞癌侵袭转移的关系.方法采用免疫组织化学方法检测uPA及nm23-H1在55例喉癌中蛋白水平的的表达.结果喉癌中uPA及nm23-H1的阳性表达率
蟾蜍 (癞哈蟆)脱衣有边蜕皮边吃,蜕完吃光的怪习,所以蟾衣极难找到.开展人工养蟾蜍,可获取珍世稀药.但不同的采集蟾衣技术,其效果也不同.蟾蜍自然脱衣,药用价值高,也不伤害蟾
供用水果保鲜片保鲜水果,简单易行,现将其制作及使用方法介绍如下:保鲜片制作方法.取硫酸钾或硫酸纳97份、淀粉或明胶1份、硬脂酸钙1份、硬脂酸1份,将这些原料(化学试剂商店
首先引入相对等待时间代价,将它与测试代价一起称为有形代价,利用单位有形代价中无形代价(即误分类代价)降低最多的原则选择分裂属性;然后结合序列测试策略和批量测试策略建