针对综合模块化航空电子系统(Integrated Modular Avionics,IMA)存在周期任务和非周期任务,以及任务间依赖关系,传统方法不能准确验证其实时任务可调度性的问题,本文提出了一种基于Stopwatch时间自动机的ARINC653实时任务可调度性验证方法,利用模型检验工具UPPAAL对IMA系统进行建模仿真,并结合统计模型检验(Statistical Model Checking,SMC)与符号模型检验(Symbolic Model Checking,MC)来验证其可调度性。实验结果表明,该方法不仅快速验证了IMA系统的可调度性,而且能够准确定位不可调度任务。 相似文献
Multimedia Tools and Applications - Authentication of encrypted speeches is a technique that can judge the integrity of encrypted speech in cloud computing, even the encrypted speeches have been... 相似文献
In recent years, various chaos-based image encryption algorithms have been proposed to meet the growing demand for real-time secure image transmission. However, chaotic system that is the core component of chaos-based cryptosystem usually degrades under finite computing precision, causing many security issues. In this paper, a novel cryptosystem with analog-digital hybrid chaotic model is proposed. Firstly, the analog Chen chaotic system and the digital Logistic map are adopted to depict the capability of the hybrid model, in which analog system is used to perturb digital system. Dynamic analyses demonstrate that the hybrid method has better complexity, larger chaotic parameter range and good ability to counteract dynamical degradation. The chaos-based key streams generated by the perturbed Logistic map are more suitable for image encryption. Secondly, a parameter selection mechanism is introduced to increase security. The state variables of Chen chaotic system and cipher image are involved in parameter selection process to dynamically change the parameter of the perturbed Logistic map. The involvement of cipher image makes the key streams relevant to plain image and can resist known/chosen-plaintext attacks. Performance, security and comparison analyses indicate that this cryptosystem has high security, low time complexity, and ability to resist common attacks.
A broadband high‐gain slot grid array antenna (SGAA) is proposed in this paper. Based on the electromagnetic complementarity principle, the metal elements in the traditional microstrip grid array antenna (GAA) are replaced by a wide slot element. Compared with the GAA, the proposed SGAA achieves broadband and high‐gain performance. In order to demonstrate this concept, a prototype with 9‐element SGAA is designed using wide slot radiation elements and fabricated on Rogers 5880 printed circuit board (PCB) substrates, which is fed by a 50 Ω coaxial probe. The measured and simulated results show a good agreement. The proposed SGAA achieves a measured peak gain of 14.8 dBi at 26.0 GHz, a 10‐dB impedance bandwidth from 22.2 to 28.5 GHz with a fractional bandwidth of 24.9%. These results indicate that the SGAA is with high performance and it is suitable for the fifth‐generation (5G) millimeter wave (mmW) wireless communication system. 相似文献
This article analyzes the bias dependence of gate‐drain capacitance (Cgd) and gate‐source capacitance (Cgs) in the AlGaN/GaN high electron mobility transistors under a high drain‐to‐source voltage (Vds) from the perspective of channel shape variation, and further simplifies Cgd and Cgs to be gate‐to‐source voltage (Vgs) dependent only at high Vds. This method can significantly reduce the number of parameters to be fitted in Cgd and Cgs and therefore lower the difficulty of model development. The Angelov capacitance models are chosen for verifying the effectiveness of simplification. Good agreement between simulated and measured small‐signal S‐parameters, large‐signal power sweep, and power contours comprehensively proves the accuracy of this simplification method. 相似文献
Recent research has made an effort to take 8b-bit value as a polynomial coefficient and use a random number as the maximum coefficient term in a Shamir’s polynomial, where b > 0. These can help improve computationl efficiency by reducing the sum of calculating polynomials, and avoid the case of the coefficient of xk??1 being zero. However, such research still has the issues of requiring much extra storage space, lossy secret image, shadow images with large size, and storing permutation key. To solve the above issues, in this paper, we propose a novel scheme which takes 8b-bit value as a polynomial coefficient, designs a bit-level method and runs under Galois Field GF(28b). Experimental results show that this scheme improves existing similar schemes on several aspects, such as less extra storage space and higher computational performance.