利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

149 条记录 (耗时 0.046 秒)

    Representing sensor data as binary decision diagrams
    33.
    发明授权
    Representing sensor data as binary decision diagrams 有权
    将传感器数据表示为二进制决策图

    公开(公告)号：US08874607B2

    公开(公告)日：2014-10-28

    申请号：US12857594

    申请日：2010-08-17

    申请人： Stergios Stergiou ,  Jawahar Jain

    发明人： Stergios Stergiou ,  Jawahar Jain

    IPC分类号： G06F17/30

    CPC分类号： G06F17/30949

    摘要： According to certain embodiments, a set of samples of sensor data is accessed. The set of samples records measurements taken by one or more sensors. Each sample is represented as a minterm to yield a set of minterms. A characteristic function is generated from the set of minterms. The characteristic function indicates whether a given minterm is a member of the set of minterms.

    摘要翻译： 根据某些实施例，访问传感器数据的一组样本。 该组样本记录了一个或多个传感器进行的测量。 每个样本都表示为minterm，以产生一组minterms。 从一组minterms生成一个特征函数。 特征函数表示一个给定的minterm是否是一组minterms的成员。

    Compression threshold analysis of binary decision diagrams
    34.
    发明授权
    Compression threshold analysis of binary decision diagrams 有权
    二元决策图的压缩阈值分析

    公开(公告)号：US08838523B2

    公开(公告)日：2014-09-16

    申请号：US13242095

    申请日：2011-09-23

    申请人： Stergios Stergiou ,  Jawahar Jain

    发明人： Stergios Stergiou ,  Jawahar Jain

    IPC分类号： G06N5/00 ,  G06F1/00 ,  G06F19/00

    CPC分类号： G06F19/3418 ,  G06F19/00 ,  G16H50/20 ,  G16H50/30 ,  G16H50/50 ,  G16H50/70

    摘要： In particular embodiments, a method includes receiving data sets, constructing a first binary decision diagram (BDD) representing the data sets, iteratively adding data from the data sets to the first BDD until a compression rate of the first BDD reaches a threshold compression rate, constructing a second BDD representing data from the data sets received after the compression rate of the first BDD equals a threshold compression rate, and iteratively adding data from the data sets to the second BDD.

    摘要翻译： 在特定实施例中，一种方法包括接收数据集，构建表示数据集的第一二进制判决图（BDD），将数据集中的数据迭代地添加到第一BDD，直到第一BDD的压缩率达到阈值压缩率， 构建从第一BDD的压缩率之后接收的数据集中的数据的第二BDD等于阈值压缩率，并且将数据集中的数据迭代地添加到第二BDD。

    Detecting data corruption in medical binary decision diagrams using hashing techniques
    35.
    发明授权
    Detecting data corruption in medical binary decision diagrams using hashing techniques 有权
    使用散列技术检测医疗二进制决策图中的数据损坏

    公开(公告)号：US08812943B2

    公开(公告)日：2014-08-19

    申请号：US13243104

    申请日：2011-09-23

    申请人： Stergios Stergiou ,  Jawahar Jain

    发明人： Stergios Stergiou ,  Jawahar Jain

    IPC分类号： G06F11/00

    CPC分类号： G06F19/3418 ,  G06F19/00 ,  G16H40/40 ,  G16H50/20

    摘要： In particular embodiments, a method includes receiving from a remote system a binary decision diagram (BDD) representing data streams from sensors, an input, and a first hash code, transforming the received BDD to a second arithmetic function by performing the arithmetic transformation on the received BDD, calculating a second hash code from the second arithmetic function and the input, and if the first hash code equals the second hash code, then indicating that the received BDD is uncorrupted data, else indicating that the received BDD is corrupted data.

    摘要翻译： 在特定实施例中，一种方法包括从远程系统接收表示来自传感器，输入和第一散列码的数据流的二进制决策图（BDD），其通过对所接收的BDD进行算术变换来将接收到的BDD变换为第二算术函数 接收BDD，从第二算术函数和输入计算第二散列码，并且如果第一散列码等于第二散列码，则指示所接收的BDD是未被破坏的数据，否则指示所接收的BDD是损坏的数据。

    Annotating binary decision diagrams representing sensor data
    37.
    发明授权
    Annotating binary decision diagrams representing sensor data 有权
    注释表示传感器数据的二进制决策图

    公开(公告)号：US08645108B2

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

    申请号：US12857613

    申请日：2010-08-17

    申请人： Stergios Stergiou ,  Jawahar Jain

    发明人： Stergios Stergiou ,  Jawahar Jain

    IPC分类号： G06F17/50

    CPC分类号： G06F17/30286

    摘要： According to certain embodiments, one or more sets of model samples of model sensor data are accessed. Each set comprises one or more model samples corresponding to an annotation of one or more annotations. The following are performed for each set to yield one or more annotated model characteristic functions: represent each model sample of the each set as a model minterm to yield a set of model minterms; generate a model characteristic function from the set of model minterms, the model characteristic function indicating whether a given minterm is a member of the set of model minterms; and annotate the model characteristic function to yield an annotated model characteristic function. A general model characteristic function is generated from the one or more annotated model characteristic functions.

    摘要翻译： 根据某些实施例，访问模型传感器数据的一组或多组模型样本。 每个集合包括对应于一个或多个注释的注释的一个或多个模型样本。 对每个集合执行以下操作以产生一个或多个注释的模型特征函数：将每个集合的每个模型样本表示为模型minterm以产生一组模型Minterms; 从模型小组集合中生成模型特征函数，模型特征函数指示给定minterm是否是模型Minterms集合的成员; 并注释模型特征函数，以产生注释模型特征函数。 从一个或多个注释模型特征函数生成一般模型特征函数。

    Determining optimum variable orders for BDDs using pair-wise variable grouping
    38.
    发明授权
    Determining optimum variable orders for BDDs using pair-wise variable grouping 有权
    使用成对变量分组确定BDD的最佳变量顺序

    公开(公告)号：US08595179B2

    公开(公告)日：2013-11-26

    申请号：US12901779

    申请日：2010-10-11

    申请人： Stergios Stergiou ,  Jawahar Jain

    发明人： Stergios Stergiou ,  Jawahar Jain

    IPC分类号： G06F17/00 ,  G06N7/00 ,  G06N7/08

    CPC分类号： G06F17/505 ,  G06N5/003

    摘要： One embodiment accesses a binary decision diagram (BDD) representing a function having n variables, where n≧2, wherein the BDD comprises n layers corresponding to the n variables, respectively; separates the n variables into n ! 2 ⌊ n / 2 ⌋ groups, wherein each group comprises ⌈ n 2 ⌉ ordered sets, and each set in each group comprises 1 or 2 variables; for each of the n ! 2 ⌊ n / 2 ⌋ groups, determines a locally optimum variable order that yields a smallest size among 2└n/2┘ different variable orders of the BDD obtained within the group; and selects from n ! 2 ⌊ n / 2 ⌋ locally optimum variable orders corresponding to the n ! 2 ⌊ n / 2 ⌋ groups an optimum variable order of the BDD that yields a smallest size among the n ! 2 ⌊ n / 2 ⌋ locally optimum variable orders.

    摘要翻译： 一个实施例访问表示具有n个变量的函数的二进制判定图（BDD），其中n> = 2，其中BDD分别包括对应于n个变量的n个层; 将n个变量分成n个！ 2⌊n / 2⌋组，其中每组包括⌈n 2⌉有序集，每组包含1或2个变量; 为每个n！ 2⌊n / 2⌋组，确定在组内获得的BDD的不同可变顺序中产生最小尺寸的局部最优变量顺序; 并从n中选择！ 2⌊n / 2⌋本地最优变量对应于n！ 2⌊n / 2⌋组合BDD的最佳变量顺序，其在n中产生最小的尺寸！ 2⌊n / 2⌋局部最优变量订单。

    Comparing boolean functions representing sensor data
    39.
    发明授权
    Comparing boolean functions representing sensor data 有权
    比较表示传感器数据的布尔函数

    公开(公告)号：US08583718B2

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

    申请号：US12857628

    申请日：2010-08-17

    申请人： Stergios Stergiou ,  Jawahar Jain

    发明人： Stergios Stergiou ,  Jawahar Jain

    IPC分类号： G06F17/14

    CPC分类号： G06F17/18

    摘要： According to certain embodiments, a first Boolean function and a second Boolean function are received. The first Boolean function represents a first data set, and the second Boolean function represents a second data set. The first Boolean function and the second Boolean function are transformed to a first arithmetic function and a second arithmetic function, respectively. A first hash code and a second hash code are calculated from the first arithmetic function and the second arithmetic function, respectively. If the first hash code equals the second hash code, the first Boolean function and the second Boolean function are designated as equivalent; otherwise, the first Boolean function and the second Boolean function are designated as not equivalent.

    摘要翻译： 根据某些实施例，接收第一布尔函数和第二布尔函数。 第一个布尔函数表示第一个数据集，第二个布尔函数表示第二个数据集。 第一布尔函数和第二布尔函数分别转换为第一算术函数和第二算术函数。 第一散列码和第二散列码分别从第一算术函数和第二算术函数计算。 如果第一个哈希码等于第二个哈希码，则第一个布尔函数和第二个布尔函数被指定为等效的; 否则，第一个布尔函数和第二个布尔函数被指定为不等效。