Pulse Doppler radars suffer from range-Doppler ambiguity that translates into a trade-off between maximal unambiguous range and velocity. Several techniques, like the multiple PRFs (MPRF) method, have been proposed to mitigate this problem. The drawback of MPRF method is received samples are not processed jointly, decreasing signal noise ratio (SNR). To overcome drawbacks MPRF, we employ random...

This paper studies a fluid queue with coupled input and output. Flows arrive according to a Poisson process, and when n flows are present, each of them transmits traffic into the queue at a rate c/(n + 1), where the remaining c/(n + 1) is used to serve the queue. We assume exponentially distributed flow sizes, so that the queue under consideration can be regarded as a system with Markov fluid i...

Semi-input-memory finite automata are a generalization of input-memory finite automata by appending an autonomous finite automaton component. This paper gives a decision criterion of weakly invertible semi-input-memory finite automata with delay 2 of which the minimal output weight of length 2 and the sizes of input and output alphabets are identical. The results are used to generate a kind of ...

Methods to certify the robustness of neural networks in presence input uncertainty are vital safety-critical settings. Most certification methods literature designed for adversarial or worst-case inputs, but researchers have recently shown a need that consider random noise. In this article, we examine setting where inputs subject noise coming from an arbitrary probability distribution. We propo...