切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
并发Lambek演算在时态查询中的语义转换
并发Lambek演算在时态查询中的语义转换
来源 :中山大学学报:自然科学版 | 被引量 : 0次 | 上传用户:soochow_deer
【摘 要】
:
为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lambek演算(LCTQ)及其范畴语法用以作时态查询的句法分析。根据LCTQ演算构造相应的LCTQ标
【作 者】
:
刘冬宁
汤庸
【机 构】
:
中山大学计算机科学系,中山大学数学系
【出 处】
:
中山大学学报:自然科学版
【发表日期】
:
2009年1期
【关键词】
:
时态查询
并发的Lambek演算
语义转换
标号自然演绎系统
temporal querying
concurrence Lambek calculus
s
【基金项目】
:
国家自然基金资助项目(60673135、60373081),国家自然科学资金重点资助项目(60736020),广东省自然科学基金资助项目(7003721),广东省科技攻关资助项目(0713010200052),广州市科技计划资助(0723-D3191)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lambek演算(LCTQ)及其范畴语法用以作时态查询的句法分析。根据LCTQ演算构造相应的LCTQ标号自然演绎系统,从而提供句法演算到语义计算的转换方式,为时态查询语句的语义分析提供相关接口。
其他文献
双酚A的分子烙印聚合物的制备和结合特性的研究
使用了不同的功能单体和致孔剂,制备了一系列的以双酚A为模板的分子烙印聚合物.发现以2-Vpy做功能单体,以甲苯做致孔剂的分子烙印聚合物对底物有很好的结合能力.在不同的致孔
期刊
分子烙印
双酚A
2-乙烯吡啶
结合能力
化学位移
molecular imprinting
bisphenol A
2-vinylpyridine
bi
企业上市前的财务问题及规范方案
随着市场竞争的激烈,一些企业为谋取更多利益,通过上市的方式募集资金,提高竞争实力。对于企业而言,财务管理是其立足和运行的命脉,一旦管理过程中出现问题,将造成严重影响。
期刊
企业上市
财务问题
规范方案
皮带输送机的深槽改造
介绍了普通皮带输送机的生产现状及输送原理,阐述了普通皮带输送机改造为深槽皮带运输机可以增加货载断面积,增加皮带输送机的运输量.
期刊
深槽
皮带输送机
断面
deep trough
belt conveyor
section
事业单位固定资产内部控制制度构建探索
当前我国国民经济发展迅速,事业单位固定资产在国有资产中的地位可见一斑。规范对固定资产的管理对于促进我国事业单位保持良性发展起着巨大的作用。但在如今事业单位的管理工
期刊
事业单位
固定资产
内部控制
关于急倾斜中厚煤层开采工艺的探讨
介绍难采煤层巷道长壁长孔爆破采煤法,并通过试采取得成功,为今后急倾斜难采煤层的开采探索出一条新路.
期刊
难采煤层
巷道长壁
长孔爆破
研究市场经济环境下工商管理的作用
在最近的几十年,我国的经济发展速度变得越来越快。就整个经济体制而言,我国通过改革开放使得整个国家的经济体制由计划经济变成了市场经济。我国的市场经济环境通过这几十年的
期刊
经济环境
全球化
工商管理
经济体制
人工免疫算法在洪水分类中的应用
在总结洪水分类研究的基础上,提出了一种新的洪水分类方法,以人工免疫网络对洪水样本进行免疫学习和记忆,提取表征洪水强度的有用特征得到抗体库和相似度矩阵,利用最小生成树方法
期刊
洪水分类
人工免疫
克隆选择
最小生成树
flood classification
artificial immune system
clonal sele
对4m绞车减速器齿轮点蚀问题的分析和处理
通过调查分析,采取一系列技术措施,改善了主井提升绞车减速器齿轮点蚀情况,保证绞车安全运转.
期刊
齿轮
点蚀
措施
绞车
减速器齿轮
gear
point corrosion
measure
通用网络设备管理系统的研究与实现
随着网络规模的扩大,网络设备多样性的发展,基于SNMP的网管系统已经不能很好地满足网络管理的需求。在研究不同网络设备配置命令的基础上,采用"抽象工厂"的设计模式,抽象出不
期刊
网络管理
设备抽象接口
批量配置
设计模式
关于基层银行执行力建设的几点思考
在激烈的金融市场竞争中,银行的基层执行力逐渐成为竞争力的核心和关键,其效力及发挥程度在很大程度上关系到银行的可持续发展。本文通过对基层行执行力的现状进行研究,分析其中
期刊
基层银行
执行力
问题对策
与本文相关的学术论文