Lei Qiao

Formal Verification of GP Specification based Embedded Operating System

2018 · Proceedings of the 2nd International Conference on Computer Science and Application Engineering

Global Platform (GP)1 specifications accepted as de facto industry standards are widely used for the development of embedded operating system running on secure chip devices. A promising approach to demonstrating the implementation of an OS …

Predictions of Aeroengines’ Infrared Radiation Characteristics Based on HKELM Optimized by the Improved Dung Beetle Optimizer

2024 · Sensors

To solve the problems of high computational cost and the long time required by the simulation and calculation of aeroengines' exhaust systems, a method of predicting the characteristics of infrared radiation based on the hybrid …