6月2日 swMATH ID: 7216 软件作者： 艾伦·海登；格雷格·纳尔逊 描述： 基于约束的插图画家的基础。演讲描述了Juno-2的一些正式基础，由Allan Heydon和Greg Nelson实现的基于约束的图形插图画家，可在网上以源代码的形式获得。par Juno-2的第一个思想是基于约束的编程是从普通命令式编程中获得的，不是通过添加功能，而是通过减去限制：特别是通过删除将奇迹排除在Edsger W.Dijkstra的守护命令计算之外。删除该定律会引入“部分命令”（有时称为“奇迹”），当它与传统的局部变量引入（“VAR语句”）结合时，会创建一个高度原则化的约束求解原语，该原语与语言的常规命令功能完美正交。第二个想法是，过去二十年在自动理论证明社区中广泛使用的“决策过程组合技术”也可以用于将两个逻辑理论的约束求解器组合成一个用于组合理论的约束解算器。Juno-2利用这一思想将配对函数理论的简单求解器（仅相当于统一闭包的实现）与实数理论的复杂数值求解器相结合，以生成强大的约束求解器，这有助于生成准确的技术插图和动画。如果天气允许的话，这次演讲将包括一场“6月2日”的演示。 主页： http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.37.7482 相关软件： 天蓝色；MMP/几何仪；MEDLAR公司；基因科普；隔离；QEPCAD公司；克罗内克；LT/GEOL公司；几何画板；QOCA公司 引用于： 11文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 基于约束的插图画家的基础。 Zbl 1057.68680号格雷格·纳尔逊 2002 全部的 前5名24位作者引用 5 高晓山 三 姜昆 2 黄，雷东 2 朱昌才 1 安东尼·阿什布鲁克 1 艾伦·H·伯宁。 1 周尚卿 1 Jean-François Dufourd 1 罗伯特·B·费希尔。 1 比约恩弗里曼-本森 1 葛建新 1 蒂莫西·霍尔。 1 浩史细部 1 Tomihisa Kamada 1 G.A.克莱默。 1 林强（Lin，Qiang） 1 帕斯卡·马蒂斯 1 松冈佐治 1 Ken Miyashita 1 格雷格·纳尔逊 1 克雷格·罗伯逊 1 帕斯卡·施雷克 1 高桥，Shin 1 努费尔·维尔吉 全部的 前5名引用于6个系列 2 CAD。计算机辅助设计 2 约束条件 1 人工智能 1 人工智能研究杂志 1 机械与机器理论 1 中国科学。F系列 在4个字段中引用 9 计算机科学（68至XX） 2 数值分析（65-XX） 1 几何图形（51至XX） 1 粒子和系统力学（70-XX） 按年份列出的引文