在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDL...在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收进程、组合进程和顺序进程.定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则.展开更多
Underwater acoustic scattering echoes have time–space structures and are aliasing in time and frequency domains. Different series of echoes properties are not identified when incident angle is unknown. This article i...Underwater acoustic scattering echoes have time–space structures and are aliasing in time and frequency domains. Different series of echoes properties are not identified when incident angle is unknown. This article investigates variations in target echoes of monostatic sonar to address this problem. The mother wavelet with similar structures has been proposed on the basis of preprocessing signal waveform using matched filter, and the theoretical expressions between delay factor and incident angle are derived in the wavelet domain. Analysis of simulation data and experimental results in free-field pool show that this method can effectively separate geometrical scattering components of target echoes. The time delay estimation obtained from geometrical echoes at a single angle is consistent with target geometrical features, which provides a basis for object recognition without angle information. The findings provide valuable insights for analyzing elastic scattering echoes in actual ocean environment.展开更多
In this paper, a low-cost dualtone radio interferometric positioning system using a single mobile anchor is proposed to locate multiple targets at the same time. We name it mDRIPS. In mDRIPS, each target continuously ...In this paper, a low-cost dualtone radio interferometric positioning system using a single mobile anchor is proposed to locate multiple targets at the same time. We name it mDRIPS. In mDRIPS, each target continuously transmits a dual-tone signal with its dedicated frequencies, and the mobile anchor receives the signals at different positions along its trajectory, Neither time synchronization between the mobile anchor and the targets nor time synchronization among the targets is required. We take the instability of targets clocks into consideration and develop an ESPRIT-type algorithm to estimate frequencies of each dual-tone signal. Furthermore, the time of arrival （TOA） of each target signal is extracted from the phase estimates of the received dual-tone signals. After measuring several TOAs at different locations along the anchor＇s trajectory, each target can be located. Since the frequency difference of the two tones of each dualtone signal is designed to be smaller than the channel coherence bandwidth, the same fading effect on these two tones can be eliminated. Moreover, the integer ambiguity problem due to phase wrapping is investigated, and a localization algorithm to deal with a simplified ambiguity problem is proposed. Numerical results demonstrate the efficiency of the proposed mDRIPS.展开更多
Detrended fluctuation analysis （DFA） is fit for studies on the long-range exponential correlation of non-stationary time serial. In this paper, in order to find a hy- poxia adaptability evaluation criterion, the hea...Detrended fluctuation analysis （DFA） is fit for studies on the long-range exponential correlation of non-stationary time serial. In this paper, in order to find a hy- poxia adaptability evaluation criterion, the heart rate and SaO2 signals are analyzed by this method. The demarcate exponent about fit-good-group and fit-bad-group in hy- poxia and normal air are calculated and compared. The result shows a is different in different situation, the α in hypoxia is much higher than α of breath in normal air. And α of fit-good-group is higher than fit-bad-group. It shows that DFA could be a good criterion to analyze hypoxia adaptability, which is useful in the analysis of hypoxia phys- iology signal.展开更多
文摘在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收进程、组合进程和顺序进程.定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则.
基金Foundation item： Supported by the National Natural Science Foundation of China（Grant No.51279033） and Natural Science Foundation of Heilongjiang Province, China（Grant No.F201346 ）
文摘Underwater acoustic scattering echoes have time–space structures and are aliasing in time and frequency domains. Different series of echoes properties are not identified when incident angle is unknown. This article investigates variations in target echoes of monostatic sonar to address this problem. The mother wavelet with similar structures has been proposed on the basis of preprocessing signal waveform using matched filter, and the theoretical expressions between delay factor and incident angle are derived in the wavelet domain. Analysis of simulation data and experimental results in free-field pool show that this method can effectively separate geometrical scattering components of target echoes. The time delay estimation obtained from geometrical echoes at a single angle is consistent with target geometrical features, which provides a basis for object recognition without angle information. The findings provide valuable insights for analyzing elastic scattering echoes in actual ocean environment.
基金partially supported by the National Nature Science Foundation of China under Grants 61301223,61174127,61221003, and 61273181the Nature Science Foundation of Shanghai under Grant 13ZR1421800the New Faculty Foundation of Ministry of Education of China under Grant 13Z102090106
文摘In this paper, a low-cost dualtone radio interferometric positioning system using a single mobile anchor is proposed to locate multiple targets at the same time. We name it mDRIPS. In mDRIPS, each target continuously transmits a dual-tone signal with its dedicated frequencies, and the mobile anchor receives the signals at different positions along its trajectory, Neither time synchronization between the mobile anchor and the targets nor time synchronization among the targets is required. We take the instability of targets clocks into consideration and develop an ESPRIT-type algorithm to estimate frequencies of each dual-tone signal. Furthermore, the time of arrival （TOA） of each target signal is extracted from the phase estimates of the received dual-tone signals. After measuring several TOAs at different locations along the anchor＇s trajectory, each target can be located. Since the frequency difference of the two tones of each dualtone signal is designed to be smaller than the channel coherence bandwidth, the same fading effect on these two tones can be eliminated. Moreover, the integer ambiguity problem due to phase wrapping is investigated, and a localization algorithm to deal with a simplified ambiguity problem is proposed. Numerical results demonstrate the efficiency of the proposed mDRIPS.
文摘Detrended fluctuation analysis （DFA） is fit for studies on the long-range exponential correlation of non-stationary time serial. In this paper, in order to find a hy- poxia adaptability evaluation criterion, the heart rate and SaO2 signals are analyzed by this method. The demarcate exponent about fit-good-group and fit-bad-group in hy- poxia and normal air are calculated and compared. The result shows a is different in different situation, the α in hypoxia is much higher than α of breath in normal air. And α of fit-good-group is higher than fit-bad-group. It shows that DFA could be a good criterion to analyze hypoxia adaptability, which is useful in the analysis of hypoxia phys- iology signal.
