托马斯·格拉芙;帕斯卡·范·亨特利克;克劳迪娜·普拉代尔斯;Laurent Zimmer 约束逻辑编程中混合电路的仿真。 （英语） Zbl 0707.68101号 IJCAI 89，程序。国际会议，密歇根州底特律/美国1989，72-77（1989）。 [关于整个系列，请参见Zbl 0707.68001号.]本文介绍了一种用于模拟包含机电、电液和数字控制设备的混合电路的时间行为的CAD工具LOGISM。LOGISIM结合了定性和定量推理的优势，通过产生电路行为的高级描述（离散状态），同时在定量级别（物理值）进行推理。LOGISIM在约束逻辑编程语言CHIP中完全实现，并使用该语言中可用的约束处理技术：有理数上线性约束的增量决策过程、域变量的一致性技术和条件传播。LOGISIM已成功应用于航空航天工业的实际工业电路（ELSA项目），并证明其具有支持这些电路设计过程的潜力。审核人：N.Curteanu公司 引用于23文件 MSC公司： 68单位07 计算机辅助设计的计算机科学方面 68吨15 定理证明（演绎、解析等）（MSC2010） 68T99型 人工智能 关键词：电路设计;计算机辅助设计;约束逻辑程序设计语言CHIP 引文：Zbl 0707.68001号 PDF格式BibTeX公司 XML格式