ken-system: Advance Program

IEICE Technical Committee Submission System
Advance Program

Online Proceedings
[Sign in]
Tech. Rep. Archives

===============================================
Technical Committee on Mathematical Systems Science and its applications (MSS)
Chair: Satoshi Yamane (Kanazawa Univ.) Vice Chair: Morikazu Nakamura (Univ. of Ryukyus)
Secretary: Mitsuru Nakata (Yamaguchi Univ.), Ichiro Toyoshima (Toshiba)
Assistant: Hideki Kinjo (Okinawa Univ.)

DATE:
Thu, Mar 3, 2016 09:20 - 17:50
Fri, Mar 4, 2016 09:10 - 16:20

PLACE:
KAIKYO MESSE SHIMONOSEKI 804 Meeting room(http://www.kaikyomesse.jp/access/. 中田充)

TOPICS:

----------------------------------------
Thu, Mar 3 AM DES1(WIP-DES1) (09:20 - 10:20)
----------------------------------------

(1) 09:20 - 09:40
DES1-1

(2) 09:40 - 10:00
DES1-2

(3) 10:00 - 10:20
DES1-3

----- Break ( 10 min. ) -----

----------------------------------------
Thu, Mar 3 AM MSS1(WIP-MSS1) (10:30 - 11:50)
----------------------------------------

(4) 10:30 - 10:50
Analysis of Boundedness and Liveness for Agent-Oriented Petri Net PN^2 and its Application for IoT Services
Shoki Tsugawa, Kazuya Nakahori, Shingo Yamaguchi (Yamaguchi Univ.)

(5) 10:50 - 11:10
Construction of Internal Organs of Petri Net Model Based on the Acupuncture Efficacy of Meridians
Masafumi Nishida, Yuta Murai (Yamaguchi Univ), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ)

(6) 11:10 - 11:30
Implementation of similar subgraph search method for historical document image retrieval system
Hiroaki Kodama, Hiroaki Nagaoka, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ.)

(7) 11:30 - 11:50
Task execution time and PE power consumption variation-aware scheduling method
Komei Nomura, Yasuhiro Takashima (Univ. of Kitakyushu), Yuiti Nakamura (NEC)

----- Lunch Break ( 60 min. ) -----

----------------------------------------
Thu, Mar 3 PM DES2(WIP-DES2) (12:50 - 14:10)
----------------------------------------

(8) 12:50 - 13:10
DES2-1

(9) 13:10 - 13:30
DES2-2

(10) 13:30 - 13:50
DES2-3

(11) 13:50 - 14:10
DES2-4

----- Break ( 10 min. ) -----

----------------------------------------
Thu, Mar 3 PM MSS2(WIP-MSS2) (14:20 - 15:40)
----------------------------------------

(12) 14:20 - 14:40
Design and Development of A Data Sharing System on Delay Tolerant Networks
Toru Nakandakari, Tomoki Miyazato, Morikazu Nakamura (Univ. of the Ryukyus), Akira Sakima (Kuniken Systems)

(13) 14:40 - 15:00
Vowel Classification for Generating Language Family Trees Based on the Acoustic Phonetics
Minori Motoyama (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Hiroshi Matsuno (Yamaguchi Univ.)

(14) 15:00 - 15:20
A Method of Weight Assignment to Phonetic Symbols for Generating Language Family Trees based on Basic Vocabulary
Yuya Matsuura (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior Coll.), Hiroshi Matsuno (Yamaguchi Univ.)

(15) 15:20 - 15:40
A Construction Method of Efficient Wireless LAN using Node Clustering
Shuhei Matsumura, Hiroshi Matsuno (Yamaguchi Univ.)

----- Break ( 10 min. ) -----

----------------------------------------
Thu, Mar 3 PM MSS3 (15:50 - 16:40)
----------------------------------------

(16) 15:50 - 16:15
Properties of Uniqueness on Dependent Shrink for Retention-Free Petri Nets
Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.)

(17) 16:15 - 16:40
A Colored Hybrid Petri Net Model for the Delta-Notch Dependent Boundary Formation in the Drosophila Large Intestine
Fei Liu, Hiroshi Matsuno, Ryutaro Murakami (Yamaguchi Univ.)

----- Break ( 10 min. ) -----

----------------------------------------
Thu, Mar 3 PM (16:50 - 17:50)
----------------------------------------

(18) 16:50 - 17:50
[Invited Talk]
From Inference to Equivalent Transformation
-- Towards a new theory for Computational Logic --
Kiyoshi Akama (Hokkaido Univ.)

----------------------------------------
Fri, Mar 4 AM MSS4 (09:10 - 10:25)
----------------------------------------

(19) 09:10 - 09:35
On Behavioral Analysis of Nursing and Caregiving Services Using Switched Linear Regression Models
Koichi Kobayashi (Hokkaido Univ.), Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira (JAIST)

(20) 09:35 - 10:00
Controller Tuning with Falsification of Temporal Logic Formulae
Taiyo Mineo (Tokyo Tech.), Daisuke Ishii (Univ. of Fukui), Takuo Watanabe (Tokyo Tech.)

(21) 10:00 - 10:25
A matching based algorithm for access point selection in heterogeneous wireless networks
Hideo Kobayashi, Eiichi Kameda, Norihiko Shinomiya (Soka Univ)

----- Break ( 10 min. ) -----

----------------------------------------
Fri, Mar 4 AM MSS5 (10:35 - 11:50)
----------------------------------------

(22) 10:35 - 11:00
Sevaral Implementations of Minimum-Time FSSP Algorithms Based on Exponential Marking (Part II)
Mitsuki Hirota, Hirosi Umeo (Univ.Osaka Electro)

(23) 11:00 - 11:25
CAME: A Novel Fast Connectivity-Aware MER Enumeration Algorithm for the Online Task Placement on Partially Reconfigurable Device
Tieyuan Pan, Lian Zeng (Waseda Univ.), Yasuhiro Takashima (Univ. of Kitakyushu), Takahiro Watanabe (Waseda Univ.)

(24) 11:25 - 11:50
Performance Comparison to a Classification Problem by the Qualification Method 2 and STRIM
Yuya Kitazaki, Yuichi Kato (Shimane Univ.), Tetsuro Saeki (Yamaguchi Univ.)

----- Lunch Break ( 60 min. ) -----

----------------------------------------
Fri, Mar 4 PM DES3 (12:50 - 14:30)
----------------------------------------

(25) 12:50 - 13:15
DES3-1

(26) 13:15 - 13:40
DES3-2

(27) 13:40 - 14:05
DES3-3

(28) 14:05 - 14:30
DES3-4

----- Break ( 10 min. ) -----

----------------------------------------
Fri, Mar 4 PM MSS6 (14:40 - 16:20)
----------------------------------------

(29) 14:40 - 15:05
A Scheduling Problem on Carestaff Cooperation
-- Comparison of Communication Protocols and an Optimal Solution by a Solver --
Kunihiko Hiraishi, Sunseong Choe (JAIST), Koichi Kobayashi (Hokkaido Univ.), Yasuo Sasaki, Naoshi Uchihira (JAIST)

(30) 15:05 - 15:30
Distributed Optimization of Data Transmission Path to Base Station for Voronoi Coverage Problems
Naoto Ibuka, Takafumi Kanazawa (Osaka Univ.)

(31) 15:30 - 15:55
State Attraction Control of Discrete Event Systems Under Partial Observation
Ryoma Sawasaki, Sigemasa Takai (Osaka Univ.)

(32) 15:55 - 16:20
Fast path routing with randomized algorithm
Asuka Shinohara, Yasuhiro Takashima (Univ. of Kitakyushu), Yuichi Nakamura (NEC)

# Information for speakers
General Talk will have 20 minutes for presentation and 5 minutes for discussion.
General Talk (WIP) will have 10 minutes for presentation and 10 minutes for discussion.
Invited Talk will have 50 minutes for presentation and 10 minutes for discussion.

=== Technical Committee on Mathematical Systems Science and its applications (MSS) ===
# FUTURE SCHEDULE:

Thu, Jun 16, 2016 - Fri, Jun 17, 2016: Hirosaki Shiritsu Kanko-kan [Fri, Apr 15], Topics: System, signal processing and related topics

# SECRETARY:
Mitsuru Nakata (Yamaguchi Univ.)
Tel: +81-83-933-5402
E-mail: m