格拉芙，T。;Van Hentenryck，P。;Pradelles-Lasserre，C。;齐默尔，L。 约束逻辑编程中混合电路的仿真。 （英语） Zbl 0728.68144号 计算。数学。申请。 20，编号9-10，45-56（1990）. 小结：本文介绍了LOGISIM，这是一个用于模拟包含机电、电液、液压机械和数字控制设备的混合电路的时间行为的CAd工具。逻辑主义结合了定性和定量推理的优点，在定量（物理值）推理的同时，对电路行为进行了高级描述（离散状态）。此外，LOGISIM中的设备模型遵循提出的特定描述方法，以避免在仿真中引入人工计算复杂性。LOGISIM在约束逻辑编程语言CHIP中完全实现。LOGISI M中使用的CHIP约束求解技术，即有理数上线性约束的增量决策过程、域变量的一致性技术和条件推理，都是有效解决问题所必需的。在ELSA项目中，LOGISIM已成功应用于航空航天工业的实际工业电路，并清楚地展示了这种工具支持这些电路设计过程的潜力。 引用于6文件 MSC公司： 68单位99 计算方法和应用 68单位07 计算机辅助设计的计算机科学方面 关键词：混合电路;约束逻辑程序设计 软件：埃尔莎;炸薯条 PDF格式BibTeX公司 XML格式引用 \textit{T.Graf}等人，计算。数学。申请。20，编号9-10，45-56（1990；Zbl 0728.68144） 全文： 内政部 参考文献： [1] 格拉芙，T。；Van Hentenryck，P。；普拉代尔斯，C。；Zimmer，L.，《约束逻辑编程中混合电路的模拟》，（国际人工智能联合会（1989）），密歇根州底特律·Zbl 0728.68144号 [2] Nagel，L.W。；Pederson，D.O.，《以集成电路为重点的模拟程序》（第16届中西部交响乐团电路理论会议录（1973）），加拿大滑铁卢 [3] Pradelles-Lasserre，C。；Ruhla，J。；Zimmer，L.，《模拟模块电路模拟系统规范》，Rapport interne，ELSA项目，AMD-BA（1987），法国圣云 [4] Dincbas，M。；Van Hentenryck，P。；Simonis，H。；阿贡，A。；格拉芙，T。；Berthier，F.，约束逻辑编程语言CHIP，（第五届国际Conf.Generation Computer Systems会议记录（1988）），日本东京·Zbl 0800.68287号 [5] Van Hentenryck，P。；Dincbas，M.，逻辑编程中的正向检查，（第四届国际会议逻辑编程（1987）），229-256，澳大利亚墨尔本 [6] Van Hentenryck，P.，逻辑编程中一致性技术的框架，IJCAI-87（1987），意大利米兰 [7] Van Hentenryck，P.，（逻辑编程中的约束满足（1989），麻省理工学院出版社：麻省理学院出版社剑桥，马萨诸塞州） [8] 德克莱尔，J。；Brown，J.S.，《基于汇流的定性物理学》，Artif。智力。，24, 7-84 (1984) [9] 北卡罗来纳州海因策。；Michaylov，S。；Stuckey，P.J.，CLP（（R））和一些电气工程问题，（第四届国际逻辑编程会议（1987）），澳大利亚墨尔本·Zbl 0800.68293号 [10] Stallman，R.M。；Sussman，G.J.，计算机辅助电路分析系统中的正向推理和依赖定向回溯，人工制品。智力。，9, 135-196 (1977) ·Zbl 0372.94024号 [11] Stallman，R.M。；Sussman，G.J.，（《电路问题解决》（1979），麻省理工学院出版社：麻萨诸塞州剑桥），31-91 [12] 德索，C.A。；Kuh，E.S.，《基本电路理论》（电子工程系列（1969年），McGraw-Hill:McGraw-Hill纽约） [13] 格雷，体育。；Searle，C.L.，（《电子原理：物理、模型和电路》（1969年），威利出版社：纽约威利出版社） [14] Davis，E.，带区间标签的约束传播，Artif。智力。，32, 281-331 (1987) ·Zbl 0642.68176号 [15] Mackworth，A.K.，《关系网络的一致性》，AI Jl，8，1，99-118（1977）·Zbl 0341.68061号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。