プラットフォームに依存ペトリネットEditorプロジェクト(PIPE)すぐにペトリネットを作成し、分析し、効率的、かつ効果的。重要な設計上の特徴は、標準的な計算のための組み込みのデータ層法を用いて、容易にかつ強力に書き込まれる新しいモジュールを有効にする、分析のために採用したモジュラーアプローチです。六分析モジュールは不変分析、状態空間解析(デッドロックなど)、およびシミュレーション解析と分類を含む、提供されます。PIPEは、XMLペトリネット標準(PNML)に準拠しています。ペトリネットを保存し、ロードす...
カテゴリから探す
- インターネット·ソフトウェア
- ウェブ開発ソフトウェア
- オーディオソフトウェア
- グラフィックデザインソフトウェア
- ゲーム
- システムユーティリティ
- スクリーンセーバー
- セキュリティーソフトウェア
- ディスク&ファイルのソフトウェア
- デジタル写真ソフトウェア
- デスクトップの機能拡張
- ドライバ
- ネットワークソフトウェア
- ビジネス&オフィスソフトウェア
- ブラウザ
- ホーム&ファミリーソフトウェア
- 教育&科学ソフトウェア
- コンピュータによる設計の自動化
- バイオインフォマティクス
- ヘルス&フィットネスソフトウェア
- 人工知能ソフトウェア
- 単位コンバータ
- 口径プラグイン
- 地理ソフトウェア
- 外国語ソフトウェア
- 天文学ソフトウェア
- 学生ツール
- 宗教的なソフトウェア
- 教育ツール
- 数学ソフトウェア
- 物理&化学ソフトウェア
- 科学ソフトウェア
- 科学電卓
- 系図ソフトウェア
- 辞書&翻訳者
- 電子書籍ソフトウェア
- もっと教育&科学ソフトウェア
- 映像ソフト
- 生産性ソフトウェア
- 通信ソフトウェア
- 開発者用ツール
人気のソフトウェア
-
The Golly Game of Life Simulator 3 Jun 15
-
TerraJ 3 Jun 15
-
Calcoo 3 Jun 15
-
dicompyler 15 Apr 15
-
uDig 17 Feb 15
-
URBI SDK 14 Apr 15
-
SCLive 3 Jun 15
新しい 教育&科学ソフトウェア のために Linux
PTF 0.1
PTF(心理テストフレームワーク)で、毎日のハードウェア上で心理テストや実験を行うためのソフトウェア開発キットです。心理テストフレームワーク(PTF)は、毎日のハードウェア上で心理テストや実験を行うためのソフトウェア開発キットです。これは、人間の認知の研究に使用される認知及び反応時間についての実験を含みます。過去の特殊なハードウェアexspecially非常に高価なグラフィックカードでは、低応答と実行時間を島嶼地区などに使用されました。高速ハードウェア·アクセラレータは、人気と広く使用されているになってから...
dysii 1.4.0
dysiiライブラリは機械学習の用途に有用なクラスの集合を提供するC ++です。必要に応じて、いくつかの完全性を欠いているないように機能をライブラリに追加されます。何が含まれているが、十分に文書化され、テストされ、研究目的のために、かなりの音と考えることができるされています。幅広い用途に適していますモジュールと汎用性を維持しながら、ライブラリーは、パフォーマンスのために最適化されています。一般的なコードのプロファイリングおよびベンチマークに加えて、考慮事項が含まれています: -...
Fractal Fr0st 0.4
。フラクタルFr0stはそれがレンダリングされるようにあなたが反復funcionシステムの結果を視覚化することを可能にするのPython /...
RoadMap 1.2.1
ロードマップは、LinuxおよびUNIX用のカーナビゲーションを提供するオープンソース(GPL)のプログラムです。ロードマッププロジェクトは、NMEA準拠のGPS受信機によって提供される位置を追跡し、街の地図を表示するこのGPS位置に一致する通りを識別し、次の交差点で交差する通りの名前を発表しました。初歩的なトリップ機能は、ロードマップは、いくつかの基本的なナビゲーション情報を表示することができます(など目的地までの距離、方向、速度を、..)。ボイスメッセージは、画面情報の一部を複製が生成されます。それは、...
AnalyticMath 1.1.4
AnalyticMath無料で、クロスプラットフォーム(WindowsやLinuxなど)数学/強力なエディタ、あなたが開発を支援し、視覚的にすばやく簡単に数式を分析する統合「オートカルク」機能を備えたプログラムをプロットします。AnalyticMathは、使いやすく、直感的で、学生から理論物理学者への皆のために適しています。 要件:ます。 のJava 2 Standard...
CamBA 2.3.0
神経科学の研究者は、ますますだけでは、単一のソフトウェアパッケージでは不可能な解析ソリューションを作成するために、処理パイプラインに別のソフトウェア·パッケージからプログラムモジュールを組み合わせる可能性を悪用しています。CamBA(ケンブリッジ脳活性化)は、エンドユーザーのためのランタイム環境を提供し、さらに、このプロセスを容易にし、仮想パイプライン研究室で開発されたプログラムのスイートです。このように、CamBAは方法論と神経科学者の間でアイデアや行動の交換をするのに役立ちますフォーラムです。CamBA...
スマート数学電卓を使用すると、数学の式を入力するとすぐに結果を計算数学計算機を使用することは簡単です。それは同時に倍数演算式を可能にします。それはまた、独自の変数と関数を定義することができます。スマート数学電卓は、便利なあなたが式を直接編集するか、またはあなたが好む場合は新しい式を入力するには視覚的なキーパッドを使用することができます美しいユーザーインターフェイスを備えています。 20以上の演算関数のサポートがあります。 要件:ます。 ...
Genifer 2009-05-25
GeniferはAGIや常識的な推論剤です。開発者のコメント我々は現在、Lispの急速なプロトタイプを構築しています。Genifer背後にAGIの理論を説明する本のドラフトがでダウンロードできます。http://www.geocities.com/genericai/AGI-book.pdf我々は、次のアルゴリズムを実装する人を募集しています:1.仮説推論2.帰納学習3.連想メモリ4.信念·欲求·意図アーキテクチャ5.手段エンド推論6.信念リビジョンタスクは、ハード彼らが聞こえるように非常に単純なロジッ...
Oregano 0.69.0
オレガノプロジェクトは、電気回路の回路図キャプチャとシミュレーションのためのアプリケーションです。実際のシミュレーションはバークレースパイス、またはGNUcapや新世代ngspiceによって行われます。オレガノは、COPYINGファイルに含まれるGNU GPLの条項の下でライセンスされています。要件: - あなたが必要libgnome2、libglade2、libgnomeprintui2、libgnomeui2、libgtksourceview1.0 -...
カテゴリから探す
- インターネット·ソフトウェア
- ウェブ開発ソフトウェア
- オーディオソフトウェア
- グラフィックデザインソフトウェア
- ゲーム
- システムユーティリティ
- スクリーンセーバー
- セキュリティーソフトウェア
- ディスク&ファイルのソフトウェア
- デジタル写真ソフトウェア
- デスクトップの機能拡張
- ドライバ
- ネットワークソフトウェア
- ビジネス&オフィスソフトウェア
- ブラウザ
- ホーム&ファミリーソフトウェア
- 教育&科学ソフトウェア
- コンピュータによる設計の自動化
- バイオインフォマティクス
- ヘルス&フィットネスソフトウェア
- 人工知能ソフトウェア
- 単位コンバータ
- 口径プラグイン
- 地理ソフトウェア
- 外国語ソフトウェア
- 天文学ソフトウェア
- 学生ツール
- 宗教的なソフトウェア
- 教育ツール
- 数学ソフトウェア
- 物理&化学ソフトウェア
- 科学ソフトウェア
- 科学電卓
- 系図ソフトウェア
- 辞書&翻訳者
- 電子書籍ソフトウェア
- もっと教育&科学ソフトウェア
- 映像ソフト
- 生産性ソフトウェア
- 通信ソフトウェア
- 開発者用ツール
人気のソフトウェア
-
Calcoo 3 Jun 15
-
Jmol 22 Jun 18
-
GPSTk 12 May 15
-
Optimization Solver for OpenOffice.org Calc 3 Jun 15
-
XEphem 11 May 15
-
XDrawChem 3 Jun 15
-
Vadi Mapper 11 May 15