会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Depth-first search for target value problems
    • 深度搜索目标值问题
    • US09460053B2
    • 2016-10-04
    • US13483184
    • 2012-05-30
    • Tim SchmidtRong ZhouLukas D. KuhnRobert PriceJohan de Kleer
    • Tim SchmidtRong ZhouLukas D. KuhnRobert PriceJohan de Kleer
    • G06F17/11
    • G06F17/11
    • A model-based control system for controlling a production system is disclosed. The production system provides jobs and objectives to the model-based control system. The model-based control system includes, a planner operative to provide the production system with a plan, the planner generating the plan using a depth-first target value search. The depth-first target value search being configured to generate the plan with a failure probability most closely approximating a target value. Also provided is a system model operative to model the behavior of the production system. Another aspect of the model-based control system is a diagnosis engine operative to estimate failure probabilities for plans and provide diagnostic guidance to the planner. The model-based control system including the planner, the system model and diagnosis engine are implemented via a digital processing device.
    • 公开了一种用于控制生产系统的基于模型的控制系统。 生产系统为基于模型的控制系统提供了工作和目标。 基于模型的控制系统包括:计划器,用于向生产系统提供计划,计划者使用深度优先目标值搜索生成计划。 深度优先目标值搜索被配置为生成具有最接近目标值的故障概率的计划。 还提供了用于对生产系统的行为进行建模的系统模型。 基于模型的控制系统的另一方面是诊断引擎,用于估计计划的故障概率并向计划者提供诊断指导。 包括计划器,系统模型和诊断引擎在内的基于模型的控制系统通过数字处理装置实现。
    • 2. 发明申请
    • DEPTH-FIRST SEARCH FOR TARGET VALUE PROBLEMS
    • 深度搜索目标价值问题
    • US20120246193A1
    • 2012-09-27
    • US13483184
    • 2012-05-30
    • Tim SchmidtRong ZhouLukas D. KuhnRobert PriceJohan de Kleer
    • Tim SchmidtRong ZhouLukas D. KuhnRobert PriceJohan de Kleer
    • G06F17/30G06F19/00
    • G06F17/11
    • A method for determining a target path for a model-based control system. The model-based control system includes a directed acyclic graph, where the directed acyclic graph includes a plurality of vertices interconnected by a plurality of edges. The method includes the steps of performing a depth-first search of the directed acyclic graph for the target path. The depth-first search is operative to return an explicit solution or an implicit solution, wherein the implicit solution is determined using a heuristic. The method further includes determining if the depth-first search returned an explicit solution or an implicit solution, and if the depth-first search returned an implicit solution, constructing the target path from the implicit solution. The method may further include constructing a pattern database.
    • 一种用于确定基于模型的控制系统的目标路径的方法。 基于模型的控制系统包括有向非循环图,其中有向非循环图包括由多个边缘互连的多个顶点。 该方法包括以下步骤:针对目标路径执行有向无环图的深度优先搜索。 深度优先搜索可操作以返回显式解或隐式解,其中使用启发式确定隐式解。 该方法还包括确定深度优先搜索是否返回显式解或隐式解,以及如果深度优先搜索返回隐式解,则从隐式解构成目标路径。 该方法还可以包括构造模式数据库。
    • 4. 发明授权
    • Depth-first search for target value problems
    • 深度搜索目标值问题
    • US08364629B2
    • 2013-01-29
    • US12497326
    • 2009-07-02
    • Tim SchmidtRong ZhouLukas D. KuhnRobert PriceJohan de Kleer
    • Tim SchmidtRong ZhouLukas D. KuhnRobert PriceJohan de Kleer
    • G06F17/00G06N7/00G06N7/08
    • G06F17/11
    • A method for determining a target path for a model-based control system. The model-based control system includes a directed acyclic graph, where the directed acyclic graph includes a plurality of vertices interconnected by a plurality of edges. The method includes the steps of performing a depth-first search of the directed acyclic graph for the target path. The depth-first search is operative to return an explicit solution or an implicit solution, wherein the implicit solution is determined using a heuristic. The method further includes determining if the depth-first search returned an explicit solution or an implicit solution, and if the depth-first search returned an implicit solution, constructing the target path from the implicit solution. The method may further include constructing a pattern database.
    • 一种用于确定基于模型的控制系统的目标路径的方法。 基于模型的控制系统包括有向非循环图,其中有向非循环图包括由多个边缘互连的多个顶点。 该方法包括以下步骤:针对目标路径执行有向无环图的深度优先搜索。 深度优先搜索可操作以返回显式解或隐式解,其中使用启发式确定隐式解。 该方法还包括确定深度优先搜索是否返回显式解或隐式解,以及如果深度优先搜索返回隐式解,则从隐式解构成目标路径。 该方法还可以包括构造模式数据库。
    • 8. 发明申请
    • Depth-First Search For Target Value Problems
    • 深度优先搜索目标值问题
    • US20110004581A1
    • 2011-01-06
    • US12497326
    • 2009-07-02
    • Tim SchmidtRong ZhouLukas D. KuhnRobert PriceJohan de Kleer
    • Tim SchmidtRong ZhouLukas D. KuhnRobert PriceJohan de Kleer
    • G06N7/04G06F17/30G06N7/02
    • G06F17/11
    • A method for determining a target path for a model-based control system. The model-based control system includes a directed acyclic graph, where the directed acyclic graph includes a plurality of vertices interconnected by a plurality of edges. The method includes the steps of performing a depth-first search of the directed acyclic graph for the target path. The depth-first search is operative to return an explicit solution or an implicit solution, wherein the implicit solution is determined using a heuristic. The method further includes determining if the depth-first search returned an explicit solution or an implicit solution, and if the depth-first search returned an implicit solution, constructing the target path from the implicit solution. The method may further include constructing a pattern database.
    • 一种用于确定基于模型的控制系统的目标路径的方法。 基于模型的控制系统包括有向非循环图,其中有向非循环图包括由多个边缘互连的多个顶点。 该方法包括以下步骤:针对目标路径执行有向无环图的深度优先搜索。 深度优先搜索可操作以返回显式解或隐式解,其中使用启发式确定隐式解。 该方法还包括确定深度优先搜索是否返回显式解或隐式解,以及如果深度优先搜索返回隐式解,则从隐式解构成目标路径。 该方法还可以包括构造模式数据库。
    • 9. 发明申请
    • SYSTEM AND METHOD FOR PARALLEL GRAPH SEARCHING UTILIZING PARALLEL EDGE PARTITIONING
    • 用于平行图搜索并行平行边缘分割的系统和方法
    • US20110313984A1
    • 2011-12-22
    • US12842363
    • 2010-07-23
    • Rong ZhouTim SchmidtMinh Binh DoSerdar Uckun
    • Rong ZhouTim SchmidtMinh Binh DoSerdar Uckun
    • G06F17/30
    • G06N5/003G06N5/02
    • A method and system for performing a graph search, includes constructing an abstract representation of the graph using state-space abstraction. The abstract representation of the graph includes one or more abstract nodes having duplicate detection scopes and one or more abstract edges having operator groups. The duplicate detection scopes of the abstract nodes are partitioned into smaller duplicate detection scopes using edge partitioning. The abstract edges include the smaller duplicate detection scopes. Nodes in the current search layer are expanded using the operator groups of outgoing abstract edges of the abstract nodes the nodes map to. The operator groups associated with abstract edges having disjoint duplicate detection scopes are used to expand the nodes in parallel. Once all the operator groups in the current search layer have been used for node expansion the method progresses to the next search layer.
    • 一种用于执行图形搜索的方法和系统,包括使用状态空间抽象构建图形的抽象表示。 该图的抽象表示包括具有重复检测范围的一个或多个抽象节点和具有操作者组的一个或多个抽象边缘。 使用边缘分割将抽象节点的重复检测范围划分为较小的重复检测范围。 抽象边缘包括较小的重复检测范围。 使用节点映射到的抽象节点的传出抽象边缘的运算符组来扩展当前搜索层中的节点。 与具有不相交重复检测范围的抽象边缘相关联的运算符组用于并行展开节点。 一旦当前搜索层中的所有运算符组已被用于节点扩展,该方法将进行到下一个搜索层。