切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
中介命题演算系统MP^M的公理完备集
中介命题演算系统MP^M的公理完备集
来源 :计算机科学 | 被引量 : 0次 | 上传用户:kelly1105
【摘 要】
:
本文基于中介逻辑命题演算系统MP^M构造了一个公理集合,证明了该公理集合的完备性。该公理集合中的公理均是由等式的形式给出,可以方便地对MP^M、MF^M系统上的等值公式进行推导
【作 者】
:
曹汝鸣
毛宇光
陈文彬
【机 构】
:
南京航空航天大学信息科学与技术学院,计算机软件新技术国家重点实验室(南京大学)
【出 处】
:
计算机科学
【发表日期】
:
2006年2期
【关键词】
:
中介逻辑
命题演算系统
公理集
查询优化
Medium logic
Propositional calculus system
Axiom set
Que
【基金项目】
:
计算机软件新技术国家重点实验室(南京大学)开放课题:数据库中的不完全信息与不一致信息研究,973计划:“海量信息系统规律、模型和维护机理研究”子课题:海量信息系统知识与管理研究,编号:G1999032701.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文基于中介逻辑命题演算系统MP^M构造了一个公理集合,证明了该公理集合的完备性。该公理集合中的公理均是由等式的形式给出,可以方便地对MP^M、MF^M系统上的等值公式进行推导和证明。本文还讨论了该公理集合在不完全信息数据库查询优化上的应用。
其他文献
基于图示评审技术的风险投资组合模型
运用系统论和GERT网络理论的思想及其原理。揭示了组合中各项目之间的组合规律,提出了风险投资组合的串联、并联和混联这3种不同的组合模式,构建了其风险与周期评估的组合GERT
期刊
风险投资
组合
图示评审技术
venture capital
portfolio
graphical evaluation review technique
一种工作流中的服务选择算法
与其他服务发现相比,工作流中的服务选择有着自身的特点。在目前情况下,大多数的服务选择只是从对服务本身需求的角度来考虑,并未涉及到多个服务之间的关联约束和协调性问题。而
期刊
服务发现
工作流
兼容比较
规则
Service discovery
Workflow
Compatibility
Rule
极小子集问题的逻辑代数解法
在粗集论中,决策表简化问题可转化为极小子集问题.本文给出极小子集问题的逻辑代数解法,即通过求逻辑函数的极小析取范式或极小合取范式来获得极小子集.
期刊
粗集论
极小子集
极小析取范式
极小合取范式
Rough sets theory
Minimal subset
Minimal disjunctive fo
港口区位势模式及其增长机制
将区位势概念模式运用到港口区住与腹地相互关系,建立了港口区位势的数学模型,定量分析港口区位发展潜力和竞争力。在腹地分析方面,鉴于现代港口腹地交叉重叠和动态多变的特征,舍
期刊
港口
腹地
港口区位势
温州港
seaport
hinterland
port locational potential
Wenzhou port
基于提前/滞后Flow Shop调度问题的混合微粒群算法
提出了一种混合微粒群算法,通过引入禁忌搜索算法和动态设置惯性权重等方法,提高了算法搜索全局最优解的能力并且能够有效避免早熟收敛问题。并将这种算法应用于求解实际的提前
期刊
提前/滞后
FLOW
SHOP
调度问题
微粒群算法
禁忌搜索算法
flow shop scheduling problem with earliness/ta
NEMO移动网络及其路由优化技术
网络移动(Network Mobility,NEMO)主要研究子网作为一个整体在全球互联网范围内移动过程中存在的网络可达性、效率和安全等方面的问题。本文介绍了NEMO基本支持协议以及嵌套NEMO
期刊
NEMO
嵌套移动网络
路由优化
NEMO
Nested mobile network
Route optimization
自然语言文本指代消解技术研究
指代消解处理是自然语言处理的关键环节,也是众多语言工程项目的核心任务。本文针对指代消解的一些基本问题进行阐述,按照时间线索,对国内外各类指代消解技术方法的研究情况进行
期刊
指代
共指
指代消解
共指消解
机器学习方法
Anaphora
Coreference
Anaphora resolution
Coreference r
面向业务流程的管理软件平台的研究与应用
在现代管理软件的实施中,软件产品的既定模式与用户的定制需求始终是一对难以解决的矛盾,因而提出了软件平台的概念。所谓管理软件平台,其主导设计思想就是“以客户为中心”,追求
期刊
业务流程
管理软件平台
集成化
业务流程规范
用户需求
应用
管理信息系统
软件产品
管理平台
设计思想
Work flow
Management softw
移动互联网访问控制支持移动感知的研究
移动互联网的访问控制使移动IPv6面临切换延迟显著增加的困境。本文在分析移动IPv6协议特点与访问控制机制行为特征的基础上,提出了一种在移动互联网访问控制应用中实现快速移
期刊
访问控制
移动IPV6
移动感知
Access control
Mobile IPv6
Mobile-awareness
栈溢出的动态检测技术
缓冲区溢出是计算机界的一个古老话题,计算机界和学术界为检测和预防缓冲区溢出投入了很多的精力。但根据CERT(www.cert.org)的数据显示,最近几年中,缓冲区溢出大约占程序错误的50%。
期刊
缓冲区溢出
栈溢出
插装技术
Buffer overflow
Stack overflow
Instrument technique
与本文相关的学术论文