论文部分内容阅读
在论述了过程性和陈述性程序设计语言的不同特点之后,本文提出了一种新型的程序设计语言P&DPL。该语言具有过程性语言数据结构丰富、程序结构完备,又具有陈述性语言在表达问题求解知识上逻辑清晰、直观以及良好的可修改性的特点。它将为智能程序设计提供表达能力强,描述方便的语言工具。
一个新型智能程序设计语言
【摘 要】
：
在论述了过程性和陈述性程序设计语言的不同特点之后,本文提出了一种新型的程序设计语言P&DPL。该语言具有过程性语言数据结构丰富、程序结构完备,又具有陈述性语言在表达问
【机 构】
：
山东工业大学电子计算机工程系
【出 处】
：
山东工业大学学报
【发表日期】
：
1991年2期
其他文献
<正> 在机械设计中,轮齿的有限元计算模型通常简化为如图1所示的单个或三个轮齿处理。例如,对于直齿圆柱齿轮按平面应力或平面应变问题处理,对斜齿圆柱齿轮、人字齿轮和圆锥
介绍一种感应励磁无刷三相凸极同步发电机的基本原理,着重分析其转子电流的理论解,并讨论漏磁对转子电流的影响。还给出一台3kW样机的转子电流实测波形,实测结果与理论解相符
氧化锌压敏电阻器漏电流宏观上与电压、温度有关,实质在于电阻体的微观结构。显微观察和X射线衍射分析表明,晶粒大小分布均匀,富铋相广布且其主要组成为γ-Bi_2O_3和α-Bi_2O
<正> 模拟乘(除)器是实现两个模拟量相乘(除)的电子器件,目前不仅应用于模拟运算方面,而且已扩展到无线电通讯、电视广播、测量仪表、控制系统等领域。在模拟除法器中,用得比
介绍一个用PROLOG技术构造的定理证明系统。它以逻辑电路板仪器的描述、实验数据及假设为基础,实现对逻辑电路板(仪器)的故障自动诊断,证明某一元器件是否正常。
用毕奥-萨伐定律的磁感应强度B所表达的洛仑兹力的磁分量形式,人们称为毕奥-萨伐-洛仑兹定律（Biot-Savart-LorentzLaw）。自19世纪以来,人们对安培定律和毕奥-萨伐-洛仑兹定律的
<正> 1 问题的提出本YFF280M-6发电机是为某风力发电装置研制的,该装置装有二台三相异步发电机,接电网运行:高风速时55kW发电机运行,低风速时11kW发电机运行。按电动机状态设
<正> 证明拉格朗日定理和柯西定理都是引进一个辅助函数,借助罗尔定理来实现的。然而,辅助函数怎样引入显得自然,值得研究。本文提出从定理结论出发,用逆推的方法,分析找出所
通过X-射线衍射、透射电镜（TEM）、扫描电镜（SEM）和电子探针（EPMA）,等测试技术分析和讨论了铝对GL渗铝铜管焊接时Cr-Ni奥氏体焊缝金属组织和性能的影响。结果表明:GL渗铝钢渗铝层主
借助光学及电子显微镜研究了等温淬火可锻铸铁中上贝氏体的形态和相变特征。结果表明,可锻铸铁中的上贝氏体转变可分为两个阶段:转变初期形成无碳化物贝氏体;转变后期富碳的