Metalogic of Intuitionistic Propositional Calculus
- 期刊名称Notre Dame Journal of Formal Logic
- 作者Citkin, Alex
- 卷第51卷
- 期第4期
- 印刷ISSN0029-4527
- 文件大小290.40KB
- 发表时间2010-10
- DOI10.1215/00294527-2010-031
- 页码485-502
Spacecraft autonomous navigation using multiple model adaptive estimatorXiong, Kai; Wei, Chunling; Liu, Liangdong · Aircraft Engineering and Aerospace Technology · 2015
Robust Extended Kalman Filtering for Nonlinear Systems With Stochastic UncertaintiesXiong Kai; Chunling Wei; Liangdong Liu · 2010
Multiple-model adaptive estimation for space surveillance with measurement uncertaintyXiong, Kai; Wei, Chunling; Liu, Liangdong · Optimal Control Applications and Methods · 2016
Performance enhancement of X-ray pulsar navigation using autonomous optical sensorKai, Xiong; Chunling, Wei; Liangdong, Liu · Acta Astronautica · 2016
The use of X-ray pulsars for aiding navigation of satellites in constellationsXiong Kai; Wei Chunling; Liu Liangdong · 2009
[IEEE 2014 33rd Chinese Control Conference (CCC) - Nanjing, China (2014.7.28-2014.7.30)] Proceedings of the 33rd Chinese Control Conference - Spacecraft relative navigation based on multiple model adaptive estimatorXiong, Kai; Wei, Chunling; Liu, Liangdong · 2014
Improved astrometry of (99942) ApophisTholen, David J.; Micheli, Marco; Elliott, Garrett T. · Acta Astronautica · 2013
Decadal opportunities for space architectsSherwood, Brent · Acta Astronautica · 2012
EditorialChern, Jeng-Shing · Acta Astronautica · 2012
In-space nuclear propulsionBruno, C.; Dujarric, C. · Acta Astronautica · 2013
Shell worldsRoy, Kenneth I.; Kennedy III, Robert G.; Fields, David E. · Acta Astronautica · 2013
EditorialLansard, Erick; Chang, Guey-Shin; Wu, An-Ming · Acta Astronautica · 2013
EditorialActa Astronautica · 2013
IFC - Publication InformationActa Astronautica · 2012