モデルから検証可能なワークフローへ

ソフトウェア

科学的な問いや後処理工程を、明確な入力、再現可能な処理段階、決定論的な検査、確認可能な出力へ変換します。

01

科学ソフトウェア製品

各ツールを、対象利用者、解決する課題、入力、処理、出力、科学的基盤に沿って説明します。

成果

Ideal Momentum Jet Explorer

理想運動量噴流の低次元モデルを対話的に調べるTypeScriptアプリです。

利用者
噴流モデルの仮定と形状を調べる研究者、学生、技術コミュニケーター。
入力
ノズル形状、規定した断面積成長、任意の比較オーバーレイ。
流れ
設定 → 無次元場と形状の確認 → 比較 → データ・レポート出力。
出力
対話グラフ、形状、共有状態、CSV、設定、ブラウザ内レポート。
技術
React、TypeScript、ブラウザ内計算、数値・視覚確認。

モデル探索、教育、技術コミュニケーションのために設計されています。

事例を見る

成果

VisualOpenFOAM

OpenFOAMとVTKの再現可能なシーン・場レポートを計画するLinux CLIです。

利用者
検証可能で反復可能な科学可視化計画を必要とするOpenFOAM・VTK利用者。
入力
読み取り専用インベントリ、VTK群、場、単位、ネイティブ時刻、明示的変換。
流れ
検査 → マニフェスト → 場・シーン計画 → レンダリングまたは出力 → レポート。
出力
チェックサムと科学的意味を保持したケース、場、Blender、ギャラリー、レポート計画。
技術
Linux CLI、6つのJSONスキーマ、決定論的ドライラン、合成参照フィクスチャ、21件のpytest検査。

実装済みワークフローは、明示的なケース・場の契約、決定論的計画、合成参照フィクスチャを用いて科学可視化を再現可能にします。

事例を見る

成果

VisualBasilisk

Basiliskの簡潔なfacetマニフェストから再現可能な可視化計画への橋渡しです。

利用者
小さく明示的なfacet・フレーム出力を扱うBasilisk利用者。
入力
facetファイル、フレーム経路、チェックサム、簡潔なマニフェスト。
流れ
マニフェスト検証 → 入力確認 → Blenderドライラン計画 → レンダリングとメタデータ要約。
出力
検証済みマニフェスト、レンダリング計画、コンタクトシート、追跡可能な報告。
技術
Python CLI、マニフェスト、Blenderドライラン計画、合成フィクスチャ。

明示的なfacetマニフェストと再現可能なレンダリング計画を検証します。

事例を見る

成果

DualSPHysics / VisualsPhysics workflow

粒子シミュレーションの再現可能な後処理・科学映像ワークフローです。

利用者
完成した解釈可能な映像を必要とするSPH実務者と技術者。
入力
DualSPHysics出力、VTK、IsoSurface、カメラ、動画編集の明示的設定。
流れ
計算 → 出力・表面再構成 → Blenderレンダリング → 動画編集・確認。
出力
4本の完成動画、2本のサイト用派生動画、形状指標の受け渡し。
技術
DualSPHysics、VTK/IsoSurface、Blender、ffmpeg。

ソルバー出力の再現可能な後処理と科学可視化に焦点を当てています。

事例を見る

成果

CIMAP

エンセナダ地域研究における農業気象指標プラットフォームです。

利用者
再現可能な農業気候データを調べる研究者と学生。
入力
単位、時刻、観測所文脈を伴う気象観測記録。
流れ
収集 → 整理・単位正規化 → 集計 → 探索指標 → 地図可視化。
出力
比較可能な日・月データ、探索指標、地図表示。
技術
Pythonデータ処理とソフトウェア基盤インターフェース。

実データの一部を用いた再現可能なパイロットとして実証しています。

事例を見る