代表的な実施形態は、状態遷移図の部分を、その部分の一般化された正規化バージョンと置換するための技法を提供する。この正規化バージョンは、状態遷移図のその部分の構造または意味論(若しくは両方)を模倣するが、この正規化バージョンはその部分の構造または意味論に完全に一致している必要はない。代表的な実施形態は、状態遷移図の再利用するための部分を識別し、その部分の正規化バージョンを生成するための技法をさらに提供する。
（もっと読む）

本発明の実施形態は、ユーザーが、自由形式モデリング環境においてPIDコントローラなどのコントローラの対話型設計を実行できるようにするための技術、コンピュータ読み取り可能媒体、及び装置を提供する。ユーザーは、コントローラの性能に関連付けるのがユーザーには難しい場合があるコントローラのゲイン値の指定をするのではなく、典型的なユーザーになじみのなる特徴を用いてコントローラを調整することができる。
（もっと読む）

分散計算環境におけるデータの測定、分析、検証、及び妥当性確認を促進する、計器に基づいた分散計算システムを開示する。この計器に基づいた分散システムを用いることで、大規模の計算作業を分散的な様態で実行できる。この計器に基づく分散計算システムは、ジョブを作成するクライアントを含むことができる。このジョブは１つ又複数のタスクを含む。クライアントは、ジョブの一部をネットワーク上の1つ又は複数のリモートワーカーに分散できる。クライアントは計器内に備わっていてもよい。1つ又は複数のワーカーも計器内に備わっていてもよい。ワーカーはこのジョブの受信した部分を実行し、実行結果をクライアントに返すことができる。従って、本発明によって、ネットワークにおいて計器に基づいた分散システムを使用して、ジョブを遂行し、ジョブの実行にかかる時間の減少を促進できる。

（もっと読む）

本発明は、物理システムをモデル化するために固有の計量単位を提供する。すると、これら計量単位を用いて物理システムのモデル化が可能となる。従って、実際の単位は現実世界の測定値を反映しており、モデル化されたシステムで使用且つ伝播させることができ、計量単位を持つ結果を与えることができる。幾つかの実施形態では、計量単位を調べて、所与の演算に関して互いに適合しているかを判断してもよい。仮に複数の単位が互いに適合していなければ、ユーザには単位を互いに適合させる必要があることを通知してもよい。

（もっと読む）

本発明は遅延束縛プログラム言語の外部環境への統合に関する。この外部環境は、初期束縛環境、遅延束縛環境、或いはそれらの組合せの何れでもよい。この遅延束縛プログラム環境にはモジュラー実行エンジン及びインターフェース機構が関連付けられており、インターフェース機構は、上述の外部環境と互換性がある形式で遅延束縛意味論を表現できる。
（もっと読む）

ブロックダイヤグラム・モデリングのための、コンピュータ・プログラム製品を含む方法及び装置であって、グラフィカル・ユーザインターフェース（ＧＵＩ）上に線で相互連結されたブロックを含むブロックダイヤグラムを生成する段階と、フレーム長、チャンネル数、フレーム・カテゴリ、及びサンプル間の間隔を含むフレーム及びチャンネル情報を指定する段階と、前記ブロックダイヤグラムにおけるその後の各ブロックで利用可能なフレーム及びチャンネル情報を伝搬する段階とを含む、方法及び装置。
（もっと読む）

任意のジョブ管理プログラム又はスケジューラを使用可能な分散計算環境を提供するための方法、システム、及び計算プログラム製品を開示する。この分散計算環境では、１つ又は複数の技術計算タスクを含むジョブがホスト又はクライアントに作成され、ポータブルフォーマットで上述の任意ジョブスケジューラに提出される。このジョブのポータブルフォーマットはスケジューラのプラットフォーム構造から独立しているので、スケジューラは、そのプラットフォーム構造に関係なくジョブを処理できる。次に、スケジューラはポータブルフォーマットのジョブを１つ又は複数のリモートワーカーに転送する。何れのスケジューラでもジョブを受け取り且つリモートワーカーに分散可能となるように、本発明はポータブルフォーマットを用いてジョブをスケジューラに提供し、ジョブをリモートワーカーに分散する。

（もっと読む）

本発明は、ブロック線図環境においてモデル化された複雑な非線形動的システムに対して、コントローラを系統的にユーザが解析し、設計することを可能とするフレームワークを提供する。非線形プラントモデル（ブロック線図）から線形化したモデルを抽出することにより、ユーザは、線形システムに対して、利用可能な１以上の制御設計およびチューニング方法を使用することができる。クロスカップリングや外因性の攪乱等の複雑な副次的作用を、設計中にリアルタイムで見て処理することができる。設計の結果は、自動的にブロック線図において実行される。

（もっと読む）

化学系および生物系の改善されたモデル化のためのシステムは、生物系または化学反応のモデルを構築するためのユーザコマンドおよび入力を受容するグラフィカルユーザインターフェースを含む。システムは、前記化学反応または生物系の前記構築されたモデルを入力として受容し、前記モデル化された生物系または化学反応の動的挙動を出力として生成するシミュレーションエンジンも含む。分析環境は、前記シミュレーションエンジンと連絡し、前記動的挙動を表示する。
（もっと読む）

実験プラットフォーム上でなされるインサイチュ実験により生成された実験結果に応答する化学反応または生物学的プロセスのモデルを改変するためのシステムである。シミュレーションエンジンは、前記化学反応または生物学的プロセスのモデルから予測結果を生成する。分析環境は、前記シュミレーションエンジンと連絡し、実験プラットフォームからデータを集め、前記予測結果を前記プラットフォームから集められたデータと比較する。
（もっと読む）