切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于路径搜索的格值命题逻辑自动推理方法
基于路径搜索的格值命题逻辑自动推理方法
来源 :西南交通大学学报 | 被引量 : 0次 | 上传用户:wenjun456852
【摘 要】
:
提出一种基于路径搜索的自动推理算法.除了采取预处理外,还采用了动态的删除策略,使对大部分路径的搜索变成对一条路径搜索.可快速地完成对一类格值命题逻辑中的任何一个子句
【作 者】
:
李海明
刘鹏仙
徐扬
【机 构】
:
西南交通大学应用数学系,唐山师范学院计算机系,西南交通大学应用数学系
【出 处】
:
西南交通大学学报
【发表日期】
:
2003年3期
【关键词】
:
自动推理
路径搜索
格值命题逻辑
删除策略
子句集
互补对
计算复杂性
automated reasoning
route
clause set
comp
【基金项目】
:
国家自然科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出一种基于路径搜索的自动推理算法.除了采取预处理外,还采用了动态的删除策略,使对大部分路径的搜索变成对一条路径搜索.可快速地完成对一类格值命题逻辑中的任何一个子句集可满足性与不可满足性的判定.文中还讨论了该算法计算的复杂性.
其他文献
混沌时间序列局域零阶预测法性能比较
利用计算机仿真比较了均值、距离加权和指数加权3种混沌局域零阶预测方法的预测精度、抗噪声及多步预测性能.在无噪声或噪声干扰较小时,距离加权预测法的性能最好;当噪声干扰
期刊
预测
混沌时间序列
局域预测方法
均值法
距离加权法
指数加权法
predictions
chaotic time series
local predict
机器人迭代学习控制与重复控制研究
在科技不断发展的背景下,人们在生产、生活中应用的电子设备也在不断发展。通过初值问题、速度问题两个方面对分数相位迭代学习控制进行了讨论,并从基本原理、控制方法,对机
期刊
机器人
迭代学习
重复控制
模腔注射填充的全矢量显式算法
为满足注射成形模拟工业应用的实际需要,基于已有的模拟注填充显式算法,提出并实现了一种新的全矢量化显式算法.对于各类注射填充的模拟问题,此算法避免了压力场的全局求解,
期刊
数值模拟
模腔填充
矢量化算法
numerical simulation
mould filling
vectorial algorithm
护理部实施目标与成本核算管理的体会
为适应激烈的市场竞争,提高医院经济效益,护理部在医院实行综合目标管理中参与医院成本核算,结合科室及护理工作的特点,充分挖掘护理潜能,使护士长能运用科学的管理手段进行护理管
期刊
护理部
护理管理
护士长
体会
成本核算管理
医院成本核算
医院经济效益
实施目标
管理手段
潜能
左肺移植动物实验的手术配合
期刊
肺移植术
动物实验
毕克钳
心房钳
洗手护士
单肺移植
巡回护士
心耳钳
PROLENE
套管针穿刺
其他行业的服务案例给护理人员的启示
期刊
护理人员
病房护士长
护理同行
考特
服务小姐
酒店服务
就这样
饭店员工
医院管理
司考
新式体温计消毒套盒的设计和应用
临床上体温计使用后的消毒多采用有盖的普通塑料容器,其步骤为浸泡30min后用冷开水冲洗,再用消毒纱布擦拭干净。我们设计了一种新工体温计消毒专用套盒,取代临床上的普通消毒盘,
期刊
新式体温计
消毒套盒
设计
临床应用
质量控制管理在临床护理教学中的应用
临床教学是护理教育的一个重要组成部分,是护生实现理性认识到感性认识的中问环节,是培养高素质、实用型护理人才的重要途径。实行护理临床带教过程质量控制,不断规范对带教老师
期刊
质量控制管理
临床护理
护理教学
活动程序
天然气流量信息融合及聚类控制系统
根据天然气流量数学模型,提出了天然气流量信息融合聚类结构,通过ART-2网络和BP网络对影响流量的差压、压力及温度传感器数据进行融合和输出空间聚类分析,制定了在输出流量变
期刊
天然气
流量
模型
数据融合
聚类分析
控制策略
natural gas
flow
mathematical models
imformation fus
股骨颈骨折病人护理体会
期刊
股骨颈骨折
病人护理
冠心病病人
头低脚高位
安慰性语言
外展中立位
少食多餐
术前宣教
卧床时间
心理护理
与本文相关的学术论文