论文部分内容阅读
本文对逻辑程序设计语言G(o)del中等词的实现进行了研究。文章围绕含等词的逻辑程序一致匹配算法、G(o)del语言的类型系统机制、 G(o)del语言含等词的SLDE-反驳消解实现等进行了论述。
逻辑程序设计语言G(o)del中等词的研究及实现简报
【摘 要】
：
本文对逻辑程序设计语言G(o)del中等词的实现进行了研究。文章围绕含等词的逻辑程序一致匹配算法、G(o)del语言的类型系统机制、 G(o)del语言含等词的SLDE-反驳消解实现等进
【机 构】
：
厦门大学计算机科学系,厦门,361005
【出 处】
：
2006年全国理论计算机科学学术年会
【发表日期】
：
2006年期
其他文献
研究了改性RTM氰酸酯树脂体系的流变行为,建立了其在恒温和动态条件下的流变特性方程.研究表明,恒温条件和动态条件下的树脂流变行为符合阿累尼乌斯流变模型,模型计算结果与
目的:建立一种稳定、灵敏的阿霉素靶向抗肿瘤前体化合物Z-GP-Dox的血药浓度检测方法,为进一步系统开展该候选化合物的体内药代动力学研究奠定方法学基础。方法:Z-GP-Dox血浆
目的:对单聚乙二醇(PEG)修饰麦冬多糖(ORP)在正常和冠脉结扎致缺血大鼠药物动力学行为进行比较研究.方法:采用异硫氰酸荧光素标记PEG-ORP修饰物,大鼠尾静脉注射给药后采用高
MDA将应用模型划分成与平台无关的模型(PIM)和与平台有关的模型(PSM),并定义了PIM和PSM之间的4种映射关系.该文主要对PIM到PIM之间的映射进行了研究,将用UML描述的类图自动转
英国的报纸给印度起了个很美丽的名字,叫做「英国皇冠上的一颗明珠」.事实上,英帝国主义的其他殖民地或半殖民地没有一个像幅员广大人口达三万万五千万的印度对牠这未有价值
随着电子政务的不断发展,权限管理成为一个日益突出的问题.本文首先介绍了RBAC模型的基本思想,再根据政府部门角色管理的特点,将部门这一概念引入RBAC思想中,并用形式化方法
目的:考察番茄红素的抗大鼠脑缺血活性,探讨其线粒体作用机制。方法:100只雄性Wistar大鼠随机分为假手术组、模型组、番茄红素低、中、高剂量组(50,100和200 mg.kg-1),各组均
目的:合成替比培南匹伏酯侧链1-(4,5-二氢-2-噻唑啉基)-3-巯基吖丁啶盐酸盐。方法:以2-甲硫基-2-噻唑啉为原料,经与3-羟基吖丁啶盐酸盐,甲烷磺酰氯,硫代乙酸钾以及水解4步反
本文对JXTA网络汇聚对等体数目不受控制问题进行了研究，提出了汇聚对等体自组织机制，使一定区域内汇聚对等体数目经过一段时间达到平衡状态，保证了网络查询效率。