Liste des projets simples Logiciel Télécharger Carte

1777 projects in result set
Dernière Mise à Jour: 2013-09-06 20:56

Platform Independent Petri Net Editor

標準に準拠したペトリネットツールであり、モデルを作成し、分析します。PIPE2は、Platform Independent Petri net Editorプロジェクトのフォークであり、オリジナルはロンドン大学インペリアル カレッジで発祥です。

Statut de développement: 4 - Beta
Utilisateurs cibles: Éducation, Science/Research
Langage naturel: English
Système d'exploitation: OS Independent
Langage de programmation: Java
Dernière Mise à Jour: 2004-02-03 07:14

logcheck

Logcheck は自動的に実行し、セキュリティ違反や異常なアクティビティのシステム ログ ファイルを確認するように設計されているソフトウェア パッケージです。Logcheck はログファイルの最後の位置から読み取ることが覚えている logtail と呼ばれるプログラムを利用します。

(Traduction automatique)
Dernière Mise à Jour: 2021-07-07 21:27

jcel

このプロジェクトは、記述論理EL+用の推論器です。EL+オントロジーの包摂階層を計算します。OWL 2 EL推論器です。

Dernière Mise à Jour: 2007-09-04 11:04

Use Case Editor

再使用するためのツールセット ケース版、検証およびシミュレーション。再自然言語の形式で表現されるユース ケースを受け入れます。再は、ドメイン知識を用いた状態マシンでユース ケースを統合し、システム シミュレーションのためのインターフェイスを提供します。

(Traduction automatique)
Dernière Mise à Jour: 2007-01-31 18:34

Grammatical Framework

文法フレームワーク (GF) は型理論に基づく文法形式主義です。特別な目的のプログラミング言語、コンパイラ、言語、および一般的な文法のプロセッサので構成されます。

(Traduction automatique)
Utilisateurs cibles: Développeurs, Science/Research
Système d'exploitation: Cygwin (MS Windows), MacOSX, Linux, SunOS/Solaris
Langage de programmation: Haskell, Java
Interface utilisateur: Java Swing, Console/Terminal
Dernière Mise à Jour: 2019-03-08 08:14

FBMath

!FreeBasic 数学ライブラリ

(Traduction automatique)
Dernière Mise à Jour: 2009-09-30 00:01

peersim

!PeerSim は java の P2P プロトコルのためのシミュレーション環境です。簡単な構成、拡張性と高いパフォーマンスが備わっています。

(Traduction automatique)
Dernière Mise à Jour: 2013-05-10 20:00

BIOE - Basic Input Output Elements

生命システムは、オープン ハードウェア プラットフォーム Scilab のようなオープン ソース CACSD システムと物理的な植物の隔たりを埋めるためにです。エンジニア、学生、愛好家のためのもので、オートメーション ・ メカトロニクスに興味がある人。

(Traduction automatique)
Dernière Mise à Jour: 2022-03-17 07:23

SimSEE

SimSEE は熱水の電力系統の最適な派遣のためのツールです。ヨ ・ デ ・ reservoires と水力発電や石油発射される植物の操作をシミュレートできます。

(Traduction automatique)
Statut de développement: 6 - Mature
Utilisateurs cibles: Éducation, Engineering, Science/Research
Langage naturel: Spanish
Langage de programmation: Pascal
Interface utilisateur: Command-line, Win32 (MS Windows)
Dernière Mise à Jour: 2007-09-05 23:33

TIGR Closure Tools

このソフトウェアコレクションは、DNA配列の研究室のためのコレクションです。これは、ショットガン・シークエンシング法の実験後、クロージャ/フィニッシュの仕上げ反応を設計するのに用いられます。それは設定と足場の構成案の組み立てが必要です。

Statut de développement: 5 - Production / écurie
Utilisateurs cibles: Science/Research
Système d'exploitation: POSIX (Linux,BSD,Solaris etc..)
Langage de programmation: Perl
Interface utilisateur: Command-line
Dernière Mise à Jour: 2018-03-27 08:24

loto

lotoは周期的境界条件の中で双極子−双極子相互作用をする系を解析します.3次元の双極子結晶, 2次元の双極子シート,1次元の双極子鎖が扱えます.Fortranで書かれています.将来的にはABINITのような第一原理計算のプログラムにしたいと考えています.

compassesは数個の双極子のあつまりの停留点(極大,極小,鞍点)をみつけるプログラムです.Fortranで書かれています.

feramは強誘電体薄膜キャパシタのための分子動力学シミュレーションのプログラムです. Fortranで書かれています.

xtalgrowthは2次元結晶成長をシミュレートするXアプリケーションです. xtalgrowthを起動すると,画面の上からランダムに剛体球が落ちてきて画面の底に降り積もり,2次元の結晶が成長します. 賞状の形をした計算結果がPostScript ファイルとして標準出力 (stdout) から出力されます. オープンキャンパスや研究所の一般公開の来場者参加型の展示物に適しています.X11ライブラリを使ってCで書かれています.

Dernière Mise à Jour: 2015-10-07 00:44

Modular Audio Recognition Framework

MARFは、オーディオ(音声、音声、および音) および自然言語テキストの分析と認識のサンプルアプリケーション(識別、自然言語処理等)のためのアルゴリズム集を備えた、Java実装の汎用クロスプラットフォームフレームワークです。

Dernière Mise à Jour: 2003-12-23 18:56

embedded expert system engine for xps

このプロジェクトは、「埋め込みエキスパート システム」、すなわち、限られた機能付け推論エンジン、x 線光電子分光法によるフィールドから撮影、デモ ルール セットを提供します。

(Traduction automatique)
Dernière Mise à Jour: 2007-04-10 03:40

JVnSegmenter: Vietnamese Word Segmenter

オープンソース]のベトナム語単語分割ツールです。セグメンテーションモデルを約8,000文を条件付き確率場(FlexCRFs)を使用して訓練された。このツールは、ベトナム語NLP社会の役に立つだろう。

Environnement de base de données: Flat-file
Statut de développement: 4 - Beta
Utilisateurs cibles: Développeurs, Science/Research
Système d'exploitation: OS Independent
Langage de programmation: Java
Interface utilisateur: Command-line, Console/Terminal
Dernière Mise à Jour: 2017-05-11 16:46

TESTIMAGES

高品質なテスト イメージとスクリプト科学的目的のためのアーカイブこのプロジェクトの使命画像補間法 (イメージ拡大)、共通のテスト フレームワークを与えることですので、さまざまな方法を簡単に比較することができます。

(Traduction automatique)