切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
逻辑程序设计语言G(o)del中等词的研究及实现简报
逻辑程序设计语言G(o)del中等词的研究及实现简报
来源 :2006年全国理论计算机科学学术年会 | 被引量 : 0次 | 上传用户:yu19910108
【摘 要】
:
本文对逻辑程序设计语言G(o)del中等词的实现进行了研究。文章围绕含等词的逻辑程序一致匹配算法、G(o)del语言的类型系统机制、 G(o)del语言含等词的SLDE-反驳消解实现等进
【作 者】
:
侯米娜
赵致琢
李慧琪
苏剑煌
李松斌
【机 构】
:
厦门大学计算机科学系,厦门,361005
【出 处】
:
2006年全国理论计算机科学学术年会
【发表日期】
:
2006年期
【关键词】
:
逻辑程序设计语言
系统机制
匹配算法
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文对逻辑程序设计语言G(o)del中等词的实现进行了研究。文章围绕含等词的逻辑程序一致匹配算法、G(o)del语言的类型系统机制、 G(o)del语言含等词的SLDE-反驳消解实现等进行了论述。
其他文献
低黏度RTM氰酸酯树脂体系的流变行为研究
研究了改性RTM氰酸酯树脂体系的流变行为,建立了其在恒温和动态条件下的流变特性方程.研究表明,恒温条件和动态条件下的树脂流变行为符合阿累尼乌斯流变模型,模型计算结果与
会议
低黏度
氰酸酯
树脂体系
流变行为
动态条件
阿累尼乌斯
特性方程
流变模型
恒温条件
成型工艺
测试结果
优化
计算
改性
N-苄氧基羰基-甘氨酰脯氨酸-阿霉素血药浓度测定方法的建立
目的:建立一种稳定、灵敏的阿霉素靶向抗肿瘤前体化合物Z-GP-Dox的血药浓度检测方法,为进一步系统开展该候选化合物的体内药代动力学研究奠定方法学基础。方法:Z-GP-Dox血浆
期刊
N-苄氧基羰基-甘氨酰脯氨酸-阿霉素
高效液相色谱法
血药浓度测定
阿霉素
单PEG修饰麦冬多糖在正常和心肌缺血大鼠体内的药动学
目的:对单聚乙二醇(PEG)修饰麦冬多糖(ORP)在正常和冠脉结扎致缺血大鼠药物动力学行为进行比较研究.方法:采用异硫氰酸荧光素标记PEG-ORP修饰物,大鼠尾静脉注射给药后采用高
期刊
Ophiopogonis Radix
polysaccharide
pharmacokinetics
coronary artery ligation
poly
基于MDA的类图到组件图的转换方法
MDA将应用模型划分成与平台无关的模型(PIM)和与平台有关的模型(PSM),并定义了PIM和PSM之间的4种映射关系.该文主要对PIM到PIM之间的映射进行了研究,将用UML描述的类图自动转
会议
类图
组件图
构件图
统一建模语言
英帝国主义在印度
英国的报纸给印度起了个很美丽的名字,叫做「英国皇冠上的一颗明珠」.事实上,英帝国主义的其他殖民地或半殖民地没有一个像幅员广大人口达三万万五千万的印度对牠这未有价值
期刊
英帝国主义
殖民地
皇冠
一颗
英国资产阶级
一千
万五
七十
一侗
七人
基于角色的访问控制模型改进
随着电子政务的不断发展,权限管理成为一个日益突出的问题.本文首先介绍了RBAC模型的基本思想,再根据政府部门角色管理的特点,将部门这一概念引入RBAC思想中,并用形式化方法
会议
权限管理
电子政务
访问控制
角色管理
番茄红素的抗大鼠脑缺血活性及线粒体保护作用
目的:考察番茄红素的抗大鼠脑缺血活性,探讨其线粒体作用机制。方法:100只雄性Wistar大鼠随机分为假手术组、模型组、番茄红素低、中、高剂量组(50,100和200 mg.kg-1),各组均
期刊
番茄红素
脑
缺血再灌注
线粒体膜电位
呼吸链复合酶IV
替比培南匹伏酯侧链的合成
目的:合成替比培南匹伏酯侧链1-(4,5-二氢-2-噻唑啉基)-3-巯基吖丁啶盐酸盐。方法:以2-甲硫基-2-噻唑啉为原料,经与3-羟基吖丁啶盐酸盐,甲烷磺酰氯,硫代乙酸钾以及水解4步反
期刊
替比培南匹伏酯
1-(4
5-二氢-2-噻唑啉基)-3-巯基吖丁啶盐酸盐
合成
JXTA协议下汇聚对等体自组织机制研究
本文对JXTA网络汇聚对等体数目不受控制问题进行了研究,提出了汇聚对等体自组织机制,使一定区域内汇聚对等体数目经过一段时间达到平衡状态,保证了网络查询效率。
会议
协议
对等体
自组织
组织机制
网络
平衡状态
控制问题
查询效率
区域
内汇
面向内容检索的纹理图像分割
稳健有效的图像自动分割是面向图像检索中的一个重要问题,适应内容检索的需要,提出了一种通过提取纹理特征,采用特征聚类的分割新算法.该算法提取纹理的一致性和反差性等特征
会议
图像检索
纹理特征
最大期望值法
重叠区域分割法
图像分割
内容检索
与本文相关的学术论文