论文部分内容阅读
本文分析了Prolog语言的表递归函数结构和模型,并计论了该模型在递归程序设计中的应用。
Prolog语言的递归程序设计
【摘 要】
：
本文分析了Prolog语言的表递归函数结构和模型,并计论了该模型在递归程序设计中的应用。
【机 构】
：
武汉测绘科技大学430070
【出 处】
：
微电子学与计算机
【发表日期】
：
1993年2期
其他文献
本文描述一个电路版图的自动设计系统。它将具有高级设计描述的模块分解成规模较小，易处理的单元，通过对单元进行平面规划，合理安置和多次转换后，自动地产生这些单元版图的ＣＩＦ文件。
介绍一种由80C31单片机组成的有效、廉价的拉曼光谱数据记录装置,给出了系统设计方法及实用电路.更多还原
面向对象的方法是９０年代软件开发的核心技术，专家系统是人工智能技术最热门的课题，这两门技术的结合无凝将大大促进人工智能的发展。本文介绍了一个面向对象的工程专家系统的结构
采用水热法成功制备了Er^3＋/Yb^3＋/共掺杂的NaYF构,而四方相LiYF4微米晶体则为八面体结构.在近红外光980 nm激发下,Na YF4：Yb^3＋//Er^3＋/和Li YF4：Yb^3＋//Er^3＋/微米晶体均展现出很强
随着纳米技术在微电子、生物医药、能源等领域的快速发展,如何在纳米尺度构筑性能稳定、性质均一的多功能纳米器件已成为纳米科技领域最具有挑战性的前沿技术之一.具有广泛应用前景的高分子薄膜的制备、性质以及应用研究一直以来都受到学术界与工业界的高度关注对高分子薄膜的内部结构、表面形貌、机械性能、电化学性能等的检测一直是高分子领域的主要研究热点之一.本文综述了高分子薄膜的测试方法,包括原子力显微镜、电子显微镜
本文以ＡＨＰ法中专家判断矩阵一致性调整为出发点，提出了一种度量专家判断意见的可信性的方法，其主要思想是计算调整后的判断矩阵中包含原专家判断的信息量，并以此提出了如何度量更一
从中药丹参(Salvia miltiorrhiza Bunge)的乙醚萃取物中得到一个新的结晶物质,呈暗红色多面体状。通过光谱分析,推测是由一对同分异构体构成的。在此基础上,用苯、乙醇及其
以溶胶凝胶法合成的高纯Li_（1.4）Al_（0.4）Ti_（1.6）（PO_4）_3（LATP）纳米晶体粉末为原料,通过流延法成膜,在950℃下煅烧5 h合成LATP固态电解质片;对其进行环氧树脂改性后,能量色散X射线光
多孔材料内部含有大量孔隙，孔隙一旦塌陷就回归为密实物质．但孔隙塌陷沉积的能量将提升基体材料的温度，导致热力学状态量发生变化．尤其是在冲击波压缩下，多孔材料的温升很高，温度变
本文介绍一种主要用于描述有限状态机（ＦＳＭ）动作行为及功能设计的硬件描述ｃｆｄｌ是基于对ＦＳＭ行为特性的研究分析，从动作的循环连续有序特点入手，研制开发的一个能抽旬描述ＦＳＭ动作行为和功能的类Ｃ硬