论文部分内容阅读
ＥＬＮＦ演算是我们在ＬＮＦ演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言ＲＦＵＮＬＯＧ的基础，本文介绍ＥＬＮＦ演算的解释实现技术，包括数据结构，系统结构以及各个模块的设计思想，最后给出了在此系统下，几个典型程序的运行时间。
ELNF演算的解释技术
【摘 要】
：
ＥＬＮＦ演算是我们在ＬＮＦ演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言ＲＦＵＮＬＯＧ的基础，本文介绍ＥＬＮＦ演算的解释实现技术，包括数据结构，系统结构以及各
【机 构】
：
华中理工大学计算机系
【出 处】
：
软件学报
【发表日期】
：
1994年3期
【基金项目】
：
国家“七·五”期间基础研究项目
其他文献
延长石油厂的接收与复产是中共对石油工业的认知从模糊到清晰的过程。1935年陕北红军解放延长,接收了陕北油矿勘探处和延长石油官厂,改称为延长石油厂,拉开了中共发展石油工
α毒素（Hla）作为重要的毒力因子,在金黄色葡萄球菌感染宿主的过程中具有破坏宿主细胞免疫屏障的效应。通过基因工程手段对金黄色葡萄球菌Hla基因进行克隆与原核表达,分离纯化得
中职学前教育学生虽学历比高职学前教育和本科学前教育要低，在葫芦岛的幼儿教师中比例却很大，承担着培育祖国花朵的重任。因此，作为葫芦岛市学前教育专业的龙头学校，研究出适合本
随着社会经济的发展,人们对于精神生活层面的要求越来越高。声乐作为一门艺术学科,能够给人带来美的享受和心灵上的陶冶。然而传统的声乐教学方式古板单调,老师仅仅陶醉于将
教学活动展开的主要场所是课堂，不管是过去、现在，还是将来，课堂教学都是我们培养学生综合能力的主要途径。课堂教学效率就是师生在单位时间内完成的教学任务，即投入的时间、精力
在城市轨道交通事业不断发展的背景下,地铁盾构管片施工工艺愈发先进,按照生产方式的不同,盾构管片生产工艺分为传统生产工艺和自动化生产工艺。二者相比,自动化生产工艺优势
Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算对目前软件系统的体系结构产生了很重要的影响，特别是在数据库领域，它几乎已被所有的面向对象数据库无一例外地所选择。本文综述ＯＯＤＢ的Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ体系结构，重点就页服务器结构及其３个变种，及
多信号模型是一种简单而有效的建模表示方法，用于系统测试性分析、故障诊断等；在产品结构的基础上以分层有向图表示信号流向和各组成单元的连接关系，通过定义组成单元、信号、故
地铁站临近及下穿高架桥工程基坑较深,在工程设计和施工中,需要重复考虑地下水对周围岩土及地下结构造成的影响,并结合工程特性,切实做好基坑降水和排水,保证整个工程都能在
移动互联网时代,基于移动学习平台的混合式教学得到大部分高校推广应用。本研究发挥移动学习平台的优势,分析当前混合式教学与传统课堂面临的困境,在前人研究基础上,构建了移