モデルセンサーデータのモデルサンプルの一つまたは複数の集合にアクセスする段階であって、各集合は、一つまたは複数の注釈のうちのある注釈に対応する一つまたは複数のモデルサンプルを含む、段階と;各集合について、下記の諸段階、すなわち:各集合の各モデルサンプルをモデル最小項として表し、モデル最小項の集合を生じる段階;モデル最小項の集合からモデル特性関数を生成する段階であって、前記モデル特性関数は、所与の最小項が前記モデル最小項の集合の要素であるかどうかを示す、段階;および前記モデル特性関数に注釈付けして、注釈付けされたモデル特性関数を生じる段階、を実行して、一つまたは複数の注釈付けされたモデル特性関数を生じる段階と;前記一つまたは複数の注釈付けされたモデル特性関数から一般モデル特性関数を生成する段階とを含む、方法。請求項1記載の方法であって、前記モデル特性関数に注釈付けすることがさらに:各集合に対応する注釈を表すブール変数と前記モデル特性関数との積を取って前記注釈付けされたモデル特性関数を生じることを含む、方法。請求項1または2記載の方法であって、前記一般モデル特性関数を生成する段階がさらに:前記一つまたは複数の注釈付けされたモデル特性関数に論理的OR演算を適用して前記一般モデル特性関数を生じることを含む、方法。請求項1ないし3のうちいずれか一項記載の方法であって、さらに:一つまたは複数のセンサーによって取られた複数の測定を記録するセンサーデータの複数のサンプルを表す特性関数を受領する段階と;前記一般モデル特性関数を使って前記複数のサンプルに注釈付けする段階とを含む、方法。請求項1ないし3のうちいずれか一項記載の方法であって、さらに:一つまたは複数のセンサーによって取られた複数の測定を記録するセンサーデータの複数のサンプルを表す特性関数を受領する段階と;前記特性関数および前記一般モデル特性関数に積関数を適用して前記複数のサンプルに注釈付けする段階とを含む、方法。請求項1ないし5のうちいずれか一項記載の方法であって、各モデルサンプルが一つまたは複数のモデルセンサー値のタプルを含み、各モデルセンサー値は一つまたは複数のセンサーによって取ることのできる一つまたは複数の測定を表す、方法。請求項1ないし6のうちいずれか一項記載の方法であって、前記モデルセンサーデータが一つまたは複数のセンサーによって取られる複数の測定を表す、方法。メモリおよび一つまたは複数のプロセッサを有する装置であって、前記メモリはモデルセンサーデータのモデルサンプルの一つまたは複数の集合を記憶するよう構成されており、各集合は、一つまたは複数の注釈のうちのある注釈に対応し;前記一つまたは複数のプロセッサは:各集合について、下記の諸段階、すなわち:各集合の各モデルサンプルをモデル最小項として表し、モデル最小項の集合を生じる段階;モデル最小項の集合からモデル特性関数を生成する段階であって、前記モデル特性関数は、所与の最小項が前記モデル最小項の集合の要素であるかどうかを示す、段階;および前記モデル特性関数に注釈付けして、注釈付けされたモデル特性関数を生じる段階、を実行して、一つまたは複数の注釈付けされたモデル特性関数を生じる段階と;前記一つまたは複数の注釈付けされたモデル特性関数から一般モデル特性関数を生成する段階とを実行するよう構成されている、装置。請求項8記載の装置であって、前記モデル特性関数に注釈付けすることがさらに:各集合に対応する注釈を表すブール変数と前記モデル特性関数との積を取って前記注釈付けされたモデル特性関数を生じることを含む、装置。請求項8または9記載の装置であって、前記一般モデル特性関数を生成する段階がさらに:前記一つまたは複数の注釈付けされたモデル特性関数に論理的OR演算を適用して前記一般モデル特性関数を生じることを含む、装置。請求項8ないし10のうちいずれか一項記載の装置であって、前記一つまたは複数のプロセッサがさらに:一つまたは複数のセンサーによって取られた複数の測定を記録するセンサーデータの複数のサンプルを表す特性関数を受領する段階と;前記一般モデル特性関数を使って前記複数のサンプルに注釈付けする段階とを実行するよう構成されている、装置。請求項8ないし10のうちいずれか一項記載の装置であって、前記一つまたは複数のプロセッサがさらに:一つまたは複数のセンサーによって取られた複数の測定を記録するセンサーデータの複数のサンプルを表す特性関数を受領する段階と;前記特性関数および前記一般モデル特性関数に積関数を適用して前記複数のサンプルに注釈付けする段階とを実行するよう構成されている、装置。請求項8ないし12のうちいずれか一項記載の装置であって、各モデルサンプルが一つまたは複数のモデルセンサー値のタプルを含み、各モデルセンサー値は一つまたは複数のセンサーによって取ることのできる一つまたは複数の測定を表す、装置。請求項8ないし13のうちいずれか一項記載の装置であって、前記モデルセンサーデータが一つまたは複数のセンサーによって取られる複数の測定を表す、装置。プログラムを記憶している一つまたは複数の非一時的なコンピュータ可読媒体であって、前記プログラムは、一つまたは複数のプロセッサによって実行されたときに、該一つまたは複数のプロセッサに:モデルセンサーデータのモデルサンプルの一つまたは複数の集合にアクセスする段階であって、各集合は、一つまたは複数の注釈のうちのある注釈に対応する一つまたは複数のモデルサンプルを含む、段階と;各集合について、下記の諸段階、すなわち:各集合の各モデルサンプルをモデル最小項として表し、モデル最小項の集合を生じる段階;モデル最小項の集合からモデル特性関数を生成する段階であって、前記モデル特性関数は、所与の最小項が前記モデル最小項の集合の要素であるかどうかを示す、段階;および前記モデル特性関数に注釈付けして、注釈付けされたモデル特性関数を生じる段階、を実行して、一つまたは複数の注釈付けされたモデル特性関数を生じる段階と;前記一つまたは複数の注釈付けされたモデル特性関数から一般モデル特性関数を生成する段階とを実行させる、媒体。モデルサンプルに基づいて測定データのサンプルに注釈付けするために、二進データが与えられたときに該二進データがある集合に属するか否かを示す特性関数として表されたサンプルに注釈付けするための一般モデル特性関数を、モデルサンプルから生成する、一つまたは複数のプロセッサによって実行される方法であって、一つまたは複数の注釈のうちのある特定の注釈に対応する一つまたは複数のモデルサンプルを含む集合について、各モデルサンプルを、データのビットを表す変数を相補演算子および/または合接演算子のみを用いて結合した論理式であるモデル最小項として表して、サンプルの集合からモデル最小項の集合を生じる段階と;モデル最小項の集合からモデル特性関数を生成する段階であって、前記モデル特性関数は、最小項が与えられたときに該最小項が前記モデル最小項の集合の要素であるか否かを示す、段階と;前記特定の注釈を表すブール変数と前記モデル特性関数との積を取ることにより、前記モデル特性関数に注釈付けして、注釈付けされたモデル特性関数を生じる段階であって、前記注釈付けされたモデル特性関数は、測定データのサンプルが前記特定の注釈によって示される範疇に属するか否かを示す、段階と;モデルサンプルの一つまたは複数の集合について生成された一つまたは複数の注釈付けされたモデル特性関数から一般モデル特性関数を生成する段階とを含む、方法。請求項16記載の方法であって、さらに:測定データの複数のサンプルを表す特性関数を受領する段階と;前記一般モデル特性関数を使って前記複数のサンプルに注釈付けする段階とを含む、方法。本発明によれば、データ処理のための従前の技術にまつわる欠点や問題が軽減または解消されうる。ある種の実施形態によれば、モデルセンサーデータのモデルサンプルの一つまたは複数の集合がアクセスされる。各集合は、一つまたは複数の注釈のうちのある注釈に対応する一つまたは複数のモデルサンプルを含む。各集合について、以下のことが実行されて、一つまたは複数の注釈付けされたモデル特性関数が与えられる:各集合の各モデルサンプルをモデル最小項mintermとして表し、モデル最小項の集合を与える;モデル最小項の集合からモデル特性関数を生成する。モデル特性関数は、所与の最小項が前記モデル最小項の集合の要素であるかどうかを示す;モデル特性関数に注釈付けして、注釈付けされたモデル特性関数を与える。一般モデル特性関数が前記一つまたは複数の注釈付けされたモデル特性関数から生成される。本発明のある種の実施形態は、一つまたは複数の技術的利点を提供しうる。ある実施形態の技術的利点は、センサーデータが、二分決定図として記憶できる特性関数によって表現されうるということでありうる。ある実施形態のもう一つの技術的利点は、検索クエリーがクエリー関数によって表現されうるということでありうる。検索クエリーおよび特性関数は、検索クエリーを満たすセンサーデータのセンサー値を得るために使用されうる。ある実施形態のもう一つの技術的利点は、特定の注釈のためのモデルセンサーデータが特定の注釈付けされたモデル特性関数によって表現されうるということでありうる。前記注釈付けされたモデル特性関数は、ある特性関数と組み合わされて、該特性関数に前記注釈で注釈付けしてもよい。ある実施形態のもう一つの技術的利点は、ブール関数が算術関数に変換されうるということでありうる。該算術関数からハッシュ符号が計算されうる。ハッシュ符号が等しければ、ブール関数は等価として示されうる。本発明のある種の実施形態は、上記の技術的利点のいずれも含まないこともあれば、一部を含むこともあれば、全部を含むこともありうる。一つまたは複数の他の技術的利点は、図面、詳細な説明および請求項から当業者にはすぐ明白となりうる。本発明の諸実施形態およびその利点は、図1ないし図5を参照することによって最もよく理解される。同様の参照符号がさまざまな図面の同様の対応する部分に使われている。図1は、センサーデータを処理するために使用されうるシステム10の例を示している。ある種の実施形態では、システム10は、二分決定図として記憶されることのできる特性関数によってセンサーデータを表現しうる。ある種の実施形態では、システム10はクエリー関数によって検索クエリーを表しうる。検索クエリーおよび特性関数は、検索クエリーを満足するセンサーデータのセンサー値を得るために使用されうる。ある種の実施形態では、システム10は、特定の注釈アノテーションについてのモデルセンサーデータを、特定の注釈付けされたモデル特性関数によって表現してもよい。前記注釈付けされたモデル特性関数は、ある特性関数と組み合わされて、その特性関数を前記注釈で注釈付けしてもよい。ある種の実施形態では、システム10は、ブール関数特性関数のようなを算術関数に変換しうる。該算術関数からハッシュ符号が計算されうる。ハッシュ符号が等しければ、ブール関数は等価として示されうる。図示した実施形態において、システム10は、インターフェースIF20、コンピューティングシステム22、メモリ24およびセンサーシステム28を図のように結合された形で含む。コンピューティングシステム22は一つまたは複数のプロセッサ29を含む。論理26は二分決定図BDD生成器30、クエリーエンジン32、モデルエンジン34および署名エンジン36を含み、コンピューティングシステム22および/またはメモリ24によって格納されていてもよい。メモリ24はセンサーデータ40およびBDDライブラリ41を記憶する。センサーシステム28は一つまたは複数のセンサー50を含む。ある種の実施形態では、センサーシステム28のセンサー50は、特徴医療または環境上の特徴のようなを測定して測定データ医療上または環境上の測定値のようなを与え、該測定データがコンピューティングシステム22に送られる。測定データは典型的には数値として表現される。センサー50の例は、医療、環境および/または他の好適なセンサーを含みうる。医療センサーは患者の医学的状態の一つまたは複数の特徴を測定するために使用されうる。医療センサーは医療モニタ、医療実験室設備、治療設備、医療撮像機械および/または他の医療センサーを含んでいてもよい。医療センサーの例は、心電図ECGセンサー、血圧センサーおよび/またはパルスオキシメトリーセンサーを含む。心電図センサーは皮膚電極を通じて時間を追って心臓の電気的活動を記録する。心電図センサーは心拍のトレーシング追跡図を出力しうる。通常の心拍のトレーシングは典型的にはP波、QRX群R波を含むおよびT波を含む。サンプルはトレーシングの任意の好適な特徴を記録しうる。たとえば、サンプルは、相続く心拍の特徴間の間隔を記録してもよい。たとえば、二つの連続するR波の間の間隔である。間隔は、心拍数およびその変動性についての情報を抽出するために使われてもよい。血圧センサーは、血圧を測定するために脈圧計を使ってもよい。測定データは水銀柱ミリメートルmmHgの単位の収縮期および/または拡張期の値を含んでいてもよい。ある種の事例では、血圧は、昼夜を通じて定期的な間隔で測定されてもよい。パルスオキシメトリーセンサーは、ヘモグロビンの酸素との結合を測定するために使われてもよい。パルスオキシメーターは皮膚上指先などに位置され、赤色および赤外線の波を送出する。それらの電磁波の吸収が、酸素飽和度を判別するために測定されうる。パルスオキシメーターは、酸素飽和度を0パーセントから99パーセントの百分率として出力してもよい。環境センサーは、たとえば地理的な位置、気圧、標高および/または温度といった環境上の特徴を測定してもよい。環境センサーの例は、位置を決定する全地球測位システムGPSGlobalPositioningSystem、大気圧を測定する気圧計、高度を測定する高度計および温度を測定する温度計を含む。センサーデータ40はいかなる好適な情報を含んでいてもよい。ある種の実施形態では、センサーデータ40は、一つまたは複数のセンサー50によって取られた測定データを記録する。センサーデータ40は、いかなる好適なフォーマットを有していてもよいサンプルを含んでいてもよい。ある種の実施形態では、サンプルのフォーマットは、一つまたは複数のデータパラメータを有するタプルまたは順序付けられた集合であってもよく、特定のサンプルは前記一つまたは複数のデータパラメータについての一つまたは複数の値のタプルであってもよい。たとえば、タプルフォーマットはデータパラメータとして時間tおよび圧力pを有しうる。特定のサンプルは時刻t0において測定された圧力p0の値を有しうる。タプルフォーマットは、一つまたは複数のセンサーパラメータおよび/または一つまたは複数の試験パラメータといった、いかなる好適なデータパラメータを含んでいてもよい。センサーパラメータは一つまたは複数のセンサー50に対応してもよく、センサー値は、一つまたは複数のセンサー50によって取られた一つまたは複数の測定データを記録してもよい。たとえば、センサー値はセンサー50によって取られた測定値を記録してもよい。試験パラメータは、測定プロセスの時間的、空間的および/または環境上の特徴を記述する因子に対応してもよく、試験値は、測定データが取られるときの特徴の値を記録してもよい。たとえば、該パラメータは時間であってもよく、該パラメータ値は測定データが取られる特定の時刻を記録してもよい。時間的特徴の例は時間を含み、時間は絶対時間として表現されてもよいしたとえば2010年5月25日午後200、相対時間として表現されてもよいたとえば開始時刻から経過した時間または終了時刻までの残り時間。空間的特徴の例は、地理的位置これは緯度、経度および/または高度を含みうる、身体たとえば人体上の位置および位置の種別たとえば田舎または都会といった位置を含む。環境上の特徴の例は、温度たとえば気温または体温のような環境の物理的な特性を記述する。モデルセンサーデータ40は、測定データから得られるセンサーデータを、該データを範疇分けするために注釈付けするために使用されうるセンサーデータを記述する。たとえば、ある種のモデルセンサーデータは正常または同様のものという注釈をもって範疇分けおよび注釈付けされてもよく、一方、他のセンサーデータは異常または同様のものという注釈をもって範疇分けおよび注釈付けされてもよい。正常モデルセンサーデータに一致する測定から得られるセンサーデータは正常と範疇分けされてもよく、異常モデルセンサーデータに一致する測定されたセンサーデータは異常と範疇分けされてもよい。いかなる好適な注釈付けが使用されてもよい。ある種の実施形態では、医学的注釈が医療センサーデータを範疇分けするために使われてもよい。医学的注釈の例は、正常センサーデータについての正常という注釈および異常センサーデータについての異常という注釈を含みうる。医学上の注釈の他の例は、特定の疾病、状態、徴候、重大さおよび/または医療センサーデータの他のカテゴリーについての注釈を含んでいてもよい。ある種の実施形態では、環境上の注釈は環境センサーデータを範疇分けするために使用されてもよい。環境上の注釈の例は、正常センサーデータの正常注釈および異常センサーデータの異常注釈を含んでいてもよい。環境上の注釈の他の例は、特定の気象条件、地理的特徴、社会的条件および/または環境センサーデータの他のカテゴリーについての注釈を含んでいてもよい。モデルセンサーデータはモデルサンプルを含む。モデルサンプルは一つまたは複数のモデルセンサー値のタプルを含む。モデルセンサー値は、一つまたは複数のセンサーによって取られることのできた一つまたは複数の測定を表す。モデルサンプルは、それが属する範疇カテゴリーを示すために、注釈をもって注釈付けされてもよい。二分決定図ライブラリ41は二分決定図を記憶する。ある種の実施形態では、二分決定図BDDbinarydecisiondiagramは、ブール関数fを表現するために使用されうる、根のある有向非環状グラフDAGdirectedacyclicgraphである。BDDは、非端末ノードまたは決定ノードおよび端末ノードのようなノードを含む。ここで、端末ノードはルートノードを含む。非端末ノードは部分関数fに対応し、ブール変数v=xiによってラベル付けされる。非端末ノードは、子ノードをポイントする、出ていく1エッジおよび出ていく0エッジを有する。1エッジは関数vfを表す部分BDDをポイントし、0エッジは関数 ̄vfを表す部分BDDをポイントする ̄vは ̄付きのvを示す。換言すれば、1エッジはvの1への割り当てを表し、0エッジはvの0への割り当てを表す。端末ノードは、それぞれブール関数0および1を表す0端末および1端末を含む。ルートノードから1端末への経路は、表現されるブール関数を1に設定する一組の変数割り当てを表す。ルートノードから0端末への経路は、表現されるブール関数を0に設定する一組の変数割り当てを表す。ある種の実施形態では、BDDは冗長な決定ノードおよび部分グラフ同型を剥ぎ取られる。ある種の実施形態では、順序付けられた二分決定図OBDDorderedbinarydecisiondiagramは、ルートノードから端末ノードへのすべての経路が同じ順序で変数を調べるBDDである。OBDDは、正準的な表現を許容しうる。BDDの他の例は、縮小された順序付けられたBDDROBDDreducedorderedBDD、分割された順序付けられた二分決定図POBDDpartitionedorderedbinarydecisiondiagram、零抑制された決定図ZDDzerosuppresseddecisiondiagram、ナノ二分決定図nanoDDnanobinarydecisiondiagram、零抑制されたナノ二分決定図nanoZDDzerosuppressednanobinarydecisiondiagram、他の好適な二分決定図および/または上記の任意のものの組み合わせを含む。ROBDDでは、同型の部分グラフが存在せず、BDDのルートノードから端末ノードへの変数の順序はすべての経路について同じである。ZDDでは、ノードが負のリテラルである場合には、そのノードは除外される。他のRBDDでは、ノードの両方のエッジが同じノードをポイントする場合には、そのノードは除外される。他の型のBDDの例は以下でより詳細に記述する。ある種の実施形態では、BDDライブラリ41のノード構造は、各二値変数についての情報およびその変数の二つの可能な評価に対応するノードへのインデックスのような、任意の好適な情報を含む。BDDライブラリ41はまた、前記インデックスの一つの相補化complementationについての情報をも含んでいてもよい。ある種の実施形態では、BDDライブラリ41は、前記情報をコンパクトに記憶してもよい。ある種の実施形態では、BDDライブラリ41は、BDDのサイズの関数としてのインデックスおよび変数識別子を維持してもよい。たとえば、BDDは、BDDライブラリ41によって実行される一部または全部の操作を通じて、高々kのノードを有していてもよい。BDDの各頂点バーテックスは、高々v個の変数識別子の一つを用いてラベル付けされうる。したがって、ノードへのインデックスは、任意の変数にインデックス付けするために、高々┌log┐ビットを必要とする┌┐は天井関数。したがって、ノードは2┌log┐┌log┐ビットしか要求しない。さらに、2ビットがリザーブされてもよい。相補化されたエッジを同定するために使われる一ビットと、ガーベッジコレクションの間に使用される一般的なマークビットとして使用されるさらなる一ビットである。vおよびkについての値はいかなる好適な仕方で決定されてもよい。一例として、ユーザーがvを指定してもよく、デフォルトのk値が初期に使用されてもよい。デフォルトのk値によって許容されるアドレス空間が使い尽くされたときは、k値は増加させてもよく、ノードテーブルが再構築されてもよい。もう一つの例として、vおよびkについての最大値が想定されてもよい。ある種の実施形態では、BDD生成器30が一つまたは複数のセンサーによって取られる測定を記録するセンサーデータのサンプルの集合にアクセスする。BDD生成器30は各サンプルを最小項として表して最小項の集合を与える。BDD生成器30はそれらの最小項から特性関数を生成する。特性関数は、所与の最小項が該最小項の集合の要素であるかどうかを示す。ある種の実施形態では、集合Sの特性関数fSは、所与の自然数最小項によって表されるが集合Sの要素であるかどうかを示す。ある種の実施形態では、集合S⊂INの特性関数は、ベクトルxがSの要素の二進表現である場合にかつその場合にのみ1となるブール関数であってもよい。たとえば、S=13について、f=f=0であり、f=f=1である。最小項mintermは、相補complement演算子と合接conjunction演算子のみを用いるn変数の論理式である。n変数のブール関数については、最小項は、n個の変数のそれぞれが相補化されたまたは相補化されない形で一度現れる積の項である。ある種の実施形態では、クエリーエンジン32は、センサーデータのサンプルの集合の検索のための検索クエリーを受け取る。検索クエリーは、一つまたは複数のパラメータの一つまたは複数の要求される値を示す。サンプルは、所与の二進表現が前記サンプルの集合のサンプルを表すかどうかを示す特性関数によって表される。クエリーエンジン32は、要求された値を表すクエリー関数を定式化する。クエリーエンジンはそのクエリー関数および前記特性関数を使って、一つまたは複数の要求された値をもつ一つまたは複数のサンプルを同定する。ある種の実施形態では、モデルエンジン34はモデルセンサーデータのモデルサンプルの一つまたは複数の集合にアクセスする。各集合は、一つまたは複数の注釈のうちの対応する注釈についてのモデルサンプルを含む。モデルエンジン34は、各集合について以下のことを実行して、一つまたは複数の注釈付けされたモデル特性関数を与える:各集合の各モデルサンプルをモデル最小項として表し、モデル最小項の集合を与える;それらのモデル最小項からモデル特性関数を生成する。特性関数は、所与の最小項が前記モデル最小項の集合の要素であるかどうかを示す;モデル特性関数に注釈付けする。モデルエンジンは、前記注釈付けされたモデル特性関数から、一般モデル特性関数を生成する。ある種の実施形態では、署名エンジン36が第一のブール関数および第二のブール関数を、第一および第二の特性関数として受け取る。署名エンジン36は第一および第二のブール関数を変換して、それぞれ第一および第二の算術関数を生成する。署名エンジン36は、第一および第二の算術関数に同じ入力を与えてそれぞれ第一および第二のハッシュ符号または署名を計算する。第一のハッシュ符号が第二のハッシュ符号に等しい場合、署名エンジン36は第一および第二のブール関数を等価として示す。そうでない場合には、署名エンジン36は第一および第二のブール関数を等価ではないとして示す。ある種の実施形態では、インターフェース20が任意の好適な入力装置を使ってたとえばユーザーから入力を受け取り、その入力をコンピューティングシステム22に通信する。インターフェース20はコンピューティングシステム22から出力を受け取って、その出力を任意の好適な出力装置を使ってコンピューティングシステム22に通信する。図2は、センサーデータを特性関数によって表現する方法の例を示している。本方法は、BDD生成器30によって実行されてもよい。本方法において、ステップ110において、センサーデータ40がアクセスされる。センサーデータ40はセンサー50によって取られた測定データを記録している。たとえば、センサーデータ40は第一のセンサー50によって1ヘルツの頻度でおよび第二のセンサー50によって60ヘルツの頻度で取られた測定データを記録してもよい。ステップ114においてセンサーデータ40からサンプルの集合Sが生成される。ある種の実施形態では、各サンプルは一つまたは複数のセンサー値のタプルを含む。各センサー値は、試験パラメータのある試験値において、一つまたは複数のセンサーによって取られた一つまたは複数の測定データを記録する。試験パラメータは時間、温度または位置を表していてもよい。サンプルタプルは前記試験値をも含んでいてもよい。集合Sはいかなる好適な仕方で生成されてもよい。ある種の実施形態では、センサー50のサンプリング周波数および/または所望される精度に基づいて、時間が量子化されてもよい。各時間tiについて、センサー値の集合が得られ、S=が与えられる。ここで、qijは時刻iにおけるセンサーjからの量子化された入力である。ステップ118において各サンプルは最小項として表現される。サンプルは、いかなる好適な仕方で最小項として表現されてもよい。ある種の実施形態では、一つまたは複数の変数がサンプルの各データ値たとえば試験値またはセンサー値に割り当てられる。たとえば、Nt個の変数たとえばNt=32が時間について割り当てられてもよく、Ns1個の変数たとえばNs1=8が第一のセンサーについて割り当てられてもよく、NS2個の変数たとえばNs2=8が第二のセンサーについて割り当てられてもよい。この例では、サンプルは、t1...tNts11...sNs11...s12...sNs22の形の最小項、たとえばt1t2...t32s11...s81...s12...s82に対応する。各センサー値は、割り当てられた変数を使って二進数として表現される。今の例では、Sの部分集合はであってもよい。関係した最小項は000000000000000000000000000000010100011000000011000000000000000000000000000000100100011000000011000000000000000000000000000000110100011000000100となる。ステップ122においてこれらの最小項から特性関数fSが生成される。特性関数fSは、所与の最小項が最小項の集合の要素であるかどうかを示す。特性関数fSはいかなる好適な仕方で最小項から生成されてもよい。ある種の実施形態では、論理演算が最小項に適用されて特性関数fSを生成してもよい。論理演算は、AND、OR、XORおよびNOTのうちの一つまたは任意の二つ以上の論理的な組み合わせであってもよい。ある種の実施形態では、特性関数fSを生成するために、論理OR演算がそれらの最小項に適用されてもよい。論理OR演算をいくつかのオペランドに適用すると、オペランドの論理和が与えられる。対応する特性関数はすべての最小項の論理的ORである。ステップ126においてセンサーデータ40の次のサンプルがあってもよい。たとえば、センサーデータ40に、より新しい、またはより最近のサンプルがあってもよい。次のサンプルがある場合、方法はステップ114に戻って、次のサンプルの次の集合Sを生成する。次のサンプルがない場合、方法はステップ130に進む。ステップ130において特性関数fSは次のサンプルを使って更新される。特性関数fSはいかなる好適な仕方で更新されてもよい。ある種の実施形態では、ステップ114ないし122と同様のステップが実行されてもよい。それらの実施形態では、次のサンプルの集合が生成されてもよい。各次のサンプルが次の最小項として表現されてもよい。特性関数fSは、それらの次の最小項を使って更新されてもよい。たとえば、論理演算論理OR演算のようなが特性関数fSおよびそれらの次の最小項に適用されて、更新された特性関数fSを与えてもよい。ステップ134において、特性関数fSが報告される。特性関数fSはいかなる好適な仕方で報告されてもよい。たとえば、BDD生成器30はインターフェース20における特性関数fSの表示を容易にしてもよい。図3は、特性関数によって表されたセンサーデータを問い合わせする方法の例を示している。本方法は、BDD生成器30によって実行されてもよい。本方法では、ステップ210において検索クエリーが受領される。検索クエリーはセンサーデータ40のサンプルの集合の検索を要求し、いかなる好適なフォーマットを有していてもよい。ある種の実施形態では、検索クエリーは、一つまたは複数のデータパラメータの一つまたは複数の要求される値を指示してもよく、要求された値を満たすサンプルの取得を要求してもよい。データパラメータは、センサーに対応するセンサーパラメータおよび/またはたとえば空間的、時間的および/または地理的特徴を記述する試験パラメータであってもよい。センサーデータ40のサンプルは、所与の二進表現が前記サンプルの集合のサンプルを表しているかどうかを示す特性関数によって表されていてもよい。ステップ214において要求される値を表すクエリー関数fRが定式化される。クエリー関数fRは、要求された値をもつ特性関数によって表現されたサンプルを同定するために使用されてもよい。クエリー関数fRはいかなる好適な仕方で定式化されてもよい。ある種の実施形態では、各要求された値は要求された最小項として表現されてもよく、要求された最小項からレンジ範囲クエリー関数fRが定式化されてもよい。たとえば、要求された値がt=128ないし255である場合、クエリー関数はとなる。もう一つの例として、二値変数のベクトルxにおいて表現されている数がvalue以上であるときに1を与えるブール関数THvalueのBDDを生成するために下記の方法が使われてもよい。たとえば、THvalueはTH5=0TH5=0TH5=0TH5=0TH5=0TH5=1TH5=1TH5=1であってもよい。本方法によれば、ブール関数THvalueのBDDはBDDthresholdresult1whilebitsbits-1ifresult=resultANDvarbitselseifresult=resultORvarbitsvalue=value2returnresultによって生成されてもよい。生成されたBDDは、二値変数のベクトルxにおいて表現されている数がvalue以上であるインスタンスの数を数えるために使用されてもよい。もう一つの例として、センサーjがAからBまでの間の値をもつサンプルが要求される場合、次のクエリー関数が使用されてもよい:もう一つの例として、要求される値がすべてのセンサー値である場合、クエリー関数はブランクであってもよい。ステップ218において、クエリー関数および特性関数が使用されて検索結果が生じる。クエリー関数および特性関数はいかなる好適な仕方で使用されてもよい。ある種の実施形態では、クエリー関数および特性関数は、それらの関数に論理演算論理AND演算のようなを適用することによって論理的に組み合わされてもよい。たとえば、特性関数fSはクエリー関数とANDされてもよい。いくつかのオペランドに論理AND演算を適用することは、それらのオペランドの論理積を与えうる。検索結果は、要求された値をもつ一つまたは複数のサンプルであってもよいし、あるいは要求された値をもつサンプルの数であってもよい。ある種の実施形態では、要求された値をもつサンプルの数が決定されてもよい。その数は、いかなる好適な仕方で決定されてもよい。たとえば、ブール関数THvalueは、二値変数のベクトルxにおいて表現されている数がvalue以上であるときに1を与えてもよい。THvalueを表すBDDが1を与えるインスタンスの数を数えて、xがvalue以上であるインスタンスの数を決定してもよい。ステップ222において、検索結果が報告される。検索結果はいかなる好適な仕方で報告されてもよい。たとえば、検索結果は二分決定図として表現されてもよい。図4は、特性関数に注釈付けする方法の例を示している。本方法は、モデルエンジン34によって実行されてもよい。本方法において、ステップ310において、モデルセンサーデータがアクセスされる。ある種の実施形態では、モデルセンサーデータ40のモデルサンプルの一つまたは複数の集合がアクセスされてもよい。各集合は、一つまたは複数の注釈のうちの対応する注釈についてのモデルサンプルを含む。ステップ314において、注釈aiについて、注釈付けされたモデル特性関数faiが生成される。注釈付けされたモデル特性関数faiは、一つまたは複数の注釈で注釈付けされたモデルサンプルを表す。注釈付けされたモデル特性関数faiは、その注釈によって示される範疇に属する測定されたサンプルを同定/識別するために使用されてもよい。注釈付けされたモデル特性関数faiはいかなる好適な仕方で生成されてもよい。ある種の実施形態では、注釈aiの各モデルサンプルはモデル最小項として表現されてもよく、モデル特性関数faiは、モデル最小項から、たとえばそれらの最小項に論理演算論理OR演算のようなを適用することによって、生成されてもよい。モデル特性関数faiは、所与の最小項がそれらのモデル最小項の要素であるかどうかを示す。本実施形態において、モデル特性関数faiは注釈付けされて、注釈付けされたモデル特性関数faiを生じてもよい。モデル特性関数faiはいかなる好適な仕方で注釈付けされてもよい。ある種の実施形態では、注釈aiを表現するためにブール変数が使用される。そのブール変数およびモデル特性関数に対して数学的演算積演算のようなが適用されて注釈付けされたモデル特性関数が生成されもよい。ある例示的なシナリオでは、時間は32ビット分解能をもち、センサーは8ビット分解能をもつ。時間031におけるk番目のセンサーの値64127は、正常normal属性を用いてのように注釈付けされる。一例では、これは時間を表す32ビットのうちのビットt31t30...t6t5が0で、k番目のセンサーを表す8ビットのうちのビットs7が0で、ビットs6が1であることを表しているものと読める。ステップ316において次の注釈ai1があってもよい。次の注釈ai1がある場合、方法はステップ314に戻って次の注釈ai1についてのモデル特性関数fai1を生成する。次の注釈ai1がない場合には、方法はステップ318に進む。ステップ318において、注釈付けされたモデル特性関数faから一般モデル特性関数gが生成される。一般モデル特性関数gは、一部またはすべてのセンサーデータ40を表してもよい。一般モデル特性関数gは、所与の特性関数のサンプルに注釈付けするために使用されてもよい。これについては下記でより詳細に述べる。一般モデル特性関数gはいかなる好適な仕方で生成されてもよい。ある種の実施形態では、のように、注釈付けされたモデル特性関数faに論理演算論理OR演算のようなが適用されて、一般モデル特性関数gを生じてもよい。ステップ322において、センサーデータ40のサンプルを表す特性関数fSが受領される。それらのサンプルは、326において、一般モデル特性関数gを使って注釈付けされる。それらのサンプルはいかなる好適な仕方で注釈付けされてもよい。ある種の実施形態では、fQ=fSgのように、特性関数および一般モデル特性関数に数学的演算積演算のようなが適用されてサンプルに注釈付けしてもよい。注釈付けされた特性関数fQは、注釈を持って注釈付けされた特性関数gのサンプルを表す。コア演算が、注釈付けされた特性関数fQに対して実行されてもよい。ある種の実施形態では、注釈付けされた特性関数fQは、特定の注釈をもつサンプルを同定するために問い合わせされてもよい。たとえば、密度クエリーは、特定の注釈をもつとして注釈付けされたデータポイントの割合についての情報を提供することができる。もう一つの例として、特定の注釈をもつデータポイントの時間範囲が計算できる。クエリー/問い合わせは、本稿に記載されるのと実質的に同様な仕方など、いかなる好適な仕方で実行されてもよい。たとえば、所与の注釈を表すクエリー関数が定式化されてもよい。クエリー関数および注釈付けされた特性関数が次いで組み合わされてそれらのサンプルを同定してもよい。ステップ330において、結果が報告される。結果は、いかなる好適な仕方で報告されてもよい。たとえば、結果は、インターフェース20を通じて報告されてもよい。図5は、ブール関数特性関数のようなが等価であるかどうかを判定する方法の例を示している。本方法は、署名エンジン36によって実行されてもよい。ステップ410において、署名エンジン36は第一のブール関数および第二のブール関数を受け取る。ステップ414において、第一のブール関数および第二のブール関数はそれぞれ第一の算術関数および第二の算術関数に変換される。それらのブール関数はいかなる好適な仕方で変換されてもよい。たとえば、変換は、規則XANDY→X×YXORY→XY-X×YNOT→1-XXANDX等冪→X×X=X;Xk=Xのうちの一つまたは複数に従って実行されてもよい。ここで、→はは右のように変換されるを表し、ANDは論理積を表し、ORは論理和を表し、NOTは論理的否定を表し、XANDXは等冪を表し、×は乗算を表し、は加算を表し、上付き文字は冪指数を表す。たとえば、ブール関数F=XORYである場合、算術関数AF=XY-X×Yとなる。ある種の実施形態では、有限整数体がサイズpをもつ場合、上記算術はpを法として実行される。ある種の場合には、ブール関数B1およびB2の論理的な組み合わせについてハッシュ符号Hが決定されてもよい。ハッシュ符号Hはハッシュ符号H1およびH2の算術的な組み合わせから決定されてもよい。ここで、H1はブール関数B1のハッシュ符号であり、H2はブール関数B2のハッシュ符号である。たとえば、直交性の定理が適用されてもよい。ブール関数B1とB2が時間的に重ならない場合、B1∨B2についてのハッシュ符号H=H1H2=Hである。ステップ418において、同じ入力が第一の算術関数および第二の算術関数に与えられてそれぞれ第一のハッシュ符号および第二のハッシュ符号が計算される。いかなる好適な入力が使用されてもよい。ある種の実施形態では、入力はランダムに生成された整数であってもよい。今の例では、入力X=5、Y=7が算術関数AF=XY-X×Yに与えられれば、ハッシュ符号はAF=57-5×7=-23となる。ステップ422において、第一および第二のハッシュ符号が比較される。ステップ426において、第一および第二のハッシュ符号は等しいこともあれば、等しくないこともある。等価な関数のハッシュ符号は同じであり、異なる関数のハッシュ符号はおそらく異なる。算術式がランダム化のもとで有限整数体において評価される場合、通りのブール関数のうちの任意の相異なる対は、ほぼ常に、相異なるハッシュ符号にマッピングされる。誤り確率はnであり、ここで、整数体Zp=01...p-1であり、pは素数である。素数pが大きくなると、誤り確率は減少し、事実上0に近くなりうる。したがって、より正確なハッシュ符号のためにはより大きな素数pを選択してもよく、それほど正確でないハッシュ符号を与えるにはより小さな素数pを選択してもよい。ある種の実施形態では、精度を改善するために複数のハッシュ符号が反復的に生成されてもよい。各ランごとに誤りは指数関数的に減少する。kラン後には、誤りe≦kとなる。ステップ426において第一のハッシュ符号が第二のハッシュ符号に等しい場合、本方法はステップ430に進み、署名エンジン36は第一のブール関数と第二のブール関数が等価であると示す。第一のハッシュ符号が第二のハッシュ符号に等しくない場合、本方法はステップ434に進み、署名エンジン36は第一のブール関数と第二のブール関数を等価でないとして示す。ステップ438において、結果が報告される。結果はインターフェース20を使って報告されてもよい。本方法の例は、いかなる好適な用途において使用されてもよい。一例として、ハッシュ符号は、ブール関数またはBDDの通信リンク有線および/または無線を通じたネットワークノード基地局などへの通信を検証するために使用されてもよい。送信側ノードはブール関数およびそれらのブール関数のハッシュ符号を、それらのブール関数のデータのK個のブロックの後毎に、受信側ノードに送ってもよい。それらのハッシュ符号は暗号化されてもよい。複数のハッシュ符号が送られてもよいし、同じハッシュ符号が複数回送られてもよい。受信側ノードはブール関数についてのハッシュ符号を計算し、計算されたハッシュ符号を、そのブール関数と一緒に受信されたハッシュ符号と比較してもよい。それらのハッシュ符号が同じである場合には、受信側ノードは、そのブール関数が有効である、たとえば適正に受信されたと判定してもよい。そうでない場合には、受信側ノードは、そのブール関数が有効でない、たとえば適正に受信されておらず、壊れている可能性があると判定してもよい。もう一つの例として、ブール関数またはBDDとして記憶されたデータにマーク付けしておいてのちに有効確認するために、ハッシュ符号が使用されてもよい。ブール関数についてハッシュ符号が計算されてもよく、そのブール関数と一緒にまたは別個に記憶されてもよい。後刻、ブール関数は記憶されているハッシュ関数を使って有効確認されてもよい。新しいハッシュ符号がブール関数について計算され、記憶されているハッシュ符号と比較されてもよい。ハッシュ符号が同じである場合には、そのブール関数は、壊れていないなど、有効であると見なされてもよい。そうでない場合には、そのブール関数は、壊れているなど、無効であると見なされてもよい。より重要なデータにマーク付けするためにはより正確なハッシュ符号が使用されてもよく、それほど重要でないデータにマーク付けするためにはそれほど正確でないハッシュ符号が使用されもよい。携帯電話における記憶についてなど、処理パワーが制限されている場合、精度の劣るハッシュ符号が使用されてもよい。本発明の範囲から外れることなく、本稿で開示されるシステムおよび装置に対して修正、追加または省略がなされてもよい。システムおよび装置のコンポーネントは統合されていても分離されていてもよい。さらに、システムおよび装置の動作はより多数、より少数または別のコンポーネントによって実行されてもよい。たとえば、BDD生成器30およびクエリーエンジン32の動作が一つのコンポーネントによって実行されてもよく、あるいはBDD生成器30の動作が二つ以上のコンポーネントによって実行されてもよい。さらに、システムおよび装置の動作は、ソフトウェア、ハードウェアおよび/または他の論理を含むいかなる好適な論理を使って実行されてもよい。本稿において使用されるところでは、各とは、ある集合の各要素またはある集合の部分集合の各要素を指す。本発明の範囲から外れることなく、本稿で開示される方法に対して修正、追加または省略がなされてもよい。方法はより多数、より少数または別のステップを含んでいてもよい。さらに、ステップはいかなる好適な順序で実行されてもよい。本稿で開示されるシステムおよび装置のコンポーネントはインターフェース、論理、メモリおよび/または他の好適な要素を含んでいてもよい。インターフェースは入力を受け取り、出力を送り、入力および/または出力を処理し、および/または他の好適な動作を実行する。インターフェースはハードウェアおよび/またはソフトウェアを含んでいてもよい。論理は該コンポーネントの動作を実行する、たとえば入力から出力を生成するために命令を実行する。論理はハードウェア、ソフトウェアおよび/または他の論理を含んでもよい。論理は一つまたは複数の有形の媒体にエンコードされていてもよく、コンピュータによって実行されたときに動作を実行してもよい。プロセッサのようなある種の論理はコンポーネントの動作を管理してもよい。プロセッサの例は、一つまたは複数のコンピュータ、一つまたは複数のマイクロプロセッサ、一つまたは複数のアプリケーションおよび/または他の論理を含む。具体的な諸実施形態では、該実施形態の動作は、コンピュータプログラム、ソフトウェア、コンピュータ実行可能命令および/またはコンピュータによって実行されることのできる命令がエンコードされた一つまたは複数のコンピュータ可読媒体によって実行されてもよい。具体的な諸実施形態では、該実施形態の動作は、コンピュータプログラムを記憶する、コンピュータプログラムを具現されたおよび/またはコンピュータプログラムをエンコードされたおよび/または記憶された、ならびに/またはエンコードされたコンピュータプログラムを有する一つまたは複数のコンピュータ可読媒体によって実行されてもよい。メモリは情報を記憶する。メモリは一つまたは複数の非一時的な、有形の、コンピュータ読み取り可能および/またはコンピュータ実行可能な記憶媒体を含んでいてもよい。メモリの例は、コンピュータメモリたとえばランダムアクセスメモリRAMまたは読み出し専用メモリROM、大容量記憶媒体たとえば、ハードディスク、リムーバブル記憶媒体たとえば、コンパクトディスクCDまたはデジタルビデオディスクDVD、データベースおよび/またはネットワーク記憶装置たとえばサーバーおよび/または他のコンピュータ読み取り可能媒体を含む。システムおよび装置のコンポーネントはいかなる好適な通信ネットワークによって結合されてもよい。通信ネットワークは次のうちの一つまたは複数の全部または一部を含んでいてもよい:公衆電話交換網PSTN、公共または専用のデータネットワーク、ローカルエリアネットワークLAN、都市圏ネットワークMAN、広域ネットワークWAN、インターネットのようなローカル、地域的またはグローバルな通信もしくはコンピュータネットワーク、有線または無線のネットワーク、企業イントラネット、他の好適な通信リンクまたは上記のうちの任意のものの任意の組み合わせ。本開示はある種の実施形態の面で記載されているが、そうした実施形態の変更および入れ替えは当業者には明白であろう。したがって、実施形態の上記の記述は本開示を制約するものではない。請求項によって定義される本開示の精神および範囲から外れることなく、他の変更、置換および改変が可能である。以上の実施例を含む実施形態に関し、さらに以下の付記を開示する。付記1モデルセンサーデータのモデルサンプルの一つまたは複数の集合にアクセスする段階であって、各集合は、一つまたは複数の注釈のうちのある注釈に対応する一つまたは複数のモデルサンプルを含む、段階と;各集合について、下記の諸段階、すなわち:各集合の各モデルサンプルをモデル最小項として表し、モデル最小項の集合を生じる段階;モデル最小項の集合からモデル特性関数を生成する段階であって、前記モデル特性関数は、所与の最小項が前記モデル最小項の集合の要素であるかどうかを示す、段階;および前記モデル特性関数に注釈付けして、注釈付けされたモデル特性関数を生じる段階、を実行して、一つまたは複数の注釈付けされたモデル特性関数を生じる段階と;前記一つまたは複数の注釈付けされたモデル特性関数から一般モデル特性関数を生成する段階とを含む、方法。付記2付記1記載の方法であって、前記モデル特性関数に注釈付けすることがさらに:各集合に対応する注釈を表すブール変数と前記モデル特性関数との積を取って前記注釈付けされたモデル特性関数を生じることを含む、方法。付記3付記1または2記載の方法であって、前記一般モデル特性関数を生成する段階がさらに:前記一つまたは複数の注釈付けされたモデル特性関数に論理的OR演算を適用して前記一般モデル特性関数を生じることを含む、方法。付記4付記1ないし3のうちいずれか一項記載の方法であって、さらに:一つまたは複数のセンサーによって取られた複数の測定を記録するセンサーデータの複数のサンプルを表す特性関数を受領する段階と;前記一般モデル特性関数を使って前記複数のサンプルに注釈付けする段階とを含む、方法。付記5付記1ないし3のうちいずれか一項記載の方法であって、さらに:一つまたは複数のセンサーによって取られた複数の測定を記録するセンサーデータの複数のサンプルを表す特性関数を受領する段階と;前記特性関数および前記一般モデル特性関数に積関数を適用して前記複数のサンプルに注釈付けする段階とを含む、方法。付記6付記1ないし5のうちいずれか一項記載の方法であって、各モデルサンプルが一つまたは複数のモデルセンサー値のタプルを含み、各モデルセンサー値は一つまたは複数のセンサーによって取ることのできる一つまたは複数の測定を表す、方法。付記7付記1ないし6のうちいずれか一項記載の方法であって、前記モデルセンサーデータが一つまたは複数のセンサーによって取られる複数の測定を表す、方法。付記8メモリおよび一つまたは複数のプロセッサを有する装置であって、前記メモリはモデルセンサーデータのモデルサンプルの一つまたは複数の集合を記憶するよう構成されており、各集合は、一つまたは複数の注釈のうちのある注釈に対応し;前記一つまたは複数のプロセッサは:各集合について、下記の諸段階、すなわち:各集合の各モデルサンプルをモデル最小項として表し、モデル最小項の集合を生じる段階;モデル最小項の集合からモデル特性関数を生成する段階であって、前記モデル特性関数は、所与の最小項が前記モデル最小項の集合の要素であるかどうかを示す、段階;および前記モデル特性関数に注釈付けして、注釈付けされたモデル特性関数を生じる段階、を実行して、一つまたは複数の注釈付けされたモデル特性関数を生じる段階と;前記一つまたは複数の注釈付けされたモデル特性関数から一般モデル特性関数を生成する段階とを実行するよう構成されている、装置。付記9付記8記載の装置であって、前記モデル特性関数に注釈付けすることがさらに:各集合に対応する注釈を表すブール変数と前記モデル特性関数との積を取って前記注釈付けされたモデル特性関数を生じることを含む、装置。付記10付記8または9記載の装置であって、前記一般モデル特性関数を生成する段階がさらに:前記一つまたは複数の注釈付けされたモデル特性関数に論理的OR演算を適用して前記一般モデル特性関数を生じることを含む、装置。付記11付記8ないし10のうちいずれか一項記載の装置であって、前記一つまたは複数のプロセッサがさらに:一つまたは複数のセンサーによって取られた複数の測定を記録するセンサーデータの複数のサンプルを表す特性関数を受領する段階と;前記一般モデル特性関数を使って前記複数のサンプルに注釈付けする段階とを実行するよう構成されている、装置。付記12付記8ないし10のうちいずれか一項記載の装置であって、前記一つまたは複数のプロセッサがさらに:一つまたは複数のセンサーによって取られた複数の測定を記録するセンサーデータの複数のサンプルを表す特性関数を受領する段階と;前記特性関数および前記一般モデル特性関数に積関数を適用して前記複数のサンプルに注釈付けする段階とを実行するよう構成されている、装置。付記13付記8ないし12のうちいずれか一項記載の装置であって、各モデルサンプルが一つまたは複数のモデルセンサー値のタプルを含み、各モデルセンサー値は一つまたは複数のセンサーによって取ることのできる一つまたは複数の測定を表す、装置。付記14付記8ないし13のうちいずれか一項記載の装置であって、前記モデルセンサーデータが一つまたは複数のセンサーによって取られる複数の測定を表す、装置。付記15プログラムを記憶している一つまたは複数の非一時的なコンピュータ可読媒体であって、前記プログラムは、一つまたは複数のプロセッサによって実行されたときに、該一つまたは複数のプロセッサに:モデルセンサーデータのモデルサンプルの一つまたは複数の集合にアクセスする段階であって、各集合は、一つまたは複数の注釈のうちのある注釈に対応する一つまたは複数のモデルサンプルを含む、段階と;各集合について、下記の諸段階、すなわち:各集合の各モデルサンプルをモデル最小項として表し、モデル最小項の集合を生じる段階;モデル最小項の集合からモデル特性関数を生成する段階であって、前記モデル特性関数は、所与の最小項が前記モデル最小項の集合の要素であるかどうかを示す、段階;および前記モデル特性関数に注釈付けして、注釈付けされたモデル特性関数を生じる段階、を実行して、一つまたは複数の注釈付けされたモデル特性関数を生じる段階と;前記一つまたは複数の注釈付けされたモデル特性関数から一般モデル特性関数を生成する段階とを実行させる、媒体。付記16付記15記載の媒体であって、前記モデル特性関数に注釈付けすることがさらに:各集合に対応する注釈を表すブール変数と前記モデル特性関数との積を取って前記注釈付けされたモデル特性関数を生じることを含む、媒体。付記17付記15記載の媒体であって、前記一般モデル特性関数を生成する段階がさらに:前記一つまたは複数の注釈付けされたモデル特性関数に論理的OR演算を適用して前記一般モデル特性関数を生じることを含む、媒体。付記18付記15記載の媒体であって、さらに:一つまたは複数のセンサーによって取られた複数の測定を記録するセンサーデータの複数のサンプルを表す特性関数を受領する段階と;前記一般モデル特性関数を使って前記複数のサンプルに注釈付けする段階とを含む、媒体。付記19付記15記載の媒体であって、前記プログラムはさらに、前記一つまたは複数のプロセッサに:一つまたは複数のセンサーによって取られた複数の測定を記録するセンサーデータの複数のサンプルを表す特性関数を受領する段階と;前記特性関数および前記一般モデル特性関数に積関数を適用して前記複数のサンプルに注釈付けする段階とを実行させる、媒体。付記20付記15記載の媒体であって、各モデルサンプルが一つまたは複数のモデルセンサー値のタプルを含み、各モデルセンサー値は一つまたは複数のセンサーによって取ることのできる一つまたは複数の測定を表す、媒体。付記21付記15記載の媒体であって、前記モデルセンサーデータが一つまたは複数のセンサーによって取られる複数の測定を表す、媒体。付記22モデルサンプルに基づいて測定データのサンプルに注釈付けするために、二進データが与えられたときに該二進データがある集合に属するか否かを示す≪英文p17l2931≫特性関数として表されたサンプルに注釈付けするための≪付記4≫一般モデル特性関数を、モデルサンプルから生成する、一つまたは複数のプロセッサによって実行される方法であって、一つまたは複数の注釈のうちのある特定の注釈に対応する一つまたは複数のモデルサンプルを含む集合について、各モデルサンプルを、データのビットを表す変数を相補演算子および/または合接演算子のみを用いて結合した論理式であるモデル最小項として表して、サンプルの集合からモデル最小項の集合を生じる段階と;モデル最小項の集合からモデル特性関数を生成する段階であって、前記モデル特性関数は、最小項が与えられたときに該最小項が前記モデル最小項の集合の要素であるか否かを示す、段階と;前記特定の注釈を表すブール変数と前記モデル特性関数との積を取ることにより≪付記2≫、前記モデル特性関数に注釈付けして、注釈付けされたモデル特性関数を生じる段階であって、前記注釈付けされたモデル特性関数は、測定データのサンプルが前記特定の注釈によって示される範疇に属するか否かを示す≪英文p20l2225≫、段階と;モデルサンプルの一つまたは複数の集合について生成された一つまたは複数の注釈付けされたモデル特性関数から論理的OR演算により≪付記3≫一般モデル特性関数を生成する段階とを含む、方法。付記23付記22記載の方法であって、さらに:測定データの複数のサンプルを表す特性関数を受領する段階と;前記一般モデル特性関数を使って前記複数のサンプルに注釈付けする段階とを含む、方法。