Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
-
- Architecture (1)
- Correctness (1)
- Correlation (1)
- Cyber security (1)
- Doppler compensation (1)
-
- Doppler effect (1)
- Encoding (1)
- Energy (1)
- Internet of energy (1)
- MIMO radar (1)
- Multiple-input multiple-output radars (1)
- Optimization (1)
- Orthogonal waveforms (1)
- Performance (1)
- Precision (1)
- Probabilistic models (1)
- Quantatative verification (1)
- Signal processing algorithms (1)
- Space-time complementary coding (1)
Articles 1 - 3 of 3
Full-Text Articles in Computer Engineering
On Correctness, Precision, And Performance In Quantitative Verification: Qcomp 2020 Competition Report, Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang
On Correctness, Precision, And Performance In Quantitative Verification: Qcomp 2020 Competition Report, Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang
Electrical and Computer Engineering Faculty Publications
Quantitative verification tools compute probabilities, expected rewards, or steady-state values for formal models of stochastic and timed systems. Exact results often cannot be obtained efficiently, so most tools use floating-point arithmetic in iterative algorithms that approximate the quantity of interest. Correctness is thus defined by the desired precision and determines performance. In this paper, we report on the experimental evaluation of these trade-offs performed in QComp 2020: the second friendly competition of tools for the analysis of quantitative formal models. We survey the precision guarantees - ranging from exact rational results to statistical confidence statements - offered by the nine …
The Internet Of Energy: Architectures, Cyber Security, And Applications, Kun Wang, Yan Zhang, Song Guo, Mianxiong Dong, Rose Qingyang Hu, Lei He
The Internet Of Energy: Architectures, Cyber Security, And Applications, Kun Wang, Yan Zhang, Song Guo, Mianxiong Dong, Rose Qingyang Hu, Lei He
Electrical and Computer Engineering Faculty Publications
The energy crisis and carbon emissions have become two critical concerns globally. As a very promising solution, the concept of Internet of Energy has appeared to tackle these challenges. The Internet of Energy is a new power generation paradigm developing a revolutionary vision of smart grids into the Internet. The communication infrastructure is an essential component for implementing the Internet of Energy. A scalable and robust communication infrastructure is crucial in both operating and maintaining smart energy systems. The wide-scale implementation and development of Internet of Energy into industrial applications should take into account the following challenges:
Chaotic Phase-Coded Waveforms With Space-Time Complementary Coding For Mimo Radar Applications, Sheng Hong, Fuhui Zhou, Yantao Dong, Zhixin Zhao, Yuhao Wang, Maosong Yan
Chaotic Phase-Coded Waveforms With Space-Time Complementary Coding For Mimo Radar Applications, Sheng Hong, Fuhui Zhou, Yantao Dong, Zhixin Zhao, Yuhao Wang, Maosong Yan
Electrical and Computer Engineering Faculty Publications
A framework for designing orthogonal chaotic phase-coded waveforms with space-time complementary coding (STCC) is proposed for multiple-input multiple-output (MIMO) radar applications. The phase-coded waveform set to be transmitted is generated with an arbitrary family size and an arbitrary code length by using chaotic sequences. Due to the properties of chaos, this chaotic waveform set has many advantages in performance, such as anti-interference and low probability of intercept. However, it cannot be directly exploited due to the high range sidelobes, mutual interferences, and Doppler intolerance. In order to widely implement it in practice, we optimize the chaotic phase-coded waveform set from …