公开(公告)号：US07565642B2

公开(公告)日：2009-07-21

申请号：US10639674

申请日：2003-08-11

申请人： Eric A. Moore ,  Pedram Abrari

发明人： Eric A. Moore ,  Pedram Abrari

IPC分类号： G06F9/44 ,  G06F17/00

CPC分类号： G06N5/047

摘要： Methods and apparatus, including computer program products, for inference processing in a fact-based business automation system, including receiving a rule set as a single package, generating a dependency graph for the rule set, and generating a sequence of processing logic for optimal processing of inputted facts.

摘要翻译： 包括计算机程序产品在内的基于事实的业务自动化系统中的推理处理的方法和装置，包括接收规则集作为单个包，生成用于规则集的依赖图，以及生成用于最佳处理的处理逻辑序列 的输入事实。

公开(公告)号：US5410496A

公开(公告)日：1995-04-25

申请号：US985479

申请日：1992-12-02

申请人： Craig Bolon ,  Mahesh Kanumury ,  Walid T. Keyrouz ,  Glenn A. Kramer ,  Eric A. Moore ,  Jahir A. Pabon

发明人： Craig Bolon ,  Mahesh Kanumury ,  Walid T. Keyrouz ,  Glenn A. Kramer ,  Eric A. Moore ,  Jahir A. Pabon

IPC分类号： G02B7/00 ,  G02B7/182 ,  G06F17/50 ,  G06F15/20 ,  G06F15/60

CPC分类号： G02B7/00 ,  G02B7/1821 ,  G06F17/5086 ,  G06F17/509

摘要： A method, useful in computer-aided design, for finding configurations of collections of geometric elements representing shapes of physical objects that satisfy a set of geometric constraints, when these constraints relate to topological properties of the geometric elements. In particular, the invention relates to a method that classifies the geometric elements in terms of degrees of freedom, categorizes topological properties in terms of biases, and synthesizes a solution by progressively reducing the total degrees of freedom in the system.

摘要翻译： 一种在计算机辅助设计中有用的方法，用于当这些约束与几何元素的拓扑特性相关时，查找表示满足一组几何约束的物理对象的形状的几何元素的集合的配置。 特别地，本发明涉及一种根据自由度对几何元素进行分类的方法，根据偏差对拓扑特性进行分类，并通过逐渐减小系统中的总自由度来合成解决方案。