论文部分内容阅读
为寻找时态逻辑的替代者，以公理化的方式对时态查询语言做句法和语义的分析，构建了并发的Lambek演算（LCTQ）及其范畴语法用以作时态查询的句法分析。根据LCTQ演算构造相应的LCTQ标号自然演绎系统，从而提供句法演算到语义计算的转换方式，为时态查询语句的语义分析提供相关接口。
并发Lambek演算在时态查询中的语义转换
【摘 要】
：
为寻找时态逻辑的替代者，以公理化的方式对时态查询语言做句法和语义的分析，构建了并发的Lambek演算（LCTQ）及其范畴语法用以作时态查询的句法分析。根据LCTQ演算构造相应的LCTQ标
【机 构】
：
中山大学计算机科学系,中山大学数学系
【出 处】
：
中山大学学报：自然科学版
【发表日期】
：
2009年1期
【基金项目】
：
国家自然基金资助项目（60673135、60373081）,国家自然科学资金重点资助项目（60736020）,广东省自然科学基金资助项目（7003721）,广东省科技攻关资助项目（0713010200052）,广州市科技计划资助（0723-D3191）
其他文献
使用了不同的功能单体和致孔剂,制备了一系列的以双酚A为模板的分子烙印聚合物.发现以2-Vpy做功能单体,以甲苯做致孔剂的分子烙印聚合物对底物有很好的结合能力.在不同的致孔
随着市场竞争的激烈,一些企业为谋取更多利益,通过上市的方式募集资金,提高竞争实力。对于企业而言,财务管理是其立足和运行的命脉,一旦管理过程中出现问题,将造成严重影响。
介绍了普通皮带输送机的生产现状及输送原理,阐述了普通皮带输送机改造为深槽皮带运输机可以增加货载断面积,增加皮带输送机的运输量.
当前我国国民经济发展迅速，事业单位固定资产在国有资产中的地位可见一斑。规范对固定资产的管理对于促进我国事业单位保持良性发展起着巨大的作用。但在如今事业单位的管理工
在最近的几十年，我国的经济发展速度变得越来越快。就整个经济体制而言，我国通过改革开放使得整个国家的经济体制由计划经济变成了市场经济。我国的市场经济环境通过这几十年的
在总结洪水分类研究的基础上，提出了一种新的洪水分类方法，以人工免疫网络对洪水样本进行免疫学习和记忆，提取表征洪水强度的有用特征得到抗体库和相似度矩阵，利用最小生成树方法
通过调查分析,采取一系列技术措施,改善了主井提升绞车减速器齿轮点蚀情况,保证绞车安全运转.
随着网络规模的扩大,网络设备多样性的发展,基于SNMP的网管系统已经不能很好地满足网络管理的需求。在研究不同网络设备配置命令的基础上,采用"抽象工厂"的设计模式,抽象出不
在激烈的金融市场竞争中，银行的基层执行力逐渐成为竞争力的核心和关键，其效力及发挥程度在很大程度上关系到银行的可持续发展。本文通过对基层行执行力的现状进行研究，分析其中