数理ソリューション｜ソリューション・サービス

概要

お客様からの『こんなことを困っている。なんとか改善・解決したい』という問題提示から仕事を始めます。そして、提示された問題を数理的に定式化し、数理的に解決し、解決策をソフトウェアとして実装して、納品します。

仕事の進め方

下記のような4つのフェーズにて、仕事を進めます。

【問題の表現・定式化フェーズ】

お客様が解決したい問題に関して、

問題の本質がどこにあるかを見極めて、問題を数理的に表現・定式化します。
数理的な表現・定式化を拠り所として、お客様と議論し、問題を浮き彫りにします。

【問題の解決フェーズ】

定式化された問題を、数理的に求解できるアルゴリズム、制御ロジック、公式を構築します。また、必要な分析・シミュレーションを実行し、求解能力や最適解の性能評価をします。この際、下記のようなツールを利用します。

NUOPT　・・・　国産の代表的な数理計画法パッケージ
S³ Simulation System　・・・　国産の離散イベントシミュレータ
NAG数値計算ライブラリ　・・・　最適化を含む広範な数値計算パッケージ
Maple™　・・・　数式処理ソフトウェア
MATLAB® & Simulink® 　・・・　行列計算、各ドメインでの設計、各種シミュレーション

なお、試行錯誤、実験が不可欠なので、試作ソフトウェアを開発し、手法の性能評価をしながら手法をブラッシュアップし、手法を完成させます。

【解決法のソフトウェアとしての実現フェーズ】

考案したアルゴリズム、制御ロジック、公式を、ソフトウェア（場合によってはファームウェア）として実現して、総合テスト（実環境テスト）を実行します。完成した成果物

アルゴリズム仕様書（性能評価を含む）、機能仕様書、ソフトウェア仕様書、テスト仕様書、テスト結果報告書、操作マニュアル　などのドキュメント群
ソースコード、テストデータ　などのソフトウェア群
シミュレーション評価などに利用するファイル群

などを納品します。

【フォローフェーズ】: お客様先での商品化作業や本番稼動の過程で、納品物に関するQ&A、小改造を中心とするフォローを実施します。

NAGは、The Numerical Algorithms Group Ltd. の米国の登録商標です。
Mapleは、Waterloo Maple, Inc. の登録商標です。
MATLAB® & Simulink®は、The MathWorks, Inc. の登録商標です。
NUOPT、S³ Simulation Systemは、株式会社数理システムの製品です。