利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

9 条记录 (耗时 0.034 秒)

    CHECKING RULE AND POLICY REPRESENTATION
    2.
    发明申请
    CHECKING RULE AND POLICY REPRESENTATION 有权
    检查规则和政策陈述

    公开(公告)号：US20090281977A1

    公开(公告)日：2009-11-12

    申请号：US12428294

    申请日：2009-04-22

    申请人： Paul L. Allen ,  Michael W. Anderson ,  David J. Finton ,  Charles T. Kitzmiller

    发明人： Paul L. Allen ,  Michael W. Anderson ,  David J. Finton ,  Charles T. Kitzmiller

    IPC分类号： G06F17/00 ,  G06N5/02

    CPC分类号： G06F21/577 ,  G06Q10/10 ,  H04L63/102

    摘要： A computer-performed method of examining policies for a target system of an enterprise system domain. The policies are represented as policy rules, each rule including a condition having binary operator expression(s), each expression referring to one or more policy attributes. For a pair of expressions, the computer(s) obtain sets of sample values sufficient to represent all values assumable by the policy attribute(s) referred to in the pair. The sample values are combined in a mixed-radix enumeration in which each attribute is represented in a corresponding position of each sample value combination and of the enumeration. Using the enumeration, the computer(s) evaluate each expression of the pair relative to each of the sample value combinations to obtain a truth table. Based on the truth table, a relationship between the pair is detected and the user may be notified as to an anomaly in the rules.

    摘要翻译： 一种用于检查企业系统域目标系统的策略的计算机执行方法。 策略被表示为策略规则，每个规则包括具有二进制运算符表达式的条件，每个表达式引用一个或多个策略属性。 对于一对表达式，计算机获得足以表示由该对中所引用的策略属性所假定的所有值的样本值集合。 样本值以混合基数枚举组合，其中每个属性在每个样本值组合和枚举的相应位置表示。 使用枚举，计算机根据每个样本值组合来评估对的每个表达式以获得真值表。 基于真值表，检测到该对之间的关​​系，并且可以向用户通知规则中的异常。

    Checking rule and policy representation
    4.
    发明授权
    Checking rule and policy representation 有权
    检查规则和策略表示

    公开(公告)号：US08271418B2

    公开(公告)日：2012-09-18

    申请号：US12428294

    申请日：2009-04-22

    申请人： Paul L. Allen ,  Michael W. Anderson ,  David J. Finton ,  Charles T. Kitzmiller

    发明人： Paul L. Allen ,  Michael W. Anderson ,  David J. Finton ,  Charles T. Kitzmiller

    IPC分类号： G06F17/00 ,  G06N5/02

    CPC分类号： G06F21/577 ,  G06Q10/10 ,  H04L63/102

    摘要： A computer-performed method of examining policies for a target system of an enterprise system domain. The policies are represented as policy rules, each rule including a condition having binary operator expression(s), each expression referring to one or more policy attributes. For a pair of expressions, the computer(s) obtain sets of sample values sufficient to represent all values assumable by the policy attribute(s) referred to in the pair. The sample values are combined in a mixed-radix enumeration in which each attribute is represented in a corresponding position of each sample value combination and of the enumeration. Using the enumeration, the computer(s) evaluate each expression of the pair relative to each of the sample value combinations to obtain a truth table. Based on the truth table, a relationship between the pair is detected and the user may be notified as to an anomaly in the rules.

    摘要翻译： 一种用于检查企业系统域目标系统的策略的计算机执行方法。 策略被表示为策略规则，每个规则包括具有二进制运算符表达式的条件，每个表达式引用一个或多个策略属性。 对于一对表达式，计算机获得足以表示由该对中所引用的策略属性所假定的所有值的样本值集合。 样本值以混合基数枚举组合，其中每个属性在每个样本值组合和枚举的相应位置表示。 使用枚举，计算机根据每个样本值组合来评估对的每个表达式以获得真值表。 基于真值表，检测到该对之间的关​​系，并且可以向用户通知规则中的异常。

    Global policy framework analyzer
    5.
    发明授权
    Global policy framework analyzer 有权
    全球政策框架分析仪

    公开(公告)号：US08655824B1

    公开(公告)日：2014-02-18

    申请号：US13041545

    申请日：2011-03-07

    申请人： Paul L. Allen ,  David J. Finton ,  Charles Theodore Kitzmiller

    发明人： Paul L. Allen ,  David J. Finton ,  Charles Theodore Kitzmiller

    IPC分类号： G06N5/02

    CPC分类号： G06N5/025 ,  G06F21/604 ,  H04L41/0866 ,  H04L41/0893 ,  H04L63/20

    摘要： Analyzing a set of policies. A goal comprising a particular outcome is received. An analysis object comprising a data structure maintaining information needed to perform an analysis of the goal is defined. The analysis object is configured to limit a number of calculations needed to achieve the goal. Each member of a set of expressions found in the set of policies has an output. The output is the same for each expression. One of the set of expressions is solved. The solved output is cached in the analysis object such that the solved output is associated with each member of the set of expressions. The analysis object is processed to create a set of values that achieves the goal. Processing includes referencing the cache to retrieve the solved output each time a member of the set of expressions is to be solved during processing of the analysis object.

    摘要翻译： 分析一套策略。 收到包含特定结果的目标。 定义了包括保持执行目标分析所需的信息的数据结构的分析对象。 分析对象被配置为限制实现目标所需的计算数量。 在该策略集中找到的一组表达式的每个成员都有一个输出。 每个表达式的输出相同。 一组表达式被解决了。 解析输出缓存在分析对象中，使得求解的输出与表达式集合中的每个成员相关联。 处理分析对象以创建一组达到目标的值。 处理包括引用高速缓存以在每次在分析对象的处理期间解析表达式集合的成员时检索解决的输出。

    Automated fire and smoke detection, isolation, and recovery
    6.
    发明授权
    Automated fire and smoke detection, isolation, and recovery 有权
    自动火灾和烟雾探测，隔离和恢复

    公开(公告)号：US08322658B2

    公开(公告)日：2012-12-04

    申请号：US12754262

    申请日：2010-04-05

    申请人： Gary R. Gershzohn ,  David J. Finton ,  Oscar Kipersztok ,  Dragos D. Margineantu

    发明人： Gary R. Gershzohn ,  David J. Finton ,  Oscar Kipersztok ,  Dragos D. Margineantu

    IPC分类号： B64D25/00

    CPC分类号： G08B17/00 ,  A62C3/08

    摘要： Technologies are described herein for detecting and recovering from a fire event within an aircraft. The technologies receive sensor data from a number of sensors associated with an aircraft. A determination is made as to whether the sensor data exceeds predefined thresholds indicating the fire event within the aircraft. In response to determining that the sensor data exceeds the predefined thresholds indicating the fire event, the technologies determine a location of the fire event within the aircraft based on the sensor data and depower components of the aircraft associated with the fire event. The technologies then initiate a fire suppressant mechanism within the aircraft directed to the location of the fire event.

    摘要翻译： 本文描述了用于检测和恢复飞机内的火灾事件的技术。 这些技术从与飞行器相关联的多个传感器接收传感器数据。 确定传感器数据是否超过了指示飞机内的火灾事件的预定阈值。 响应于确定传感器数据超过指示火灾事件的预定阈值，这些技术基于传感器数据确定火灾事件在飞行器内的位置，并且消除与火灾事件相关联的飞行器的部件。 然后，这些技术启动飞机内的灭火机构，指向火灾事件的位置。

    Automated Fire and Smoke Detection, Isolation, and Recovery
    9.
    发明申请
    Automated Fire and Smoke Detection, Isolation, and Recovery 有权
    自动火灾和烟雾探测，隔离和恢复

    公开(公告)号：US20110240798A1

    公开(公告)日：2011-10-06

    申请号：US12754262

    申请日：2010-04-05

    申请人： Gary R. Gershzohn ,  David J. Finton ,  Oscar Kipersztok ,  Dragos D. Margineantu

    发明人： Gary R. Gershzohn ,  David J. Finton ,  Oscar Kipersztok ,  Dragos D. Margineantu

    IPC分类号： B64D45/00

    CPC分类号： G08B17/00 ,  A62C3/08

    摘要： Technologies are described herein for detecting and recovering from a fire event within an aircraft. The technologies receive sensor data from a number of sensors associated with an aircraft. A determination is made as to whether the sensor data exceeds predefined thresholds indicating the fire event within the aircraft. In response to determining that the sensor data exceeds the predefined thresholds indicating the fire event, the technologies determine a location of the fire event within the aircraft based on the sensor data and depower components of the aircraft associated with the fire event. The technologies then initiate a fire suppressant mechanism within the aircraft directed to the location of the fire event.

    摘要翻译： 本文描述了用于检测和恢复飞机内的火灾事件的技术。 这些技术从与飞行器相关联的多个传感器接收传感器数据。 确定传感器数据是否超过了指示飞机内的火灾事件的预定阈值。 响应于确定传感器数据超过指示火灾事件的预定阈值，这些技术基于传感器数据确定火灾事件在飞行器内的位置，并且消除与火灾事件相关联的飞行器的部件。 然后，这些技术启动飞机内的灭火机构，指向火灾事件的位置。