6月2日(月) 午前 CST(1) DES(1)
10:40 - 11:55 |
| (1) |
10:40-11:05 |
ツリートポロジーに基づく並列遺伝アルゴリズムの多様性の実験評価 |
○宮城隼人・名嘉村盛和（琉球大） |
| |
- |
引き続き計測自動制御学会離散事象システム部会セッション |
6月2日(月) 午後 招待講演（研究会優秀論文賞）
13:00 - 13:50 |
| (2) |
13:00-13:50 |
［招待講演］離散状態の流体化 |
○平石邦彦（北陸先端大） |
6月2日(月) 午後 CST(2)
14:00 - 14:50 |
| (3) |
14:00-14:25 |
待機電力を考慮した消費電力削減とQoS公平化とを実現するリソース配分法 |
○寺田早百合・潮 俊光（阪大） |
| (4) |
14:25-14:50 |
Mealyオートマトンを用いた離散事象システムのモデリング |
○潮 俊光（阪大）・高井重昌（京都工繊大） |
6月2日(月) 午後 DES(2)
15:00 - 16:40 |
| |
- |
計測自動制御学会離散事象システム部会セッション |
6月2日(月) 午後 DES特別招待講演
16:50 - 17:40 |
| |
- |
DES特別招待講演 |
6月3日(火) 午前 DES(3)
09:00 - 10:50 |
| |
- |
計測自動制御学会離散事象システム部会セッション |
6月3日(火) 午前 CST(3)
10:50 - 12:05 |
| (5) |
10:50-11:15 |
述語抽象化とその洗練による確率時間オートマトンの到達可能性解析手法 |
駒形龍太・○森下 篤・山根 智（金沢大） |
| (6) |
11:15-11:40 |
CSTソリューションコンペティション2007 ～ 評価実験の詳細報告 ～ |
○宮本俊幸（阪大）・山口真悟（山口大）・内平直志（東芝）・葛 崎偉（山口大）・本位田真一（NII） |
| (7) |
11:40-12:05 |
WFネットの健全化問題の提案とProtocol継承を考慮した部分問題に対する一考察 |
○池田 良・山口真悟・田中 稔（山口大） |
6月3日(火) 午後 DES(4)
13:05 - 14:20 |
| |
- |
計測自動制御学会離散事象システム部会セッション |
6月3日(火) 午後 CST(4)
14:30 - 16:10 |
| (8) |
14:30-14:55 |
量子ペトリネットによる量子コンピュータのモデル化 |
○伊藤慎祐・太田 淳・辻 孝吉（愛知県立大） |
| (9) |
14:55-15:20 |
手書き文字認識のための特徴グラフのマッチングアルゴリズムの提案 |
○西田秀一・林 正紀・中田 充・葛 崎偉・吉村 誠（山口大） |
| (10) |
15:20-15:45 |
強化学習に基づく時間付き離散事象システムのスーパバイザ制御 |
○山崎達志（摂南大）・潮 俊光（阪大） |
| (11) |
15:45-16:10 |
人格と民主主義の数理モデル ～ 善悪の数理的判断 ～ |
○服部忠幸（非公開希望） |
: 
ie
u-r
k