scholarly journals Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation

2019 ◽  
Author(s):  
Carmine Abate ◽  
Roberto Blanco ◽  
Deepak Garg ◽  
Catalin Hritcu ◽  
Marco Patrignani ◽  
...  
Keyword(s):  
Full Abstraction ◽  
Robust Property ◽  
Property Preservation

An Improved Initial Alignment Method of Strap-Down Inertial Navigation System on a Swaying Base

2013 ◽  
Vol 415 ◽  
pp. 143-148
Author(s):  
Li Hua Zhu ◽  
Xiang Hong Cheng
Keyword(s):  
Navigation System ◽  
Inertial Navigation System ◽  
Alignment Algorithm ◽  
Alignment Method ◽  
Initial Alignment ◽  
Vehicle Simulation ◽  
Robust Property ◽  
Simulation Results ◽  
Lever Arm Effect ◽  
The Impact

The design of an improved alignment method of SINS on a swaying base is presented in this paper. FIR filter is taken to decrease the impact caused by the lever arm effect. And the system also encompasses the online estimation of gyroscopes’ drift with Kalman filter in order to do the compensation, and the inertial freezing alignment algorithm which helps to resolve the attitude matrix with respect to its fast and robust property to provide the mathematical platform for the vehicle. Simulation results show that the proposed method is efficient for the initial alignment of the swaying base navigation system.

scholarly journals Full Abstraction for Probabilistic PCF

2018 ◽  
Vol 65 (4) ◽  
pp. 1-44 ◽  
Author(s):  
Thomas Ehrhard ◽  
Michele Pagani ◽  
Christine Tasson
Keyword(s):  
Full Abstraction

Full Abstraction for PCF (extended abstract)

1994 ◽  
pp. 1-15 ◽  
Author(s):  
Samson Abramsky ◽  
Pasquale Malacaria ◽  
Radha Jagadeesan
Keyword(s):  
Full Abstraction
Sign in / Sign up

Export Citation Format

Share Document