検索結果 12 件
紙図書
国立国会図書館
- 件名次世代生産・物流システム ジヤストインタイム生産システム 自律分散型生産・物流システム U字型生産ライン 一人生産方式 生産システム・シミユレータ...
紙図書
国立国会図書館全国の図書館
- 件名現地生産 / 相互補完生産 / グローバルシステム / 生産・在庫・物流システム / 輸送モデル / 物流拠点 / BBCスキーム / AI...
デジタル文書・図像類
全国の図書館
- 要約等...されるモデルが,動的に変化する物流システムの所期の性質を満たすことを自動的に確認するモデル検査システム...
- 件名物流システム モデル化 モデル検査 プロセス代数 Ambient Cal...
デジタル文書・図像類
全国の図書館
- 要約等研究成果の概要(和文): 本研究では,物流システムに対する貨物の取扱いの形式的な監視を目的として, 物流システムをプロセス代数を用いてモデル化......既存のプロセス代数を拡張し, 物流システムのモデル化に特化した多重Amb......lusを提案した. これにより物流システムの持つ階層構造,並列性などが適......きるようになった. さらに, 物流システムをモデル化した式と, UHF帯RFID機器を用いて検知した貨...
- 件名サービス構築基盤技術 物流システム プロセス代数 モデル検査
紙図書
国立国会図書館
- 件名マルチメデイア 生産・物流システム 数理経済モデル システムの最適構成 動的計画法 確率的シス...
検索結果は以上です。