论文部分内容阅读
本文介绍了一个基于推理方法的逻辑分析专家系统LAP(Logic Analysis expert system in Prolog)。文中详细介绍了LAP系统的功能、系统结构、逻辑电路的知识表述方法、描述语言和分析实例等。
逻辑分析专家系统LAP
【摘 要】
：
本文介绍了一个基于推理方法的逻辑分析专家系统LAP(Logic Analysis expert system in Prolog)。文中详细介绍了LAP系统的功能、系统结构、逻辑电路的知识表述方法、描述语言
【机 构】
：
复旦大学电子工程系,复旦大学电子工程系
【出 处】
：
计算机学报
【发表日期】
：
1989年6期
【基金项目】
：
国家自然科学基金
其他文献
作为CAD/CAM/Robotics一体化系统的一个组成部分,机器人图形模拟系统的通用性是在构造系统时必须解决的问题。本文引入了一个迭代型的算法来解决机器人运动学模拟系统的通用性问题。使用此算法,构造了一个通用的工业机器人运动学图形模拟系统,该系统能建立起由多台具有不同结构的机器人组成的工作现场的模型,并可对其中的机器人进行示教编程。机器人的形态和被编程的动作都可以用三维图形的形式显示在图形终端上
RTSS是一个实时系统性能模拟工具,用于分析预测实时系统中最为重要的时间相关类性能指标.它支持模型说明,自动实现模拟过程以降低模拟系统实现代价.本文介绍RTSS所基于的性能
我们考虑具有优先代表资格的NP完全问题——析取范式的永真性判定问题。本文从全局性构造的角度对它作了某种分析,得出如下结果:在由n个确定的命题变元所可能构成的一切析取
在任何领域，对于情况的详细分析、比较及决策而言，可靠的数据都是必要的。许多年前，瓷砖是以重量为计的，之后开始以平方米计算，而这也是现在普遍接受的方法。