11月18日(木) 午前 CST (1) 10:30 - 11:45 |
(1) |
10:30-10:55 |
抑止アーク付きワークフローネットに対する健全性判定について |
○篠原悠樹・山口真悟(山口大) |
(2) |
10:55-11:20 |
A Probability-based State Space Analysis of Petri Nets |
○Eleazar Jimenez Serrano(Kyushu Univ.) |
(3) |
11:20-11:45 |
時間付きペトリネットにおける最小初期マーキング問題に対する発見的解法TPMとTMDLO |
○落岩 諭・田岡智志・渡邉敏正(広島大) |
11月18日(木) 午後 CAS (1) 13:00 - 14:15 |
(4) |
13:00-13:25 |
On the Complexity of Three-Dimensional Orthogonal Face Routing |
○Satoshi Tayu・Shuichi Ueno(Tokyo Inst. of Tech.) |
(5) |
13:25-13:50 |
Ford-Fulkersonの最大フロー手続きが停止しない最簡かつ最小のネットワーク |
○高橋俊彦(新潟大) |
(6) |
13:50-14:15 |
重み関数の更新によるFIRフィルタの準等リプル設計 |
○北村祥介・陶山健仁(東京電機大) |
11月18日(木) 午後 CST (2) 14:30 - 15:20 |
(7) |
14:30-14:55 |
携帯電話を用いた印刷画像からの情報検出におけるレンズ歪み補正法の改善 |
○工藤天志・正野隆文・棟安実治・花田良子(関西大) |
(8) |
14:55-15:20 |
T-Tブリッジ除去によるUMLコミュニケーション図からUML状態機械図への変換手法について |
○長谷川泰央・宮本俊幸(阪大) |
11月18日(木) 午後 CAS (2) 15:30 - 16:45 |
(9) |
15:30-15:55 |
摂動を付加したPSOによるCSD係数FIRフィルタの設計 |
○小中原 孝・陶山健仁(東京電機大) |
(10) |
15:55-16:20 |
PSOを用いた極零点配置によるIIRフィルタの設計 |
○松本拓也・陶山健仁(東京電機大) |
(11) |
16:20-16:45 |
Brayton-Moser方程式とFitzHugh-Nagumoモデルへの応用 |
○吉田直剛・吉村浩明(早大) |
11月18日(木) 午後 CAS招待講演 17:00 - 18:00 |
(12) |
17:00-18:00 |
[招待講演]部品配置問題への一アプローチ:Sequence Pairとその展開 |
○金子峰雄(北陸先端大) |
11月19日(金) 午前 CAS (3) 10:00 - 11:15 |
(13) |
10:00-10:25 |
A switching method of distances for keystroke dynamics |
○Yoshihiro Kaneko・Yuji Kinpara・Yuta Shiomi(Gifu Univ.) |
(14) |
10:25-10:50 |
ADE-LIMによる強結合伝送線路の高速過渡解析と評価 |
○黒部裕貴・關根惟敏・浅井秀樹(静岡大) |
(15) |
10:50-11:15 |
GPUを利用した3次元HIE-FDTD法に基づく高速電磁界解析 |
○海野正樹・浅井秀樹(静岡大) |
11月19日(金) 午後 CST及びIEEE CASS関西チャプタ―合同開催技術講演会 13:00 - 15:00 |
|
- |
※本講演会は参加自由です。直接会場へお越しください。 |
(16) |
13:00-14:00 |
[招待講演]匿名性の形式検証法
○河辺 義信(愛知工業大) |
(17) |
14:00-15:00 |
[招待講演]ペトリネットによるワークフローのモデル化と解析
○山口 真悟(山口大) |
11月19日(金) 午後 CST (3) 15:10 - 17:00 |
|
- |
2009年CST研究会優秀論文賞表彰式
(著者:水上翔太・宮本俊幸(阪大),題目:秘密分散共有法を用いた分散データベースシステムの設計及び実装,信学技報:CST2008-50) |
(18) |
15:20-15:45 |
同期遷移と非同期遷移が混在するUML状態機械の有界モデル検査における記号表現方法の一考察 |
○新村勇人・宮本俊幸(阪大) |
(19) |
15:45-16:10 |
サイバー物理システムにおけるジョブスキップによる制御性能劣化を抑えるタスクスケジューリング |
○吉本達也・潮 俊光(阪大) |
(20) |
16:10-16:35 |
2ソースB^kグラフにおけるブライスのパラドックス |
○浜口慎平・金澤尚史・潮 俊光(阪大) |
(21) |
16:35-17:00 |
時間付き離散事象システムにおける分散スーパバイザ制御 |
○野村雅司・高井重昌(阪大) |