切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
含等词的超表演算
含等词的超表演算
来源 :吉林大学学报:理学版 | 被引量 : 0次 | 上传用户:donglaoshi_imnu
【摘 要】
:
将处理等词问题的Superposition方法引入超表演算中, 使超表演算能处理含等词的一阶逻辑问题, 这种新的表演算不但具有完备性, 而且无需回溯, 是用表演算完成含等词的一阶逻
【作 者】
:
冯莎莎
孙吉贵
吴瑕
【机 构】
:
吉林大学,吉林大学
【出 处】
:
吉林大学学报:理学版
【发表日期】
:
2005年4期
【关键词】
:
超表演算
Superposition方法
等词
<Keyword>hyper tableau calculus
superposition met
【基金项目】
:
国家自然科学基金,吉林省杰出青年科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
将处理等词问题的Superposition方法引入超表演算中, 使超表演算能处理含等词的一阶逻辑问题, 这种新的表演算不但具有完备性, 而且无需回溯, 是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试.
其他文献
氟哌酸治疗沙门菌肠炎113例疗效分析
<正> 我们于1987~1989年12月,以氟哌酸治疗沙门菌肠炎113例,同时以吡哌酸治疗151例作为对照,获得较为满意疗效。现将治疗结果报告如下。观察方法临床资料氟吸酸治疗组113例。
期刊
肠炎
沙门菌
氟哌酸
用Lattice Boltzmann方法计算矩形柱的绕流问题
采用二维9速度Lattice Boltzmann模型,数值模拟流体流过矩形截面柱体的绕流问题.在边界处,采用二阶精度的插值边界处理方法,计算了流动的Strouhal数及柱体受到的升力和阻力系数,给
期刊
LATTICE
BOLTZMANN方法
Strouhal数
矩形柱
流线
等涡线
Lattice Boltzmann method
Strouhal numb
郑州市人民政府关于印发郑州市公共租赁住房暂行管理办法的通知
【正】各县(市、区)人民政府,市人民政府各部门,各有关单位:《郑州市公共租赁住房暂行管理办法》已经市人民政府第30次常务会议研究通过,现印发给你们,请认真贯彻执行。
期刊
租赁住房
管理办法
租赁合同
经济适用住房
用人单位
常务会议
公有住房
自有住房
优惠政策
装修标
改进的呼叫指纹算法及其在重入网识别中的应用
针对传统呼叫指纹算法在实际应用中识别准确率低、识别对象局限性大、识别时间长等问题,在Hausdorff距离的基础上提出一种新的匹配算法,从而提高了重入网用户识别的精度,扩大了识别对象的适用范围.
期刊
呼叫指纹
重入网
HAUSDORFF距离
转移概率矩阵
call-fingerprint
repeat network access
Hausdorff d
一起成人轮状病毒腹泻流行的调查报告
<正> 1987年5月25日~6月20日,吉林省白城市某部驻军大院内暴发原因不明的水样腹泻,疫情来势猛、波及面广、病例分散。为查明其病原,采取有效的防疫对策,我们深入现场进行了调
期刊
轮状病毒
腹泻
流行病学
绿城广场
期刊
绿城广场
郑州市人民政府办公厅关于印发郑州市依法行政示范单位验收评分细则的通知
【正】郑政办文[2010]51号二○一○年六月一日各县(市、区)人民政府,市人民政府各部门,各有关单位:为进一步提高我市各级行政机关依法行政的能力和意识,规范各类行政行为,推
期刊
法治政府建设
评分细则
责任目标考核
自查报告
装订成册
工作报告
部门职责
大项
现场检查
不合格
膀胱癌的一般诊断方法
<正> 膀胱肿瘤是泌尿系统最常见的肿瘤,分上皮细胞性和非上皮细胞性两大类。上皮细胞性肿瘤占98%以上,且以乳头状瘤和乳头状癌最为常见,鳞癌和腺癌少见。膀胱癌多发生于男性,
期刊
膀胱肿瘤
诊断
中学生写作能力试析
写作能力是怎样逐步培养出来的呢?下面笔者分三个层面来说。第一个层面是要有必要的积累。这个积累又包括两个方面。其一,词汇,有些作文较差的学生词汇不丰,想说的意思表达不出来
期刊
写作能力
中学生
语言素材
观察生活
词汇量
中低年级
文献材料
封建时代
基于冠层温度的菜心缺水指数模型初步试验研究
以柳叶菜心为研究对象,测试了不同干旱条件下的土壤含水量、空气温湿度和冠层温度等参数,确定了作物缺水指数经验模型的参数,并针对太阳辐射强度对模型做了改进.研制了蔬菜旱
期刊
作物缺水指数模型
冠层温度
空气饱和水蒸气压盖
柳叶莱心
crop water stress index
canopy temperature
vapor
与本文相关的学术论文