【課題】 制御ソフトウェアの検証を効率よく行うこと。
【解決手段】 画像形成装置を構成するデバイスの制御を検証する設計支援方法は、デバイスの制御状態を切替えるための開始条件が満たされた場合に実行すべき制御の内容を特定するトリガ情報を記憶装置に登録する（Ｓ１００２）。次に、開始条件が満たされた場合に切替えられた制御によるデバイスの状態変化の許容範囲を記憶装置に登録する（Ｓ１００３）。そして、入力部を介して入力されたデバイスの動作状態と、記憶装置に登録されているトリガ情報とを参照して、開始条件が満たされて、切替えられた制御によるデバイスの状態変化が許容範囲から外れるか否かを検証する（Ｓ１００４）。 （もっと読む）

数値的にシミュレートされ、単体的複体Ｋ₁、Ｋ₂で表される剛性または変形可能な多面体オブジェクト間の衝突を検出するシステムによると、前演算処理モジュール１１０において、前記単体的複体のフェースσに関係づけられた強い意味での複数の法線ｎ｜Ｋ｜Ｉｎｔσに対応する多面錐の幾何学的表記を計算する、少なくとも１つのステップ１１１と、包含体積の木を構築する、少なくとも１つのステップ１１３を実行する。前記前処理ステップから得られる情報に基づき、モジュール１２１、１２２は、局所最短距離（ＬＭＤ）と疑似局所最短距離（疑似ＬＭＤ）とを計算する。この方法を実施するための上記システムは、機械的解決手段１３０および１つまたは複数の周辺装置に接続することができる。 （もっと読む）

【課題】
身体の全ての部位を計測することなく、剛体リンク機構でモデル化した身体の各リンクの質量パラメータを、個人の体格の差を反映させて、推定する。
【解決手段】
身体の各部位の寸法を表す変数から説明変数を選択し、他の変数を目的変数として、説明変数の実測値に基づいて目的変数の値を推定するステップと、剛体リンク機構でモデル化した身体の各リンクの体積を前記説明変数及び前記目的変数の少なくとも一部を用いて算出し、身体の総体積と体重とから比重を算出し、算出された比重から各リンクの質量及び慣性モーメントを求めるステップと、を備えたリンクの質量パラメータの推定法、である。 （もっと読む）

【課題】精度の高い出力データを求めることのできるシミュレーション装置を提供する。
【解決手段】シミュレーション装置は、対象の状態を推定するモデルを作成するものであり、第１のシミュレーションモデル作成手段と、第２のシミュレーションモデル作成手段と、を備える。第１のシミュレーションモデル作成手段は、所定の時刻で計測された実測データを基に対象の物理的な性質を考慮した第１のシミュレーションモデルを、複数の時刻で計測された実測データの夫々について作成する。第２のシミュレーションモデル作成手段は、作成された複数の第１のシミュレーションモデルを基に制御変数及び時刻を入力変数とする第２のシミュレーションモデルを作成する。これにより、経時変化による誤差を考慮したシミュレーションモデルを作成することができる。 （もっと読む）

【課題】 早期に障害を回避し、安定稼働を実現可能な障害対策支援システムを提供する。
【解決手段】 修理部門端末２は、保守部門端末１からコンピュータ装置において発生する障害情報や復旧作業の内容をインタネットやイントラネット等のネットワーク１００を介して取込む。改善方法解析部３は、修理部門端末２に取込まれた障害情報や復旧作業の内容や修理部門にて行った修理情報をネットワーク１００を介して取込み、マイニング技術を用いて障害解析を行う。製品管理部門端末４は、マイニング技術によって特定した障害情報から障害を改善するための対策方法をネットワーク１００を介して受信する。製品管理部門端末４は自端末にて実施した改善方法を保守部門端末１に送信するとともに、障害解析の特定精度を向上するためにマイニング用データベースを自動的に更新する。 （もっと読む）

【課題】過去の決算書データを基に、将来の経営計画などに必要な経営者向け情報を生成して提示することが可能な経営計画指導システムを提供する。
【解決手段】表の当該セル内に計算結果を設定して表示する表計算手段と、過去の決算書データに基づいて各勘定科目の金額と売上高との関係を表わす方程式を生成する科目別方程式生成手段と、各勘定科目を示す欄と次期以降の将来の決算期を示す欄とを設けた表を次期計画シミュレーション表として、その表のセルに対応させて前記計算ルールを記憶する計算ルール記憶手段と、次期計画のシミュレーション表を表示すると共に、次期希望利益の情報入力に応答して、前記計算ルールに基づき次期希望利益での次期必要売上高と各勘定科目の金額とを算出して当該セル内に表示するシミュレーション手段と、次期計画シミュレーション表のデータに基づいて次期の経営計画書を自動生成する経営計画書生成手段と、を備える。 （もっと読む）

【課題】流れ場及び光学系を通過する光をシミュレーションし、光学系を含めた流れ場の可視化画像を正確に生成できるようにする。
【解決手段】数値データを有する屈折率分布データを供給する屈折率分布データ供給手段８と、前記屈折率分布データからなる屈折率分布空間を通過する光学系を提供する光学系シミュレータ９とをそなえ、この光学系シミュレータ９に、前記屈折率分布空間の光入射窓を通る光線の強度及び方向データを提供する照明光学系シミュレーション手段１２と、上記の光線の強度及び方向データを初期条件として、光入射窓から光射出窓までを通過する光線をシミュレーションする通過光線シミュレーション手段１３と、光射出窓での光線データを初期条件として、光射出窓から仮想の記録装置までの光線をシミュレーションする記録光学系シミュレーション手段１４とを備えて構成する。 （もっと読む）

本発明は、フィターゼ、フィターゼをコードするヌクレオチド、本発明のポリヌクレオチドおよびポリペプチドの使用とともに前記ポリヌクレオチドおよびポリペプチドの製造並びに単離に関する。特に、本発明は、高温条件下でフィターゼ活性を有するポリペプチド、および高温に暴露後に活性を保持するフィターゼを提供する。本発明のフィターゼは、高温に加えて、低温でも耐熱性および／または熱安定性でありえる。本発明のフィターゼは、食品類に用いて、フィテートに富む成分の飼養価を改善することができる。本発明のフィターゼは、食品もしくは飼料として、または例えばフィテートの消化を促進するために前記どちらかのためのサプリメントとして処方することができる。本発明の食品または飼料は、ペレット、液体、粉末などの形態で存在しえる。ある特徴では、本発明のフィターゼはペレット化の間の熱変性に対して安定であり、このことは、フィターゼ製品のコストを削減し、一方、in vivo有効性および飼料中の活性検出を維持する。 （もっと読む）

本発明は、患者関連情報（ＰＲＩ）を供給する分子診断判定サポートシステム（ＭＤ−ＤＳＳ）に関する。患者情報データベース（ＥＭＪ）、前記患者に関する分子診断入力データ（ＭＤｘ）を有するデータ入力セクション（ＤＡＴ）、診療指針データベース（ＣＬ）及び知識データベース（ＫＢ）はそのシステムの一部である。ミドルウェアセクションは、入力データ（ＭＤｘ）が、患者情報データベース（ＥＭＪ）、診療指針データベース（ＣＬ）及び知識データベース（ＫＢ）を用いて第１判定サポート機構（１ＤＳＭ）及び第２判定サポート機構（２ＤＳＭ）により患者関連情報（ＰＲＩ）に処理されるようにする。第１判定サポート機構（１ＤＳＭ）及び第２判定サポート機構（２ＤＳＭ）は、入力データ（ＭＤｘ）の処理中に相互作用する（１０，１１）ようにミドルウェア（ＭＷ）を介して動作可能であるように結合されている。このような、それら２つの判定支援機構の結合により、患者データは入力データ（ＭＤｘ）とより効率的に結合され、患者に関するより包括的な方法が得られる。
（もっと読む）

【課題】項目間の相関関係を考慮しつつ、予測・推定に利用できる手法を提供する。
【解決手段】単位空間に属するか否かが不明である、変数ｘ_１および定数ｙ_ｊの集合とする基準推定対象メンバー（ｘ_１ ｙ_１ ｙ_２ … ｙ_ｍ）（要素の数は１＋ｍ個）についてのマハラノビスの距離ＭＤの推定式として式（１０６）を作成し、


式（１０６）が極小となるときに、変数ｘ_１が満たす関係式である式（１０７）を算出し、（１０７）式を満たす変数ｘ_１を、その変数ｘ_１が基準推定対象メンバーに属するとした場合の推定値＜ｘ_１＞とする。
（もっと読む）