切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
量化单一带标公式的消解
量化单一带标公式的消解
来源 :中山大学学报:自然科学版 | 被引量 : 0次 | 上传用户:ayczswh
【摘 要】
:
在引入量化单一带标公式的概念后,给出其消解算法,并证明该消解算法是健全的和拒绝性完备的。因此该算法可用于对量化单一带标公式进行理论上的研究,同时也可用于在实际应用中解
【作 者】
:
金继伟
赵希顺
【机 构】
:
中山大学逻辑与认知研究所
【出 处】
:
中山大学学报:自然科学版
【发表日期】
:
2010年1期
【关键词】
:
量化单一带标公式
消解
可满足性
多项式时间可判定
quantified monosigned formulae resolution satisfiabili
【基金项目】
:
基金项目:国家自然科学基金资助项目(60970040,14010638)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在引入量化单一带标公式的概念后,给出其消解算法,并证明该消解算法是健全的和拒绝性完备的。因此该算法可用于对量化单一带标公式进行理论上的研究,同时也可用于在实际应用中解决这类公式的可满足性问题。最岳,根据消解算法,得出一个可以在多项式时间内判定可满足性的量化单一带标公式的子类。
其他文献
低聚木糖对蛋雏鸡生长性能及免疫器官指数的影响
<正>随着饲料工业的发展,抗生素在动物生产中的危害越来越受到人们的重视。抗生素的替代品成为动物营养学家研究的新课题。低聚木糖是由27个木糖以及β-1,4糖苷键连接而成的
期刊
低聚木糖
免疫器官指数
生长性能
常见饲料原料的掺假鉴别方法
饲料原料的质量是饲料质量的关键所在。但一些不法分子在利益驱使下,向饲料原料中掺假夹杂,使原料质量难以鉴定。为保证饲料质量,必须控制好原料质量。常见的原料掺假方式及鉴别
期刊
参观大连苏联小学课堂教学工作的几点体会
去年十一月下旬,北京市一部分小学教师曾到旅大地区参观,学习苏联先进经验。这篇文章是他们总结此行收获的一部分,也是主要的一部分,特刊载供教师参考。
期刊
小学课堂教学
几点体会
选择粗化函数优化并行稀疏矩阵向量乘法
讨论了如何分划稀疏矩阵的非零元素以减少并行矩阵向量乘法的通信代价。通过以粗化函数为工具,统一现有的数据分划方法;提出一种基于行列分划为初解的粗化函数选取方法,在理
期刊
选择粗化函数
数据分划
并行
稀疏矩阵向量乘法
selected contraction function data partitioning parallel
衢州市农村社区养老状况调查及对策研究
第六次全国人口普查数据显示,浙江省衢州市人口老龄化趋势严峻,65岁以上人口比重达11.97%,农村老龄化问题明显,农村养老问题成为社会发展的制约因素。在传统养老模式不适应的
期刊
农村社区
养老现状
对策
库尔勒~库车高速公路29团互通立交大体积水泥混凝土裂缝产生原因及防治措施浅析
库尔勒~库车高速公路S.S.R.K498-F444.46二十九团互通立交跨线桥基础承台为大体积水泥混凝土承台,水泥混凝土浇筑方式采用泵送,针对大体积水泥混凝土水化热大,泵送坍落度大、水泥用量
期刊
大体积水泥混凝土
裂缝
产生原因
防治措施
特色枣树新品种
期刊
枣树
单果重
地区发展
极早熟
泾渭鲜枣
发展前景
高海拔
梨枣
保鲜贮藏
单株产量
如何开发饲料市场
饲料销售增量有两种渠道:增加吃饲料的动物,增加销饲料的客户,即老市场的挖潜和新市场的开发。本文笔者介绍如何开发新市场。
期刊
CDIO理念下的创新创业人才培养模式探索与实践——以软件技术专业为例
CDIO教育理念是将工程理念(构思、设计、实施、运行)应用于教学的每一个环节,创新创业教育是面向大众、结合专业、贯穿人才培养全过程的。文章研究创新创业理论基础,分析国内
期刊
CDIO理念
创新创业教育
课程体系
实践平台
防治蔬菜冬季草害
期刊
蔬菜
马齿苋
除草醚
禾本科杂草
主要危害
阔叶杂草
单子叶杂草
苗期除草
土壤处理
扑草净
与本文相关的学术论文