Koichi TAKAHASHI


Parallel FDTD Simulation of Microwave Propagation Characteristics in Forest Model for WiMAX Signal
Yasumitsu MIYAZAKI Koichi TAKAHASHI Nobuo GOTO 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 2012/10/01
Vol. E95-C  No. 10  pp. 1572-1579
Type of Manuscript:  Special Section PAPER (Special Section on Recent Progress in Microwave and Millimeter-Wave Technologies)
Category: 
Keyword: 
WiMAXradio communicationpropagationscatteringFDTD
 Summary | Full Text:PDF

Probabilistic Symmetry Reduction for a System with Ring Buffer
Toshifusa SEKIZAWA Takashi TOYOSHIMA Koichi TAKAHASHI Kazuko TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/05/01
Vol. E94-D  No. 5  pp. 967-975
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: System Analysis
Keyword: 
probabilistic symmetry reductionring buffermodel checkingthe Ising modelAIS
 Summary | Full Text:PDF

Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus
Yoshinori TANABE Toshifusa SEKIZAWA Yoshifumi YUASA Koichi TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/05/01
Vol. E92-D  No. 5  pp. 995-1002
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Foundation
Keyword: 
modal µ-calculusKripke structurepreconditionpostconditionpointer
 Summary | Full Text:PDF

Probabilistic Model Checking of the One-Dimensional Ising Model
Toshifusa SEKIZAWA Tatsuhiro TSUCHIYA Koichi TAKAHASHI Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/05/01
Vol. E92-D  No. 5  pp. 1003-1011
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Model Checking
Keyword: 
verificationprobabilistic model checkingthe Ising modelDiscrete Time Markov Chain
 Summary | Full Text:PDF

Performance Evaluation of Next Generation Free-Space Optical Communication System
Kamugisha KAZAURA Kazunori OMAE Toshiji SUZUKI Mitsuji MATSUMOTO Edward MUTAFUNGWA Tadaaki MURAKAMI Koichi TAKAHASHI Hideki MATSUMOTO Kazuhiko WAKAMORI Yoshinori ARIMOTO 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 2007/02/01
Vol. E90-C  No. 2  pp. 381-388
Type of Manuscript:  Special Section PAPER (Special Section on Evolution of Microwave and Millimeter-Wave Photonics Technology)
Category: 
Keyword: 
free-space optical (FSO) communicationfine positioning mirror (FPM)scintillationangle-of-arrival (AOA) fluctuationsatmospheric turbulence
 Summary | Full Text:PDF

Distance Dependence of Microwave Delay Spreads Measured in Urban Quasi Line-of-Sight Environments
Hironari MASUI Koichi TAKAHASHI Satoshi TAKAHASHI Kouzou KAGE Takehiko KOBAYASHI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1999/12/25
Vol. E82-B  No. 12  pp. 1997-2003
Type of Manuscript:  Special Section PAPER (Special Issue on Multimedia Mobile Communication Systems)
Category: 
Keyword: 
mobile communicationradio propagationdelay spreadbreak pointmicrowave
 Summary | Full Text:PDF

Stochastic Prediction of Transmission Performance in Mobile Communication Systems Employing Anti-Multipath Techniques in Urban Propagation Environments
Satoshi TAKAHASHI Takehiko KOBAYASHI Kouzou KAGE Koichi TAKAHASHI Hironari MASUI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1999/12/25
Vol. E82-B  No. 12  pp. 1987-1996
Type of Manuscript:  Special Section PAPER (Special Issue on Multimedia Mobile Communication Systems)
Category: 
Keyword: 
broadband mobile communicationtransmission performancemultipath propagationcharacteristic function methodRAKE receptionparallel transmission
 Summary | Full Text:PDF

Delay Profile Measurement System for Microwave Broadband Transmission and Analysis of Delay Characteristics in an Urban Environment
Hironari MASUI Koichi TAKAHASHI Satoshi TAKAHASHI Kouzou KAGE Takehiko KOBAYASHI 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 1999/07/25
Vol. E82-C  No. 7  pp. 1287-1292
Type of Manuscript:  Special Section PAPER (Special Issue on Microwave and Millimeter Wave Technology)
Category: Systems
Keyword: 
microwave propagationurban areasdelay profiledelay spreadmobile antenna height
 Summary | Full Text:PDF

Difference of Path-Loss Characteristics due to Mobile Antenna Heights in Microwave Urban Propagation
Hironari MASUI Koichi TAKAHASHI Satoshi TAKAHASHI Kouzou KAGE Takehiko KOBAYASHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/07/25
Vol. E82-A  No. 7  pp. 1144-1150
Type of Manuscript:  Special Section PAPER (Special Section on Multi-dimensional Mobile Information Networks)
Category: 
Keyword: 
microwave propagationurban areaspath lossbreak pointmobile antenna height
 Summary | Full Text:PDF

Path Loss Modeling of Line-of-Sight Microwave Urban Propagation with Low-Height Antenna Mobile Stations
Koichi TAKAHASHI Hironari MASUI Satoshi TAKAHASHI Kouzou KAGE Takehiko KOBAYASHI 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 1999/07/25
Vol. E82-C  No. 7  pp. 1330-1333
Type of Manuscript:  Special Section LETTER (Special Issue on Microwave and Millimeter Wave Technology)
Category: 
Keyword: 
mobile communicationradio propagationpath lossexcess losslow antenna height
 Summary | Full Text:PDF