论文部分内容阅读
本文首先讨论了引入集合的意义，然后建立了一种基于集合基贩归约演算，并且对集合项的存储和含集合符号的逻辑数据语言的计算进行了一些探讨。本文所介绍的方法通过规则编译时对存储衣序集的改写，使得对集合匹配通过一般函数的匹配算法就可以完成，提高了计算的效率。
逻辑程序语言中的集合
【摘 要】
：
本文首先讨论了引入集合的意义，然后建立了一种基于集合基贩归约演算，并且对集合项的存储和含集合符号的逻辑数据语言的计算进行了一些探讨。本文所介绍的方法通过规则编译时对
【机 构】
：
东南大学计算机系
【出 处】
：
计算机研究与发展
【发表日期】
：
1995年4期
其他文献
导出了大型空间刚架结构系统变量相关的计算公式；根据大型空间刚架结构系统层次性特点，提出了系统串联组合分析法，并进行了比较计算，验证了方法的有效性和可靠性。
利用血卟啉衍生物中的某些成份在肿瘤组织中选择性聚积的生化特性及其光敏的自然特性,能进行肿瘤的光动力学定位和光动力学治疗。但血卟啉衍生物的成份及其体内代谢具有一定
以湖北省大冶市为例，运用“压力-状态-响应”模型构建土地生态安全指标体系，熵权法确定指标权重，PSR模型与物元方法相结合评价资源枯竭型城市土地生态安全现状和发展趋势。结果
采用金相显微镜和Ｘ射线衍射相结合的方法，观察与分析了Ｌｅｗｍｅｎｔ５５铸造合金的金相组织，并测试了合金的均匀腐蚀、日间腐蚀、点蚀和电化学腐蚀性能，研究了不同热处理制度对该合金铁腐蚀行为的
本文综述了潘生丁通过抑制核苷转运而阻断核苷补救途径、影响抗代谢药物的代谢以及增强抗代谢药物抗肿瘤作用研究进展情况,并介绍了潘生丁与抗代谢药联合应用的临床试验效果
第八届国际铸造博览会──ＧＩＦＡ′９４──第四部分模拟技术、特种铸造、检测技术（续）中国机械工程学会铸造分会代表团一、铸造过程的数字模拟与铸造ＣＡＤ１．铸造过程的数字模拟从博览会看出，今天
试验了热处理工艺参数（包括固溶处理温度、时间、冷却方式、时效温度等）及几种微量元素（ＲＥ、Ｐｂ，Ｔｉ，Ｂｉ，Ｓｂ，Ｓｉ）对ＺＡ３３－３合金时效特性的影响；用Ｘ射线衍射仪及能谱分析仪对热处理过程中组织结构的变化进行了分
术前常规肺功能检查对肺癌患者的手术术式选择和术后心肺并发症的估计及防治有着重要的作用。但对处于边界状态的肺功能较差者应结合动脉血气分析、运动负荷试验、同位素肺通
近年导向治疗的研究引人注目,其中利用单克隆抗体携带抗癌药物进行免疫导向治疗占主导地位。但目前仍停留在实验研完阶段。而抗抗体(anti-antibody)产生及非特异性吸附成为临