| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Circuits and Systems (CAS) Chair: Mitsunori Makino (Chuo Univ.) Vice Chair: Masaru Kokubo (Hitachi) Secretary: Taketomo Kanazawa (Shibaura Inst. of Tech.), Satoshi Tanaka (Renesas) Assistant: Daisuke Takafuji (Hiroshima Univ.), Takashi Kawamoto (Hitachi) =============================================== Technical Committee on Concurrent Systems Technology (CST) Chair: Toshimitsu Ushio (Osaka Univ.) Vice Chair: Kunihiko Hiraishi (JAIST) Secretary: Shingo yamaguchi (Yamaguchi Univ.), Masaki Nakamura (Kanazawa Univ.) Assistant: Tatsushi Yamasaki (Setsunan Univ.) DATE: Thu, Nov 18, 2010 10:30 - 18:00 Fri, Nov 19, 2010 10:00 - 17:00 PLACE: Kansai University(http://www.kansai-u.ac.jp/global/guide/access.html. Prof. Muneyasu Mitsuji. +81-6-6368-1178) TOPICS: Graphs, Petri Nets, Neural Networks, etc ---------------------------------------- Thu, Nov 18 AM CST (1) (10:30 - 11:45) ---------------------------------------- (1) 10:30 - 10:55 On Soundness Verification for Workflow Nets with Inhibitor Arcs Yuki Shinohara, Shingo Yamaguchi (Yamaguchi Univ.) (2) 10:55 - 11:20 A Probability-based State Space Analysis of Petri Nets Eleazar Jimenez Serrano (Kyushu Univ.) (3) 11:20 - 11:45 Heuristic Algorithms TPM and TMDLO for Minimizing Initial Markings of Timed Petri Nets Satoru Ochiiwa, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) ---------------------------------------- Thu, Nov 18 PM 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 The simplest and smallest network on which the Ford-Fulkerson maximum flow procedure may fail to terminate Toshihiko Takahashi (Niigata Univ.) (6) 13:50 - 14:15 Quasi-Equiripple Design of FIR Filters by Updating Weighting Function Shosuke Kitamura, Kenji Suyama (Tokyo Denki Univ.) ---------------------------------------- Thu, Nov 18 PM CST (2) (14:30 - 15:20) ---------------------------------------- (7) 14:30 - 14:55 An improvement of correction for lens distortion in information retrieval from printed image by using cellular phones with cameras Hiroshi Kudo, Takafumi Shono, Mitsuji Muneyasu, Yoshiko Hanada (Kansai Univ.) (8) 14:55 - 15:20 On Transforming UML Communication Diagrams to UML State Machine Diagrams by Deleting T-T Bridges Yasuwo Hasegawa, Toshiyuki Miyamoto (Osaka Univ.) ---------------------------------------- Thu, Nov 18 PM CAS (2) (15:30 - 16:45) ---------------------------------------- (9) 15:30 - 15:55 Design of CSD Coefficients FIR Filters using PSO with Perturbation Takashi Konakahara, Kenji Suyama (Tokyo Denki Univ.) (10) 15:55 - 16:20 Design of IIR Filters by Allocating Poles and Zeros using PSO Takuya Matsumoto, Kenji Suyama (Tokyo Denki Univ.) (11) 16:20 - 16:45 Brayton-Moser equations with application to FitzHugh-Nagumo models Naotake Yoshida, Hiroaki Yoshimura (Waseda Univ.) ---------------------------------------- Thu, Nov 18 PM CAS Invited Lecture (17:00 - 18:00) ---------------------------------------- (12) 17:00 - 18:00 [Invited Talk] An Approach to Module Placement: Sequence Pair and its Expansion Mineo Kaneko (JAIST) ---------------------------------------- Fri, Nov 19 AM 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 for the Fast Transient Simulation of Multiconductor Transmission Lines and Its Estimation Hiroki Kurobe, Tadatoshi Sekine, Hideki Asai (Shizuoka Univ.) (15) 10:50 - 11:15 High-speed Electromagnetic Simulation Based on 3-D HIE-FDTD Method by Using GPU Masaki Unno, Hideki Asai (Shizuoka Univ.) ---------------------------------------- Fri, Nov 19 PM CST and IEEE CASS Kansai Chapter Lecture (13:00 - 15:00) ---------------------------------------- (16) 13:00 - 14:00 (17) 14:00 - 15:00 ---------------------------------------- Fri, Nov 19 PM CST (3) (15:10 - 17:00) ---------------------------------------- (18) 15:20 - 15:45 A Study of a Symbolic Encoding Method for Bounded Model Checking of UML State Machines with Synchronous and Asynchronous Transitions Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.) (19) 15:45 - 16:10 Task Scheduling based on Degradation of Control Performance by Job Skip in Cyber-physical Systems Tatsuya Yoshimoto, Toshimitsu Ushio (Osaka Univ.) (20) 16:10 - 16:35 Braess's Paradox in Graph B^k with Two Sources Shimpei Hamaguchi, Takafumi Kanazawa, Toshimitsu Ushio (Osaka Univ.) (21) 16:35 - 17:00 Decentralized Supervisory Control for Timed Discrete Event Systems Masashi Nomura, Shigemasa Takai (Osaka Univ.) # Information for speakers General Talk will have 20 minutes for presentation and 5 minutes for discussion. # CONFERENCE SPONSORS: - This conference is held in cooperation with the IEEE Circuits and Systems Society, Kansai Chapter. === Technical Committee on Circuits and Systems (CAS) === # FUTURE SCHEDULE: Tue, Jan 25, 2011 - Wed, Jan 26, 2011: Kumamoto University [Mon, Nov 15] # SECRETARY: Yuchi Kanzawa (Shibaura Inst. of Tech.) TEL +81-3-5859-8253 E-mail:  n   sic  bau -it === Technical Committee on Concurrent Systems Technology (CST) === # SECRETARY: Shingo Yamaguchi（Graduate School of Science and Engineering, Yamaguchi University) TEL: 0836-85-9510, FAX: 0836-85-9501 E-mail: n   gu -u# ANNOUNCEMENT: # Latest information will be presented on the homepage: http://www.ieice.org/~cst/ Last modified: 2010-11-25 09:41:24 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to CAS Schedule Page] /
| Go Top | Go Back | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]