Titlebook: Embedded Systems Technology; 15th National Confer Yuanguo Bi,Gang Chen,Yi Wang Conference proceedings 2018 Springer Nature Singapore Pte Lt

condemn

束以馬具

GREEN

An Access Point Filtering Method Based on CRLB in Indoor Localization Technologyy the indoor localization are growing. The Access Point (AP) Filtering work is a very critical part in the indoor localization technology. Aiming at the problems which exist in the present AP filtering algorithms which include the low positioning accuracy, the long computation time and the high comp

使增至最大

A Computationally Efficient Solution for LiDAR-Based Obstacle Detection in Autonomous Driving to light, and other commonly used sensors in autonomous driving such as millimeter-ware radars are not satisfied in distance and range, while the LiDAR (Light Detection and Ranging) has strong adaptability to the environment, becoming a standard sensor on an autonomous vehicle. In this paper, we pr

Melodrama

nugatory

Research on Formal Design and Verification of Operating Systemscepted and reliable approach is to validate the design and implementation of OS with formal methods of mathematical logic reasoning. In this paper, we propose to use the “l(fā)ightweight” formal method to describe and design the system. Through the formalization of OS functionality model and security re