切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
格值命题逻辑系统L9P(X)中的自动推理算法
格值命题逻辑系统L9P(X)中的自动推理算法
来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:cjrck
【摘 要】
:
给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断,L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备
【作 者】
:
李晓冰
邱小平
徐扬
【机 构】
:
西南交通大学智能控制开发中心,西南交通大学物流学院
【出 处】
:
计算机工程与应用
【发表日期】
:
2008年10期
【关键词】
:
中界元
格值命题逻辑系统
归结自动推理
放缩归结原理
自动推理算法
intermediate element
lattice-valued propositio
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断,L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备性。
其他文献
野蔬村酒有真味 断石枯藤无俗情——陶博吾的人生与艺术
一陶博吾先生是当代一位集诗、书、画于一身的艺术大家。先生名文,字博吾,别署白湖散人。一九○○年七月十二日生于江西彭泽县株树(?)村。一九九六年六月十六日于南昌逝世,终
期刊
陶博吾
吴昌硕
石鼓文
黄宾虹
艺术作品
陶渊明
书法
用笔
诗词
彭泽县
非平稳短时矢谱研究及其应用
大型旋转机械的故障在发生或发展时,其运行过程具有明显非平稳特性的瞬态过程。通常的针对单通道信息的时频分析不能准确提取瞬态过程的特征信息。论文结合矢谱分析和短时傅立
期刊
旋转机械
故障诊断
矢谱
短时傅立叶变换
rotary machinery
fault diagnosis
Vector-Spectrum
short time
OCr21Ni5Ti双相不锈钢超塑成形研究
在GLEEBLE1500热/力模拟实验机上首次对0Cr21Ni5Ti双相不锈钢进行了超塑性能研究,并获得了良好的超塑性能,同时确定了其超塑性成形最佳工艺参数,癫狂是出的最佳工艺参数应用于超塑性气压胀形工艺,在1000kN超塑
期刊
双相不锈钢
超塑性
成形
不锈钢
0Cr21Ni5Ti钢
Two phase stainless steel
superplastocity
forming
角速率轰炸火控系统精度分析及优化设计
角速率轰炸火控系统具有精确对地攻击能力,与传统火控系统相比具有很多优点。针对飞机角速率轰炸火控系统的组成结构,描述其火控工作原理,给出了CCRP方式下基于角速率轰炸原
期刊
角速率轰炸原理
火控系统
精度分析
angular-rate-bombing theory
fire control system
accuracy analy
基于窄角扇束CT多次扫描的局部重建算法
介绍了窄角扇束工业CT的局部扫描方法,通过源与探测器的平移加旋转实现扫描;研究了CT多次扫描的局部重建算法,从粗略扫描重建的低分辨率图像中圈定感兴趣区域,再进行小步距扫描,重建出高分辨率的图像;提高了检测效率并且只需要更少的时间就可获取高质量的局部图像。
期刊
CT
局部重建
窄角扇束
多次扫描
CT
local reconstruction
narrow fan-beam
multi-scan
不同糖耐量人群的PAI-1、C-RP水平及其与体脂等的关系
对50例NGT,69例IGT,46例T2DM患者研究显示:(1)T2DM与IGT、NGT相比,C—RP和PAI水平升高,IGT与NGT相比也如此。(2)BMI≥25与BMI<25相比,PAI-1和C—RP均升高,见于NGT,IGT和T2DM组。(3)PAI-1与C
期刊
纤溶酶原激活物抑制剂-1
C反应蛋白
糖耐量
PAI-1
C-RP
Glucose tolerance
通用对象识别技术
遵循通用对象识别系统的一般框架,重点讨论了各种特征区域选取、特征区域描述技术,比较了几种主流的识别模型和模型的训练方法,并介绍了对象识别系统的性能评估方法及其常用数据集,最后分析了未来可能的研究发展方向。
期刊
对象识别
特征描述子
特征袋
视觉单词
机器学习
object recognition
feature descriptor
bag of featur
基于全信息模式的旋转机械信息融合方法研究
旋转机械转子运动状态的截面信息包括静态信息和动态信息,仅从静态信息或动态信息分析对转子故障进行诊断可能发生误诊。提出的基于全信息模式的旋转机械信息融合方法,融合了
期刊
全信息融合
旋转机械
故障诊断
full information fusion
rotary machinery
fault diagnosis
罗格列酮对高糖诱导下大鼠肾小球系膜细胞增殖及细胞周期的影响
以大鼠肾小球系膜细胞株(HBZY-1)为靶细胞,观察不同浓度不同时间罗格列酮(RSG)对高糖培养的系膜细胞的作用,发现RSG在一定范围内以剂量和时间依赖关系抑制高糖诱导的肾小球系膜细
期刊
罗格列酮
系膜细胞
细胞增殖
细胞周期
Rosiglitazone
Mesangial cells
Cell proliferation
Cell cyc
一种基于群智能的快速多目标优化算法
粒子群优化算法是一种典型的仿真群智能的算法。探讨了利用粒子群算法术解多目标优化问题,为了提高算法速度,采用了几何Pareto选择算法作为文档算法,用多方向搜索的办法寻找极端
期刊
多目标优化
群智能
PARETO最优集
几何Pareto选择
muhi-objective optimization
swam intelligence
Pa
与本文相关的学术论文