Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
CNR |
2023-08-09 14:45 |
Hokkaido |
(Primary: On-site, Secondary: Online) |
Construction of Groynes Reconfiguration System for Elucidation of River Channel Change Mechanism Chen Zhang, Yuki Takahashi, Daichi Moteki, Hiroyasu Yasuda, Kiyoshi Hayasaka, Shogo Muramatsu (Niigata Univ.) CNR2023-4 |
In this report, a new actuation method is proposed for improving the prototype of our proposed river cyber-physical syst... [more] |
CNR2023-4 pp.18-21 |
MSS, NLP |
2022-03-29 14:55 |
Online |
Online |
Verification of spacecraft operational scenario using Little-JIL Kazunori Someya (JAXA), Kunihiko Hiraishi (JAIST) MSS2021-78 NLP2021-149 |
Inadequate operational scenario leads to satellite loss in the case of the operational accident of the X-ray astronomy s... [more] |
MSS2021-78 NLP2021-149 pp.121-126 |
IBISML |
2022-01-18 15:20 |
Online |
Online |
Determining the number of clusters using the shrinking maximum likelihood self-organizing map Ryosuke Motegi, Yoichi Seki (Gunma Univ.) IBISML2021-29 |
Determining the number of clusters is one of the major challenges in clustering. The conventional method, such as the Ex... [more] |
IBISML2021-29 pp.81-87 |
MSS, CAS, IPSJ-AL [detail] |
2021-11-19 10:30 |
Online |
Online |
MILP Formulation for Optimal Resource Assignment Problems with Multiple Resource Requirements based on Timed Colored Petri Nets Tomoya Ushihara, Morikazu Nakamura (Univ. of the Ryukyus) CAS2021-47 MSS2021-27 |
We consider a mixed-integer linear programming (MILP) generation based on colored timed Petri nets for optimal resource ... [more] |
CAS2021-47 MSS2021-27 pp.58-63 |
SR |
2021-05-20 14:05 |
Online |
Online |
[Invited Lecture]
Implementation of software defined radio algorithms on large-scale FPGAs Hiroyuki Tsuchiya, Hiroyuki Satoh (Marimo Electronics) SR2021-6 |
Based on the PHY layer of IEEE802.11a, we implemented a real-time algorithm to avoid interference, switch channels, and ... [more] |
SR2021-6 pp.42-47 |
KBSE |
2021-03-05 14:05 |
Online |
Online |
Model-Based Testing Environment Equipped with a Network Simulator Kosuke Fukuda (Univ. of Tokyo), Yoshinori Tanabe (Tsurumi Univ.), Masami Hagiya (Univ. of Tokyo) KBSE2020-36 |
The application of IoT devices is expanding. Model-based testing is one of the testing methods which fit well for IoT de... [more] |
KBSE2020-36 pp.13-18 |
NC, IBISML, IPSJ-BIO, IPSJ-MPS [detail] |
2020-06-29 15:25 |
Online |
Online |
A Study on Model-based Deep Reinforcement Learning Using Autonomous Search for Subgoal Motoki Maruyama, Satoshi Endo, Koji Yamada (Univ. of the Ryukyus) NC2020-6 IBISML2020-6 |
Model-based deep reinforcement learning (DRL) is more sample-efficient than model-free DRL. But it requires a deep gener... [more] |
NC2020-6 IBISML2020-6 pp.33-38 |
KBSE |
2020-01-25 15:25 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Speedup of Model-Based Testing for IoT Software Using Virtual Time and State Distribution of Devices Kotaro Tanabe (Tokyo Univ.), Yoshinori Tanabe (Tsurumi Univ.), Masami Hagiya (Tokyo Univ.) KBSE2019-44 |
Modbat is a model-based test tool that performs modeling using an extended finite state automaton(EFSM). In this study, ... [more] |
KBSE2019-44 pp.37-42 |
MSS, CAS, SIP, VLD |
2019-07-31 15:20 |
Iwate |
Iwate Univ. |
A Study on Reconstructibility of Event Structures Marika Izawa, Toshiyuki Miyamoto (Osaka Univ.) CAS2019-19 VLD2019-25 SIP2019-35 MSS2019-19 |
The choreography realization problem is a design problem of systems based on service-oriented architecture. In our previ... [more] |
CAS2019-19 VLD2019-25 SIP2019-35 MSS2019-19 pp.83-88 |
EE |
2019-01-16 16:05 |
Kumamoto |
KCIC |
[Special Talk]
Development of New Circuit Simulator in Energy Electronics
-- Introduction and Vision of SCALE Simulator -- Masatoshi Nakahara, Soichiro Nakamura (SEL) EE2018-47 |
This paper explains a new circuit simulator SCALE which is developed based on the previous simulator SCAT. SCALE enables... [more] |
EE2018-47 pp.55-60 |
MoNA |
2018-12-25 15:00 |
Tokyo |
|
Human Gait Recognition Method for Long and Baggy Clothes Using Machine Learning Abrar Alharbi, Eiji Kamioka (SIT) MoNA2018-50 |
Human gait is a significant biometric feature used for the identification of people by their style of walking. In compar... [more] |
MoNA2018-50 pp.67-72 |
VLD, HWS (Joint) |
2018-03-01 14:55 |
Okinawa |
Okinawa Seinen Kaikan |
Core allocation with mixed multirate tasks in model-based parallelization Yoshihiro Ikeda, Masato Edahiro (Nagoya Univ) VLD2017-114 |
In recent embedded systems, multi-core processors and parallel programming are introduced to improve performance.Also, l... [more] |
VLD2017-114 pp.151-156 |
VLD, HWS (Joint) |
2018-03-01 15:20 |
Okinawa |
Okinawa Seinen Kaikan |
Hardware/Software co-design environment in model-based parallelization (MBP) Kazuki Kashiwabara, Shinya Honda, Masato Edahiro (Nagoya Univ.) VLD2017-115 |
In recent years, while the complexity and high performance of in-vehicle systems are progressing, restrictions on time a... [more] |
VLD2017-115 pp.157-162 |
MSS, SS |
2017-01-26 13:30 |
Kyoto |
Kyoto Institute of Technology |
A Study on Realizability of Choreography Given by Two Communication Diagrams
-- A Study on a Case where Conflicts Exist Between Scenarios -- Toshiki Kinoshita, Toshiyuki Miyamoto (Osaka Univ.) MSS2016-61 SS2016-40 |
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model, ... [more] |
MSS2016-61 SS2016-40 pp.25-30 |
NS, CQ, ICM, NV (Joint) |
2016-11-25 14:20 |
Yamaguchi |
Shimonoseki Chember of Commerce and Industry |
Atutomated Change Planning for Network Device with Model-based Aproach Manabu Nakanoya, Takayuki Kuroda, Toshio Tonouchi (NEC) ICM2016-36 |
The configuration management automation tools, such as ansible and puppet, have been applied to network devices as well ... [more] |
ICM2016-36 pp.67-72 |
PRMU, IPSJ-CVIM, IBISML [detail] |
2016-09-05 09:30 |
Toyama |
|
Real-time Human Pose Tracking Using Depth Sensor by Connected Sphere Model Daiki Fukuyama, Tsuyoshi Migita, Shakunaga Takeshi (Okayama Univ.) PRMU2016-58 IBISML2016-13 |
Human pose tracking on a depth image sequence can be achieved by using a generative-model-based method, where a human bo... [more] |
PRMU2016-58 IBISML2016-13 pp.25-30 |
MICT, RCC |
2016-05-13 15:15 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
[Invited Talk]
Model-based techniques for control system security Kenji Sawada, Tsubasa Sasaki, Tsukada Kento, Seiichi Shin (UEC Tokyo), Shu Hosokawa (CSSC) RCC2016-10 MICT2016-10 |
Control systems of important infrastructures are not able to avoid dealing with some security incidents caused by cybera... [more] |
RCC2016-10 MICT2016-10 pp.45-50 |
SS, MSS |
2016-01-25 10:20 |
Ishikawa |
Shiinoki-Geihin-Kan |
Choreography Realization by Re-constructible Decomposition of Acyclic Relations
-- A Study on Synthesizing Pareto Optimal State Machines -- Toshiyuki Miyamoto (Osaka Univ.) MSS2015-37 SS2015-46 |
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model,... [more] |
MSS2015-37 SS2015-46 pp.13-18 |
VLD, CPSY, RECONF, IPSJ-SLDM, IPSJ-ARC [detail] |
2016-01-21 15:45 |
Kanagawa |
Hiyoshi Campus, Keio University |
Search of Evaluation Function with Genetic Algorithm and UML Model-based Development for TRAX Player Ryo Tamaki, Naohiko Shimizu (Tokai Univ.) VLD2015-110 CPSY2015-142 RECONF2015-92 |
In this paper, We present the game tree search and the hardware design for the TRAX player. The TRAX player searches the... [more] |
VLD2015-110 CPSY2015-142 RECONF2015-92 pp.237-242 |
WIT, SP, ASJ-H, PRMU |
2015-06-19 10:50 |
Niigata |
|
Feature Points-based Model-Free Object Trajectory Detection Hiroki Nishino, Takeshi Saitoh (kyutech) PRMU2015-55 SP2015-24 WIT2015-24 |
This paper proposes a feature points-based model-free object trajectory detection method. In our method, first, feature... [more] |
PRMU2015-55 SP2015-24 WIT2015-24 pp.137-142 |