切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
参数LP系统的三I算法与α-三I算法
参数LP系统的三I算法与α-三I算法
来源 :计算机科学与探索 | 被引量 : 0次 | 上传用户:aigufeixi
【摘 要】
:
给出了连续三角模族Tp-L及其伴随蕴涵算子族Rp-L的定义,并且给出了逻辑系统LP的定义;证明了逻辑系统LP与逻辑系统L的等价性,在此基础上给出了基于蕴涵算子族Rp-L的三,算法与α-三
【作 者】
:
王庆平
张兴芳
【机 构】
:
聊城大学数学科学学院
【出 处】
:
计算机科学与探索
【发表日期】
:
2008年2期
【关键词】
:
系统LP
蕴涵算子族Rp-L
三I算法
α-三I算法
LP System
family of implication operators Rp-L
Trip
【基金项目】
:
(教育部科学技术研究重点项目).
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出了连续三角模族Tp-L及其伴随蕴涵算子族Rp-L的定义,并且给出了逻辑系统LP的定义;证明了逻辑系统LP与逻辑系统L的等价性,在此基础上给出了基于蕴涵算子族Rp-L的三,算法与α-三I算法:
其他文献
正电子发射型计算机断层仪、前哨淋巴结技术及放射免疫治疗头颈肿瘤的新进展
由于早期诊断肿瘤手段的局限性,限制了临床对某些头颈鳞状细胞癌病人行正确的选择性颈部治疗。肿瘤伴有淋巴结转移则是最不利的预后因素。伴有颈部淋巴结转移的病人,5年存活率
期刊
正电子发射型计算机断层仪
前哨淋巴结技术
放射免疫治疗
头颈肿瘤
Positron emission tomography
Sentinel node
Ra
一种规约于可满足性问题(SAT)的知识推理算法
传统的知识推理算法主要依赖于通用的定理证明器,因此会有明显的组合爆炸问题和半自动化问题,只能处理小规模的问题.在文[1]中,给出了一个实用而紧致的知识的语义模型--知识
期刊
可满足性问题
知识结构
推理算法
计算规模
组合爆炸
计算方法
符号化
定理证明器
语义模型
语义基础
实验
结构语义
自动化
小规模
元素
效率
通用
处理
uPA及nm23-H1蛋白表达与喉鳞癌侵袭转移的关系
目的探讨喉鳞癌中uPA及nm23-H1的表达与喉鳞癌侵袭转移的关系.方法采用免疫组织化学方法检测uPA及nm23-H1在55例喉癌中蛋白水平的的表达.结果喉癌中uPA及nm23-H1的阳性表达率
期刊
喉肿瘤/病理学
免疫组织化学
肿瘤转移
Laryngeal neoplasms/nathol
Imrnunohistochemistry
Meoplosms
蟾蜍自然脱衣及加工方法
蟾蜍 (癞哈蟆)脱衣有边蜕皮边吃,蜕完吃光的怪习,所以蟾衣极难找到.开展人工养蟾蜍,可获取珍世稀药.但不同的采集蟾衣技术,其效果也不同.蟾蜍自然脱衣,药用价值高,也不伤害蟾
期刊
蟾蜍
自然脱衣
加工方法
蟾衣
药材
水果保鲜片
供用水果保鲜片保鲜水果,简单易行,现将其制作及使用方法介绍如下:保鲜片制作方法.取硫酸钾或硫酸纳97份、淀粉或明胶1份、硬脂酸钙1份、硬脂酸1份,将这些原料(化学试剂商店
期刊
水果
保鲜片
制作方法
使用方法
保鲜效果
网箱养鳝把三关
湖北省监利县柘木乡龚唐村四组农民,1999年10月份,将屋旁的一口687平方米的老塘改造后,投资3000元购进28口网箱养殖鳝鱼,共投苗2146斤。在乡水产站技术人员的指导下,一年下来纯赚2.13万元,网箱养鳝主要把住
期刊
黄鳝病害的防治
1、腐皮病 该病是由于养殖环境恶化,鳝体受伤,荧光假单胞菌侵入所致。病鳝体表局部或大部分充血发炎,呈现许多大小不同的红斑,腹部两侧皮肤糜烂,烂成漏斗状的小洞,可见骨骼和内脏。
期刊
基于相对等待时间的代价敏感决策树
首先引入相对等待时间代价,将它与测试代价一起称为有形代价,利用单位有形代价中无形代价(即误分类代价)降低最多的原则选择分裂属性;然后结合序列测试策略和批量测试策略建
期刊
等待时间
代价敏感
决策树
WAITING
TIME
时间代价
分类代价
测试策略
实验
测试代价
减少量
属性
选择
显示
算法
批量
方法
单位
cost-
蚁群算法中信息素增量和扩散模型的研究
文章提出一种新的基于信息素增量和扩散模型的蚁群算法.首先,基于能量守恒与转换定律对信息素的增量模型进行修正,以体现蚂蚁在不同路径上行走时所产生的信息量差异;其次,以
期刊
蚁群算法
信息素
增量模型
扩散模型
optimization
algorithms
能量守恒与转换
蚂蚁
收敛速度
不同路径
直线段
信息量
浓度场
走时
信
营养浓缩型速食蔬菜
期刊
营养浓缩型
速食蔬菜
制作方法
营养吸收
与本文相关的学术论文