3月8日(木) 午後 一般講演(1) 13:30 - 15:10 |
(1) |
13:30-13:55 |
コントローラの起動に関する評価を考慮したself-triggered予測制御 |
○中尾将吾・潮 俊光(阪大) |
(2) |
13:55-14:20 |
事象と状態の観測に基づく非決定離散事象システムの双模倣制御 |
○木村克行・野村雅司・高井重昌(阪大) |
(3) |
14:20-14:45 |
ANDルールを用いた離散事象システムの分散型診断における共可診断性の検証 |
○山本 聖・高井重昌(阪大) |
(4) |
14:45-15:10 |
仮想フィールドを用いた看護・介護サービスにおける音声つぶやきコミュニケーションの評価実験について |
○崔 舜星・平石邦彦(北陸先端大)・内平直志・鳥居健太郎・田中俊明(東芝)・平林裕治(清水建設) |
3月8日(木) 午後 一般講演(2) 15:15 - 16:55 |
(5) |
15:15-15:40 |
ベイズフィルタと決定木分類による併用メールフィルタの判定方式の改善と効果 |
○山口博之・杉井 学・松野浩嗣(山口大) |
(6) |
15:40-16:05 |
シグナル伝達経路の性質に基づく時間ペトリネットのトークン滞留なし条件の検討 |
○村上祐樹・葛 崎偉・松野浩嗣(山口大) |
(7) |
16:05-16:30 |
C言語からペトリネットマークアップ言語への変換ツールC2PNMLとその応用例 |
○谷口博彬・山口真悟・洲崎武史(山口大) |
(8) |
16:30-16:55 |
CPN Toolsによるシングルカーマルチシャフトエレベータシステムのモデル化法とその応用 |
○石田憲秀・山口真悟・上田滝平(山口大) |
3月8日(木) 午後 招待講演(1) 17:00 - 17:45 |
(9) |
17:00-17:45 |
[招待講演]GPGPUの産業への適用 |
○加藤公一(日本ユニシス) |
3月9日(金) 午前 招待講演(2) 09:30 - 11:55 |
(10) |
09:30-10:15 |
[招待講演]サービスサイエンスからの数理技術への期待 |
○神田陽治(北陸先端大) |
|
10:15-10:20 |
休憩 ( 5分 ) |
(11) |
10:20-11:05 |
[招待講演]システム論的生命ネットワーク解析の数理と応用 |
○堀本勝久(産総研) |
|
11:05-11:10 |
休憩 ( 5分 ) |
(12) |
11:10-11:55 |
[招待講演]システム数理基礎理論 |
○辻 孝吉(愛知県立大) |
3月9日(金) 午後 一般講演(3) 13:00 - 14:40 |
(13) |
13:00-13:25 |
コンシェルジュサーバを持つ電話システムの形式的検証 |
黒野恵人・前田 彩・○河辺義信(愛知工大) |
(14) |
13:25-13:50 |
AGVによる多種多数の搬送が混在するFAシステムにおける稠密状況下の搬送と工程進捗のMFGモデル |
○山村憲司・高橋宏治(東工大) |
(15) |
13:50-14:15 |
PBILと厳密解法の融合による繰返しスケジューリング問題の解法 |
○粟國信治・官 森林・名嘉村盛和(琉球大) |
(16) |
14:15-14:40 |
複数評価基準希望リストを用いた安定マッチング問題 |
○金城秀樹(沖縄大)・名嘉村盛和(琉球大) |