×

Annotating environmental data represented by characteristic functions

  • US 9,002,781 B2
  • Filed: 08/17/2010
  • Issued: 04/07/2015
  • Est. Priority Date: 08/17/2010
  • Status: Active Grant
First Claim
Patent Images

1. A method comprising, by one or more processors associated with one or more computing devices:

  • accessing, by one or more of the processors, a set of samples of sensor data recording a plurality of environmental measurements taken by one or more environmental sensors;

    representing, by the at least one computer processor, each data value of the set of samples of the sensor data as a minterm to yield a set of minterms, each minterm within the set of minterms comprising a logical expression of one or more variables allocated to the data value of the sample of the sensor data, wherein a minterm is a logical expression of n variables that employs only a complement operator and a conjunction operator;

    generating, by one or more of the processors, a first binary decision diagram from the set of samples by applying a logical OR operation to the minterms of the set of minterms to generate the first binary decision diagram by generating a characteristic function ƒ

    1({right arrow over (x)};

    {right arrow over (s)}1;

    {right arrow over (s)}2) that is the logical OR of all minterms in the set of minterms, the first binary decision diagram indicating whether a given sample is a member of the set of samples, wherein a binary decision diagram comprises one or more rooted directed acyclic graphs representing a Boolean function, the binary decision diagram comprising a plurality of nodes and a plurality of edges connecting the nodes thereby forming a plurality of paths, each path in the binary decision diagram representing a set of variable assignments setting the represented Boolean function to either 1 or 0, the first binary decision diagram corresponding to a first hash code;

    identifying, by one or more of the processors, one or more samples of the set of samples that are associated with a given environmental annotation according to the first binary decision diagram; and

    determining whether the environmental measurements associated with the set of samples are valid by;

    if the first hash code equals a second hash code, designating the environmental measurements as valid, the second has code being calculated from an arithmetic function generated by transforming the first binary decision diagram according to one or more identity rules; and

    otherwise, designating the environmental measurements as invalid.

View all claims
  • 1 Assignment
Timeline View
Assignment View
    ×
    ×