| Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
| MSS, CAS |
2004-11-04
09:30 |
Aichi |
Aichi Pref. Univ. |
An application of behavioral traps to liveness monotonicity of POC nets
Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) |
Petri net is an effective model for concurrent systems. Siphon and trap give an effective tool for liveness analysis of ... [more] |
CAS2004-42 CST2004-21
pp.1-5 |
| MSS, CAS |
2004-11-04
09:55 |
Aichi |
Aichi Pref. Univ. |
Symbolic reachability analysis method of probabilistic linear hybrid automata
Yosuke Mutsuda, Satoshi Yamane (Kanazawa Univ.) |
We can model embedded systems as hybrid systems.
Moreover, they are distributed and real-time systems.
For the purpose... [more] |
CAS2004-43 CST2004-22
pp.7-12 |
| MSS, CAS |
2004-11-04
10:20 |
Aichi |
Aichi Pref. Univ. |
Reachability analysis method of nonlinear hybrid automata using approximation techniques
Takashi Yamanzaki, Satoshi Yamane (Kanazawa Univ.) |
Hybrid systems are digital real-time systems that are embedded in analog
environments.
It is important to guarantee th... [more] |
CAS2004-44 CST2004-23
pp.13-17 |
| MSS, CAS |
2004-11-04
10:45 |
Aichi |
Aichi Pref. Univ. |
Broadcast scheduling for a parallel distributed system
Hiroshi Tamura, Futoshi Tasaki (Niigata Inst. Tech.), Masakazu Sengoku (Niigata Univ.), Shoji Shinoda (Chuo Univ.) |
A broadcast operation is one of the important functions of parallel
distributed systems. In order to find out a optimal... [more] |
CAS2004-45 CST2004-24
pp.19-24 |
| MSS, CAS |
2004-11-04
11:20 |
Aichi |
Aichi Pref. Univ. |
Arithmetic Cost Reduction Algorithm for Linear Transformation Circuits Considering the Synthesis Order of Coeficient Set
Keisuke Sato, Takao Sasaki, Hisamichi Toyoshima (Kanagawa Univ.) |
For synthesis of linear transformation circuits, it is generally used that the coefficient matrix is partitioned
i... [more] |
CAS2004-46 CST2004-25
pp.25-28 |
| MSS, CAS |
2004-11-04
11:45 |
Aichi |
Aichi Pref. Univ. |
A Study on the Pole Assignment for the Three-Dimensional Systems (II)
Atsushi Kawakami (Kanazawa Insti. of Tech.) |
In the past, we proposed a method for assigning poles for the three-dimensional systems described by the state-space mod... [more] |
CAS2004-47 CST2004-26
pp.29-34 |
| MSS, CAS |
2004-11-04
12:10 |
Aichi |
Aichi Pref. Univ. |
Expansion of the image using the B-spline surface
Norito Kato, Hiroshi Yasukawa (Aichi Prefectural Univ.), Akira Taguchi (MIT) |
[more] |
CAS2004-48 CST2004-27
pp.35-39 |
| MSS, CAS |
2004-11-04
13:55 |
Aichi |
Aichi Pref. Univ. |
Theory of Autonomous Distributed Optimization of Information Network and its implementation by means of semaphore control
Yuki Shibata, Hitoshi Watanabe (Soka Univ.) |
[more] |
CAS2004-49 CST2004-28
pp.41-46 |
| MSS, CAS |
2004-11-04
14:20 |
Aichi |
Aichi Pref. Univ. |
A Study on the Marginal Reliability of Multi-hop Wireless Network with Total Radiation Energy Restriction
Sumio Hayashi, Hitoshi Watanabe (Soka Univ) |
[more] |
CAS2004-50 CST2004-29
pp.47-52 |
| MSS, CAS |
2004-11-04
14:45 |
Aichi |
Aichi Pref. Univ. |
Optimization Method of Content Delivery Network with Information-Zooming Function(Z-CDN)
Kazunobu Takada, Hitoshi Watanabe (Soka Univ.) |
[more] |
CAS2004-51 CST2004-30
pp.53-58 |
| MSS, CAS |
2004-11-04
15:20 |
Aichi |
Aichi Pref. Univ. |
On Obtaining All the Elementary T-invariants Using Linear Programming
Tomiyuki Fukunaga, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.) |
[more] |
CAS2004-52 CST2004-31
pp.59-64 |
| MSS, CAS |
2004-11-04
15:45 |
Aichi |
Aichi Pref. Univ. |
On Dead of Program Nets
Kousuke Yamada, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) |
This paper discusses dead for program nets. We first give the definition of
dead for program nets. A program net is sai... [more] |
CAS2004-53 CST2004-32
pp.65-70 |
| MSS, CAS |
2004-11-04
16:10 |
Aichi |
Aichi Pref. Univ. |
On Computation of Maximum Throughput for Well-Structured Workflow Nets with Conflict-Free Resources
Keisuke Kuniyoshi (Yamaguchi Univ.), Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ) |
This paper discusses how to calculate maximum throughput for well-structured workflow nets with conflict-free resources ... [more] |
CAS2004-54 CST2004-33
pp.71-76 |
| MSS, CAS |
2004-11-04
16:35 |
Aichi |
Aichi Pref. Univ. |
On the Effect of Firing Inhibition in Finding Firing Sequences of Timed Petri Nets
Tsuyoshi Tachibatake, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
The paper proposes several heuristic algorithms for the Timed Petri Net Maximum Scheduling Probrem (MAX TPS for short).T... [more] |
CAS2004-55 CST2004-34
pp.77-82 |
| MSS, CAS |
2004-11-05
09:30 |
Aichi |
Aichi Pref. Univ. |
Anomalous signal detection using multi-layer neural network for electromagnetic wave radiation
Akitoshi Itai, Hiroshi Yasukawa (Aichi Prefectural Univ.), Ichi Takumi (Nagoya Institute of Technology), Masayasu Hata (Chubu Univ.) |
It is well known that the electromagnetic waves that radiate from the earth's crust are useful for predicting earthquake... [more] |
CAS2004-56 CST2004-35
pp.1-6 |
| MSS, CAS |
2004-11-05
09:55 |
Aichi |
Aichi Pref. Univ. |
Memory allocation method for indirect addressing DSP with discrete auto-modification
Nobuhiko Sugino, Yuhei Kaneko, Akinori Nishihara (Tokyo Inst. of Tech.) |
[more] |
CAS2004-57 CST2004-36
pp.7-12 |
| MSS, CAS |
2004-11-05
10:20 |
Aichi |
Aichi Pref. Univ. |
On Footstep Identification Using Parametric Analysis Based on Psycho-Acoustics
Takashi Takasuka, Yasuhiro Shoji, Hiroshi Yasukawa (Aichi Prefectural Univ.) |
[more] |
CAS2004-58 CST2004-37
pp.13-18 |
| MSS, CAS |
2004-11-05
11:00 |
Aichi |
Aichi Pref. Univ. |
[Special Talk]
New Grand Challenges
-- Abstract --
Yasuyoshi Inagaki (Aichi Pref. Univ.) |
[more] |
CAS2004-59 CST2004-38
pp.19-20 |