全部 标题 作者 关键词 摘要
, PP. 11-11
Full-Text Cite this paper Add to My Lib
逻辑编程是自动化论证工作的一种最为有效的手段,这种方法是用计算机解决需要论证的问题。为了达到这一目的而设计的计算机语言PROLOG和LOGLISP,现在已用于选材、合金的互换、疲劳数据评估以及研究记录等工作。近年来,由于结构材料基础知识的数据MATISS己经问世,所以利用这些知识库研制失效分析的冷家系统工作已扒起普遍的重视。
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133