【摘 要】
：
逻辑编程是自动化论证工作的一种最为有效的手段,这种方法是用计算机解决需要论证的问题。为了达到这一目的而设计的计算机语言 PROLOG 和 LOGLISP,现在已用于选材、合金的
论文部分内容阅读
逻辑编程是自动化论证工作的一种最为有效的手段,这种方法是用计算机解决需要论证的问题。为了达到这一目的而设计的计算机语言 PROLOG 和 LOGLISP,现在已用于选材、合金的互换、疲劳数据评估以及研究记录等工作。近年来,由于结构材料基础知识的数据
Logic programming is one of the most effective means of automated argumentation, a method that uses computers to solve problems that need argumentation. The computer languages PROLOG and LOGLISP, designed for this purpose, are now used for material selection, alloy interchangeability, fatigue data evaluation and research recording. In recent years, due to the basic knowledge of structural materials data
其他文献
由中国自动化学会控制理论专业委员会与国防科技大学联合召开的一九八七年全国控制理论及其应用年会于一九八七年九月十一日至十五日在湖南省慈利县索溪峪举行,会议由中国自
本文提出了应用TP801 单板机实现时序控制器的新方法,阐述了实时时钟的建立、时刻标志字的设置以及应软件编制的方法和技巧等共性问题。所介绍的设计思想和系统设计中的一些
DPG型数字测图仪是武汉测绘科技大学研制的一种多功能的解析摄影测量仪器,能进行航空摄影测量,地面摄影测量、近景摄影测量及地籍测量。本文介绍了仪器的设计方案以及光机、
好奇：博士，为什么天上有各种不同颜色的云呢？它们究竟是怎么形成的呢？ 博士：这是因为我们所见到的各种云有厚有薄，厚的云朵可达几公里，薄的云朵只有几十米。而且云朵还有很多种呢。 好奇：这个我知道！满布天空的叫做层状云，孤立的云叫做积状云，还有波状云等许多种。 博士：那些黑黑的云一般来说是很厚的层状云或者积雨云，这是因为云层太厚，太阳和月亮的光线很难透射过来；那些灰色的是层状云和波状云，因为
本文介绍了SMOEG化处生产线用一位机作为控制中心时,电气线路的设计,控制程序的编制及抗干扰等问题。
This article describes the SMOEG of the production line with a ma
TEK 公司新近推出了一种新的数字示波器,这种示波器在实现高度数字化之外,还增加了人与计算机的接口特性。TEK2430A 数字示波器进一步把本机测试引入了示波器。它缩短了软件
针对以往一些仲裁量子签名(AQS)方案无法抵抗接收者的已知明文攻击的缺点,提出了一种高效抗伪造的AQS方案.在新方案中,签名者将每个EPR(Einstein-Padolsky-Rosen)粒子对中的2
利用微机对飞机外胎立体仓库进行管理和控制,使仓库在管理和控制上完全实现了自动化。文中着重论述了微机管理和控制系统的控制原理和控制方法,对接口电路和控制软件的设计作
座舱型机械手的双拉杆控制结构可以保证车辆自由运动并能返回原地。因此说它是机械手(载人室外行走机械手)行走的基础,而成为最有用的补充机械(参见图)。此装置把来自汽油发