Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
RCS, SR, SRW (Joint) |
2024-03-14 10:25 |
Tokyo |
The University of Tokyo (Hongo Campus), and online (Primary: On-site, Secondary: Online) |
Study on improving frequency usage efficiency using baseband MIMO method aiming at 5G expansion(2)
-- MxN times communication method using real MIMO and baseband MIMO -- Maria Takigawa (Meiji Univ.), Gen-ichiro Ohta (YRP), Tetsushi Ikegami (Meiji Univ.) RCS2023-272 |
In this study, the spectrum efficiency is multiplied by M×N by superimposing MIMO in real space (rank M) and baseband MI... [more] |
RCS2023-272 pp.106-111 |
HIP |
2023-12-21 15:15 |
Miyagi |
Research Institute of Electrical Communication |
Verification of the effect of a music application based on the automatic composition system "soundtope" on improving mood.
-- For the purpose of developing medical applications -- Reiko Shiba (Tokyo Geidai), Yota Morimoto (coton inc.), Ruriko Akimoto (Tokyo Geidai), Kohji Nageishi, Tatsuo Akechi (Nagoya City Univ Grad School Med Sci), Maiko Fujimori, Yosuke Uchitomi (NCC), Kiyoshi Furukawa (Tokyo Geidai) HIP2023-82 |
The purpose of this study is to develop a medical application to improve anxiety and fatigue in cancer patients and canc... [more] |
HIP2023-82 pp.31-35 |
SS |
2022-03-07 14:30 |
Online |
Online |
Learning Assumptions for Compositional Verification of Timed Systems with Tree Queries Kotaro Niimi, Shoji Yuen (Nagoya Univ) SS2021-49 |
This paper presents an automatic assumption-learning for compositional verification of timed systems. We focus on Assume... [more] |
SS2021-49 pp.43-48 |
SANE |
2021-11-11 13:20 |
Online |
Online |
TDOA and AOA Measurement System for Investigating Aircraft Position Verification Junichi Naganawa, Hiromi Miyazaki, Hirohisa Tajima, Tadashi Koga, Jun Kitaori (ENRI) SANE2021-44 |
ADS-B (Automatic Dependent Surveillance—Broadcast) is an emerging means of aeronautical surveillance for air traffic con... [more] |
SANE2021-44 pp.65-70 |
SANE |
2021-06-25 14:20 |
Online |
Online |
System Design Consideration for Aircraft Position Verification Method using TDOA and AOA Junichi Naganawa, Hiromi Miyazaki, Tadashi Koga, Hirohisa tajima, Yasuyuki Kakubari (ENRI) SANE2021-14 |
ADS-B (Automatic Dependent Surveillance-Broadcast) is one of the next generation aeronautical surveillance systems, wher... [more] |
SANE2021-14 pp.29-34 |
MW, EST, EMCJ, PEM, IEE-EMC [detail] |
2020-10-23 10:55 |
Online |
Online |
Development of an open source software: ADVENTURE_FullWave Amane Takei (UoM) EMCJ2020-40 MW2020-54 EST2020-42 |
In this research, we are developing and releasing the microwave analysis code: ADVENTURE_FullWave as an open source soft... [more] |
EMCJ2020-40 MW2020-54 EST2020-42 pp.85-90 |
SANE |
2019-11-28 16:15 |
Osaka |
OIT UMEDA Campus |
Experimental Evaluation of Aircraft Position Verification Method using TDOA Junichi Naganawa, Hiromi Miyazaki (ENRI) SANE2019-75 |
ADS-B (Automatic Dependent Surveillance - Broadcast) is one of the next generation aeronautical surveillance systems.
... [more] |
SANE2019-75 pp.29-34 |
QIT (2nd) |
2019-11-18 13:50 |
Tokyo |
Gakushuin University |
[Poster Presentation]
Toward an experimental verification of the photon propagation paradox Tatsuya Honda, Masataka Iinuma, Hofmann Holger (Hiroshima Univ.) |
Recently, it has been shown theoretically that the use of quantum interference between a position-like state with a pos... [more] |
|
SIS, IPSJ-AVM, ITE-3DMT [detail] |
2019-06-13 11:40 |
Nagasaki |
Fukue Culture Center |
Accuracy Verification of Signal Reception Time Determination in Wi-Fi System
-- For High Accuracy of Asynchronous Wi-Fi Indoor Mobile Position Estimation -- Izumu Kusunoki, Kotaro Nagano, Nana Sutisna, Yuhei Nagao, Leonardo Lanante, Masayuki Kurosaki, Hiroshi Ochi (Kyutech) SIS2019-2 |
In this paper, we propose a system that verifies and corrects the accuracy of symbol timing synchronization processing t... [more] |
SIS2019-2 pp.5-10 |
SANE |
2018-10-12 09:30 |
Tokyo |
The University of Electro-Communications |
Considering Latency in TDOA-based ADS-B Position Verification Junichi Naganawa, Hiromi Miyazaki (ENRI) SANE2018-44 |
ADS-B (Automatic Dependent Surveillance - Broadcast) is one of the next generation aeronautical surveillance systems.
... [more] |
SANE2018-44 pp.1-6 |
R |
2017-07-28 13:35 |
Hokkaido |
Wakkanai Sun Hotel |
A Practical Use of GNSS for a Train Protection System and its Reliability Akira Asano (Kyosan), Hiroshi Mochizuki, Hideo Nakamura (Nihon Univ.) R2017-16 |
Satellite positioning technology on the basis of Global Navigation Satellite Systems (GNSS), which are represented by Gl... [more] |
R2017-16 pp.13-18 |
KBSE |
2017-03-03 12:50 |
Ishikawa |
|
KBSE2016-40 |
Self-adaptive systems, which change their behaviors to adapt to their environmental changes, are focused on in recent ye... [more] |
KBSE2016-40 pp.7-12 |
SS, MSS |
2016-01-25 18:30 |
Ishikawa |
Shiinoki-Geihin-Kan |
A Study of a Practical Approach to Verifying Control Systems using Model-Checking and Testing Junya Matsubara, Rieko Takagi, Teruyuki Nakazawa (Denso Create), Tetsuya Tohdo, Hiroyuki Ihara, Yukinori Kawaai (Denso) MSS2015-52 SS2015-61 |
Due to the automotive control systems have become complex, it is necessary to ensure the dependability of the systems. I... [more] |
MSS2015-52 SS2015-61 pp.99-103 |
HCGSYMPO (2nd) |
2014-12-17 - 2014-12-19 |
Yamaguchi |
Kaikyo Messe Shimonoseki |
Basic Technorogy and Verification for High-precision Automatic Electric Wheelchair Driving in Indoor Area Yuta Noriduki, Chokatsu Yara, Hirotoshi Shibata, Shigenori Ioroi, Hiroshi Tanaka (KAIT) |
Methods for an electrical wheelchair driving have been investigated from aspects of automatic driving to a target positi... [more] |
|
SC, IPSJ-UBI |
2014-07-28 10:00 |
Tokyo |
National Institute of Informatics |
Formal verification for service composition of formaly verified services using different mechanisms Kazuhiro Funakoshi, Shigeru Hosono (NEC) SC2014-6 |
This presentation describes a case study to generate models on proof assistant Coq with input of multiple Web services' ... [more] |
SC2014-6 pp.49-54 |
SAT, SANE (Joint) |
2014-02-20 13:50 |
Yamaguchi |
Hotel Kamefuku (Yamaguchi) |
Positioning and Tracking Method Using Asynchronous TDOA Measurements Yuki Takabayashi, Hiroshi Kameda (Mitsubishi Electric) SANE2013-134 |
This paper proposes a target positioning and tracking method using asynchronous TDOA(Time Difference of Arrival) measure... [more] |
SANE2013-134 pp.13-18 |
SANE |
2013-06-21 16:25 |
Ibaraki |
Tsukuba Space Center, JAXA |
PPP experiments via QZSS-LEX Kazuhiro Yoshikawa, Kaori Kawate, Motoyuki Miyoshi, Satoshi Kogure (JAXA), Tatsinori Sada (NU), Tomoji Takasu (Tokyo Univ. of Marine Science and Tech.), Yasutaka Hirahara (NEC) SANE2013-33 |
QZS-1 “MICHIBIKI” was launched in September 11th 2010 by H-IIA launch vehicle Flight 18th, and verification of QZSS (Qua... [more] |
SANE2013-33 pp.103-108 |
SANE |
2012-06-28 16:25 |
Ibaraki |
Tsukuba Space Center, JAXA |
Development Status of JAXA's PPP experiment System via QZSS-LEX Kaori Kawate, Satoshi Kogure, Shinichi Nakamura, Motoyuki Miyoshi (JAXA), Hiroshi Soga, Yasutaka Hirahara (NEC), Akio Yasuda (Kaiyo Univ.), Tomoji Takasu (Kaiyo Univ..) SANE2012-27 |
QZS-1 “MICHIBIKI” was launched in September 11th 2010 by H-IIA launch vehicle Flight 18th, and verification of QZSS (Qua... [more] |
SANE2012-27 pp.37-42 |
SANE |
2011-07-29 14:45 |
Tokyo |
Electronic Navigation Research Institute |
System Enhancement of Airport Surface Movement Surveillance (MLAT)
-- Verification Experiment of Interference Immunity in Multipath Environment -- Yasuyuki Kakubari, Tadashi Koga, Hiromi Miyazaki, Hiroki Shimada, Shiro Nihei (ENRI) SANE2011-55 |
The multilateration (MLAT) is the aircraft surveillance system for airport surface movement utilizing hyperbolic positio... [more] |
SANE2011-55 pp.61-66 |
WBS, IT, ISEC |
2009-03-10 14:50 |
Hokkaido |
Hakodate Mirai Univ. |
Composition of functionalities in UC framework Tadashi Araragi (NTT), Chunhua Su, Kouichi Sakurai (Kyushu Univ.) IT2008-89 ISEC2008-147 WBS2008-102 |
This paper initiates a comprehensive approach for design method for functionality in UC framework. By combining some fun... [more] |
IT2008-89 ISEC2008-147 WBS2008-102 pp.295-299 |