#### Filter Results:

#### Publication Year

1989

2014

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Changzhan Gu, Guochao Wang, Yiran Li, Takao Inoue, Changzhi Li
- IEEE Transactions on Microwave Theory and…
- 2013

This paper presents a Doppler radar vital sign detection system with random body movement cancellation (RBMC) technique based on adaptive phase compensation. An ordinary camera was integrated with the system to measure the subject's random body movement (RBM) that is fed back as phase information to the radar system for RBMC. The linearity of the radar… (More)

- Guochao Wang, Changzhan Gu, Takao Inoue, Changzhi Li
- IEEE Transactions on Microwave Theory and…
- 2014

This paper presents a hybrid radar system that incorporates a linear frequency-modulated continuous-wave (FMCW) mode and an interferometry mode for indoor human localization and life activity monitoring applications. The unique operating principle and signal processing method allow the radar to work at two different modes for different purposes. The FMCW… (More)

—Doppler radar has been used for small-scale displacement detection, e.g. respiration and heartbeat. The motion amplitude is less than half a carrier wavelength. In this letter, a novel Doppler radar technique is presented for accurate tracking of large-scale displacement of several carrier wavelengths, e.g., the water level variation. The DC-coupled… (More)

- Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama
- Formalized Mathematics
- 2011

In this article, we define and develop partial differentiation of vector-valued functions on n-dimensional real normed linear spaces (refer to [19] and [20]). The notation and terminology used in this paper have been introduced in the 2 takao inoué et al. (6) Let m, i be elements of N, x be an element of R m , and r be a real number. m))(r − (proj(i,… (More)

In this paper, we first introduce the notion of summability of an infinite set of vectors of real Hilbert space, without using index sets. Further we introduce the notion of weak summability, which is weaker than that of summability. Then, several statements for summable sets and weakly summable ones are proved. In the last part of the paper, we give a… (More)

- Guochao Wang, Changzhan Gu, J. Rice, T. Inoue, Changzhi Li
- 2013 IEEE Topical Conference on Wireless Sensors…
- 2013

A novel water level monitoring technique using continuous-wave (CW) Doppler radar is presented. The CW radar works with a DC-coupled baseband that allows accurate monitoring of the slow-varying water level. Ray tracing model has been used to simulate and validate the feasibility of water level monitoring in the presence of ripple. The proposed technique is… (More)

- Takao Inoué, Noboru Endou, Yasunari Shidama
- Formalized Mathematics
- 2010

In this article, we define and develop differentiation of vector-valued functions on n-dimensional real normed linear spaces (refer to [16] and [17]). In this paper i, n, m are elements of N. The following propositions are true: (1) Let f be a set. Then f is a partial function from R m to R n if and only if f is a partial function from E m , · to E n , ·.… (More)

- Takao Inoué
- 2007

1 I think that logicians may be proud of having their own notion of embedding. By embedding (•) T of a formal system X into a formal system Y we mean a mapping (translation or interpretation) (•) T from the set of all well–formed formulas of X to that of Y such that for any formula A of X, X A if and only if Y A T. Let X and Y be formal systems. Suppose… (More)

- Takao Inoué
- Math. Log. Q.
- 1992

- Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama
- Formalized Mathematics
- 2011

In this article, we aim to prove the characterization of differentiation by means of partial differentiation for vector-valued functions on n-dimensional real normed linear spaces (refer to [15] and [16]). The notation and terminology used in this paper have been introduced in the One can prove the following propositions: (1) Let n, i be elements of N, q be… (More)