司祭+ – ウィキペディア

この記事または後続のセクションには、サポート（個々の通知など）が十分に装備されていません。十分な証拠のない情報はすぐに削除される可能性があります。情報を調査して、ウィキペディアを支援してください 良い証拠を挿入します。

ポーズ++ 控えめで不連続なプロセスのモデリングとシミュレーションのためのソフトウェアシステムであり、イベント指向のシミュレーションの一部です。名前のポーズ++は、指定から形成されました p Redicate/Transition Network o リエンティエルテス s 模倣と と ntwinds s YSTは、Predicate/Transition Networkは、ダイナミクスでは、Predicate Logicを使用して複雑なデータを変換する最も複雑なPetriネットワークの1つです。たとえば、たとえば、アルゴリズム、ハードウェアおよびソフトウェアシステム、さまざまなタイプのプロセス、生産および物流からのシステムだけでなく、組織的および社会的問題も検討することができます。

述語/遷移ネットワークは、Petriネットワークであり、そのデータは述語にシンプルまたは構造化されたデータ型を持つブランドとして配置され、複雑なエッジを持つ遷移によって変更されます。状態グラフやキュー理論やすべてのシンプルなペトリネットワークなどの多くのより単純な理論的アプローチは、述語/遷移ネットワークの特別なケースとして表示およびモデル化できます。

したがって、ルールベースのモデリングは、宣言的プログラミング言語に属するオブジェクト指向のモデリング言語でポーズ++を有効にします。 モジュール C ++のクラスに匹敵するカプセル化されたサブ機能を開発および使用できます。そのようなインスタンス化を通じて モジュール オブジェクト階層が作成されます。シミュレーションの場合、ユーザーは1つを選択します モジュール モデルに説明します。モデルには、述語と移行の量が自動的に生じます。

例として、培地用の単純化されたスイッチングバルブの述語/遷移ネットワーク（空気圧、油圧）が提示され、出力圧力としてのスイッチング条件に従って今後の入力圧力が提供されます。

ポーズ++に属するソフトウェアコンポーネントは、クライアント/サーバー環境を形成します。実際のシミュレーション計算では、シミュレーションサーバーと呼ばれるタスクを引き継ぎます。この目的のために、POSES ++モデルは、システム所有のコンパイラによって適切なC ++ソーステキストに翻訳されます。これは、サポートされているC ++コンパイラの1つで、DLLまたは共有ライブラリの形でオペレーティングシステムに応じて動的にロード可能なバイナリコードに変換され、最終的にシミュレーションサーバーがクライアントにリクエストします。選ばれたものがあります モジュール モデルにインスタンス化されました。開発プロセス、実験の実装と評価、および視覚化には、さまざまなクライアントコンポーネントが利用できます。すべてのポーズ++コンポーネントは、1つのコンピューターのみにローカルに使用されていても、TCP/IPおよびUDPを介して相互に通信します。 TCLスクリプト言語をほぼ一貫して統合する通信インターフェイスは、完全に文書化されています。また、ソフトウェアは、C ++とDelphiのインターフェイスを提供して、独自のクライアントアプリケーションを開発しています。

ポーズ++モデルの用語は、モデルサイズに直線的にスケーリングします。モデルのサイズを1つずつダブレットします モジュール 上位で モジュール 2回独立して瞬時に、実験の開始直後に短い学習段階の後、++はコンピューティング時間の2倍を必要とします。モデルサイズが大きくなる実用モデルではディテールが増加することが多いため、基礎となるグラフェンの依存性が記載されているため、コンピューティング時間要件も線形よりも少ないポーズ++では珍しいことではありません。

このプロパティとランタイム効率の高いバイナリコードでのモデルの実装により、特に複雑なタスクとモデルの詳細レベルの詳細を備えた実際のタイムシミュレーションが可能になります。

POSES ++は、さまざまなシステムのシミュレーション検査、評価、最適化のための古典的なシミュレーションツールとして使用されます。 POSES ++は、ハイブリッドシミュレーション環境（連続MATLABモデルと組み合わせた離散、不連続ポーズ++モデル）でMATLAB/SIMULINKと組み合わせたリアルタイムシミュレーションシステムとして非常にうまく使用され、実際のシステムの代わりに複雑な自動化テクノロジー（コントロールハードウェアとソフトウェア）を開始するために、完全にシミュレートされたシステムの助けを借りることができます。

シミュレーションシステムは、GPC MBHの会社によって開発されています。 1996年2月に公開された最初のバージョン1.0以来、定期的に開発されたシステムはインターネットでダウンロードできます。それに含まれるライセンスの障壁は、最初に100の緩やかな100モデル要素から増加し、開発されたすべてのモデルの大部分を自由に使用できるようにしました。