题名	责任者	出版社	索书号
时空信息系统:使用STK的本体论方法:an ontological approach using STK	(美) 琳达·麦克尼尔, 凯尔索	国防工业出版社	V423.4/547
分布式卫星系统理论及应用	张育林[等]著	科学出版社	V423.4/104