【課題】ＳＡＴ（充足可能性問題）及びＣＮＦＳＡＴの構造を計算複雑性に関連する形で整理・抽出したデータ構造は存在しなかった。また上記データ構造をＣＮＦＳＡＴから構成する計算手法が存在しなかった。また、上記データ構造を用いてＣＮＦＳＡＴを計算する手法も存在しなかった。
【解決手段】ＣＮＦＳＡＴの節同士の相関・直交関係に従って節を分類・整理することにより計算複雑性を明らかにする。また、コンピュータにこの相関・直交関係の計算を効率的に行わせる機能を実現させるためのプログラムを用意することで、コンピュータにＣＮＦの計算複雑性の明確化やＣＮＦＳＡＴの計算を効率良く行わせることができるようになった。 （もっと読む）

【課題】充足可能性問題は、その対象となる式の構造により難易度が変わるが、ＳＡＴの式の対称性を活用して効率化する汎用性の高いＳＡＴ解法が存在しなかった。また、ＣＮＦをＨｏｒｎＣＮＦに変換するプログラムが存在しなかった。
【解決手段】ＣＮＦの持つ変数の対称性とリテラルの対称性を活用してＳＡＴを整理し、与えられた式をＨｏｒｎＣＮＦ相当に変換することとした。また、そのＨｏｒｎＣＮＦ相当に変換したＳＡＴを使用することで効率的に問題を解くこととした。 （もっと読む）

分散型マルコフ連鎖モンテカルロのための実施態様および技法の概要が開示されている。 （もっと読む）

移動時間データ容量からのＸ軸、Ｙ軸およびＺ軸に沿ったＸ、ＹおよびＺの値によって定められる平面上の単一の点のルンゲ−クッタ積分を介してデータを変換するための、システム、方法およびチップ。前記システムは、少なくとも１つのメモリーバンクと、少なくとも１つの代替のメモリーバンクと、および前記メモリーバンクと連絡する少なくとも１つの単一サイクルのルンゲ−クッタ移動時間発生器を含む。前記単一サイクルのルンゲ−クッタ移動時間発生器は、前記少なくとも１つのメモリーバンクからのデータを読み出し、半工程によって進められる積分による値の別の平面を作り出すために、移動時間データ容量および緩慢データにおけるＸ軸、Ｙ軸およびＺ軸に沿ったＸ、ＹおよびＺの値によって定められる平面の点上においてルンゲ−クッタ積分を行うことによって前記データを変換し、および前記データを、前記少なくとも１つの代替のメモリーバンクにライトバックする。 （もっと読む）

【課題】頂点彩色の問題を、解への到達確率を高く維持しつつ高速処理したい。
【解決手段】設定条件保持部１０は、各被割当対象ごとに自己以外の被割当対象のうち同一の割当対象の割り当てが制限される被割当対象を特定する情報を保持する。第１演算部４０は、設定条件保持部１０により保持される情報を参照して、同一の割当対象の割り当てが制限される被割当対象の数が複数の割当対象の数より少ない被割当対象を少なくとも一つ選択し、選択した被割当対象に対して設定条件にしたがい割当対象を割り当てる第１アルゴリズムを実行する。第２演算部５０は、複数の被割当対象のうち第１演算部４０により選択されていない被割当対象に対して、設定条件にしたがい割当対象を割り当てる、第１アルゴリズムと異なる第２アルゴリズムを実行する。 （もっと読む）

【課題】原像の導函数が増大する場合、または原像が原点で零でない場合においても、逆ラプラス変換の数値解を計算することができる逆ラプラス変換プログラム、逆ラプラス変換のためのテーブル作成プログラム、逆ラプラス変換の数値解算出プログラム、および逆ラプラス変換装置を提供する。
【解決手段】テーブル作成部４は、原点で零であり、かつ絶対連続な函数からなる重み付き再生核ヒルベルト空間上で、重み付き二乗可積分空間を観測空間としたチホノフ正則化法により導かれる第二種積分方程式を離散化して得られる連立方程式の解を求め、連立方程式の解に基づく第二種積分方程式の数値解を含む情報を記述したＨテーブルを作成する。逆変換部５は、Ｈテーブルを参照して、第二種積分方程式の数値解と軟化子函数を乗じたラプラス変換像との重み付き二乗可積分空間での内積を数値計算で求める。 （もっと読む）

【課題】ビリアル計算を行う回路の演算器数を削減し、回路規模を縮小することのできる二体間相互作用計算回路と、これを用いた多体問題計算装置を提供する。
【解決手段】二体間相互作用計算回路は、中心粒子iの座標、基本セルの大きさ、格子ベクトル、粒子jの座標を入力し、中心粒子iの座標と粒子jの座標を鏡像粒子に変換した座標との差分を計算する座標差分計算部３０１と、差分から距離の２乗を計算する距離の二乗計算部３０６と、距離の２乗から距離による相互作用の関数を計算する関数計算部３０７と、相互作用の関数と差分から力を計算する力の計算部３０８と、力から粒子ｉについての力の総和を計算する総和計算部３０９と、力の総和からビリアルを計算するビリアル計算部３１０と、を有する。 （もっと読む）

【課題】一変数実区間多項式Ｆに対して、その実重複擬零点全体の集合ＭＺ_Ｒ(Ｆ)を決定する。
【解決手段】実数の閉区間で表される区間数を係数とする一変数実区間多項式〔実区間多項式Ｆ〕に対して、集合Ｚ決定手段が、実区間多項式Ｆのエッジ多項式について、その実重複擬零点〔エッジ多項式に属する多項式の実重複零点〕全体の集合Ｚを求める。そして、集合ＭＺ_Ｒ(Ｆ)決定手段が、実数全体の集合に対する集合Ｚの補集合における全ての実区間Ｊごとに、各実区間Ｊ上で任意に１点γを選択して、この点γを実重複零点とする多項式が実区間多項式Ｆに存在するか否かを判定し、これが存在する場合の点γを含む実区間Ｊと集合Ｚとの和集合をとったものを、実区間多項式Ｆの実重複擬零点〔実区間多項式Ｆに属する多項式の実重複零点〕全体の集合ＭＺ_Ｒ(Ｆ)とする。 （もっと読む）

データの変換を効率的に実行するための技術が、記載される。１つのデザインでは、装置は、少なくとも１つのデータ値の第１グループと少なくとも１つの有理数ダイアディック定数の第１グループとの乗算を実行し、その定数は第１共通因数によりスケーリングされた少なくとも１つの無理数定数の第１グループを近似する。本装置は、さらに、少なくとも１つのデータ値の第２グループと少なくとも１つの有理数ダイアディック定数の第２グループとの乗算を実行し、その定数は第２共通因数によりスケーリングされた少なくとも１つの無理数定数の第２グループを近似する。各有理数ダイアディック定数は、ダイアディック分母を有する有理数である。少なくとも１つのデータ値の第１グループと第２グループとは、異なるサイズを有する。第１及び複数の共通因数は、乗算のための論理演算と算術演算の数、結果の精度、等、に基づいて選択されることができる。
（もっと読む）

【課題】球面に対して均等により近い点密度を持つ各点の座標を導出するといった煩雑な計算手続きを行う必要がなく、球面上に任意の数の点を球面上の点密度が均等に近い状態に配置する。
【解決手段】入力された数の点を一様乱数に基づいて決定した球面の座標に配置する（ステップＳ２０２）。そして、配置された点にその球面上にのみ移動可能という拘束条件を与え（ステップＳ２０３）、各点同士とその球の中心との中心角θを夫々算出して（ステップＳ２０４）、その中心角θを変数とする評価関数に基づいて各点を移動する（ステップＳ２０５〜Ｓ２０６）。 （もっと読む）

【課題】専用の演算器を用いることなく、座標の差分計算の高速化を図る。
【解決手段】本発明の座標差分演算装置は、制御部１、記憶部２〜４、選択部５、および演算部６から構成されている。記憶部２は、ｉ粒子のＸ座標であるＸｉの値を予め記憶し、記憶部３は、Ｘｉに基本セルのＸ軸方向の一辺の長さであるＬｘを加算した（Ｘｉ＋Ｌｘ）の値を予め記憶し、記憶部４は、ＸｉからＬｘを減算した（Ｘｉ−Ｌｘ）の値を予め記憶する。制御部１は、Ｘｉ，（Ｘｉ＋Ｌｘ），（Ｘｉ−Ｌｘ）の値のうち、ｉ粒子を含む微小セルとｊ粒子を含む微小セルとの距離が最小となるような値を選択させるための選択信号を出力する。選択部５は、制御部１から出力された選択信号に基づいて、Ｘｉ，（Ｘｉ＋Ｌｘ），（Ｘｉ−Ｌｘ）のいずれかの値を選択して出力する。演算部６は、制御部１から出力されたＸｊから、選択部５から出力された値を減算することでΔＸｊを演算する。 （もっと読む）

離散コサイン変換オペレーションを実行する単一ステージの計算方法が、提供される。離散コサイン変換オペレーションは、デジタル信号プロセッサを使用して複数の超長命令語（ＶＬＩＷ）を実行することにより、実行される。複数の超長命令語は、第１の数の乗算と第２の数の加算とを含んでおり、ここで乗算の第１の数は、加算の第２の数よりも大きい。
（もっと読む）

【課題】 ひとつの直交座標系あるいは斜交座標系で表現された領域を用いるだけで複数の座標系で表現された領域の数値計算を行う為の技術を提供すること。
【解決手段】 斜交座標系で表現されている周期境界条件を満たす計算領域とその境界領域を含む全体領域を矩形に分割し（Ｓ４０１，Ｓ４０２）、計算領域内の分割矩形に対してインデックス、初期値を設定し（Ｓ４０３，Ｓ４０４）、境界部分内の分割矩形に対して周期境界条件に従ったインデックスを付加し（Ｓ４０５）、更にこの矩形と同じインデックスが付加されている計算領域内の矩形に対して設定されている初期値を設定する（Ｓ４０６）。 （もっと読む）

【課題】
過去の時系列データに基づいて極めて正確に将来のデータ値を予測することができるデータ予測装置を提供すること。
【解決手段】
本発明のデータ予測装置は、複数個の単位期間毎に周期変動する原時系列データを記憶する手段と、対移動平均比率法により、各単位期間の期間指数を計算し、原時系列データの各項を対応する期間指数で除算して調整後時系列データを生成する手段と、指数平滑法により調整後時系列データの予測値を計算する手段と、調整後予測値に期間指数を乗じて原時系列データの予測値を計算する手段を備えることを特徴とする。 （もっと読む）

論理回路は、複数の算術関数ユニット（２０）を使用して様々なモーダル区間計算値を算出する。マルチプレクサ（６８）は、所望の計算値を記憶レジスタ（４３）にゲート制御によって出力する。
（もっと読む）

純粋に論理的なアプローチにより、演算回路の素子数および遅延時間を削減した演算装置を実現するため、符号化による演算方式を具体的且つ効率的に論理設計し、符号化演算装置を提供する。演算系の演算器を必要があれば拡張し、基数ｒの論理関数として扱い、またｒ＝２の時には写像の新たに表現である母関数を用い、符号化条件および論理式簡単化条件の下に新演算系を論理設計するか、または元演算系と新演算系の演算器の入出力関係のトポロジーを一致させることにより符号化演算方式の新演算系を設計する。符号化条件および論理式簡単化条件を満たす演算処理装置は、高速化・低消費電力を実現する。
（もっと読む）

【課題】
【解決手段】 小型ガロア体並列乗算器エンジンは、乗算回路であって、ガロア体上の係数を伴う２つの多項式を乗算し、その積を取得する乗算回路と、ガロア体線形変換回路であって、既約多項式について前記多項式の積の剰余を予測するため、前記乗算回路からの乗算入力を有するガロア体線形変換回路と、第１の多項式入力および第２の多項式入力とを含み、前記ガロア体線形変換回路は、行列部および単位行列部で設定された複数のセルを含んでよく、前記単位行列部のセルは、前記乗算回路の出力が、前記既約多項式の次数未満の次数を伴う多項式である場合に剰余の予測を表す。 （もっと読む）

丸め誤差の減少のために、第１および第２の非整数の入力値は、丸められ第３の入力値に加算される（２６９）非整数の結果値を得るために非整数の状態で、例えば加算によって、提供され（２６０、２６２）、組み合わされる（２６８）。したがって、丸め誤差は、リフティングステップに分割された２つの回転間、または、リフティングステップに分割された第１回転およびそれに続く多次元リフティングの連なりの第１のリフティングステップ間のインターフェイスで減少させることができる。 （もっと読む）