设计与实现 计算机杂志 理论联系实际 空间信息 武汉·中国光谷 百家争鸣 牛津大学 计算机 自动控制 科技期刊 地理信息系统 研制与开发 指挥自动化系统 研究所 1995年 中国船舶工业总公司 1996年