3月6日(木) 午後
13:30 - 15:10 |
| (1) |
13:30-13:55 |
離散事象システムのリスク考慮型最適スーパバイザ制御 |
○山崎達志・入江太志・松原 伸（摂南大） |
| (2) |
13:55-14:20 |
TPハンドルをもつワークフローネットのプロトコル継承を維持する健全化に対するスーパーバイザー制御を活用したアプローチ |
○長野聡一郎・山口真悟（山口大） |
| (3) |
14:20-14:45 |
On Computation for Prestabilizing Controllers in Discrete Event Systems |
○Sasinee Pruekprasert・Toshimitsu Ushio（Osaka Univ.） |
| (4) |
14:45-15:10 |
S-ringとSPINに基づくエレベータ群管理制御器モデル検査システムEclairの実現と検査能力について |
○長藤和也・山口真悟（山口大） |
| |
15:10-15:20 |
休憩 （ 10分 ） |
3月6日(木) 午後 スマートエレベータセッション１
15:20 - 16:35 |
| (5) |
15:20-15:45 |
エレベーターにおける乗客個人ごとの輸送経過のMark Flow Graphモデルに基づく把握 |
○秋山雪菜・高橋宏治（東工大） |
| (6) |
15:45-16:10 |
マルチカーマルチシャフトエレベータシステムの設置問題に対するCPN Toolsを用いた解法と考察 |
○石田憲秀・山口真悟（山口大） |
| (7) |
16:10-16:35 |
マルチカーシングルシャフトエレベータの群管理制御アルゴリズムを性能評価するための簡易的な数理モデルの提案 |
○石丸隼也・山口真悟（山口大） |
| |
16:35-16:45 |
休憩 （ 10分 ） |
3月6日(木) 午後 スマートエレベータセッション２
16:45 - 18:00 |
| (8) |
16:45-17:10 |
ゾーニングによるエレベータ運行の最適性に関する数値的調査 |
○稲元 勉・樋上喜信・小林真也（愛媛大） |
| (9) |
17:10-17:35 |
エレベーターにおけるカゴおよびシャフト制御論理のMark Flow GraphモデルからSequential Function Chartへの変換によるコントローラプログラミング |
○塚本達也・高橋宏治（東工大） |
| (10) |
17:35-18:00 |
マルチカーエレベータシステムにおけるオンライン運行決定問題に対する数理的アプローチ |
田原貴之・○田中俊二（京大） |
3月7日(金) 午前 WIPセッション
09:30 - 11:35 |
| (11) |
09:30-09:55 |
無線ネットワークの必要チャンネル数を減少させる中継局配置手法の提案 |
○黒島理礼・松野浩嗣（山口大） |
| (12) |
09:55-10:20 |
Circuit functionality analysis in a gene regulatory network using GINsim: a toy example |
○Kaori Mitani・Hiroshi Matsuno・Adrien Faure（Yamaguchi Univ.） |
| (13) |
10:20-10:45 |
文字構造に基づいた手書き古文書画像検索システムの考察 |
○飯野雄一郎・荒川 涼・長岡弘祥・中田 充・葛 崎偉（山口大） |
| (14) |
10:45-11:10 |
Logical analysis of the entrainment of the cell cycle by the circadian clock |
○Wataru Mori・Hiroshi Matsuno・Adrien Faure（Yamaguchi Univ.） |
| (15) |
11:10-11:35 |
滞留なしペトリネットにおける依存部分ネットに関する諸性質 |
○水田淳史・葛 崎偉・松野浩嗣（山口大） |
| |
11:35-13:00 |
昼休み （ 85分 ） |
3月7日(金) 午後
13:00 - 16:05 |
| (16) |
13:00-13:25 |
ベイジアンネットワークを用いた観測エリアの決定支援 |
○澤田めぐみ・尾崎敦夫・渡部修介（三菱電機） |
| (17) |
13:25-13:50 |
処理時間が確率変動する生産システムの処理完了時刻とクリティカルパスの推定 |
○後藤雄貴・勝野智博・橋爪 進・矢嶌智之・小野木克明（名大） |
| (18) |
13:50-14:15 |
多種が混流する生産システムの自律的デッドロック回避における相互干渉の解消 |
○西田幸仁・高橋宏治（東工大） |
| |
14:15-14:25 |
休憩 （ 10分 ） |
| (19) |
14:25-14:50 |
蓄積者エージェントを用いた分散エネルギー管理システム |
○芝田耕大・宮本俊幸（阪大）・北村聖一・森 一之・泉井良夫（三菱電機） |
| (20) |
14:50-15:15 |
ブリッジレスワークフローネットの諸性質と判定法について |
○土肥慎介・山口真悟（山口大） |
| (21) |
15:15-15:40 |
東洋医学の陰陽五行説に基づいた五臓六腑のペトリネットモデルの提案 |
長田栄二（山口大）・○呉 靭（山口短大）・中田 充・葛 崎偉（山口大） |
| (22) |
15:40-16:05 |
時間的に資源消費量が変化する資源制約付きプロジェクトスケジューリング問題に関する研究 |
○吉田智志・宮本俊幸（阪大）・森 一之・北村聖一・泉井良夫（三菱電機） |
: 
s
ii
isc
