ゼミナール発表

日時: 10月15日(月)3限 (13:30-15:00)


会場: L2

司会: 孫 為華
水本旭洋 1161013: D, 中間発表 安本慶一, 伊藤実, 関浩之, 柴田直樹, 玉井森彦
title: Application of Ubiquitous Computing Systems to Medical Support in Disaster and Test Method for Implementation of Ubiquitous Systems
abstract: Ubiqitous systems are the systems that provide advanced service for user by collect and analysis for information with sensors, devices, and network. In order to implement Ubiqitous systems, we have to solve combinatorial optimization problem in various scenes. In this study, we define patient transportation scheduling problem and minimal cost test suite deriving problem for testing ubiquitous systems as combinatorial optimization problem, and propose solutions for these problem. The solution for deriving minimal cost test suite problem and the test method are mainly shown in this presentation.
language of the presentation: Japanese
発表題目: ユビキタスコンピューティングシステムの災害医療支援への応用と実装の正しさの試験手法
発表概要:ユビキタスシステムは,センサ・デバイス・ネットワークが連携し,情報の収集・解析を行うことで,高度なサービスをユーザに提供するシステムである. より効果的なユビキタスシステムの実現のために,様々な場面で組合せ最適化問題を解決する必要がある. 本研究では,ユビキタスシステムを災害時救命救急支援に応用した際に問題になる傷病者最適化問題や, ユビキタスシステムの試験において最小コストのテスト系列を導出する問題を, 組合せ最適化問題として表し,その解決法を提案している. 本発表では主に,ユビキタスシステムの試験において最小コストのテスト系列を導出する問題に対する解決法と試験手法について述べる.