ソフトウェア技術を利用したCO2排出削減(「グリーンAI」及び一般)

概要

論文の詳細を見る
2020年までに1990年比25%のCO_2排出量削減が国家目標になっている.IT技術による現実世界のCO_2排出量削減は大きな効果が期待されているが,本講演では,その中でもプログラム検証及びコード最適化手法を利用した物流トラックのCO_2削減手法について解説する.これは物流トラックの集配経路とプログラム実行フローには類似性に着目した新しい方法であり,物流トラック集配経路を記述するプログラミング言語を導入することによって,コンパイラで利用されるコード最適化手法やトランザクションなどの直列化手法を使ってトラック経路を段階的に効率化する.また,物流におけるCO_2削減手法として共同物流が有力視されているが,共同物流はその管理が難しいことが課題となっているが,ここでは荷主の集配条件をプログラムの仕様,トラック経路を実装したプログラムとして扱うことで,ソフトウェア検証を利用して,荷主の集配条件に充足して,さらにCO_2の排出の少ないトラックを発見する方法を提案して,既存の共同物流における問題の解決をはかる.
2010-01-15