公开(公告)号：US20050187905A1

公开(公告)日：2005-08-25

申请号：US10773351

申请日：2004-02-05

申请人： Heidi Dixon ,  Matthew Ginsberg ,  David Hofer ,  Eugene Luks

发明人： Heidi Dixon ,  Matthew Ginsberg ,  David Hofer ,  Eugene Luks

IPC分类号： G06F7/00 ,  G06F17/30

CPC分类号： G06F16/24564 ,  G06F16/2452

摘要： Data in a database describe an application domain such as a satisfiability problem. The data are represented in a manner that expresses the structure inherent in the data and one such representation uses group theory and represents the data as one or more “augmented clauses,” where each clause has a pair (c,G) including a database element c and a group G of group elements g acting on it. A query is encoded in a group theory representation and is executed on the group theory representation of the data to identify database elements and associated group elements satisfying the query. If desired, the satisfying database elements are converted from the group theory representation to the native representation of the data.

摘要翻译： 数据库中的数据描述应用程序域，如可满足性问题。 数据以表示数据固有的结构的方式表示，一个这样的表示使用组理论，并将数据表示为一个或多个“扩充子句”，其中每个子句具有包括数据库元素的对（c，G） c和组元素g作用于其上的组G. 查询以组理论表示形式进行编码，并且对数据的组理论表示执行，以识别满足查询的数据库元素和关联组元素。 如果需要，令人满意的数据库元素从组理论表示转换为数据的本机表示。

公开(公告)号：US20050177558A1

公开(公告)日：2005-08-11

申请号：US10989982

申请日：2004-11-15

申请人： Heidi Dixon ,  Matthew Ginsberg ,  David Hofer ,  Eugene Luks

发明人： Heidi Dixon ,  Matthew Ginsberg ,  David Hofer ,  Eugene Luks

IPC分类号： G06F7/00 ,  G06F17/30

CPC分类号： G06F17/30427 ,  G06F17/30507 ,  Y10S707/99934 ,  Y10S707/99935

摘要： Data in a database describe an application domain such as a satisfiability problem. The data are represented in a manner that expresses the structure inherent in the data and one such representation uses group theory and represents the data as one or more “augmented clauses,” where each clause has a pair (c, G) including a database element c and a group G of group elements g acting on it. A query is encoded in a group theory representation and is executed on the group theory representation of the data to identify database elements and associated group elements satisfying the query. If desired, the satisfying database elements are converted from the group theory representation to the native representation of the data.

摘要翻译： 数据库中的数据描述应用程序域，如可满足性问题。 数据以表示数据固有的结构的方式表示，一个这样的表示使用组理论，并将数据表示为一个或多个“扩充子句”，其中每个子句具有包括数据库元素的对（c，G） c和组元素g作用于其上的组G. 查询以组理论表示形式进行编码，并且对数据的组理论表示执行，以识别满足查询的数据库元素和关联组元素。 如果需要，令人满意的数据库元素从组理论表示转换为数据的本机表示。

公开(公告)号：US20050065826A1

公开(公告)日：2005-03-24

申请号：US10014919

申请日：2001-12-11

申请人： Andrew Baker ,  Matthew Ginsberg ,  Tristan Smith ,  Daniel Keith ,  Andrew Parkes ,  Bryan Smith

发明人： Andrew Baker ,  Matthew Ginsberg ,  Tristan Smith ,  Daniel Keith ,  Andrew Parkes ,  Bryan Smith

IPC分类号： G06Q10/00 ,  G06F17/60

CPC分类号： G06Q10/10 ,  G06Q10/063 ,  G06Q10/0631 ,  G06Q10/06311 ,  G06Q20/102

摘要： Increased efficiency and lower cost job scheduling is provided by a system and method that optimizes for cost instead of makespan, and minimizes fluctuations in resource utilization. A schedule is constructed using a workflow scheduling system that includes a load leveler, a cost minimizer, and a manpower planner. The load leveler minimizes makespan, subject to resource limits, and then lowers the resource limits, repeating the process in order to create a flatter schedule. The cost minimizer generates an initial solution, and then incrementally improves it, using the manpower planner to evaluate the different possible solutions. The manpower planner calculates, for a given schedule, the optimal hire/fire decisions to minimize total cost.

摘要翻译： 通过优化成本而不是制造的系统和方法来提高效率和降低成本的作业调度，并且最小化资源利用的波动。 使用包括负载均衡器，成本最小化器和人力计划器的工作流调度系统构建调度。 负载均衡器可以最大程度地减少制造成本，但需要资源限制，然后降低资源限制，重复此过程以创建更平坦的计划。 成本最小化器生成初始解决方案，然后逐步改进，使用人力策划人员评估不同的可能解决方案。 人力规划师计算给定的时间表，以最佳的租用/消防决定，以最小化总成本。