论文部分内容阅读
该文定义了一种多论域逻辑演算语言—子目标演绎语言SDL。它是古典一阶语言的一个变型。文中以SDL语言作为描述抽象数据结构及程序规范、设计程序、验证程序的形式化系统。说明了利用这种系统实现Prolog型程序自动设计的方法并讨论了与此有关的语义学问题。（本刊录）
逻辑编程方法的模型论
【摘 要】
：
该文定义了一种多论域逻辑演算语言—子目标演绎语言SDL。它是古典一阶语言的一个变型。文中以SDL语言作为描述抽象数据结构及程序规范、设计程序、验证程序的形式化系统。说
【机 构】
：
北京航空学院
【出 处】
：
中国数学会计算机科学学术会
【发表日期】
：
1984年期
其他文献
该文着重介绍两年内在冶金过程模型实验研究中所开发的微机自动控制在线测量和实时处理技术及其应用结果。它促进了实验室自动化，节省了人力，缩短了实验周期，并能高速而准确地取
该文应用概率统计知识，提出了隧道混凝土衬砌抗裂检算的概率统计法。该法既考虑了混凝土抗拉强度，又考虑了混凝土的抗压强度，较好地从混凝土衬砌的材料特性上反映了其抗裂性态。
该文介绍了复合控制及模型参考自适应复合控制的基本原理及其构成。并以一实际系统为例，讨论了模型参考自适应在复全控制系统中的应用。详细讨论了模型参考自适应律的设计。文
【摘要】无论是在工业生产或交通运输服务等方面，电机的应用都起着至关重要的动力转换和传输功能，积极的进行相关产品性能的提升和做好现有产品的应用管理对行业发展有着深远的影响，本文在简单介绍电机应用管理的基础上，就其使用过程中和日常维护中常见的故障进行了分析，并就相关的维修和养护方法做了讨论。 【关键词】电机 应用管理 维修方法 【中图分类号】TM30 【文献标识码】A 【文章编号】2095-308