センサー・データの二分決定図としての表現
【課題】データ処理のための従前の技術にまつわる欠点や問題を軽減または解消する。
【解決手段】ある種の実施形態によれば、センサー・データのサンプルの集合がアクセスされる。前記サンプルの集合は一つまたは複数のセンサーによって取られた測定を記録している。各サンプルは最小項として表されて最小項の集合を生じる。前記最小項の集合から特性関数が生成される。特性関数は所与の最小項が前記最小項の集合の要素であるかどうかを示す。
【解決手段】ある種の実施形態によれば、センサー・データのサンプルの集合がアクセスされる。前記サンプルの集合は一つまたは複数のセンサーによって取られた測定を記録している。各サンプルは最小項として表されて最小項の集合を生じる。前記最小項の集合から特性関数が生成される。特性関数は所与の最小項が前記最小項の集合の要素であるかどうかを示す。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は概括的にはデータ・システムの分野に関し、より詳細にはセンサー・データを表す二分決定図（binary decision diagram）として表現することに関する。
【背景技術】
【０００２】
センサーは種々の状況（医療、環境およびその他の状況など）において時間を追って測定値を取るために使用されうる。場合によっては、測定値は、解析するのが困難になりうる比較的大量のデータを生じることがある。大量のデータを処理（記憶、利用および／または解析など）するためにはさまざまな技法が使用されうる。
【発明の概要】
【発明が解決しようとする課題】
【０００３】
本発明によれば、データ処理のための従前の技術にまつわる欠点や問題が軽減または解消されうる。
【課題を解決するための手段】
【０００４】
ある種の実施形態によれば、センサー・データのサンプルの集合がアクセスされる。前記サンプルの集合は一つまたは複数のセンサーによって取られた測定を記録している。各サンプルは最小項として表されて最小項の集合を生じる。前記最小項の集合から特性関数が生成される。特性関数は所与の最小項が前記最小項の集合の要素であるかどうかを示す。
【発明の効果】
【０００５】
本発明のある種の実施形態は、一つまたは複数の技術的利点を提供しうる。ある実施形態の技術的利点は、センサー・データが、二分決定図として記憶できる特性関数によって表現されうるということでありうる。ある実施形態のもう一つの技術的利点は、検索クエリーがクエリー関数によって表現されうるということでありうる。検索クエリーおよび特性関数は、検索クエリーを満たすセンサー・データのセンサー値を得るために使用されうる。
【０００６】
ある実施形態のもう一つの技術的利点は、特定の注釈のためのモデル・センサー・データが特定の注釈付けされたモデル特性関数によって表現されうるということでありうる。前記注釈付けされたモデル特性関数は、ある特性関数と組み合わされて、該特性関数に前記注釈で注釈付けしてもよい。ある実施形態のもう一つの技術的利点は、ブール関数が算術関数に変換されうるということでありうる。該算術関数からハッシュ符号が計算されうる。ハッシュ符号が等しければ、ブール関数は等価として示されうる。
【０００７】
本発明のある種の実施形態は、上記の技術的利点のいずれも含まないこともあれば、一部を含むこともあれば、全部を含むこともありうる。一つまたは複数の他の技術的利点は、図面、詳細な説明および請求項から当業者にはすぐ明白となりうる。
【図面の簡単な説明】
【０００８】
本発明およびその特徴および利点のより完全な理解のために、以下の詳細な記述を付属の図面とともに参照する。
【図１】センサー・データを処理するために使用されうるシステムの例を示す図である。
【図２】特性関数によってセンサー・データを表現する方法の例を示す図である。
【図３】特性関数によって表現されたセンサー・データを問い合わせるための方法の例を示す図である。
【図４】特性関数に注釈付けする方法の例を示す図である。
【図５】特性関数が等価であるかどうかを判定する方法の例を示す図である。
【発明を実施するための形態】
【０００９】
本発明の諸実施形態およびその利点は、図１ないし図５を参照することによって最もよく理解される。同様の参照符号がさまざまな図面の同様の対応する部分に使われている。
【００１０】
図１は、センサー・データを処理するために使用されうるシステム１０の例を示している。ある種の実施形態では、システム１０は、二分決定図として記憶されることのできる特性関数によってセンサー・データを表現しうる。ある種の実施形態では、システム１０はクエリー関数によって検索クエリーを表しうる。検索クエリーおよび特性関数は、検索クエリーを満足するセンサー・データのセンサー値を得るために使用されうる。
【００１１】
ある種の実施形態では、システム１０は、特定の注釈〔アノテーション〕についてのモデル・センサー・データを、特定の注釈付けされたモデル特性関数によって表現してもよい。前記注釈付けされたモデル特性関数は、ある特性関数と組み合わされて、その特性関数を前記注釈で注釈付けしてもよい。ある種の実施形態では、システム１０は、ブール関数（特性関数のような）を算術関数に変換しうる。該算術関数からハッシュ符号が計算されうる。ハッシュ符号が等しければ、ブール関数は等価として示されうる。
【００１２】
図示した実施形態において、システム１０は、インターフェース（IF）２０、コンピューティング・システム２２、メモリ２４およびセンサー・システム２８を図のように結合された形で含む。コンピューティング・システム２２は一つまたは複数のプロセッサ２９を含む。論理２６は二分決定図（BDD）生成器３０、クエリー・エンジン３２、モデル・エンジン３４および署名エンジン３６を含み、コンピューティング・システム２２および／またはメモリ２４によって格納されていてもよい。メモリ２４はセンサー・データ４０およびBDDライブラリ４１を記憶する。センサー・システム２８は一つまたは複数のセンサー５０を含む。
【００１３】
ある種の実施形態では、センサー・システム２８のセンサー５０は、特徴（医療または環境上の特徴のような）を測定して測定データ（医療上または環境上の測定値のような）を与え、該測定データがコンピューティング・システム２２に送られる。測定データは典型的には数値として表現される。
【００１４】
センサー５０の例は、医療、環境および／または他の好適なセンサーを含みうる。医療センサーは患者の医学的状態の一つまたは複数の特徴を測定するために使用されうる。医療センサーは医療モニタ、医療実験室設備、治療設備、医療撮像機械および／または他の医療センサーを含んでいてもよい。医療センサーの例は、心電図（ECG）センサー、血圧センサーおよび／またはパルスオキシメトリー・センサーを含む。
【００１５】
心電図センサーは皮膚電極を通じて時間を追って心臓の電気的活動を記録する。心電図センサーは心拍のトレーシング〔追跡図〕を出力しうる。通常の心拍のトレーシングは典型的にはP波、QRX群（R波を含む）およびT波を含む。サンプルはトレーシングの任意の好適な特徴を記録しうる。たとえば、サンプルは、相続く心拍の特徴間の間隔を記録してもよい。たとえば、二つの連続するR波の間の間隔である。間隔は、心拍数およびその変動性についての情報を抽出するために使われてもよい。
【００１６】
血圧センサーは、血圧を測定するために脈圧計を使ってもよい。測定データは水銀柱ミリメートル（mmHg）の単位の収縮期および／または拡張期の値を含んでいてもよい。ある種の事例では、血圧は、昼夜を通じて定期的な間隔で測定されてもよい。
【００１７】
パルスオキシメトリー・センサーは、ヘモグロビンの酸素との結合を測定するために使われてもよい。パルスオキシメーターは皮膚上（指先など）に位置され、赤色および赤外線の波を送出する。それらの電磁波の吸収が、酸素飽和度を判別するために測定されうる。パルスオキシメーターは、酸素飽和度を0パーセントから99パーセントの百分率として出力してもよい。
【００１８】
環境センサーは、たとえば地理的な位置、気圧、標高および／または温度といった環境上の特徴を測定してもよい。環境センサーの例は、位置を決定する全地球測位システム（GPS: Global Positioning System）、大気圧を測定する気圧計、高度を測定する高度計および温度を測定する温度計を含む。
【００１９】
センサー・データ４０はいかなる好適な情報を含んでいてもよい。ある種の実施形態では、センサー・データ４０は、一つまたは複数のセンサー５０によって取られた測定データを記録する。センサー・データ４０は、いかなる好適なフォーマットを有していてもよいサンプルを含んでいてもよい。ある種の実施形態では、サンプルのフォーマットは、一つまたは複数のデータ・パラメータを有するタプル（または順序付けられた集合）であってもよく、特定のサンプルは前記一つまたは複数のデータ・パラメータについての一つまたは複数の値のタプルであってもよい。たとえば、タプル・フォーマット(t,p)はデータ・パラメータとして時間tおよび圧力pを有しうる。特定のサンプル(t0,p0)は時刻t0において測定された圧力p0の値を有しうる。
【００２０】
タプル・フォーマットは、一つまたは複数のセンサー・パラメータおよび／または一つまたは複数の試験パラメータといった、いかなる好適なデータ・パラメータを含んでいてもよい。センサー・パラメータは一つまたは複数のセンサー５０に対応してもよく、センサー値は、一つまたは複数のセンサー５０によって取られた一つまたは複数の測定データを記録してもよい。たとえば、センサー値はセンサー５０によって取られた測定値を記録してもよい。試験パラメータは、測定プロセスの時間的、空間的および／または環境上の特徴を記述する因子に対応してもよく、試験値は、測定データが取られるときの特徴の値を記録してもよい。たとえば、該パラメータは時間であってもよく、該パラメータ値は測定データが取られる特定の時刻を記録してもよい。
【００２１】
時間的特徴の例は時間を含み、時間は絶対時間として表現されてもよいし（たとえば2010年5月25日午後2:00）、相対時間として表現されてもよい（たとえば開始時刻から経過した時間または終了時刻までの残り時間）。空間的特徴の例は、地理的位置（これは緯度、経度および／または高度を含みうる）、身体（たとえば人体）上の位置および位置の種別（たとえば田舎または都会）といった位置を含む。環境上の特徴の例は、温度（たとえば気温または体温）のような環境の物理的な特性を記述する。
【００２２】
モデル・センサー・データ４０は、測定データから得られるセンサー・データを、該データを範疇分けするために注釈付けするために使用されうるセンサー・データを記述する。たとえば、ある種のモデル・センサー・データは「正常」（または同様のもの）という注釈をもって範疇分けおよび注釈付けされてもよく、一方、他のセンサー・データは「異常」（または同様のもの）という注釈をもって範疇分けおよび注釈付けされてもよい。正常モデル・センサー・データに一致する測定から得られるセンサー・データは正常と範疇分けされてもよく、異常モデル・センサー・データに一致する測定されたセンサー・データは異常と範疇分けされてもよい。
【００２３】
いかなる好適な注釈付けが使用されてもよい。ある種の実施形態では、医学的注釈が医療センサー・データを範疇分けするために使われてもよい。医学的注釈の例は、正常センサー・データについての「正常」という注釈および異常センサー・データについての「異常」という注釈を含みうる。医学上の注釈の他の例は、特定の疾病、状態、徴候、重大さおよび／または医療センサー・データの他のカテゴリーについての注釈を含んでいてもよい。
【００２４】
ある種の実施形態では、環境上の注釈は環境センサー・データを範疇分けするために使用されてもよい。環境上の注釈の例は、正常センサー・データの「正常」注釈および異常センサー・データの「異常」注釈を含んでいてもよい。環境上の注釈の他の例は、特定の気象条件、地理的特徴、社会的条件および／または環境センサー・データの他のカテゴリーについての注釈を含んでいてもよい。
【００２５】
モデル・センサー・データはモデル・サンプルを含む。モデル・サンプルは一つまたは複数のモデル・センサー値のタプルを含む。モデル・センサー値は、一つまたは複数のセンサーによって取られることのできた一つまたは複数の測定を表す。モデル・サンプルは、それが属する範疇〔カテゴリー〕を示すために、注釈をもって注釈付けされてもよい。
【００２６】
二分決定図ライブラリ４１は二分決定図を記憶する。ある種の実施形態では、二分決定図（BDD: binary decision diagram）は、ブール関数fを表現するために使用されうる、根のある有向非環状グラフ（DAG: directed acyclic graph）である。BDDは、非端末ノード（または決定ノード）および端末ノードのようなノードを含む。ここで、端末ノードはルート・ノードを含む。非端末ノードは部分関数fに対応し、ブール変数v＝xiによってラベル付けされる。非端末ノードは、子ノードをポイントする、出ていく１エッジおよび出ていく０エッジを有する。１エッジは関数v・fを表す部分BDDをポイントし、０エッジは関数￣v・fを表す部分BDDをポイントする〔￣vは￣付きのvを示す〕。換言すれば、１エッジはvの1への割り当てを表し、０エッジはvの0への割り当てを表す。端末ノードは、それぞれブール関数0および1を表す０端末および１端末を含む。
【００２７】
ルート・ノードから１端末への経路は、表現されるブール関数を1に設定する一組の変数割り当てを表す。ルート・ノードから０端末への経路は、表現されるブール関数を0に設定する一組の変数割り当てを表す。
【００２８】
ある種の実施形態では、BDDは冗長な決定ノードおよび部分グラフ同型を剥ぎ取られる。ある種の実施形態では、順序付けられた二分決定図（OBDD: ordered binary decision diagram）は、ルート・ノードから端末ノードへのすべての経路が同じ順序で変数を調べるBDDである。OBDDは、正準的な表現を許容しうる。BDDの他の例は、縮小された順序付けられたBDD（ROBDD: reduced ordered BDD）、分割された順序付けられた二分決定図（POBDD: partitioned ordered binary decision diagram）、零抑制された決定図（ZDD: zero-suppressed decision diagram）、ナノ二分決定図（nanoDD: nano binary decision diagram）、零抑制されたナノ二分決定図（nanoZDD: zero-suppressed nano binary decision diagram）、他の好適な二分決定図および／または上記の任意のものの組み合わせを含む。ROBDDでは、同型の部分グラフが存在せず、BDDのルート・ノードから端末ノードへの変数の順序はすべての経路について同じである。ZDDでは、ノードが負のリテラルである場合には、そのノードは除外される。他のRBDDでは、ノードの両方のエッジが同じノードをポイントする場合には、そのノードは除外される。他の型のBDDの例は以下でより詳細に記述する。
【００２９】
ある種の実施形態では、BDDライブラリ４１のノード構造は、各二値変数についての情報およびその変数の二つの可能な評価に対応するノードへのインデックスのような、任意の好適な情報を含む。BDDライブラリ４１はまた、前記インデックスの一つの相補化（complementation）についての情報をも含んでいてもよい。
【００３０】
ある種の実施形態では、BDDライブラリ４１は、前記情報をコンパクトに記憶してもよい。ある種の実施形態では、BDDライブラリ４１は、BDDのサイズの関数としてのインデックスおよび変数識別子を維持してもよい。たとえば、BDDは、BDDライブラリ４１によって実行される一部または全部の操作を通じて、高々kのノードを有していてもよい。BDDの各頂点〔バーテックス〕は、高々v個の変数識別子の一つを用いてラベル付けされうる。
【００３１】
したがって、ノードへのインデックスは、任意の変数にインデックス付けするために、高々┌log(v)┐ビットを必要とする〔┌ ┐は天井関数〕。したがって、ノードは2・┌log(k)┐＋┌log(v)┐ビットしか要求しない。さらに、２ビットがリザーブされてもよい。相補化されたエッジを同定するために使われる一ビットと、ガーベッジ・コレクションの間に使用される一般的なマーク・ビットとして使用されるさらなる一ビットである。vおよびkについての値はいかなる好適な仕方で決定されてもよい。一例として、ユーザーがvを指定してもよく、デフォルトのk値が初期に使用されてもよい。デフォルトのk値によって許容されるアドレス空間が使い尽くされたときは、k値は増加させてもよく、ノード・テーブルが再構築されてもよい。もう一つの例として、vおよびkについての最大値が想定されてもよい。
【００３２】
ある種の実施形態では、BDD生成器３０が一つまたは複数のセンサーによって取られる測定を記録するセンサー・データのサンプルの集合にアクセスする。BDD生成器３０は各サンプルを最小項として表して最小項の集合を与える。BDD生成器３０はそれらの最小項から特性関数を生成する。特性関数は、所与の最小項が該最小項の集合の要素であるかどうかを示す。
【００３３】
ある種の実施形態では、集合Sの特性関数fSは、所与の自然数（最小項によって表される）が集合Sの要素であるかどうかを示す。ある種の実施形態では、集合S⊂INの特性関数
【数１】
は、ベクトルxがSの要素の二進表現である場合にかつその場合にのみ1となるブール関数であってもよい。たとえば、S＝{1,3}について、f(0,0)＝f(1,0)＝0であり、f(0,1)＝f(1,1)＝1である。
【００３４】
最小項（minterm）は、相補（complement）演算子と合接（conjunction）演算子のみを用いるn変数の論理式である。n変数のブール関数については、最小項は、n個の変数のそれぞれが相補化されたまたは相補化されない形で一度現れる積の項である。
【００３５】
ある種の実施形態では、クエリー・エンジン３２は、センサー・データのサンプルの集合の検索のための検索クエリーを受け取る。検索クエリーは、一つまたは複数のパラメータの一つまたは複数の要求される値を示す。サンプルは、所与の二進表現が前記サンプルの集合のサンプルを表すかどうかを示す特性関数によって表される。クエリー・エンジン３２は、要求された値を表すクエリー関数を定式化する。クエリー・エンジンはそのクエリー関数および前記特性関数を使って、一つまたは複数の要求された値をもつ一つまたは複数のサンプルを同定する。
【００３６】
ある種の実施形態では、モデル・エンジン３４はモデル・センサー・データのモデル・サンプルの一つまたは複数の集合にアクセスする。各集合は、一つまたは複数の注釈のうちの対応する注釈についてのモデル・サンプルを含む。モデル・エンジン３４は、各集合について以下のことを実行して、一つまたは複数の注釈付けされたモデル特性関数を与える：各集合の各モデル・サンプルをモデル最小項として表し、モデル最小項の集合を与える；それらのモデル最小項からモデル特性関数を生成する。特性関数は、所与の最小項が前記モデル最小項の集合の要素であるかどうかを示す；モデル特性関数に注釈付けする。モデル・エンジンは、前記注釈付けされたモデル特性関数から、一般モデル特性関数を生成する。
【００３７】
ある種の実施形態では、署名エンジン３６が第一のブール関数および第二のブール関数を、第一および第二の特性関数として受け取る。署名エンジン３６は第一および第二のブール関数を変換して、それぞれ第一および第二の算術関数を生成する。署名エンジン３６は、第一および第二の算術関数に同じ入力を与えてそれぞれ第一および第二のハッシュ符号（または「署名」）を計算する。第一のハッシュ符号が第二のハッシュ符号に等しい場合、署名エンジン３６は第一および第二のブール関数を等価として示す。そうでない場合には、署名エンジン３６は第一および第二のブール関数を等価ではないとして示す。
【００３８】
ある種の実施形態では、インターフェース２０が任意の好適な入力装置を使ってたとえばユーザーから入力を受け取り、その入力をコンピューティング・システム２２に通信する。インターフェース２０はコンピューティング・システム２２から出力を受け取って、その出力を任意の好適な出力装置を使ってコンピューティング・システム２２に通信する。
【００３９】
図２は、センサー・データを特性関数によって表現する方法の例を示している。本方法は、BDD生成器３０によって実行されてもよい。本方法において、ステップ１１０において、センサー・データ４０がアクセスされる。センサー・データ４０はセンサー５０によって取られた測定データを記録している。たとえば、センサー・データ４０は第一のセンサー５０によって1ヘルツの頻度でおよび第二のセンサー５０によって60ヘルツの頻度で取られた測定データを記録してもよい。
【００４０】
ステップ１１４においてセンサー・データ４０からサンプルの集合Sが生成される。ある種の実施形態では、各サンプルは一つまたは複数のセンサー値のタプルを含む。各センサー値は、試験パラメータのある試験値において、一つまたは複数のセンサーによって取られた一つまたは複数の測定データを記録する。試験パラメータは時間、温度または位置を表していてもよい。サンプル・タプルは前記試験値をも含んでいてもよい。
【００４１】
集合Sはいかなる好適な仕方で生成されてもよい。ある種の実施形態では、センサー５０のサンプリング周波数および／または所望される精度に基づいて、時間が量子化されてもよい。各時間tiについて、センサー値の集合が得られ、S＝{(ti,qi1,…,qik)}が与えられる。ここで、qijは時刻iにおけるセンサーjからの量子化された入力である。
【００４２】
ステップ１１８において各サンプルは最小項として表現される。サンプルは、いかなる好適な仕方で最小項として表現されてもよい。ある種の実施形態では、一つまたは複数の変数がサンプルの各データ値（たとえば試験値またはセンサー値）に割り当てられる。たとえば、Nt個の変数（たとえばNt＝32）が時間について割り当てられてもよく、Ns1個の変数（たとえばNs1＝8）が第一のセンサーについて割り当てられてもよく、NS2個の変数（たとえばNs2＝8）が第二のセンサーについて割り当てられてもよい。この例では、サンプルは、t1…tNt・s11…sNs11…s12…sNs22の形の最小項、たとえばt1t2…t32・s11…s81…s12…s82に対応する。
【００４３】
各センサー値は、割り当てられた変数を使って二進数として表現される。今の例では、Sの部分集合は{(1,70,3),(2,70,3),(3,70,4)}であってもよい。関係した最小項は
00000000 00000000 00000000 00000001・01000110・00000011,
00000000 00000000 00000000 00000010・01000110・00000011,
00000000 00000000 00000000 00000011・01000110・00000100
となる。
【００４４】
ステップ１２２においてこれらの最小項から特性関数fSが生成される。特性関数fSは、所与の最小項が最小項の集合の要素であるかどうかを示す。特性関数fSはいかなる好適な仕方で最小項から生成されてもよい。ある種の実施形態では、論理演算が最小項に適用されて特性関数fSを生成してもよい。論理演算は、AND、OR、XORおよびNOTのうちの一つまたは任意の二つ以上の論理的な組み合わせであってもよい。ある種の実施形態では、特性関数fSを生成するために、論理OR演算がそれらの最小項に適用されてもよい。論理OR演算をいくつかのオペランドに適用すると、オペランドの論理和が与えられる。対応する特性関数
【数２】
はすべての最小項の論理的ORである。
【００４５】
ステップ１２６においてセンサー・データ４０の次のサンプルがあってもよい。たとえば、センサー・データ４０に、より新しい、またはより最近のサンプルがあってもよい。次のサンプルがある場合、方法はステップ１１４に戻って、次のサンプルの次の集合Sを生成する。次のサンプルがない場合、方法はステップ１３０に進む。
【００４６】
ステップ１３０において特性関数fSは次のサンプルを使って更新される。特性関数fSはいかなる好適な仕方で更新されてもよい。ある種の実施形態では、ステップ１１４ないし１２２と同様のステップが実行されてもよい。それらの実施形態では、次のサンプルの集合が生成されてもよい。各次のサンプルが次の最小項として表現されてもよい。特性関数fSは、それらの次の最小項を使って更新されてもよい。たとえば、論理演算（論理OR演算のような）が特性関数fSおよびそれらの次の最小項に適用されて、更新された特性関数fSを与えてもよい。
【００４７】
ステップ１３４において、特性関数fSが報告される。特性関数fSはいかなる好適な仕方で報告されてもよい。たとえば、BDD生成器３０はインターフェース２０における特性関数fSの表示を容易にしてもよい。
【００４８】
図３は、特性関数によって表されたセンサー・データを問い合わせする方法の例を示している。本方法は、BDD生成器３０によって実行されてもよい。本方法では、ステップ２１０において検索クエリーが受領される。検索クエリーはセンサー・データ４０のサンプルの集合の検索を要求し、いかなる好適なフォーマットを有していてもよい。ある種の実施形態では、検索クエリーは、一つまたは複数のデータ・パラメータの一つまたは複数の要求される値を指示してもよく、要求された値を満たすサンプルの取得を要求してもよい。データ・パラメータは、センサーに対応するセンサー・パラメータおよび／またはたとえば空間的、時間的および／または地理的特徴を記述する試験パラメータであってもよい。センサー・データ４０のサンプルは、所与の二進表現が前記サンプルの集合のサンプルを表しているかどうかを示す特性関数によって表されていてもよい。
【００４９】
ステップ２１４において要求される値を表すクエリー関数fRが定式化される。クエリー関数fRは、要求された値をもつ（特性関数によって表現された）サンプルを同定するために使用されてもよい。クエリー関数fRはいかなる好適な仕方で定式化されてもよい。ある種の実施形態では、各要求された値は要求された最小項として表現されてもよく、要求された最小項からレンジ〔範囲〕・クエリー関数fRが定式化されてもよい。たとえば、要求された値がt＝128ないし255である場合、クエリー関数は
【数３】
となる。
【００５０】
もう一つの例として、二値変数のベクトルxにおいて表現されている数がvalue以上であるときに1を与えるブール関数THvalue(x)のBDDを生成するために下記の方法が使われてもよい。たとえば、THvalue(x)は
TH5(0,0,0)＝0
TH5(0,0,1)＝0
TH5(0,1,0)＝0
TH5(0,1,1)＝0
TH5(1,0,0)＝0
TH5(1,0,1)＝1
TH5(1,1,0)＝1
TH5(1,1,1)＝1
であってもよい。
【００５１】
本方法によれば、ブール関数THvalue(x)のBDDは
BDD threshold(value,bits)
{
result=1
while(bits>0)
{
bits=bits−1
if(value mod 2＝1)
result＝result AND varbits
else
if(result<>1)
result＝result OR varbits
value＝value/2
}
return
result
}
によって生成されてもよい。
【００５２】
生成されたBDDは、二値変数のベクトルxにおいて表現されている数がvalue以上であるインスタンスの数を数えるために使用されてもよい。もう一つの例として、センサーjがAからBまでの間の値をもつサンプルが要求される場合、次のクエリー関数が使用されてもよい：
【数４】
もう一つの例として、要求される値がすべてのセンサー値である場合、クエリー関数はブランクであってもよい。
【００５３】
ステップ２１８において、クエリー関数および特性関数が使用されて検索結果が生じる。クエリー関数および特性関数はいかなる好適な仕方で使用されてもよい。ある種の実施形態では、クエリー関数および特性関数は、それらの関数に論理演算（論理AND演算のような）を適用することによって論理的に組み合わされてもよい。たとえば、特性関数fSはクエリー関数
【数５】
とANDされてもよい。いくつかのオペランドに論理AND演算を適用することは、それらのオペランドの論理積を与えうる。検索結果は、要求された値をもつ一つまたは複数のサンプルであってもよいし、あるいは要求された値をもつサンプルの数であってもよい。
【００５４】
ある種の実施形態では、要求された値をもつサンプルの数が決定されてもよい。その数は、いかなる好適な仕方で決定されてもよい。たとえば、ブール関数THvalue(x)は、二値変数のベクトルxにおいて表現されている数がvalue以上であるときに1を与えてもよい。THvalue(x)を表すBDDが1を与えるインスタンスの数を数えて、xがvalue以上であるインスタンスの数を決定してもよい。
【００５５】
ステップ２２２において、検索結果が報告される。検索結果はいかなる好適な仕方で報告されてもよい。たとえば、検索結果は二分決定図として表現されてもよい。
【００５６】
図４は、特性関数に注釈付けする方法の例を示している。本方法は、モデル・エンジン３４によって実行されてもよい。本方法において、ステップ３１０において、モデル・センサー・データがアクセスされる。ある種の実施形態では、モデル・センサー・データ４０のモデル・サンプルの一つまたは複数の集合がアクセスされてもよい。各集合は、一つまたは複数の注釈のうちの対応する注釈についてのモデル・サンプルを含む。
【００５７】
ステップ３１４において、注釈aiについて、注釈付けされたモデル特性関数faiが生成される。注釈付けされたモデル特性関数faiは、一つまたは複数の注釈で注釈付けされたモデル・サンプルを表す。注釈付けされたモデル特性関数faiは、その注釈によって示される範疇に属する測定されたサンプルを同定／識別するために使用されてもよい。
【００５８】
注釈付けされたモデル特性関数faiはいかなる好適な仕方で生成されてもよい。ある種の実施形態では、注釈aiの各モデル・サンプルはモデル最小項として表現されてもよく、モデル特性関数faiは、モデル最小項から、たとえばそれらの最小項に論理演算（論理OR演算のような）を適用することによって、生成されてもよい。モデル特性関数faiは、所与の最小項がそれらのモデル最小項の要素であるかどうかを示す。
【００５９】
本実施形態において、モデル特性関数faiは注釈付けされて、注釈付けされたモデル特性関数faiを生じてもよい。モデル特性関数faiはいかなる好適な仕方で注釈付けされてもよい。ある種の実施形態では、注釈aiを表現するためにブール変数が使用される。そのブール変数およびモデル特性関数に対して数学的演算（積演算のような）が適用されて注釈付けされたモデル特性関数が生成されもよい。
【００６０】
ある例示的なシナリオでは、時間は32ビット分解能をもち、センサーは８ビット分解能をもつ。時間[0,31]におけるk番目のセンサーの値[64,127]は、正常（normal）属性を用いて
【数６】
のように注釈付けされる。〔一例では、これは時間を表す32ビットのうちのビットt31,t30,…,t6,t5が0で、k番目のセンサーを表す８ビットのうちのビットs7が0で、ビットs6が1であることを表しているものと読める。〕
ステップ３１６において次の注釈ai+1があってもよい。次の注釈ai+1がある場合、方法はステップ３１４に戻って次の注釈ai+1についてのモデル特性関数fai+1を生成する。次の注釈ai+1がない場合には、方法はステップ３１８に進む。
【００６１】
ステップ３１８において、注釈付けされたモデル特性関数faから一般モデル特性関数gが生成される。一般モデル特性関数gは、一部またはすべてのセンサー・データ４０を表してもよい。一般モデル特性関数gは、所与の特性関数のサンプルに注釈付けするために使用されてもよい。これについては下記でより詳細に述べる。
【００６２】
一般モデル特性関数gはいかなる好適な仕方で生成されてもよい。ある種の実施形態では、
【数７】
のように、注釈付けされたモデル特性関数faに論理演算（論理OR演算のような）が適用されて、一般モデル特性関数gを生じてもよい。
【００６３】
ステップ３２２において、センサー・データ４０のサンプルを表す特性関数fSが受領される。それらのサンプルは、３２６において、一般モデル特性関数gを使って注釈付けされる。それらのサンプルはいかなる好適な仕方で注釈付けされてもよい。ある種の実施形態では、
fQ＝fS・g
のように、特性関数および一般モデル特性関数に数学的演算（積演算のような）が適用されてサンプルに注釈付けしてもよい。注釈付けされた特性関数fQは、注釈を持って注釈付けされた特性関数gのサンプルを表す。
【００６４】
コア演算が、注釈付けされた特性関数fQに対して実行されてもよい。ある種の実施形態では、注釈付けされた特性関数fQは、特定の注釈をもつサンプルを同定するために問い合わせされてもよい。たとえば、密度クエリーは、特定の注釈をもつとして注釈付けされたデータ・ポイントの割合についての情報を提供することができる。もう一つの例として、特定の注釈をもつデータ・ポイントの時間範囲が計算できる。
【００６５】
クエリー／問い合わせは、本稿に記載されるのと実質的に同様な仕方など、いかなる好適な仕方で実行されてもよい。たとえば、所与の注釈を表すクエリー関数が定式化されてもよい。クエリー関数および注釈付けされた特性関数が次いで組み合わされてそれらのサンプルを同定してもよい。
【００６６】
ステップ３３０において、結果が報告される。結果は、いかなる好適な仕方で報告されてもよい。たとえば、結果は、インターフェース２０を通じて報告されてもよい。
【００６７】
図５は、ブール関数（特性関数のような）が等価であるかどうかを判定する方法の例を示している。本方法は、署名エンジン３６によって実行されてもよい。
【００６８】
ステップ４１０において、署名エンジン３６は第一のブール関数および第二のブール関数を受け取る。
【００６９】
ステップ４１４において、第一のブール関数および第二のブール関数はそれぞれ第一の算術関数および第二の算術関数に変換される。それらのブール関数はいかなる好適な仕方で変換されてもよい。たとえば、変換は、規則
X AND Y → X×Y
X OR Y → X＋Y−X×Y
NOT(X) → 1−X
X AND X（等冪） → X×X＝X；Xk＝X
のうちの一つまたは複数に従って実行されてもよい。ここで、→は「は右のように変換される」を表し、ANDは論理積を表し、ORは論理和を表し、NOTは論理的否定を表し、X AND Xは等冪を表し、×は乗算を表し、＋は加算を表し、上付き文字は冪指数を表す。たとえば、ブール関数F＝X OR Yである場合、算術関数A[F]＝X＋Y−X×Yとなる。ある種の実施形態では、有限整数体がサイズpをもつ場合、上記算術はpを法として実行される。
【００７０】
ある種の場合には、ブール関数B1およびB2の論理的な組み合わせについてハッシュ符号Hが決定されてもよい。ハッシュ符号Hはハッシュ符号H1およびH2の算術的な組み合わせから決定されてもよい。ここで、H1はブール関数B1のハッシュ符号であり、H2はブール関数B2のハッシュ符号である。たとえば、直交性の定理が適用されてもよい。ブール関数B1とB2が時間的に重ならない場合、B1∨B2についてのハッシュ符号H＝H1＋H2＝Hである。
【００７１】
ステップ４１８において、同じ入力が第一の算術関数および第二の算術関数に与えられてそれぞれ第一のハッシュ符号および第二のハッシュ符号が計算される。いかなる好適な入力が使用されてもよい。ある種の実施形態では、入力はランダムに生成された整数であってもよい。今の例では、入力X＝5、Y＝7が算術関数A[F]＝X＋Y−X×Yに与えられれば、ハッシュ符号はA[F]＝5＋7−5×7＝−23となる。
【００７２】
ステップ４２２において、第一および第二のハッシュ符号が比較される。ステップ４２６において、第一および第二のハッシュ符号は等しいこともあれば、等しくないこともある。等価な関数のハッシュ符号は同じであり、異なる関数のハッシュ符号はおそらく異なる。算術式がランダム化のもとで有限整数体において評価される場合、
【数８】
通りのブール関数のうちの任意の相異なる対は、ほぼ常に、相異なるハッシュ符号にマッピングされる。誤り確率はn/(整数体のサイズ)であり、ここで、整数体Zp＝{0,1,…,p−1}であり、pは素数である。素数pが大きくなると、誤り確率は減少し、事実上0に近くなりうる。したがって、より正確なハッシュ符号のためにはより大きな素数pを選択してもよく、それほど正確でないハッシュ符号を与えるにはより小さな素数pを選択してもよい。ある種の実施形態では、精度を改善するために複数のハッシュ符号が反復的に生成されてもよい。各ランごとに誤りは指数関数的に減少する。kラン後には、誤りe≦(n/p)kとなる。
【００７３】
ステップ４２６において第一のハッシュ符号が第二のハッシュ符号に等しい場合、本方法はステップ４３０に進み、署名エンジン３６は第一のブール関数と第二のブール関数が等価であると示す。第一のハッシュ符号が第二のハッシュ符号に等しくない場合、本方法はステップ４３４に進み、署名エンジン３６は第一のブール関数と第二のブール関数を等価でないとして示す。
【００７４】
ステップ４３８において、結果が報告される。結果はインターフェース２０を使って報告されてもよい。
【００７５】
本方法の例は、いかなる好適な用途において使用されてもよい。一例として、ハッシュ符号は、ブール関数またはBDDの通信リンク（有線および／または無線）を通じたネットワーク・ノード（基地局など）への通信を検証するために使用されてもよい。送信側ノードはブール関数およびそれらのブール関数のハッシュ符号を、それらのブール関数のデータのK個のブロックの後毎に、受信側ノードに送ってもよい。それらのハッシュ符号は暗号化されてもよい。複数のハッシュ符号が送られてもよいし、同じハッシュ符号が複数回送られてもよい。
【００７６】
受信側ノードはブール関数についてのハッシュ符号を計算し、計算されたハッシュ符号を、そのブール関数と一緒に受信されたハッシュ符号と比較してもよい。それらのハッシュ符号が同じである場合には、受信側ノードは、そのブール関数が有効である、たとえば適正に受信されたと判定してもよい。そうでない場合には、受信側ノードは、そのブール関数が有効でない、たとえば適正に受信されておらず、壊れている可能性があると判定してもよい。
【００７７】
もう一つの例として、ブール関数またはBDDとして記憶されたデータにマーク付けしておいてのちに有効確認するために、ハッシュ符号が使用されてもよい。ブール関数についてハッシュ符号が計算されてもよく、そのブール関数と一緒にまたは別個に記憶されてもよい。後刻、ブール関数は記憶されているハッシュ関数を使って有効確認されてもよい。新しいハッシュ符号がブール関数について計算され、記憶されているハッシュ符号と比較されてもよい。ハッシュ符号が同じである場合には、そのブール関数は、壊れていないなど、有効であると見なされてもよい。そうでない場合には、そのブール関数は、壊れているなど、無効であると見なされてもよい。
【００７８】
より重要なデータにマーク付けするためにはより正確なハッシュ符号が使用されてもよく、それほど重要でないデータにマーク付けするためにはそれほど正確でないハッシュ符号が使用されもよい。携帯電話における記憶についてなど、処理パワーが制限されている場合、精度の劣るハッシュ符号が使用されてもよい。
【００７９】
本発明の範囲から外れることなく、本稿で開示されるシステムおよび装置に対して修正、追加または省略がなされてもよい。システムおよび装置のコンポーネントは統合されていても分離されていてもよい。さらに、システムおよび装置の動作はより多数、より少数または別のコンポーネントによって実行されてもよい。たとえば、BDD生成器３０およびクエリー・エンジン３２の動作が一つのコンポーネントによって実行されてもよく、あるいはBDD生成器３０の動作が二つ以上のコンポーネントによって実行されてもよい。さらに、システムおよび装置の動作は、ソフトウェア、ハードウェアおよび／または他の論理を含むいかなる好適な論理を使って実行されてもよい。本稿において使用されるところでは、「各」とは、ある集合の各要素またはある集合の部分集合の各要素を指す。
【００８０】
本発明の範囲から外れることなく、本稿で開示される方法に対して修正、追加または省略がなされてもよい。方法はより多数、より少数または別のステップを含んでいてもよい。さらに、ステップはいかなる好適な順序で実行されてもよい。
【００８１】
本稿で開示されるシステムおよび装置のコンポーネントはインターフェース、論理、メモリおよび／または他の好適な要素を含んでいてもよい。インターフェースは入力を受け取り、出力を送り、入力および／または出力を処理し、および／または他の好適な動作を実行する。インターフェースはハードウェアおよび／またはソフトウェアを含んでいてもよい。
【００８２】
論理は該コンポーネントの動作を実行する、たとえば入力から出力を生成するために命令を実行する。論理はハードウェア、ソフトウェアおよび／または他の論理を含んでもよい。論理は一つまたは複数の有形の媒体にエンコードされていてもよく、コンピュータによって実行されたときに動作を実行してもよい。プロセッサのようなある種の論理はコンポーネントの動作を管理してもよい。プロセッサの例は、一つまたは複数のコンピュータ、一つまたは複数のマイクロプロセッサ、一つまたは複数のアプリケーションおよび／または他の論理を含む。
【００８３】
具体的な諸実施形態では、該実施形態の動作は、コンピュータ・プログラム、ソフトウェア、コンピュータ実行可能命令および／またはコンピュータによって実行されることのできる命令がエンコードされた一つまたは複数のコンピュータ可読媒体によって実行されてもよい。具体的な諸実施形態では、該実施形態の動作は、コンピュータ・プログラムを記憶する、コンピュータ・プログラムを具現されたおよび／またはコンピュータ・プログラムをエンコードされたおよび／または記憶された、ならびに／またはエンコードされたコンピュータ・プログラムを有する一つまたは複数のコンピュータ可読媒体によって実行されてもよい。
【００８４】
メモリは情報を記憶する。メモリは一つまたは複数の非一時的な、有形の、コンピュータ読み取り可能および／またはコンピュータ実行可能な記憶媒体を含んでいてもよい。メモリの例は、コンピュータ・メモリ（たとえばランダム・アクセス・メモリ（RAM）または読み出し専用メモリ（ROM））、大容量記憶媒体（たとえば、ハードディスク）、リムーバブル記憶媒体（たとえば、コンパクト・ディスク（CD）またはデジタル・ビデオ・ディスク（DVD））、データベースおよび／またはネットワーク記憶装置（たとえばサーバー）および／または他のコンピュータ読み取り可能媒体を含む。
【００８５】
システムおよび装置のコンポーネントはいかなる好適な通信ネットワークによって結合されてもよい。通信ネットワークは次のうちの一つまたは複数の全部または一部を含んでいてもよい：公衆電話交換網（PSTN）、公共または専用のデータ・ネットワーク、ローカル・エリア・ネットワーク（LAN）、都市圏ネットワーク（MAN）、広域ネットワーク（WAN）、インターネットのようなローカル、地域的またはグローバルな通信もしくはコンピュータ・ネットワーク、有線または無線のネットワーク、企業イントラネット、他の好適な通信リンクまたは上記のうちの任意のものの任意の組み合わせ。
【００８６】
本開示はある種の実施形態の面で記載されているが、そうした実施形態の変更および入れ替えは当業者には明白であろう。したがって、実施形態の上記の記述は本開示を制約するものではない。請求項によって定義される本開示の精神および範囲から外れることなく、他の変更、置換および改変が可能である。
【００８７】
以上の実施例を含む実施形態に関し、さらに以下の付記を開示する。
（付記１）
一つまたは複数のセンサーによって取られた複数の測定を記録するセンサー・データのサンプルの集合にアクセスする段階と；
前記サンプルの集合の各サンプルを最小項として表し、最小項の集合を生じる段階と；
前記最小項の集合から特性関数を生成する段階であって、前記特性関数は、所与の最小項が前記最小項の集合の要素であるかどうかを示す、段階とを含む、
方法。
（付記２）
付記１記載の方法であって、各サンプルが一つまたは複数のセンサー値のタプルを含み、各センサー値は、あるパラメータのあるパラメータ値において、一つまたは複数のセンサーによって取られた一つまたは複数の測定を記録している、方法。
（付記３）
付記２記載の方法であって、前記パラメータが時間、温度または位置を表す、方法。
（付記４）
付記１ないし３のうちいずれか一項記載の方法であって、前記サンプルの集合の各サンプルを最小項として表すことが、さらに：
一つまたは複数のセンサー値を含む各サンプルを受領する段階と；
各センサー値について、該各センサー値を、該各センサー値に割り当てられた一つまたは複数の変数を使って二進数として表して、一つまたは複数の二進数を生じる段階とを含む、
方法。
（付記５）
付記１ないし４のうちいずれか一項記載の方法であって、前記特性関数を生成する段階がさらに：
前記最小項の集合の最小項に論理的OR演算を適用して前記特性関数を生成することを含む、
方法。
（付記６）
付記１ないし５のうちいずれか一項記載の方法であって、さらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記次の最小項の集合に従って前記特性関数を更新する段階とを含む、
方法。
（付記７）
付記１ないし５のうちいずれか一項記載の方法であって、さらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記特性関数および前記次の最小項の集合の次の最小項に論理的OR演算を適用して更新された特性関数を生じる段階とを含む、
方法。
（付記８）
メモリおよび一つまたは複数のプロセッサを有する装置であって、
前記メモリは、一つまたは複数のセンサーによって取られた複数の測定を記録するセンサー・データのサンプルの集合を記憶するよう構成されており；
前記一つまたは複数のプロセッサは：
前記サンプルの集合の各サンプルを最小項として表し、最小項の集合を生じる段階と；
前記最小項の集合から特性関数を生成する段階であって、前記特性関数は、所与の最小項が前記最小項の集合の要素であるかどうかを示す、段階とを実行するよう構成されている、
装置。
（付記９）
付記８記載の装置であって、各サンプルが一つまたは複数のセンサー値のタプルを含み、各センサー値は、あるパラメータのあるパラメータ値において、一つまたは複数のセンサーによって取られた一つまたは複数の測定を記録している、装置。
（付記１０）
付記９記載の装置であって、前記パラメータが時間、温度または位置を表す、装置。
（付記１１）
付記８ないし１０のうちいずれか一項記載の装置であって、前記サンプルの集合の各サンプルを最小項として表すことが、さらに：
一つまたは複数のセンサー値を含む各サンプルを受領する段階と；
各センサー値について、該各センサー値を、該各センサー値に割り当てられた一つまたは複数の変数を使って二進数として表して、一つまたは複数の二進数を生じる段階とを含む、
装置。
（付記１２）
付記８ないし１１のうちいずれか一項記載の装置であって、前記特性関数を生成する段階がさらに：
前記最小項の集合の最小項に論理的OR演算を適用して前記特性関数を生成することを含む、
装置。
（付記１３）
付記８ないし１２のうちいずれか一項記載の装置であって、前記一つまたは複数のプロセッサがさらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記次の最小項の集合に従って前記特性関数を更新する段階とを実行するよう構成されている、
装置。
（付記１４）
付記８ないし１２のうちいずれか一項記載の装置であって、前記一つまたは複数のプロセッサがさらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記特性関数および前記次の最小項の集合の次の最小項に論理的OR演算を適用して更新された特性関数を生じる段階とを含む、
装置。
（付記１５）
プログラムを記憶している一つまたは複数の非一時的なコンピュータ可読媒体であって、前記プログラムは、一つまたは複数のプロセッサによって実行されたときに、該一つまたは複数のプロセッサに：
一つまたは複数のセンサーによって取られた複数の測定を記録するセンサー・データのサンプルの集合にアクセスする段階と；
前記サンプルの集合の各サンプルを最小項として表し、最小項の集合を生じる段階と；
前記最小項の集合から特性関数を生成する段階であって、前記特性関数は、所与の最小項が前記最小項の集合の要素であるかどうかを示す、段階とを実行させる、
媒体。
（付記１６）
付記１５記載の媒体であって、各サンプルが一つまたは複数のセンサー値のタプルを含み、各センサー値は、あるパラメータのあるパラメータ値において、一つまたは複数のセンサーによって取られた一つまたは複数の測定を記録している、媒体。
（付記１７）
付記１６記載の媒体であって、前記パラメータが時間、温度または位置を表す、媒体。
（付記１８）
付記１５ないし１７のうちいずれか一項記載の媒体であって、前記サンプルの集合の各サンプルを最小項として表すことが、さらに：
一つまたは複数のセンサー値を含む各サンプルを受領する段階と；
各センサー値について、該各センサー値を、該各センサー値に割り当てられた一つまたは複数の変数を使って二進数として表して、一つまたは複数の二進数を生じる段階とを含む、
媒体。
（付記１９）
付記１５ないし１８のうちいずれか一項記載の媒体であって、前記特性関数を生成する段階がさらに：
前記最小項の集合の最小項に論理的OR演算を適用して前記特性関数を生成することを含む、
媒体。
（付記２０）
付記１５ないし１９のうちいずれか一項記載の媒体であって、前記プログラムが前記一つまたは複数のプロセッサにさらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記次の最小項の集合に従って前記特性関数を更新する段階とを実行させる、
媒体。
（付記２１）
付記１５ないし１９のうちいずれか一項記載の媒体であって、前記プログラムが前記一つまたは複数のプロセッサにさらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記特性関数および前記次の最小項の集合の次の最小項に論理的OR演算を適用して更新された特性関数を生じる段階とを実行させる、
媒体。
（付記２２）
一つまたは複数のプロセッサによって実行される方法であって、
測定データのサンプルを含む集合について、各サンプルを、データのビットを表す変数を相補演算子および／または合接演算子のみを用いて結合した論理式であるモデル最小項として表して、サンプルの集合からモデル最小項の集合を生じる段階と；
前記最小項の集合から、該最小項の集合に含まれる最小項の論理和として特性関数を生成する段階であって、前記特性関数は、所与の最小項が前記最小項の集合の要素であるかどうかを示す、段階とを含む、
方法。
【符号の説明】
【００８８】
１０ システム
２０ インターフェース
２２ コンピューティング・システム
２４ メモリ
２６ 論理
２８ センサー・システム
２９ プロセッサ
３０ BDD生成器
３２ クエリー・エンジン
３４ モデル・エンジン
３６ 署名エンジン
４０ センサー・データ
４１ BDDライブラリ
５０ センサー
１１０ センサー・データにアクセス
１１４ サンプルの集合Sを生成
１１８ サンプルを最小項として表現
１２２ 最小項から特性関数fSを生成
１２６ 次のサンプル？
１３０ 特性関数fSを更新
１３４ 特性関数fSを報告
２１０ 検索クエリーを受領
２１４ クエリー関数fsqを定式化
２１８ クエリー関数fsqと特性関数fSとを組み合わせて検索結果を特定
２２２ クエリー結果を報告
３１０ モデル・センサー・データにアクセス
３１４ 注釈aiについての注釈付けされたモデル特性関数faiを生成
３１６ 次の注釈？
３１８ 注釈付けされたモデル特性関数faiから一般モデル特性関数gを生成
３２２ センサー・データ・サンプルを表す特性関数fSを受領
３２６ 一般モデル特性関数gを使ってサンプルに注釈付け
３３０ 結果を報告
４１０ 第一および第二のブール関数を受領
４１４ 第一および第二のブール関数を第一および第二の算術関数に変換
４１８ 第一および第二の算術関数に入力を与えて第一および第二のハッシュ符号を生成
４２２ 第一および第二のハッシュ符号を比較
４２６ 同じ？
４３０ 第一および第二のブール関数が等価であると示す
４３４ 第一および第二のブール関数が等価でないと示す
４３８ 結果を報告
【技術分野】
【０００１】
本発明は概括的にはデータ・システムの分野に関し、より詳細にはセンサー・データを表す二分決定図（binary decision diagram）として表現することに関する。
【背景技術】
【０００２】
センサーは種々の状況（医療、環境およびその他の状況など）において時間を追って測定値を取るために使用されうる。場合によっては、測定値は、解析するのが困難になりうる比較的大量のデータを生じることがある。大量のデータを処理（記憶、利用および／または解析など）するためにはさまざまな技法が使用されうる。
【発明の概要】
【発明が解決しようとする課題】
【０００３】
本発明によれば、データ処理のための従前の技術にまつわる欠点や問題が軽減または解消されうる。
【課題を解決するための手段】
【０００４】
ある種の実施形態によれば、センサー・データのサンプルの集合がアクセスされる。前記サンプルの集合は一つまたは複数のセンサーによって取られた測定を記録している。各サンプルは最小項として表されて最小項の集合を生じる。前記最小項の集合から特性関数が生成される。特性関数は所与の最小項が前記最小項の集合の要素であるかどうかを示す。
【発明の効果】
【０００５】
本発明のある種の実施形態は、一つまたは複数の技術的利点を提供しうる。ある実施形態の技術的利点は、センサー・データが、二分決定図として記憶できる特性関数によって表現されうるということでありうる。ある実施形態のもう一つの技術的利点は、検索クエリーがクエリー関数によって表現されうるということでありうる。検索クエリーおよび特性関数は、検索クエリーを満たすセンサー・データのセンサー値を得るために使用されうる。
【０００６】
ある実施形態のもう一つの技術的利点は、特定の注釈のためのモデル・センサー・データが特定の注釈付けされたモデル特性関数によって表現されうるということでありうる。前記注釈付けされたモデル特性関数は、ある特性関数と組み合わされて、該特性関数に前記注釈で注釈付けしてもよい。ある実施形態のもう一つの技術的利点は、ブール関数が算術関数に変換されうるということでありうる。該算術関数からハッシュ符号が計算されうる。ハッシュ符号が等しければ、ブール関数は等価として示されうる。
【０００７】
本発明のある種の実施形態は、上記の技術的利点のいずれも含まないこともあれば、一部を含むこともあれば、全部を含むこともありうる。一つまたは複数の他の技術的利点は、図面、詳細な説明および請求項から当業者にはすぐ明白となりうる。
【図面の簡単な説明】
【０００８】
本発明およびその特徴および利点のより完全な理解のために、以下の詳細な記述を付属の図面とともに参照する。
【図１】センサー・データを処理するために使用されうるシステムの例を示す図である。
【図２】特性関数によってセンサー・データを表現する方法の例を示す図である。
【図３】特性関数によって表現されたセンサー・データを問い合わせるための方法の例を示す図である。
【図４】特性関数に注釈付けする方法の例を示す図である。
【図５】特性関数が等価であるかどうかを判定する方法の例を示す図である。
【発明を実施するための形態】
【０００９】
本発明の諸実施形態およびその利点は、図１ないし図５を参照することによって最もよく理解される。同様の参照符号がさまざまな図面の同様の対応する部分に使われている。
【００１０】
図１は、センサー・データを処理するために使用されうるシステム１０の例を示している。ある種の実施形態では、システム１０は、二分決定図として記憶されることのできる特性関数によってセンサー・データを表現しうる。ある種の実施形態では、システム１０はクエリー関数によって検索クエリーを表しうる。検索クエリーおよび特性関数は、検索クエリーを満足するセンサー・データのセンサー値を得るために使用されうる。
【００１１】
ある種の実施形態では、システム１０は、特定の注釈〔アノテーション〕についてのモデル・センサー・データを、特定の注釈付けされたモデル特性関数によって表現してもよい。前記注釈付けされたモデル特性関数は、ある特性関数と組み合わされて、その特性関数を前記注釈で注釈付けしてもよい。ある種の実施形態では、システム１０は、ブール関数（特性関数のような）を算術関数に変換しうる。該算術関数からハッシュ符号が計算されうる。ハッシュ符号が等しければ、ブール関数は等価として示されうる。
【００１２】
図示した実施形態において、システム１０は、インターフェース（IF）２０、コンピューティング・システム２２、メモリ２４およびセンサー・システム２８を図のように結合された形で含む。コンピューティング・システム２２は一つまたは複数のプロセッサ２９を含む。論理２６は二分決定図（BDD）生成器３０、クエリー・エンジン３２、モデル・エンジン３４および署名エンジン３６を含み、コンピューティング・システム２２および／またはメモリ２４によって格納されていてもよい。メモリ２４はセンサー・データ４０およびBDDライブラリ４１を記憶する。センサー・システム２８は一つまたは複数のセンサー５０を含む。
【００１３】
ある種の実施形態では、センサー・システム２８のセンサー５０は、特徴（医療または環境上の特徴のような）を測定して測定データ（医療上または環境上の測定値のような）を与え、該測定データがコンピューティング・システム２２に送られる。測定データは典型的には数値として表現される。
【００１４】
センサー５０の例は、医療、環境および／または他の好適なセンサーを含みうる。医療センサーは患者の医学的状態の一つまたは複数の特徴を測定するために使用されうる。医療センサーは医療モニタ、医療実験室設備、治療設備、医療撮像機械および／または他の医療センサーを含んでいてもよい。医療センサーの例は、心電図（ECG）センサー、血圧センサーおよび／またはパルスオキシメトリー・センサーを含む。
【００１５】
心電図センサーは皮膚電極を通じて時間を追って心臓の電気的活動を記録する。心電図センサーは心拍のトレーシング〔追跡図〕を出力しうる。通常の心拍のトレーシングは典型的にはP波、QRX群（R波を含む）およびT波を含む。サンプルはトレーシングの任意の好適な特徴を記録しうる。たとえば、サンプルは、相続く心拍の特徴間の間隔を記録してもよい。たとえば、二つの連続するR波の間の間隔である。間隔は、心拍数およびその変動性についての情報を抽出するために使われてもよい。
【００１６】
血圧センサーは、血圧を測定するために脈圧計を使ってもよい。測定データは水銀柱ミリメートル（mmHg）の単位の収縮期および／または拡張期の値を含んでいてもよい。ある種の事例では、血圧は、昼夜を通じて定期的な間隔で測定されてもよい。
【００１７】
パルスオキシメトリー・センサーは、ヘモグロビンの酸素との結合を測定するために使われてもよい。パルスオキシメーターは皮膚上（指先など）に位置され、赤色および赤外線の波を送出する。それらの電磁波の吸収が、酸素飽和度を判別するために測定されうる。パルスオキシメーターは、酸素飽和度を0パーセントから99パーセントの百分率として出力してもよい。
【００１８】
環境センサーは、たとえば地理的な位置、気圧、標高および／または温度といった環境上の特徴を測定してもよい。環境センサーの例は、位置を決定する全地球測位システム（GPS: Global Positioning System）、大気圧を測定する気圧計、高度を測定する高度計および温度を測定する温度計を含む。
【００１９】
センサー・データ４０はいかなる好適な情報を含んでいてもよい。ある種の実施形態では、センサー・データ４０は、一つまたは複数のセンサー５０によって取られた測定データを記録する。センサー・データ４０は、いかなる好適なフォーマットを有していてもよいサンプルを含んでいてもよい。ある種の実施形態では、サンプルのフォーマットは、一つまたは複数のデータ・パラメータを有するタプル（または順序付けられた集合）であってもよく、特定のサンプルは前記一つまたは複数のデータ・パラメータについての一つまたは複数の値のタプルであってもよい。たとえば、タプル・フォーマット(t,p)はデータ・パラメータとして時間tおよび圧力pを有しうる。特定のサンプル(t0,p0)は時刻t0において測定された圧力p0の値を有しうる。
【００２０】
タプル・フォーマットは、一つまたは複数のセンサー・パラメータおよび／または一つまたは複数の試験パラメータといった、いかなる好適なデータ・パラメータを含んでいてもよい。センサー・パラメータは一つまたは複数のセンサー５０に対応してもよく、センサー値は、一つまたは複数のセンサー５０によって取られた一つまたは複数の測定データを記録してもよい。たとえば、センサー値はセンサー５０によって取られた測定値を記録してもよい。試験パラメータは、測定プロセスの時間的、空間的および／または環境上の特徴を記述する因子に対応してもよく、試験値は、測定データが取られるときの特徴の値を記録してもよい。たとえば、該パラメータは時間であってもよく、該パラメータ値は測定データが取られる特定の時刻を記録してもよい。
【００２１】
時間的特徴の例は時間を含み、時間は絶対時間として表現されてもよいし（たとえば2010年5月25日午後2:00）、相対時間として表現されてもよい（たとえば開始時刻から経過した時間または終了時刻までの残り時間）。空間的特徴の例は、地理的位置（これは緯度、経度および／または高度を含みうる）、身体（たとえば人体）上の位置および位置の種別（たとえば田舎または都会）といった位置を含む。環境上の特徴の例は、温度（たとえば気温または体温）のような環境の物理的な特性を記述する。
【００２２】
モデル・センサー・データ４０は、測定データから得られるセンサー・データを、該データを範疇分けするために注釈付けするために使用されうるセンサー・データを記述する。たとえば、ある種のモデル・センサー・データは「正常」（または同様のもの）という注釈をもって範疇分けおよび注釈付けされてもよく、一方、他のセンサー・データは「異常」（または同様のもの）という注釈をもって範疇分けおよび注釈付けされてもよい。正常モデル・センサー・データに一致する測定から得られるセンサー・データは正常と範疇分けされてもよく、異常モデル・センサー・データに一致する測定されたセンサー・データは異常と範疇分けされてもよい。
【００２３】
いかなる好適な注釈付けが使用されてもよい。ある種の実施形態では、医学的注釈が医療センサー・データを範疇分けするために使われてもよい。医学的注釈の例は、正常センサー・データについての「正常」という注釈および異常センサー・データについての「異常」という注釈を含みうる。医学上の注釈の他の例は、特定の疾病、状態、徴候、重大さおよび／または医療センサー・データの他のカテゴリーについての注釈を含んでいてもよい。
【００２４】
ある種の実施形態では、環境上の注釈は環境センサー・データを範疇分けするために使用されてもよい。環境上の注釈の例は、正常センサー・データの「正常」注釈および異常センサー・データの「異常」注釈を含んでいてもよい。環境上の注釈の他の例は、特定の気象条件、地理的特徴、社会的条件および／または環境センサー・データの他のカテゴリーについての注釈を含んでいてもよい。
【００２５】
モデル・センサー・データはモデル・サンプルを含む。モデル・サンプルは一つまたは複数のモデル・センサー値のタプルを含む。モデル・センサー値は、一つまたは複数のセンサーによって取られることのできた一つまたは複数の測定を表す。モデル・サンプルは、それが属する範疇〔カテゴリー〕を示すために、注釈をもって注釈付けされてもよい。
【００２６】
二分決定図ライブラリ４１は二分決定図を記憶する。ある種の実施形態では、二分決定図（BDD: binary decision diagram）は、ブール関数fを表現するために使用されうる、根のある有向非環状グラフ（DAG: directed acyclic graph）である。BDDは、非端末ノード（または決定ノード）および端末ノードのようなノードを含む。ここで、端末ノードはルート・ノードを含む。非端末ノードは部分関数fに対応し、ブール変数v＝xiによってラベル付けされる。非端末ノードは、子ノードをポイントする、出ていく１エッジおよび出ていく０エッジを有する。１エッジは関数v・fを表す部分BDDをポイントし、０エッジは関数￣v・fを表す部分BDDをポイントする〔￣vは￣付きのvを示す〕。換言すれば、１エッジはvの1への割り当てを表し、０エッジはvの0への割り当てを表す。端末ノードは、それぞれブール関数0および1を表す０端末および１端末を含む。
【００２７】
ルート・ノードから１端末への経路は、表現されるブール関数を1に設定する一組の変数割り当てを表す。ルート・ノードから０端末への経路は、表現されるブール関数を0に設定する一組の変数割り当てを表す。
【００２８】
ある種の実施形態では、BDDは冗長な決定ノードおよび部分グラフ同型を剥ぎ取られる。ある種の実施形態では、順序付けられた二分決定図（OBDD: ordered binary decision diagram）は、ルート・ノードから端末ノードへのすべての経路が同じ順序で変数を調べるBDDである。OBDDは、正準的な表現を許容しうる。BDDの他の例は、縮小された順序付けられたBDD（ROBDD: reduced ordered BDD）、分割された順序付けられた二分決定図（POBDD: partitioned ordered binary decision diagram）、零抑制された決定図（ZDD: zero-suppressed decision diagram）、ナノ二分決定図（nanoDD: nano binary decision diagram）、零抑制されたナノ二分決定図（nanoZDD: zero-suppressed nano binary decision diagram）、他の好適な二分決定図および／または上記の任意のものの組み合わせを含む。ROBDDでは、同型の部分グラフが存在せず、BDDのルート・ノードから端末ノードへの変数の順序はすべての経路について同じである。ZDDでは、ノードが負のリテラルである場合には、そのノードは除外される。他のRBDDでは、ノードの両方のエッジが同じノードをポイントする場合には、そのノードは除外される。他の型のBDDの例は以下でより詳細に記述する。
【００２９】
ある種の実施形態では、BDDライブラリ４１のノード構造は、各二値変数についての情報およびその変数の二つの可能な評価に対応するノードへのインデックスのような、任意の好適な情報を含む。BDDライブラリ４１はまた、前記インデックスの一つの相補化（complementation）についての情報をも含んでいてもよい。
【００３０】
ある種の実施形態では、BDDライブラリ４１は、前記情報をコンパクトに記憶してもよい。ある種の実施形態では、BDDライブラリ４１は、BDDのサイズの関数としてのインデックスおよび変数識別子を維持してもよい。たとえば、BDDは、BDDライブラリ４１によって実行される一部または全部の操作を通じて、高々kのノードを有していてもよい。BDDの各頂点〔バーテックス〕は、高々v個の変数識別子の一つを用いてラベル付けされうる。
【００３１】
したがって、ノードへのインデックスは、任意の変数にインデックス付けするために、高々┌log(v)┐ビットを必要とする〔┌ ┐は天井関数〕。したがって、ノードは2・┌log(k)┐＋┌log(v)┐ビットしか要求しない。さらに、２ビットがリザーブされてもよい。相補化されたエッジを同定するために使われる一ビットと、ガーベッジ・コレクションの間に使用される一般的なマーク・ビットとして使用されるさらなる一ビットである。vおよびkについての値はいかなる好適な仕方で決定されてもよい。一例として、ユーザーがvを指定してもよく、デフォルトのk値が初期に使用されてもよい。デフォルトのk値によって許容されるアドレス空間が使い尽くされたときは、k値は増加させてもよく、ノード・テーブルが再構築されてもよい。もう一つの例として、vおよびkについての最大値が想定されてもよい。
【００３２】
ある種の実施形態では、BDD生成器３０が一つまたは複数のセンサーによって取られる測定を記録するセンサー・データのサンプルの集合にアクセスする。BDD生成器３０は各サンプルを最小項として表して最小項の集合を与える。BDD生成器３０はそれらの最小項から特性関数を生成する。特性関数は、所与の最小項が該最小項の集合の要素であるかどうかを示す。
【００３３】
ある種の実施形態では、集合Sの特性関数fSは、所与の自然数（最小項によって表される）が集合Sの要素であるかどうかを示す。ある種の実施形態では、集合S⊂INの特性関数
【数１】
は、ベクトルxがSの要素の二進表現である場合にかつその場合にのみ1となるブール関数であってもよい。たとえば、S＝{1,3}について、f(0,0)＝f(1,0)＝0であり、f(0,1)＝f(1,1)＝1である。
【００３４】
最小項（minterm）は、相補（complement）演算子と合接（conjunction）演算子のみを用いるn変数の論理式である。n変数のブール関数については、最小項は、n個の変数のそれぞれが相補化されたまたは相補化されない形で一度現れる積の項である。
【００３５】
ある種の実施形態では、クエリー・エンジン３２は、センサー・データのサンプルの集合の検索のための検索クエリーを受け取る。検索クエリーは、一つまたは複数のパラメータの一つまたは複数の要求される値を示す。サンプルは、所与の二進表現が前記サンプルの集合のサンプルを表すかどうかを示す特性関数によって表される。クエリー・エンジン３２は、要求された値を表すクエリー関数を定式化する。クエリー・エンジンはそのクエリー関数および前記特性関数を使って、一つまたは複数の要求された値をもつ一つまたは複数のサンプルを同定する。
【００３６】
ある種の実施形態では、モデル・エンジン３４はモデル・センサー・データのモデル・サンプルの一つまたは複数の集合にアクセスする。各集合は、一つまたは複数の注釈のうちの対応する注釈についてのモデル・サンプルを含む。モデル・エンジン３４は、各集合について以下のことを実行して、一つまたは複数の注釈付けされたモデル特性関数を与える：各集合の各モデル・サンプルをモデル最小項として表し、モデル最小項の集合を与える；それらのモデル最小項からモデル特性関数を生成する。特性関数は、所与の最小項が前記モデル最小項の集合の要素であるかどうかを示す；モデル特性関数に注釈付けする。モデル・エンジンは、前記注釈付けされたモデル特性関数から、一般モデル特性関数を生成する。
【００３７】
ある種の実施形態では、署名エンジン３６が第一のブール関数および第二のブール関数を、第一および第二の特性関数として受け取る。署名エンジン３６は第一および第二のブール関数を変換して、それぞれ第一および第二の算術関数を生成する。署名エンジン３６は、第一および第二の算術関数に同じ入力を与えてそれぞれ第一および第二のハッシュ符号（または「署名」）を計算する。第一のハッシュ符号が第二のハッシュ符号に等しい場合、署名エンジン３６は第一および第二のブール関数を等価として示す。そうでない場合には、署名エンジン３６は第一および第二のブール関数を等価ではないとして示す。
【００３８】
ある種の実施形態では、インターフェース２０が任意の好適な入力装置を使ってたとえばユーザーから入力を受け取り、その入力をコンピューティング・システム２２に通信する。インターフェース２０はコンピューティング・システム２２から出力を受け取って、その出力を任意の好適な出力装置を使ってコンピューティング・システム２２に通信する。
【００３９】
図２は、センサー・データを特性関数によって表現する方法の例を示している。本方法は、BDD生成器３０によって実行されてもよい。本方法において、ステップ１１０において、センサー・データ４０がアクセスされる。センサー・データ４０はセンサー５０によって取られた測定データを記録している。たとえば、センサー・データ４０は第一のセンサー５０によって1ヘルツの頻度でおよび第二のセンサー５０によって60ヘルツの頻度で取られた測定データを記録してもよい。
【００４０】
ステップ１１４においてセンサー・データ４０からサンプルの集合Sが生成される。ある種の実施形態では、各サンプルは一つまたは複数のセンサー値のタプルを含む。各センサー値は、試験パラメータのある試験値において、一つまたは複数のセンサーによって取られた一つまたは複数の測定データを記録する。試験パラメータは時間、温度または位置を表していてもよい。サンプル・タプルは前記試験値をも含んでいてもよい。
【００４１】
集合Sはいかなる好適な仕方で生成されてもよい。ある種の実施形態では、センサー５０のサンプリング周波数および／または所望される精度に基づいて、時間が量子化されてもよい。各時間tiについて、センサー値の集合が得られ、S＝{(ti,qi1,…,qik)}が与えられる。ここで、qijは時刻iにおけるセンサーjからの量子化された入力である。
【００４２】
ステップ１１８において各サンプルは最小項として表現される。サンプルは、いかなる好適な仕方で最小項として表現されてもよい。ある種の実施形態では、一つまたは複数の変数がサンプルの各データ値（たとえば試験値またはセンサー値）に割り当てられる。たとえば、Nt個の変数（たとえばNt＝32）が時間について割り当てられてもよく、Ns1個の変数（たとえばNs1＝8）が第一のセンサーについて割り当てられてもよく、NS2個の変数（たとえばNs2＝8）が第二のセンサーについて割り当てられてもよい。この例では、サンプルは、t1…tNt・s11…sNs11…s12…sNs22の形の最小項、たとえばt1t2…t32・s11…s81…s12…s82に対応する。
【００４３】
各センサー値は、割り当てられた変数を使って二進数として表現される。今の例では、Sの部分集合は{(1,70,3),(2,70,3),(3,70,4)}であってもよい。関係した最小項は
00000000 00000000 00000000 00000001・01000110・00000011,
00000000 00000000 00000000 00000010・01000110・00000011,
00000000 00000000 00000000 00000011・01000110・00000100
となる。
【００４４】
ステップ１２２においてこれらの最小項から特性関数fSが生成される。特性関数fSは、所与の最小項が最小項の集合の要素であるかどうかを示す。特性関数fSはいかなる好適な仕方で最小項から生成されてもよい。ある種の実施形態では、論理演算が最小項に適用されて特性関数fSを生成してもよい。論理演算は、AND、OR、XORおよびNOTのうちの一つまたは任意の二つ以上の論理的な組み合わせであってもよい。ある種の実施形態では、特性関数fSを生成するために、論理OR演算がそれらの最小項に適用されてもよい。論理OR演算をいくつかのオペランドに適用すると、オペランドの論理和が与えられる。対応する特性関数
【数２】
はすべての最小項の論理的ORである。
【００４５】
ステップ１２６においてセンサー・データ４０の次のサンプルがあってもよい。たとえば、センサー・データ４０に、より新しい、またはより最近のサンプルがあってもよい。次のサンプルがある場合、方法はステップ１１４に戻って、次のサンプルの次の集合Sを生成する。次のサンプルがない場合、方法はステップ１３０に進む。
【００４６】
ステップ１３０において特性関数fSは次のサンプルを使って更新される。特性関数fSはいかなる好適な仕方で更新されてもよい。ある種の実施形態では、ステップ１１４ないし１２２と同様のステップが実行されてもよい。それらの実施形態では、次のサンプルの集合が生成されてもよい。各次のサンプルが次の最小項として表現されてもよい。特性関数fSは、それらの次の最小項を使って更新されてもよい。たとえば、論理演算（論理OR演算のような）が特性関数fSおよびそれらの次の最小項に適用されて、更新された特性関数fSを与えてもよい。
【００４７】
ステップ１３４において、特性関数fSが報告される。特性関数fSはいかなる好適な仕方で報告されてもよい。たとえば、BDD生成器３０はインターフェース２０における特性関数fSの表示を容易にしてもよい。
【００４８】
図３は、特性関数によって表されたセンサー・データを問い合わせする方法の例を示している。本方法は、BDD生成器３０によって実行されてもよい。本方法では、ステップ２１０において検索クエリーが受領される。検索クエリーはセンサー・データ４０のサンプルの集合の検索を要求し、いかなる好適なフォーマットを有していてもよい。ある種の実施形態では、検索クエリーは、一つまたは複数のデータ・パラメータの一つまたは複数の要求される値を指示してもよく、要求された値を満たすサンプルの取得を要求してもよい。データ・パラメータは、センサーに対応するセンサー・パラメータおよび／またはたとえば空間的、時間的および／または地理的特徴を記述する試験パラメータであってもよい。センサー・データ４０のサンプルは、所与の二進表現が前記サンプルの集合のサンプルを表しているかどうかを示す特性関数によって表されていてもよい。
【００４９】
ステップ２１４において要求される値を表すクエリー関数fRが定式化される。クエリー関数fRは、要求された値をもつ（特性関数によって表現された）サンプルを同定するために使用されてもよい。クエリー関数fRはいかなる好適な仕方で定式化されてもよい。ある種の実施形態では、各要求された値は要求された最小項として表現されてもよく、要求された最小項からレンジ〔範囲〕・クエリー関数fRが定式化されてもよい。たとえば、要求された値がt＝128ないし255である場合、クエリー関数は
【数３】
となる。
【００５０】
もう一つの例として、二値変数のベクトルxにおいて表現されている数がvalue以上であるときに1を与えるブール関数THvalue(x)のBDDを生成するために下記の方法が使われてもよい。たとえば、THvalue(x)は
TH5(0,0,0)＝0
TH5(0,0,1)＝0
TH5(0,1,0)＝0
TH5(0,1,1)＝0
TH5(1,0,0)＝0
TH5(1,0,1)＝1
TH5(1,1,0)＝1
TH5(1,1,1)＝1
であってもよい。
【００５１】
本方法によれば、ブール関数THvalue(x)のBDDは
BDD threshold(value,bits)
{
result=1
while(bits>0)
{
bits=bits−1
if(value mod 2＝1)
result＝result AND varbits
else
if(result<>1)
result＝result OR varbits
value＝value/2
}
return
result
}
によって生成されてもよい。
【００５２】
生成されたBDDは、二値変数のベクトルxにおいて表現されている数がvalue以上であるインスタンスの数を数えるために使用されてもよい。もう一つの例として、センサーjがAからBまでの間の値をもつサンプルが要求される場合、次のクエリー関数が使用されてもよい：
【数４】
もう一つの例として、要求される値がすべてのセンサー値である場合、クエリー関数はブランクであってもよい。
【００５３】
ステップ２１８において、クエリー関数および特性関数が使用されて検索結果が生じる。クエリー関数および特性関数はいかなる好適な仕方で使用されてもよい。ある種の実施形態では、クエリー関数および特性関数は、それらの関数に論理演算（論理AND演算のような）を適用することによって論理的に組み合わされてもよい。たとえば、特性関数fSはクエリー関数
【数５】
とANDされてもよい。いくつかのオペランドに論理AND演算を適用することは、それらのオペランドの論理積を与えうる。検索結果は、要求された値をもつ一つまたは複数のサンプルであってもよいし、あるいは要求された値をもつサンプルの数であってもよい。
【００５４】
ある種の実施形態では、要求された値をもつサンプルの数が決定されてもよい。その数は、いかなる好適な仕方で決定されてもよい。たとえば、ブール関数THvalue(x)は、二値変数のベクトルxにおいて表現されている数がvalue以上であるときに1を与えてもよい。THvalue(x)を表すBDDが1を与えるインスタンスの数を数えて、xがvalue以上であるインスタンスの数を決定してもよい。
【００５５】
ステップ２２２において、検索結果が報告される。検索結果はいかなる好適な仕方で報告されてもよい。たとえば、検索結果は二分決定図として表現されてもよい。
【００５６】
図４は、特性関数に注釈付けする方法の例を示している。本方法は、モデル・エンジン３４によって実行されてもよい。本方法において、ステップ３１０において、モデル・センサー・データがアクセスされる。ある種の実施形態では、モデル・センサー・データ４０のモデル・サンプルの一つまたは複数の集合がアクセスされてもよい。各集合は、一つまたは複数の注釈のうちの対応する注釈についてのモデル・サンプルを含む。
【００５７】
ステップ３１４において、注釈aiについて、注釈付けされたモデル特性関数faiが生成される。注釈付けされたモデル特性関数faiは、一つまたは複数の注釈で注釈付けされたモデル・サンプルを表す。注釈付けされたモデル特性関数faiは、その注釈によって示される範疇に属する測定されたサンプルを同定／識別するために使用されてもよい。
【００５８】
注釈付けされたモデル特性関数faiはいかなる好適な仕方で生成されてもよい。ある種の実施形態では、注釈aiの各モデル・サンプルはモデル最小項として表現されてもよく、モデル特性関数faiは、モデル最小項から、たとえばそれらの最小項に論理演算（論理OR演算のような）を適用することによって、生成されてもよい。モデル特性関数faiは、所与の最小項がそれらのモデル最小項の要素であるかどうかを示す。
【００５９】
本実施形態において、モデル特性関数faiは注釈付けされて、注釈付けされたモデル特性関数faiを生じてもよい。モデル特性関数faiはいかなる好適な仕方で注釈付けされてもよい。ある種の実施形態では、注釈aiを表現するためにブール変数が使用される。そのブール変数およびモデル特性関数に対して数学的演算（積演算のような）が適用されて注釈付けされたモデル特性関数が生成されもよい。
【００６０】
ある例示的なシナリオでは、時間は32ビット分解能をもち、センサーは８ビット分解能をもつ。時間[0,31]におけるk番目のセンサーの値[64,127]は、正常（normal）属性を用いて
【数６】
のように注釈付けされる。〔一例では、これは時間を表す32ビットのうちのビットt31,t30,…,t6,t5が0で、k番目のセンサーを表す８ビットのうちのビットs7が0で、ビットs6が1であることを表しているものと読める。〕
ステップ３１６において次の注釈ai+1があってもよい。次の注釈ai+1がある場合、方法はステップ３１４に戻って次の注釈ai+1についてのモデル特性関数fai+1を生成する。次の注釈ai+1がない場合には、方法はステップ３１８に進む。
【００６１】
ステップ３１８において、注釈付けされたモデル特性関数faから一般モデル特性関数gが生成される。一般モデル特性関数gは、一部またはすべてのセンサー・データ４０を表してもよい。一般モデル特性関数gは、所与の特性関数のサンプルに注釈付けするために使用されてもよい。これについては下記でより詳細に述べる。
【００６２】
一般モデル特性関数gはいかなる好適な仕方で生成されてもよい。ある種の実施形態では、
【数７】
のように、注釈付けされたモデル特性関数faに論理演算（論理OR演算のような）が適用されて、一般モデル特性関数gを生じてもよい。
【００６３】
ステップ３２２において、センサー・データ４０のサンプルを表す特性関数fSが受領される。それらのサンプルは、３２６において、一般モデル特性関数gを使って注釈付けされる。それらのサンプルはいかなる好適な仕方で注釈付けされてもよい。ある種の実施形態では、
fQ＝fS・g
のように、特性関数および一般モデル特性関数に数学的演算（積演算のような）が適用されてサンプルに注釈付けしてもよい。注釈付けされた特性関数fQは、注釈を持って注釈付けされた特性関数gのサンプルを表す。
【００６４】
コア演算が、注釈付けされた特性関数fQに対して実行されてもよい。ある種の実施形態では、注釈付けされた特性関数fQは、特定の注釈をもつサンプルを同定するために問い合わせされてもよい。たとえば、密度クエリーは、特定の注釈をもつとして注釈付けされたデータ・ポイントの割合についての情報を提供することができる。もう一つの例として、特定の注釈をもつデータ・ポイントの時間範囲が計算できる。
【００６５】
クエリー／問い合わせは、本稿に記載されるのと実質的に同様な仕方など、いかなる好適な仕方で実行されてもよい。たとえば、所与の注釈を表すクエリー関数が定式化されてもよい。クエリー関数および注釈付けされた特性関数が次いで組み合わされてそれらのサンプルを同定してもよい。
【００６６】
ステップ３３０において、結果が報告される。結果は、いかなる好適な仕方で報告されてもよい。たとえば、結果は、インターフェース２０を通じて報告されてもよい。
【００６７】
図５は、ブール関数（特性関数のような）が等価であるかどうかを判定する方法の例を示している。本方法は、署名エンジン３６によって実行されてもよい。
【００６８】
ステップ４１０において、署名エンジン３６は第一のブール関数および第二のブール関数を受け取る。
【００６９】
ステップ４１４において、第一のブール関数および第二のブール関数はそれぞれ第一の算術関数および第二の算術関数に変換される。それらのブール関数はいかなる好適な仕方で変換されてもよい。たとえば、変換は、規則
X AND Y → X×Y
X OR Y → X＋Y−X×Y
NOT(X) → 1−X
X AND X（等冪） → X×X＝X；Xk＝X
のうちの一つまたは複数に従って実行されてもよい。ここで、→は「は右のように変換される」を表し、ANDは論理積を表し、ORは論理和を表し、NOTは論理的否定を表し、X AND Xは等冪を表し、×は乗算を表し、＋は加算を表し、上付き文字は冪指数を表す。たとえば、ブール関数F＝X OR Yである場合、算術関数A[F]＝X＋Y−X×Yとなる。ある種の実施形態では、有限整数体がサイズpをもつ場合、上記算術はpを法として実行される。
【００７０】
ある種の場合には、ブール関数B1およびB2の論理的な組み合わせについてハッシュ符号Hが決定されてもよい。ハッシュ符号Hはハッシュ符号H1およびH2の算術的な組み合わせから決定されてもよい。ここで、H1はブール関数B1のハッシュ符号であり、H2はブール関数B2のハッシュ符号である。たとえば、直交性の定理が適用されてもよい。ブール関数B1とB2が時間的に重ならない場合、B1∨B2についてのハッシュ符号H＝H1＋H2＝Hである。
【００７１】
ステップ４１８において、同じ入力が第一の算術関数および第二の算術関数に与えられてそれぞれ第一のハッシュ符号および第二のハッシュ符号が計算される。いかなる好適な入力が使用されてもよい。ある種の実施形態では、入力はランダムに生成された整数であってもよい。今の例では、入力X＝5、Y＝7が算術関数A[F]＝X＋Y−X×Yに与えられれば、ハッシュ符号はA[F]＝5＋7−5×7＝−23となる。
【００７２】
ステップ４２２において、第一および第二のハッシュ符号が比較される。ステップ４２６において、第一および第二のハッシュ符号は等しいこともあれば、等しくないこともある。等価な関数のハッシュ符号は同じであり、異なる関数のハッシュ符号はおそらく異なる。算術式がランダム化のもとで有限整数体において評価される場合、
【数８】
通りのブール関数のうちの任意の相異なる対は、ほぼ常に、相異なるハッシュ符号にマッピングされる。誤り確率はn/(整数体のサイズ)であり、ここで、整数体Zp＝{0,1,…,p−1}であり、pは素数である。素数pが大きくなると、誤り確率は減少し、事実上0に近くなりうる。したがって、より正確なハッシュ符号のためにはより大きな素数pを選択してもよく、それほど正確でないハッシュ符号を与えるにはより小さな素数pを選択してもよい。ある種の実施形態では、精度を改善するために複数のハッシュ符号が反復的に生成されてもよい。各ランごとに誤りは指数関数的に減少する。kラン後には、誤りe≦(n/p)kとなる。
【００７３】
ステップ４２６において第一のハッシュ符号が第二のハッシュ符号に等しい場合、本方法はステップ４３０に進み、署名エンジン３６は第一のブール関数と第二のブール関数が等価であると示す。第一のハッシュ符号が第二のハッシュ符号に等しくない場合、本方法はステップ４３４に進み、署名エンジン３６は第一のブール関数と第二のブール関数を等価でないとして示す。
【００７４】
ステップ４３８において、結果が報告される。結果はインターフェース２０を使って報告されてもよい。
【００７５】
本方法の例は、いかなる好適な用途において使用されてもよい。一例として、ハッシュ符号は、ブール関数またはBDDの通信リンク（有線および／または無線）を通じたネットワーク・ノード（基地局など）への通信を検証するために使用されてもよい。送信側ノードはブール関数およびそれらのブール関数のハッシュ符号を、それらのブール関数のデータのK個のブロックの後毎に、受信側ノードに送ってもよい。それらのハッシュ符号は暗号化されてもよい。複数のハッシュ符号が送られてもよいし、同じハッシュ符号が複数回送られてもよい。
【００７６】
受信側ノードはブール関数についてのハッシュ符号を計算し、計算されたハッシュ符号を、そのブール関数と一緒に受信されたハッシュ符号と比較してもよい。それらのハッシュ符号が同じである場合には、受信側ノードは、そのブール関数が有効である、たとえば適正に受信されたと判定してもよい。そうでない場合には、受信側ノードは、そのブール関数が有効でない、たとえば適正に受信されておらず、壊れている可能性があると判定してもよい。
【００７７】
もう一つの例として、ブール関数またはBDDとして記憶されたデータにマーク付けしておいてのちに有効確認するために、ハッシュ符号が使用されてもよい。ブール関数についてハッシュ符号が計算されてもよく、そのブール関数と一緒にまたは別個に記憶されてもよい。後刻、ブール関数は記憶されているハッシュ関数を使って有効確認されてもよい。新しいハッシュ符号がブール関数について計算され、記憶されているハッシュ符号と比較されてもよい。ハッシュ符号が同じである場合には、そのブール関数は、壊れていないなど、有効であると見なされてもよい。そうでない場合には、そのブール関数は、壊れているなど、無効であると見なされてもよい。
【００７８】
より重要なデータにマーク付けするためにはより正確なハッシュ符号が使用されてもよく、それほど重要でないデータにマーク付けするためにはそれほど正確でないハッシュ符号が使用されもよい。携帯電話における記憶についてなど、処理パワーが制限されている場合、精度の劣るハッシュ符号が使用されてもよい。
【００７９】
本発明の範囲から外れることなく、本稿で開示されるシステムおよび装置に対して修正、追加または省略がなされてもよい。システムおよび装置のコンポーネントは統合されていても分離されていてもよい。さらに、システムおよび装置の動作はより多数、より少数または別のコンポーネントによって実行されてもよい。たとえば、BDD生成器３０およびクエリー・エンジン３２の動作が一つのコンポーネントによって実行されてもよく、あるいはBDD生成器３０の動作が二つ以上のコンポーネントによって実行されてもよい。さらに、システムおよび装置の動作は、ソフトウェア、ハードウェアおよび／または他の論理を含むいかなる好適な論理を使って実行されてもよい。本稿において使用されるところでは、「各」とは、ある集合の各要素またはある集合の部分集合の各要素を指す。
【００８０】
本発明の範囲から外れることなく、本稿で開示される方法に対して修正、追加または省略がなされてもよい。方法はより多数、より少数または別のステップを含んでいてもよい。さらに、ステップはいかなる好適な順序で実行されてもよい。
【００８１】
本稿で開示されるシステムおよび装置のコンポーネントはインターフェース、論理、メモリおよび／または他の好適な要素を含んでいてもよい。インターフェースは入力を受け取り、出力を送り、入力および／または出力を処理し、および／または他の好適な動作を実行する。インターフェースはハードウェアおよび／またはソフトウェアを含んでいてもよい。
【００８２】
論理は該コンポーネントの動作を実行する、たとえば入力から出力を生成するために命令を実行する。論理はハードウェア、ソフトウェアおよび／または他の論理を含んでもよい。論理は一つまたは複数の有形の媒体にエンコードされていてもよく、コンピュータによって実行されたときに動作を実行してもよい。プロセッサのようなある種の論理はコンポーネントの動作を管理してもよい。プロセッサの例は、一つまたは複数のコンピュータ、一つまたは複数のマイクロプロセッサ、一つまたは複数のアプリケーションおよび／または他の論理を含む。
【００８３】
具体的な諸実施形態では、該実施形態の動作は、コンピュータ・プログラム、ソフトウェア、コンピュータ実行可能命令および／またはコンピュータによって実行されることのできる命令がエンコードされた一つまたは複数のコンピュータ可読媒体によって実行されてもよい。具体的な諸実施形態では、該実施形態の動作は、コンピュータ・プログラムを記憶する、コンピュータ・プログラムを具現されたおよび／またはコンピュータ・プログラムをエンコードされたおよび／または記憶された、ならびに／またはエンコードされたコンピュータ・プログラムを有する一つまたは複数のコンピュータ可読媒体によって実行されてもよい。
【００８４】
メモリは情報を記憶する。メモリは一つまたは複数の非一時的な、有形の、コンピュータ読み取り可能および／またはコンピュータ実行可能な記憶媒体を含んでいてもよい。メモリの例は、コンピュータ・メモリ（たとえばランダム・アクセス・メモリ（RAM）または読み出し専用メモリ（ROM））、大容量記憶媒体（たとえば、ハードディスク）、リムーバブル記憶媒体（たとえば、コンパクト・ディスク（CD）またはデジタル・ビデオ・ディスク（DVD））、データベースおよび／またはネットワーク記憶装置（たとえばサーバー）および／または他のコンピュータ読み取り可能媒体を含む。
【００８５】
システムおよび装置のコンポーネントはいかなる好適な通信ネットワークによって結合されてもよい。通信ネットワークは次のうちの一つまたは複数の全部または一部を含んでいてもよい：公衆電話交換網（PSTN）、公共または専用のデータ・ネットワーク、ローカル・エリア・ネットワーク（LAN）、都市圏ネットワーク（MAN）、広域ネットワーク（WAN）、インターネットのようなローカル、地域的またはグローバルな通信もしくはコンピュータ・ネットワーク、有線または無線のネットワーク、企業イントラネット、他の好適な通信リンクまたは上記のうちの任意のものの任意の組み合わせ。
【００８６】
本開示はある種の実施形態の面で記載されているが、そうした実施形態の変更および入れ替えは当業者には明白であろう。したがって、実施形態の上記の記述は本開示を制約するものではない。請求項によって定義される本開示の精神および範囲から外れることなく、他の変更、置換および改変が可能である。
【００８７】
以上の実施例を含む実施形態に関し、さらに以下の付記を開示する。
（付記１）
一つまたは複数のセンサーによって取られた複数の測定を記録するセンサー・データのサンプルの集合にアクセスする段階と；
前記サンプルの集合の各サンプルを最小項として表し、最小項の集合を生じる段階と；
前記最小項の集合から特性関数を生成する段階であって、前記特性関数は、所与の最小項が前記最小項の集合の要素であるかどうかを示す、段階とを含む、
方法。
（付記２）
付記１記載の方法であって、各サンプルが一つまたは複数のセンサー値のタプルを含み、各センサー値は、あるパラメータのあるパラメータ値において、一つまたは複数のセンサーによって取られた一つまたは複数の測定を記録している、方法。
（付記３）
付記２記載の方法であって、前記パラメータが時間、温度または位置を表す、方法。
（付記４）
付記１ないし３のうちいずれか一項記載の方法であって、前記サンプルの集合の各サンプルを最小項として表すことが、さらに：
一つまたは複数のセンサー値を含む各サンプルを受領する段階と；
各センサー値について、該各センサー値を、該各センサー値に割り当てられた一つまたは複数の変数を使って二進数として表して、一つまたは複数の二進数を生じる段階とを含む、
方法。
（付記５）
付記１ないし４のうちいずれか一項記載の方法であって、前記特性関数を生成する段階がさらに：
前記最小項の集合の最小項に論理的OR演算を適用して前記特性関数を生成することを含む、
方法。
（付記６）
付記１ないし５のうちいずれか一項記載の方法であって、さらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記次の最小項の集合に従って前記特性関数を更新する段階とを含む、
方法。
（付記７）
付記１ないし５のうちいずれか一項記載の方法であって、さらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記特性関数および前記次の最小項の集合の次の最小項に論理的OR演算を適用して更新された特性関数を生じる段階とを含む、
方法。
（付記８）
メモリおよび一つまたは複数のプロセッサを有する装置であって、
前記メモリは、一つまたは複数のセンサーによって取られた複数の測定を記録するセンサー・データのサンプルの集合を記憶するよう構成されており；
前記一つまたは複数のプロセッサは：
前記サンプルの集合の各サンプルを最小項として表し、最小項の集合を生じる段階と；
前記最小項の集合から特性関数を生成する段階であって、前記特性関数は、所与の最小項が前記最小項の集合の要素であるかどうかを示す、段階とを実行するよう構成されている、
装置。
（付記９）
付記８記載の装置であって、各サンプルが一つまたは複数のセンサー値のタプルを含み、各センサー値は、あるパラメータのあるパラメータ値において、一つまたは複数のセンサーによって取られた一つまたは複数の測定を記録している、装置。
（付記１０）
付記９記載の装置であって、前記パラメータが時間、温度または位置を表す、装置。
（付記１１）
付記８ないし１０のうちいずれか一項記載の装置であって、前記サンプルの集合の各サンプルを最小項として表すことが、さらに：
一つまたは複数のセンサー値を含む各サンプルを受領する段階と；
各センサー値について、該各センサー値を、該各センサー値に割り当てられた一つまたは複数の変数を使って二進数として表して、一つまたは複数の二進数を生じる段階とを含む、
装置。
（付記１２）
付記８ないし１１のうちいずれか一項記載の装置であって、前記特性関数を生成する段階がさらに：
前記最小項の集合の最小項に論理的OR演算を適用して前記特性関数を生成することを含む、
装置。
（付記１３）
付記８ないし１２のうちいずれか一項記載の装置であって、前記一つまたは複数のプロセッサがさらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記次の最小項の集合に従って前記特性関数を更新する段階とを実行するよう構成されている、
装置。
（付記１４）
付記８ないし１２のうちいずれか一項記載の装置であって、前記一つまたは複数のプロセッサがさらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記特性関数および前記次の最小項の集合の次の最小項に論理的OR演算を適用して更新された特性関数を生じる段階とを含む、
装置。
（付記１５）
プログラムを記憶している一つまたは複数の非一時的なコンピュータ可読媒体であって、前記プログラムは、一つまたは複数のプロセッサによって実行されたときに、該一つまたは複数のプロセッサに：
一つまたは複数のセンサーによって取られた複数の測定を記録するセンサー・データのサンプルの集合にアクセスする段階と；
前記サンプルの集合の各サンプルを最小項として表し、最小項の集合を生じる段階と；
前記最小項の集合から特性関数を生成する段階であって、前記特性関数は、所与の最小項が前記最小項の集合の要素であるかどうかを示す、段階とを実行させる、
媒体。
（付記１６）
付記１５記載の媒体であって、各サンプルが一つまたは複数のセンサー値のタプルを含み、各センサー値は、あるパラメータのあるパラメータ値において、一つまたは複数のセンサーによって取られた一つまたは複数の測定を記録している、媒体。
（付記１７）
付記１６記載の媒体であって、前記パラメータが時間、温度または位置を表す、媒体。
（付記１８）
付記１５ないし１７のうちいずれか一項記載の媒体であって、前記サンプルの集合の各サンプルを最小項として表すことが、さらに：
一つまたは複数のセンサー値を含む各サンプルを受領する段階と；
各センサー値について、該各センサー値を、該各センサー値に割り当てられた一つまたは複数の変数を使って二進数として表して、一つまたは複数の二進数を生じる段階とを含む、
媒体。
（付記１９）
付記１５ないし１８のうちいずれか一項記載の媒体であって、前記特性関数を生成する段階がさらに：
前記最小項の集合の最小項に論理的OR演算を適用して前記特性関数を生成することを含む、
媒体。
（付記２０）
付記１５ないし１９のうちいずれか一項記載の媒体であって、前記プログラムが前記一つまたは複数のプロセッサにさらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記次の最小項の集合に従って前記特性関数を更新する段階とを実行させる、
媒体。
（付記２１）
付記１５ないし１９のうちいずれか一項記載の媒体であって、前記プログラムが前記一つまたは複数のプロセッサにさらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記特性関数および前記次の最小項の集合の次の最小項に論理的OR演算を適用して更新された特性関数を生じる段階とを実行させる、
媒体。
（付記２２）
一つまたは複数のプロセッサによって実行される方法であって、
測定データのサンプルを含む集合について、各サンプルを、データのビットを表す変数を相補演算子および／または合接演算子のみを用いて結合した論理式であるモデル最小項として表して、サンプルの集合からモデル最小項の集合を生じる段階と；
前記最小項の集合から、該最小項の集合に含まれる最小項の論理和として特性関数を生成する段階であって、前記特性関数は、所与の最小項が前記最小項の集合の要素であるかどうかを示す、段階とを含む、
方法。
【符号の説明】
【００８８】
１０ システム
２０ インターフェース
２２ コンピューティング・システム
２４ メモリ
２６ 論理
２８ センサー・システム
２９ プロセッサ
３０ BDD生成器
３２ クエリー・エンジン
３４ モデル・エンジン
３６ 署名エンジン
４０ センサー・データ
４１ BDDライブラリ
５０ センサー
１１０ センサー・データにアクセス
１１４ サンプルの集合Sを生成
１１８ サンプルを最小項として表現
１２２ 最小項から特性関数fSを生成
１２６ 次のサンプル？
１３０ 特性関数fSを更新
１３４ 特性関数fSを報告
２１０ 検索クエリーを受領
２１４ クエリー関数fsqを定式化
２１８ クエリー関数fsqと特性関数fSとを組み合わせて検索結果を特定
２２２ クエリー結果を報告
３１０ モデル・センサー・データにアクセス
３１４ 注釈aiについての注釈付けされたモデル特性関数faiを生成
３１６ 次の注釈？
３１８ 注釈付けされたモデル特性関数faiから一般モデル特性関数gを生成
３２２ センサー・データ・サンプルを表す特性関数fSを受領
３２６ 一般モデル特性関数gを使ってサンプルに注釈付け
３３０ 結果を報告
４１０ 第一および第二のブール関数を受領
４１４ 第一および第二のブール関数を第一および第二の算術関数に変換
４１８ 第一および第二の算術関数に入力を与えて第一および第二のハッシュ符号を生成
４２２ 第一および第二のハッシュ符号を比較
４２６ 同じ？
４３０ 第一および第二のブール関数が等価であると示す
４３４ 第一および第二のブール関数が等価でないと示す
４３８ 結果を報告
【特許請求の範囲】
【請求項１】
一つまたは複数のセンサーによって取られた複数の測定を記録するセンサー・データのサンプルの集合にアクセスする段階と；
前記サンプルの集合の各サンプルを最小項として表し、最小項の集合を生じる段階と；
前記最小項の集合から特性関数を生成する段階であって、前記特性関数は、所与の最小項が前記最小項の集合の要素であるかどうかを示す、段階とを含む、
方法。
【請求項２】
請求項１記載の方法であって、各サンプルが一つまたは複数のセンサー値のタプルを含み、各センサー値は、あるパラメータのあるパラメータ値において、一つまたは複数のセンサーによって取られた一つまたは複数の測定を記録している、方法。
【請求項３】
請求項２記載の方法であって、前記パラメータが時間、温度または位置を表す、方法。
【請求項４】
請求項１ないし３のうちいずれか一項記載の方法であって、前記サンプルの集合の各サンプルを最小項として表すことが、さらに：
一つまたは複数のセンサー値を含む各サンプルを受領する段階と；
各センサー値について、該各センサー値を、該各センサー値に割り当てられた一つまたは複数の変数を使って二進数として表して、一つまたは複数の二進数を生じる段階とを含む、
方法。
【請求項５】
請求項１ないし４のうちいずれか一項記載の方法であって、前記特性関数を生成する段階がさらに：
前記最小項の集合の最小項に論理的OR演算を適用して前記特性関数を生成することを含む、
方法。
【請求項６】
請求項１ないし５のうちいずれか一項記載の方法であって、さらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記次の最小項の集合に従って前記特性関数を更新する段階とを含む、
方法。
【請求項７】
請求項１ないし５のうちいずれか一項記載の方法であって、さらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記特性関数および前記次の最小項の集合の次の最小項に論理的OR演算を適用して更新された特性関数を生じる段階とを含む、
方法。
【請求項８】
メモリおよび一つまたは複数のプロセッサを有する装置であって、
前記メモリは、一つまたは複数のセンサーによって取られた複数の測定を記録するセンサー・データのサンプルの集合を記憶するよう構成されており；
前記一つまたは複数のプロセッサは：
前記サンプルの集合の各サンプルを最小項として表し、最小項の集合を生じる段階と；
前記最小項の集合から特性関数を生成する段階であって、前記特性関数は、所与の最小項が前記最小項の集合の要素であるかどうかを示す、段階とを実行するよう構成されている、
装置。
【請求項９】
請求項８記載の装置であって、各サンプルが一つまたは複数のセンサー値のタプルを含み、各センサー値は、あるパラメータのあるパラメータ値において、一つまたは複数のセンサーによって取られた一つまたは複数の測定を記録している、装置。
【請求項１０】
請求項９記載の装置であって、前記パラメータが時間、温度または位置を表す、装置。
【請求項１１】
請求項８ないし１０のうちいずれか一項記載の装置であって、前記サンプルの集合の各サンプルを最小項として表すことが、さらに：
一つまたは複数のセンサー値を含む各サンプルを受領する段階と；
各センサー値について、該各センサー値を、該各センサー値に割り当てられた一つまたは複数の変数を使って二進数として表して、一つまたは複数の二進数を生じる段階とを含む、
装置。
【請求項１２】
請求項８ないし１１のうちいずれか一項記載の装置であって、前記特性関数を生成する段階がさらに：
前記最小項の集合の最小項に論理的OR演算を適用して前記特性関数を生成することを含む、
装置。
【請求項１３】
請求項８ないし１２のうちいずれか一項記載の装置であって、前記一つまたは複数のプロセッサがさらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記次の最小項の集合に従って前記特性関数を更新する段階とを実行するよう構成されている、
装置。
【請求項１４】
請求項８ないし１２のうちいずれか一項記載の装置であって、前記一つまたは複数のプロセッサがさらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記特性関数および前記次の最小項の集合の次の最小項に論理的OR演算を適用して更新された特性関数を生じる段階とを含む、
装置。
【請求項１５】
プログラムを記憶している一つまたは複数の非一時的なコンピュータ可読媒体であって、前記プログラムは、一つまたは複数のプロセッサによって実行されたときに、該一つまたは複数のプロセッサに：
一つまたは複数のセンサーによって取られた複数の測定を記録するセンサー・データのサンプルの集合にアクセスする段階と；
前記サンプルの集合の各サンプルを最小項として表し、最小項の集合を生じる段階と；
前記最小項の集合から特性関数を生成する段階であって、前記特性関数は、所与の最小項が前記最小項の集合の要素であるかどうかを示す、段階とを実行させる、
媒体。
【請求項１６】
一つまたは複数のプロセッサによって実行される方法であって、
測定データのサンプルを含む集合について、各サンプルを、データのビットを表す変数を相補演算子および／または合接演算子のみを用いて結合した論理式であるモデル最小項として表して、サンプルの集合からモデル最小項の集合を生じる段階と；
前記最小項の集合から、該最小項の集合に含まれる最小項の論理和として特性関数を生成する段階であって、前記特性関数は、所与の最小項が前記最小項の集合の要素であるかどうかを示す、段階とを含む、
方法。
【請求項１】
一つまたは複数のセンサーによって取られた複数の測定を記録するセンサー・データのサンプルの集合にアクセスする段階と；
前記サンプルの集合の各サンプルを最小項として表し、最小項の集合を生じる段階と；
前記最小項の集合から特性関数を生成する段階であって、前記特性関数は、所与の最小項が前記最小項の集合の要素であるかどうかを示す、段階とを含む、
方法。
【請求項２】
請求項１記載の方法であって、各サンプルが一つまたは複数のセンサー値のタプルを含み、各センサー値は、あるパラメータのあるパラメータ値において、一つまたは複数のセンサーによって取られた一つまたは複数の測定を記録している、方法。
【請求項３】
請求項２記載の方法であって、前記パラメータが時間、温度または位置を表す、方法。
【請求項４】
請求項１ないし３のうちいずれか一項記載の方法であって、前記サンプルの集合の各サンプルを最小項として表すことが、さらに：
一つまたは複数のセンサー値を含む各サンプルを受領する段階と；
各センサー値について、該各センサー値を、該各センサー値に割り当てられた一つまたは複数の変数を使って二進数として表して、一つまたは複数の二進数を生じる段階とを含む、
方法。
【請求項５】
請求項１ないし４のうちいずれか一項記載の方法であって、前記特性関数を生成する段階がさらに：
前記最小項の集合の最小項に論理的OR演算を適用して前記特性関数を生成することを含む、
方法。
【請求項６】
請求項１ないし５のうちいずれか一項記載の方法であって、さらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記次の最小項の集合に従って前記特性関数を更新する段階とを含む、
方法。
【請求項７】
請求項１ないし５のうちいずれか一項記載の方法であって、さらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記特性関数および前記次の最小項の集合の次の最小項に論理的OR演算を適用して更新された特性関数を生じる段階とを含む、
方法。
【請求項８】
メモリおよび一つまたは複数のプロセッサを有する装置であって、
前記メモリは、一つまたは複数のセンサーによって取られた複数の測定を記録するセンサー・データのサンプルの集合を記憶するよう構成されており；
前記一つまたは複数のプロセッサは：
前記サンプルの集合の各サンプルを最小項として表し、最小項の集合を生じる段階と；
前記最小項の集合から特性関数を生成する段階であって、前記特性関数は、所与の最小項が前記最小項の集合の要素であるかどうかを示す、段階とを実行するよう構成されている、
装置。
【請求項９】
請求項８記載の装置であって、各サンプルが一つまたは複数のセンサー値のタプルを含み、各センサー値は、あるパラメータのあるパラメータ値において、一つまたは複数のセンサーによって取られた一つまたは複数の測定を記録している、装置。
【請求項１０】
請求項９記載の装置であって、前記パラメータが時間、温度または位置を表す、装置。
【請求項１１】
請求項８ないし１０のうちいずれか一項記載の装置であって、前記サンプルの集合の各サンプルを最小項として表すことが、さらに：
一つまたは複数のセンサー値を含む各サンプルを受領する段階と；
各センサー値について、該各センサー値を、該各センサー値に割り当てられた一つまたは複数の変数を使って二進数として表して、一つまたは複数の二進数を生じる段階とを含む、
装置。
【請求項１２】
請求項８ないし１１のうちいずれか一項記載の装置であって、前記特性関数を生成する段階がさらに：
前記最小項の集合の最小項に論理的OR演算を適用して前記特性関数を生成することを含む、
装置。
【請求項１３】
請求項８ないし１２のうちいずれか一項記載の装置であって、前記一つまたは複数のプロセッサがさらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記次の最小項の集合に従って前記特性関数を更新する段階とを実行するよう構成されている、
装置。
【請求項１４】
請求項８ないし１２のうちいずれか一項記載の装置であって、前記一つまたは複数のプロセッサがさらに：
センサー・データの次のサンプルの集合にアクセスする段階と；
各次のサンプルを次の最小項として表し、次の最小項の集合を生じる段階と；
前記特性関数および前記次の最小項の集合の次の最小項に論理的OR演算を適用して更新された特性関数を生じる段階とを含む、
装置。
【請求項１５】
プログラムを記憶している一つまたは複数の非一時的なコンピュータ可読媒体であって、前記プログラムは、一つまたは複数のプロセッサによって実行されたときに、該一つまたは複数のプロセッサに：
一つまたは複数のセンサーによって取られた複数の測定を記録するセンサー・データのサンプルの集合にアクセスする段階と；
前記サンプルの集合の各サンプルを最小項として表し、最小項の集合を生じる段階と；
前記最小項の集合から特性関数を生成する段階であって、前記特性関数は、所与の最小項が前記最小項の集合の要素であるかどうかを示す、段階とを実行させる、
媒体。
【請求項１６】
一つまたは複数のプロセッサによって実行される方法であって、
測定データのサンプルを含む集合について、各サンプルを、データのビットを表す変数を相補演算子および／または合接演算子のみを用いて結合した論理式であるモデル最小項として表して、サンプルの集合からモデル最小項の集合を生じる段階と；
前記最小項の集合から、該最小項の集合に含まれる最小項の論理和として特性関数を生成する段階であって、前記特性関数は、所与の最小項が前記最小項の集合の要素であるかどうかを示す、段階とを含む、
方法。
【図１】
【図２】
【図３】
【図４】
【図５】
【図２】
【図３】
【図４】
【図５】
【公開番号】特開２０１２−４０３９２（Ｐ２０１２−４０３９２Ａ）
【公開日】平成２４年３月１日（２０１２．３．１）
【国際特許分類】
【出願番号】特願２０１１−１７７９９４（Ｐ２０１１−１７７９９４）
【出願日】平成２３年８月１６日（２０１１．８．１６）
【出願人】（０００００５２２３）富士通株式会社 (25,993)
【Ｆターム（参考）】
【公開日】平成２４年３月１日（２０１２．３．１）
【国際特許分類】
【出願日】平成２３年８月１６日（２０１１．８．１６）
【出願人】（０００００５２２３）富士通株式会社 (25,993)
【Ｆターム（参考）】
[ Back to top ]